Skip to content

ci(dissolution): collapse pure ci-claim-gate wrapper scripts into gate-3 - #5012

Merged
briansrls merged 3 commits into
mainfrom
ci-gate-dissolution-2
Jun 16, 2026
Merged

briansrls merged 3 commits into
mainfrom
ci-gate-dissolution-2

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Jun 15, 2026

Copy link
Copy Markdown
Contributor

Second gate-dissolution slice (scratch item 14; follows #5011).

The probe-selector-keystone and lens-ci gate scripts were pure thin wrappers that just exec'd ci-claim-gate with a fixed --gate-entry/--rows-fn. gate-3 (v4-affected-tests-gate.sh) already holds the ci-claim-gate binary, so this inlines the two calls directly (byte-identical invocation, --perturb-check preserved) and deletes both wrapper scripts. No behavior change — a redundant bash layer removed.

After this, all the pure wrapper/scraper collapses are done (node-frontier in #5011, these two here). The remaining gate scripts (batch-executor, substrate-equivalence, corpus shards, layering, nat-semiring) each orchestrate real behavior in bash (batch run-loops, discovery-law equivalence, ExpectFail corpus sharding, import-edge layering) and need genuine .dag modeling rather than mechanical collapse — separate slices.

🤖 Generated with Claude Code

briansrls and others added 3 commits June 15, 2026 23:44
…wrappers

Both were pure thin wrappers that just exec'd ci-claim-gate with a fixed
--gate-entry/--rows-fn. gate-3 already holds the ci-claim-gate binary, so inline
the two calls directly (byte-identical invocation, --perturb-check preserved) and
delete the wrapper scripts. Removes a redundant bash layer; no behavior change.

scratch item 14 (CI gates are bash scripts).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
#5012 review (claude-opus-4-7, APPROVE) flagged comment/doc references
to the now-deleted v4-lens-ci-gate.sh and v4-probe-selector-keystone-gate.sh
(and the earlier node-frontier wrapper deleted in #5011). Their rows-fns are
now invoked directly from gate-3 (scripts/v4-affected-tests-gate.sh); repoint
all references there. Comment/doc-only, no behavior change.

Touched: ROADMAP.md, docs/design-lens-subject-supply.md,
tools/ci_claim_gate/src/main.rs, src/v2/stage0/src/bin/claim_batch.rs,
.github/ci-floor/claim-witness-corpus-exclusions.md.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@briansrls
briansrls merged commit 8dc5612 into main Jun 16, 2026
1 check failed
@briansrls
briansrls deleted the ci-gate-dissolution-2 branch June 16, 2026 00:05
briansrls added a commit that referenced this pull request Jun 16, 2026
…mantics

Replay PR delta on current main (#5012 gate-3 dissolution, #4967 SPICE fixture).
Oracle-only CI gate (termination witness deferred-not-green); interpreter native
fold paths + fold_list_native_semantics oracle retained.

Co-authored-by: Cursor <cursoragent@cursor.com>
briansrls added a commit that referenced this pull request Jun 16, 2026
Rebase onto main (#5012 ci-claim-gate dissolution) dropped the
v4-spice-ngspice-op-gate.sh hook from v4-affected-tests-gate.sh.

Co-authored-by: Cursor <cursoragent@cursor.com>
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