gunbc run: repeatable --function, and a bare --claim-run runs every test fn of the entry in one process

[gunbai-bot]

Summary

Local witness diligence cost one full corpus load (~4 min, ~9 GB) per claim, because gunbc run --claim-run took exactly one --function. This makes the run batch over one load:

• gunbc.cli_dispatch_surface: --function is CliRepeated; the generated dispatch (gunbc_cli_dispatch_generated.rs) and the surface mirror are regenerated — --required-regen reports first_generation_equal=true with the new seed, so the hand-aligned bytes are the emitter's.
• main.rs run_verb: resolves the entry once, then loops the named functions over one InterpContext. Under --claim-run every function runs even after a red (a file reports all its reds); exit is nonzero if any failed. A non-claim multi-function run stops at the first failure (later functions may depend on earlier effects). PASS lines keep stdout; other messages keep stderr.
• --claim-run with no --function enumerates the entry module's test fns from the resolved graph's declaration markers (DeclarationMarker::TestMarked, v1 parser carries the test marker on the declaration instead of dropping it #11478) — no re-parse, no second load.
• gunbc.cli_invoke gunbc_run_all_claims_invocation_words is the modeled argv; gunbc.contributor_onboarding_path gains a run-one-witness step, projected into docs/onboarding.md via the docs regen.

Measured

gunbc run … --entry dag/test/claim/spark/pair_serving_authority_witness_test.dag --claim-run — 9 claims, 251 s wall, i.e. the cost of one claim before (~37 min → ~4 min for that file). Two named functions: both PASS. A bad name among good ones: both PASS lines printed, the refusal reported, exit 1.

Test plan

• Built locally (cargo build --release -p v1-compiler --bin gunbc --bin claim_executor), fmt clean.
• Ran the three shapes above against real witnesses; regen fixed point confirmed.
• CI: build lane's generated-artifact phase adjudicates the regenerated dispatch/mirror; docs projection adjudicated by docs-projections.

🤖 Generated with Claude Code