Skip to content

Commit effb110

Browse files
hyperpolymathclaude
andcommitted
docs(handover): refresh status — 16 tasks complete, Task #33/#34 next
Parallel session closed with commit 473733b on main. Updates the mirrored handover README to match: - 16 tasks shipped (full list: #1, #3-#8, #13-#17, #32, #35, #36, #37) - 27 Zig + 41 Deno E2E assertions green, panic-attack clean - 007-mcp family (#9-#12) complete in separate repo The-Metadatastician/007 - Next pick-up: Task #33 (client_kind+variant) + #34 (capability advertisement) - Proof Track: P-04..P-07 in Durability.idr, keystone P-06 - Shared-state warning on local_coord_ffi.zig + local_coord_adapter.zig Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
1 parent 6c8dd39 commit effb110

1 file changed

Lines changed: 43 additions & 25 deletions

File tree

docs/handover/README.md

Lines changed: 43 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -20,28 +20,46 @@ When a session updates a handover prompt, update **both** the Desktop
2020
copy and the in-repo copy in the same commit. If they drift, the
2121
in-repo copy wins.
2222

23-
## Current status (as of 2026-04-20)
24-
25-
- **Prompt 3 (coord finishers)**: SHIPPED — 11 tasks, 10 commits, all
26-
pushed to `origin/main`. Track-record + affinity routing, dispatch
27-
preference, reassignment engine, Nickel envelope validator, role
28-
rename (master/journeyman/apprentice) + `coord_transfer_master`,
29-
`difficulty_hint` envelope + Nickel contract, `proof:<prover>` tag
30-
convention.
31-
- **Prompt 2 (007-mcp family)**: IN PROGRESS in parallel lane. New
32-
tools + FFI entries ready for 007-mcp: `affinities`,
33-
`declared_affinities`, `scan_suggestions`, `transfer_master`.
34-
Role terminology is now master/journeyman/apprentice; old names
35-
accepted at boundary for one release.
36-
- **Deferred** (Appendix M): Tasks #33 (client_kind+variant) and #34
37-
(capability advertisement).
38-
39-
## Parallel-session uncommitted work (do not touch)
40-
41-
These belong to the Prompt 2 / parallel-session lane as of 2026-04-20:
42-
43-
- `cartridge.ncl` (modified)
44-
- `PROOF-SCHEDULE.adoc` (modified)
45-
- `test-contracts.sh` (modified)
46-
- `tests/e2e_coord.ts` (modified)
47-
- `.machine_readable/contractiles/bust/` (untracked)
23+
## Current status (as of 2026-04-20 session close, commit `473733b` on main)
24+
25+
### Complete (sixteen tasks)
26+
27+
- **#1, #3#8, #13#17, #32, #35, #36, #37** — all shipped.
28+
- 27 Zig tests + 41 Deno E2E assertions green. Panic-attack clean.
29+
- Role terminology is now **master / journeyman / apprentice**;
30+
old names accepted at the boundary for one release.
31+
- Track-record + affinity routing, dispatch preference, reassignment
32+
engine (server-origin quarantine), Nickel envelope validator,
33+
`coord_transfer_master`, `difficulty_hint` envelope + Nickel contract,
34+
`proof:<prover>` tag convention.
35+
- 007-mcp family **#9#12** marked complete in a separate repo
36+
(`The-Metadatastician/007` commits `62bdac0`, `018a1fd`, `6bbb4f8`,
37+
`e753d10`).
38+
39+
### Immediate next pick-up (Appendix L)
40+
41+
- **Task #33**`client_kind` + `variant` extension (Peer struct
42+
changes, adapter JSON shape, log events 15 + 16).
43+
- **Task #34** — capability advertisement.
44+
- Estimate: ~1.5 days / ~5 commits. Concrete scope in
45+
`COORD-MCP-DESIGN-LOG.md` Appendix L.
46+
47+
### Also pending
48+
49+
- **Task #2** (low priority).
50+
- **Proof Track P-04…P-07** Idris2 proofs in `Durability.idr`,
51+
~6 days. **Keystone: P-06 replay-equivalence**.
52+
53+
## Warning for parallel sessions (shared-state files)
54+
55+
Do **not** run parallel sessions that both touch the `Peer` struct or
56+
the `ClientKind` enum in the same wall-clock window:
57+
58+
- `cartridges/local-coord-mcp/ffi/local_coord_ffi.zig`
59+
- `cartridges/local-coord-mcp/adapter/local_coord_adapter.zig`
60+
61+
Everything else can parallelise safely.
62+
63+
## Untracked from other tracks (intentionally not committed)
64+
65+
- `.machine_readable/contractiles/bust/` — belongs to a different lane.

0 commit comments

Comments
 (0)