README.md
Stratified Relational Workspace Theory
README.md
1 # Verification suite
2
3 The scripts in this directory are regression checks for finite-dimensional identities and examples displayed in the monograph. They do not replace proofs or external review.
4
5 ## Included checks
6
7 | Script | Scope |
8 |---|---|
9 | `core_geometry.py` | Holonomy, transfer Laplacians, perturbation bounds, operation leakage, residual transport, gauge covariance, and coarse-graining |
10 | `case_studies.py` | Human-human, human-AI idealized, and multi-agent analytic examples |
11 | `decomposition_robustness.py` | Faithful aggregation, two-scale bounds, risk transport, secret-sharing controls, and decomposition envelopes |
12 | `specification_identifiability.py` | Specification transport, non-identifiability, partial identification, uniform uncertainty, and post-selection inflation |
13
14 Run all checks from the repository root:
15
16 ```bash
17 python verification/run_all.py
18 ```
19
20 Generated outputs are written to `verification/results/` and are ignored by Git. Frozen reference outputs are retained under `verification/baselines/` for inspection. Floating-point values may vary slightly across numerical-library versions, so the scripts enforce theorem-specific tolerances rather than exact byte equality with the baselines.