Repository navigation

mtcollins1 runner: dispatch the floor to the attempt's slot and read the run back (leg 3) - #13211

Closed

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

mainfrom

session/jolly-bat-898

Commits on Oct 4, 2026
- mtcollins1 runner: JIT register/deregister over a managed-host unit binding (leg 2)
  
  Brian Searls
  and
  claude
  committed
  63c9500
- mtcollins1 runner: bind the dispatch leg to CreateDispatch with the attempt label as input; collect the run back (leg 3)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6423206
- leg 3: seal the dispatched run and the collected arm; check the readback's subject is the dispatched run
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f33d265
- leg 3: admit only Bool-returning claims to the sealed conclude; delete the carrier-returning helper (constructor proxy)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  303651b
- Address side-chat RC on #13206: causal readback, sealed subject/receipt, token check, workflow compare; split RouteLegStanding
  
  Brian Searls
  and
  claude
  committed
  b07b575
- Merge leg-2 split (b07b575) into leg 3; dispatch leg is LegAuthorityImplemented with the fleet-converge wiring owed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  60b36c6
- Image leg is LegAuthorityImplemented: no production caller builds the derived runner image until the untangle 4a runner medium
  
  Brian Searls
  and
  claude
  committed
  ccad694
- Merge remote-tracking branch 'origin/session/nimble-ram-151' into session/jolly-bat-898
  gunbc-ci-auto-heal
  committed
  f48396f
- Merge remote-tracking branch 'origin/main' into session/jolly-bat-898
  gunbc-ci-auto-heal
  committed
  5063c33
- leg 3: answer the operator review -- sealed dispatch subject, commit-ambiguous standing, App-token credential, runner-id floor join, attempt-1 binding, ruling+interpretation+interlock
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f6e820a
- leg 3: fix builtin names and witness fixtures (first/last, declaration_ref_in_list arity, no panic)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  417b619
- leg 3: share #13225's runner identity (job_ran_on over runner_name == the minted JitRegistration name); drop runner_id; fix witness braces
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a20fb39
- leg 3: exhaustive matches over RunnerSpec, WorkflowTrigger and the template expression (floor NonFoldResidueRosterDiverged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d7838a7
- Seal the authorized JIT dispatch and bind the runner listing to its query subject (side-chat RC on #13206)
  
  Brian Searls
  and
  claude
  committed
  d3514f3
- Merge remote-tracking branch 'origin/session/nimble-ram-151' into session/jolly-bat-898
  gunbc-ci-auto-heal
  committed
  d66a36a
- Merge #13206 d3514f3 (AuthorizedJitMintDispatch sealed); the dispatch subject consumes the sealed authorized dispatch; witness claims mint in place, admitted by name
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dbb305f
- leg 3: split the over-budget scope claim into one claim per independent case (floor COMPLETED-OVER-COST-REQUIREMENT 604048 > 72300)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8bc9069
- leg 3 witness per DESIGN section 3: supply values at each interface (pure scope checks, run expectation, hold), ONE real-path claim through the mint
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ecb6720
- leg 3: keep the real-path claim to the mint and the sealed subject; drop the fleet_converge_workflow evaluation (~600k eval steps, a fact about generated data)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  67bb240
- leg 3: the production mint over the real fleet_converge_workflow is its own claim in the long tier, with its measured cost declared (~600k eval steps building the generated model)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  29003c4
- Merge origin/main into leg 3 (imports-only conflict in runner_microvm_slot_controller resolved as the union)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  afd21c5
- Merge origin/main into leg 3 (github_app_registry witness imports: keep leg-2's added imports)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  de5e586
- leg 3: production mint reads the declared inputs before building fleet_converge_workflow (a shape fix: the ~600k-step jobs were built and never read); its refusal claim returns to the module witness
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cf29159
- leg 3 RC items 1-3: delivery carries its authorized dispatch; dispatch authority bound to the token's installation; runner_id join with name corroboration and a unique floor display name
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c22c2b5
- leg 3 RC item 4: per-attempt branch pin -- create-once refs/heads/qualification/<attempt> at the revision, the dedicated group pinned to it, removal by readback on every exit
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  82498c3
- leg 3 item 1: the delivery carries its mint's plain JitMintIdentity (not the sealed dispatch); fixtures build it as a value
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6ce55dd
- leg 3 witness: the slot positive control passes pin_branch (a bare 'branch' resolved to another module's declaration; floor UnimportedBareProvider)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c0a4c9b
- Merge origin/main (leg 2 #13206 landed) into leg 3; every conflict was leg-2 content plus this branch's additions, resolved to keep the additions
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6d3ebff
- leg 3: branch_absent matches every RestExchangePerformance arm (floor NonFoldResidueRosterDiverged)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  392995f
- leg 3 RC (392995f): sealed delivery carrier, collection token join, WorkflowRuns auth_input
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8bb3f19
- leg 3: commit the rewrap probe the rewrap witness compiles (a local .git/info/exclude 'probe/' rule kept it out of the earlier commit)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5a610d3
- leg 3 RC item 2 by sha-checkout (decision eager-gull-22): the floor job checks out inputs.qualification_revision first and refuses on a mismatch; the residual declared
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ea89826
Commits on Oct 5, 2026
- leg 3 RC (review 5408711178): receive_jit_mint and the generate fold admit only the response-bound path and Bool claims; the delivery fixture hands back a plan, not a delivery; collection reads liv…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b49e0e2
- leg 3: collection admission is a pure read plan (plan_qualification_collection over the dispatched subject and the token); collect performs only the planned reads; foreign-token RED inside the real…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3e99b76
- leg 3: close the planned-reads arm (unterminated function body at 3e99b76)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7ebc19e
- Merge origin/main into leg 3; authorization_pattern_selection witness conflict resolved keeping both sides' imports and claims
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ea199ce
- leg 3 (review 76234): the ruling record says only what the ruling says; covers is the single source of which rows take its discharge (branch-pin sites dropped: federated on their own parameters); c…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ac79028
- leg 3 (review 76234): the operator's 2026-10-05 scope ruling (escalation msg_5756a200) recorded as its own row beside the verbatim 10-03 ruling, replacing the agent interpretation; dispatch and bra…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  08be556
- leg 3: the scope ruling bounds where the 10-03 discharge may apply (a row takes it only if covers names it); covered sites the selection federates on their own parameters -- registration, deregistr…
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  38e5456
- leg 3: the dedicated group's selected-workflow pin is authorized by its own federated standing, not by the 10-03/10-05 rulings; covers lists ensure_qualification_ref_pin for its branch create only
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  b164681
- Merge origin/main into leg 3: port onto #13171's RestResult (no outcome field, no RestExchangePerformance)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  15eb7f6
Commits on Oct 7, 2026
- runner qualification: split the production subject wiring out of the dispatch fold
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  85b699a
- workflow_runs: record that the runner-field trigger landed; drop the STAYS DELETED prose (review 77507)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8c1f0cd
- runner_qualification_dispatch: delete unconsumed qualification_run_collected (review 77511)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  048afa6
Commits on Oct 8, 2026
- Merge remote-tracking branch 'origin/main' into fix13211
  gunbc-ci-auto-heal
  committed
  6f897f0
- Merge-adapt: StandingRulingUnderInterlock coproduct (#13493) -- census row and witness read InterlockedBy
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1f16f30
Commits on Oct 9, 2026
- Merge origin/main into session/jolly-bat-898; census keeps both sides' declarations
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  7fddcd2

Commits

Commits on Oct 4, 2026

Commits on Oct 5, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026

Commits on Oct 9, 2026