You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
golden-vs-tempered-stride-v1 — head-vs-gut queue — RUN 2026-08-12
Plan: .claude/plans/golden-vs-tempered-stride-v1.md. Standalone, zero fetch,
< 5 s wall time (turned out lighter than the ~5 min pre-registered estimate —
pure stdlib arithmetic, no numpy/scipy needed after all). All four bars ran
against probes/weather-p1/golden_vs_tempered_probe.py; results in the
matching .json. Two real methodology defects caught by the run itself
(T1's m* definition, T3's float round-trip false negative) — both fixed in
the committed script, both explained inline in the plan; neither weakens the
qualitative synthesis, both tightened specific numbers.
D-id
Deliverable
Status
Result
D-GVT-T1
Crossover sweep across 10 q, useful-range metric
RUN (twice-corrected)
VERIFIED-permanent m* at 1.9–2.7× q (codex P1 on #935: the earlier 1.0–1.4× figure was a FIRST crossing, not permanent — golden's non-monotonic sequence dips back above the ceiling; now suffix-verified at 76–83 reported checkpoints per row). Also codex P2: useful-range floor q//2→⌈q/2⌉.
D-GVT-T2
Asymptotic golden-advantage pass/fail bar
RUN — PASS
golden ahead 68.2–106.4× at m=200q, all 10 q
D-GVT-T3
Closure-occupancy guarantee (tempered) vs variable (golden)
RUN — PASS
tempered 140/140 exact (integer-verified); golden 124–127/140 across 5 phases
D-GVT-T4
Naive-rounding collapse hazard rate
RUN — PASS
114/292 = 39.0 % of q∈[8,300) collapse under naive rounding
B2 FAIL / B3 VOID CONFIRMED / B4 INCOMPLETE — B2: real diffusion resolved, aniso 1.5251 vs 1.25 bar, clean baseline 1.0046, operator contributes ~0.52. B3: family A 99.68 % + family B 99.56 % (both link families, QUALIFYING population n=4.78M out of the headline lattice N=7.65M, not the 62k sub-sample) land on a pure Fibonacci offset — dominated by the two discovered strides 2584=F(18)/4181=F(19) respectively. B4: downgraded to a DESCRIPTIVE reading over n=8–17 only — n=19 was dropped without pre-authorization, bar not satisfied, stays open
domino.rs gather-design claim REFUTED at this test point (v1's "unblocked" was the same inert-operator artifact that also drove B2's false PASS); E-ON-A-GOLDEN-LATTICE-LOCALITY-IS-FIBONACCI-MEMBERSHIP-1 strengthened, third dated update; B4's n=19 remains an open follow-up
D-W2sA
Golden-vs-grid pairing on real cos-lat metric (zero-ties G1, CV G2)
1
RUN — G1 VOID, G2/G4 FAIL (control degenerate: two identical translated grids are symmetry-uniform, CV ~1e-12 — cannot lose any evenness comparison; diagnosed via smoke test, run as-specified, E-A-CONTROL-THAT-CANNOT-LOSE-IS-NO-CONTROL-1)
honest falsifier for evenness DEFERRED (offset/rotation-varied or spacing-mismatched control); §10.5 properties 1–3 untouched
D-W6
Two-component deconvolution (geo + bow, global lstsq, 38 eqs / 2 params; B3 = stranded stratification via v_rel)
1
RUN COMPLETE — B0 VOID (single-geo R²=−0.104, worse than the mean; both anti-vacuity controls score ≥ the ceiling — the model has nothing to identify); B1/B2 correctly report VOID per rule; B3 stranded stratum EMPTY (n=0 — a structural consequence of CT-F14's displacement≥250km filter implying |v_storm|≥11.57 m/s, not a physics finding)
vector-sum model DISCONFIRMED as specified on this sample; CT-F17 gate now moot for this model form — a revised model needs its own W6-shaped test first; E-THE-DISPLACEMENT-FILTER-ATE-THE-STRANDED-STRATUM-1
2026-08-11 — EV queue re-graded to v2 specs (post-audit; rows below unchanged in STATUS)
All eleven EV rows in the block below still read Queued — correctly, none has
run. But their specifications are now v2: the 13-agent pre-registration audit
(plan §8) found 0 of 11 v1 specs sound and every one was rewritten. Cite the
plan's §3 v2 text, never the v1 shape summarized in the row descriptions.
EV-9 is Wave 0 and unblocked (no data needed).
weather-substrate-evaluation-v1 — EV queue (PRE-REGISTERED 2026-08-11)
Plan: .claude/plans/weather-substrate-evaluation-v1.md (known-vs-test ledger;
verify/attack-audited before ACTIVE). Waves: 0 = no data · 1 = one fixture
re-fetch · 2 = scale.
2026-08-04 — Arm BLW retractions (prepended; the D-BLW rows below are restored to their original text, Status field only updated)
Four errors on one axis, operator-ruled. Recorded here rather than by rewriting
the rows in place (append-only governance; the earlier in-place rewrite was
caught on review and reverted).
D-BLW-1 — shape void. An owner is a TENANT, not a shard
(CLAUDE.md: "one mailbox = one kanban board as tenant"; one MailboxSoA is
moved into one KanbanActor as sole mutator). Tiling the Bible across 64
owners fabricated 63 tenants. The shipped test was deleted — it was green
on that fabricated shape. Correct shape: ONE tenant, verses as ROWS, thoughts
row-level over the owner's slice. E-AN-OWNER-IS-A-TENANT-NOT-A-SHARD-1.
D-BLW-4 — axis void. Owner-count is not a scale knob, and the follow-up
"measure it with 4,096 lightweight owners" kept the wrong unit and merely
made it cheap. Harness deleted. Correct axis: N row-level thought bodies
within one owner, A2/W2 protocol carried verbatim. Plan §12.3a′.
The memory case was measured off the wrong struct. Canon is
NODE_ROW_STRIDE = 512 (const-asserted), so the whole 64k bake is 32 MiB,
not 384 MiB — the 6,144 B/row figure is MailboxSoA's hot planes, 12× the
canonical row. No tiling, no #[ignore], no CI split was ever needed.
Open question logged as ISS-MAILBOXSOA-ROW-COST-VS-512B-CANON.
D-BLW-2 / D-BLW-3 designs stand (§12.3a, §12.3b) and are unaffected by the
above; their builds are not done.
The write path DRIVEN: arm by MetaWord write -> discover by board scan -> cast write-on-behalf -> seal -> apply. 64 real MailboxSoA owners, real KJV corpus, 6 cycles, 7 cohorts, 11 gates both halves
lance-graph
GREEN 2026-08-05 — 2/2 tests; c1 = 24 casts (20 Flow + 4 Block), c5/c6 rest with zero casts and no seal; G9/G10 pin the two OPEN #879 caveats
tests/probe_ignition.rs; AGENT_LOG 2026-08-05
MEASURE-64K-AXES
Operator-specified five-axis benchmark: B0 dummy baseline, B1a/B1b ownership+representation split, W0/W1 WAL segment curve (one fdatasync/one version per cycle), T0-T2 temporal phases over 1,048,576 rows, L1a/L1b chunked-layout control, EXP-KIA-A2-64K exploratory concurrency (non-claiming, A2 untouched). One release binary measure_wal_curve; four answers, axes never blended
lance-graph
Stage A0 MEASURED (3 of 4 answers; WAL knee NOT REPRODUCIBLE and unclaimed). v3's M-arm and O-arm both MEASURED 2026-08-05, both NEGATIVE (pre-registered two-sided, so both are findings): M-arm — digests MATCHED (68128e3662df105c), reorder 9.4 ms, downstream −25.8 ms ⇒ Δtotal +35.2 ms, Morton LOSES; ordered-chunk fast path 350.9 ms was slower than the generic 339.7 ms. O-arm — DIVERGED (64565f362db2e4a5 ≠ 3e71c2aa7be8e325) ⇒ the seal's ordering is load-bearing FOR THIS O-B CONSTRUCTION; follow-on question queued as PROBE-SEAL-VS-TEMPORAL. Open measurement defect: ISS-MARM-T1-4X-A0-GAP (M-arm T1 320-340 ms vs A0's 78-86 ms — blocks that one cross-run comparison only). A-arm (allocator-vs-architecture decomposition) deferred. v2 rolling-epoch-closure model supersedes v1's execution model (v1 = Stage A0 baseline + instrumentation, lane in build); then A1/A2 rolling+Morton lane; crypto REMOVED from the seal benchmark per operator sanity-check (seal path verified crypto-free in source; encryption = separate later layer, AEADs dep no longer blocking); EXP-KIA-A2-ROLLING-CLOSURE recorded (A2 frozen)
plans measure-64k-axes-v1 + v2
D-IGN-B
Ignition starts the REAL lenses: arming z ∈ {0 unarmed, 1-4 = the four stances, 5 = Fusion (Strict/Aware gap read)} — six ordinals in MetaWord's 6-bit field, no 36-style bridge (Q1 sidestepped); thought bodies = the shipped nars stance machinery via cycle_driver's pluggable seam (D-BLW-1 precedent) + blw_fusion's two-projection read. Can-fire: different lenses over byte-identical rows ⇒ non-identical readouts; silent twin: same lens ⇒ bit-identical; unarmed ⇒ none
lance-graph
GREEN 2026-08-05 — 1/1 test, L0-L7 + z5-BLOCKED; L1 Kant≠Wittgenstein over byte-identical rows, same-lens bit-identical; Hegel/Nietzsche NON-empty on the text path; z=5 reserved with the printed blocker
plan cycle-driver 12.11; tests/d_ign_b_lenses.rs
D-BLW-5
Observer-effect loop: a jc statistic about the cohort fed back into awareness; four pre-registered arms (true/false±/placebo) + the §12.8 bloom criterion as the frozen null instrument. KILL: placebo movement invalidates; T-silence is a reportable null. Payload refined §12.9a: distribution shape × Prozentrang (never the raw scalar); single-measurement law + remeasure guard; doctrine doc observer-effect-tfpn-doctrine.md
lance-graph
PAUSED by operator 2026-08-05 — the Opus design lane was stopped mid-run (controlling signal; not relaunched). Banked and committed: the Sonnet API inventory (exec-runs/d-blw-5-api-inventory-sonnet.md — BeliefArena admits hand-built statements; jc+run_cycle live in disjoint crates, supervisor+jc dev-dep pre-ruled acceptable; ndarray unreachable supervisor-side). Gate to resume: operator direction
plan cycle-driver 12.9
PROBE-ARC-TORQUE
Torque of an arc = 2× Heron triangle area from 3 HHTL O(1) distances (magnitude metric-only; chirality via helix_orient Fisher-2z frame codes); Fisher 2z = logit((1+r)/2) as the additive equal-information embedding, hydratable via tanh. Stage B: translator stray/mindset vs source (floor = intra-language variance; Romans 5:12 in-quo/eph-hō as known-answer falsifier). Stage C: author-bias fields on the redactional layer + attribution of non-canonical books (G1-G5 in-canon ground-truth gates first). KILL per stage: F1 radial/tangential non-separation; clamp-rate ceiling; G1-G5 failures
Delete the ack/pump/tick theater entirely + add the visibility surface (operator-directed, context-hot). kanban_actor.rs → message-free module: PhaseCensus (&self fleet census; absorbing DAG-derived; empty ≠ at-rest) + pure mul_target/parse_kanban_step; KanbanMsg/KanbanActor/5 RPC drivers/run_to_absorbing/KanbanRouteError DELETED. Lane E migrated to direct &mut owner (supervisor+ractor out of its feature); W2b probe rewritten direct + census-over-real-SoA. Zombie verdict: half yes (lib.rs re-exports + lane E kept it alive; ack_and_propose already absent — the ack half lived only in docs). OGAR boundary verified: zero consumers; its ActionHandler ack surface is legitimate membrane protocol. Kanbanstep (VersionScheduler::on_version) NOT theater — stays canonical; naming question flagged only
The hot version window (operator-directed): publication clock decoupled from persistence clock — every sealed cycle publishes to RAM immediately (published_head), durability is a batched background sync barrier (durable_head, barrier-flush fork: K unsynced Lance commits + ONE fdatasync, so 1 cycle = 1 real DatasetVersion survives everywhere). Vertical batching (time, not owners); Nagle-shaped flush policy (bytes/16-dirty/200ms/pressure/shutdown/durable-only-reader). Five panel-bought invariants H-1..H-5 (checkpoint fencing, torn-tail cleanup, no-veto-after-publish, zero-copy conditions, rung-decided visibility — H-5's original "ack rebase" clause RETRACTED per E-PROGRESSION-IS-EXISTENCE-NOT-COMMAND-1: no pump/ack/scheduler; seal → publish → immediately queryable → durability trails; the window is a resident horizon of immutable versions, not a message queue). Version-multiplexing fork REJECTED (temporal.rs has no cycle-within-version coordinate ⇒ intra-version hindsight). P1-P5 pre-registered with named KILLs
lance-graph
Design banked 2026-08-05, panel-hardened (1 sweep + 1 adversarial refuter; fork inverted by evidence), NOT built — build lane gated on operator word; P1/P2 comparisons additionally gated on ISS-MARM-T1-4X-A0-GAP + TD-LANCE9 remeasure
plan measure-64k-axes-v4; E-HOT-WINDOW-DECOUPLES-THE-CLOCKS-1; v2 cross-note; seal-vs-temporal caveats
PROBE-SEAL-VS-TEMPORAL (3 probes)
The question the O-arm divergence opened: what does the seal compute that temporal.rs does not encode? Answered from shipped source — cross-owner TOTAL order (temporal's cast_seq forbids cross-owner comparison ⇒ partial order) · arrival as an ordering input, durably recorded nowhere else · the per-row coalescing FOLD (temporal.rs has no row concept) · cohort + read horizon CycleFrame{cycle, base_version}. Three pre-registered probes: SEAL-TIE-DENSITY (do cross-owner stream_position ties occur? ties ⇒ order partly derives from non-durable arrival), FOLD-COLLISION-RATE (do two owners write one row? zero ⇒ the fold is structural-but-unexercised), ARRIVAL-ASCENDING-CONTROL (the can-stay-silent twin — digests must MATCH when arrival is owner-ascending; divergence there ⇒ the four-item account is incomplete)
lance-graph
Queued — doctrine + probe queue landed, none run. Standing position: temporal.rs = authoritative TEMPORAL model, seal = authoritative ORDERING model, the gap = an explicit research question
.claude/knowledge/seal-vs-temporal-ordering-information.md; E-SEAL-AND-TEMPORAL-ARE-DIFFERENT-OBJECTS-1; plan measure-64k-axes-v3
⊘ RESCOPED 2026-08-04 (E-ACTOR-IS-NOT-THE-PHASE-PATH-1): #879 is the complete phase-progression path; KanbanActor has no assigned architectural responsibility (legacy compatibility code). SHIPPED: held-owner reschedule/wake. OPEN: run_cycle drained-writer retry guard; missing-owner counter in cognitive_pass
lance-graph
Queued
plan W1
D-KIA-C1b
jc additive-only extension: kappa + McDonald's omega + r-family effect size (R/R-squared, eta-squared = explained variance) + t-test (t/df/p) + a named phi wrapper. Cohen's d explicitly OUT — calculated separately if ever wanted. HARD CONSTRAINT: additive only — pearson/spearman/cronbach_alpha/icc keep their arithmetic, signature and semantics; any diff changing an existing jc statistic is an automatic reject. ONE sanctioned edit: widening reliability.rs private helpers (mean/all_finite/average_ranks/pop_var) to pub(crate) for reuse, visibility only, no body change. C1 audit found phi = pearson-on-binaries (already present in substance) and KR-20 = alpha-on-dichotomous (naming only); kappa absent = the real gap. SHIPPED as crates/jc/src/stats.rs: cohen_kappa, omega_total, phi, multiple_r/multiple_r_squared, eta_squared, t_test_one_sample/paired/welch/student, anova_one_way; 31 new tests (107 lib + 11 doctests green), clippy-clean. Existing-file diff is visibility-only (mean/all_finite -> pub(crate); average_ranks/pop_var NOT widened, unused). Unblocks D3a (overlap MEASUREMENT) — NOT a fusion claim: kappa is chance-corrected agreement under the observed marginals and says nothing about incremental value, so fusion still needs D3b's external criterion per the plan's own C3. Corrective slice (external review): omega sign-erasure + R-squared scale-dependence fixed; BinaryAssociation/kr20 added
catalog binary-range criterion contract type + generalized catalog-mirror drift guard
lance-graph
Queued
plan W3
D-KIA-C5
cohort-statistic witness type under the ELEVATED carve-out + held-out anti-circularity gate
lance-graph
Queued
plan W4
D-KIA-D1
observer/observed as two Locus categories over one arena (cheapest-first)
lance-graph
Queued
plan W5
D-KIA-C2
Name the dichotomous statistics correctly (Pearson->phi, alpha->KR-20, kappa NOT a renamed ICC, Spearman dropped on binaries). AUDIT RESULT 2026-08-04: the jc reliability battery has exactly 4 consumers (style_table_agreement, rung_divergence_reliability, partof_isa_vs_palette256, l9_loci_real_text) and NONE is dichotomous — style columns, rung levels 1-10, palette/taxonomy distances, i4 loci offsets are all continuous/ordinal, so Pearson/alpha/ICC are correctly named at every existing call site and there is ZERO rename work today. The discipline binds PROSPECTIVELY at the first binary-criteria witness (D3). Surfaced instead: TD-STATS-DEGENERACY-CONTRACT-DIVERGENCE
lance-graph
Audited (no rename work; binds at D3)
plan W0/C2
D-BLW-1
One 64k KJV SoA + the four-stance lens body wired into cycle_driver's 5.4 pluggable thought seam; Outcome round-trips via emit_bootstrap_intent. Reuses P4a/P4b/P4c falsifiers at KJV scale
lance-graph
Retracted (shape void) — rebuild queued
plan cycle-driver 12
D-BLW-2
The four stances (Hegel/Nietzsche/Kant/Wittgenstein) as READS over the sealed version, not four bakes. Discrimination twin: pairwise binary_association must show lenses can differ AND can agree; report counts + both marginals, never bare kappa
lance-graph
MEASURED KILL 2026-08-04 (plan §12.7) — instrument writes 3 of 24 loci, 1 shared, so agreement_count is capped at 1 before any verse is read; rebuild queued
plan cycle-driver 12
D-BLW-3
Horizontverschmelzung as a measured trajectory across the sealed series, under a-priori (single-version filter) and hindsight (version-range cascade) reads. KILL: flat kappa regrades the claim to four independent stance reads — not Gadamer
lance-graph
SHIPPED + MEASURED 2026-08-04 (examples/blw_fusion.rs, re-scoped per design B1 to two rank projections over the tenant): band IN/IN (κ 0.49/0.46); Δκ at V_pin −0.031 = middle ground, no fusion verdict; the 8-horizon table shows the a-priori/hindsight gap CLOSING monotonically (Δκ −0.485→0, Hamming A 152→0) — DROP does not fire; first DeinterlaceRow implementor + deinterlace caller
plan cycle-driver 12 + §12.8 result
D-BLW-4
64k concurrent thought bodies at KJV scale. Inherits W2's pre-registered thresholds (median of 5+ runs, 2x at 4096+ owners, 100us bodies). KILL: regrades to 64k-scale SEQUENTIAL sparse cycles
lance-graph
Retracted (axis void) — rescope queued
plan cycle-driver 12
D-KIA-D3a
DESCRIPTIVE binary overlap: contingency counts + BOTH marginals + observed/expected agreement + kappa + phi, via jc::stats::binary_association. Claim ceiling is overlap / disagreement / marginal asymmetry / redundancy-or-complementarity CANDIDATE. No fusion or validity claim
lance-graph
Queued (unblocked)
plan W6
D-KIA-D3b
HELD-OUT fusion falsifier — BLOCKED until an external criterion and a criterion-appropriate scoring rule are chosen. Continuous criterion: pre-registered delta-R-squared = R2(A+B) - max(R2(A),R2(B)). Binary criterion: a proper held-out score, NOT R-squared forced onto it. Reliability is not validity (plan C3)
lance-graph
Blocked (needs external criterion)
plan W6
PROBE-BABEL-STANCES — two Rosetta stones + four-channel phase split (IN PR — slice 2, 2026-07-28)
D-id
Deliverable
Repo
Status
Evidence
PROBE-BABEL-STANCES
Slice 2 rebuild after codex P1 retraction of slice-1's headline (synset-vs-lemma coordinate confusion + en-kjv self-resultant pollution). Two Rosetta stones: the CORPUS stone (three-axis synset×POS×frequency-band convergence grid) + per-lane LANGUAGE stones (private BeliefArena, learns within-language Sim beliefs while traversing the corpus stone). Four-channel phase attribution (Morphologie/Syntax/Semantik/Pragmatik) replaces pooled divergence: German KNOW diverges on all three live channels, Latin KNOW silent on all three, Czech DIE morphology-only (CHECK row, report-only). Translationese finding: the pragmatic channel is coherent antiphase across every verified lane (en-kjv, de-luther1545, la-vulgate, el-lxx) — inherited calque, not independent convergence — with the Czech and Aramaic rows reading the same way but reported, not claimed (CHECK rows never gate CI). Tracking census inverts the slice-1 headline: only German lexically tracks the grid's two KNOW coordinates. Valency: English marks the distinction by subcategorization frame, not lexeme. Passion (quale × magnitude × phase) peaks at (German, KNOW) = 0.3130. Two self-caught defects fixed in-flight (MAD=0 degenerate-population branch; quale/confidence conflation on CHECK rows). Honest limitation: the prefix|stem morph carving is typologically blind to agglutinative suffixing (Finnish); spine slot 6 left RESERVED rather than reconstructed.
lance-graph
IN PR — crates/lance-graph-planner/examples/probe_babel_stances.rs green in CI (.github/workflows/rust-test.yml runs both probe examples explicitly, closing the slice-1 P2 finding)
E-TWO-ROSETTA-STONES-AND-THE-FOUR-CHANNEL-SPLIT-1; slice-1 entry E-THE-GRID-COLLAPSES-WHAT-A-LANGUAGE-SPLITS-1 Status amended to RETRACTED; crates/lance-graph-planner/examples/probe_babel_stances.rs; task #52
PROBE-EYES-OPENED — the Adam awareness event printed from the KJV bake (SHIPPED 2026-07-28)
D-id
Deliverable
Repo
Status
Evidence
B6-ASPECT-PANEL
Four philosopher stances (Hegel/Nietzsche/Kant/Wittgenstein) as pure reads over the unchanged arena — crystal/Doppelspalt operational; Kant ablation flips the corpus crown (a priori constitutive); Wittgenstein crowns naked (3 games); invariance core stance-independent
lance-graph
SHIPPED — fixture asserted, corpus report
E-FOUR-LIGHTS-ONE-CRYSTAL-1; task #50
D-id
Deliverable
Repo
Status
Evidence
PROBE-EYES-OPENED
Gen 3:7 awareness as printed epistemic structure: B1 reversal blades (blind contradiction ranking → {eat, die} @0.850 + 2 discovered: god→good, they→respect), B2 reflexive rung lift (10 lifts on real Gen 1-4, exactly ONE self-referential = 3:7 knew→naked), B3 causal chain (Impl(naked→afraid) from the text's "because"), B4 Hermeneutik (pass-2 stamp-overlap → CHOICE only → fixed point: NARS supplies the hermeneutic circle's termination proof). Contract: clause_cues::{is_negation, is_perception_verb}.
lance-graph
SHIPPED + MEASURED — fixture asserts green in CI; real-corpus blind run recorded
v1 RUN (build_rosetta_probe.py; 4 PD lanes kjv/luther1545/elberfelder1905/bkr; census 31,103 union / 31,097 common; swallow+grape receipts incl. LIVE Ps-84 versification-offset + two-lane rescue; en→de split census 48.9% of 3,071 mid-freq words; tongue→Zunge/Sprache real sense split)
E-RCC-1-FOUR-LANES-ONE-KEY-1; report in local out/
D-RCC-2
Rosetta SoA shape (contract)
lance-graph
Queued
plan §2
D-RCC-3
corpus-derived word alignment
lance-graph
In flight (build_alignment.py; PMI v0 proven inside D-RCC-1; also the successor to the failed monolingual closed-class detector — labels TRANSFER through alignment)
plan §2
D-RCC-4
qualia-agreement vector (POS-routed)
lance-graph
Queued — un-gates W11
plan §2
D-RCC-5
CLAM/WordNet probe + CHAODA lane-anomaly read
lance-graph
Queued (taxonomic arm runnable now)
plan §2
D-RCC-6
cross-lane constraint propagation to fixpoint
lance-graph
Queued
plan §2
D-RCC-7
Czech lane
lance-graph
Data landed (bkr lane fetched + in census)
plan §2
D-RCC-9
Greek SOURCE lane (new)
lance-graph
Shipped — Tischendorf 8th ed., stated Public Domain; TR + WH are both CC BY-NC-SA (the age-implies-PD assumption is false). 27 books / 7,895 verses; 62 KJV verses TextAbsent. Unblocks source outranks translation.
Plan: .claude/plans/scientific-kg-substrate-v1.md. PROPOSED scoping; outward-facing crawl (D-SCI-3) BLOCKED on §4 decisions. D-SCI-1 buildable on a further "Go".
D-id
Title
Repo
Status
Evidence
D-SCI-INSIGHT
Main-insight surface — "the paper speaks and thinks for itself" (no-LLM, emergent, auditable)
lance-graph
SHIPPED — two surfaces. (1) basin_resonance::rank_basins (E-SCI-INSIGHT-BASIN-RESONANCE-CLICK-1, the operator reframe) — the honest single measure: resonance = staunen × wisdom per basin, coherence-vs-evidence kinds from one measure; 5 tests incl. E-BASIN-WIDTH null + E-DOOMSCROLL rate-not-count. (2) insights::extract_main_insights (E-SCI-INSIGHT-PAPER-SPEAKS-FOR-ITSELF-1, the typed catalog) — CoreTheme(S9) + Conclusion(ladder) + Bridge; #832's two Codex-P2s (empty-premise ladder, unbounded bridge strength) corrected in follow-up. Real-paper leg = D-SCI-1. Validation = the Kant/Schopenhauer/Hegel/Precht connective-tissue oracle.
plan; the insight-surfacing half
D-SCI-1
Term/entity extraction — the gate (inverse of the colorblind finding); feeds D-SCI-INSIGHT. Corpus (operator): public-domain Gutenberg text OR ephemeral single-arXiv-paper via tesseract/spider (never committed).
lance-graph
In progress — RELATION-EXTRACTION + ARCHETYPE-CONSUMER + FSM-FEEDER slices shipped. (1) examples/insight_relation_read.rs (E-SCI-1-RELATION-EXTRACTION-FINDS-THE-CENTRE-1, #841): sparse typed Inh skeleton instead of dense ±window, closing the #836/#837 articulation loop. (2) grammar/verb_lexicon.rs + examples/insight_archetype_read.rs (E-SCI-1-VERB-TABLE-ARCHETYPE-CONSUMER-AND-FSM-FEEDER-1): extraction now READS the 144-cell verb_table archetype (verb→family→TEKAMOLO slot; causal→Kausal, grounding→Lokal, discriminative falsifier asserts) — the operator's "consume verb_table, not hand-roll" requirement. (3) deepnsm-v2/fsm.rsPos::Rel: the movement feeder-tag (single-level relative clause preserves the matrix subject), feeding the ±8 antecedent pointer. (4) examples/insight_spo_tekamolo_read.rs (E-SCI-1-SPO-TEKAMOLO-QUALIA-EXTRACTION-1): the FULL-RECORD extractor — one clause → S·P·O (predicate typed via read_verb, consuming slice 2's archetype) + Temporal·Kausal·Modal·Lokal packed into a real TekamoloFacet (#839, byte-for-byte round-trip) + the canonical 17D qualia vector into value tenant #1 via from_f32_17d + the Familienaufstellung gestalt read over the constellation's mean felt vector; incl. the verb_lexicon-ied→-y core-gap fix (carried/carries). Honest next rung (still Queued): term/entity NP extraction + real verb-argument structure + corpus-tune the starter priors + cue lexicons. (5) examples/insight_coca_read.rs + examples/data/coca/ (E-SCI-1-COCA-GROUNDED-EXTRACTION-1): the corpus-grounded extractor — PoS/lemma/transitivity/NP-compound/Lokal all from REAL COCA data (master lexicon + ngrams.info samples), verb family still from the #842 archetype; incl. two Codex #843 P2 fixes (copula-as-content, -ly overmatch).
plan; 5 slices shipped
D-SCI-2
OCR ingest via the tesseract-rs doc.v1 seam
lance-graph + tesseract-rs
Queued
plan
D-SCI-3
The crawl (spider-rs) — OUTWARD-FACING
lance-graph
Blocked
plan §4 (scope + robots + fork coords)
D-SCI-4a
curiosity_mul + qualia texture gestalt — the MUL exploration-gateway wire
self-reasoning-substrate-v1 — the derivation DAG as the pointer fabric one level up
Plan: .claude/plans/self-reasoning-substrate-v1.md. D-SRS-1/2/4 SHIPPED (D-SRS-4 CONFIRMED — the graph faithfully recovers its own provenance + confidence trajectory); D-SRS-3 SHIPPED as a falsifier that FIRED (conjecture not confirmed — width self-report is a member-count artifact; deterministic sep −0.002 formal KILL after the HashMap-order fix). Plan COMPLETE.
D-id
Title
Repo
Status
Evidence
D-SRS-1
Derivation-pointer fabric over the 31,327-triple Bible KG
Plan: .claude/plans/causal-rung-standing-wave-v1.md. Consumes M20 A1 (shipped) + A2/A3/A5/A6 (queued, auditor+mint gated) + selection #776 + temporal.rs. Probe-first: the probe is the next deliverable, not code; everything CONJECTURE until D-CSW-* report.
D-id
Title
Repo
Status
Evidence
D-WITNESS-FABRIC-1
Tier-3 make witness tenants real (E-WITNESS-FABRIC-1): elect_peers (quorum/contradiction from window fabric, absolute-event agreement) + resolve_chain (hop budget + temporal.rs escalation) + is_opinion (persisted contradiction)
Recipe claim-audit (34 kernels measure on a scalar proxy, not the real organ) → wire the 3 real tenants (A9 CausalWitnessFacet 24 loci + SPO + qualia) into a rung-ordered, NaN-gated causal ladder keyed by NARS inference type
lance-graph
Shipped — PR #780 MERGED 8a00988 (operator-gated) — 3 contract modules + 3 probes, 970 tests green, clippy clean, all example gates green
Door C — recipe dispatch gated on the real 24-loci causal-witness organ (closes #780 Axis B on the dispatch path); rung ORDER organ-derived (loci_rung = deepest required dimension); Maslow climb CARRIES lower-rung awareness up (anti-rediscovery) + higher thinking PRUNES lower-related
lance-graph
In PR (branch, this session) — recipe_loci module (11 tests) + recipe_loci_walk probe (4 measured gates: selector 7/34, organ 34/34 grounded, carry monotone, prune fires + apex survives), clippy clean
The recipe grounding gate is the MULTIPASS MARKOV STANDING WAVE, not a coarse scalar prefilter (operator ruling): dispatch_guard composes single-pass BINDING ∧ witness_fabric::standing_wave_grounded; scalar nan_disqualifier DROPPED (tautological subset). The ±8 is only the REFERENCE HORIZON — a chain that leaves it is Escalate (search causality over time / the absolute AriGraph SPO+Leiden basin), NOT coincidental (Romeo & Juliet: a distant cause is still a cause)
In PR #777; O1 DECIDED (operator 2026-07-21: canonical masks)
plan §2
D-CSW-1
Standing-wave probe: per-rung persistence over an ordered stream separates causal from coincidental vs single-cycle + p64 3×u8 baseline; escalation cascade prunes at zero separation cost
lance-graph
v5 SPLIT VERDICT — CORE standing-wave claim GREEN (auc_wave .997 vs single .878, vs p64-wave .500 [M3], vs reverse .000 [M2 orientation control, +.997]; cascade .997); the SEPARATE §0.5 escalation-ECONOMICS gate 3a KILLS (pruned .333 < .40 registered — reported not retuned; the M1 witness correction dropped it from v4's .458) → DEFERRED. v1 fixture-ceiling + v2 mean−std KILLs recorded on the way; leg 2 (real temporal.rs/Lance versions, wild corpora) NOT RUN — genuine gap: no labeled real-causal-pair corpus + no real persisted Lance version data. (CORRECTION E-DCSW1-LEG2-BLOCK-CORRECTION-1: the earlier "needs protoc" reason was WRONG — lance-graph-planner has no protoc dep and builds here in 19.78s; protoc is absent but blocks only the full workspace, not the planner. temporal.rs IS compilable here; a narrower synthetic-version-stream probe is feasible, flagged for operator.)(v3 historical: .972/.875/.375/.458 — pre M1/M2/M3 fixes.)
probe deepnsm/examples/probe_dcsw1_standing_wave.rs (v5); E-DCSW1-V5-SPLIT-VERDICT / E-CAUSAL-TISSUE-ALREADY-SHIPS-1 / E-DCSW1-LEG1-GREEN; plan §6.2/§6.5
Contract-level mechanism PASS — synthetic AND-gate fixture (real PairPalette+witness-fabric primitives, deterministic): joint precision@25 = 1.000 vs basin-only 0.520 / rung-only 0.520 (margin +0.480 each, registered pass ≥0.15). Promotes the JOINT-SIGNAL MECHANISM from CONJECTURE to scoped FINDING — NOT the real-corpus D-CSW-2 claim itself, which stays open pending real basins from real data.
probe lance-graph-contract/examples/probe_dcsw2_basin_rung.rs; E-DCSW2-CONTRACT-MECHANISM-GREEN-1; plan §6.3
Plan: .claude/plans/soa-32-tenant-awareness-redundancy-v1.md. Advances ENTROPY-MILESTONES M20. Builds the full-width awareness SoA (13→32 tenants) BESIDE CausalEdge64/EW64 (kept for reference), then jc measures the true awareness width. Rides the D-TRI / BoardAggregates batched OGAR mint. NO bytes land before the envelope-auditor verdict.
D-id
Title
Repo
Status
Evidence
D-AW-1
Assembly plan + v3-envelope-auditor layout-delta gate (RESERVE-DON'T-RECLAIM, fit, version-stability, slot-purity)
jc collapse gate — EXTENDS D-TRI-2 to the awareness lanes: Cronbach α per construct + pairwise ICC/Spearman → measured awareness width (M20 mechanical gate)
lance-graph
Queued (needs lanes + real data)
plan §3
graphrag-doc-retrieval-soa-integration-v1 — retrieval over AriGraph (expand-in-place, no new crate)
Plan: .claude/plans/graphrag-doc-retrieval-soa-integration-v1.md (v1.2). Pure/reversible capabilities land ahead of G0; the D-GR-2 retrieval WIRING is gated on the G0 real-corpus verdict.
Plan: .claude/plans/triangle-tenants-gestalt-separation-v1.md. Design shipped; ALL layout work mint-gated (rides the same batched mint as W2a BoardAggregates + Tasks-SoA task classid + chess classids).
D-id
Title
Repo
Status
Evidence
D-TRI-1
Triangle tenant spec (Frozen/Learned/Explore, 12 slots x palette256) through envelope-auditor T1-T6, behind the batched mint
lance-graph
VALUE-TENANT HALF MERGED (#717, main 74d16f92) — 3 lanes ValueTenant::{FrozenStyle=10,LearnedStyle=11,ExploreStyle=12} U8×12 at row_offset 152/164/176; Full-only; zero ENVELOPE_LAYOUT_VERSION bump; NodeRow::{style_lane,set_style_lane,triangle_for}; auditor LAYOUT-CLEAN; Codex P2 fixed. classid half = SPEC READY, CORRECTED 2026-07-18 (dtri1-classid-mint-spec-v1.md; E-COGNITIVE-ATOMS-ALREADY-FROZEN): the only real concept mint is chess 0x06; the proposed "Cognition 0x03 domain" was a rediscovery error (cognitive task types are already frozen atoms in holograph::dntree — INFERS=74/DEDUCES=82/INDUCES=83/ABDUCES=84/COUNTERFACTUAL=0x84/syllogize()), byte 0x03 stays reserved. BoardAggregates@188 = value tenant (no classid). Persona = per-consumer opt-in mint (chess-yes / business-no), not this batch. Gated on the doc-W4 batched-mint council (never solo); community-id does NOT mint (S1 retracted by #722). One open knob: BoardAggregates width.
plan §1/§2/§2a/§5/§6, dtri1-classid-mint-spec-v1.md
D-TRI-2
12-family vs 12-step reading agreement: jc battery (ICC, Pearson/Spearman, Cronbach alpha) over real shader cycles; collapse only on measured identity
lance-graph
Queued
plan §4, §6
D-TRI-3
Nail->hammer dispatch probe: object resonance -> atom retrieval vs inverted baseline; no inverted read path exists structurally
lance-graph
Queued
plan §3, §6
D-TRI-4
Chess<->thinking transfer measurement (validity + reliability) — the quarantine-lift gate
lance-graph + stockfish-rs
Queued
plan §5, §6
D-TRI-5
Emulation != resonance: counterfactual-goalstate emulation vs resonance-only baseline on opponent move prediction (operator correction §2a; builds on D-SF-OPPONENT-1/3)
lance-graph + stockfish-rs
Queued
plan §2a, §6
D-TRI-6
Pyramid settlement: settle-rung distribution over real shader cycles (base-heavy expected); homeostatic descent verified; elevator threshold jc-calibrated
lance-graph
In PR (P3) — ascent loop WIRED (driver rung→predicate-plane widen; identity-at-base, superset-monotone); settlement probe green; real-cycle distribution + jc threshold calibration still open
deepnsm-v3-convergence-v1 — DeepNSM is the encoder that fills reserved tenants
Plan: .claude/plans/deepnsm-v3-convergence-v1.md (E-V3-DEEPNSM-IS-THE-ENCODER-NOT-A-MIGRATION-1). Static convergence PROVEN by #624 P0–P5; the memory layer is the genuinely-unbuilt seam. Extends v3-convergence-wiring-v1 (wire-don't-invent).
D-id
Title
Crate(s)
Status
Evidence
D-DNV-1
Gridlake carrier: GridBatch::as_gridlake_columns → ndarray::simd::MultiLaneColumn (i32 min/max, i64 sum, u64 count); the carrier the COCA Cell also rides
deepnsm SpoTriple → CausalEdge64 S/P/O+freq/conf → SpoHead; run nars_engine.all_projections() (2³) end-to-end from a real COCA FSM parse
deepnsm + planner + causal-edge (osint probe)
In PR
p6_real_coca_2cube.rs: 2 tests green — real-parse S/P/O round-trips the edge carrier (extends P2), and the 2³ ladder holds on a real-derived head (extends P3b); palette is the documented codebook stand-in
D-DNV-3
arm-discovery as the 2nd proposer leg into one SpoStore (shares palette256 oracle)
arm-discovery + deepnsm
Blocked (ARM-JIRAK-FLOOR)
D-ARM-7 Jirak noise floor is the hard prereq
D-DNV-4
Episodic-witness tenant + basin=family wake (witness_tombstone calcify chain)
contract + arigraph
Blocked (own wave + probe)
no episodic-witness ValueTenant; calcify chain is todo!(); basin=family doc-only
v3-substrate-integration-v1 — the .claude/v3/ consolidation (W0–W6)
D-TSC-1 dedup MEASURED: jc::reliability agreement probe over the 3 shipped 12-family param tables (UNIFIED_STYLES / thinking-engine StyleParams / planner FieldModulation) — the D-TRI-2 mint-free cousin
jc example + workspace
In PR
crates/jc/examples/style_table_agreement.rs; A≡B perfect (M9 confirmed); planner 7-explicit IDENTITY; only the 5 planner default_modulation fallbacks drift (Mode A ICC 0.71 AMBIGUOUS) → TD to fill them from canonical; retires numeric half of O5. E-D-TRI-2-MINT-BLOCKED-1
D-TTV-1
Thinking-related tenants → V3 value-tenant substrate (keep old CausalEdge64 as perturbation baseline)
driver/contract
Queued
E-THINKING-TENANTS-V3-1; envelope-auditor gated; batched mints only
D-MTS-6
Smaller-CausalEdge64 × comma awareness curve vs old-CE64 baseline (find the knee: how many stored bits the comma reconstruction replaces before awareness degrades)
shader/perturbation-sim
Measured GREEN 2026-07-10
perturbation-sim/examples/comma_awareness.rs, all pre-registered gates PASS: k*=1 (2 explicit truth bits/edge vs baseline 16) matches all three awareness proxies; aligned control needs k*=4; the comma lattice buys ≈3.4 effective bits ≈ log₂(12); replay bit-identical; run-#1 G1 mis-registration diagnosed (max flip margin 1.7e-5 = boundary noise) — see E-COMMA-AWARENESS-MEASURED-1. D-MTS-6b (driver-integrated fixture) gates any real CE64 shrink
D-TSC-2
Batched cognition-domain mint in OGAR (+ classify_form reconciliation if 0xFFFF)
OGAR
Queued (blocked by D-TSC-1)
never solo; COUNT_FUSE
D-TSC-3
Style masks + rung set + KausalSpec as class-record properties
contract + OGAR
Queued (blocked by D-TSC-1/2)
dispatch stays MetaWord bits
D-TSC-4
W6c coexistence re-ruling (catalogue shares custom half with PERMANENT 0x1000)
symbiont-golden-image-harness — the living all-in-one substrate binary + the first runtime edges
The golden image (crates/symbiont, workspace-excluded): the full Ada stack in ONE binary, then real cross-crate edges onto the canonical SoA. Plan: crates/symbiont/INTEGRATION_PLAN.md (PR #555, merged 37cc21b2).
2/2 tests green; SymbiontBoard impls MailboxSoaView+MailboxSoaOwner over the Vec<NodeRow>, a u32 tick stands in for the Lance subscription; drove Planning→CognitiveWork[BF16 Domino sweep]→Evaluation→Commit, Libet anchor on the Σ-crossing, halted absorbing in 3 cycles, NaN-clean. Reuses the COMPLETE contract kanban surface (KanbanColumn/KanbanMove/NextPhaseScheduler/MailboxSoa{View,Owner}) — zero new types. ractor = ownership guarantee (no messages, no tokio; E-CE64-MB-4 / #477 "nothing transmitted between mailboxes") — already embodied by SymbiontBoard's single &mut owner, NOT a deferred message actor. Trigger is SYNCHRONOUS — the writer fires it:VersionScheduler::on_version(&view, DatasetVersion(u64), exec) is a sync pure function; a batch writer knows the version it committed and fires the kanban update inline (on_version→try_advance_phase, no async). surreal_container/tests/scheduler_seam.rs drives the whole Rubicon arc with plain #[test] feeding DatasetVersion(i); cognitive-shader-driverMailboxSoA test 11 runs the same in-RAM loop (mailbox_soa.rs:700 "no surreal / ractor message bus needed"). This loop's u32 tick IS that pattern. Async is ONLY the Lance write I/O + the SUBSCRIPTION variant LanceVersionScheduler::drive_once (async because it READS a version it didn't write; shipped, 5 tokio tests). Only surreal_container::read_via_kv_lance is a stub.
memory.ultrasound_frame.lance + memory.ultrasound_splat.lance datasets via soa_mapping.rs; new SensitivityReason::UltrasoundRawPHI/UltrasoundAnonymized variants in column_mask_bridge
MedCare-rs crates/medcare-analytics
250
MED
P5 sprint 9-10
Queued
gates on D-SPLAT-3 + MedCare PR #162 (shipped)
D-SPLAT-11
commit_event audit chain for splat ingest via LanceMembrane::commit_event (callcenter PR #467, sole-writer membrane); KnowableFromStore::register("ogit-medcare/ultrasound_ingest", Some(ddl_hint))
AR splat renderer — HoloLens OpenXR (clinical AR target) + Cesium ion + Three.js (browser fallback) + headless PNG (regression); CPU does math, GPU only paints
crates/splat-render (new)
1200
HIGH
P6 sprint 11-13
Queued
gates on D-SPLAT-2 + D-SPLAT-3 + D-SPLAT-5
D-SPLAT-13
IMU/POSE 4D accumulator — VIO against splat features at IMU rate (~200 Hz); splat-corrected pose at frame rate (~30 Hz); Planning-column readiness at t = −550ms
splat-actors::PoseAccumulatorActor
200
MED
P3 sprint 4-5
Queued
gates on D-SPLAT-7
D-SPLAT-14
SaMD documentation track — research-tool → clinical-study → Class IIa (IEC 62366 / IEC 80001 / ISO 14971 / MDR Annex VIII Rule 11). ADR-022 firewall IS the audit-controls evidence base
q2/quarto or docs/
600
LOW
P7 sprint 14+ (parallel through P4-P6)
Queued
gates on none architecturally; v1/v2/v3 phased
Status Board — Cross-Deliverable View
Deliverable-level status across all active integration plans.
Status and PR / Evidence columns are the only mutable
fields — title, plan-version, and scope are immutable.
For plan-level status see INTEGRATION_PLANS.md.
For per-PR decision history see PR_ARC_INVENTORY.md.
For current contract inventory see LATEST_STATE.md.
Active integration plan. 7 Phase 0 deliverables (D0.1–D0.7) + Phases
1–5 queued. One upfront Wire-surface rebuild; every candidate
afterwards is a JIT kernel, not a rebuild. Plan path:
.claude/plans/codec-sweep-via-lab-infra-v1.md.
CI Gate — JC Substrate Proof
D-id
Title
Status
PR / Evidence
CI-JC
.github/workflows/jc-proof.yml — runs prove_it on every PR touching crates/jc/ or cam.rs
In PR
5-min timeout, exits 0 = substrate sound
Phase 0 — API hardening (partial in PR #225; remainder queued)
Adapter: CodecKernelEngine wrapping ndarray::hpc::jitson_cranelift::JitEngine with two-phase BUILD/RUN lifecycle (Arc-freeze). CodecParams → CodecScanParams adapter + codec-specific IR emission in jitson_cranelift/scan_jit analog
Queued
target ~250 LOC; JitEngine already ships (/home/user/ndarray/src/hpc/jitson_cranelift/engine.rs); the work is the CodecParams adapter + codec-specific JITSON template
D1.2
Rotation primitives: Identity / Hadamard / OPQ as RotationKernel impls
branch — token_agreement_handler routes WireTokenAgreement → TryFrom(CodecParams) at ingress (precision-ladder + overfit guard fire here) → ReferenceModel::load or stub fallback on nonexistent paths → TokenAgreementHarness::measure_stub() → WireTokenAgreementResult { stub:true }. Route added: POST /v1/shader/token-agreement. Phase 0 Wire + Phase 2 harness now round-trip end-to-end.
Phase 3 — Sweep driver + Lance logger — Queued
D-id
Title
Status
PR / Evidence
D3.1
Server-side sweep handler + Lance fragment append
In PR
branch — sweep_handler batch mode: enumerates WireSweepGrid::enumerate(), validates each via TryFrom(CodecParams) at ingress, returns WireSweepResponse { results: [WireSweepResult { kernel_hash, stub:true }], cardinality, elapsed_ms }. SSE streaming + real calibrate/token-agreement per point deferred to D3.1b. Route: POST /v1/shader/sweep.
Before this session, the workspace accumulated 61 .claude/*.md
top-level docs + 41 .claude/prompts/*.md files across prior
sessions. They are indexed in .claude/BOOT.md §Existing content
and CLAUDE.md §Prior art, but their individual status (still
active / superseded / archival) has not been audited.
Status rows per bucket, not per file (102 rows would drown the
board — use filesystem + INTEGRATION_PLANS + PR_ARC for per-file
history):
Pointed at from BOOT.md via SCOPED_PROMPTS.md index. Per-file status: Backlog.
.claude/knowledge/*.md structured knowledge
12
Active
Current; each has READ BY: header; used by Knowledge Activation triggers.
.claude/agents/*.md specialist + meta-agent cards
24
Active
Current; used by spawning + Knowledge Activation.
.claude/hooks/*.sh
2
Active
Wired via settings.json.
.claude/skills/cca2a/*.md
3
Active
Current.
.claude/plans/*.md integration plans
1 (v1)
Active
Elegant herding rocket v1, Phase 1 shipped.
Backlog item — prior-art audit. One-pass sweep across the
61+41 files. Per file: label as active / superseded / archival
with a one-line note. Deliverable = an ARCHIVE_INDEX.md that
splits the 102 into current vs historical, plus rename/move of
superseded files into an archive/ subdirectory. Estimate ~200
LOC of meta work, ~2 hours of reading. Not urgent; useful
before the next major planning session.
callcenter-membrane-v1 — Supabase-shape over Lance + DataFusion
External callcenter membrane crate. BBB enforced by Arrow type system at
compile time. Plan: .claude/plans/callcenter-membrane-v1.md. Validated
by ADR 0001 Decision 2 (DM-4 LanceVersionWatcher + DM-6 DrainTask
pattern IS the Supabase-shape transcode approach).
DM-0 / DM-1 — Shipped in this session
D-id
Title
Status
PR / Evidence
DM-0
ExternalMembrane trait + CommitFilter in lance-graph-contract/src/external_membrane.rs
Shipped
session 2026-04-22 — pub mod external_membrane added to contract lib.rs
Phase A: field exists. Phase B: set_faculty_context() on LanceMembrane wires rationale_phase from AtomicBool; orchestration layer calls it with FacultyDescriptor::is_asymmetric() + stage. Column is live, not ghost.
DU-5
Board hygiene: DU-0 through DU-4 registered; INTEGRATION_PLANS.md + LATEST_STATE.md updated
Shipped (2026-04-23, commit a05979e)
Plan corrections + precision-tier §18 + father-grandfather concept committed in follow-up.
Active plan, 7 deliverables (D-SPLAT-1..7) staged across 6 PRs of the
gaussian-splat-cam-plane-workaround.md doc-sequence. PR 1+2 in flight
on branch claude/splat-osint-ingestion.
Plan path: .claude/plans/2026-05-06-splat-osint-ingestion-v1.md.
causaledge64-mailbox-rename-soa-v1 — sprint-10 spec corpus + sprint-11 impl queue
Active integration plan. Specs shipped via PR #372 (merged 2026-05-14, governance-only).
Plan path: .claude/plans/causaledge64-mailbox-rename-soa-v1.md.
sprint-12 Wave G partial; full VAMPE coupled-revival deferred sprint-13+
D-CSV-16
NEW sprint-13 entry
Queued (PP-5 spec drafting)
sprint-13 preflight
D-CSV-17
NEW sprint-13 entry
Queued (PP-3 spec drafting)
sprint-13 preflight
Open-question gates (block specific D-CSV-* spawns)
Gate
Blocks
Recommendation
OQ-CSV-1 Qualia 16D per-dim assignment
D-CSV-2, D-CSV-5
Ratify proposed §7.2 layout with qualia-engineer agent cross-check against thinking-engine/src/qualia.rs
OQ-CSV-2 W-slot width 6 vs 8 bits
D-CSV-1
Default 6 (= 64 active corpora); promote to 8 if multi-tenant SaaS demands
OQ-CSV-4 QualiaColumn migration phasing
D-CSV-5
Default sibling-column-then-cutover (lower risk; 1 extra PR worth it)
OQ-CSV-6 Σ10 Rubicon threshold derivation
D-CSV-10 (sprint-12)
Hand-tuned acceptable for sprint-11/12 with TECH_DEBT note per I-NOISE-FLOOR-JIRAK; principled Jirak derivation deferred to VAMPE coupled-revival sprint-13+
g_slot_at_drop field (CSI-2); spatial-temporal accumulator semantics
~50 actual
Shipped
pr-ce64-mb-6-sigma-tier-router.md (W7)
Σ10 Rubicon-resonance threshold; integer-SIMD MUL path
~120 actual
Shipped
sprint-10-pr-dep-graph.md (W10)
PR-J1-INT4-32D-ATOMS + CAM-PQ wiring elevated to Wave 3 hard dep
~50 actual
Shipped
sprint-10-test-plan.md (W11)
Refresh test counts for v2; i4-roundtrip + signed-mantissa-product tests
~87 actual
Shipped
Total spec-patch LOC: ~1,200 actual across 5 commits (9bd66d9, f730528, 5253c79, e4d15a3, 33509ab) merged 2026-05-16 in PR #381. Original ~870 estimate undershot W3 (codex P1 fix added ~280 LOC) and W5 (full WitnessCorpus section added ~16 LOC over estimate). All 8 workers complete. Sprint-11 spawn now unblocked on the spec-patch dimension; remaining gates: OQ-CSV-1, OQ-CSV-2, OQ-CSV-4 user ratifications.
SoA version byte at layout root (MailboxSoAHeader); refuse v(N>M) bytes on v(M) reader; field-isolation matrix tests on every column op (I-LEGACY-API-FEATURE-GATED discipline)
lance-graph-contract
100
HIGH
Queued
foundation — should land early in P2; gates on OQ-11.5
D-MBX-11
Lance bump (5 Cargo.toml) — OBE: main jumped =6.0.0 → =7.0.0, not =6.0.1
workspace Cargo.toml
10
LOW
Abandoned (superseded by #445, 2026-06-14)
done by PR #445 (lance/lance-linalg =7.0.0, lancedb =0.30.0, object_store 0.13.2); =6.0.1 never existed on the lancedb path. Residual: TD-SURREALDB-KVLANCE-LANCE7 (fork still pins 6)
contract slice of D-MBX-A6: kanban::{KanbanColumn, KanbanMove} + soa_view::{MailboxSoaView, MailboxSoaOwner} + StepDomain::Kanban — the planner⟷ractor⟷surreal seam, zero-dep, no parallel DTO family
#439; first cut of A6-P3 consumer wiring; planner now consumes contract recipes/styles; deferred: i4-32D decode, Outcome->Candidate, tau->JIT, membrane commit
D-MBX-A6-P3b
output overhaul: StrategyOutcome{reliability, intended_move: Option<KanbanMove>} carrier on PlanInput.outcome; StyleStrategy retires the dead-store _reliability, SURFACES reliability + a bootstrap intended move (Planning→CognitiveWork, owner 0, warden-BOOTSTRAP-OK) — plan still pure
lance-graph-planner
130
LOW
In progress
additive Option field (6 in-crate literals); UNBLOCKED (no mint, not OQ-11.7); deferred: compose thread-out + contract-promote + owner-consume; E-STRATEGY-OUTCOME-CARRIER-1
D-MBX-A6-P3c
owner-consume: lance_graph_planner::owner_adapter = the Outcome → KanbanMove bootstrap-rebind + ahead-cast adapter. rebind_bootstrap (mailbox 0/cycle 0 sentinel → live owner; refuses an already-owned move = no ownership theft) + emit_bootstrap_intent → BatchWriter::cast(on_behalf = owner). Fire-and-forget (no ack/ledger/WAL/arbitration/callback); the move is the pre-write "parcel address", the lifecycle STEP stays post-write. Completes P3b's deferred owner-consume.
persistence sink ORDERING CORE + durable-witness reshape + temporal layer-1 (the POST-write half). lance_graph_planner::persist_sink: two clock domains (async persist_cast no-owner-borrow → DurableReceipt; sync apply_durable_step no-await → try_advance_phase). Crash-durability: DurableWitness{owner,cast_id,cycle,paired_move} CO-LOCATED with the SoA payload in one generation via DurableWrite::append(&witness,&payload); scan_witnesses(from) bounded replay seam returning LandedWitness{coordinate,witness}; recover_and_apply(owner,landed,applied_through) replays the pending tail in durable-log order (DurableCoordinate::log_order, NOT the resettable cast_id) with a durable watermark for cyclic-safe idempotence, returning Recovered{applied,watermark}; StalePhase = corruption above the watermark (sync path: safe-to-drop stale). temporal::{LocalCausalRow, local_trajectories, local_trajectory_of} = layer-1 CAUSAL deinterlacing (global interleaved log → per-owner local chain), composing with the existing layer-2 epistemic projection. Durability proof = DurableCoordinate (opaque seq, API-honest), never LanceVersion.
lance-graph-planner
175
LOW
Merged
#878 (merged; reshaped in place to the cycle/WAL model = P3e — E-THE-DURABLE-UNIT-IS-THE-CYCLE-NOT-THE-CAST-ONE-WAL-WRITE-PER-SWEEP-1; + the §2 sparse-delta storage ruling E-COMPLETE-CYCLE-IS-PHYSICALLY-SPARSE-NOT-A-FULL-REWRITE-1, RATIFIED/UNIMPLEMENTED); ordering/recovery CONTRACT probed (348 planner lib tests, clippy+fmt clean) — crash-durability NOT storage-proven (in-process fake, no real MemWAL/restart); review-hardened ×2 (Bugbot: cast_id-resets→durable-position order; Codex/CodeRabbit Critical: cyclic idempotence via durable watermark + negative control; cross-owner reject; concurrent-drain retryable receipt; bounded scan; contract-probe honesty); builds NO concrete LanceShardSink; generation-vs-per-cast seam (finding 5) surfaced for operator decision; E-THE-PAIRED-MOVE-MUST-BE-DURABLE-CO-LOCATED-NOT-IN-MEMORY-ONLY-1
D-MBX-A6-P4
Cycle loop-closure driver (PLANNED): the seam that makes the merged persist_sink cycle/WAL bootstrap load-bearing at 64k. Closes owners think over Vn → produce material updates emit sparse intents → planner collects/coalesces/seals (one WAL, Vn+1) + exposes the sealed paired-transition set → supervisor applies ONLY the sealed sparse transitions (represented owners advance one legal step; unrepresented owners byte-identical) → CognitiveWork runs the thought → owner_adapter casts next intent → loop. A DatasetVersion is global knowledge, NOT permission to advance every mailbox (sparse-cycle ruling). Applied INLINE by the writer (no dataset re-read; NOT 64k async drive_once). Interim rule: ≤1 durable phase transition per owner per sealed cycle. Mints NO new types. Sub-deliverables P4a (drain+seal) / P4b (apply sealed sparse set) / P4c (CognitiveWork+cast round-trip) / P4d (wait-free emit) / P4e (recovery) / P4f (sparse routing scale 16k/64k, W2a-gated), probe-first.
lance-graph-supervisor
400
HIGH
P4a–P4f Shipped (slice)
lance-graph-supervisor::cycle_driver behind feature cycle-driver (optional one-way lance-graph-planner dep, verified acyclic; default build stays light). P4acollect_casts+seal_cycle (drain BatchWriter → persist_cycle → one WAL write / one DatasetVersion + sparse SealedTransition set). P4bapply_sealed_transitions (iterate ONLY the sealed sparse set; one legal try_advance_phase/represented owner; unrepresented byte-identical; interim ≤1/owner/cycle → deferred; unknown → missing; reads NO dataset). P4crun_cognitive_work (owners entering CognitiveWork run a pluggable thought seam → owner_adapter::emit_bootstrap_intent casts the next intent write-on-behalf → next cycle) + MUL-gate plugshade_owner/run_cognitive_work_gated[_over] (the real MUL gate — contract::mul::i4_eval::gate_decision_i4(qualia,mantissa) → KanbanColumn::advance_on_gate, Flow→forward / Block→Prune-where-legal / Hold→rescheduled via held_owners — packaged as a bootstrap-sentinel StrategyOutcome; mul_target composed for the driver, mints no decision logic; NOT the cognitive-shader-driver/MailboxSoA dispatch — qualia/mantissa via a caller extractor bridging the deferred MailboxSoaView::qualia() seam, MailboxSoa contract UNCHANGED). Review round (grain-of-salt, 2026-08-02): retry-safe seal (SealFailure carries the byte-identical frozen cycle); restart-stable stream_position (= caller's durable position_base + CastId, next_position_base cursor — CastId alone was the P3d "cast_id is provenance only" trap); normal apply advances the per-owner recovery watermark with the phase (one rule with recovery — no replay/StalePhase after a crash); ≤1-move/owner enforced pre-seal (HeldIntent+restage_held — sealed set == applied set, recovery agrees; no seal-then-discard, no silent moves.first() truncation); mid-apply error returns the applied prefix Err((partial,cause)); Hold = reschedule not strand (held_owners + _over re-poll); recover_fleet partitions history once (O(history), not O(fleet×history)). P4d wait-free-at-the-cast-boundary (sequential pass; concurrent per-owner execution = the actor leg, honestly scoped) (an incomplete owner never blocks a completed one — no barrier). P4erecover_fleet (composes persist_sink::recover_and_apply per owner; per-owner watermark idempotence; partial-progress kept on error). P4fCountingFleet scale probe. run_cycle convenience. 19 lib tests incl. the 64k/17 falsifier (exactly 17 advance, 65 519 byte-identical, one WAL write, zero reads), failed-seal→byte-identical-retry, restart-stable positions across writer reconstruction, normal-apply-advances-watermark (crash → recovery replays NOTHING), held-move-lands-next-cycle + recovery-agrees, multi-move no-truncation, mid-apply prefix preservation, the gate falsifier (Flow casts + advances; Hold rescheduled and WOKEN on a later re-poll — the gate discriminates: three outputs for three inputs, absorbing-column no-successor), P4d unfinished-A-never-blocks-B (both represented), P4e idempotence + load-bearing-watermark negative control, P4f O(dirty)-not-O(fleet); clippy+fmt clean. Mints NO domain types (reuses SweepSlot/CycleFrame/KanbanMove/DatasetVersion/PersistError/StrategyOutcome/recover_and_apply/emit_bootstrap_intent/MailboxSoaOwner). Honesty ledger: control-loop contract PROVEN (falsifiers over fakes) · actor-owned production wiring NOT proven (MailboxFleet HashMap = probe/registry fleet; bridging into KanbanActor-owned state open) · cognitive-shader-driver/SoA thought NOT proven (the gate is real, its inputs are extractor-fed) · durability FAKE (contract-probe WalSink, until LanceShardSink). Plan .claude/plans/cycle-loop-closure-driver-v1.md; E-KANBANMOVE-IS-THE-PARCEL-ADDRESS-STEP-IS-THE-DELIVERY-SCAN-1 + E-COMPLETE-CYCLE-IS-PHYSICALLY-SPARSE-NOT-A-FULL-REWRITE-1 + E-D-MBX-SPINE-IS-STRAIGHT-TRACK-VERSION-IS-NOT-A-FLEET-STEP-SIGNAL-1
#439; the panel-recalibrated keystone (extraction not construction); makes P1/P7/P11 derived; teeth-test asserts masks varied not stub
D-CLS-FM
class_view: FieldMask(u64 presence) + ClassView meta-DTO resolver trait + ClassProjection (the class flies ABOVE the SoA; labels resolved late from OGIT cache, zero in the bytes) — extends ObjectView, reuses class_id
class_resolver: RegistryClassView impls ClassView over the live OntologyRegistry — the ontology-side 'parser' (class_id -> shape, DOLCE resolved LATE via classify_odoo from the cache URI, memoized over the O(n) registry scan)
lance-graph-ontology
200
LOW
Shipped
#441 D-CLS; makes the contract trait live; field-set supplied (D-CLS audit deferred); 4 teeth-tests
D-CLS-SIG
class_signature: deterministic structural-signature audit of curated OdooEntity consts (FNV-1a over kind+field-hist+method-hist+state-machine) -> shape-family group-by + object_view() derives the real ObjectView bit-basis (fills the D-CLS-RES placeholder)
lance-graph-ontology
230
LOW
Shipped
#441 D-CLS; the HONEST D-CLS-3 (group-by-on-structural-hash, NOT aerial-cluster vaporware, classes.md:43); 4 teeth-tests over real l1 data
D-CLS-AUDIT
class_signature corpus audit: curated_entities() (all 15 l-lanes, 64 consts) + corpus_summary() + falsifiable test that the real curated corpus collapses entities->fewer shape-families (classes.md:42 CONFIRMED on real data, not asserted)
ClassView::render_rows + RenderRow{label,predicate} — the off-bits-skipped render surface (C2 presence-only; template-agnostic, askama engine deferred to its own crate-Wave)
lance-graph-contract
50
LOW
Shipped
#441 D-CLS; the render LOGIC (classes.md:49), not the engine; +doc-lint fix
D-WIKI-HHTL-1
contract::hhtl::NiblePath: the 16ⁿ Abstammung bucket router (subClassOf nibble path, bit-shift O(1), root/child/basin/parent/is_ancestor_of) + FieldMask::inherit (mask-inherits-as-delta). DOLCE-agnostic (basin: u8 = dolce_id 0..3, resolved through the cache — NO enum); multi-parent = facet bit in the same mask, NOT a 2nd path. The downstream router #438 names.
lance-graph-contract
155
LOW
In PR
Wikidata-HHTL slice 1 = the 16ⁿ router (hub-side); reuses #441 FieldMask; convergent with D-ARM-14 (firewall preserved). 4 teeth-tests; 501 contract lib green. See FINDING D-CLS↔D-ARM-14 (EPIPHANIES).
D-WIKI-HHTL-2
wikidata_hhtl: the N4 second-domain falsifier — WikidataClass (curated real QIDs: human/person/city/film/tv-series/event) routed through the SAME class-meta-DTO: nibble_path() (basin=cache dolce_id, NO enum), presence_mask()=FieldMask, signature()=StructuralSignature over the canonical property-set, dcls_triple()=(ClassId,StructuralSignature,FieldMask), + WikidataClassView impls the #441 ClassView.
lance-graph-ontology
290
LOW
In PR
Wikidata-HHTL slice 2; classes.md N4 CONFIRMED on data: corpus collapses to fewer shape-families (film≡tv-series twin), triple shape domain-independent, ClassView resolves Wikidata unchanged, subclass inherits path+mask-as-delta. Reuses contract::hash::fnv1a. 5 teeth-tests; 245 ontology lib green. Deferred: the 115M streaming load (separate plan).
bindspace-singleton-to-mailbox-soa-v1 — dissolve Arc<BindSpace> into per-mailbox MailboxSoA<N>
Plan path: .claude/plans/bindspace-singleton-to-mailbox-soa-v1.md. Epiphany E-MAILBOX-IS-BINDSPACE. Migration of the shared singleton address space into mailbox-owned ephemeral thoughtspace (LE-contract SoA columns); drops the 64 KB Vsa16kF32cycle plane.
D-id
Title
Crate(s)
~LOC
Risk
Status
PR / Evidence
D-MBX-1
add migrated columns (edges/qualia/meta/entity_type) to MailboxSoA<N> behind mailbox-thoughtspace feature
cognitive-shader-driver
120
MED
Queued
gated on D-CE64-MB-1-impl + PR-NDARRAY-MIRI-COMPLETE
blocked on 5c (so the migration pointer names a real target); removal in a follow-up after woa-rs migrates
D-ODOO-SAV-5e
End-to-end test: FiscalPositionResolver SavantPattern over a synthetic ontology fixture → expected CausalEdge64 row (SPO + NARS truth + v2 signed mantissa); the proof the reshape works
lance-graph-callcenter tests
150
MED
Queued
ships with 5c completion as the round-trip proof; uses CausalEdge64::pack_v2 per I-LEGACY-API-FEATURE-GATED
odoo-business-logic-blueprint-v1 — typed Odoo entity DTOs as the substrate for OGIT → OWL → DOLCE → FIBU/FIBO normalization + JITson / recipe codegen
PREREQUISITE for odoo-savant-reasoners-v2 Group F (per E-SAVANT-COMPOSITION-1). Establishes the typed OdooEntity + sub-types layer that the inheritance chain operates on — replaces today's ad-hoc string-keyed maps against model_name. Both passes (L-docs first as curated filter, Odoo source extraction second as exhaustive backing). All 15 lanes (L1–L15). Plan path: .claude/plans/odoo-business-logic-blueprint-v1.md.
D-id
Title
Crate
Lines
Conf
Status
Notes
D-ODOO-BP-1a
OdooEntity + sub-types (OdooField/OdooMethod/OdooDecorator/OdooStateMachine/OdooConstraint/OdooProvenance) — zero-dep, const-only, no serde
lance-graph-ontology
300
HIGH
Queued
ships with plan + INTEGRATION_PLANS prepend + this STATUS_BOARD section (board hygiene); additive — zero churn to existing call sites
D-ODOO-BP-1b
L-doc projection: one OdooEntity const per entity, 15 lanes, per-lane module odoo_blueprint::l{1..15}, provenance=Curated with line-range citations
lance-graph-ontology
2500
HIGH
Queued
blocked on 1a; ships in Waves (L1-L5, L6-L10, L11-L15), one subagent per lane (Sonnet, mechanical prose→const projection); ~5 entities/lane average × 15 lanes ≈ 75-200 consts
D-ODOO-BP-1c
Wire OGIT classifier to take &OdooEntity (replaces string-keyed resolve_odoo); uses field/method semantics for richer dispatch; covers 0x63/0x90 from PR #414
streaming-arm-nars-discovery-v1 — upstream proposer leg into the SPO substrate (20K-200K rows/window pair-stats + optional Aerial+ → NARS-truth → SpoStore hypothesis test → council ratification → op_emitter codegen)
The missing UPSTREAM discovery leg. Today's proposers (curated L-docs + AST-extracted Odoo source) are bounded by the literal artifact; this plan adds runtime-tabular-data ARM discovery, gated through the epiphany-brainstorm-council before reaching the deterministic codegen path. Plan: .claude/plans/streaming-arm-nars-discovery-v1.md. Handover: .claude/handovers/2026-05-29-2030-arm-discovery-author-to-impl.md.
blocks D-ARM-3, D-ARM-9. D-ARM-13 shipped local mirrors (rule::{CandidateRule, Proposer, Item}) ahead of this — see TD-ARM-CARRIER-FORK: re-export via pub use when this lands (firewall allows path-dep on zero-dep contract). Field set diverges — local carries bare n: u32, this plans WindowMetadata; reconcile (recommend n: u32) so the shape matches.
D-ARM-3
Pair-stats proposer (default trunk, deterministic, k² pair counters per window)
The translator substance landed early inside D-ARM-13: translator::{arm_to_nars, NarsTruth, CandidateTriple, FeedProjector} (verbatim paper §2/§3.3 mapping, 35/35 tests). REMAINING: the real Odoo FeedProjector (currently a DebugProjector stub emitting implies) + contract homing on D-ARM-1/2. Depends on D-ARM-1/2.
D-ARM-5
Hypothesis test: SpoStore round-trip, NARS revision, contradiction commit per The Click
lance-graph-arm-discovery::hypothesis
350
MED
Queued
depends on D-ARM-4; verifies spo::truth::Contradiction primitive exists
Jirak-2016 weak-dependence significance thresholds (mandatory Stage A floor)
lance-graph-arm-discovery::jirak
150
HIGH
Queued — HARD PREREQUISITE
blocks D-ARM-3; cites I-NOISE-FLOOR-JIRAK. ISSUE ARM-JIRAK-FLOOR (2026-05-30, 3-savant review): D-ARM-13 ships the Aerial proposer with NO Jirak floor (classical min_support/min_confidence only). MUST land before D-ARM-5 wires the proposer to a live SpoStore, else the substrate calcifies on thin-but-frequent noise (plan §11.1). ENGINE EXISTS:jc::jirak (Jirak-Cartan Pillar 5) is the weak-dependence Berry-Esseen rate (n^(p/2-1)); this deliverable is the gate function (rule → significant?) that derives its threshold from it — NOT a from-scratch Jirak impl. See E-ARM-JC-RESOLVES-BOTH-SEAMS + splat-codebook-aerial-wikidata-compression.md.
Aerial+ IPC client (feature-gated arm-aerial, NDJSON over Unix socket)
lance-graph-arm-discovery::proposer::aerial_ipc
200
MED
Superseded by D-ARM-13
The native in-process Aerial+ transcode (D-ARM-13, branch claude/jolly-cori-clnf9) replaces the need for the Python IPC client. The determinism-boundary rationale the IPC was designed for (keep the nondeterministic autoencoder out of the Rust path) is now met in-process via seed (aerial::Rng) + aerial feature gate + workspace exclude. Keep this row ONLY if a Python-only Aerial variant is later required; otherwise close as Abandoned-by-replacement.
End-to-end pipeline test + bench (synthetic Odoo feed → all 5 stages → council micro-batch)
lance-graph-arm-discovery::tests + benches
400
MED
Queued
depends on Waves 1-6; informs OQ-ARM-2 + OQ-ARM-7
D-ARM-13
Aerial+ Rust transcode — deterministic codebook-probe backend (float-free). The paper's f32 denoising autoencoder is REPLACED by an integer CodebookDistance oracle (palette256 distance, ρ=0.9973 vs cosine): the reconstruction probe is a codebook top-k, not a softmax over float weights. Integer evidence counts + ppm gates + TruthU8 (= CausalEdge64 wire). AerialProposer impl of Proposer. Count loop is a row-bitset SoA (RowMasks) → AND+popcount, routed through ndarray::simd::U64x8 under the ndarray-simd feature.
lance-graph-arm-discovery::aerial
~1.1K
HIGH
Shipped (branch)
branch claude/jolly-cori-clnf9; standalone zero-dep crate (excluded); 33/33 tests + clippy -D warnings clean on BOTH default (scalar) and --features ndarray-simd; zero f32 in the discovery path (audit), float only at the TruthValue/Triple serialization edge. Bitwise-deterministic ⇒ joins the trunk; the nondeterminism firewall + D-ARM-9 IPC rationale are moot. SIMD target-cpu caveat: real AVX-512/AMX kernels need -C target-cpu=native/x86-64-v4. v1 (autoencoder) superseded per the user's no-float directive.
D-ARM-14
Splat-codebook oracle + Wikidata skeleton discovery — wire the certified jc splat codebook into aerial as the CodebookDistance oracle, discover OWL/DOLCE+ SPO HHTL classes + basins, drive the wikidata-hhtl-load.md deterministic compression (skeleton + basins + CAM-dedup + thin rows).
Phase 1 (branch claude/jolly-cori-clnf9-darm14): the two aerial-side seams — aerial::TopKDistance (the sparse splat-top-k CodebookDistance the 10000² BLASGraph splat actually emits; top-k per node, not a dense table) + aerial::ontology::{DolceCategory, OntologyProjector} (DOLCE 4-facet skeleton → rdfs:subClassOf/rdf:type SPO). End-to-end test: splat top-k → aerial discovers occupation→DOLCE-class → projects the skeleton triple. 41/41 + clippy clean (default + ndarray-simd), zero-dep. Float still OFFLINE in jc only (ewa_sandwich+sigma_codebook_probe ρ=0.9973+pflug Lε); aerial online path integer. Phase 2 (branch claude/jolly-cori-clnf9-darm14-p2): the proposer→hub landing. (a) OntologyProjector::dolce_id() — emits the stable dolce_id u8 (= basin nibble) the hub routes by, NOT a hardcoded IRI (the OD-DOLCE alignment #442 deferred to this lane; basin ordering already matches dolce_id::{ENDURANT=0..}). (b) gated worked example tests/wikidata_landing.rs (--features landing, opt-in dev-dep lance-graph-contract à la jc): splat top-k → aerial recovers all 6 DOLCE basins → lands each on the REAL merged contract::hhtl::NiblePath (16ⁿ router, #442) + class_view::FieldMask (+inherit) + hash::fnv1a_str signature. CONFIRMED on data: corpus collapses 6→5 families (film≡tv-series twin), human⊂person inherits path + mask-as-delta, basin preserved. 42/42 default (zero-dep) + landing test green, clippy clean both. Rebased onto post-#442 main; the inline-nibble stand-in swapped for the real NiblePath. Remaining: real jc/blasgraph splat producing the lists; the ndjson→WikidataClass loader; gated on D-ARM-7 (jc::jirak). Map: splat-codebook-aerial-wikidata-compression.md; E-ARM-JC-RESOLVES-BOTH-SEAMS.
D-ARM-SYN-1
Add Implies/CoOccursWith to ruff_spo_triplet::Predicate closed vocabulary (+ Provenance tier) so ARM rules load through the same parse_triples ndjson path as the static extractor
ruff/ruff_spo_triplet
40
MED
Queued
council-gated (deliberate ontology change); blocks SYN-2; see .claude/knowledge/aerial-arm-ruff-spo-codegen-synergies.md §1
D-ARM-SYN-2
CandidateRule → ruff_spo_triplet::ModelGraph adapter so the Aerial runtime-data leg joins the ruff_python_dto_check static-AST leg in one graph before expand()
lance-graph-arm-discovery + ruff_spo_triplet
120
MED
Queued
depends on SYN-1; synergy doc §2
D-ARM-SYN-3
Calibrate ProvenanceTier::ArmDiscovered(f,c) below the op_emitter ratification gate + below static Inferred (0.85,0.75) so un-ratified ARM truth is council-visible but codegen-filtered
Chess-into-OWL falsification slice — encode 3-5 opening positions as OWL/ttl (meaning in CONTENT, no chess-special SoA field), run lance-graph-arm-discovery::AerialProposer (the now-shipped #436 Rust transcode) over it, see whether GM-flavored legal candidates fall out, AND whether chess needs columns Odoo's SoA didn't have. The cognitive-risc-core/classes spec's emphatic N4 freeze-time non-negotiable — falsifies/confirms "one SoA serves all" cheaply on a board, before the WAL freezes. Council R2+R4 verdict 2026-05-30: this is FIRST, not a peer option.
lance-graph-arm-discovery (read) + new crate chess-bringup-test
~300
HIGH
Queued
NEW (council recalibration 2026-05-30). NOT in scope for branch claude/activate-lance-graph-att-k2pHI (per R1 — needs its own branch + freeze-decision authority). Unblocked by #436's Aerial+ shipping in Rust (user-flagged 2026-05-30 "aerial+ has been transcoded and is now a lance-graph-* crate"). Cross-ref cognitive-risc-core.md §"The bring-up test"; cognitive-risc-classes.md:66 N4; post-438-integration-options-v1.md §1 Option G.
Wave 5A, Opus. Bulk LOC is 66 generated snapshots + per-class density report
wikidata-lazy-spine-hydration-v1 — the NiblePath-keyed tiered hydration manager + addressing (the "agnostic lazy world-spine" runtime)
The one missing runtime piece behind the converged delta-card / world-spine vision (delta-card-addressing-integration-map.md, agnostic-lazy-world-spine.md). Plan: .claude/plans/wikidata-lazy-spine-hydration-v1.md (9 D-ids, authored by the W1 wave worker). All gated on D-ARM-7 (Jirak floor) before any hydrated rule writes a live store; firewall (aerial = zero-dep proposer, hub owns contract/ontology) preserved.
D-id
Deliverable
Crate(s)
LOC
Conf
Status
Notes
D-LWS-1
Sparse radix range-delegation register (path-compressed trie over the frozen ontology; occupied branch points only; reuses NiblePath as the address — never re-encodes identity)
lance-graph-contract / -ontology
~?
MED
Queued
partition-as-address; 27-bit floor with ~0-bit row
D-LWS-2
Delta-card value model (reconstruct = deck ⊗ delta; per-entity surprise as a FieldMask delta over the inherited archetype; modal member = empty card)
lance-graph-contract
~?
MED
Queued
built on FieldMask::inherit
D-LWS-3
RISC compose-cache + per-predicate composability flag (store generators, compose ≤7-hop closure via ComposeTable/mxm; dissolves the hub problem)
arigraph::markov_soa — the Markov wave (AriGraph cold-path chain promoted to hot-path SoA); vocabulary-agnostic SpoRanks{u16} + SoaWavePrimer + WaveProjection::best_guess_match(injected dist); the "hybrid+ autocomplete" #2 proposer (dark-horse)
lance-graph::graph::arigraph
~230
MED
Shipped (branch, unverified-offline)
moved out of deepnsm (SoC fix); match = AriGraph's own cam_pq, language stays upstream; 4 tests written, core doesn't build in sandbox → verify on full checkout. Findings: three-Markovs, markov_soa-IS-AriGraph
D-EW64-NOTE
MailboxSoaView doc note: EpisodicWitness64 = AriGraph in the mailbox SoA view (the particle; cold→hot); deferred accessor (qualia-pattern)
lance-graph-contract::soa_view
~20
HIGH
Shipped (branch)
verified (contract builds, 3/3 soa_view tests); EW64 not yet a code symbol — P2 of three-Markovs ordering
Update protocol
When a deliverable ships:
Edit this file's Status column in place for the row → Shipped.
Fill in PR / Evidence column with the merge commit or PR #.
Append a new section to PR_ARC_INVENTORY.md (Added / Locked /
Deferred / Docs / Confidence).
Update LATEST_STATE.md (Recently Shipped PRs + Current Inventory
if types change).
When a deliverable moves phase (e.g. Queued → In progress → In PR):
Edit Status column in place. Don't reorder rows.
If the move reflects scope correction, also update
INTEGRATION_PLANS.md Status line for the parent plan.
When a new deliverable is added to a plan:
Append a new row at the bottom of the plan's section.
identity-architecture-exists-vs-needs-v1 — structured NodeGuid + frugal north-star OGAR mint
Plan path: .claude/plans/identity-architecture-exists-vs-needs-v1.md. Epiphanies: E-IDENTITY-WHITEBOX-1, E-OGAR-NORTHSTAR-1. Rides in the open identity PR on claude/nice-edison-g4rhhl.