Skip to content

Add a minimal end-to-end verification chain#169

Merged
bingran-you merged 1 commit intomainfrom
codex/minimal-e2e-verification-chain
Apr 14, 2026
Merged

Add a minimal end-to-end verification chain#169
bingran-you merged 1 commit intomainfrom
codex/minimal-e2e-verification-chain

Conversation

@bingran-you
Copy link
Copy Markdown
Collaborator

Summary

  • add the minimum end-to-end parity proof ladder
  • define stage ordering, no-go rules, and required artifacts
  • index the chain from the verification-and-native-test-oracles node

Testing

  • npx -p first-tree first-tree verify

The tree now has a dedicated minimal end-to-end verification chain
that orders the foundational parity checks a rewrite should clear
before broader milestone claims become credible.

Constraint: The rewrite effort needs a reusable validation order, not just a list of broad capability families
Rejected: Treat the scenario corpus as the default validation order | leaves stage gating implicit and too easy to cherry-pick
Confidence: high
Scope-risk: narrow
Reversibility: clean
Directive: Future parity notes should identify the highest cleared stage in the chain instead of saying a surface was "tested" in the abstract
Tested: npx -p first-tree first-tree verify
Not-tested: No source-repo runtime changes
@bingran-you bingran-you merged commit 5d18bec into main Apr 14, 2026
1 check passed
@bingran-you bingran-you deleted the codex/minimal-e2e-verification-chain branch April 14, 2026 21:50
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