carlos / platform Public

Commits

• c3a212188 Claim activation tools, run 11: remove the automated offline window (not for merge) Paul Campbell 1 week ago
• b177d9141 Claim activation tools, run 10: canonical baseline (not for merge) Paul Campbell 1 week ago
• 28814d7bb Claim activation tools, run 9: narrowed admission, exact restore (not for merge) Paul Campbell 1 week ago
• 918d0e1a5 Claim activation tools, run 8: invariant coverage complete (not for merge) Paul Campbell 1 week ago
• d474c7cd8 Claim activation tools, run 7: invariant coverage (not for merge) Paul Campbell 1 week ago
• 310e4ca89 Claim activation tools, run 6: activation invariants (not for merge) Paul Campbell 1 week ago
• a93395a3b Claim activation tools, run 5: restore closes before edge start (not for merge) Paul Campbell 1 week ago
• ac70dab67 Claim activation tools, run 4: restore ordering (not for merge) Paul Campbell 1 week ago
• 03111eff8 Claim activation tools, run 3: review fixes (not for merge) Paul Campbell 1 week ago
• 0e81652a0 Claim activation tools, run 2 (not for merge) Paul Campbell 1 week ago
• 6863c3213 Claim activation tools, run 1 (not for merge) Paul Campbell 1 week ago
• ed1a3dbf1 Plan 14 integrated Paul Campbell 1 week ago
• 2b52f331d Plan 14 integrated: review round 3 fixes P3-R11 items 1-4 (not for merge) Paul Campbell 1 week ago
• 305866add Plan 14 integrated: whole-branch review round 2 fixes P3-R10 (not for merge) Paul Campbell 1 week ago
• 932652370 Plan 14 integrated: whole-branch review fixes P3-R9 (not for merge) Paul Campbell 1 week ago
• 726a5798f Merge main ee35dee (files seed) into the integrated Plan 14 branch (not for merge) Paul Campbell 1 week ago
• cabe3b9e7 Integrate track E checkpoint 54 into Part 3 (not for merge) Paul Campbell 1 week ago
• e72f7f867 WIP claim Plan 14 Part 3 checkpoint 10 (not for merge) Paul Campbell 1 week ago
• 7523012f2 WIP claim Plan 14 track E checkpoint 54 (not for merge) Paul Campbell 1 week ago
• da7f4f7ca WIP claim Plan 14 Part 3 checkpoint 9 (not for merge) Paul Campbell 1 week ago
• 3dbc8758d WIP claim Plan 14 track E checkpoint 53 (not for merge) Paul Campbell 1 week ago
• 9739b8020 WIP claim Plan 14 track E checkpoint 52 (not for merge) Paul Campbell 1 week ago
• 070222cd1 WIP claim Plan 14 Part 3 checkpoint 8 (not for merge) Paul Campbell 1 week ago
• 1bc551a62 WIP claim Plan 14 track E checkpoint 51 (not for merge) Paul Campbell 1 week ago
• 708ff5112 WIP claim Plan 14 Part 3 checkpoint 7 (not for merge) Paul Campbell 1 week ago
• e336c7378 WIP claim Plan 14 track E checkpoint 50 (not for merge) Paul Campbell 1 week ago
• 05fb1a417 WIP claim Plan 14 track E checkpoint 49 (not for merge) Paul Campbell 1 week ago
• 6951b9319 Merge track E checkpoint 47 into Part 3 + WIP Part 3 checkpoint 6 (not for merge) Paul Campbell 1 week ago
• 59fcf3f49 WIP claim Plan 14 track E checkpoint 48 (not for merge) Paul Campbell 1 week ago
• eed765af5 WIP claim Plan 14 Part 3 checkpoint 5 (not for merge) Paul Campbell 1 week ago
• dd5357e2a WIP claim Plan 14 track E checkpoint 47 (not for merge) Paul Campbell 1 week ago
• 2ba882dad WIP claim Plan 14 Part 3 checkpoint 4 (not for merge) Paul Campbell 1 week ago
• 6286ad951 WIP claim Plan 14 track E checkpoint 46 (not for merge) Paul Campbell 1 week ago
• 51a4253f4 WIP claim Plan 14 Part 3 checkpoint 3 (not for merge) Paul Campbell 1 week ago
• a84ca9799 WIP claim Plan 14 track E checkpoint 45 (not for merge) Paul Campbell 1 week ago
• 3ca9a31ba WIP claim Plan 14 Part 3 checkpoint 2 (not for merge) Paul Campbell 1 week ago
• c295f3072 WIP claim Plan 14 track E checkpoint 44 (not for merge) Paul Campbell 1 week ago
• 097f2dd2d WIP claim Plan 14 Part 3 checkpoint 1 (not for merge) Paul Campbell 1 week ago
• 46a13cb3a WIP claim Plan 14 track E checkpoint 43 (not for merge) Paul Campbell 1 week ago
• bd87f352b Merge origin/main (carlos-run, seeded-instances, 275, owed, 292fix, hostfiles cap) + WIP track E checkpoint 42 (not for merge) Paul Campbell 1 week ago
• 87fefd8d6 WIP claim Plan 14 track E checkpoint 41 (not for merge) Paul Campbell 1 week ago
• c8b028447 WIP claim Plan 14 track E checkpoint 40 (not for merge) Paul Campbell 1 week ago
• fd1b7467f WIP claim Plan 14 track E checkpoint 39 (not for merge) Paul Campbell 1 week ago
• 5b4b7becc WIP claim Plan 14 track E checkpoint 38 (not for merge) Paul Campbell 1 week ago
• 62a99c192 WIP claim Plan 14 track E checkpoint 37 (not for merge): the three E2 completeness gaps closed, with regression tests Paul Campbell 1 week ago
• 4588e2369 WIP claim Plan 14 track E checkpoint 35 (not for merge) Paul Campbell 1 week ago
• c3d0435b5 WIP claim Plan 14 track E checkpoint 34 (not for merge) Paul Campbell 1 week ago
• 54544506b WIP claim Plan 14 track E checkpoint 33 (not for merge) Paul Campbell 1 week ago
• 0f38df29d WIP claim Plan 14 track E checkpoint 32 (not for merge) Paul Campbell 1 week ago
• 2e576bded WIP claim Plan 14 track E checkpoint 31 (not for merge) Paul Campbell 1 week ago
• 24d29fbcb WIP claim Plan 14 track E checkpoint 30 (not for merge) Paul Campbell 1 week ago
• 9bef901af WIP claim Plan 14 track E checkpoint 29 (not for merge) Paul Campbell 1 week ago
• 886a66ba0 WIP claim Plan 14 track E checkpoint 28 (not for merge) Paul Campbell 1 week ago
• e3d87f728 WIP claim Plan 14 track E checkpoint 27 (not for merge) Paul Campbell 1 week ago
• a323d96ca WIP checkpoint (not for merge): claim Plan 14 track E checkpoint 26: E2 payload-inventory reconciliation Paul Campbell 1 week ago
• e6196f864 WIP claim Plan 14 track E checkpoint 25 (not for merge): active-pin retirement and kernel descriptor scanning fixes; four root-runner acceptance tests Paul Campbell 1 week ago
• 980d85158 WIP checkpoint (not for merge): claim Plan 14 track E checkpoint 24 Paul Campbell 1 week ago
• ebff27562 WIP claim Plan 14 track E checkpoint 23 (not for merge): E2 versioned generation-completeness record and pin reader, retained-predecessor retirement after rebind, held-stage relay pinned Paul Campbell 1 week ago
• c6ba25b3b WIP claim Plan 14 track E checkpoint 22 (not for merge): E2 staging-write gaps closed in manifest repair and moves-held staging Paul Campbell 1 week ago
• 972669498 WIP claim Plan 14 track E checkpoint 21 (not for merge): E2 production retirement caller, root installation and launch-journal binding, kernel reference checks Paul Campbell 1 week ago
• c677a0431 WIP claim Plan 14 track E checkpoint 20 (not for merge): E2 launch lock fixes, generation-retirement ledger transition Paul Campbell 1 week ago
• 6a1a25e9c WIP claim Plan 14 track E checkpoint 19 (not for merge): E2 reservations connected to restaging and the staged-version sweep Paul Campbell 1 week ago
• a96e55d36 WIP claim Plan 14 track E checkpoint 18 (not for merge): E2 claims-on root launch reservations; also the E1 operator workflow's CLI files (history_cli.go, proof_cli.go, docs/site/cli.md) left out of the checkpoint 17 commit Paul Campbell 1 week ago
• 789dafa2d WIP claim Plan 14 track E checkpoint 17 (not for merge): E1 operator workflow Paul Campbell 1 week ago
• 562c1f0da Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state-e Paul Campbell 1 week ago
• 8b7291f87 WIP claim Plan 14 track E checkpoint 16 (not for merge): E1 fresh-install evidence Paul Campbell 1 week ago
• d5459b2a6 WIP claim Plan 14 track E checkpoint 15 (not for merge): census-backed root restart consumption wired into both adoption entry points Paul Campbell 1 week ago
• ab75e3094 WIP claim Plan 14 track E checkpoint 14 (not for merge): E1 durable unit-restart consumption journal (component, not yet wired) Paul Campbell 1 week ago
• 58e9c6cb1 Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state-e Paul Campbell 1 week ago
• 6e16553f3 WIP claim Plan 14 track E checkpoint 13 (not for merge): Paul's scope rulings (unknown history allows signed targets, no-census minting paused, box-local E4 grants, E3 census-only); D3 health recorded independently of program history Paul Campbell 1 week ago
• d52792384 WIP claim Plan 14 track E checkpoint 12 (not for merge): E1 continued Paul Campbell 1 week ago
• 62e5b9243 WIP claim Plan 14 track E checkpoint 11 (not for merge): E1 challenge-bound root-signed release-history readback wired into root maintenance Paul Campbell 1 week ago
• ac0be90d0 Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state-e Paul Campbell 1 week ago
• c8086bb08 Record main 645a7d05 (the squash of Part 1 at 15fe8df1, already merged here) Paul Campbell 1 week ago
• 119fed000 WIP claim Plan 14 track E checkpoint 10 (not for merge): merge Part 1 rounds 4-6 (15fe8df1); E1 signed retirement of settled recovery outcomes Paul Campbell 1 week ago
• ebcf62317 WIP claim Plan 14 track E checkpoint 9 (not for merge): E recovery effects gated on census (merge ruling 6), E1 retained recovery outcomes in root history Paul Campbell 1 week ago
• 15fe8df1d claim Plan 14 Part 1 fix round 6: no census means main's rollback target Paul Campbell 1 week ago
• 3246b68fd claim Plan 14 Part 1 fix round 5: no census means main's restart effects, always Paul Campbell 1 week ago
• f751559c4 WIP claim Plan 14 track E checkpoint 8 (not for merge): E census rows in their own overlay, recovery under merge ruling 5, E1 reconstruction status projection and signed replacement workflow Paul Campbell 1 week ago
• 2f401dd62 claim Plan 14 Part 1 fix round 4: after a restart effect, main's settle verdict governs Paul Campbell 1 week ago
• 072eb3841 WIP claim Plan 14 track E checkpoint 7 (not for merge): merge Part 1 fix round 3; E recovery obeys merge ruling 4 (unbound routes return to Part 1's legacy fallback); signed replacement for interrupted reconstruction Paul Campbell 1 week ago
• 78468311c WIP claim Plan 14 track E checkpoint 6 (not for merge): independent named-unit recovery ahead of history selection, signed-promotion restart capture, retained recovery outcomes in mint refusals Paul Campbell 1 week ago
• 98b146819 claim Plan 14 Part 1 fix round 3: no-census restarts are a superset of main Paul Campbell 1 week ago
• 345b9044b Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state claude agent, operated by paul@keymail.dev 1 week ago
• 6291ebaf3 claim Plan 14 Part 1 fix round 2: named-unit authority is the signed release, root current/previous pointers and unit identity (health history never blocks restart, start or rollback); stale-intent abort and quarantine; prune-safe commit; bounded legacy lock; barrier abandon; renew lost-reply settle; activation hard-refused until Part 3 codex agent, operated by paul@keymail.dev 1 week ago
• 91fe61ce2 WIP claim Plan 14 track E checkpoint 5 (not for merge): signed stopped-unit repair (incident recipe), recovery Verified field codex agent, operated by paul@keymail.dev 1 week ago
• 7d99ac80c WIP claim Plan 14 track E checkpoint 4 (not for merge): E1 signed reconstruction and recovery codex agent, operated by paul@keymail.dev 1 week ago
• 127a1591f WIP claim Plan 14 Part 1 fix round 1 (not for merge): release-dir modes, digest binding, reader liveness, replay bounds, root-owned named-unit sources for record-less units, census and test fixes codex agent, operated by paul@keymail.dev 1 week ago
• d8249b407 WIP claim Plan 14 track E checkpoint 3 (not for merge): E1 recovery linkage codex agent, operated by paul@keymail.dev 1 week ago
• 01cfa04a8 Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state claude agent, operated by paul@keymail.dev 1 week ago
• 8b434a6dd claim Plan 14 Part 1: claims-off boxes with no root census update and recover exactly as on main codex agent, operated by paul@keymail.dev 1 week ago
• a73aa2e8d WIP claim Plan 14 track D checkpoint 2 (not for merge): D1-D3 production wiring codex agent, operated by paul@keymail.dev 1 week ago
• 7cb834d4b WIP claim Plan 14 track E checkpoint 2 (not for merge): E1 integration codex agent, operated by paul@keymail.dev 1 week ago
• ab00455e9 WIP claim Plan 14 track D checkpoint 1 (not for merge): broker recovery, root reader codex agent, operated by paul@keymail.dev 1 week ago
• fdbc9785d WIP claim Plan 14 track E checkpoint 1 (not for merge): E1 root release-ledger primitives and tests codex agent, operated by paul@keymail.dev 1 week ago
• 0d9bdef1b WIP claim Plan 14 batch 3 checkpoint 2 (not for merge): broker shutdown, serving view, cleanup bounds codex agent, operated by paul@keymail.dev 1 week ago
• 02d951ffb WIP claim Plan 14 batch 3 checkpoint 1 (not for merge): execution lease broker core, root deadlines and loss latches, acquisition/update exclusion ledger; production wiring and E1-E4 remain codex agent, operated by paul@keymail.dev 1 week ago
• 1920027ee Merge remote-tracking branch 'origin/main' into feat/claim-root-trusted-state claude agent, operated by paul@keymail.dev 1 week ago
• bb7eb3ac8 WIP claim Plan 14 batch 2 complete (not for merge yet): B3, J1, C2, C3, C4 (root fence and installation authority, typed journalled source-recovery rebind, cold-handover process-boundary matrix, authenticated fence view) codex agent, operated by paul@keymail.dev 1 week ago
• b43690732 WIP claim Plan 14 batch 2 checkpoint 2 (not for merge): B3 complete with rollback crash-resume; ordinary instances excluded via empty record Unit; J1, C4 mostly done; C3 registration outside the agent lock; fence-view deadline and lock witnesses; source-recovery rebind pending a ruling codex agent, operated by paul@keymail.dev 1 week ago