100%

Binding-agnostic read_matrix() -> per-domain matrices + floor join + per-domain frontier

Goal

Expose the canonical ledger.read_matrix(plan_dir) read API that resolves the backend, joins the live floor as rows, and returns ONE ISOLATED MATRIX PER DOMAIN, each with its own frontier ranked by the typed lexicographic tuple consuming decay-adjusted effective_salience.

Implementation Sketch

read_matrix(plan_dir) returns {domain: DomainMatrix} — each isolated. The live floor (plan-declared gate_metric.probe_ref, NO hardcoded cross-space path) is left-joined as rows under its domain; cured cells fall off automatically. Each domain’s frontier = OPEN ∪ PARTIAL, ranked by (live_floor_member, dependency_ready, elite_support, novelty_deficit, effective_salience, deterministic_tiebreak) computed WITHIN the domain. effective_salience via read_ranked (§13.2/§13.3); untried-cell default = base 5 × UNBOUND 0.7 (§13.1); per-cell aggregation = max over ACTIVE (OPEN/PARTIAL) variant sub-cells only.

Spec References

Design v6 D5 (per-domain rank tuple, untried default, active-only max), D6 (plan-declared probe_ref), D7 (per-domain isolation). learning-ledger.md §13.1/§13.2/§13.3.

Work Items

  • read_matrix(plan_dir) returns one isolated matrix per domain; floor rows joined under their domain via plan-declared gate_metric.probe_ref; cured cells absent.
  • Per-domain frontier rank tuple with decay-adjusted effective_salience; untried-cell §13.1 default; active-only per-cell max; ranking never mixes domains.
  • Floor-join test on a multi-domain fixture: every floor cell renders a row under its domain; a cured cell is dropped; domain A’s frontier excludes domain B’s cells.

Items

  • Frontier-rank pin: on a multi-domain fixture, assert each domain’s frontier top is the correct OPEN/PARTIAL coordinate per the lexicographic tuple (live_floor_member, dependency_ready, elite_support, novelty_deficit, effective_salience, deterministic_tiebreak), that an untried cell ranks at its §13.1 base-5 × UNBOUND-0.7 default, and that no DEAD cell ever enters any domain’s frontier (frontier = OPEN ∪ PARTIAL). Fail-if-reverted pin for the north-star gate’s ‘non-empty frontier whose top is a real OPEN/PARTIAL coordinate’ clause — the rank ordering w-a32fded0 produces is otherwise unpinned.

Fresh intel (regenerated)

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

(full dossier: read-api-frontier—s-154da6a4.intel.json)