test: add frozen LSC-1 conformance corpus - #29
Conversation
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_d185028d-b5b6-4356-9082-30b6bfcef176) |
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: f6ebcc61ad
ℹ️ 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".
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_02e22042-3260-408e-9fac-515460bdfde6) |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: bd506f4193
ℹ️ 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".
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_19b14ff5-36b9-4f41-94bf-80b710cdbcbc) |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: bf929696a8
ℹ️ 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".
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_5ae127aa-17e1-42c8-a749-75efe1bec593) |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: ddce959ae7
ℹ️ 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".
Bugbot couldn't run - usage limit reachedBugbot is counted against Cursor usage for this user or team, and this run hit a usage or spend limit. A user or team admin can review and increase usage limits in the Cursor dashboard. (requestId: serverGenReqId_6c850f25-9816-43b1-99a2-6b3091372d2d) |
…orpus # Conflicts: # SHA256SUMS
1 participant
Summary
Validation
python3 -m unittest discover -s sim -p 'test_conformance_corpus.py' -v— 5 passedpython3 tools/conformance_differential.py --validate-only— 18 fingerprints verifiedpython3 tools/conformance_differential.py --upstream ../leanVM-b— 10/10 upstream-representable cases passed with Rust 1.88.0make check— passed (272 sim tests, 269 FPGA harness tests, recorded frozen comparison, checksum and repository checks)make sim— passed (HDL, mutation, and 4 RTL differential tests)make lean— passed (14 jobs + LeanVMBMinCore 13 jobs; existing linter warnings only)make formal— passed (gf8_mul, ABC BMC3, 32 frames)Note
Medium Risk
Touches protocol/oracle alignment and CI (Rust toolchain, frozen upstream); mostly new test artifacts and tooling, not production RTL paths.
Overview
Introduces an immutable v1 LSC-1 conformance lane: JSON schema, 18 fingerprinted cases in
corpus-v1.json, a deterministic generator, and a reviewed Rustfrozen_adapterthat runsProgram::executeagainst frozen leanVM-bc308034….Cases capture wire bytes, endpoint state, staged transitions, full RETIRE metadata (or explicit non-retire), and either
program_executeupstream expectations orprotocol_onlywhere upstream has no execute model (malformed frames, lane abort/reset/stall).tools/conformance_differential.pyvalidates schema and fingerprints (--validate-only) or diffs the 10 semantic cases via a disposable git worktree and locked Cargo (infra exit 2 vs semantic exit 1).make checkgainsconformance-check; CI systemverilog job addsconformance-differential. Unit tests assert generator reproducibility andlsc1_transactionreplay. Docs,jsonschemadep, and.gitignoreexception for checked-inconformance/*.json.Reviewed by Cursor Bugbot for commit a1e0048. Bugbot is set up for automated code reviews on this repo. Configure here.