Elnor Repo Reader

ELNOR REPO READER TEXT MIRROR
Original path: Memory Rebuild Docs/Stage_6_Charters/E3_E4_DOC82_Knowledge_Source_Evidence/Charter_Input_Deck.md
Source repo: /Users/OpenClaw1/Elnor/Elnor Specs
Git branch: main
Git commit: 98f25a3624ebcec0f7eade9eeadb12916dede4c6
Generated: 2026-06-18T18:34:37.209Z

---

# E3/E4 Charter Input Deck — DOC82 Knowledge + Source/Evidence

**Extracted from:** `STAGE_6_CHARTER_INPUT_INDEX.md` §DOC82; `DOC80_Owner_Map.md`; `DOC80_Skeletal_Target_Baseline.md` §DOC82 + §10/§11; `DOC80_Import_Graph.md`; the ratified E0 (`DOC80_Core_Charter_Draft.md`) + DOC81 (`DOC81_Scope_Policy_Charter_Draft.md`). Refreshed 2026-06-08 against the DOC81 ratification.
**Purpose:** everything E3/E4 needs before drafting. References by path/ID — the drafter reads source content from the repo.

## Pre-conditions — RESOLVED 2026-06-08 (see `Pre_Charter_Analysis_ADQ202_ADQ219.md`; these LOCK into the draft)
1. **ADQ-202 (Corpus hierarchy) — RESOLVED.** DOC82 owns the **`SourceEnvelope` interface + pointer types (`SourceRegionRef`/`SourceSegmentRef`) + consumption contracts**, and **NO container schemas**. The **user-facing Library** (curated set + treatment + access policy) = **DOC87/DOC26/DOC81**; the **ingestion Corpus** (provider profiles / dedup / corpus-scope) = **DOC25** — they are DISTINCT. `SourceEnvelope` is **library-agnostic + multi-membership-safe** (one content-deduped source identity, many memberships). ADQ-401/402 land as DOC25 cross-doc completion obligations. Lint `source.doc82_redefined_corpus_container`.
2. **ADQ-219 (CU reconciliation) — RESOLVED = DIRECT CONSUME.** DOC73's CU semantics match the ABC §4.5 source-bound-synthesis contract (both require source spans; both forbid CU-as-canonical-reusable-truth). Consume directly via a thin §4.5 contract; the `SourceBoundSynthesisAdapter` is **documented-not-built** (a one-paragraph escape-hatch note; Owner Map row stays a placeholder pointer). OPA-035 recorded as "convergence found, no adapter activation." **Three guardrails:** R-CU-1 (no-spans CU can NEVER support an Assertion — the legal-work-product safety rule); R-CU-2 (DOC73 `cu_authority` ≠ DOC82 warrant — a CU earns warrant via its source spans, not DOC73's score); R-CU-3 (a CU is synthesis, not evidence — consuming a CU must NOT auto-create an `EvidenceSupportEdge`; ties `OBL-D73-N-NOT-EVIDENCE-INV-01`).

## Architect-discussion LOCKS (2026-06-08 — the draft MUST honor these)
- **`principal_authored` epistemic kind** — the principal's own authoritative-but-not-citable statements (legal statements of law) are first-class sources (author = principal; span = the statement), with an **"orient/hypothesize, do NOT cite as controlling authority"** warrant profile in the ADQ-314 validity table. Minimal lock only; deeper provisionality/claim-vs-directive/weight work is **DEFERRED + tracked at ADQ-223**.
- **Indexed = source-memory** — Linked (accessible) < Indexed (durable `SourceEnvelope` + DOC25 doc-intelligence; retrievable/citable; NO mined knowledge) < Learned (Indexed + DOC83 extraction → Assertions/CUs). "Source in memory" (Indexed/Learned) is DISTINCT from "knowledge mined from it" (Learned only). Treatment statuses are DOC87/DOC26/DOC81, not DOC82.
- **Extraction origin-stamp lock (load-bearing)** — `AssertionCandidateEmission` (DOC82 contract, DOC83-produced) MUST carry the **originating library/scope membership**, so the canonical Assertion inherits scope (DOC81) + membership (DOC87). Treatment gates extraction, not injection; DOC84 injects by active-scope eligibility, never per-document treatment. Lint `assertion.emission_missing_origin_scope_membership`.

## OPA V4 rows targeting DOC82 (9 Bucket A)
`OBL-D25-O-SOURCEARTIFACT-01` · `OBL-D73-N-NOT-EVIDENCE-INV-01` (not-evidence guardrail; renamed from ORIENTATION-INV) · `OBL-D73-O-COURT-DISPOSITION-OBS-01` · `OBL-D73-O-FILING-UNIT-VERSION-01` · `OBL-D73-O-FILINGUNIT-01` · `OBL-O-FILING-PART-VIS-01` · `OBL-O-RULING-DISPOSITION-01` · `OBL-OBSERVATION-LIFECYCLE-01` · `OBL-D23-A-V6-PROMOTED-CLAIM-MEMORY-KIND-01`. Bodies in `OPA_V4.md` §6. (Litigation-flavored: filing units, court/ruling dispositions, observation lifecycle, promoted-claim memory kind.)

## ADQ rows pinned to DOC82
| ADQ | tier | direction |
|---|---|---|
| **ADQ-202** | resolved-at-E4 (HARD) | Corpus hierarchy behind Libraries; gates ADQ-402/404 |
| **ADQ-219** | do-before-drafting | CU reconciliation; direct-consume vs `SourceBoundSynthesisAdapter`; OPA-035 |
| **ADQ-314** | →E3 | create the `(temporal_class, epistemic_kind)` **validity table**; invalid combos flagged at lifecycle transition |
| **ADQ-303** | →E4/DOC25 | `SourceParseQualitySidecar` numeric thresholds — domain-profile-specific; owner DAMS V5/DOC25 (DOC82 consumes to bound candidate eligibility) |
| **ADQ-401** | AC-001 →E4/DOC25 | file-materialization + provider profiles; `minimum_completion_for_v5 = schema_plus_owner_boundary` |
| **ADQ-402** | AC-002 →E4/DOC73 | corpus-source-bindings; `minimum_completion_for_v5 = schema_plus_lints_and_fixtures`; **depends on ADQ-202** |

## Conflict Register entries
- **DR-002 / DR-003** — `VersionedClaim`: RESOLVED at Stage 5R2 (DR-003 closed) — stays **DOC73**-owned (legacy lineage); **DOC82 defines the `VersionedClaim → AssertionVariant` lineage table** (fields: versioned_claim_ref / source_cu_ref / source_span_refs / assertion_variant_ref / lineage_kind / preserved_fields / lost_or_transformed_fields / migration_status / review_required). Lints `versioned_claim.unmapped_to_assertion_variant`, `versioned_claim.lineage_table_missing` (§10.8). **Owner Map row for the lineage table = confirm at charter.**
- **DR-008** — `AssertionCandidateEmission` is the named **E3↔E5 handoff** (DOC82 owns the contract; DOC83 generates instances). Matrix-row addition deferred → confirm at charter.
- **DR-001** — ABC R0.2 senior to the Concept Model (semantics only; placement per D-SEED-2 / Owner Map).

## Owner Map — DOC82-owned rows (the objects to formalize)
`DOC80_Owner_Map.md` lines 26–65, 94–95, 140 (+ Skeletal §576 slot-ins): the Assertion family (26–37: Assertion / Variant / Candidate / CandidateEmission / Resolution / DedupeOutcome / Merge-Reconcile-Split-Unmerge / RelationEdge / IdentitySignature / LifecycleState / TemporalProfile / Epistemic-Use-Effective warrant), `SourceBoundSynthesisAdapter` (39, wrapper-only), `VersionedClaim → AssertionVariant lineage table` (42), `SourceEnvelope` (52), `SourceRegionRef`/`SourceSegmentRef` (55), `EvidenceRecord` (57), `EvidenceSupportEdge` (58), `SourceAuthorityScope`/`Class` (59), `ExtractionRouteContext` (60), `LibrarySourceBindingConsumptionContract` (64), `CascadingSourceInvalidation source-side payload` (95), `KnowledgeProjection` + invalidation (140). **Slot-in at charter (Skeletal §576):** `WarrantEvaluationResult`, `WarrantConsequenceRegistry`, `DomainProfileWarrantPolicy`, `IngestionCostBudget`, `PromotionGateRecord`, `ConsideredItemLedger`, `PromptShellExposure` — verify/add Owner Map rows; nothing needs a new family member.

## Referenced (consumed, NOT owned) — `ExternalDependencyRecord`-pinned (E0 §7; Import Graph §3)
- **DOC73** — `ConsolidatedUnderstanding` semantics + `ConsolidatedUnderstandingSupportContract` (ADQ-219); `VersionedClaim` (DOC73 retains).
- **DOC25** — `SourceArtifact` / `ArtifactSegment` / `SourceParseQualitySidecar` / file-materialization / `LibrarySourceBinding` / `CorpusIndex` / `SourceCollection`.
- **DOC72** — graph payload storage + six-dimensional knowledge + `Entity`.
- **DOC81** (ratified) — `EffectiveMemoryPolicy` meet, `ScopeResolutionResult` (write-gating reads the floor + `mutation_authority`), `PolicyStamp`, `disclosure_class`, the `CascadingSourceInvalidation` **envelope** (§5), the `AssertionRelationEdge` **traversal-scope-check policy** (DOC81 §8 / ADQ-315), `PolicyCappedDAMSInput`.
- **DOC80 core** (ratified) — ReasonCode / DomainProfile registries, ContextPacketProof / MemoryFlowCertificate / MemoryCoordinationTrace, memory-object taxonomy (§14 — Stage 6 fills the body), compute-budget envelope.
- **EC** — durable Assertion writes; warrant evaluation; resolution/merge execution (`dependency_status = partial/moving`).

## Import Graph — DOC82 edges (`DOC80_Import_Graph.md`)
**Schema_import (downward, acyclic):** `DOC80 → DOC82`; `DOC81 → DOC82`; `DOC82 → {DOC83, DOC84, DOC85, DOC87}` (Assertion family + Evidence + SourceEnvelope + ExtractionRouteContext + SourceBoundSynthesisAdapter). Topological position 3 (`DOC80 < DOC81 < DOC82 < DOC87 < DOC83 < …`). **The phantom DOC82↔DOC83 cycle is dissolved** — the reverse arrow is a `runtime_instance_flow`, not a schema import. **External (`ExternalDependencyRecord`):** DOC82 → {DOC72, DOC73, DOC25}. **Storage/execution:** DOC82 → DOC72 (graph payload), DOC82 → EC (durable writes).

## Skeletal §10/§11 fold-ins DOC82 must land
| § | content | role |
|---|---|---|
| §DOC82 §1 | Assertion family carries explicit **bitemporal axes** (`valid_time` + `transaction_time`) | litigation as-of queries + time-window warrant degradation |
| §2 | source-bound synthesis consumption (ADQ-219; direct or `SourceBoundSynthesisAdapter`) | the CU seam |
| §10.8 | `VersionedClaim → AssertionVariant` lineage table + 2 lints | DR-003 landing |
| §11.x | warrant monotonicity + **polarity-aware recompute / re-proof** (supporting source removal lowers; contrary source removal MAY raise net warrant via a recompute trace) | the DOC82 side of DOC81's §5.3 monotonicity law |
| §18 | end-to-end golden scenario (source observation → policy preflight → extraction admission → `AssertionCandidateEmission` → resolution+dedupe → membership → policy re-check → … → proof → learning → UI) + the **revocation case** + **policy-change-mid-extraction** case | the family integration test |
| §14 | memory-object taxonomy table — Assertion/Variant/CU/Evidence/SupportEdge seed rows | Stage 6 fills the body |

## Open seams DOC82 must honor
- **OPA-035** — `SourceBoundSynthesisAdapter` convergence (DOC82↔DOC73); discharged at the ADQ-219 reconciliation.
- **Not-evidence guardrail** (`OBL-D73-N-NOT-EVIDENCE-INV-01`) — orientation/relevance signals are NOT evidence; must not create `EvidenceSupportEdge`.
- **Warrant monotonicity** — DOC82 owns the recompute; DOC81 owns the policy envelope + invariant shape (the meet is never widened by a revocation).
- **One-owner vs ABC §2.1** — re-homed schemas defined at DOC82 only; ABC §2.1 authoritative for semantics, not placement.

## Pre-conditions met
- **E0 ratified** (2026-06-01) — registries + proof spine + taxonomy + warrant-degradation-trigger available.
- **DOC81 ratified** (2026-06-08) — policy/scope gates + `CascadingSourceInvalidation` envelope + `AssertionRelationEdge` traversal policy + `PolicyCappedDAMSInput` available for DOC82 to bind to. ✅
- **STILL OPEN (gate the draft):** ADQ-202 corpus hierarchy + ADQ-219 CU reconciliation (§0 of the Opening Brief).

## What E3/E4 unblocks
DOC82 is a pre-condition for **E5/E6 (DOC83)** — extraction generates `AssertionCandidateEmission` into DOC82's contract; **E7/E8 (DOC84)** — delivery consumes Assertion/Evidence/warrant for context products; **E9 (DOC85)** — learning eligibility reads assertion outcomes + false-suppression sampling; **E_org (DOC87)** — membership over Assertion/Source objects. EC executes all of it.