Skip to content

SMOKE (do not merge): sealed-suite guard check - #118

Closed
spuentesp wants to merge 2 commits into
masterfrom
smoke/sealed-guard-check
Closed

spuentesp wants to merge 2 commits into
masterfrom
smoke/sealed-guard-check

Conversation

@spuentesp

Copy link
Copy Markdown
Owner

Throwaway smoke test per plan Task 10 Step 3: editing a sealed path WITHOUT labels must leave the sealed-suite-guard job red; after applying sealed-override it must go green. Will be closed without merging.

@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 17, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-17T02:36:19.017753Z bfff028 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: bfff028302

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

assert scene.scene_id is not None
assert scene.story_id is not None
assert scene.universe_id is not None
# smoke-check: sealed-suite guard must block this without sealed-override

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P1 Badge Remove the sealed-suite smoke edit before merging

When this commit is proposed without the maintainer-only sealed-override label, the sealed-suite-guard job in .github/workflows/ci.yml returns exit code 1 because this modifies tests/property/**; required CI therefore remains red and the commit cannot merge. Drop this smoke line rather than landing it.

AGENTS.md reference: AGENTS.md:L85-L92

Useful? React with 👍 / 👎.

@spuentesp spuentesp added the sealed-override Maintainer sign-off: change touches a sealed T_test suite (tests/verification, tests/property) label Oct 17, 2026
@spuentesp

Copy link
Copy Markdown
Owner Author

Smoke verified: sealed-suite-guard fails unlabeled sealed-path changes and passes with sealed-override. Closing without merge.

@spuentesp spuentesp closed this Oct 17, 2026
@spuentesp
spuentesp deleted the smoke/sealed-guard-check branch October 17, 2026 02:38
@codecov-commenter

Copy link
Copy Markdown

⚠️ Please install the 'codecov app svg image' to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

sealed-override Maintainer sign-off: change touches a sealed T_test suite (tests/verification, tests/property)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants