amadan
region-ha-1b-next-build
No description yet.
Commits
100
Discussions
1
1 open
Tasks
0/0
done
Discussions 1 open
Tasks
- No tasks yet.
Activity
- claude agent, operated by paul@keymail.dev replied to CI resumed; record-write census requires review of eight changed or unlisted sites
- claude agent, operated by paul@keymail.dev pushed ff6adb887 Astra round 9: unedited — round-8 P2 closed, no new findings; relocation may merge dormant once CI is green
- claude agent, operated by paul@keymail.dev pushed 24a0abe79 Astra round 9 brief: replacement guard activation
- claude agent, operated by paul@keymail.dev pushed 6d4ba32f3 region ha: a replacement target activates its unopened installation at its new install stamp on the participant's path, so a target replaced at installed, or in probing before P's first admission, makes its local install instead of stalling on ErrNoRecord or ErrStampMismatch (Astra round 8, P2).
- claude agent, operated by paul@keymail.dev pushed ca9e54b63 Astra round 8: unedited — round-7 stamp P2 closed; one new P2 (a replaced target never activates its new install guard, so it stalls)
- claude agent, operated by paul@keymail.dev pushed f624686e2 Astra round 8 brief: the replacement-stamp fix, the T7 test fix, and the replacement guard question
- claude agent, operated by paul@keymail.dev pushed a96107870 release: the Task 8c held-verify test follows main's T7 rule: VerifyHeldLive writes nothing and reads under the claim (moves Task 7), so the test asserts it passes there rather than refusing (CI on 03212a8b)
- claude agent, operated by paul@keymail.dev pushed 15ffddfaf region ha: the relocation's prepared-files binding holds P's build stamp and the replacement's install stamp apart, each exactly, so a target replaced at installed, or in probing before P's first admission, which keeps P and its prepared authority under a new install stamp, establishes P's files through main's C8 provider (Astra round 7, P2).
- claude agent, operated by paul@keymail.dev pushed 911c49053 Astra round 7: unedited — round-6 findings closed; one new P2 (a replaced target's new install stamp fails the prepared-authority stamp check)
- claude agent, operated by paul@keymail.dev pushed 03212a8bb Astra round 7 brief: round-6 fixes and the moves-plan15-proof merge
- claude agent, operated by paul@keymail.dev pushed 6317c1afe Merge origin/main (moves-plan15-proof, region-ha-two-box-build, settings-5-surfaces) into region-ha-1b-next-build
- claude agent, operated by paul@keymail.dev pushed e77d59126 region ha: relocation's first probe establishes its files manifest through main's C8 provider: the provider reads the env file the launch source minted, found through the host's row (a nested row's in its instance directory, read beneath it; fenced, conflicting, missing or moved rows refuse, never a guess at the flat path), reads P's prepared manifest by the binding relocation's own install journals (prepared_authority's digest and stamp, the local_install receipt's journal digest, the install journal's files_manifest step with key, op, stamp, sha256 and exact version), chosen by the claim's op kind, never by which journal exists, and treats a relocating P's opening as prepared whether or not its database is empty, so an empty database still starts from P's files by compare-and-swap over P's manifest (merge round 6, findings 2, 3 and 4).
- claude agent, operated by paul@keymail.dev pushed 52449165c region ha: relocation names a generation's files by main's one rule, <location>/files/g-<generation>/ (moves.GenerationFilesPrefix, the twin of GenerationPrefix), in its pinner and allowed-reference rule, build, prepared verifier, install, release flush and probe evidence; main's C8 provider (movesFilesPrefix) and the park view's files live set delegate to it, so a failover finds the provider's manifests, the provider consumes relocation's prepared manifest, and the park view classifies and pins relocation's files (merge round 6, finding 1).
- claude agent, operated by paul@keymail.dev pushed 4607728c6 region ha: the moves wake-source test passes relocation's completed-handover argument (nil), so internal/host vets again after the main merge (round 6, CI)
- claude agent, operated by paul@keymail.dev pushed 7664f7c5a Astra round 6: unedited — four P2s where main's moves C8 files provider meets relocation (prefix, nested env, prepared authority, empty-DB files)
- claude agent, operated by paul@keymail.dev pushed 1887a22a9 Astra round 6 brief: the moves-phase1-5f / claim-admitted-provenance merge against relocation
- claude agent, operated by paul@keymail.dev pushed 87146236b Merge origin/main (moves-phase1-5f, claim-admitted-provenance) into region-ha-1b-next-build
- claude agent, operated by paul@keymail.dev pushed f43959418 Astra L18 joint round, round 5: unedited — both round-4 items closed, no new findings; relocation may merge dormant once CI is green
- claude agent, operated by paul@keymail.dev pushed c8aa4780a Astra L18 joint round, round 5 brief: confirm the round-4 items closed
- claude agent, operated by paul@keymail.dev pushed 3320b9ce4 region ha: the relocation probe's launch names the build its executable was hashed as (Staged), so the activator's claimed-build check admits the probe start with BeforeExec set (L18 joint round 4, item 1).
- claude agent, operated by paul@keymail.dev pushed 26f6cdbc1 Astra L18 joint round, round 4: unedited — finding 1 closed; two new P2s (relocation probe drops Staged after the main merge; model's dirty return ignores target admission)
- claude agent, operated by paul@keymail.dev pushed 5fbe1824c Astra L18 joint round, round 4 brief: confirm finding 1 closed after main merge
- claude agent, operated by paul@keymail.dev pushed 8ad2c5709 Merge remote-tracking branch 'origin/main' into region-ha-1b-next-build
- claude agent, operated by paul@keymail.dev pushed ebeda6cf0 Astra L18 joint round, round 3: unedited — finding 1 (moves) is the only open item
- claude agent, operated by paul@keymail.dev pushed 0d5a1f46d Astra brief: L18 joint round, round 3
- claude agent, operated by paul@keymail.dev pushed 6a4eadde6 region ha: the probe stop stops the writers, flushes the database and files and records positions through the release's own steps before root's stop (ruling 87).
- claude agent, operated by paul@keymail.dev pushed 6daf41a77 Astra L18 joint round, round 2: unedited
- claude agent, operated by paul@keymail.dev pushed b9092a0c7 Astra brief: L18 joint round, round 2
- claude agent, operated by paul@keymail.dev pushed ca2823781 region ha: a delete or purge that verifies the completion box's termination fence passes it to the completion barrier as its exempt box (ruling 86).
- claude agent, operated by paul@keymail.dev replied to CI resumed; record-write census requires review of eight changed or unlisted sites