Elnor Repo Reader

# DOC80 Memory Rebuild — Overlap Resolution (Stage 4)

**Repository:** github.com/wbrody/Elnor-Specs — branch `main`
**Generated:** 2026-05-25 (Stage 4)
**Rows:** 16

One OverlapResolutionRecord per identified overlap, with `CanonicalOverlapKey` (sorted_concept_names + owner_doc_refs + overlap_domain). Plan §9.3: `terminology_only` / `false_overlap` calls on crown-jewel, load-bearing, policy, scope, truth, injection, or owner-boundary concepts require architect-batch confirmation — surfaced via `architect_ref`.

## Rows

| overlap_id | sorted_concept_names | owner_docs | domain | overlap_kind | resolution | architect_ref | source_refs |
|---|---|---|---|---|---|---|---|
| OR-001 | Assertion, Claim, PremiseFamily | DAMS V5, DOC72, DOC73 | truth_identity | true_duplicate | merge_into_target | ADQ-201 | ABC R0.2 §3.1; Adjudication Delta §1.5, §2.5 |
| OR-002 | Assertion, ConsolidatedUnderstanding | DAMS V5, DOC73 | truth_identity | false_overlap | absorb_as_target_rule | ADQ-201 | ABC R0.2 §4.5; Concept Model §6; Adjudication Delta §1.9 |
| OR-003 | ScopeBoundary, ScopeMembrane, PolicyMembraneDecision | EC, PropA, DAMS V5 | scope | partial_overlap | split_into_multiple_targets | (no batch — direct accept) | Round D R0.2 §3.1–3.2 |
| OR-004 | EffectiveMemoryPolicy, MemoryPolicyDecision, PolicyMembraneDecision | EC, PropA | policy | partial_overlap | semantic_compression | (no batch — direct accept of Round D §1.1–1.6) | Round D R0.2 §1.1–1.6 |
| OR-005 | Corpus, CorpusIndex, Library, SourceCollection | DOC20, DOC23, DOC25 | source | owner_boundary_overlap | split_into_multiple_targets | ADQ-202 | ABC R0.2 §6.5; Adjudication Delta §1.8 |
| OR-006 | ContextPacketProof, MemoryFlowCertificate, RenderSafetyProof | KDA, DOC11, DOC8 | delivery | requires_third_mechanism | split_into_multiple_targets | ADQ-207 | ABC R0.2 §7.13; Round D R0.2 §9.2; Adjudication Delta §3 item 7 |
| OR-007 | ContextProduct, KDA render card, legacy memory card | DOC24, KDA, Memory Control Plane | delivery | true_duplicate | merge_into_target | ADQ-203 | ABC R0.2 §1.3; Concept Model §14 |
| OR-008 | TopicCollectionDirective, TopicLens | DOC20, DOC23, EC, Memory Control Plane | extraction | partial_overlap | split_into_multiple_targets | ADQ-204, ADQ-205 | Adjudication Delta §1.7; Concept Model §10 |
| OR-009 | AssertionCandidate, IssueFrame, IssueFrameUpdate, WorkingStateEvent | EC, DAMS V5, DOC72 | truth_identity | false_overlap | split_into_multiple_targets | ADQ-206 | Concept Model §9; Adjudication Delta §1.10 |
| OR-010 | ExtractionContextPlan, MemoryContextPlan, UserContextSurfacePlan | Memory Control Plane, DOC24, DOC20 | delivery | requires_third_mechanism | split_into_multiple_targets | (direct accept of Adjudication Delta §1.14) | Adjudication Delta §1.14; Concept Model §13 |
| OR-011 | DAMS attenuator, eligibility_ceiling, PolicyCappedDAMSInput | DAMS V5, EC, PropA | policy | partial_overlap | absorb_as_target_rule | (direct accept of Round D §8.2) | Round D R0.2 §8.2–8.3 |
| OR-012 | Premise, PremiseFamily, PremiseVariant | DAMS V5, DOC72, DOC73 | truth_identity | true_duplicate | split_into_multiple_targets | ADQ-201 | ABC R0.2 §3.1; Adjudication Delta §1.5 |
| OR-013 | SourceArtifact, SourceEnvelope, SourceSegment | DOC25, Memory Control Plane | source | partial_overlap | split_into_multiple_targets | (direct accept of ABC §7.2) | ABC R0.2 §7.2 (stage B); Adjudication Delta §1.4 |
| OR-014 | Topic facts, Library facts, Project facts, MemoryMembershipEdge | DOC20, DOC23, DOC72 | truth_identity | true_duplicate | retire_as_superseded | (direct accept of ABC §1.2 route-independence rule) | ABC R0.2 §1.3, §2.2; Adjudication Delta §2.4 |
| OR-015 | ask_user, PolicyDisambiguationRequest | EC, PropA | policy | target_improves_old | retire_as_superseded | (direct accept) | Round D R0.2 §1.8 |
| OR-016 | SearchAffordance, SearchAffordancePreflight | DOC20, DOC24, EC | ui | requires_third_mechanism | split_into_multiple_targets | (direct accept) | Round D R0.2 §7.1–7.3 |

## Lost or changed capabilities (per row)

- **OR-001** (Assertion, Claim, PremiseFamily) — PremiseFamily / generic Claim retired as canonical names; semantics absorbed into Assertion + AssertionCandidate; namespaced Claim survives for domain use. Preservation proof: TBD (Stage 8 patch).
- **OR-002** (Assertion, ConsolidatedUnderstanding) — CU stays source-bound synthesis; Assertion is reusable proposition; clear functional separation (architect-confirmed). Preservation proof: TBD.
- **OR-003** (ScopeBoundary, ScopeMembrane, PolicyMembraneDecision) — Topology (scope) cleanly separated from permission (policy); old monolithic ScopeMembrane retired. Preservation proof: TBD.
- **OR-004** (EffectiveMemoryPolicy, MemoryPolicyDecision, PolicyMembraneDecision) — Scalar policy ranking compressed to dimensional meet across content_fidelity / locality / learning_scope / mutation_authority / disclosure_class; no action constrains another. Preservation proof: TBD — plan §9.5 rule-by-rule proof required.
- **OR-005** (Corpus, CorpusIndex, Library, SourceCollection) — Library = user-visible; Corpus / SourceCollection / CorpusIndex = internal deep-ingestion state. Preservation proof: TBD.
- **OR-006** (ContextPacketProof, MemoryFlowCertificate, RenderSafetyProof) — ContextPacketProof (packet-level), RenderSafetyProof (render-level), MemoryFlowCertificate (flow attribution) — three distinct proof layers, all required for final-prompt-proof gating. Preservation proof: TBD.
- **OR-007** (ContextProduct, KDA render card, legacy memory card) — Ad-hoc card types retired; ContextProduct fixed registry (14 product kinds) replaces all. Preservation proof: TBD.
- **OR-008** (TopicCollectionDirective, TopicLens) — TopicLens (semantic lens / search / injection) and TopicCollectionDirective (governed extraction rule) are separate; saved-view passivity preserved. Preservation proof: TBD.
- **OR-009** (AssertionCandidate, IssueFrame, IssueFrameUpdate, WorkingStateEvent) — IssueFrame (workbench) + IssueFrameUpdate (append-only events) are NOT assertion stores; truth-apt content within an IssueFrame goes through AssertionCandidate pipeline. Preservation proof: TBD.
- **OR-010** (ExtractionContextPlan, MemoryContextPlan, UserContextSurfacePlan) — Three plans cleanly separated; MemoryCoordinationTrace connects them. Preservation proof: TBD.
- **OR-011** (DAMS attenuator, eligibility_ceiling, PolicyCappedDAMSInput) — DAMS may rank only within eligibility ceiling; cannot bypass policy. Preservation proof: TBD.
- **OR-012** (Premise, PremiseFamily, PremiseVariant) — Premise becomes use role only (not a memory object); PremiseFamily → Assertion; PremiseVariant → AssertionVariant. Preservation proof: TBD.
- **OR-013** (SourceArtifact, SourceEnvelope, SourceSegment) — SourceArtifact + ArtifactSegment (DOC25 owns) + SourceEnvelope (Memory Control Plane carries) + SourceSegment (provenance unit). Preservation proof: TBD.
- **OR-014** (Topic facts, Library facts, Project facts, MemoryMembershipEdge) — All path-dependent truth stores retired; memberships are projections, not truth. Preservation proof: TBD.
- **OR-015** (ask_user, PolicyDisambiguationRequest) — ask_user leaks protected info; replaced with safe question + fallback. Preservation proof: TBD.
- **OR-016** (SearchAffordance, SearchAffordancePreflight) — SearchAffordance gains preflight + execution_mode (ui_hint_only / manual_user_action / agent_auto_pull_allowed / blocked_by_policy_or_scope). Preservation proof: TBD.