Move the shipped example trees into corpus/ - #36
Merged
Conversation
`examples/toy_physics` and `examples/probe_kernel` are now `corpus/toy_physics` and `corpus/probe_kernel`: the corpus is where the engine's public claims about itself live, and the two trees the shipped recipes run over end to end belong beside the twelve submodules rather than in a directory of their own. `examples/README.md` becomes the last section of `corpus/README.md`; `examples/local_executor.py` is a demo of the executor, not a source tree, and goes to `tools/`. The conformance suite, the tests, CI and the docs follow the paths. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_018vrAgr6x1yLT47EumS39L5
`verification.json` is diffed by CI and had gone stale on main: the read/write gate now reports `reads_excused_by_stubs`, the bit-exact gate `redrawn`, and the candidate digest moved with the rules that landed. The verdicts are what they were -- 85 points bit-exact, 0 ULP. The port summary, which CI runs but does not diff, is re-recorded beside it (76 of 85 points bit-exact on this machine, the rest within 1 ULP). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_018vrAgr6x1yLT47EumS39L5
chenyueqi
added
documentation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What this is
examples/folds intocorpus/: the two trees the shipped recipes run over end to end (toy_physics,probe_kernel) now sit beside the twelve submodules, which is where the engine's public claims about itself already live.examples/README.mdbecomes the last section ofcorpus/README.md;examples/local_executor.pyis a demo of the executor rather than a source tree and moves totools/. The conformance suite, the tests, CI and the docs follow the paths.A second commit re-records
toy_physics/verification.json, which CI byte-diffs and which had gone stale on main after PRs #22-#35 (two new metric keys and a moved candidate digest; the verdict is unchanged, 85 points bit-exact), and the port summary beside it.Checks run locally
pytest: all passing;ruff check: clean;tools/check_hygiene.py: the four pre-existing findings only.recast run translate corpus/toy_physics ...andrecast run port corpus/toy_physics ...as CI runs them: all passed, andgit diff --exit-code corpus/toy_physics/verification.jsonis clean after the re-record.🤖 Generated with Claude Code
https://claude.ai/code/session_018vrAgr6x1yLT47EumS39L5