Repository navigation
Conversation
…line)
Replace ~17 parallel jobs with a thin workflow: runner-isolation guard,
checkout/toolchain/cache, and a single gunbc run of run_ci_pipeline.
Gate membership and GHA log annotations remain in dsl/gunbc/{ci,ci_runner}.dag.
Co-authored-by: Cursor <cursoragent@cursor.com>
Apply zesty design feedback: gate-1 full-tree parse minus enumerated allowlist (2 v2-parser-debt files after folding todo_service + schedule_model), gate-3 AffectedTestsGate superset battery, gate-4 blocking DagParityGate; dissolve demote spine from ci.dag. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc run without --entry indexes all 232 dsl modules and fails on allowlisted v2-parser-debt files before any gate runs. CI shim now passes --entry dsl/gunbc/tools/ci_runner.dag; gate-1 still enforces full-tree parse via v2-dsl-full-tree-parse-gate.sh. Co-authored-by: Cursor <cursoragent@cursor.com>
Operator bankruptcy (msg_684c8383): floor is exactly dsl-compile-clean → fmt → affected-tests. No emit-determinism 4th gate, no reach-proof, no ci_floor freshness/emit preservation. Co-authored-by: Cursor <cursoragent@cursor.com>
Add scripts/ci-floor-witnesses.sh (gate-1/3/overall RED demos) as a post-pipeline step in the one-binary ci job so design-sign evidence runs by-execution in live CI, not local-only. Co-authored-by: Cursor <cursoragent@cursor.com>
Add scripts/ci-floor-witnesses.sh for gate-1/gate-3/overall +/- witnesses. Ratchet tests pin 3-gate topology (DslCompileClean, Fmt, AffectedTests). Co-authored-by: Cursor <cursoragent@cursor.com>
Witness script now supports the ci.yml RED-demo invocation; fixes CI failure from unknown mode after witness wiring. Co-authored-by: Cursor <cursoragent@cursor.com>
Include gate-3 perturb-check in the hermetic witness step so collapsed CI exercises gate-1, gate-3, and overall floor RED assertions. Co-authored-by: Cursor <cursoragent@cursor.com>
Login shells (sh -lc) reset PATH on self-hosted runners, causing all floor gate scripts to fail instantly. Also improve witness RED log lines (PLANTED/OBSERVED/DETECTED) for design-sign log review. Co-authored-by: Cursor <cursoragent@cursor.com>
gunbc shell.Exec buffers all subprocess stdout/stderr in memory. Gate-3 runs ~30+ minutes with heavy output; on arm64 CI this likely OOM-killed the step after ~23m with no useful log. Redirect to RUNNER_TEMP log and tail last 120 lines; print tail on gate failure. Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
Co-authored-by: Cursor <cursoragent@cursor.com>
# Conflicts: # .github/workflows/ci.yml
Contributor
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Auto-opened by session-dashboard for session
bright-lark-627.Pushing to
resync-4960advances this PR.Worker attestation
Before flipping this PR to ready for review, confirm each item:
npm test,cargo test) and the result.Closes #Ndirective.Summary
TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.
Test plan