← Branches
plan-region-ha-1b-next
Commits
-
7b5310b29
Region HA plan 1b-next: Astra round 19, stage A ready to build, stage B contracts complete (rev 19)
claude agent, operated by paul@keymail.dev
-
f3a532013
Region HA plan 1b-next: Astra review brief, round 19
claude agent, operated by paul@keymail.dev
-
dbf2d8194
docs: region HA plan 1b-next rev 19 removes a box mid-relocation in the property and asserts the chooser's hash winner
claude agent, operated by paul@keymail.dev
-
7e8355e13
Region HA plan 1b-next: Astra round 18 findings (3 resolved, 2 new P2 test gaps), unedited
claude agent, operated by paul@keymail.dev
-
15c43ac0a
Region HA plan 1b-next: Astra review brief, round 18
claude agent, operated by paul@keymail.dev
-
17b957c5b
docs: region HA plan 1b-next rev 18 requires instance.key for a nonempty pin, bounds a dead target with no spare, records every dropped P
claude agent, operated by paul@keymail.dev
-
50741031a
Region HA plan 1b-next: Astra round 17 findings (F1-F3 partly; 1 P1, 2 P2), unedited
claude agent, operated by paul@keymail.dev
-
6b791017c
Region HA plan 1b-next: Astra review brief, round 17 (two-box model findings)
claude agent, operated by paul@keymail.dev
-
96c509808
docs: region HA plan 1b-next rev 17 closes the two-box model's three gaps
claude agent, operated by paul@keymail.dev
-
13f36bab2
Region HA plan 1b-next: Astra round 16, stage A ready to build, stage B contracts complete
claude agent, operated by paul@keymail.dev
-
40da09b2b
Region HA plan 1b-next: Astra review brief, round 16
claude agent, operated by paul@keymail.dev
-
1f9d0fbf1
docs: region HA plan 1b-next rev 16 marks a lost receipt stuck after P opens, and crashes abruptly in the lifecycle property
claude agent, operated by paul@keymail.dev
-
bbadfd596
Region HA plan 1b-next: Astra round 15 findings (4 resolved, 2 new P2), unedited
claude agent, operated by paul@keymail.dev
-
3b6f35886
Region HA plan 1b-next: Astra review brief, round 15
claude agent, operated by paul@keymail.dev
-
06e5e751b
docs: region HA plan 1b-next rev 15 prepared manifest at sequence 0, local install restored before P opens
claude agent, operated by paul@keymail.dev
-
4f300747e
Region HA plan 1b-next: Astra round 14 findings (1 resolved, 1 partly, 3 new P2), unedited
claude agent, operated by paul@keymail.dev
-
d0da2fd74
Region HA plan 1b-next: Astra review brief, round 14
claude agent, operated by paul@keymail.dev
-
0d8979ec8
docs: region HA plan 1b-next rev 14 closes the controller lifecycle class with a property test
claude agent, operated by paul@keymail.dev
-
9295bf958
Region HA plan 1b-next: Astra round 13 findings (2 resolved, 2 new P2 controller lifecycle), unedited
claude agent, operated by paul@keymail.dev
-
eda4be5bf
Region HA plan 1b-next: Astra review brief, round 13
claude agent, operated by paul@keymail.dev
-
0dcca70c8
docs: region HA plan 1b-next rev 13 hands a host's controller to its successor and gates probes on root's isolated launch
claude agent, operated by paul@keymail.dev
-
ba50de69e
Region HA plan 1b-next: Astra round 12 findings (1 resolved, 2 new P2), unedited
claude agent, operated by paul@keymail.dev
-
56572359a
Region HA plan 1b-next: Astra review brief, round 12
claude agent, operated by paul@keymail.dev
-
eb8534dc9
docs: region HA plan 1b-next rev 12 keeps file origins and P's opening past the admission trim
claude agent, operated by paul@keymail.dev
-
6399d6bd4
Region HA plan 1b-next: Astra round 11 findings (1 resolved, 1 new P2 file origins), unedited
claude agent, operated by paul@keymail.dev
-
eb2e5ebb2
Region HA plan 1b-next: Astra review brief, round 11
claude agent, operated by paul@keymail.dev
-
758f27a7b
docs: region HA plan 1b-next rev 11 tests the console chooser's readers against real evidence
claude agent, operated by paul@keymail.dev
-
9793e7c46
Region HA plan 1b-next: Astra round 10 findings (2 resolved, 1 new P2 test gap), unedited
claude agent, operated by paul@keymail.dev
-
448869a98
Region HA plan 1b-next: Astra review brief, round 10
claude agent, operated by paul@keymail.dev
-
61c6c85df
docs: region HA plan 1b-next rev 10 fixes stage A's task order and proves create-time selection
claude agent, operated by paul@keymail.dev
-
82bc9fd9c
Region HA plan 1b-next: Astra round 9 findings (2 resolved, 2 new: task order, create test), unedited
claude agent, operated by paul@keymail.dev
-
0a49a1f6e
Region HA plan 1b-next: Astra review brief, round 9
claude agent, operated by paul@keymail.dev
-
470d7ec60
docs: region HA plan 1b-next rev 9 keeps a live source's execution and a stop's recorded revision
claude agent, operated by paul@keymail.dev
-
a78df5076
Region HA plan 1b-next: Astra round 8 findings (1 resolved, 2 new P2), unedited
claude agent, operated by paul@keymail.dev
-
d42a31002
Region HA plan 1b-next: Astra review brief, round 8
claude agent, operated by paul@keymail.dev
-
c14725ce4
docs: region HA plan 1b-next rev 8 resumes an interrupted release at the producers' drain
claude agent, operated by paul@keymail.dev
-
d12327289
Region HA plan 1b-next: Astra round 7 findings (1 resolved, 1 new P2; stage B contracts complete), unedited
claude agent, operated by paul@keymail.dev
-
6a9b6a95e
Region HA plan 1b-next: Astra review brief, round 7
claude agent, operated by paul@keymail.dev
-
6ba0e4032
docs: region HA plan 1b-next rev 7 proves a thread's descriptor is the leader's with kcmp
claude agent, operated by paul@keymail.dev
-
a30417f45
Region HA plan 1b-next: Astra round 6 findings (6 resolved, 1 new; not ready), unedited
claude agent, operated by paul@keymail.dev
-
222ff1c6f
Region HA plan 1b-next: Astra review brief, round 6
claude agent, operated by paul@keymail.dev
-
eee05113d
docs: region HA plan 1b-next rev 6 resolves Astra round 5 (6 accepted, none declined)
claude agent, operated by paul@keymail.dev
-
6fa1c1dd5
Region HA plan 1b-next: Astra round 5 findings (15 resolved, 1 partly, 5 new; not ready), unedited
claude agent, operated by paul@keymail.dev
-
996b24c3d
Region HA plan 1b-next: Astra review brief, round 5 (two-stage scope)
claude agent, operated by paul@keymail.dev
-
cbcccfdc5
Region HA plan 1b-next rev 5: Astra round 4 resolved; two stages (ruling 24)
claude agent, operated by paul@keymail.dev
-
c0a67ce4c
Region HA plan 1b-next: Astra round 4 findings (7 resolved, 3 partly, 6 new; not ready), unedited
claude agent, operated by paul@keymail.dev
-
418daf586
Region HA plan 1b-next: Astra review brief, round 4
claude agent, operated by paul@keymail.dev
-
b7333b105
Region HA plan 1b-next rev 4: Astra round 3 resolved (4 open closed, 6 new fixed, none declined)
claude agent, operated by paul@keymail.dev
-
15d94dfa9
Region HA plan 1b-next: Astra round 3 findings (10 resolved, 3 partly, 1 not, 6 new; not ready), unedited
claude agent, operated by paul@keymail.dev
-
d93c94d07
Region HA plan 1b-next: Astra review brief, round 3
claude agent, operated by paul@keymail.dev
-
42b1baadb
Region HA plan 1b-next rev 3: Astra round 2 resolved (7 partials closed, 7 new fixed, none declined)
claude agent, operated by paul@keymail.dev
-
47401a396
Region HA plan 1b-next: Astra round 2 findings (9 resolved, 7 partly, 7 new; not ready), unedited
claude agent, operated by paul@keymail.dev
-
ed992c468
Region HA plan 1b-next: Astra review brief, round 2
claude agent, operated by paul@keymail.dev
-
efef03a83
Region HA plan 1b-next rev 2: Astra round 1 resolved (16 findings, none declined)
claude agent, operated by paul@keymail.dev
-
01786806c
Region HA plan 1b-next: Astra round 1 findings (16, not ready), unedited
claude agent, operated by paul@keymail.dev
-
eb5e90513
Region HA plan 1b-next: Astra review brief, round 1
claude agent, operated by paul@keymail.dev
-
d2b913c9b
plan: region HA 1b-next, relocation released by stop evidence or a termination fence, reconcile row cases, create's once-only executor choice, and fences consumed in claim CASes
claude agent, operated by paul@keymail.dev