Search papers, labs, and topics across Lattice.
To provide a machine-verifiable audit trail for discarded LLM reasoning trajectories, the authors map concept-decomposition graphs to two-parameter scattering states governed by strict energy conservation ($T+R+A=1$) and analyze them as graph potential games. This framework provides exact verification down to machine epsilon ($2.2 \times 10^{-16}$) and solves synthetic trap graphs, establishing an auditable ledger for multi-step reasoning. However, pre-registered testing reveals no statistical edge over a trivial six-keyword heuristic on GSM8K and StrategyQA ($p=0.5$), falsifies dynamical-equivalence propositions, and demonstrates that the method's value is purely formal verifiability rather than empirical task accuracy.
Strict physical conservation guarantees over LLM reasoning graphs achieve machine-verifiable path auditing down to machine epsilon, even as pre-registered falsification shows zero accuracy advantage over trivial keyword heuristics on real-world benchmarks.
Multi-step LLM reasoning lacks a machine-recheckable ledger: discarded reasoning paths leave no auditable record. We propose the Deposon scattering layer, which binds each node of an LLM-generated concept-decomposition graph to a two-parameter Deposon state; paths undergo three-channel scattering -- transmission, reflection, irreversible dissipation -- obeying T+R+A=1 for arbitrary parameters, with a maximum per-path energy-audit deviation of 2.2E-16 (machine epsilon). We report all three evidence tiers honestly. On synthetic trap benchmarks the path-filtering gain is closed (pre-registered): unified reaches 100% versus a decoy-capture baseline at 7%/10%. On real benchmarks the layer is indistinguishable from a trivial six-keyword rule filter (GSM8K 0.87 >= 0.85, McNemar p=0.5; StrategyQA 0.899 = 0.899); no difference is detected here, so we sharpen the claim to "the differential value lies solely in machine verifiability." Fusion yields a second negative result: convex combinations with a semantic prior never improve (physics 0.484 -> 0.452), and the apparent lambda=2 gain is an anti-field artifact; any fusion gain must be nonlinear. Modeling the reverse dynamics as a potential game on the graph, we evidence an auditable scalar's monotonicity and near-gradientness and quantify the empirical coordination ratio (ECR). The three formalized dynamical-equivalence propositions (P1a/P1b/T-P1c) are falsified under the pre-registered kill protocol, and the potential-game claim is downgraded to approximate (cyclic-graph median residual 0.669): only consistency-level evidence survives at the dynamical level. Code: github.com/zeroandcat/Deposon.
