2 commits

Author	SHA1	Message	Date
Shay	b24796386e	feat(teaching): implement ADR-0094 — Proposal Source Provenance ... Sealed ProposalSource type widening TeachingChainProposal and PackMutationProposal schemas with typed (kind, source_id, emitted_at_revision) provenance. Schema-only widening; no runtime behavior changes. Unblocks ADR-0095 miner-sourced proposals. - new teaching/source.py: frozen ProposalSource dataclass with sealed ProposalKind Literal["operator","miner","curriculum"], runtime invariants (operator → empty source_id; miner/curriculum → non-empty), serialize() ("operator" / "miner:<id>" / "curriculum:<id>"), as_dict/from_dict round-trip, ProposalSource.operator() helper - TeachingChainProposal.source field added (proposals.py) - PackMutationProposal.source field added (store.py) - build_proposal() accepts optional source kwarg; default uses _default_operator_source() pinned at cached git HEAD SHA - ProposalLog.current_state() now strictly requires source on every created event; raises ProposalError with migration pointer if missing; validates via ProposalSource.from_dict so malformed payloads reject - teaching/migrate_proposals_source_field.py: deterministic one-shot migration script using PRE_MIGRATION_SENTINEL ("pre-adr-0094-migration") as the emitted_at_revision so re-runs across commits produce identical bytes - migration applied to live proposals.jsonl: 11 created events gained source field; 33 non-created events untouched; idempotent verified - 29 unit tests in test_proposal_source.py covering construction, serialization, exhaustive-match pattern with assert_never, migration determinism (3 idempotence/cross-run tests), strict-parse rejection, live-log loads - 2 test fixes in test_epistemic_invariants.py for new required source param - smoke 67/67, teaching 17/17, cognition 120/121 (1 pre-existing skip), runtime 19/19; cognition eval byte-identical 100/100/100/100	2026-05-21 18:11:09 -07:00
Shay	ef95d3e609	feat(adr-0021): epistemic_status surface wired across teaching + trace ... ADR-0021 v1 schema land. epistemic_status is a position in the revision graph, not a source-trust tier — coherence is the only admission signal. Surfaces: - teaching/epistemic.py: EpistemicStatus enum (COHERENT, CONTESTED, SPECULATIVE, FALSIFIED); ADMISSIBLE_AS_EVIDENCE = {COHERENT}. - PackMutationProposal.epistemic_status (default SPECULATIVE) + immutable with_status() updater. - ReviewedTeachingExample.epistemic_status (default SPECULATIVE); orthogonal to acceptance per ADR §Schema impact. - LexicalEntry.epistemic_status (default "coherent" for seed; absent in JSONL is treated as the seed default — no retroactive tagging). - compute_trace_hash + trace_hash_from_result + pipeline.py fold the load-bearing proposal's epistemic_status into the trace hash so replay detects different epistemic frames. Non-hardening invariant (ADR-0021 §2): tests/test_epistemic_invariants.py asserts no final/frozen/axiom/permanent flag on PackMutationProposal or ReviewedTeachingExample, and EpistemicStatus contains no source-trust tier names. Docs: docs/runtime_contracts.md gains an Epistemic surface section. Lanes green: smoke 27/27, teaching 10/10, packs 6/6, runtime 19/19, cognition eval 100%.	2026-05-16 20:20:35 -07:00