carlos / platform Public

Commits

• 531a10807 docs: spec §24 names Verifier.Enroll and the stamped aliases; plan 1b's flag-on prerequisites and after-the-build fixes Paul Campbell 2 weeks ago
• b72d09ac6 edges: claim reads have a 20s per-pass deadline, throttled failure logging, and never read a host hostclaim.Key rejects Paul Campbell 2 weeks ago
• 07c3030e8 host: CARLOS_REGION_HA is on only for a ParseBool true; a box record already under this label for another instance is logged loudly Paul Campbell 2 weeks ago
• 86f307e0a boxid: a roster entry with no proven cloud does not refuse its own reference; Enroll's caller binds a new reference to its instance Paul Campbell 2 weeks ago
• 1e485a0f2 boxvolumes: a shutting-down record's detaching DeleteOnTermination volumes are evidence, not a refusal Paul Campbell 2 weeks ago
• c4ae16c9d Merge remote-tracking branch 'origin/main' into design-region-ha-rev5 Paul Campbell 2 weeks ago
• 02bacc5ee infra: box evidence prefixes are create-only and never deleted; spec: plan 1b's decisions Paul Campbell 2 weeks ago
• 5352ae6d5 system: with region HA on, root marks an update begun and refuses it while the box takes part in a claim operation Paul Campbell 2 weeks ago
• 089decb99 edges: with region HA on, a relocatable host is home only on the box its claim names, stamped Paul Campbell 2 weeks ago
• 5698cbcc6 boxvolumes: discharge refuses foreign or odd records, detaching volumes, interior gaps and times that do not fit Paul Campbell 2 weeks ago
• f802bb827 boxvolumes: a running box's volumes are recorded create-only, and only an unbroken all-true record discharges its chores Paul Campbell 2 weeks ago
• c493d10d3 termfence: a fence binds to the roster entry's cloud and is read by a worker in the box's own region Paul Campbell 2 weeks ago
• 11bde1827 agent: with region HA on, a box publishes its AWS-signed identity once, under its label Paul Campbell 2 weeks ago
• ab345ada1 console: eligible boxes come from the roster's proven cloud, and a tie breaks by the host's hash; activator: no local copy is trusted Paul Campbell 2 weeks ago
• 9be38241d boxid: a box record is enrollment evidence, and one instance never holds two references Paul Campbell 2 weeks ago
• 06b05b250 plan: region HA 1b, Astra round 3 findings (unedited) Paul Campbell 2 weeks ago
• 064366a95 plan: region HA 1b answers Astra round 2: claim passes obey the retry backoff, one discharge case per check Paul Campbell 2 weeks ago
• e17ce3cf2 plan: region HA 1b, Astra round 2 findings (unedited) Paul Campbell 2 weeks ago
• 161728abe plan: region HA 1b answers Astra round 1: stamped aliases, deferred participation, validated volume records, fresh claim reads Paul Campbell 2 weeks ago
• debca2753 plan: region HA 1b, Astra round 1 findings (unedited) Paul Campbell 2 weeks ago
• 856767d82 plan: region HA 1b, Astra brief (round 1) Paul Campbell 2 weeks ago
• be08cec0b plan: region HA 1b records the controller's rulings: a recent last volume record, no README copy until Paul reviews it Paul Campbell 2 weeks ago
• 257438bf3 plan: region HA 1b, the evidence and claim readers that need none of L1 to L20 Paul Campbell 2 weeks ago
• bf8135403 Merge remote-tracking branch 'origin/main' into design-region-ha-rev5 Paul Campbell 2 weeks ago
• 0c8ad11ba spec: region HA spec 1 rev 5.4, Astra round 5 findings (unedited) Paul Campbell 2 weeks ago
• c6c43da70 spec: region HA spec 1 rev 5.4, Astra review brief (round 5) Paul Campbell 2 weeks ago
• 2314cb72c spec: region HA spec 1 rev 5.4, Astra rev 5 round 4 (B4-1, B4-2) Paul Campbell 2 weeks ago
• 6bcef4033 spec: region HA spec 1 rev 5.3, Astra round 4 findings (unedited) Paul Campbell 2 weeks ago
• 27058fe1f spec: region HA spec 1 rev 5.3, Astra review brief (round 4) Paul Campbell 2 weeks ago
• ee9f57f7f spec: region HA spec 1 rev 5.3, Paul's ruling H19 and Astra rev 5 round 3 (B3-1 to B3-5) Paul Campbell 2 weeks ago
• fb900ea70 spec: region HA spec 1 rev 5.2, Astra round 3 findings (unedited) Paul Campbell 2 weeks ago
• 075d709fe spec: region HA spec 1 rev 5.2, Astra review brief (round 3) Paul Campbell 2 weeks ago
• 693f4a059 spec: region HA spec 1 rev 5.2, Astra rev 5 round 2 (B2-1 to B2-6) Paul Campbell 2 weeks ago
• 26674eeec spec: region HA spec 1 rev 5.1, Astra round 2 findings (unedited) Paul Campbell 2 weeks ago
• fdc0fe07f spec: region HA spec 1 rev 5.1, Paul's rulings H17-H18 (cross-region confirmer, stale console report) Paul Campbell 2 weeks ago
• 4e7641ab9 spec: region HA spec 1 rev 5.1, Astra review brief (round 2) Paul Campbell 2 weeks ago
• caaf5a04e spec: region HA spec 1 rev 5.1, Astra rev 5 round 1 (B1-1 to B1-9) Paul Campbell 2 weeks ago
• 5acb6ce88 spec: region HA spec 1 rev 5, Astra round 1 findings (unedited) Paul Campbell 2 weeks ago
• 2a9165d40 spec: region HA spec 1 rev 5, Astra review brief (round 1) Paul Campbell 2 weeks ago
• 6925695ad spec: region HA spec 1 rev 5, ec2:DetachVolume in the H15 volume guard Paul Campbell 2 weeks ago
• 2494b05eb spec: region HA spec 1 rev 5, Paul's rulings H14-H16 (relocation starts, volume records, enrollment) Paul Campbell 2 weeks ago
• 805ea66fa spec: region HA spec 1 rev 5, restated against claim rev 6.25 and Paul's rulings H10-H13 Paul Campbell 2 weeks ago