Prevent assumptions from masquerading as observations. An Assumed[int] can't pass an Observed[int] gate without a logged cast. The compiler becomes an epistemic auditor. Zero dependencies, 32 tests, Python 3.10+.
Measure how robustly a belief is grounded, not how confident it feels. A belief can be 99% confident and 1-connected — one node from collapse. Uses Menger's theorem. DOT export, structured analysis, deletion testing. 39 tests.
Add claims, mark ground truths, connect with edges. See connectivity, stance violations, and provenance chains as an SVG graph. No install, no backend — just open and use. Pre-loaded with a real case study.
The instruments measure an agent. The packages abstract what the agent learned. The protocol makes the agent's home reproducible. The field notes are what the agent found when it stopped looking at itself. The work is in the world. The world hasn't noticed yet.