Required CI bankrupted to a declared compiler gate: the witnesses lane prepares the roster's closure, not the tree; rust unit tests in their own job; the un-required phases declared as a rung drop by briansrls · Pull Request #9663 · gunb-ai/gunbc

Unbreak main: drop the JsSite artifact rows whose authority #9641 deleted, and give the six witness-bin TypeEnv initializers the unit_variant_index #9656 added

Brian Searls

and

claude

committed

361ec24

The lib's own unit tests build one more TypeEnv by hand; give it unit_variant_index too

Brian Searls

and

claude

committed

41392e9

Required CI is the compiler floor: a static gate roster, prepared as its own import closure, with the other four phases and the product witnesses moved off the merge path

Brian Searls

and

claude

committed

4b92b11

merge main

Brian Searls

committed

ee689cf

merge main (#9648 cli_run decomposition): re-apply the gate edits onto cli_run/required_floor_runner.rs

Brian Searls

committed

da73726

Drop the six duplicate unit_variant_index initializers the merge with #9648 produced

Brian Searls

committed

63adee5

Drop the six duplicate unit_variant_index initializers the merge with #9648 produced

Brian Searls

committed

a5a58bf

Regenerate .gitattributes: the six js_site rows projected from the deleted artifact registry entries go with them

Brian Searls

committed

5131a8d

Regenerate the four projections of this change: witnesses.yml (probe and all-bins steps gone, rust-unit-tests job added), DESIGN.md and design-ledgers.md (the rung-drop row), .gitattributes (js_sit…

Brian Searls

committed

012769b

Restore the lib-test TypeEnv initializer's unit_variant_index (lost when the merge took main's cli_run.rs wholesale)

Brian Searls

committed

94239df

The gate closure is the loader's both-closure (imports + reference edges to a fixpoint), not the import headers: stripped modules reach their providers by reference, and the header walk left 1,190 …

Brian Searls

committed

d77a3f7

Shrink the namespace transition roster: the 314 std->extdeps consolidation rows landed with #9641 and now refuse every PR as stale

Brian Searls

committed

6b9b6d5

merge the unbreak-main branch (stale namespace admissions shrink)

Brian Searls

committed

967a78e

Build the entry index once for both gate closures (it is the expensive part: ~75-110s per build on the corpus)

Brian Searls

committed

bf08caa

Gate closure includes containment ancestors to a fixpoint: a module importing only a child of the declaring module still binds the parent's declarations

Brian Searls

committed

6492430

The floor's policy module is always a closure seed: its rosters are evaluated in a frame over the prepared subject

Brian Searls

committed

066725c

The reference-closure index is keyed by the prepared subject's digest, bounded to the two subjects a floor process prepares by design — the gate's policy-closure preparation and the gate closure ar…

Brian Searls

and

claude

committed

2d5502a

The floor's own runtime authorities are explicit closure seeds: the gate-bounded subject refused at output-policy install because resolve_channel_policy had only ever resolved by pool-membership co…

Brian Searls

and

claude

committed

beb802f

A by-name evaluation of a module's declaration runs in THAT module's scope: the floor installed the output policy and the naming-hygiene predicates from the policy module's frame, which reached gun…

Brian Searls

and

claude

committed

006b0ef

The floor's rosters are joined only over identities inside the required gate — an enrolled identity whose module the gate never loads is withheld with the same accounting as cost-debt withholding, …

Brian Searls

and

claude

committed

c7e15fe

The gate closure follows bare cross-module references from EVERY module, with the loader's own scanner, to a joint fixpoint with containment ancestors — the loader's both-closure bare-scans only im…

Brian Searls

and

claude

committed

e8effe8

Cost-debt rows outside the required gate are withheld from the staleness join, route-gap expectations honour cost-debt withholding, and emit_on_demand_classical_not_native_one_build_holds moves to …

Brian Searls

and

claude

committed

1f4bda9

Two lens_module_gate_witness rows leave the expected-red roster: under the gate-bounded subject both PASS on CI and on srv2, and the floor refuses a passing enrollment as STALE-QUARANTINE

Brian Searls

and

claude

committed

92cc92e

Eleven claims interrupted before verdict on the gate-bounded subject join the cost-debt roster as proven chunk 12 — the same eleven on the GitHub runner and on srv2, run after run

Brian Searls

and

claude

committed

0829ad8

lens_module_gate_holds_live joins cost-debt chunk 12: it was interrupted at 1076ms the run after its sibling was withheld, because the 1.07s pool-root module_path_index fill is billed to whichever …

Brian Searls

and

claude

committed

154fb1f

The pool-root module_path_index for src/v2/lens is warmed in preparation by evaluating the declared producer once in its own module's scope — the 1.07s fill was a positional bill that interrupted a…

Brian Searls

and

claude

committed

8ad4091

lens_closure_question_zero_holds_live leaves the expected-red roster: with the src/v2/lens pool-root index warmed in preparation it passes, as its two siblings did once they stopped paying that fill

Brian Searls

and

claude

committed

f462bc9

The four bootstrap_footprint_anchor claims join cost-debt chunk 12: 474–505ms CPU on three consecutive CI runs with no fill billed to them, so the 500ms ceiling decides them run by run

Brian Searls

and

claude

committed

4c2beb5

The rust-unit-tests job runs the unit population: the lib tests that prepare or build over the live tree carry a live-corpus ignore reason and leave the required run, and the rot the first-ever `ca…

Brian Searls

and

claude

committed

dc3ca52

The host-tool probe root carries the process id: temp_dir() is the host's shared /tmp on a self-hosted runner, and a fixed directory name collided with one another runner slot's uid left behind — P…

Brian Searls

and

claude

committed

4d70073

Navigation Menu

Repository navigation

Required CI bankrupted to a declared compiler gate: the witnesses lane prepares the roster's closure, not the tree; rust unit tests in their own job; the un-required phases declared as a rung drop - #9663

Required CI bankrupted to a declared compiler gate: the witnesses lane prepares the roster's closure, not the tree; rust unit tests in their own job; the un-required phases declared as a rung drop#9663
briansrls merged 30 commits into
mainfrom
session/neat-tern-658-required-gate

Commits on Aug 29, 2026

Unbreak main: drop the JsSite artifact rows whose authority #9641 deleted, and give the six witness-bin TypeEnv initializers the unit_variant_index #9656 added

The lib's own unit tests build one more TypeEnv by hand; give it unit_variant_index too

Required CI is the compiler floor: a static gate roster, prepared as its own import closure, with the other four phases and the product witnesses moved off the merge path

merge main

merge main (#9648 cli_run decomposition): re-apply the gate edits onto cli_run/required_floor_runner.rs

Drop the six duplicate unit_variant_index initializers the merge with #9648 produced

Drop the six duplicate unit_variant_index initializers the merge with #9648 produced

Regenerate .gitattributes: the six js_site rows projected from the deleted artifact registry entries go with them

Regenerate the four projections of this change: witnesses.yml (probe and all-bins steps gone, rust-unit-tests job added), DESIGN.md and design-ledgers.md (the rung-drop row), .gitattributes (js_sit…

Restore the lib-test TypeEnv initializer's unit_variant_index (lost when the merge took main's cli_run.rs wholesale)

The gate closure is the loader's both-closure (imports + reference edges to a fixpoint), not the import headers: stripped modules reach their providers by reference, and the header walk left 1,190 …

Shrink the namespace transition roster: the 314 std->extdeps consolidation rows landed with #9641 and now refuse every PR as stale

merge the unbreak-main branch (stale namespace admissions shrink)

Build the entry index once for both gate closures (it is the expensive part: ~75-110s per build on the corpus)

Gate closure includes containment ancestors to a fixpoint: a module importing only a child of the declaring module still binds the parent's declarations

The floor's policy module is always a closure seed: its rosters are evaluated in a frame over the prepared subject

The reference-closure index is keyed by the prepared subject's digest, bounded to the two subjects a floor process prepares by design — the gate's policy-closure preparation and the gate closure ar…

The floor's own runtime authorities are explicit closure seeds: the gate-bounded subject refused at output-policy install because resolve_channel_policy had only ever resolved by pool-membership co…

A by-name evaluation of a module's declaration runs in THAT module's scope: the floor installed the output policy and the naming-hygiene predicates from the policy module's frame, which reached gun…

The floor's rosters are joined only over identities inside the required gate — an enrolled identity whose module the gate never loads is withheld with the same accounting as cost-debt withholding, …

The gate closure follows bare cross-module references from EVERY module, with the loader's own scanner, to a joint fixpoint with containment ancestors — the loader's both-closure bare-scans only im…

Cost-debt rows outside the required gate are withheld from the staleness join, route-gap expectations honour cost-debt withholding, and emit_on_demand_classical_not_native_one_build_holds moves to …

Two lens_module_gate_witness rows leave the expected-red roster: under the gate-bounded subject both PASS on CI and on srv2, and the floor refuses a passing enrollment as STALE-QUARANTINE

Eleven claims interrupted before verdict on the gate-bounded subject join the cost-debt roster as proven chunk 12 — the same eleven on the GitHub runner and on srv2, run after run

lens_module_gate_holds_live joins cost-debt chunk 12: it was interrupted at 1076ms the run after its sibling was withheld, because the 1.07s pool-root module_path_index fill is billed to whichever …

The pool-root module_path_index for src/v2/lens is warmed in preparation by evaluating the declared producer once in its own module's scope — the 1.07s fill was a positional bill that interrupted a…

lens_closure_question_zero_holds_live leaves the expected-red roster: with the src/v2/lens pool-root index warmed in preparation it passes, as its two siblings did once they stopped paying that fill

The four bootstrap_footprint_anchor claims join cost-debt chunk 12: 474–505ms CPU on three consecutive CI runs with no fill billed to them, so the 500ms ceiling decides them run by run

The rust-unit-tests job runs the unit population: the lib tests that prepare or build over the live tree carry a live-corpus ignore reason and leave the required run, and the rot the first-ever `ca…

The host-tool probe root carries the process id: temp_dir() is the host's shared /tmp on a self-hosted runner, and a fixed directory name collided with one another runner slot's uid left behind — P…