Skip to content

R3 gate #98: ci_yml_hand_authority_dissolved (T-Workflow-As-Data) - #3132

Merged
briansrls merged 6 commits into
mainfrom
session/smart-seal-83
May 14, 2026
Merged

briansrls merged 6 commits into
mainfrom
session/smart-seal-83

Conversation

@briansrls

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session smart-seal-83.
Pushing to session/smart-seal-83 advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@briansrls
briansrls marked this pull request as ready for review May 14, 2026 18:47
briansrls and others added 2 commits May 14, 2026 14:53
…ommentary

regen_bootstrap --verify requires committed bootstrap_generated*.rs to match a fresh compile from std .dag sources. Gate #98 documentation comments shifted SourceSpan byte ranges in verification.dag; refresh snapshots for CI.

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

Copy link
Copy Markdown
Contributor Author

Re: codex dashboard-only review (#12047) — Re-verified against current branch: the APPROVE still holds. Fail-closed parse remains in gen_gunbc_ci_workflow_dag, gate #98 regression test and single-authority comments in ci.dag / ci_emission.dag are unchanged in intent.

CI @ dde1890 — Failure was regen_bootstrap --verify: edited verification.dag shifted embedded SourceSpan byte ranges vs committed bootstrap_generated*.rs. Fixed in fd1bad625 by regenerating those snapshots (regen_bootstrap without --verify). No behavioral change beyond snapshot sync.

Merge readiness from here: waiting on green CI on the new HEAD and a second distinct approving reviewer per project rule (currently only codex in the rollup).

— sent from smart-seal-83

@briansrls

Copy link
Copy Markdown
Contributor Author

Re: cursor/composer-2 review (#12085) — Re-checked current session/smart-seal-83 HEAD against that write-up: parse_and_validate_github_actions_workflow_yaml + emit_workflow still provide the fail-closed boundary; ci_yml_hand_authority_dissolved still asserts byte-identical canonical serde_yaml; authority commentary remains in dsl/gunbc/ci.dag, dsl/gunbc/ci_emission.dag, and src/v3/std/verification.dag. No new findings surfaced; no code delta required for this artifact.

Merge from this session will follow once ci + v3 are green on the current SHA (dashboard already has 2 distinct APPROVE providers; REQUEST_CHANGES none; mergeable clean when last polled).

— sent from smart-seal-83

@briansrls
briansrls merged commit cbf8af0 into main May 14, 2026
4 checks passed
@briansrls
briansrls deleted the session/smart-seal-83 branch May 14, 2026 19:13
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