Elnor Repo Reader

# E3/E4 — DOC82 Knowledge + Source/Evidence — Drafting Commission (Claude Code)

**Repository:** github.com/wbrody/Elnor-Specs — branch `main` · **Date issued:** 2026-06-08 · **Architect:** Will Brody.
**You produce the R1 charter draft; Will reviews it before the red-team rounds. Do NOT run git — Will commits.**

**You are:** drafting the **DOC82 Scope = Canonical Knowledge + Source/Evidence** charter — family member **3 of 8**, the **truth plane** of ELNOR's Memory Control Plane. It owns the Assertion family (full lifecycle/state machine), the warrant ladder, evidence + source envelopes, and bitemporal axes; every other plane consumes it (DOC83 generates candidates into it, DOC84 caps delivery on it, DOC85 learns from it, DOC87 organizes over it; EC executes its writes). Drafted as the **E3 + E4 lockstep** (plan §12.3): E3 = Knowledge; E4 = Source/Evidence — together because evidence support depends on the source-span contracts.

**Pre-conditions: RESOLVED.** Both gating items (ADQ-202 corpus hierarchy, ADQ-219 CU reconciliation) are resolved + four architect-discussion locks are set — all in `Pre_Charter_Analysis_ADQ202_ADQ219.md`. **You draft FROM these resolutions; do not re-open them.**

---

## 1. Read order (repo paths; read directly — if you cannot access the repo, stop and tell Will)

**The charter packet (your spec — draft against these)**
1. `…/E3_E4_DOC82_Knowledge_Source_Evidence/Charter_Opening_Brief.md` — the 20 draft targets, owned objects, the lockstep, the seniority/placement discipline, exit criteria.
2. `…/E3_E4_DOC82_Knowledge_Source_Evidence/Charter_Input_Deck.md` — OPA rows, pinned ADQs, Owner Map rows, Import Graph edges, Skeletal fold-ins, the **resolved pre-conditions + the four architect locks**, cross-charter seams.
3. `…/E3_E4_DOC82_Knowledge_Source_Evidence/Pre_Charter_Analysis_ADQ202_ADQ219.md` — **the resolutions you draft from:** Finding 1 (CU = direct consume + R-CU-1/2/3 guardrails), Finding 2 (interface-not-containers + library≠corpus), and the four discussion resolutions (A `principal_authored`, B documented-not-built adapter, C Indexed=source-memory, D extraction origin-stamp lock).

**Contracts DOC82 BINDS to (consume by reference — never redefine)**
4. Ratified **E0** `…/E0_DOC80_Core/DOC80_Core_Charter_Draft.md` — ReasonCode/DomainProfile registries, `ContextPacketProof`/`MemoryFlowCertificate`/`MemoryCoordinationTrace`, the memory-object taxonomy (§14), `E0DurableRecord`, compute-budget, the warrant-degradation-trigger registry. Reference by E0 §.
5. Ratified **DOC81** `…/E1_E2_DOC81_Scope_Policy/DOC81_Scope_Policy_Charter_Draft.md` (R3.1) — `EffectiveMemoryPolicy` meet, `ScopeResolutionResult` (write-gating reads the floor + `mutation_authority`), `PolicyStamp`, `disclosure_class`, the `CascadingSourceInvalidation` **envelope** (§5; DOC82 owns the source-side **payload**), the `AssertionRelationEdge` **traversal-scope-check policy** (DOC81 §8 / ADQ-315), `PolicyCappedDAMSInput`. Reference by DOC81 §.

**Ground truth (semantics + no-phantom traces)**
6. `Memory Rebuild Docs/DOC80 Target Baseline/Owner Map/DOC80_Owner_Map.md` — DOC82-owned rows (26–65, 94–95, 140) + the Skeletal §576 slot-ins. **Canonical for PLACEMENT.**
7. `Memory Rebuild Docs/DOC80 Target Baseline/Skeletal Spec/DOC80_Skeletal_Target_Baseline.md` — §"DOC82" + §10.8 (VersionedClaim lineage) + §11.x (warrant monotonicity / polarity recompute) + §14 (taxonomy seed) + §18 (golden scenario) + the bitemporal note (~§ "DOC82 §1").
8. `Memory Rebuild Docs/DOC80 Target Baseline/Import Graph/DOC80_Import_Graph.md` — DOC82 edges (acyclic; `DOC82 → {DOC83,DOC84,DOC85,DOC87}`; external → DOC72/DOC73/DOC25; the phantom DOC82↔DOC83 cycle is dissolved).
9. **ABC R0.2** `Memory Rebuild Docs/Memory Rebuild Review Packs/DOC80_Memory_Control_Plane_PreSpec_Review_Pack_v1_0_2026-05-25/12_ABC_Consolidated_Structural_Patch_R0_2.md` — **SENIOR for SEMANTICS** (DR-001): §4.2 (EvidenceSupportEdge / support_relation), §4.5 (CU support contract), §7.8 (`AssertionCandidateDisposition` 7-value + `AssertionDedupeOutcome`), §1.2/§1.4 (ExtractionRouteContext / SourceEnvelope), §7.11/§7.14. **The Concept Model §17.3 11-value disposition enum stays RETIRED (G-2).**
10. **DOC73** (CU consumption) `Current Specs/DOC73/DOC73_Artifact1_R0.5.md` §8.2 + `DOC73_Artifact3_R0.3.md` §9.2 — `ConsolidatedUnderstanding` schema (`source_spans[]`, `display_kind`, INV-MVC-CU-1). **DOC82 consumes; never redefines CU.**
11. **DOC25** `Current Specs/DOC25/DOC25_V2_0_DOC INTELLIGENCE.md` (+ the materialization proposal) — `SourceArtifact`/`ArtifactSegment`/`SourceParseQualitySidecar`/`CorpusIndex`/`SourceCollection`/`LibrarySourceBinding`. **DOC82 consumes via `SourceEnvelope` segment refs.**
12. `OP-A and Operations and Trackers/OPA_V4.md` §6 — the 9 Bucket-A obligation bodies.
13. `Memory Rebuild Docs/Flattening/Execution Ledger/Architect Decision Queue/Architect_Decision_Queue.md` — ADQ-202/219/314/303/401/402/PASS2-01/PASS2-02 + **ADQ-223** (principal-authored — DOC82 lands the MINIMAL lock only; deeper work deferred — do NOT over-build).

## 2. Deliverable

One file: `…/E3_E4_DOC82_Knowledge_Source_Evidence/DOC82_Knowledge_Source_Evidence_Charter_Draft.md`. Stable filename, no version suffix (git is the version record). Status header: `charter-draft (Stage 6 E3/E4, R1 — not reviewed, not ratified)`.

**Structure (paste-ready TS interfaces + per-contract Lifecycle / Unhappy-paths / Lints / Fixtures / Cross-charter blocks, exactly as DOC80/DOC81 charters do):**
- **§0** How to read · citation convention (every contract/field/lint/fixture traces to ABC R0.2 / Owner Map / Skeletal / ADQ / OPA / E0 § / DOC81 §, else `OPEN_FOR_ARCHITECT_REVIEW` ≤ 5) · branded-ref types · the bind-by-reference list (E0 + DOC81 + DOC72/DOC73/DOC25 `ExternalDependencyRecord`-pinned) · **the ABC §2.1 placement-override note** (ABC senior for semantics, Owner Map canonical for placement, D-SEED-2).
- **§1 Identity + the E3/E4 lockstep + what DOC82 owns/does-not-own** (Owner Map boundary).
- **§2 The Assertion family + lifecycle** — `Assertion` (+ **bitemporal `valid_time`/`transaction_time`**), `AssertionVariant`, `AssertionCandidate`, **`AssertionCandidateEmission`** (the E3↔E5 handoff; **MUST carry the originating library/scope membership — lock D**), `AssertionResolution`, `AssertionDedupeOutcome` (ABC §7.8), the merge/reconcile/split/unmerge ops, `AssertionIdentitySignature`, the full **`AssertionLifecycleState` state machine**.
- **§3 The warrant ladder** — `EpistemicKind` / `UseWarrant` / `EffectiveWarrant` + `WarrantEvaluationResult` / `WarrantConsequenceRegistry` / `DomainProfileWarrantPolicy`; the **`(temporal_class, epistemic_kind)` validity table (ADQ-314)** including **`principal_authored` → orient/hypothesize, NOT cite (lock A)**; invalid combos flagged at lifecycle transition.
- **§4 `AssertionRelationEdge`** (schema only; consumes DOC81 §8 traversal-scope-check policy; storage DOC72).
- **§5 Source + Evidence** — **`SourceEnvelope`** (**library-agnostic + multi-membership-safe; content-deduped single identity — lock C/D**), `SourceRegionRef`/`SourceSegmentRef`, `SourceAuthorityScope`/`Class`, `EvidenceRecord`, `EvidenceSupportEdge` (support_relation), `ExtractionRouteContext` (provenance not identity).
- **§6 The corpus-hierarchy interface** (ADQ-202 resolution) — DOC82 owns the `SourceEnvelope` interface + pointers + `LibrarySourceBindingConsumptionContract`; **NO container schema** (Library→DOC87; Corpus/CorpusIndex/SourceCollection/LibrarySourceBinding→DOC25); the **library≠corpus** separation; lint `source.doc82_redefined_corpus_container`. The **Indexed=source-memory** distinction (source durable at Indexed; assertions only at Learned) stated as the consumption posture.
- **§7 CU consumption** (ADQ-219 = DIRECT CONSUME) — the thin ABC §4.5 contract bound to DOC73's CU; **R-CU-1/2/3 guardrails** (no-spans⇒no-support; cu_authority≠warrant; CU≠evidence); the **documented-not-built** adapter escape-hatch note (lock B); OPA-035 recorded "convergence, no activation".
- **§8 Source-revocation source-side payload + polarity-aware warrant recompute** — DOC82 owns the payload (DOC81 owns the envelope §5); supporting-source removal lowers; contrary-source removal MAY raise net warrant via a recompute trace (the DOC82 side of DOC81 §5.3 monotonicity; ADQ-304 last-edge rule).
- **§9 `VersionedClaim → AssertionVariant` lineage table** (DR-003; §10.8 lints) + **§ KnowledgeProjection** + invalidation.
- **§10 The 9 OPA Bucket-A obligations** — filing-unit/version, court/ruling disposition, observation-lifecycle, promoted-claim memory-kind, not-evidence guardrail, SourceArtifact.
- **§11 Cross-cutting invariants** — warrant monotonicity (wired to DOC81); the **not-evidence guardrail** (`OBL-D73-N-NOT-EVIDENCE-INV-01` — orientation/CU/RecentActivity is NOT evidence; no auto `EvidenceSupportEdge`); one-owner placement; the origin-stamp invariant (lint `assertion.emission_missing_origin_scope_membership`).
- **§12 Cross-charter** — what DOC82 binds to (E0/DOC81/DOC72/DOC73/DOC25) + what it hands {DOC83,DOC84,DOC85,DOC87} + the §18 golden scenario (incl. the revocation + policy-change-mid-extraction cases).
- **§13 Open items + architect-review flags (≤5)** — incl. the ADQ-223 deferred deeper-epistemic note (minimal lock here; deeper work tracked).
- **§14 Sources + lineage** — ADQ landings, OPA-row landings, Owner Map/Skeletal/SM/ABC references, the Skeletal §576 slot-in rows confirmed (`WarrantEvaluationResult` etc.).

## 3. Hard constraints
1. **No-phantom:** every contract/field/enum/lint/fixture traces to a citation or is flagged `OPEN_FOR_ARCHITECT_REVIEW` (≤5). Apply scrutiny to enum value-sets + thresholds.
2. **No E0/DOC81 re-declaration** — bind by section number. No re-declaring `EffectiveMemoryPolicy`, `ScopeResolutionResult`, the proof spine, the `CascadingSourceInvalidation` envelope, registries.
3. **Placement vs semantics:** ABC R0.2 senior for **semantics**; `DOC80_Owner_Map.md` canonical for **placement** (D-SEED-2). Re-homed schemas (Assertion/Variant/Evidence) defined at DOC82 **only**. Retired enums (Concept Model §17.3) not reintroduced.
4. **One-owner:** `ConsolidatedUnderstanding` semantics stay DOC73; `SourceArtifact`/`ArtifactSegment`/corpus containers stay DOC25; Library + membership stay DOC87; graph storage stays DOC72; durable writes + warrant execution stay EC. DOC82 owns the truth objects + the source-evidence **interface** only.
5. **The four locks are binding** (Pre-Charter Analysis A–D): `principal_authored` minimal kind; documented-not-built adapter; Indexed=source-memory distinction; the `AssertionCandidateEmission` origin-stamp.
6. **Do NOT over-build ADQ-223** — only the minimal `principal_authored` kind + CU supersession consumption; the deeper provisionality/claim-vs-directive/weight work is deferred.
7. Modify only your charter draft; create no other files. No git.

## 4. Acceptance criteria (self-check before reporting)
All 20 Opening-Brief targets addressed; the Assertion lifecycle state machine complete; **bitemporal axes present** on the Assertion family; the warrant ladder + the ADQ-314 validity table present with `principal_authored`; ABC §7.8 enums defined DOC82-only; `SourceEnvelope` library-agnostic + multi-membership-safe; the corpus interface owns no containers; CU = direct-consume with the 3 guardrails + documented-not-built adapter; the origin-stamp lock on `AssertionCandidateEmission` + its lint; all 9 OPA rows + DR-002/DR-008 land; the not-evidence guardrail wired; warrant monotonicity bound to DOC81; `OPEN_FOR_ARCHITECT_REVIEW` ≤ 5; no E0/DOC81 re-declaration; one-owner held; every named invariant has a runtime-gate + Stage-9 lint + Stage-8 negative-fixture triple. **Report:** per-§ what landed, the schema inventory, any `OPEN_FOR_ARCHITECT_REVIEW` flags with reasons, and a self-audit against these criteria (an independent CODEX fidelity audit checks your report next).