universal-physics-tensor 7.0.0 → 8.0.0

package/dist/bridges/equations/be-25-iit-phi.d.ts

@@ -1,222 +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 type { ExprNode, DimensionValidationReport } from '../../dimensional/validator.js';
-/**
- * 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 declare const BE25_P_CONDITIONAL: ExprNode;
-/**
- * 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 declare const BE25_P_MARGINAL: ExprNode;
-/**
- * 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 declare const BE25_LOG_RATIO_ARG: ExprNode;
-/**
- * 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 declare const BE25_LOG2_FACTOR: ExprNode;
-/**
- * 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 declare const BE25_INTRINSIC_INFORMATION_RHS: ExprNode;
-/**
- * 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 declare const BE25_INTRINSIC_INFORMATION_LHS: ExprNode;
-/**
- * @internal — typed-arg shape for the file-local `evaluateIntrinsicInformation` function; not in the v0.7 public surface. See `docs/architecture/archive/v0.7-be-module-exports-audit.md` §4.
- */
-interface IntrinsicInformationInputs {
-    /** Conditional probability p(s̃|s) ∈ [0, 1]. Must be finite. */
-    p_cond: number;
-    /** Marginal probability p(s̃) ∈ (0, 1]. Must be finite. When `p_cond > 0`, must be > 0 (KL-divergence singularity rejected). */
-    p_marg: number;
-}
-/**
- * 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 declare function evaluateIntrinsicInformation(input: IntrinsicInformationInputs): number;
-/**
- * Run the AST through the dimensional analyzer; LHS and RHS should
- * both be DIMENSIONLESS.
- */
-/** @internal */
-export declare function validateBE25Dimensions(): DimensionValidationReport;
-export {};
-//# sourceMappingURL=be-25-iit-phi.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"be-25-iit-phi.d.ts","sourceRoot":"","sources":["../../../src/bridges/equations/be-25-iit-phi.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAQ1F;;;;;;;;;GASG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAAuC,CAAC;AAEzE;;;;;GAKG;AACH,eAAO,MAAM,eAAe,EAAE,QAAuC,CAAC;AAEtE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,EAAE,QAMhC,CAAC;AAEF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAI9B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,eAAO,MAAM,8BAA8B,EAAE,QAM5C,CAAC;AAEF;;;GAGG;AACH,gBAAgB;AAChB,eAAO,MAAM,8BAA8B,EAAE,QAAmC,CAAC;AAIjF;;GAEG;AACH,UAAU,0BAA0B;IAClC,gEAAgE;IAChE,MAAM,EAAE,MAAM,CAAC;IACf,gIAAgI;IAChI,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,0BAA0B,GAAG,MAAM,CA2BtF;AAID;;;GAGG;AACH,gBAAgB;AAChB,wBAAgB,sBAAsB,IAAI,yBAAyB,CAMlE"}

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"}