Repository navigation

Emit arrival_converge; IAM pair and pinned accessor (msg_f03558d1) - #13497

Closed

gunbai-bot[bot] wants to merge 108 commits into

mainfrom

session/stern-ibex-771

Commits on Oct 6, 2026
- Record the mtjade1 standing live-ops grant; scope a grant as fabric-group or host.
  
  Brian Searls
  and
  cursoragent
  committed
  9ad18b1
- Bind mtjade1 arrival effects to a modeled fleet-converge principal without a new auth arm.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a5cd57c
- Emit arrival_converge from fleet-converge; roster the IAM pair and pinned accessor.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b052beb
- Commit the generated arrival_converge YAML and cite operator sign-off msg_f03558d1 on the grant.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f819f07
- Merge remote-tracking branch 'origin/main' into session/sleek-lynx-448
  Brian Searls
  committed
  61dc44a
- Split standing-ruling interlock into pending, unconditional, and named-hold states.
  
  Brian Searls
  and
  cursoragent
  committed
  a5c923f
- Managed-host cut O1c-3b: BmcSecure through the fold behind its authorization gate.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f0dbf95
- Merge #13493 interlock states into O1c-3b and require InterlockedBy on the BMC write.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d7bdcef
- Stop inventing interlock holds when a ruling does not name one.
  
  Brian Searls
  and
  cursoragent
  committed
  bb2fba6
- Admit the pending-interlock and foreign-key discharge REDs at the fold mints.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d545a36
Commits on Oct 7, 2026
- Refuse BMC-write discharge unless the capability names this host and rotation-apply.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  682143b
- Refuse an Absent standing-ruling interlock instead of fabricating a hold.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e8ef332
- Run BmcSecure through the real arrival prefix: Noop green, undischarged Apply red.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d027ede
- Roster a hold only when the ruling is InterlockedBy; pending and unconditional stay absent.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  919d120
- Drop the always-green PrincipalUnbound check; NonEmptyStr already walls emptiness.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f1a7f22
- Run the arrival archive interlock and require WIF on the wet door.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e0c2717
- Exhaust the access-token arms on the arrival wet door.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cc0e918
- Exhaust ArrivalSubjectAdmission on the arrival wet door.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  824c843
- Merge #13493 (bb2fba6bee) three-state interlock into Route A.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ac718b0
- Hold the arrival slot across the prefix, and name that live acquire.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e8ac66f
- Merge #13517 (f1a7f22d70) so StandingBmcSecureAccountWrite has one authority.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cc27c0c
- Roster firmware on the live arrival slot, and drop the tautological admit.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  dea7361
- Restore the projection-seal RED at the new mint arity.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d68c535
- Align the mtjade1 quote witness with grant-grain InterlockPending.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4aaa402
- Join BmcSecure Apply to the bound instance and the canonical rotation identity.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a84139d
- Keep firmware pending until a held writer lands, and enroll release REDs.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  554fa4d
- Merge #13517 (a84139d192) Apply-instance join into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ecaad04
- Cite the wet-door function in the firmware dissolution, not a bracket that did not land.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  527e777
- Keep #13517 Apply-join REDs at the bound-host and grant overlay, without a second full prefix fold.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  38feedd
- Drop the duplicate bound-host Apply converge and stop returning the sealed pre-read from the dry-apply helper.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  26dd63f
- Merge #13517 (26dd63f53f) cost follow-up into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4f1fa10
- Restore #13517's arrival witness files and enroll a hermetic failed-acquire RED.
  gunbc-ci-auto-heal
  committed
  64f30c8
- Keep new BmcSecure Apply witnesses under the floor eval-step budget.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3c1acb5
- Restore the three-argument projection forge RED and refuse an empty WIF condition.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  9e1a2c3
- Run the one BmcSecure Apply-positive inhabitance through the fold; keep the REDs on supplied join and discharge.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  db38aa0
- Merge #13517 (db38aa00c0, includes 3c1acb5690) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  352f403
- Start BmcSecure Apply inhabitance after the PriorLife prefix already inhabited on main.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4d00893
- Merge #13517 (4d008934bd) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  0e53de1
- Leave #13517's forged-probe file at 4d008934bd.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a260cb1
- Delete unused MutationLane projection instead of mapping a plan refusal to an empty list.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b4088a7
- Merge #13517 (b4088a7ffb) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  a820fde
- Drop unread ConvergenceStep principal and mutation fields; the fold already gates on StepGate and InstanceAuthorization.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7cc10c4
- Run foreign BmcSecure Apply through the production bound step and drop unread BmcSecureInputs.host.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  06da1d7
- Merge #13517 (06da1d7608) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  1793c5a
- Roster the BmcSecure rotation site under the mtjade1 standing ruling and discharge only a hold that census lists against that site.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7dcc83e
- Merge #13517 (7dcc83ef70) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  4ac52ae
- Fall through an uncovered grant to the capability arm; mint foreign Apply only through plan+dry_apply.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c8fd3c5
- Merge #13517 (c8fd3c5a83) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  524d586
- Discharge BmcSecure census from the arm overlay, not grant-grain pending.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  faeab49
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cb03747
- Refuse undischarged BmcSecure Apply on the production bound step, and forge the projection with authorization_required_of.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3b74dfd
- Merge #13517 (3b74dfda67) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  19abab4
- Delete unused UnconditionalStanding and join BmcSecure grant hosts to fleet HostIdentity rows.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  87db66f
- Merge #13517 (87db66f8b5) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  01c90b5
- Discharge capability in one function and resolve BmcSecure grant hosts through the fleet host roster.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2d316e9
- Merge #13517 (2d316e9679) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  13584e6
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  48f1e97
- Merge origin/main into session/crisp-eagle-656-o1c3b.
  gunbc-ci-auto-heal
  committed
  e2dda3b
- Merge PR #13517 (e2dda3bfea) into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  d1dc996
- Inhabit BmcSecure Apply through converge_arrival_through_bmc_secure.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2011f18
- Merge origin/main into session/crisp-eagle-656-o1c3b.
  gunbc-ci-auto-heal
  committed
  0a57e6b
- Merge PR #13517 (0a57e6b4fd) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  7c070f2
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  5490580
- BmcSecure arm interlock promotes only the production pending grain.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ae0e61c
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  96fd213
- Project #13517's declared eval-step drops into design-rung-drops.md.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2dfe590
- Refuse the wet arrival door on an unobserved PriorLifeBoundary world.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2946586
- Regenerate docs/design-rung-drops.md from the new eval-step drop.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  951bf69
- Merge PR #13517 (951bf69006) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  5d70989
- Mint a BmcSecure fold discharge only when Apply is supplied.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6fb0e20
- Merge PR #13517 (6fb0e2095c) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  0ff0d74
- Merge origin/main into session/crisp-eagle-656-o1c3b.
  gunbc-ci-auto-heal
  committed
  d9103b0
- Move Noop-discharge annotation above converge_arrival_through_bmc_secure.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  ac94a28
- Merge PR #13517 (d9103b0dbd) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  46d61db
- Attach the BmcSecure discharge comment to the function, not its body.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8ddd880
- Merge PR #13517 (8ddd880b31) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  29889bc
- Drop converge_arrival_through_bmc_secure from instance_authorization's admit list.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  724a8d7
- Census the wet archive door as unauthorized until an observed prefix exists.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  fd8c7e6
- Merge PR #13517 (724a8d7e1a) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  fb5fc06
Commits on Oct 8, 2026
- Bind BmcSecure Apply to the inspected instance and confine discharge minting.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cacc769
- Observe acquire/body/release by callee invocation counts, not the exit reason.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  2cf6d60
- Merge PR #13517 (cacc76937f) into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6dd755e
- Drop in-witness acquire/release mutants; keep the production oracles.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  e7df599
- Bind production release at the one arrival_after_acquire call site.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  7e260ff
- Inhabit arrival_after_acquire through the real slot release.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  dc70119
- Merge origin/main into session/crisp-eagle-656-o1c3b.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  69aaa7e
- Bind BmcSecure Apply to the whole inspected observation, not its read start.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  79ca915
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  b8bd86d
- Bind the archive hold-store root at the wet door, not inside acquire/release.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  deb3a5e
- Heal docs/design-rung-drops.md to render bmc_secure_apply_converge_new_witness_eval_step_cost.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  3360b1c
- Discriminate BmcSecure observation join on controller_clock by an explicit Optional match.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  6c26b02
- Fix controller_clock_reading_same argument names at the observation join.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  0eaaabe
- Stamp controller-clock fixtures as EpochMs literals instead of Int casts.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  aa42662
- Apply the generated-lane heal of docs/design-rung-drops.md.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  208ef0e
- Keep arrival-subject refusal causes on the admit-executor exit.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  23dd26c
- Merge PR #13517 (aa42662175) into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  11bbcdd
- Merge origin/main into session/crisp-eagle-656-o1c3b.
  gunbc-ci-auto-heal
  committed
  1d1b7ee
- Admit a matching-Present controller_clock equality control and stop claiming fields cannot fall out.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  73a419a
- Apply the generated-lane heal of docs/design-rung-drops.md.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  f69bde4
- Record the authored observation-join field lists as a guarantee stall, not a drop.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  04191b0
- Merge PR #13517 (04191b01c9) into the arrival overlay.
  gunbc-ci-auto-heal
  committed
  84222bd
- Observe failed-acquire body absence through a filesystem marker.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  4e331a6
Commits on Oct 9, 2026
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  cb67815
- Delete unused dry-world constructor and prefix-to-exit mapper.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8e116a7
- Merge origin/main into the arrival overlay.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  8653f65
- Separate arrival-converge and printer jobs after the main merge smashed their YAML.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  a8145eb
- Give exclusive fleet-converge jobs one concurrency constructor.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  c317c49
- Regenerate design-rung-drops.md from its DAG authority.
  
  gunbc-ci-auto-heal
  and
  cursoragent
  committed
  534c276

Commits

Commits on Oct 6, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026