# Decision Record Index

| Record Date (YYYY-MM-DD) | Record (link) | Supersedes (link) | Superseded By (link) | Comment |
| ------------------------ | ------------- | ----------------- | -------------------- | ------- |
| 2025-03-06 | [DR-001 Agents as Design Participant](DR-001%20Agents%20as%20Design%20Participant.md) | | | Development Agent role for docs/dev |
| 2025-03-09 | [DR-002 Structural Elements and Middleware Integration](DR-002%20Structural%20Elements%20and%20Middleware%20Integration.md) | | | GraphBacked/StructuralElement, JSON Schema, middleware |
| 2025-03-09 | [DR-003 Research Agent and Development Agent Terminology](DR-003%20Research%20Agent%20and%20Development%20Agent%20Terminology.md) | | | Research Agent vs Development Agent terminology |
| 2026-03-11 | [DR-004 RETE Store Persistence and Engine Update Contract](DR-004%20RETE%20Store%20Persistence%20and%20Engine%20Update%20Contract.md) | | | Persisted facts, warm-start, idempotence, fixed-point update contract |
| 2026-03-11 | [DR-005 RETE Consequent Partitioning and Retraction Compatibility](DR-005%20RETE%20Consequent%20Partitioning%20and%20Retraction%20Compatibility.md) | | | Declarative triple heads, read-only predicates, non-mutating callbacks, staged retraction |
| 2026-03-11 | [DR-006 Derivation Logging and DirectProof Reconstruction](DR-006%20Derivation%20Logging%20and%20DirectProof%20Reconstruction.md) | | [DR-007 Proof Model and Derivation Semantics Refinement](DR-007%20Proof%20Model%20and%20Derivation%20Semantics%20Refinement.md) | Engine-native derivation logs, DirectProof reconstruction, proof payload layering |
| 2026-03-12 | [DR-007 Proof Model and Derivation Semantics Refinement](DR-007%20Proof%20Model%20and%20Derivation%20Semantics%20Refinement.md) | [DR-006 Derivation Logging and DirectProof Reconstruction](DR-006%20Derivation%20Logging%20and%20DirectProof%20Reconstruction.md) | | Grouped conclusions, RuleRef vs RuleSemanticsRef, agent-authored semantics, immutability |
| 2026-03-12 | [DR-008 Proof Rendering Separation and Namespace-Aware Presentation](DR-008%20Proof%20Rendering%20Separation%20and%20Namespace-Aware%20Presentation.md) | | | Canonical proof data versus presentation, namespace-aware rendering, notebook-friendly rendering target |
| 2026-03-12 | [DR-009 Transitive Relation Index Intent](DR-009%20Transitive%20Relation%20Index%20Intent.md) | | | Intent to add a specialized relation index for `rdfs:subClassOf`/`rdfs:subPropertyOf`, with later evaluation against general transitive properties |
| 2026-03-13 | [DR-010 RDF Triple Well-Formedness Enforcement](DR-010%20RDF%20Triple%20Well-Formedness%20Enforcement.md) | | | Enforce RDF 1.1 triple constraints in the engine with configurable error or warning policies |
| 2026-03-15 | [DR-011 Schema-Facing RDF Boundary Models](DR-011%20Schema-Facing%20RDF%20Boundary%20Models.md) | | | Lexical RDF wire forms, reusable schema aliases, concise normative descriptions, Python-only helper objects |
| 2026-03-16 | [DR-012 Middleware-Owned Dataset Sessions and Coordination](DR-012%20Middleware-Owned%20Dataset%20Sessions%20and%20Coordination.md) | | | Middleware-owned dataset sessions, per-dataset read/write coordination, and explicit non-goals for transactions |
| 2026-03-17 | [DR-013 Dataset Middleware Internal Method and Tool Adapter Pattern](DR-013%20Dataset%20Middleware%20Internal%20Method%20and%20Tool%20Adapter%20Pattern.md) | | | Internal RDFLib-native middleware methods as the source of truth, with Research Agent-facing tools implemented as thin adapters |
