History

Shay f9dc1cd71b docs: add domain boundary READMEs for governance anchors		2026-07-03 12:05:56 -07:00
..
amr_decision_substrate	harden amr demo replay fixture	2026-06-02 10:38:00 -07:00
claude_hybrid_verification	fix: green test-fast suite, consolidate ADR graph under docs/adr, and complete governance cohesion anchors	2026-06-30 17:56:12 -07:00
claude_tool_authority	fix(demo): restore full tool authority runner	2026-06-11 11:42:32 -07:00
deductive_entailment_authority	feat(demo): add deductive entailment authority demo (Demo E)	2026-06-12 00:28:46 -07:00
epistemic_truth_state	fix(demo): harden epistemic truth-state authority — sealed corpus + entailment-decided inference	2026-06-11 21:25:08 -07:00
proof_carrying_promotion	feat(demo): ADR-0218 PR D — proof-carrying coherence promotion demo	2026-06-11 17:33:08 -07:00
README.md	docs: add domain boundary READMEs for governance anchors	2026-07-03 12:05:56 -07:00

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.