73f74588ae
- Resolved `tmp_path_factory` exhaustion error in `conftest.py` isolation setup - Fixed aggressive string-replacement artifacts (`is_eval_close(..., True and ...)`) in contemplation and relational reader test modules that swallowed boolean precedence - Re-pinned Claude hybrid verification expected artifacts (scenarios 1-5) to correctly reflect their new geometry-derived trace hashes - Updated construction affordance invariants and tests to reflect the targeted promotion of `proportional_change.decrease_to_fraction` from diagnostic-only to serving-allowed |
||
|---|---|---|
| .. | ||
| amr_decision_substrate | ||
| claude_hybrid_verification | ||
| claude_tool_authority | ||
| deductive_entailment_authority | ||
| epistemic_truth_state | ||
| proof_carrying_promotion | ||
| README.md | ||
Deterministic Demo Packages
demos/ contains standalone, claim-scoped demonstration packages. Each demo
has its own fixtures, expected artifacts, local authority code, and runner.
These packages are intentionally importable because tests and Workbench demo routes execute them as deterministic envelopes. They are not generic runtime adapters and they must not perform hidden side effects.
Use this directory for bounded proof demos such as proposer authority, proof-carrying promotion, epistemic truth-state refusal, or domain-specific decision substrates.
Use core/demos/ for composition contracts, showcase adapters, and runtime
presentation of already-proven demos.