From 6cedc084d5a0e06fa55a11355fbad87259e5a74b Mon Sep 17 00:00:00 2001 From: AdaWorldAPI Date: Tue, 27 Oct 2026 15:57:34 +0100 Subject: [PATCH] docs(EAW-4): isolate sibling worlds and preserve constructive epistemic synthesis --- ...orld-isolation-and-hypothesis-synthesis.md | 40 +++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 docs/research/epistemic-awareness/eaw-4-world-isolation-and-hypothesis-synthesis.md diff --git a/docs/research/epistemic-awareness/eaw-4-world-isolation-and-hypothesis-synthesis.md b/docs/research/epistemic-awareness/eaw-4-world-isolation-and-hypothesis-synthesis.md new file mode 100644 index 000000000..dd5488b85 --- /dev/null +++ b/docs/research/epistemic-awareness/eaw-4-world-isolation-and-hypothesis-synthesis.md @@ -0,0 +1,40 @@ +# EAW-4: Thought-Git world isolation and causal/epistemic hypothesis synthesis + +**2026-10-27. Docs-only. NOT RUN / NOT ADMITTED.** Independent main-based stage. Existing owners [CFA-2 #1815](https://github.com/AdaWorldAPI/lance-graph/pull/1815), [CFA-3 #1816](https://github.com/AdaWorldAPI/lance-graph/pull/1816), [CFA-4 #1817](https://github.com/AdaWorldAPI/lance-graph/pull/1817) optional, [CFA-5 #1818](https://github.com/AdaWorldAPI/lance-graph/pull/1818), [EXO-98](https://linear.app/exo-red/issue/EXO-98), [EXO-127](https://linear.app/exo-red/issue/EXO-127), [EXO-148](https://linear.app/exo-red/issue/EXO-148). Research spine [#1820](https://github.com/AdaWorldAPI/lance-graph/pull/1820) → [#1821](https://github.com/AdaWorldAPI/lance-graph/pull/1821) → [#1822](https://github.com/AdaWorldAPI/lance-graph/pull/1822) → [#1823](https://github.com/AdaWorldAPI/lance-graph/pull/1823), conceptual only, not stacked Git ancestry. + +## Distinguish three operations + +**Within one world:** multiple source-valid, dimensionally distinct mappings to the SAME polyfill coexist. Source-attested combining laws govern many-to-one convergence and one-to-many typed routing. Never remove supposedly redundant MethodIds. + +**Across sibling worlds:** T0 immutable given; T1..T63 speculative slot ceiling. Vary WHEN valuation, source population, version, rule parameters or routing; every world preserves all its valid mapped methods. Sibling alternatives are not collectively committed writes. CE64 W bits 53..58 identify a LIVE thought, never a durable sealed pointer (EXO-54/148). + +**Conditional synthesis:** compare full qualified results and protected intermediate evidence, nominate a testable condition. A common projection or counterfactual association is neither certified causal law nor source authorization. The ladder is agreement → divergence → lawful in-world convergence → conditional candidate → independently certified law → authorized effect. + +## Confirmed issue in odoo-rs #45 + +The merged test-only [#45](https://github.com/AdaWorldAPI/odoo-rs/pull/45) runs four synthetic unknown guards as 16 distinct thoughts but lands all of them together through [thought-git-probe::oracle::next_version](https://github.com/AdaWorldAPI/lance-graph/blob/main/crates/thought-git-probe/src/oracle.rs). This general oracle legitimately merges compatible writes and records diverging offers; **the merged Version is only a comparison instrument**, not an actual guard world. Its artificial equal-weight NARS revision counts scenarios as observations: cannot treat confidence as independent source evidence or upgrade Epi5 certification. + +## EAW-WORLD-0: smallest independent falsifier (NOT RUN) + +T0 has G=UNKNOWN and two registered mappings to the same already-defined polyfill K: +- A: G TRUE writes X=1. +- B: G FALSE writes Y=1. +- T1 (G TRUE): {X=1, Y absent}; T2 (G FALSE): {X absent, Y=1}. + +**Red:** pass two siblings as Commit to unmodified `next_version`; it can return X=1 and Y=1 because distinct cells never diverge. This is a valid general landing operation but an INVALID interpretation as one counterfactual world. The caller needs a world-identity boundary, not a replacement landing algorithm. + +**Green:** independent, different fixture with two simultaneously valid mappings **in one world** that legitimately converge under source-specified algebra, and another where one result routes to two typed destinations. Neither mapping drops. A common invariant Z across alternatives may be *reported under its tested scope*, not automatically source-committed. + +| Gate | Disable should reveal | +|---|---| +| W1 | Drop world labels; incompatible siblings silently union. | +| W2 | Convert K3 UNKNOWN into FALSE/TRUE through WHERE-only masks. | +| W3 | Squash without protected intermediate, contradiction or multiplicity readers. | +| W4 | Count the same evidence root once per hypothetical world in NARS/ARM. | +| W5 | Reuse CE64 W after sealing/recycling as a persistent identity. | +| W6 | Dedup two valid dimension mappings onto one compiled recipe. | +| W7 | Equal final taxability bit masks different tax amounts, intermediate rounding or ledger routing. | +| W8 | Promote `Associated` or SPO projection to `Causes` without independent causal certificate. | +| W9 | Execute a speculative effect through an unadmitted source action. | + +Independent oracle: enumerate each world separately including source snapshot, method mappings, roots, all protected states. Two unlike synthetic mechanism fixtures; real data needed before any domain distribution claim (EXO-109/133). Preserve causal state transitions and effects as separate D-DRMC/EXO-127 and source-owner decisions; optional NSL/ONNX ranks questions but never establishes facts. All implementation needs separate authorization; #1812 remains operator-rejected and quarantined.