universal-physics-tensor 0.4.5

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2025 Daniel Simon Jr.
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,377 @@
+# Universal Physics Tensor Framework
+
+**Computational framework for exploring unified physics through tensor formalism**
+
+[![License: MIT](https://img.shields.io/badge/License-MIT-blue.svg)](https://opensource.org/licenses/MIT)
+[![Node.js Version](https://img.shields.io/badge/node-%3E%3D18.0.0-brightgreen)](https://nodejs.org/)
+[![TypeScript](https://img.shields.io/badge/TypeScript-5.0+-blue)](https://www.typescriptlang.org/)
+
+## Vision
+
+Modern physics is fragmented across scales and domains: quantum mechanics governs the microscopic, general relativity explains the cosmic, and statistical mechanics bridges between them. Each regime has its own mathematics, assumptions, and approximations. **What if we could represent all of physics in a single mathematical object?**
+
+The Universal Physics Tensor Framework (UPTF) proposes a rank-6 tensor **Π** living in a product space of:
+- **Scale** (quantum → mesoscopic → classical → cosmological)
+- **Force** (gravitational, electromagnetic, weak, strong, emergent)
+- **Symmetry** (Poincaré, gauge, conformal, supersymmetry (`'susy'` in code))
+- **Information** (von Neumann, Shannon, Kolmogorov, quantum discord)
+- **Dimension** (dimensional analysis constraints)
+- **Topology** (topological invariants)
+
+This framework provides a computational laboratory for exploring:
+- **Bridge equations** connecting different physical regimes
+- **Emergence** of macroscopic laws from microscopic interactions
+- **Information-geometry** connections between computation and spacetime
+- **Unification** patterns across seemingly disparate phenomena
+
+## Important Context
+
+**I am not a physicist by trade.** I'm a systems engineer specializing in Test Program Set development for defense avionics. This project applies **engineering systems thinking** to theoretical physics questions.
+
+Think of this as:
+- **A computational framework** for exploring ideas
+- **An engineering approach** to organizing physical knowledge
+- **A collaboration platform** inviting physicists to validate/improve
+- **NOT claiming to have "solved" or "unified" physics**
+- **NOT peer-reviewed theoretical physics** (yet)
+
+**Physicists:** Your expertise is welcomed and needed! Please contribute validation, corrections, and improvements.
+
+## Quick Start
+
+```bash
+# Clone the repository
+git clone https://github.com/danielsimonjr/universal-physics-tensor.git
+cd universal-physics-tensor
+
+# Install dependencies
+npm install
+
+# Build the project
+npm run build
+
+# Run the smoke test
+node test-example.js
+```
+
+## Installation
+
+```bash
+npm install universal-physics-tensor
+```
+
+Or install directly from GitHub:
+
+```bash
+# Clone and build locally
+git clone https://github.com/danielsimonjr/universal-physics-tensor.git
+cd universal-physics-tensor
+npm install
+npm run build
+```
+
+```typescript
+import { UniversalTensor } from 'universal-physics-tensor';
+import type { PhysicalLaw, BridgeEquation } from 'universal-physics-tensor';
+
+// Create a tensor instance
+const tensor = new UniversalTensor({
+  rank: 3, // Start simple
+  scales: ['quantum', 'classical'],
+  forces: ['electromagnetic', 'gravitational'],
+});
+
+// Register a known law (e.g., Schrödinger equation)
+const schrodinger: PhysicalLaw = {
+  id: 'schrodinger',
+  name: 'Schrödinger Equation',
+  equation: 'iℏ ∂ψ/∂t = Ĥψ',
+  scales: ['quantum'],
+  forces: ['electromagnetic'],
+  symmetries: ['poincare'], // strictly Galilean for non-relativistic Schrödinger; 'poincare' used as placeholder (no 'galilean' in current Symmetry type)
+  confidence: 1.0,
+};
+tensor.addLaw(schrodinger);
+
+// Query laws applicable to the quantum regime
+const quantumLaws = tensor.queryLaws({ scale: 'quantum' });
+console.log(quantumLaws.map(l => l.name));
+```
+
+> **Note:** This example uses only the APIs currently implemented. Computable bridge equation solvers (e.g., a `BridgeEquations` class with `decoherence(...)` methods) are specified in Parts I–III but not yet implemented — see [Development Status](#development-status).
+
+## Core Concepts
+
+### The Universal Tensor
+
+The tensor **Π** is decomposed (classified) into three components:
+
+**Π = L + B + E**
+
+Where:
+- **L** (Laws): Known physics on the diagonal (QM, GR, SM, etc.)
+- **B** (Bridges): Off-diagonal equations connecting regimes
+- **E** (Emergence): Higher-order correlations producing emergent phenomena
+
+> **Note on notation:** the "+" here denotes disjoint union of catalog entries (each tensor slot holds content of exactly one category), not algebraic addition. Different slots may hold quantities of different physical dimensions (e.g., a Lagrangian density and a decoherence rate) and cannot be summed numerically. See [Part I §1.2](docs/specification/Part-I.md) for the formal treatment.
+
+### Bridge Equations
+
+Bridge equations connect different physical regimes:
+
+**Quantum ↔ Classical:**
+- Decoherence Master Equation
+- Mesoscopic Coherence Length
+
+**Information ↔ Geometry:**
+- Landauer-Wheeler Information-Geometry Equation
+- Holographic Quantum Error Correction
+
+**Microscopic ↔ Macroscopic:**
+- Universal Emergence Equation
+- Complexity-Entropy Production Relation
+
+See [Part I](docs/specification/Part-I.md) and [Part II](docs/specification/Part-II.md) of the formal specification for the complete bridge equation catalog (Bridge Equations 11–50). Part III covers algorithmic implementation.
+
+## Documentation
+
+### Formal Specification (6-Part Series)
+Complete theoretical foundation of the Universal Physics Tensor Framework:
+
+- **[Part I: Foundation & Mathematical Framework](docs/specification/Part-I.md)** - Tensor structure, Π = L + B + E decomposition, Bridge Equations 11-20
+- **[Part II: Extended Bridge Equation Catalog](docs/specification/Part-II.md)** - Bridge Equations 21-50 across condensed matter, quantum biology, emergent spacetime
+- **[Part III: Computational Implementation](docs/specification/Part-III.md)** - Algorithms, information-theoretic bounds, ML integration
+- **[Part IV: Validation & Implications](docs/specification/Part-IV.md)** - Experimental pathways, philosophical implications, applications
+- **[Part V: Advanced Mathematics & Protocols](docs/specification/Part-V.md)** - Category theory extensions, validation protocols, algorithmic analysis
+- **[Part VI: Deployment & Governance](docs/specification/Part-VI.md)** - Implementation strategies, applications, governance frameworks
+
+### Planning & Development
+- **[Development Plan](docs/planning/Development-Plan.md)** - Phased implementation roadmap
+- **[Implementation Plan](docs/planning/Implementation-Plan.md)** - Technical architecture
+- **[System Requirements](docs/planning/System-Requirements.md)** - Functional requirements
+
+### Code Documentation
+- **[Examples](examples/)** - Usage examples and code samples
+- **[Documentation Index](docs/README.md)** - Complete documentation guide
+
+## Benchmarks
+
+UPT ships benchmark infrastructure via [Vitest bench](https://vitest.dev/guide/features.html#benchmarking):
+
+```bash
+npm run bench        # interactive run (median, p99, ops/sec)
+npm run bench:ci     # verbose run for CI log capture
+```
+
+v0.4.5 baseline results are recorded in [`docs/architecture/benchmarks.md`](docs/architecture/benchmarks.md).
+These are **correctness-first baselines, not optimization targets** — no threshold
+gates in v0.4.5. Thresholds and comparative analysis are v0.5.0 scope.
+
+## Development Status
+
+**Current Version:** v0.4.5 (released 2026-05-17). Refactor + benchmark scaffold release.
+Dead-code removal (4 deprecated/unused exports), `Float64Tensor` visibility cleanup,
+`flattenNA` JSDoc fix, bridge-test helper consolidation across 39 files (+84 LOC net),
+and `bench/` infrastructure with AD + BE-37 eikonal + Schwarzschild geodesic baseline
+benchmarks. No new features, no bridge work, no breaking changes. See
+[CHANGELOG](CHANGELOG.md) for full details.
+
+### v0.4.5 — refactor + benchmark baselines (2026-05-17)
+
+| Metric | Value |
+|---|---|
+| Bridge catalog | **42 / 42** (IDs 11-52, unchanged from v0.4.0) |
+| Test suite | passing (see `npm test`) |
+| `tsc --noEmit` | clean |
+| Benchmark suites | 4 (sanity, AD, BE-37 eikonal, Schwarzschild geodesic) |
+| Breaking changes | none |
+
+**Honest framing:** This is a pure refactor + benchmark scaffold release.
+LOC delta across the bridge-test migration is +84 net (helper file +81 LOC;
+migration across 39 files is +3 LOC net). Benchmarks establish correctness-first
+baselines for v0.5.0+ comparison — not optimization wins.
+
+**Deferred to v0.5.0:** Faraday-cascade BREAKING changes, symplectic
+geodesic integrator + bisection perihelion finder, benchmark threshold
+gates, Three.js viz.
+
+### v0.4.0 — connection layer + AD + 2 new bridges (2026-05-15)
+
+| Metric | Value |
+|---|---|
+| Bridge catalog | **42 / 42** (IDs 11-52) |
+| Test suite | passing (see `npm test`) |
+| `tsc --noEmit` | clean |
+| New public-surface entries | 11 (`christoffel`, `CovariantDerivativeNode`, `integrateGeodesic`, `evaluateGravitationalLensing`, `evaluatePerihelionPrecession`, `evaluateBE37CovariantEikonalNumerical`, `hasAutogradSupport`, `EngineCapabilityError`, `DuplicateCoordinateWarning`, `ForwardGradResult`, `ReverseGradResult`) |
+| AD engines | `Float64ReferenceEngine` + `MathTSEngine` (both pass identical conformance suite) |
+| Default engine | `MathTSEngine` when optional deps installed; degrades to `Float64ReferenceEngine` with `console.warn` |
+
+**Honest framing:** Both engines run the same naive O(n) algorithms in
+v0.4.0; the MathTSEngine-default flip is a dep-shape + code-path-signal
+change, not a performance win. MathTSEngine becomes default because that
+is where the AD capability lives.
+
+**Deferred to v0.5.0:** Faraday-cascade BREAKING changes, symplectic
+geodesic integrator + bisection perihelion finder (needed for
+RK4-cross-validation of Mercury's Δφ ≈ 5.02e-7 rad/orbit), Three.js
+viz.
+
+### ✅ Numerical backend (v0.3.5, 2026-05-14)
+
+Numerical-contraction backend: `TensorEngine` interface +
+`Float64ReferenceEngine` (zero-dep, default) + `MathTSEngine` (backed
+by `@danielsimonjr/mathts-tensor`). AST→engine lowering, two-way
+numerical partial derivatives, `InverseMetricInconsistencyWarning`,
+BE-37 Shapiro-delay eikonal end-to-end to ±1e-9 relative error.
+
+### ✅ Catalog closed at 40/40 (v0.1.0, 2026-05-12)
+
+First tagged release; transitions the project out
+of pre-formalization to a stable scaffold. SemVer applies from this
+release onward.
+
+### ✅ Catalog closed at 40/40 (master `b358257`, 2026-05-11)
+
+The Tier-5 AST encoding rollout reached **full coverage** with the
+Wave Z arc (commits `9cb299f` through `b358257`). Every bridge in
+`src/bridges/index.ts` has a non-null `dimensional_signature`, an AST
+module in `src/bridges/equations/`, a numerical evaluator with
+input-validation guards, and per-bridge encoding tests.
+
+**Final invariants:**
+
+| Metric | Value |
+|---|---|
+| AST encodings | **40 / 40** |
+| `dimensional_signature === null` count | 0 |
+| `status === 'invalid'` count | 0 |
+| `tractability_class === 'undefined'` count | 0 |
+| Test suite | **1161 / 1161** passing across 68 files |
+| Status distribution | 6 established · 31 speculative · 3 highly-speculative · 0 invalid |
+
+**Catalog:** 40 bridge equations indexed in `src/bridges/index.ts`, each
+with structured `KnownIssue` records (severity / description / fixable),
+references, dependencies, and disposition status. Spec ↔ index drift
+guard: `tests/bridges/spec-vs-index.test.ts` asserts every audit-marker
+in the spec markdown has a matching entry.
+
+**Dimensional analyzer** (`src/dimensional/`): operator-blind scalar AST
+with primitives `symbol | op (* / + - ^) | integral | derivative`. 22
+named SI dimensions with round-trip `format()`. Validator hardening: `^`
+arity guard, switch-exhaustiveness `never` arm, integral / derivative
+shape guards, informative violation diagnostics. `inferDimensionForBridge`
+consults `EXPECTED_DIMENSION_BY_BRIDGE` for cross-checking; the lookup
+table now has 40 entries (one per encoded bridge).
+
+**Encoding patterns established during the rollout:** typed-stubs for
+transcendentals and operator-valued interiors (log/exp/tensor
+contractions absorbed into single dimensioned symbols);
+squared-form to avoid fractional exponents (S², L²=Γt, Q_soft²);
+ensemble-average stubs (Jarzynski ⟨exp(-βW)⟩); observational-bound
+dimensionless ratios (GW170817 |c_GW-c|/c); integral primitive for
+boundary integrals (BE-26 WKB, BE-44 soft-hair L²-norm); and **bridge
+reformulation** — replacing broken or contested formulations with
+canonical literature forms while preserving the bridge label
+(precedent: BE-25 Penrose-Hameroff → IIT Φ_max; Wave Z applied this
+to BE-16 → Landauer, BE-37 → Shapiro delay, BE-28 → Onsager σ).
+
+**Catalog round-trip invariant:** every entry's encoded RHS validates
+back to its registered `dimensional_signature` via
+`tests/bridges/dimensional-signature-catalog.test.ts`. All 40 entries
+are signature-populated and round-trip-verified.
+
+**Cross-LLM validation:** the three highest-stakes Wave-Z reformulations
+(BE-16 Landauer, BE-37 Shapiro, BE-28 Onsager — all promoted from
+`status='invalid'`) were independently cross-validated by both OpenAI
+o3 and Gemini Pro. Both reasoners agreed on the verdict for all three.
+The BE-28 Onsager relabeling carries a prominent `⚠ CRITICAL WARNING`
+in its module docstring: the encoded `σ = Σᵢ Jᵢ Xᵢ` is the *definiendum*
+of MEPP, not the variational maximization principle itself.
+
+**Test suite:** 1161 tests across 68 files, including property-style
+sweeps, limit identities, honest-archaeology disposition pins, and
+catalog-wide round-trip invariants. `npm test` runs the full suite in
+~15 s on a modern dev box; typecheck is clean.
+
+**Planning artifacts** in `docs/planning/`: Tier-5 encoding triage memo
+(refreshed 2026-05-11 with Wave Z closure record), BE-37 VSL
+disposition brief, dimensionless-stub convention doc, Bridge
+Remediation Plan (R0-R5 audit chain), v0.1.0 release procedure.
+
+### Planned (post-closure)
+
+- **v0.1.0 release** — trigger condition met; cut is a discretionary
+  release decision documented in `v0.1.0-Release-Procedure.md`.
+- **Grammar extensions for genuinely-deferred primitives:** Dirac-δ
+  correlators (would enable a fuller BE-15 Hohenberg-Halperin Model A
+  Langevin encoding), variational-δ operator (would enable a faithful
+  MEPP encoding for BE-28 that captures the maximization claim).
+  Neither is currently planned — both are scope expansions beyond the
+  scalar-AST design.
+- **Wider rank-6 tensor with numerical operations** — the
+  catalog-encoding work has been the priority; tensor operators are the
+  next conceptual layer.
+- **Three.js / game-engine class visualization** in a separate repo
+  (out of UPT scope per project decision; see
+  `docs/planning/Future-Production-Hardening.md`).
+- **Experimental data validation pipelines** — applicable now that
+  catalog encoding is complete.
+- **Collaboration with physics researchers** — the open question is
+  recruiting them (see Contributing section).
+
+## Contributing
+
+Contributions are welcome, especially from:
+- **Physicists** - Validate equations, suggest corrections, add physics insights
+- **Mathematicians** - Verify formalism, improve rigor, suggest optimizations
+- **Engineers** - Improve architecture, add features, optimize performance
+- **Educators** - Create examples, improve documentation, develop tutorials
+
+## Background & Philosophy
+
+This project emerged from a simple question: **"If I had to design a test program set for all of physics, how would I structure it?"**
+
+In Test Program Set (TPS) development for avionics, we create systems that:
+- Interface across multiple domains (hardware, software, physics)
+- Bridge different measurement scales (micro to macro)
+- Maintain consistency across transformations
+- Enable diagnostic troubleshooting
+
+The same systems thinking applies to physics:
+- Known laws = verified test procedures (diagonal elements)
+- Bridge equations = interface adapters (off-diagonal elements)
+- Emergence = higher-order system behaviors (correlations)
+- Validation = experimental data matching (consistency checks)
+
+This is an **engineer's approach to theoretical physics** — systematic, organized, and open to collaboration with domain experts.
+
+## License
+
+MIT License - see [LICENSE](LICENSE) for details.
+
+## Author
+
+**Daniel Simon Jr.**
+- Systems Engineer specializing in Test Program Set Development
+- Electrical Engineering, University of Texas at Dallas
+- Currently: Senior Test Engineer, Lockheed Martin
+- Interests: Integrating Philosophy, Science, and Technology
+
+**Connect:**
+- GitHub: [@danielsimonjr](https://github.com/danielsimonjr)
+- LinkedIn: [danielsimonjr](https://linkedin.com/in/danielsimonjr)
+- Substack: [Simon Says!](https://danielsimonjr.substack.com)
+- Website: [danielsimonjr.github.io/resume](https://danielsimonjr.github.io/resume/)
+
+## Acknowledgments
+
+This work builds on the shoulders of giants:
+- Tensor formalism from differential geometry
+- Bridge equations inspired by effective field theory
+- Information-theoretic insights from quantum information theory
+- Emergence concepts from condensed matter physics
+- Systems thinking from engineering practice
+
+---
+
+**Disclaimer:** This is an exploratory computational framework, not peer-reviewed physics research. All results should be validated against experimental data and theoretical physics literature. Collaboration with professional physicists is actively sought to improve accuracy and rigor.

package/dist/bridges/equations/be-11-decoherence-master.d.ts

@@ -0,0 +1,83 @@
+/**
+ * Bridge Equation 11 — Decoherence Master Equation (Lindblad form).
+ *
+ * The bridge entry's main formula is the GKSL/Lindblad master equation
+ *
+ *   ∂ρ/∂t = -(i/ℏ)[H, ρ]
+ *           + Σ_k γ_k(λ) [ L_k ρ L_k† − ½ {L_k† L_k, ρ} ]
+ *
+ * with the coupling-dependent rate (corrected 2026-05-04, Caldeira-Leggett
+ * weak-coupling form)
+ *
+ *   γ_k(λ) = γ_0 (λ / λ_0)²
+ *
+ * where γ_0 is a reference rate (s^-1), λ is the system-environment coupling,
+ * and λ_0 is a reference coupling chosen so γ_k(λ_0) = γ_0.
+ *
+ * References:
+ *   - Lindblad, Commun. Math. Phys. 48:119 (1976) — Lindblad form.
+ *   - Gorini-Kossakowski-Sudarshan, J. Math. Phys. 17:821 (1976) — GKSL.
+ *   - Caldeira & Leggett, Physica A 121, 587 (1983) — system-bath model.
+ *   - Caldeira & Leggett, Phys. Rev. A 31, 1059 (1985), §III.B — γ ∝ λ².
+ *   - Breuer & Petruccione, *The Theory of Open Quantum Systems* (OUP 2002),
+ *     §3.6, §4.5 — weak-coupling derivation.
+ *
+ * Status: established (within open-quantum-systems theory).
+ *
+ * Honest-claude scope notes:
+ *   - The full Lindblad equation cannot be encoded as a typed ExprNode tree
+ *     in this MVP: the analyzer tracks only SI dimensions, not operator
+ *     algebra, commutators [H,ρ], or anti-commutators {A,B}. Density
+ *     matrices ρ and Lindblad operators L_k carry operator structure that
+ *     this analyzer is not designed to validate.
+ *   - What we DO encode is the (corrected) auxiliary rate function
+ *     γ_k(λ) = γ_0 (λ/λ_0)², which is an honest scalar relation in
+ *     [frequency] = [T^-1]. This validates that the corrected rate is
+ *     dimensionally consistent and gives downstream code a numerical
+ *     evaluator.
+ *   - Tier 4.5 follow-up (operator-aware ExprNode): would let us encode the
+ *     LHS dρ/dt and the unitary-and-dissipator RHS terms; out of scope for
+ *     the R0 audit fix.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 11: Decoherence Master Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
+ * @module bridges/equations/be-11-decoherence-master
+ */
+import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
+/**
+ * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
+ * ExprNode tree:  γ_0 * (λ / λ_0)^2.
+ *
+ * Both λ and λ_0 share the same (unspecified, but identical) dimension, so
+ * the ratio is dimensionless; raising to the 2nd power keeps it
+ * dimensionless; multiplying by γ_0 (frequency) gives [frequency].
+ *
+ * We model λ and λ_0 as DIMENSIONLESS in the AST. Physically the user may
+ * choose λ to be a dimensionless coupling (most common) or a coupling with
+ * its own dimension; either way the *ratio* λ/λ_0 is dimensionless, so the
+ * scalar AST encoding faithfully captures the dimensional content.
+ */
+export declare const DECOHERENCE_RATE_RHS: ExprNode;
+/** LHS of the equation: a single symbol of dimension [frequency]. */
+export declare const DECOHERENCE_RATE_LHS: ExprNode;
+export interface DecoherenceRateInputs {
+    /** Reference rate γ_0 in inverse seconds (s^-1). Must be ≥ 0. */
+    gamma0_per_s: number;
+    /** System-environment coupling strength (any consistent unit). */
+    lambda: number;
+    /** Reference coupling λ_0 (same unit as λ). Must be > 0. */
+    lambda0: number;
+}
+/**
+ * Evaluate γ_k(λ) = γ_0 * (λ / λ_0)^2 (Caldeira-Leggett weak-coupling form).
+ *
+ * @returns Decoherence rate in s^-1.
+ */
+export declare function evaluateDecoherenceRate(input: DecoherenceRateInputs): number;
+/**
+ * Run the rate-function AST through the dimensional analyzer and confirm
+ * both sides are [frequency]. Returns the inferred dimensions for
+ * traceability.
+ */
+export declare function validateDecoherenceRateDimensions(): DimensionValidationReport;
+//# sourceMappingURL=be-11-decoherence-master.d.ts.map

package/dist/bridges/equations/be-11-decoherence-master.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-11-decoherence-master.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,oBAAoB,EAAE,QAelC,CAAC;AAEF,qEAAqE;AACrE,eAAO,MAAM,oBAAoB,EAAE,QAAoC,CAAC;AAIxE,MAAM,WAAW,qBAAqB;IACpC,iEAAiE;IACjE,YAAY,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,MAAM,EAAE,MAAM,CAAC;IACf,4DAA4D;IAC5D,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,qBAAqB,GAAG,MAAM,CAmB5E;AAID;;;;GAIG;AACH,wBAAgB,iCAAiC,IAAI,yBAAyB,CAS7E"}

package/dist/bridges/equations/be-11-decoherence-master.js

@@ -0,0 +1,116 @@
+/**
+ * Bridge Equation 11 — Decoherence Master Equation (Lindblad form).
+ *
+ * The bridge entry's main formula is the GKSL/Lindblad master equation
+ *
+ *   ∂ρ/∂t = -(i/ℏ)[H, ρ]
+ *           + Σ_k γ_k(λ) [ L_k ρ L_k† − ½ {L_k† L_k, ρ} ]
+ *
+ * with the coupling-dependent rate (corrected 2026-05-04, Caldeira-Leggett
+ * weak-coupling form)
+ *
+ *   γ_k(λ) = γ_0 (λ / λ_0)²
+ *
+ * where γ_0 is a reference rate (s^-1), λ is the system-environment coupling,
+ * and λ_0 is a reference coupling chosen so γ_k(λ_0) = γ_0.
+ *
+ * References:
+ *   - Lindblad, Commun. Math. Phys. 48:119 (1976) — Lindblad form.
+ *   - Gorini-Kossakowski-Sudarshan, J. Math. Phys. 17:821 (1976) — GKSL.
+ *   - Caldeira & Leggett, Physica A 121, 587 (1983) — system-bath model.
+ *   - Caldeira & Leggett, Phys. Rev. A 31, 1059 (1985), §III.B — γ ∝ λ².
+ *   - Breuer & Petruccione, *The Theory of Open Quantum Systems* (OUP 2002),
+ *     §3.6, §4.5 — weak-coupling derivation.
+ *
+ * Status: established (within open-quantum-systems theory).
+ *
+ * Honest-claude scope notes:
+ *   - The full Lindblad equation cannot be encoded as a typed ExprNode tree
+ *     in this MVP: the analyzer tracks only SI dimensions, not operator
+ *     algebra, commutators [H,ρ], or anti-commutators {A,B}. Density
+ *     matrices ρ and Lindblad operators L_k carry operator structure that
+ *     this analyzer is not designed to validate.
+ *   - What we DO encode is the (corrected) auxiliary rate function
+ *     γ_k(λ) = γ_0 (λ/λ_0)², which is an honest scalar relation in
+ *     [frequency] = [T^-1]. This validates that the corrected rate is
+ *     dimensionally consistent and gives downstream code a numerical
+ *     evaluator.
+ *   - Tier 4.5 follow-up (operator-aware ExprNode): would let us encode the
+ *     LHS dρ/dt and the unitary-and-dissipator RHS terms; out of scope for
+ *     the R0 audit fix.
+ *
+ * @see docs/specification/Part-I.md ("Bridge Equation 11: Decoherence Master Equation")
+ * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 11)
+ * @module bridges/equations/be-11-decoherence-master
+ */
+import { validate, validateEquation } from '../../dimensional/validator.js';
+import { FREQUENCY, DIMENSIONLESS, } from '../../dimensional/types.js';
+// --- Symbolic AST: γ_k(λ) = γ_0 * (λ / λ_0)^2 ---
+const sym = (name, dim) => ({ kind: 'symbol', name, dim });
+/**
+ * RHS of the corrected Caldeira-Leggett weak-coupling rate as a typed
+ * ExprNode tree:  γ_0 * (λ / λ_0)^2.
+ *
+ * Both λ and λ_0 share the same (unspecified, but identical) dimension, so
+ * the ratio is dimensionless; raising to the 2nd power keeps it
+ * dimensionless; multiplying by γ_0 (frequency) gives [frequency].
+ *
+ * We model λ and λ_0 as DIMENSIONLESS in the AST. Physically the user may
+ * choose λ to be a dimensionless coupling (most common) or a coupling with
+ * its own dimension; either way the *ratio* λ/λ_0 is dimensionless, so the
+ * scalar AST encoding faithfully captures the dimensional content.
+ */
+export const DECOHERENCE_RATE_RHS = {
+    kind: 'op', op: '*',
+    args: [
+        sym('gamma_0', FREQUENCY),
+        {
+            kind: 'op', op: '^',
+            args: [
+                {
+                    kind: 'op', op: '/',
+                    args: [sym('lambda', DIMENSIONLESS), sym('lambda_0', DIMENSIONLESS)],
+                },
+                sym('2', DIMENSIONLESS),
+            ],
+        },
+    ],
+};
+/** LHS of the equation: a single symbol of dimension [frequency]. */
+export const DECOHERENCE_RATE_LHS = sym('gamma_k', FREQUENCY);
+/**
+ * Evaluate γ_k(λ) = γ_0 * (λ / λ_0)^2 (Caldeira-Leggett weak-coupling form).
+ *
+ * @returns Decoherence rate in s^-1.
+ */
+export function evaluateDecoherenceRate(input) {
+    const { gamma0_per_s, lambda, lambda0 } = input;
+    if (!Number.isFinite(gamma0_per_s) || gamma0_per_s < 0) {
+        throw new RangeError(`evaluateDecoherenceRate: gamma0_per_s must be a finite non-negative number, got ${gamma0_per_s}`);
+    }
+    if (!Number.isFinite(lambda)) {
+        throw new RangeError(`evaluateDecoherenceRate: lambda must be finite, got ${lambda}`);
+    }
+    if (!Number.isFinite(lambda0) || lambda0 <= 0) {
+        throw new RangeError(`evaluateDecoherenceRate: lambda0 must be a finite positive number, got ${lambda0}`);
+    }
+    const ratio = lambda / lambda0;
+    return gamma0_per_s * ratio * ratio;
+}
+// --- Self-validation ---
+/**
+ * Run the rate-function AST through the dimensional analyzer and confirm
+ * both sides are [frequency]. Returns the inferred dimensions for
+ * traceability.
+ */
+export function validateDecoherenceRateDimensions() {
+    const eq = validateEquation(DECOHERENCE_RATE_LHS, DECOHERENCE_RATE_RHS);
+    const lhs = validate(DECOHERENCE_RATE_LHS);
+    const rhs = validate(DECOHERENCE_RATE_RHS);
+    return {
+        ok: eq.ok,
+        lhsDim: lhs.inferredDimension,
+        rhsDim: rhs.inferredDimension,
+    };
+}
+//# sourceMappingURL=be-11-decoherence-master.js.map

package/dist/bridges/equations/be-11-decoherence-master.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"be-11-decoherence-master.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-11-decoherence-master.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AAGH,OAAO,EAAE,QAAQ,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAC5E,OAAO,EAEL,SAAS,EACT,aAAa,GACd,MAAM,4BAA4B,CAAC;AAEpC,mDAAmD;AAEnD,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,GAAc,EAAY,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;AAExF;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAa;IAC5C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC;QACzB;YACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,EAAE,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;iBACrE;gBACD,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC;aACxB;SACF;KACF;CACF,CAAC;AAEF,qEAAqE;AACrE,MAAM,CAAC,MAAM,oBAAoB,GAAa,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;AAaxE;;;;GAIG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAA4B;IAClE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,UAAU,CAClB,mFAAmF,YAAY,EAAE,CAClG,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,UAAU,CAClB,uDAAuD,MAAM,EAAE,CAChE,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,UAAU,CAClB,0EAA0E,OAAO,EAAE,CACpF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/B,OAAO,YAAY,GAAG,KAAK,GAAG,KAAK,CAAC;AACtC,CAAC;AAED,0BAA0B;AAE1B;;;;GAIG;AACH,MAAM,UAAU,iCAAiC;IAC/C,MAAM,EAAE,GAAG,gBAAgB,CAAC,oBAAoB,EAAE,oBAAoB,CAAC,CAAC;IACxE,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,MAAM,GAAG,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC3C,OAAO;QACL,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,MAAM,EAAE,GAAG,CAAC,iBAAiB;QAC7B,MAAM,EAAE,GAAG,CAAC,iBAAiB;KAC9B,CAAC;AACJ,CAAC"}