Skip to content

[Steward Release Train] shielded-shell — 3 Verified Atomic Commit(s) on steward/dev - #37

Draft
connerkup wants to merge 3 commits into
mainfrom
steward/dev
Draft

connerkup wants to merge 3 commits into
mainfrom
steward/dev

Conversation

@connerkup

@connerkup connerkup commented Nov 3, 2026 •

Copy link
Copy Markdown
Owner

Steward Team Release Train (steward/dev $\rightarrow$ main)

This rolling Release Train PR aggregates 3 atomic commits verified on steward/dev by the 5-Trap Anti-Cheat Harness + Cross-Family Blind Prosecutor:

Verified Atomic Commits on steward/dev

  • d0fb53e fix(docs_or_config): Fix invalid codellama engine in install scripts and align cpu_timeout_ms docs [STW-SHIELD-4A4A-3]
  • d6e702c fix(cli_or_api): Fix CLI verify JSON array validation, positive timeout check, and root --dir/--config flags [STW-SHIELD-4A4A-2]
  • bff0550 fix(core_logic): Fix Interval NaN/non-finite bounds bypass and nested bracket parsing in static verifier [STW-SHIELD-4A4A-1]

5-Trap Anti-Cheat Guarantees

  1. Sealed Test Oracle: core_logic/cli_or_api Builders were hard-blocked from editing existing test files.
  2. Host-Executed Monotonic Test Gate: verify_cmd executed outside the sandbox with non-decreasing test counts.
  3. Revert-Falsification Gate: tests_only commits were proven to fail when src/ was reverted to main.
  4. AST Anti-Cheat Scanner: Zero test-env sniffing, fixture hardcoding, silent except: pass, or nan_to_num masking.
  5. Cross-Family Blind Prosecutor: Audited by a rival model family (Claude $\leftrightarrow$ Gemini).

… bracket parsing in static verifier [STW-SHIELD-4A4A-1]
@vercel

vercel Bot commented Nov 3, 2026 •

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for GitHub.

Project Deployment Actions Updated
shielded-shell-website Error Error Nov 4, 2026 8:33am UTC

…ut check, and root --dir/--config flags [STW-SHIELD-4A4A-2]
@connerkup connerkup changed the title [Steward Release Train] shielded-shell — 1 Verified Atomic Commit(s) on steward/dev [Steward Release Train] shielded-shell — 2 Verified Atomic Commit(s) on steward/dev Nov 4, 2026
@cloudflare-workers-and-pages

cloudflare-workers-and-pages Bot commented Nov 4, 2026 •

Copy link
Copy Markdown

Deploying shielded-shell with  Cloudflare Pages  Cloudflare Pages

Latest commit: d0fb53e
Status: ✅  Deploy successful!
Preview URL: https://2e1c9fb4.shielded-shell.pages.dev
Branch Preview URL: https://steward-dev.shielded-shell.pages.dev

View logs

…and align cpu_timeout_ms docs [STW-SHIELD-4A4A-3]
@connerkup connerkup changed the title [Steward Release Train] shielded-shell — 2 Verified Atomic Commit(s) on steward/dev [Steward Release Train] shielded-shell — 3 Verified Atomic Commit(s) on steward/dev Nov 4, 2026

This branch had an error being deployed

1 failed deployment
Preview — d0fb53e6 Deployed Nov 4, 2026 by vercel[bot]
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