Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
29 commits
Select commit Hold shift + click to select a range
2663055
Delete regen_stage0 root and its machinery (replacement migration cut).
Aug 18, 2026
8b17cfd
Fix forward after regen_stage0 deletion so CI builds again.
Aug 18, 2026
1405353
Refuse empty regen populations and carry ruling in PR description con…
Aug 18, 2026
7bf6979
Remove deleted regen bins from ci_release_bins and regenerate fleet-c…
Aug 18, 2026
deb3efd
Align gitattributes witness with committed-only projection paths.
Aug 18, 2026
ae8526c
Fix witness_holds to call dispatch projection test
Aug 18, 2026
e8ba2e4
Dissolve regen private forks into cli_run general utilities.
Aug 18, 2026
b5f63cd
Fix required_regen fold_list empty types for string path accumulators.
Aug 18, 2026
e30faa7
Fix witness floor regressions from regen cut collateral damage.
Aug 18, 2026
95c26f6
Fix floor_expected_red chunk_10 brace balance after roster removal.
Aug 18, 2026
52bdf11
Fix stage0 lifecycle paths and shrink expected-red roster after merge.
Aug 18, 2026
02d18be
Fix floor witnesses: board admission match, stage0 lifecycle, budget …
Aug 18, 2026
0168a0a
Fix floor CI: match qualified patterns, shrink expected-red roster.
Aug 18, 2026
af53cb2
Align expected-red roster with main after rebase.
Aug 18, 2026
826bcde
Drop deleted regen/stage0 builtins from generated dispatch.
Aug 18, 2026
07ae301
Shrink expected-red roster: roadmap_page authority witness now passes.
Aug 18, 2026
d38f9ce
Merge remote-tracking branch 'origin/main' into session/crisp-wren-479
Aug 18, 2026
c972838
Re-apply regen builtin deletions lost to the merge resolution.
Aug 18, 2026
4ae808c
Delete the inert phase-receipt carrier from required_regen (review 53…
Aug 18, 2026
b610b56
Delete the dead regen CI-script subtree and dissolve the hollow proje…
Aug 18, 2026
178db9a
Delete required_regen_fixed_point_admission and FixedPointRefused: ze…
Aug 18, 2026
12e3fdc
Merge main into the regen root cut: both halves of the gate note, not…
Aug 18, 2026
69578ee
Delete the interpreter's cross-claim memo for a function this cut rem…
Aug 18, 2026
3747390
Merge remote-tracking branch 'origin/main' into session/crisp-wren-479
Aug 19, 2026
55d1ba1
Delete the regen cut's remaining leaves: orphan rustfmt emitter, heal…
Aug 19, 2026
a27a579
Merge remote-tracking branch 'origin/main' into session/crisp-wren-479
Aug 19, 2026
f00828c
Stop DESIGN.md reciting regen_stage0 as a survivor of the floor cut (…
Aug 19, 2026
4660636
WIP: 8406 ownership
Aug 19, 2026
d566dee
Merge remote-tracking branch 'origin/main' into crisp-wren-479-resolve
Aug 19, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 0 additions & 15 deletions dag/gunbc/ci_spec.dag
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,6 @@ import gunbc.cli_invoke {
import gunbc.commit_workflow {
commit_gate_roster,
project_ci_floor_gates,
project_ci_regen_job_gates,
project_falsifier_gates,
project_ci_floor_witness_entries
}
Expand Down Expand Up @@ -149,7 +148,6 @@ type CiSpec {

data gunbc_ci_floor_gates: List<Gate> = project_ci_floor_gates(roster: commit_gate_roster)

data gunbc_ci_regen_floor_gates: List<Gate> = project_ci_regen_job_gates(roster: commit_gate_roster)

data gunbc_ci_falsifier_gates_note: String = "The THIRD executing gate surface, projected here beside the floor and regen lists so the coproduct-totality witness can see it. It is not decoration: v2.test.claim.ci_spec_witness witness_gate_roster_matches_coproduct_arms asserts BAG-EQUALITY between the enrolled gates and every arm of the Gate coproduct, which is the construction-shaped form of 'no gate is unenrolled' — strictly stronger than the per-row detection wall in gunbc.commit_workflow, because it reds when a gate is enrolled NOWHERE even if no roster row was edited (a newly added Gate arm, for instance). When the cadence lane gained gates on 2026-07-26 that witness went red for exactly the right reason: its universe of executing surfaces was two, and there were now three. Adding this projection to the bag EXTENDS the totality check to the new surface — it does not relax it. The distinction matters because the tempting alternative, dropping the two flipped arms from the comparison or slackening bag-equality to subset, would have silenced the wall in the same motion that made it informative, which is the absorbing-fallback shape DESIGN §5 forbids."

Expand Down Expand Up @@ -187,19 +185,6 @@ data gunbc_ci_spec: CiSpec = {
deploy_stages: gunbc_ci_deploy_stages,
}

data gunbc_ci_regen_spec: CiSpec = {
gates: gunbc_ci_regen_floor_gates,
witness_entries: [],
discovery_scan_dirs: [],
diff_policy: {
base: gunbc_merge_target_ref as String,
head: "HEAD",
mode: DiffMergeBase
},
notice_title: "self-host fixed-point (regen + staleness) — required; own regen job upstream of ci",
deploy_stages: [],
}

fn ci_spec_with_witness_entries(spec: CiSpec, entries: List<ScheduleWitnessEntry>) -> CiSpec {
CiSpec {
gates: spec.gates,
Expand Down
Loading