Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .claude/board/STATUS_BOARD.md
Original file line number Diff line number Diff line change
Expand Up @@ -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)

Expand Down
29 changes: 27 additions & 2 deletions .claude/plans/d-staunen-5-resident-recursive-plasticity-v1.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -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.
2 changes: 1 addition & 1 deletion .claude/prompts/2026-11-01-staunen-13-layer-cc-readonly.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down Expand Up @@ -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).
Expand Down
Loading