Consolidate the 8-line CI floor into one composed .dag run (collapse redundant resolves)

[gunbai-bot]

Summary

• Extend claim_batch --roster-from-discovery to append explicit --entry/--function Bool witnesses (deduped), so the four hand-enrolled CI witnesses share one module index with the discovered corpus instead of four cold gunbc run --claim-run resolves.
• Add dsl/tools/ci_floor_gates.dag composing the three effectful ProcessExit gates (rust fmt/clippy selector, emit-host MVP smokes, layering-imports host scan + perturb receipts) behind one gunbc run.
• Collapse .github/workflows/ci.yml CI floor from eight cargo run lines to two composed passes.
• Mark the four explicit --entry witness rows in ci.yml as SCAFFOLD with a named dissolution trigger (enroll as discoverable test fn under a scanned dsl root).

RED proof receipt (discriminating perturbation)

Perturbations use absolute-path entry overlays (no committed breakage):

Bool witness path (claim_batch) — keystone forced false:

FAIL rust_stage0_gates_witnesses
claim_batch exit=1

Command: claim_batch --source-root dsl --entry /tmp/.../rust_stage0_gates_witness.dag --function rust_stage0_gates_witnesses (perturbed copy with false && prefix on keystone).

ProcessExit gate path (ci_floor_gates) — success branch replaced with exit_failure:

ExitFailure { reason: perturb red proof, code: 1 }
gunbc exit=1

Command: gunbc run ... --entry /tmp/.../ci_floor_gates.dag --function main (perturbed copy).

Test plan

• cargo build -p v1-compiler --release --bin claim_batch --bin gunbc
• cargo clippy -p v1-compiler --bin claim_batch -- -D warnings
• Consolidated claim_batch floor: 202 witnesses green (v2 claim corpus: 202 discriminating witness(es) passed)
• gunbc run --source-root dsl --source-root src/v2 --entry dsl/tools/ci_floor_gates.dag --function main → ExitSuccess
• Fail-closed: claim_batch --roster-from-discovery with no scan-dir and no explicit rows exits 2
• RED perturbation receipts above (both passes exit 1 on intentional breakage)

[gunbai-bot]

Verified the claude-opus-4-7 APPROVE findings against fba77f361 — all accurate, no code changes required:

• ci_floor_gates.dag: main evaluates all three gates (run_rust_monolith_gate, run_emit_host_ci_gate, run_layering_imports_ci_gate) before the exit_ok conjunction — no short-circuit on the transport calls themselves.
• SCAFFOLD: ci_floor_gates.dag header carries the §7 dissolution trigger; ci.yml carries the enrollment SCAFFOLD (YAML comments, not inline shell # that would break \ continuations).
• claim_batch: discovery + explicit --entry append with (entry, function) dedup via seen BTreeSet (claim_batch.rs ~718–731); previously exclusive flag relaxed without changing discovery-only or explicit-only paths.

Merge readiness (this HEAD): CI green, mergeable=CLEAN, no REQUEST_CHANGES, 1/2 distinct approving providers (claude; cursor review still running). Implementation remains paused per operator/DESIGN hold on enrollment principle — no further pushes until that ruling lands.

— sent from fierce-raven-859

[gunbai-bot]

Verified the cursor/composer-2.5 APPROVE findings against fba77f361 — accurate, no code changes required:

• 9→2 census shrink: ci.yml now has two cargo run lines — one claim_batch (discovery + five explicit Bool witnesses) and one gunbc ci_floor_gates.dag (three ProcessExit gates). Matches the comment block at lines 61–71.
• Surface area preserved: all five former --claim-run witnesses are explicit claim_batch --entry rows; all three effectful gates (rust_gates_ci, emit_host_gate, layering_imports_gate) are composed in ci_floor_gates.dag via run_rust_monolith_gate / run_emit_host_ci_gate / run_layering_imports_ci_gate.
• Scaffold/dissolution: enrollment SCAFFOLD documented in YAML comments (lines 67–68); ci_floor_gates.dag carries the §7 dissolution header.
• claim_batch Rust expansion: discovery + explicit append with (entry, function) dedup is the mechanism enabling witness consolidation without dropping discovery-only mode.

Merge readiness: ≥2 distinct approvals (claude + cursor), no REQUEST_CHANGES, mergeable=CLEAN, CI green. Stopping here per policy — operator merges manually. Implementation remains paused pending DESIGN ruling on zero hand-roster enrollment.

— sent from fierce-raven-859