amadan
region-ha-two-box-build
No description yet.
Commits
57
Discussions
0
0 open
Tasks
0/0
done
Discussions
- No discussions on this branch yet.
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev pushed 7caf2c22b Merge remote-tracking branch 'origin/main' into region-ha-two-box-build
- claude agent, operated by paul@keymail.dev pushed 8ef2c8a23 Merge remote-tracking branch 'origin/main' into region-ha-two-box-build
- claude agent, operated by paul@keymail.dev pushed 3b895b42f sim: a dirty return ends the source's files protection, and its install parks the pre-move generations, only when the target admitted the move (Astra joint round 4 item 2)
- claude agent, operated by paul@keymail.dev pushed eaa08175d sim: a rollback keeps the source region the files home until the source's return, and a dirty return's install park retires the pre-move generations (moves a5e8c13f, D6)
- claude agent, operated by paul@keymail.dev pushed 372f7a4b4 sim: the probe stop stops the writers, flushes and records the positions before root's stop (ruling 87), so the cold first serving wake loses nothing the probe session acknowledged
- claude agent, operated by paul@keymail.dev pushed 86294cb85 sim: expected outcomes for reloc-admits-probe-only (missed fidelity guard, appended) and reloc-stuck-refuses-admission at two boxes (redundant alone since joint round 2)
- claude agent, operated by paul@keymail.dev pushed 917771bbf sim: the first serving wake after a completion is cold, and a release closes the session's launches at the stop and admission only at Collect
- claude agent, operated by paul@keymail.dev pushed ded693148 sim: a delete or purge over a completion box whose termination fence verifies passes the barrier (ruling 86), and the operator's declare-lost crutch is gone
- claude agent, operated by paul@keymail.dev pushed d2e97bf13 sim: expected-outcomes.txt records the C1 and C11 fallback rules as missed fidelity guards, with their direct tests
- claude agent, operated by paul@keymail.dev pushed 363055fee sim: witnesses and direct tests for the completion protocol, the catch-up hold and the C1/C11 fallbacks, and the residual and purge-deadlock scenarios
- claude agent, operated by paul@keymail.dev pushed 52ab8507d sim: a relocation ends as 1b-next builds it (probe stop, completion pass, barrier, N6), a delayed source catches up its row hold, and the C1/C11 fallbacks are today's behaviour
- claude agent, operated by paul@keymail.dev pushed 295f31a63 Merge origin/main into region-ha-two-box-build (before the Task 11 joint round)
- claude agent, operated by paul@keymail.dev pushed e814ece38 sim: a committed landing's failover keeps the landing's op id
- claude agent, operated by paul@keymail.dev pushed cef63683c hostlife: files-home-move-phases text names the commit boundary and both witnesses (joint round 3 P3)
- claude agent, operated by paul@keymail.dev pushed 54c0b6305 Astra joint round 3 (J1 fix round 2): unedited
- claude agent, operated by paul@keymail.dev pushed cc0d678e7 Joint round 3 brief (J1 fix round 2)
- claude agent, operated by paul@keymail.dev pushed 00bd0abe0 sim: the source region keeps the files live set until the move commits, and INV-30 checks every servable region's next pin survives
- claude agent, operated by paul@keymail.dev pushed 25c7c9e14 Astra joint round 2 (J1 fix): unedited
- claude agent, operated by paul@keymail.dev pushed 2e956f4e6 Joint round 2 brief (J1 fix only)
- claude agent, operated by paul@keymail.dev pushed dfab457ca sim: the files home follows moves §5.1's authoritative region, so a park queued during a move keeps the live manifest in the source region until the flip
- claude agent, operated by paul@keymail.dev pushed 55f03a6c7 sim: the files live set is region-qualified, so a manifest PUT that lands in a former region after a move's cleanup is retired by the sweep there
- claude agent, operated by paul@keymail.dev pushed a2ef02034 Astra joint round 1 (two-box model + 1b-next stage A): unedited
- claude agent, operated by paul@keymail.dev pushed 10ac836d5 docs: the two-box brief names model commit db4b2a09 and states the final review's fix wave: the 151261fe mirror by region, park-evidence-every-box and its witness, and the one release-and-journal helper
- claude agent, operated by paul@keymail.dev pushed db4b2a090 sim: expected-outcomes.txt records reloc-name-drops-move-target as missed at one box, with its direct test; park-evidence-every-box needs no line, since its witness catches it in either shape
- claude agent, operated by paul@keymail.dev pushed cdbfa1f73 sim: reloc-name-drops-move-target is a liveness guard: its witness is dropped and expected-outcomes.two-box.txt records it missed, with TestConvertedMoveDropsTheMoveTargetFromTheBarrier as its direct test
- claude agent, operated by paul@keymail.dev pushed 819a76c41 sim: stale comments corrected: reloc-pin-evidenced-empty is caught by its witness, relocRelease's steps name the flush and receipt rules, startFailover names its target at the start, and mutate.sh's STALE verdict cites the merged expectations at two boxes (final review minor 7)
- claude agent, operated by paul@keymail.dev pushed 6b52cf73a sim: exec-writer and reloc-replacement-table are rare 30000 at two boxes, caught 1 and 2 times in 3,000, so a 3,000-seed sweep that misses them by chance does not fail (final review minor 6)
- claude agent, operated by paul@keymail.dev pushed 0c3deba48 sim: the one-box identity tests pin boxesPerRegion to 1, so their traces are the one-box shape's whatever HOSTLIFE_BOXES says (final review minor 5)
- claude agent, operated by paul@keymail.dev pushed 028150d03 sim: the operator's replay of a stuck relocation excludes a released target, never a released source, which ruling 13 makes eligible again (final review minor 4)
- claude agent, operated by paul@keymail.dev pushed 02ba19b40 sim: the region-wide stop-evidence wait before a two-box park-replica or park-superseded is the named rule park-evidence-every-box, with a witness of seed 819's shape that violates INV-10 under its mutation