diff --git a/.claude/board/STATUS_BOARD.md b/.claude/board/STATUS_BOARD.md index 1a87fc91d..27f02c3d3 100644 --- a/.claude/board/STATUS_BOARD.md +++ b/.claude/board/STATUS_BOARD.md @@ -73,7 +73,7 @@ Plan: `.claude/plans/d-soc-fence-v1.md`. Plan only; nothing runs yet. | D-XLOG-NATIVE-5 | bag count bound through the production bind store (`lance-graph-dt64` + `dt64::dr`), polyfill words by position; Epi5 reading of XLOG results pinned (plan Amendment A) | Shipped (#1884) | lab execution only | | D-XLOG-NATIVE-7 | resident hypercube context (`lance_graph_xlog::cube`): one intake for every relation, `Copy` view handles, terminals only run programs; XLOG plans executed on it in the XLOG fork (`xlog-cube`) | In PR (#1911; xlog#2): parity + 300-case differential; 12/230 integration rules admitted | recursion, derived inputs | | D-XLOG-NATIVE-8 | XLOG behaviour lens `0xFFFF :: 0xF100` (`lance_graph_xlog::lens`): `functor`/`arg`/`=..` by position with helper-relation aliases; `declare` binds column counts as `arity` (side effect documented) | Shipped (#1913) | consumer half in xlog#2 | -| D-STAUNEN-5 | resident recursive plasticity: novelty-gated activation of one declared candidate edge (Atlas `update_mask` shared contract), in-cube mask delta, H1 parsimony vs H2 eligibility, consolidate/revert, policy selection (plan P0–P7) | In progress (#1914): P0 fixtures + oracle done; P1 resident closure matches the oracle bit for bit (400 random graphs to position 63), 4 disable runs red; xlog-cube comparison pending its `r(V,V)` fixture | P2–P7 gated | +| D-STAUNEN-5 | resident recursive plasticity: novelty-gated activation of one declared candidate edge (Atlas `update_mask` shared contract), in-cube mask delta, H1 vs H2, consolidate/revert, policy selection (plan P0–P7) | P0, P1 shipped (#1914); P1 accepted: C0 three-way parity merged (xlog#6); P0 ordering-leak gate open | P2–P7 gated; read against #1915 | ## D-LITHO — the photolithography contract (2026-10-30) diff --git a/.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md b/.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md index 04d5e740f..9f3b9e888 100644 --- a/.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md +++ b/.claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md @@ -154,8 +154,12 @@ proofs that share a root). Fisher-Z addition is a different operation (naive-Bayes accumulation of independent likelihood ratios) and is not substituted for it (EXO-50, SPOFC, 2026-10-22). - A stimulus counts once: the same observation repeated is one root. - **Open, operator:** is a source root the observer or one report? Until - ruled, P0 treats one stimulus as one root. + **DECISION (operator, 2026-11-01):** a source root is neither the + observer nor the report. It identifies the independent evidential + origin; observer identity, report identity and dependency lineage are + kept separately beside it. Repeated accounts of one event do not + multiply confidence. No new source-root encoding follows from this. P0's + stimuli each name one origin, so one stimulus is one root there. - A pair derived through the closure is not independent evidence for the edge that produced it, so a candidate cannot confirm itself. - Only stimuli or held-out queries arriving after the activation count. @@ -295,3 +299,24 @@ Staunen, plasticity or novelty; two changed this plan: CE64 bits 50..52 are not written (D-CE64-STAUNEN-0: `learn` gates on them). - The other three (SHARE witness = lane dimension; D-EPI-COT C3 warrant) bear on P4/P6 evidence reading, not on P0/P1. + +## Operator review of the #1915 ACK (2026-11-01) + +- **Status.** P0/P1 (#1914), the 13-layer scratchpad (#1915) and the + `r(V,V)` diagonal (xlog#5) are merged. The scratchpad is the preserved + scientific direction future experiments are read against. It is not a + supervisory plan that must approve each mathematical test. +- **C0, three-way closure parity, is a correctness check, not a Staunen + claim.** It runs a scalar BFS oracle, `Cube::closure` and XLOG's compiled + recursion on the canonical 12-pair cycle (diagonal checked on each) and + 400 frozen seeded graphs, compared as sets with bag behaviour checked. + Delivered as xlog#6, test only, merged 2026-11-01 11:54 UTC: P1 is accepted. +- **MUL (H12).** One prediction and outcome is one calibration + observation, not a calibration. Competence and overconfidence need a + history of predictions and outcomes under a declared scoring rule. The + ACK's fixture is a trace-integrity test, not a demonstration of H12. +- **P0 ordering leak: its own gate, before P5/P6.** The generator puts the + withheld true edges first in `candidates` and appends noise stimuli after + the true ones, so index order leaks the labels. It must be fixed, with a + test that a policy reading only indices scores at chance, before any P5/P6 + result is interpreted. It does not affect P1's closure result. diff --git a/.claude/prompts/2026-11-01-staunen-13-layer-cc-readonly.md b/.claude/prompts/2026-11-01-staunen-13-layer-cc-readonly.md index 676dfb7de..269cd7ced 100644 --- a/.claude/prompts/2026-11-01-staunen-13-layer-cc-readonly.md +++ b/.claude/prompts/2026-11-01-staunen-13-layer-cc-readonly.md @@ -8,7 +8,7 @@ 1. Original D-STAUNEN-0..4 (#1885..#1889) and the full relevant paginated EXO-50 comments; their status remains docs/research. 2. Crosswalk scratchpad linked above, including its 13-dimensional mindmap and source-of-truth list. -3. Actual 2026-11-01 XLOG changes: LG #1910, #1911, #1912, #1913; XLOG #2–#5; latest draft LG #1914. Distinguish **MERGED / DRAFT / PROPOSED / MEASURED**. +3. Actual 2026-11-01 XLOG changes: LG #1910, #1911, #1912, #1913; XLOG #2–#5; latest draft LG #1914. *(Status as issued. #1914 merged 11:44 UTC and xlog#5 at 11:46 UTC, after this handoff was written; the ACK was given 2026-11-01.)* Distinguish **MERGED / DRAFT / PROPOSED / MEASURED**. 4. Canonical epistemic_state5.rs; band_reading.rs; CE64 46..49 / 50..52 / 53..58 competing reader decisions and current code; MUL calibration-not-verdict and consumer census. 5. Existing qualia.rs, proprioception.rs, qualia_profile.rs, 219 named PCS/music sidecars (#1571/#1607/#1608), cross-domain basin #993 and qualia demo #751/#752; explain the gap from 219 to proposed 512. 6. AtlasIR/Atlas scientific owner and separate training plan; event identity and exact numeric models, not assumed to be behaviorally interchangeable with Moore or XLOG. diff --git a/.claude/research/2026-11-01-staunen-13-layer-cognitive-fabric-scratchpad.md b/.claude/research/2026-11-01-staunen-13-layer-cognitive-fabric-scratchpad.md index f13af6734..e47cb03c5 100644 --- a/.claude/research/2026-11-01-staunen-13-layer-cognitive-fabric-scratchpad.md +++ b/.claude/research/2026-11-01-staunen-13-layer-cognitive-fabric-scratchpad.md @@ -130,7 +130,7 @@ flowchart TD - **IMPORTANT UNSETTLED BANDS:** 46..49 current ISA inference mantissa vs Oct 17 activation-i4 operator decision; 50..52 production plasticity vs proposed novelty-to-wisdom; 53..58 legacy witness vs later thought-layer ruling. These are source/decision migrations with owner-specific status, **not free spare bits**. Do not encode H9–H13 into them without the respective owner gate; check exact code and consumer census first. - **F/C evidence:** NARS F = positive evidence proportion under its truth law, not firing Hz; C = evidential weight / horizon reading, not posterior certainty or physical amplitude. Source-root independence (same report copies once), temporal context, evidence provenance, precision/quantization profile and recalibration remain external witness obligations. - **Pearl hydrate vs DeepNSM hydrate:** planner::pearl::hydrate updates indirect topology only under sealed same-predicate middle terms; DeepNSM-v2 hydrate.rs maps parsed SPO evidence to KJV text/TOC positions and ordered revisits. Neither makes an invented causal claim. -- **XLOG:** #1910 Amendment E chooses *assimilate RIR into Quack/RelAlg/R2IL and polyfill caller API*; #1911 resident cube has lazy views, shared map and 36 join parity; #1912 derived relation intake; #1913 behavior lens isolates functor/arg/univ. XLOG-side #2–4 compiled recursion/multiway work; #5 diagonal draft. Exact public caller API, multi-tile, full union/diff, operator costs and remaining refusals are not erased by this scratchpad. +- **XLOG:** #1910 Amendment E chooses *assimilate RIR into Quack/RelAlg/R2IL and polyfill caller API*; #1911 resident cube has lazy views, shared map and 36 join parity; #1912 derived relation intake; #1913 behavior lens isolates functor/arg/univ. XLOG-side #2–4 compiled recursion/multiway work; #5 diagonal (merged 2026-11-01 11:46 UTC). Exact public caller API, multi-tile, full union/diff, operator costs and remaining refusals are not erased by this scratchpad. - **THOUGHT / replay:** 0 sealed givens, 1..63 sparse deltas, generation and base-version qualified; experiment/episode identity and source roots are not a slot number. Thought-Git preserves speculative/durable distinction; branch/merge history alone never certifies causality. - **MUL vs Epi5:** MUL measures estimated competence vs demonstrated competence, calibration, source/environment reliability and homeostasis. Two existing MUTUALLY DISTINCT type families: contract::mul TrustTexture (Calibrated/Overconfident/Uncertain/Underconfident) and planner::mul::trust (Crystalline/Solid/Fuzzy/Murky/Dissonant). The legacy topology alias Crystalline/Solid/Fuzzy/Murky must **never** be used as an actual MUL calibration reading. contract::mul::GateDecision is an execution/commit gate; planner::mul::gate::MulGateDecision is Proceed/Sandbox/Compass. Consult the 2026-08-26 plan and 08-27 census. - **Qualia:** a device 17D computed vector, PCS 17D descriptive profile, observer categories, partial five shared axes, 219 profile patches, musical annotations, K residual and 11D proprioception projection exist. Full device→PCS CLUT, general validation and the proposed Int8→Int9 512-label codec are not established; one reserved/presence bit is not automatically free. A label, generated first-person report or aesthetically powerful animation cannot prove subjectivity. @@ -163,7 +163,7 @@ The known D-CE64-STAUNEN-0 (#1395) raw-surprise failure (noise capture, round-ro - [EXO-50 agent/Staunen board](https://linear.app/exo-red/issue/EXO-50) (long, paginated; collect all relevant comments). - D-STAUNEN-0..4 docs-only original research arc: [#1885](https://github.com/AdaWorldAPI/lance-graph/pull/1885), [#1886](https://github.com/AdaWorldAPI/lance-graph/pull/1886), [#1887](https://github.com/AdaWorldAPI/lance-graph/pull/1887), [#1888](https://github.com/AdaWorldAPI/lance-graph/pull/1888), [#1889](https://github.com/AdaWorldAPI/lance-graph/pull/1889). Especially [D-STAUNEN-2 Atlas oracle](../../docs/research/learning/d-staunen-2-atlasir-snn-hdc-moore.md), [D-STAUNEN-3 XLOG/NSL](../../docs/research/learning/d-staunen-3-xlog-nsl-hydration.md) and [D-STAUNEN-4 multi-thought](../../docs/research/learning/d-staunen-4-64-thought-metaplasticity.md). -- Narrow #1914 D-STAUNEN-5 **draft**, P0/P1 binary closure, not a replacement of D-STAUNEN-0–4. Audit P0 truth-label leakage via ordered candidates and noise stimuli before interpreting P5/P6 policy claims. XLOG#5 also draft. +- Narrow #1914 D-STAUNEN-5, P0/P1 binary closure (merged 2026-11-01 11:44 UTC), not a replacement of D-STAUNEN-0–4. Audit P0 truth-label leakage via ordered candidates and noise stimuli before interpreting P5/P6 policy claims. XLOG#5 merged 11:46 UTC; the three-way closure parity check (C0) merged as xlog#6. - XLOG [#1910](https://github.com/AdaWorldAPI/lance-graph/pull/1910), [#1911](https://github.com/AdaWorldAPI/lance-graph/pull/1911), [#1912](https://github.com/AdaWorldAPI/lance-graph/pull/1912), [#1913](https://github.com/AdaWorldAPI/lance-graph/pull/1913); [xlog#2](https://github.com/AdaWorldAPI/xlog/pull/2) onward; [Epi5-native proof #1884](https://github.com/AdaWorldAPI/lance-graph/pull/1884). - [epistemic_state5.rs](../../crates/lance-graph-contract/src/epistemic_state5.rs), [epistemic capstone](../../.claude/knowledge/epistemic-frontier-capstone.md), [band_reading.rs](../../crates/lance-graph-contract/src/band_reading.rs), [MUL calibration not verdict](../../.claude/plans/mul-calibration-not-verdict-v1.md), [MUL consumer census](../../.claude/plans/mul-consumer-census-v1.md). - [Qualia profile #1571](https://github.com/AdaWorldAPI/lance-graph/pull/1571), [musical sidecars #1607](https://github.com/AdaWorldAPI/lance-graph/pull/1607) and [#1608](https://github.com/AdaWorldAPI/lance-graph/pull/1608), [cross-domain anonymous basins #993](https://github.com/AdaWorldAPI/lance-graph/pull/993), [qualia immersion #751](https://github.com/AdaWorldAPI/lance-graph/pull/751), [reasoning loop #752](https://github.com/AdaWorldAPI/lance-graph/pull/752).