universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/equations/be-25-iit-phi.js

@@ -1,255 +0,0 @@
-/**
- * Bridge Equation 25 — Consciousness ↔ Information Integration (IIT Φ).
- *
- * Encodes the **inner intrinsic-information form** from Integrated
- * Information Theory (Tononi; Oizumi-Albantakis-Tononi 2014 IIT 3.0;
- * Albantakis et al. 2023 IIT 4.0):
- *
- *   ii(s, s̃) = p(s̃ | s) · log₂[ p(s̃ | s) / p(s̃) ]
- *
- * where `s` is a candidate-substrate state and `s̃` a successor state
- * in its transition probability matrix (TPM). `ii(s, s̃)` measures, in
- * bits, the irreducibility of the conditional probability `p(s̃|s)`
- * against the substrate-marginal `p(s̃)`.
- *
- * The full canonical Φ_max formula is
- *
- *   Φ_max(S) = min_{θ ∈ partitions(S)} [ ii(s, s̃) - ii_θ(s, s̃) ]
- *
- * The outer `min_θ` is the **minimum information partition (MIP)** —
- * a discrete optimization over the set of bipartitions of the
- * substrate. The UPT AST grammar (`symbol | op (* / + - ^) | integral |
- * derivative`) has no `min` primitive over a discrete index set, so the
- * MIP outer structure is **deferred grammar-extension** (same status
- * as BE-15 stochastic noise and BE-28 Lagrange multipliers). This
- * module encodes the **inner** ii(s, s̃) — the kernel that the MIP
- * minimizes — as DIMENSIONLESS.
- *
- * **Bits is a pseudo-unit, not an SI dimension.** Φ and ii have units
- * of bits when log₂ is used (or nats with ln, hartleys with log₁₀).
- * Bits is not in the SI 7-base system; it is the LHS of a unit-free
- * pure number when measured in the canonical IIT convention. The
- * dimensional analyzer therefore types ii as DIMENSIONLESS `[1]`. The
- * encoding committee preserves the "bits" semantics by docstring
- * convention; the validator only enforces that all components are
- * dimensionally consistent.
- *
- * **Faithful `transcendental` log₂ (v0.19).** `log₂[p(s̃|s)/p(s̃)]` is encoded
- * as a `transcendental` `log2` node over the inner ratio, which is exposed
- * separately as `BE25_LOG_RATIO_ARG` so a lemma test can verify the argument is
- * dimensionless directly. (dimensionless → dimensionless, so the round-trip
- * dimensional_signature is unchanged.)
- *
- * **AST structure (multiplicative, not additive — note the difference
- * from BE-45).** BE-45's RHS `log(M_P/H_inf) − γ·log(r/0.01)` is a
- * *sum* of two log-stubs. BE-25's `p(s̃|s) · log₂[p(s̃|s)/p(s̃)]` is a
- * *product* — a probability times a log-stub. Both are encoded with
- * the same fresh-symbol-stub convention; only the outer operator
- * differs.
- *
- * Bracket-checks (numerical evaluator computes ii(s,s̃) = p_cond ·
- * log₂(p_cond/p_marg)):
- *   - Maximum irreducibility (p_cond = 1, p_marg → 0⁺): ii → +∞;
- *   - No irreducibility (p_cond = p_marg, e.g. both 0.5):
- *     ii = 0.5 · log₂(1) = 0;
- *   - "Surprise" case (p_cond = 0.5, p_marg = 0.25):
- *     ii = 0.5 · log₂(2) = 0.5 bits;
- *   - Shannon-zero (p_cond = 0, p_marg arbitrary): ii = 0 (limit);
- *   - Impossible-joint (p_cond > 0, p_marg = 0): KL-divergence
- *     diverges — caller error (RangeError thrown).
- *
- * References:
- *   - Tononi 2008 *Biol. Bull.* 215:216 (canonical original IIT
- *     formulation; integrated information as a measure of
- *     consciousness).
- *   - Oizumi, Albantakis & Tononi 2014 *PLoS Comput. Biol.* 10:e1003588
- *     (IIT 3.0; calculable Φ via earth-mover's distance / Wasserstein
- *     metric over partitions; minimum information partition; the
- *     canonical computational-IIT reference).
- *   - Albantakis, Barbosa, Findlay, Grasso, Haun, Marshall, Mayner,
- *     Zaeemzadeh, Boly, Juel, Sasai, Fujii, David, Bjørndahl, Lemmon,
- *     Allen, Mosquera, Ladd, Hassan, Hendren, Kim, Yu, Tian, Chen,
- *     Tsuchiya & Tononi 2023 *PLoS Comput. Biol.* 19:e1011465
- *     (arXiv:2212.14787; IIT 4.0 with explicit axiom-postulate
- *     framework).
- *   - Wikipedia "Phi (integrated information theory)" / "Integrated
- *     information theory" (canonical Φ formula via MIP and intrinsic
- *     information ii(s,s̃) = p(s̃|s) log₂[p(s̃|s)/p(s̃)]).
- *   - Aaronson 2014 blog "Why I am not an integrated information
- *     theorist" (computational counterexamples yielding arbitrarily
- *     large Φ for systems generally not regarded as conscious;
- *     canonical contested-framework citation).
- *
- * Status: speculative (NOT lifted by this encoding).
- *
- * Honest-claude scope notes:
- *   - This module encodes the **inner** ii(s, s̃) only. The outer
- *     `min_θ` over partitions (MIP) and the partition-conditional
- *     `ii_θ` lemma are NOT encoded — both require a `min`-over-index-
- *     set grammar extension that the UPT AST does not currently
- *     support. The same deferral applies to BE-15 (stochastic noise)
- *     and BE-28 (Lagrange multipliers).
- *   - Status 'speculative' is **not lifted by this encoding**. IIT
- *     itself is calculable and well-defined; the bridge framing
- *     (consciousness ↔ maximally-integrated-information) is contested
- *     by Aaronson 2014 (computational counterexamples) and Doerig
- *     2019 (unfolding argument). Pinning a Tier-5 AST does not
- *     promote the bridge claim.
- *   - The 0·log(0) = 0 limit (p_cond → 0) is enforced by the
- *     numerical evaluator following Shannon's canonical convention
- *     and Oizumi-Albantakis-Tononi 2014. The p_marg = 0 with
- *     p_cond > 0 case (KL-divergence singularity) is rejected with
- *     RangeError because the joint outcome is physically inconsistent
- *     (the system did transition to s̃ but the marginal says s̃ is
- *     impossible).
- *   - Φ_max is exponential in substrate size (EXPTIME); the numerical
- *     evaluator here only computes ii for a single (s, s̃) pair, not
- *     the outer MIP minimization. Computing Φ_max for substrates with
- *     more than ~10 elements is intractable in practice.
- *   - **Encoded form vs. IIT 4.0 canonical metric (Wave-Z final-review
- *     scope note, 2026-05-11):** the encoded
- *     `ii(s,s̃) = p(s̃|s) · log₂[p(s̃|s)/p(s̃)]` is the *pointwise-KL*
- *     / Wikipedia / IIT-pedagogical simplified form of the intrinsic
- *     information. IIT 3.0 (Oizumi-Albantakis-Tononi 2014) and IIT 4.0
- *     (Albantakis et al. 2023) use the **earth-mover's distance**
- *     (Wasserstein metric) as the canonical irreducibility measure on
- *     the cause-effect repertoire, NOT the pointwise log-ratio. The
- *     two agree in spirit and give qualitatively similar Φ rankings
- *     for small systems but differ quantitatively. The encoded log-
- *     ratio is preferred here because (a) it has a closed-form scalar
- *     reduction the AST grammar can express, and (b) it is the form
- *     most commonly cited in introductory IIT references. Encoding
- *     the Wasserstein metric would require a transport-plan primitive
- *     the UPT AST does not have.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 25: Consciousness — Information Integration Bridge")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 25)
- * @see src/bridges/equations/be-25-orch-or.ts (archived; legacy Penrose-Hameroff form)
- * @module bridges/equations/be-25-iit-phi
- */
-import { DIMENSIONLESS, } from '../../dimensional/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST ---
-/**
- * Lemma AST: the conditional probability `p(s̃|s)` (DIMENSIONLESS,
- * ∈ [0, 1]).
- *
- * Exposed as a separate node so it can be reused inside both
- * `BE25_LOG_RATIO_ARG` and `BE25_INTRINSIC_INFORMATION_RHS`. The
- * validator only sees its dimension (DIMENSIONLESS); the [0, 1] range
- * is a semantic property enforced by the numerical evaluator's
- * input-validation guards, not the type system.
- */
-export const BE25_P_CONDITIONAL = sym('p_cond', DIMENSIONLESS);
-/**
- * Lemma AST: the marginal probability `p(s̃)` (DIMENSIONLESS, ∈ [0, 1]).
- *
- * Same convention as `BE25_P_CONDITIONAL`: dimension is DIMENSIONLESS;
- * the [0, 1] range is enforced numerically, not type-theoretically.
- */
-export const BE25_P_MARGINAL = sym('p_marg', DIMENSIONLESS);
-/**
- * Lemma AST: the log₂ argument `p(s̃|s) / p(s̃)` (DIMENSIONLESS, the
- * ratio of two probabilities).
- *
- * Exposed for the lemma test that verifies the argument is
- * dimensionless (per the dimensionless-stub convention; see
- * `src/dimensional/README.md` "Encoding transcendental functions").
- */
-export const BE25_LOG_RATIO_ARG = {
-    kind: 'op', op: '/',
-    args: [
-        BE25_P_CONDITIONAL,
-        BE25_P_MARGINAL,
-    ],
-};
-/**
- * Lemma AST: the `log₂[p(s̃|s) / p(s̃)]` factor, encoded as a faithful
- * `transcendental` `log2` node (v0.19) over the inner ratio. The log argument
- * is exposed separately via `BE25_LOG_RATIO_ARG` so the lemma test can verify
- * it is dimensionless.
- */
-export const BE25_LOG2_FACTOR = {
-    kind: 'transcendental',
-    fn: 'log2',
-    arg: BE25_LOG_RATIO_ARG,
-};
-/**
- * RHS of `ii(s, s̃) = p(s̃|s) · log₂[p(s̃|s) / p(s̃)]` as a typed
- * ExprNode tree:
- *
- *   p_cond · log2_ratio_ii
- *
- * `BE25_LOG2_FACTOR` is a faithful `transcendental` `log2` node; its
- * argument `p_cond / p_marg` is exposed via `BE25_LOG_RATIO_ARG` and
- * verified dimensionless directly. The product of a dimensionless probability
- * and a dimensionless log is DIMENSIONLESS — same shape as BE-46's `A · exp_factor`.
- */
-export const BE25_INTRINSIC_INFORMATION_RHS = {
-    kind: 'op', op: '*',
-    args: [
-        BE25_P_CONDITIONAL,
-        BE25_LOG2_FACTOR,
-    ],
-};
-/**
- * LHS: ii(s, s̃) is in bits (DIMENSIONLESS in the SI sense — bits is
- * a pseudo-unit not in the SI 7-base system).
- */
-/** @internal */
-export const BE25_INTRINSIC_INFORMATION_LHS = sym('ii', DIMENSIONLESS);
-/**
- * Evaluate the inner intrinsic information of a (s, s̃) transition
- * pair:
- *
- *   ii(s, s̃) = p_cond · log₂(p_cond / p_marg)
- *
- * Edge cases (Shannon convention; matches Oizumi-Albantakis-Tononi
- * 2014 IIT 3.0):
- *
- *   - p_cond = 0: returns 0 (the canonical limit 0 · log(0) = 0).
- *     The value of p_marg is not consulted in this branch.
- *   - p_cond > 0 and p_marg = 0: throws RangeError. The joint outcome
- *     is physically inconsistent — the system did transition to s̃
- *     but the marginal says s̃ has zero probability; the KL-divergence
- *     diverges to +∞.
- *   - p_cond = p_marg: returns 0 (no irreducibility — conditional
- *     equals marginal means s̃ was no more or less likely given s).
- *
- * @returns Intrinsic information in bits (dimensionless; can be
- *   negative when p_cond < p_marg — i.e., conditioning on s makes s̃
- *   less likely than the unconditional marginal).
- */
-export function evaluateIntrinsicInformation(input) {
-    // Use the helper for the finite + bounded-range check; the cross-field
-    // KL-divergence singularity (p_cond > 0 && p_marg = 0) stays inline
-    // because it carries a domain-meaningful explanation that the generic
-    // helper cannot capture.
-    validateFiniteInputs(input, [
-        { name: 'p_cond', min: 0, max: 1, allowZero: true, description: 'probability' },
-        { name: 'p_marg', min: 0, max: 1, allowZero: true, description: 'probability' },
-    ], 'evaluateIntrinsicInformation');
-    const { p_cond, p_marg } = input;
-    // Shannon convention: 0 · log(0/anything) = 0 (the canonical limit).
-    // Return 0 BEFORE consulting p_marg so the p_cond = 0 / p_marg = 0
-    // joint zero does not raise.
-    if (p_cond === 0)
-        return 0;
-    // p_cond > 0 here; p_marg = 0 is the KL-divergence singularity.
-    if (p_marg === 0) {
-        throw new RangeError(`evaluateIntrinsicInformation: p_marg = 0 with p_cond = ${p_cond} > 0 ` +
-            `is the KL-divergence singularity (impossible-joint-event); ` +
-            `the system transitioned to s̃ but the marginal says s̃ has zero probability.`);
-    }
-    return p_cond * Math.log2(p_cond / p_marg);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-/** @internal */
-export function validateBE25Dimensions() {
-    return validateBEDimensions(BE25_INTRINSIC_INFORMATION_LHS, BE25_INTRINSIC_INFORMATION_RHS, 'BE25');
-}
-//# sourceMappingURL=be-25-iit-phi.js.map

package/dist/bridges/equations/be-25-iit-phi.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-25-iit-phi.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAGH,OAAO,EACL,aAAa,GACd,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,uBAAuB;AAEvB;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAa,GAAG,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AAEtE;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAa;IAC1C,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,eAAe;KAChB;CACF,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,gBAAgB;IACtB,EAAE,EAAE,MAAM;IACV,GAAG,EAAE,kBAAkB;CACxB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,8BAA8B,GAAa;IACtD,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ,kBAAkB;QAClB,gBAAgB;KACjB;CACF,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,MAAM,CAAC,MAAM,8BAA8B,GAAa,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAcjF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,4BAA4B,CAAC,KAAiC;IAC5E,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,yBAAyB;IACzB,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;QAC/E,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE;KAChF,EACD,8BAA8B,CAC/B,CAAC;IACF,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,qEAAqE;IACrE,mEAAmE;IACnE,6BAA6B;IAC7B,IAAI,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAC;IAC3B,gEAAgE;IAChE,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,0DAA0D,MAAM,OAAO;YACrE,6DAA6D;YAC7D,8EAA8E,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC;AAC7C,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,sBAAsB;IACpC,OAAO,oBAAoB,CACzB,8BAA8B,EAC9B,8BAA8B,EAC9B,MAAM,CACP,CAAC;AACJ,CAAC"}

package/dist/bridges/equations/be-25-orch-or.d.ts

@@ -1,93 +0,0 @@
-/**
- * @deprecated ARCHIVED IN PLACE (2026-06-11, v0.8.0 P-4 archive policy —
- * closes the v0.7.3-deferred "BE-25 archive-or-delete" decision).
- * BE-25's catalog entry was reformulated to IIT Φ_max
- * (`be-25-iit-phi.ts`) after the Tegmark decoherence falsification of
- * Orch-OR (Tegmark 2000 PRE 61:4194). This module is retained as the
- * historical record of the superseded encoding — the same
- * overlay-not-deletion principle as `src/bridges/rejected.ts` — and is
- * exercised only by its legacy pin tests. Do NOT extend it; new BE-25
- * work belongs in the IIT module.
- *
- * ---- original module docs below ----
-
- * ============================================================================
- *  ARCHIVED MODULE — DO NOT USE FOR BE-25 DIMENSIONAL CLAIMS
- *  Archived 2026-05-06 (Wave Q B2, per CS iter-6 C2).
- *
- *  This module encodes the dropped Penrose-Hameroff `t_OR` collapse-time
- *  form. BE-25 was reformulated to canonical IIT Φ_max in Wave P-D R-D2
- *  (2026-05-06). The IIT form is substrate-agnostic and Φ has no SI
- *  dimension (units are bits when log₂ is used), so this AST is no
- *  longer load-bearing for any bridge-equation claim.
- *
- *  The module is preserved for historical traceability and for
- *  regression-testing the dimensional analyzer (via
- *  `tests/bridges/be-25-encoding.test.ts`). It has been removed from
- *  `EXPECTED_DIMENSION_BY_BRIDGE` (`src/dimensional/bridge-check.ts`)
- *  and from the round-trip `dimensional-signature-catalog.test.ts`.
- * ============================================================================
- *
- * Bridge Equation 25 — Penrose-Hameroff Orch-OR Collapse Time (DROPPED).
- *
- *   t_OR = ℏ / E_G = ℏ / (Δm c² Δx / ℓ_P) = ℏ ℓ_P / (Δm c² Δx)
- *
- * Where Δm is the mass difference between the superposed states and Δx
- * is their separation. The denominator quantity E_G is interpreted as
- * a gravitational self-energy.
- *
- * Reference: Penrose 1996 Gen. Rel. Grav. 28:581; Hameroff-Penrose 1996.
- *
- * Status: archived (was 'highly-speculative' before Wave L Tier E3
- * 'invalid' before Wave P-D R-D2 IIT reformulation).
- *
- * Honest-claude scope notes:
- *   - The spec's E_G = Δm c² Δx / ℓ_P contains a Δx/ℓ_P factor not
- *     present in Penrose's original gravitational self-energy
- *     E_G ~ G(Δm)²/Δx — see the BE-25 known_issues entry. We encode
- *     the spec-as-written; the bracket-check therefore gives a
- *     sub-Planckian collapse time, NOT Penrose's ms-order prediction.
- *     This is faithful to the spec and consistent with the documented
- *     issue.
- *   - Mainstream Tegmark 2000 (arXiv:quant-ph/9907009) decoherence
- *     analysis is also preserved as a known_issue on the entry; this
- *     module does not address that critique.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 25: Consciousness - Quantum Information Bridge")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 25)
- * @module bridges/equations/be-25-orch-or
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * RHS of the Orch-OR collapse-time formula as a typed ExprNode tree.
- *
- * t_OR = (ℏ · ℓ_P) / (Δm · c² · Δx)
- *
- * This is the algebraic re-arrangement of `ℏ / (Δm c² Δx / ℓ_P)`; the
- * spec-form is preserved in the encoding but written with the inverse
- * brought out so the AST has a clean numerator / denominator structure.
- */
-export declare const ORCH_OR_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateOrchOR` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface OrchORInputs {
-    /** Mass difference Δm in kg. Must be > 0. */
-    delta_m: number;
-    /** Spatial separation Δx in m. Must be > 0. */
-    delta_x: number;
-}
-/**
- * Evaluate t_OR = ℏ ℓ_P / (Δm c² Δx).
- *
- * @returns Orch-OR collapse time in seconds.
- */
-export declare function evaluateOrchOR(input: OrchORInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [time].
- */
-/** @internal */
-export declare function validateOrchORDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-25-orch-or.d.ts.map

package/dist/bridges/equations/be-25-orch-or.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-25-orch-or.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAgB1F;;;;;;;;GAQG;AACH,eAAO,MAAM,WAAW,EAAE,QAwBzB,CAAC;AAOF;;GAEG;AACH,UAAU,YAAY;IACpB,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAY1D;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,wBAAwB,IAAI,yBAAyB,CAEpE"}

package/dist/bridges/equations/be-25-orch-or.js

@@ -1,124 +0,0 @@
-/**
- * @deprecated ARCHIVED IN PLACE (2026-06-11, v0.8.0 P-4 archive policy —
- * closes the v0.7.3-deferred "BE-25 archive-or-delete" decision).
- * BE-25's catalog entry was reformulated to IIT Φ_max
- * (`be-25-iit-phi.ts`) after the Tegmark decoherence falsification of
- * Orch-OR (Tegmark 2000 PRE 61:4194). This module is retained as the
- * historical record of the superseded encoding — the same
- * overlay-not-deletion principle as `src/bridges/rejected.ts` — and is
- * exercised only by its legacy pin tests. Do NOT extend it; new BE-25
- * work belongs in the IIT module.
- *
- * ---- original module docs below ----
-
- * ============================================================================
- *  ARCHIVED MODULE — DO NOT USE FOR BE-25 DIMENSIONAL CLAIMS
- *  Archived 2026-05-06 (Wave Q B2, per CS iter-6 C2).
- *
- *  This module encodes the dropped Penrose-Hameroff `t_OR` collapse-time
- *  form. BE-25 was reformulated to canonical IIT Φ_max in Wave P-D R-D2
- *  (2026-05-06). The IIT form is substrate-agnostic and Φ has no SI
- *  dimension (units are bits when log₂ is used), so this AST is no
- *  longer load-bearing for any bridge-equation claim.
- *
- *  The module is preserved for historical traceability and for
- *  regression-testing the dimensional analyzer (via
- *  `tests/bridges/be-25-encoding.test.ts`). It has been removed from
- *  `EXPECTED_DIMENSION_BY_BRIDGE` (`src/dimensional/bridge-check.ts`)
- *  and from the round-trip `dimensional-signature-catalog.test.ts`.
- * ============================================================================
- *
- * Bridge Equation 25 — Penrose-Hameroff Orch-OR Collapse Time (DROPPED).
- *
- *   t_OR = ℏ / E_G = ℏ / (Δm c² Δx / ℓ_P) = ℏ ℓ_P / (Δm c² Δx)
- *
- * Where Δm is the mass difference between the superposed states and Δx
- * is their separation. The denominator quantity E_G is interpreted as
- * a gravitational self-energy.
- *
- * Reference: Penrose 1996 Gen. Rel. Grav. 28:581; Hameroff-Penrose 1996.
- *
- * Status: archived (was 'highly-speculative' before Wave L Tier E3
- * 'invalid' before Wave P-D R-D2 IIT reformulation).
- *
- * Honest-claude scope notes:
- *   - The spec's E_G = Δm c² Δx / ℓ_P contains a Δx/ℓ_P factor not
- *     present in Penrose's original gravitational self-energy
- *     E_G ~ G(Δm)²/Δx — see the BE-25 known_issues entry. We encode
- *     the spec-as-written; the bracket-check therefore gives a
- *     sub-Planckian collapse time, NOT Penrose's ms-order prediction.
- *     This is faithful to the spec and consistent with the documented
- *     issue.
- *   - Mainstream Tegmark 2000 (arXiv:quant-ph/9907009) decoherence
- *     analysis is also preserved as a known_issue on the entry; this
- *     module does not address that critique.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 25: Consciousness - Quantum Information Bridge")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 25)
- * @module bridges/equations/be-25-orch-or
- */
-import { TIME, MASS, LENGTH, } from '../../dimensional/types.js';
-import { hbar as DIM_hbar, c as DIM_c, l_P as DIM_lP, } from '../../dimensional/constants.js';
-import { PhysicalConstants } from '../../core/types.js';
-import { sym, validateFiniteInputs, validateBEDimensions } from './_be-helpers.js';
-// --- Symbolic AST: t_OR = ℏ ℓ_P / (Δm c² Δx) ---
-/**
- * RHS of the Orch-OR collapse-time formula as a typed ExprNode tree.
- *
- * t_OR = (ℏ · ℓ_P) / (Δm · c² · Δx)
- *
- * This is the algebraic re-arrangement of `ℏ / (Δm c² Δx / ℓ_P)`; the
- * spec-form is preserved in the encoding but written with the inverse
- * brought out so the AST has a clean numerator / denominator structure.
- */
-export const ORCH_OR_RHS = {
-    kind: 'op', op: '/',
-    args: [
-        {
-            // numerator: ℏ · ℓ_P
-            kind: 'op', op: '*',
-            args: [
-                sym('hbar', DIM_hbar),
-                sym('l_P', DIM_lP),
-            ],
-        },
-        {
-            // denominator: Δm · c² · Δx
-            kind: 'op', op: '*',
-            args: [
-                sym('Delta_m', MASS),
-                {
-                    kind: 'op', op: '^',
-                    args: [sym('c', DIM_c), sym('2', { L: 0, M: 0, T: 0, I: 0, Theta: 0, N: 0, J: 0 })],
-                },
-                sym('Delta_x', LENGTH),
-            ],
-        },
-    ],
-};
-/** LHS: t_OR has dimension [time]. */
-const ORCH_OR_LHS = sym('t_OR', TIME);
-/**
- * Evaluate t_OR = ℏ ℓ_P / (Δm c² Δx).
- *
- * @returns Orch-OR collapse time in seconds.
- */
-export function evaluateOrchOR(input) {
-    validateFiniteInputs(input, [
-        { name: 'delta_m', min: 0, excludeMin: true },
-        { name: 'delta_x', min: 0, excludeMin: true },
-    ], 'evaluateOrchOR');
-    const { delta_m, delta_x } = input;
-    const { hbar, c, lP } = PhysicalConstants;
-    return (hbar * lP) / (delta_m * c * c * delta_x);
-}
-// --- Self-validation ---
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [time].
- */
-/** @internal */
-export function validateOrchORDimensions() {
-    return validateBEDimensions(ORCH_OR_LHS, ORCH_OR_RHS, 'BE25_OrchOR');
-}
-//# sourceMappingURL=be-25-orch-or.js.map

package/dist/bridges/equations/be-25-orch-or.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-25-orch-or.js","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-orch-or.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DG;AAGH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,MAAM,GACP,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,IAAI,IAAI,QAAQ,EAChB,CAAC,IAAI,KAAK,EACV,GAAG,IAAI,MAAM,GACd,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,EAAE,GAAG,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAEnF,kDAAkD;AAElD;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,WAAW,GAAa;IACnC,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;IACnB,IAAI,EAAE;QACJ;YACE,qBAAqB;YACrB,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;gBACrB,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC;aACnB;SACF;QACD;YACE,4BAA4B;YAC5B,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;YACnB,IAAI,EAAE;gBACJ,GAAG,CAAC,SAAS,EAAE,IAAI,CAAC;gBACpB;oBACE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,GAAG;oBACnB,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;iBACpF;gBACD,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC;aACvB;SACF;KACF;CACF,CAAC;AAEF,sCAAsC;AACtC,MAAM,WAAW,GAAa,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AAchD;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,KAAmB;IAChD,oBAAoB,CAClB,KAAK,EACL;QACE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;QAC7C,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;KAC9C,EACD,gBAAgB,CACjB,CAAC;IACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IACnC,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,iBAAiB,CAAC;IAC1C,OAAO,CAAC,IAAI,GAAG,EAAE,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;AACnD,CAAC;AAED,0BAA0B;AAE1B;;;GAGG;AACH,gBAAgB;AAChB,MAAM,UAAU,wBAAwB;IACtC,OAAO,oBAAoB,CAAC,WAAW,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;AACvE,CAAC"}

package/dist/bridges/equations/be-26-dna-tunneling.d.ts

@@ -1,88 +0,0 @@
-/**
- * Bridge Equation 26 — DNA Mutation Quantum Tunneling Rate.
- *
- *   Γ_mutation = ν₀ exp[−(2/ℏ) ∫_{x₁}^{x₂} √(2m(V(x)−E)) dx] · f(T, pH, EM)
- *
- * Standard WKB tunneling rate (Gamow 1928; Landau-Lifshitz QM §50)
- * applied to DNA base-pair tautomerization via proton tunneling
- * (Löwdin 1963 Adv. Quantum Chem. 2:213).
- *
- * Status: speculative (downgraded from 'established' Wave S — this line previously drifted from the registry; src/bridges/index.ts is authoritative).
- *
- * Honest-claude scope notes:
- *   - The Gamow exponential is encoded faithfully (v0.21) as
- *     `transcendental(exp, −WKB_arg)`, with the WKB argument
- *     `(2/ℏ)∫√(2m(V−E))dx` exposed as a separate ExprNode
- *     `DNA_TUNNELING_WKB_ARG`, so the barrier parameters (m, V−E, x₁, x₂) are
- *     visible to differentiation and the dimensionless-ness of the exp
- *     argument can be verified directly. (Same pattern as BE-41 / BE-34.)
- *   - The integrand √(2m(V−E)) is encoded with `^` of 0.5 (the
- *     validator accepts non-integer numeric exponents). Result is
- *     [M^{1/2}(M L² T^-2)^{1/2}] = [M L T^-1] (momentum), as expected.
- *   - f(T, pH, EM) is encoded as a dimensionless symbol; in the
- *     literature this is a Q10-temperature factor times pH-dependent
- *     rate ratio times EM-field-induced perturbation, all dimensionless.
- *   - **Known issue (Wave I.B C6, 2026-05-05, registered 2026-05-05):**
- *     the bare WKB rate overshoots observed mutation rates (~10⁻⁸-10⁻¹⁰
- *     /bp/replication) by 2-4 orders. The f(T, pH, EM) prefactor as
- *     labeled does NOT include the dominant biological-mechanism
- *     factors (polymerase proofreading ~10⁻⁵, mismatch repair ~10²);
- *     see BE-26 known_issues entry in src/bridges/index.ts.
- *
- * @see docs/specification/Part-II.md ("Bridge Equation 26: DNA Mutation - Quantum Tunneling Rate")
- * @see src/bridges/index.ts BRIDGE_EQUATIONS.find(e => e.id === 26)
- * @module bridges/equations/be-26-dna-tunneling
- */
-import type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * Lemma AST: the WKB exponent (2/ℏ) · ∫_{x₁}^{x₂} √(2m(V−E)) dx, dimensionless.
- *
- * v0.21: the integral carries explicit barrier-endpoint bounds x₁, x₂ (a definite
- * integral) — faithful to this bridge's rectangular-barrier model, since the
- * integrand √(2m(V−E)) is constant in x (V_minus_E is a constant ENERGY symbol,
- * not V(x)), so 16-pt Gauss–Legendre is EXACT and equals √(2m(V−E))·(x₂−x₁).
- * This exposes m, V_minus_E, x₁, x₂ to differentiation (Adam+Eve GREEN). Domain
- * guards (caller's): V_minus_E ≥ 0, m > 0, x₂ ≥ x₁.
- */
-export declare const DNA_TUNNELING_WKB_ARG: ExprNode;
-/**
- * RHS of the WKB tunneling rate: `ν₀ · exp(−WKB) · f`. The Gamow exponential is
- * encoded faithfully (v0.21) as `transcendental(exp, −1 · DNA_TUNNELING_WKB_ARG)`
- * — a definite integral under the exp — so m, V_minus_E, and the barrier
- * endpoints x₁, x₂ are visible to differentiation. `exp` of the DIMENSIONLESS
- * WKB exponent is DIMENSIONLESS, so the round-trip dimensional_signature
- * ([frequency]) is unchanged from the former symbol stub. The f(T, pH, EM)
- * prefactor remains an opaque interpolation stub (no closed form).
- */
-export declare const DNA_TUNNELING_RHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateDNATunneling` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface DNATunnelingInputs {
-    /** Attempt frequency ν₀ (s^-1). Must be ≥ 0. */
-    nu_0: number;
-    /** Tunneling-particle mass m (kg). Must be > 0. */
-    m: number;
-    /** Effective barrier height V−E (J). Must be ≥ 0; assumes constant V. */
-    V_minus_E: number;
-    /** Barrier width x₂−x₁ (m). Must be > 0. */
-    barrier_width: number;
-    /** Dimensionless f(T,pH,EM) prefactor. Must be finite. */
-    f_correction: number;
-}
-/**
- * Evaluate Γ = ν₀ exp[−(2/ℏ) · √(2m(V−E)) · L] · f, assuming a
- * rectangular barrier of width L (so the integral collapses to
- * √(2m(V−E)) · L).
- *
- * @returns Tunneling rate in s^-1.
- */
-export declare function evaluateDNATunneling(input: DNATunnelingInputs): number;
-/**
- * Run the AST through the dimensional analyzer; both sides should be
- * [frequency].
- */
-/** @internal */
-export declare function validateDNATunnelingDimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-26-dna-tunneling.d.ts.map

package/dist/bridges/equations/be-26-dna-tunneling.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"be-26-dna-tunneling.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-26-dna-tunneling.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAY1F;;;;;;;;;GASG;AACH,eAAO,MAAM,qBAAqB,EAAE,QAkCnC,CAAC;AAEF;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,EAAE,QAc/B,CAAC;AAOF;;GAEG;AACH,UAAU,kBAAkB;IAC1B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,CAAC,EAAE,MAAM,CAAC;IACV,yEAAyE;IACzE,SAAS,EAAE,MAAM,CAAC;IAClB,4CAA4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB,0DAA0D;IAC1D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,kBAAkB,GAAG,MAAM,CAkBtE;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,8BAA8B,IAAI,yBAAyB,CAE1E"}