100%

Typed coordinate schema + plan-declared taxonomies + derived back-catalog sidecar

Goal

Add the typed coordinate field set INCLUDING the domain partition key to BOTH ledger bindings as OPTIONAL fields a NEW cycle is born with; declare the plan-owned taxonomies (domain_taxonomy with MECE partition criteria, shape_taxonomy with each shape’s territory attribute, mechanism_class_taxonomy, mechanism_variant sub-taxonomy) HERE — before any consumer; and define the DERIVED back-catalog coordinate sidecar so the 285 stored entries are NEVER mutated (append-only §5 absolute).

Implementation Sketch

Coordinate fields (domain, shape_id, mechanism_class, mechanism_variant, failure_mode, coordinate_confidence, inference_scope, cell_closure_list) are OPTIONAL on the v7 $defs/LedgerEntry + v2 LedgerSchema — a NEW cycle is BORN with them (present at append = no mutation). The 285 EXISTING entries are NEVER edited; their coordinates live in a DERIVED coordinate_map sidecar keyed by attempt_n (the §13.3 anchor-post-fill precedent). The read API merges: inline coord if the entry carries one (new cycles), else the sidecar (back-catalog). attempt_n stays the stored key (cycle_n is a read-alias). Internal cell key (domain, shape_id, mechanism_class, mechanism_variant); territory is a declared ATTRIBUTE of each shape in shape_taxonomy (resolves the D3 propagation scope), NOT a separate coordinate. Taxonomies are plan-declared HERE: domain_taxonomy carries MECE criteria (every entry maps to EXACTLY one domain — mutually exclusive, collectively exhaustive); a coordinate’s domain/shape_id/mechanism_class/mechanism_variant MUST resolve in the declared taxonomies. Validators: inference_scope + cell_closure_list required together for any hard-close.

Spec References

Design v7 D1 (4-tuple key), D4 (confidence), D7 (domain partition), D-CORE (attempt_n stored, entries never mutated). Round-1 review (opencode-F1 territory, F2 taxonomy-ordering+MECE, codex-F1/opencode-F5 append-only sidecar). learning-ledger.md §5 append-only, §13.3 post-fill, §3 teeth, §7 two bindings.

Work Items

  • Coordinate fields OPTIONAL on both bindings (new cycle born with them); declare domain_taxonomy (with MECE partition criteria) + shape_taxonomy (each shape carries a territory attribute) + mechanism_class_taxonomy + mechanism_variant sub-taxonomy HERE, before any consumer.
  • Define the DERIVED coordinate_map sidecar keyed by attempt_n for the back-catalog; the 285 stored entries are NEVER mutated; read API merges inline-coord-else-sidecar.
  • Validators: coordinate fields resolve in the declared taxonomies; inference_scope+cell_closure_list required together for hard-close; append-only regression asserts all 285 entries byte-unchanged.

Fresh intel (regenerated)

{ “schema_version”: 1, “target”: { “kind”: “plan-section”, “ref”: “ledger-matrix/s-89141523” }, “generated_at”: “2026-06-29T16:16:05.720246+00:00”, “graph_state”: { “head_sha”: “6b4f84d0”, “last_code_import_at”: “2026-06-29T16:12:14.58Z”, “embedding_stale”: true, “insights_stale”: false, “cpg_stale”: false }, “surfaces”: {}, “summary”: “intel-package[plan-section:ledger-matrix/s-89141523] agent-authored dossier”, “degraded”: false, “dossier”: { “objective_symbols”: [], “tiers”: {}, “agent_authored”: true, “constrained_symbols”: [ “validate_ledger_append_only”, “assemble_corpus”, “read_ranked” ], “difficulty”: { “class”: “routine”, “research_online”: false, “research_mode”: “auto”, “signals”: [], “plan_dir”: “/home/eric/projects/ori_lang/plans/ledger-matrix” } } }

(full dossier: schema-coordinates—s-89141523.intel.json)