Skip to content

feat(spine): gunbc test stage0 harness + corpus-eval host transport (RR-A §5.2 Rung 1) - #4391

Closed
briansrls wants to merge 5 commits into
mainfrom
session/stern-eagle-564-rung1-gunbc-test-corpus-eval
Closed

briansrls wants to merge 5 commits into
mainfrom
session/stern-eagle-564-rung1-gunbc-test-corpus-eval

Conversation

@briansrls

@briansrls briansrls commented Jun 3, 2026 •

Copy link
Copy Markdown
Contributor

Summary

Closes Compiler Spine debt node://adhoc-331899f9-19a — makes the T-38 manual corpus eval path execution-runnable on top of the merged bootstrap harness substrate (#4335).

  • Stage0 gunbc test handler (cli_test.rs): invokes gunbc run against gunbc_test_manual_corpus_harness_exit via existing cli_run machinery (RR-A §5.2 step-2 bootstrap entry).
  • ProcessExit harness entry (dsl/gunbc/gunbc_test_manual_corpus_harness.dag): wraps run_manual_testclaim_corpus_eval + manual_corpus_gate so dag run maps pass/fail to exit codes.
  • CI host transport (scripts/v4-testclaim-corpus-eval.sh): thin script that execs gunbc test (no host-owned compile loop; CI #4091 §1.2).
  • ci.dag models ci_testclaim_corpus_eval_host_script + witness for the script path.
  • 05_emit_rust.dag + regen hooks: Test subcommand survives stage0 regeneration.

Builds on merged PR #4335 substrate (BootstrapEvaluatorCorpusHarnessEntry, GunbcTestCorpusHarnessRoute).

Lane note: Spine owns bootstrap entry + stage0 handler; Runtime/TestClaim Mgr owns A.3b JSON receipt + A.1.5a equivalence follow-on.

P5 receipt (T-PB-B)

+0 SG-0 paths — same-path expansion in v4_test_bootstrap_infra_closeout_test.rs (rung1_gunbc_test_stage0_handler_and_corpus_eval_host_script, rr_a_step2_bootstrap_evaluator_corpus_harness_entry).

Test plan

  • cargo test -p v3-compiler v4_test_bootstrap_infra_closeout — 18 passed (witty-boar-585)
  • cargo build -p v2-compiler --release — gunbc binary builds (prior session)
  • CI ci_floor (auto after ready)

briansrls and others added 5 commits June 3, 2026 01:47
…ort (Rung 1)

RR-A §5.2 step-3 on #4335 substrate: ProcessExit harness entry, `gunbc test`
cli_test handler, thin scripts/v4-testclaim-corpus-eval.sh, and ci.dag host-script
witness. Rebased onto main (drops duplicate #4335 history).

Co-authored-by: Cursor <cursoragent@cursor.com>
… path

Remove unused handle_test() (main always passes global --dry-run via
handle_test_with_options). Pin run_test_claim verdict chain in closeout
test; document acceptance path and ci.yml Class-C demotion in substrate.

Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
@briansrls
briansrls marked this pull request as ready for review June 3, 2026 05:05
@briansrls briansrls changed the title Rung 1: gunbc test stage0 handler + ci corpus-eval step (execution-runnable) feat(spine): gunbc test stage0 harness + corpus-eval host transport (RR-A §5.2 Rung 1) Jun 3, 2026
@briansrls
briansrls marked this pull request as draft June 3, 2026 05:30
@briansrls

Copy link
Copy Markdown
Contributor Author

Converted to draft to enforce the ratified WC0 cleanup freeze (gunb-ai/ctrl#1443, RATIFIED-CLEANUP-PROGRAM.md). src/v4/workflow/ci.dag is now a bankrupt file — only extraction, deletion, substrate-replacement, fail-closed diagnostics, or bridge-reducing changes are allowed. This PR adds a ci corpus-eval step to ci.dag, which WC0 blocks. Holding as draft so it isn't auto-merged in the parallel manual-merge; the corpus-eval execution path should land via the S6 ci split / Rung-1 execution surface, not as an addition to the monolith. Reopen only after WC0 rework or per operator decision. — sent from nimble-dove-733

@briansrls briansrls closed this Jun 4, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant