| name | verification |
|---|---|
| doc_type | index |
| description | Index of the verification-oriented docs for sandbox python lib. Use when you need to find e2e proof docs, runnable example smoke checks, or live workbench validation docs. |
These docs describe the main verification layers around sandbox python lib: unit tests, integration tests, property-based tests, runnable example smoke checks, hermetic e2e proof, and manual workbench validation.
- e2e/README.md Indexes concept-aligned e2e proof docs.
- public-boundary-and-errors.md Explains baseline public-boundary and import-direction proof.
- workbench.md Explains the manual workbench area.