docs(EAW-4): world-isolated Thought-Git and causal epistemic synthesis

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.