amadan
region-ha-hostlife-two-box
No description yet.
Commits
100
Files changed
53
+40866 −0
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 8f95c4e0b Region HA two-box model plan: Astra round 9, ready to build
- claude agent, operated by paul@keymail.dev pushed 1a8ccd44c Region HA two-box model plan: Astra review brief, round 9
- claude agent, operated by paul@keymail.dev pushed b278d197b docs: two-box model plan rev 11, Astra round 8: root's stop receipt tracked apart from the recorded positions with the flushing controller's identity, the identity traces over the gate's seeds 1..n, Task 5H and the round 8 dispositions
- claude agent, operated by paul@keymail.dev pushed 813bc7e76 Region HA two-box model plan: Astra round 8 findings (2 resolved, 1 P2, 1 P3), unedited
- claude agent, operated by paul@keymail.dev pushed 54a37976a Region HA two-box model plan: Astra review brief, round 8
- claude agent, operated by paul@keymail.dev pushed c160de8c1 docs: two-box model plan rev 10, Astra round 7: only a terminated box's volume evidence discharges local cleanup (INV-26 on the operation's discharges), the operator stops only an unrecoverable release, Task 5G and the round 7 dispositions
- claude agent, operated by paul@keymail.dev pushed 03eef47ed Region HA two-box model plan: Astra round 7 findings (1 resolved, 2 new P2), unedited
- claude agent, operated by paul@keymail.dev pushed 979c38daa Region HA two-box model plan: Astra review brief, round 7
- claude agent, operated by paul@keymail.dev pushed 9f49c1a18 docs: two-box model plan rev 9, Astra round 6: a release needs the session's own flush or its recorded positions, every release and flush path compared with 1b-next Task 7, the operator's stop of a target that cannot release, Task 5F and the round 6 dispositions
- claude agent, operated by paul@keymail.dev pushed 52e217923 Region HA two-box model plan: Astra round 6 findings (1 resolved, 1 new P2), unedited
- claude agent, operated by paul@keymail.dev pushed b9d0046da Region HA two-box model plan: Astra review brief, round 6
- claude agent, operated by paul@keymail.dev pushed 6b83c452b docs: two-box model plan rev 8, Astra round 5: a pending relocation fence holds the regional phase as Worker.Step's early return does, the worker's checks in Worker.Step's order, Task 5E and the round 5 dispositions
- claude agent, operated by paul@keymail.dev pushed b13b66858 Region HA two-box model plan: Astra round 5 findings (3 resolved, 1 new P2), unedited
- claude agent, operated by paul@keymail.dev pushed 56ea4a15d Region HA two-box model plan: Astra review brief, round 5
- claude agent, operated by paul@keymail.dev pushed 7ae16049b docs: two-box model plan rev 7, Astra round 4: the target named before any pin on every path, PinFailover in the phase predicates, Worker.Start's guards on a failover's start, the entry points compared with 1b-next in order, Task 5D and the round 4 dispositions
- claude agent, operated by paul@keymail.dev pushed da0b7f6ee Region HA two-box model plan: Astra round 4 findings (2 resolved, 3 new P2 fidelity), unedited
- claude agent, operated by paul@keymail.dev pushed cc69376db Region HA two-box model plan: Astra review brief, round 4
- claude agent, operated by paul@keymail.dev pushed f8d4c091e docs: two-box model plan rev 6, Astra round 3: PinFailover's barrier only for an initial failover (explicit flag), converted moves pin before acknowledgement, the completion park described as the model's abstraction, round 3 dispositions
- claude agent, operated by paul@keymail.dev pushed 87d444d0d Region HA two-box model plan: Astra round 3 findings (3 resolved, 1 P2, 1 P3), unedited
- claude agent, operated by paul@keymail.dev pushed ee6e35f38 Region HA two-box model plan: Astra review brief, round 3
- claude agent, operated by paul@keymail.dev pushed ab169b712 docs: two-box model plan rev 5, Astra round 2: PinFailover's barrier before the failover's pin (ruling 4 amended), the published-marker crash boundary, the adverse volume under a failover, Task 5C and the round 2 dispositions
- claude agent, operated by paul@keymail.dev pushed dcf68aa15 Region HA two-box model plan: Astra round 2 findings (7 resolved, 1 partly, 2 new P2), unedited
- claude agent, operated by paul@keymail.dev pushed 64a0a7933 Region HA two-box model plan: Astra review brief, round 2
- claude agent, operated by paul@keymail.dev pushed 13f56f101 docs: two-box model plan rev 4, Astra round 1: one-box create path restored with trace identity tests, Task 5B for the guards, exact phase matrix and claim §11's remaining witnesses, dispositions and coverage tables
- claude agent, operated by paul@keymail.dev pushed 54fa0c51d Region HA two-box model plan: Astra round 1 findings (1 P1, 7 P2), unedited
- claude agent, operated by paul@keymail.dev pushed 3c74454f7 Region HA two-box model plan: Astra review brief, round 1
- claude agent, operated by paul@keymail.dev pushed 46cd663cb plans: two-box joint model rev 3, synced to plan 1b-next rev 19: model rulings 14, 16 and 17 now mirror 1b-next rulings 26, 27 and 25 (no-spare and dead-target bounds, every unopened P recorded and parked, files pinned only with instance.key); the finding tests pass because the gaps are closed, four guards reopen them under mutation, and a witness scripts the L21 window failing safe; Task 5A dry-run with the one-box COUNTERS byte-identical
- claude agent, operated by paul@keymail.dev pushed 6d25c54e4 plans: two-box joint model rev 2, synced to plan 1b-next rev 16: thirteen new guards (release deadline, barrier before pinning, pin bound to its claim version and to evidenced emptiness, EnsureLocal, VerifyReceipt, prepared_opened journaled, probe attempts counted first, drains only of hosts with a writer, phase-sensitive exhausted fence, no replacement owing a park-local, regional chores passed at the fence, P's prepared manifest at sequence 0), every L18 case in a one-box and a two-box region, twenty witnesses, findings F1 to F3, and every task dry-run as a patch with the one-box COUNTERS byte-identical
- claude agent, operated by paul@keymail.dev pushed 99a3defee plans: region HA two-box joint model (L18): one or two boxes per region with the one-box sweep byte-identical, relocation by drain through §5.8's phase table, termination with the regional worker's fence, failover, source loss and the replacement table, the files publisher and pin, witnesses and direct tests for every milestone case, the harness's shape and the joint-round brief; Task 1 dry-run against the baseline
- claude agent, operated by paul@keymail.dev pushed fbdad3813 plans: Plan 1 rev 7 (the round-6 Plan 1 review's 9 findings): reader fields in Task 4 and Task 12 before 7b in the build order; boxidtest without the import cycle; preparing-stage authority from the claim and SourceReport.Release, with the hardened-box relay test; the carlos.prev.allowed verdict compared by cmp in ExecStart (no % or $), judged in Go by ReleaseAtOrAbove and withheld under a hold; activationAllowed covers every activating downgrade; Open requires EOF after the final chunk; shadowing collected where the carried .env overrides the rendered config; commit boundaries aligned; index D3, D4 and the cache rule corrected