a69de813cb
Two-pass hardening of the #690 demo so no epistemic state is proposer-mintable: Pass 1 (sealed corpus, from the reconciliation pass): - evidence items are references only (evidence_id + content_sha256) resolved against a committed content-addressed corpus (evidence_corpus.json) - support derived from committed subject/predicate match; independence from distinct provenance_root values; proposer support/independence labels are rejected by the closed schema - evidence-strength taxonomy (substrate-capability vs interface-contract) in PUBLIC-DEMO-ROADMAP / DEMO-PACKAGING-CHECKLIST; position-paper refinements Pass 2 (entailment-decided inference, closes a live false-status hazard): - the merged inferred leg required only that premise IDs resolve — a claim with no support citing one unrelated record as a premise was assigned 'inferred' (empirically confirmed). inferred is now decided by generate.proof_chain.entail (sound+complete ROBDD) over resolved corpus premises, cross-checked against the independent truth-table oracle (evals.deductive_logic.oracle, no shared code); proof keys + oracle verdict in the trace; disagreement => defensive refusal; refutation => contradicted - committed adversarial scenario unrelated-premise-still-undetermined proves the attack now lands on undetermined - corpus seal (corpus_sha256) pinned into every evaluated trace; scope refusals no longer consult the corpus; corpus cache hands out copies; claim subject/predicate constrained to atom-compatible snake_case - .gitignore: private packet dir, agent worktrees, tooling artifacts Validation: 30 demo tests; 96 across all three demo suites; 7/7 scenarios double-run byte-identical; 61 architectural invariants green. |
||
|---|---|---|
| .. | ||
| adr | ||
| analysis | ||
| architecture | ||
| audit | ||
| brief | ||
| briefs | ||
| curriculum | ||
| decisions | ||
| evals | ||
| handoff | ||
| handoffs | ||
| implementation | ||
| issues | ||
| lab | ||
| planning | ||
| plans | ||
| research | ||
| sessions | ||
| workbench | ||
| zig | ||
| admissibility-exemplars.md | ||
| audio_pipeline_overview.md | ||
| capability_roadmap.md | ||
| claims_ledger.md | ||
| ethics_packs.md | ||
| EVAL_AUDIT_2026-05-20.md | ||
| eval_methodology.md | ||
| formation_pipeline_plan.md | ||
| frontier_baselines.md | ||
| gaps.md | ||
| hitl-backpressure.md | ||
| holdout_recipients.txt | ||
| identity_packs.md | ||
| master-plan-post-substrate-audit.md | ||
| memo.html | ||
| model_dependency_size_tally.md | ||
| pack_inventory_2026-05-21.md | ||
| position_paper.md | ||
| PROGRESS.md | ||
| recognizer-registry.md | ||
| refusal-taxonomy.md | ||
| reviewers.yaml | ||
| runtime_contracts.md | ||
| RUST.md | ||
| safety_packs.md | ||
| teaching_order.md | ||
| test-debt-quarantine.md | ||
| truth_seeking_schema.md | ||
| Whitepaper.md | ||
| Yellowpaper.md | ||