universal-physics-tensor 7.0.0 → 9.0.0

package/dist/bridges/catalog-types.d.ts

@@ -0,0 +1,164 @@
+/**
+ * Catalog record shapes. The file `data/bridge-catalog.json` is the source.
+ * A bridge number is the `id` field. It is not a code identifier.
+ *
+ * @module bridges/catalog-types
+ */
+import type { Dimension } from '../dimensional/types.js';
+import type { Conventions, Counterexample, Regime, RelationContract } from '../relations/types.js';
+import type { BridgeEquationEntry, BridgeEquationStatus } from './types.js';
+/**
+ * Filing label. `cross-domain` means the equation links quantities or
+ * constants from two distinct fields. `standard` means it stays inside one.
+ * Absence is not a state this record carries.
+ */
+export type CatalogFiling = 'standard' | 'cross-domain';
+/**
+ * One catalog row. `derivedFrom` and `basis` are optional until a nested
+ * derivation is pinned. `basis: false` is not a state this record carries.
+ */
+export interface CatalogEntry extends BridgeEquationEntry {
+    readonly type: CatalogFiling;
+    readonly derivedFrom?: readonly string[];
+    readonly basis?: true;
+    /** The PhysJS manifest key. The reference and its kind are that entry's. */
+    readonly formalKey?: string;
+    readonly assumptions?: readonly string[];
+    readonly scopeLimits?: readonly string[];
+    readonly dimension?: Dimension;
+    /** The confrontation is a caller-supplied table, not a stored outcome. */
+    readonly callerTable?: true;
+    /** A named statement this row's expression supports. */
+    readonly statement?: string;
+    /**
+     * Scalar expression for a row that has no relation. The structural
+     * registry parses it. It is not a graph edge and it is not evaluated.
+     */
+    readonly scalarExpression?: string;
+}
+/** Inputs and the number the engine returns at those inputs. */
+export interface CatalogReference {
+    readonly inputs: Readonly<Record<string, number>>;
+    readonly value: number;
+}
+/** One closed form. Several relations may share one catalog id. */
+export interface CatalogRelation {
+    readonly id: string;
+    readonly catalogId: number | null;
+    readonly kind: 'bridge' | 'law';
+    readonly label: string;
+    readonly expression: string;
+    readonly target: string;
+    readonly sources: readonly string[];
+    readonly aliases: Readonly<Record<string, readonly string[]>>;
+    readonly holds: string;
+    readonly domain: string;
+    readonly confidence: 'established' | 'speculative' | 'highly-speculative';
+    readonly citation: string;
+    readonly coefficientUnset?: boolean;
+    readonly formulaFactors?: Readonly<Record<string, number>>;
+    readonly relation?: RelationContract;
+    readonly regime?: Regime;
+    readonly conventions?: Conventions;
+    readonly counterexamples?: readonly Counterexample[];
+    readonly reference?: CatalogReference;
+    /** A caveat the record states beside its value. The text is the record's; nothing switches on it. */
+    readonly notice?: {
+        readonly text: string;
+    };
+    /** A generic numerical method this record calls. Never a bridge number. */
+    readonly method?: string;
+}
+/** One named input of a catalog evaluator. */
+export interface CatalogEvaluatorParameter {
+    readonly key: string;
+    readonly quantity: string;
+    readonly symbol: string;
+    readonly unit: string;
+    readonly meaning: string;
+    readonly geometry?: 'radius' | 'diameter' | 'separation' | 'impact-parameter' | 'semi-major-axis';
+    readonly temperature?: 'absolute';
+    /**
+     * The sign this input must have. `positive` is `> 0`, `nonnegative` is `>= 0`,
+     * and `any` states that the quantity is signed and overrides the temperature
+     * rule. An absolute temperature is `nonnegative` when no sign is stated.
+     */
+    readonly sign?: 'positive' | 'nonnegative' | 'any';
+    /** An angular frequency in rad/s. A cycle unit (Hz, rpm) given to it is multiplied by 2π. */
+    readonly angular?: true;
+    readonly alternates?: readonly {
+        readonly key: string;
+        readonly meaning: string;
+        readonly toKey: number;
+    }[];
+    readonly optional?: true;
+}
+/**
+ * A second number the same record returns beside its `value`. The expression
+ * reads evaluator parameter keys, the constants, and `value`.
+ *
+ * @public
+ */
+export interface CatalogEvaluatorOutput {
+    /** The result key, with its unit as a suffix (`E_F_J`). */
+    readonly name: string;
+    readonly unit: string;
+    readonly meaning: string;
+    readonly expression: string;
+    /** Optional parameter keys this output needs. It is left out when one is not given. */
+    readonly requires?: readonly string[];
+}
+/** The input contract of one catalog evaluator. */
+export interface CatalogEvaluator {
+    readonly catalogId: number;
+    readonly name: string;
+    readonly parameters: readonly CatalogEvaluatorParameter[];
+    readonly outputs?: readonly CatalogEvaluatorOutput[];
+}
+/** One committed data confrontation of a catalog record. */
+export interface CatalogConfrontation {
+    readonly catalogId: number;
+    readonly title: string;
+    readonly kind: 'value' | 'upper-bound' | 'consistency' | 'table';
+    readonly rigor: 'stringent' | 'moderate' | 'loose';
+    readonly outcome: Record<string, unknown>;
+    /** Inputs of the prediction, in catalog quantity names, when elasticity is defined. */
+    readonly prediction?: {
+        readonly inputs: Readonly<Record<string, number>>;
+    };
+}
+/** The on-disk catalog: schema 3, entries, relations, evaluators, and confrontations. */
+export interface CatalogFile {
+    readonly schemaVersion: 3;
+    readonly packageVersion: string;
+    readonly entries: readonly CatalogEntry[];
+    readonly relations: readonly CatalogRelation[];
+    readonly evaluators: readonly CatalogEvaluator[];
+    readonly confrontations: readonly CatalogConfrontation[];
+    /** The adjudication ledger: recorded verdicts on identification hypotheses. `composition/adjudication.ts` projects it. */
+    readonly adjudications: readonly CatalogAdjudication[];
+    readonly spine: Readonly<Record<string, Readonly<Record<string, number>>>>;
+}
+/**
+ * A recorded human verdict on an identification hypothesis `a ≟ b`.
+ * - `genuine`  — real physics AND a new link (nothing recorded qualifies yet).
+ * - `entailed` — real physics already carried by the L-layer; not a new link.
+ * - `decoy`    — dimensional coincidence / no mechanism, including trivial and definitional identifications.
+ * - `deferred` — reviewed and consciously parked (not the same as absent, which means never reviewed).
+ */
+export type AdjudicationVerdict = 'genuine' | 'decoy' | 'entailed' | 'deferred';
+/** One record of the adjudication ledger in `data/bridge-catalog.json`. */
+export interface CatalogAdjudication {
+    /** `candidateId(a, b)` of the identification: the two slugs in sorted order, joined by `~`. */
+    readonly id: string;
+    readonly verdict: AdjudicationVerdict;
+    /** Why, condensed from the adjudication document; never machine-generated. */
+    readonly grounds: string;
+    /** Repo-relative path of the adjudication document. */
+    readonly source: string;
+    /** ISO date the verdict was recorded. */
+    readonly date: string;
+}
+/** Lifecycle status of a catalog row. */
+export type { BridgeEquationStatus };
+//# sourceMappingURL=catalog-types.d.ts.map

package/dist/bridges/catalog-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-types.d.ts","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACnG,OAAO,KAAK,EACV,mBAAmB,EACnB,oBAAoB,EACrB,MAAM,YAAY,CAAC;AAEpB;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG,cAAc,CAAC;AAExD;;;GAGG;AACH,MAAM,WAAW,YAAa,SAAQ,mBAAmB;IACvD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;IACtB,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,0EAA0E;IAC1E,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC;IAC5B,wDAAwD;IACxD,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B;;;OAGG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;CACpC;AAED,gEAAgE;AAChE,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,aAAa,GAAG,aAAa,GAAG,oBAAoB,CAAC;IAC1E,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IACpC,QAAQ,CAAC,cAAc,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,cAAc,EAAE,CAAC;IACrD,QAAQ,CAAC,SAAS,CAAC,EAAE,gBAAgB,CAAC;IACtC,qGAAqG;IACrG,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5C,2EAA2E;IAC3E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,8CAA8C;AAC9C,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;IAClG,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,CAAC;IAClC;;;;OAIG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,UAAU,GAAG,aAAa,GAAG,KAAK,CAAC;IACnD,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC5G,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,sBAAsB;IACrC,2DAA2D;IAC3D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,uFAAuF;IACvF,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC;AAED,mDAAmD;AACnD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,yBAAyB,EAAE,CAAC;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,sBAAsB,EAAE,CAAC;CACtD;AAED,4DAA4D;AAC5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,aAAa,GAAG,aAAa,GAAG,OAAO,CAAC;IACjE,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC1C,uFAAuF;IACvF,QAAQ,CAAC,UAAU,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;KAAE,CAAC;CAC7E;AAED,yFAAyF;AACzF,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACjD,QAAQ,CAAC,cAAc,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACzD,0HAA0H;IAC1H,QAAQ,CAAC,aAAa,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5E;AAED;;;;;;GAMG;AACH,MAAM,MAAM,mBAAmB,GAAG,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,UAAU,CAAC;AAEhF,2EAA2E;AAC3E,MAAM,WAAW,mBAAmB;IAClC,+FAA+F;IAC/F,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,uDAAuD;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yCAAyC;AACzC,YAAY,EAAE,oBAAoB,EAAE,CAAC"}

package/dist/bridges/catalog-types.js

@@ -0,0 +1,8 @@
+/**
+ * Catalog record shapes. The file `data/bridge-catalog.json` is the source.
+ * A bridge number is the `id` field. It is not a code identifier.
+ *
+ * @module bridges/catalog-types
+ */
+export {};
+//# sourceMappingURL=catalog-types.js.map

package/dist/bridges/catalog-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-types.js","sourceRoot":"","sources":["../../src/bridges/catalog-types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}

package/dist/bridges/coefficient-statement.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Sign of the one-loop coefficient, read from the catalog expression.
+ * The statement is the coefficient, not a residual against a measurement.
+ *
+ * @module bridges/coefficient-statement
+ */
+/** Sign of the one-loop coefficient. @public */
+export type OneLoopCoefficientSign = 'positive' | 'zero' | 'negative';
+/**
+ * Whether b₀ is positive, zero, or negative for a stated color number and
+ * flavor number. Positive is asymptotic freedom in this one-loop truncation.
+ *
+ * @public
+ */
+export interface OneLoopCoefficientStatement {
+    readonly label: 'one-loop coefficient';
+    readonly sign: OneLoopCoefficientSign;
+    readonly b0: number;
+}
+/**
+ * State the sign of b₀ for the catalog row whose statement is the one-loop
+ * coefficient. At unit coupling, β = −b₀ / (16π²).
+ *
+ * @public
+ */
+export declare function oneLoopCoefficientStatement(colorNumber: number, flavorNumber: number): OneLoopCoefficientStatement;
+//# sourceMappingURL=coefficient-statement.d.ts.map

package/dist/bridges/coefficient-statement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coefficient-statement.d.ts","sourceRoot":"","sources":["../../src/bridges/coefficient-statement.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAKH,gDAAgD;AAChD,MAAM,MAAM,sBAAsB,GAAG,UAAU,GAAG,MAAM,GAAG,UAAU,CAAC;AAEtE;;;;;GAKG;AACH,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,KAAK,EAAE,sBAAsB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACtC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CACzC,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,MAAM,GACnB,2BAA2B,CAiB7B"}

package/dist/bridges/coefficient-statement.js

@@ -0,0 +1,33 @@
+/**
+ * Sign of the one-loop coefficient, read from the catalog expression.
+ * The statement is the coefficient, not a residual against a measurement.
+ *
+ * @module bridges/coefficient-statement
+ */
+import { catalogEntries, primaryRelation } from './catalog-load.js';
+import { evaluateFormula } from './expr-parse.js';
+/**
+ * State the sign of b₀ for the catalog row whose statement is the one-loop
+ * coefficient. At unit coupling, β = −b₀ / (16π²).
+ *
+ * @public
+ */
+export function oneLoopCoefficientStatement(colorNumber, flavorNumber) {
+    const entry = catalogEntries().find((row) => row.statement === 'one-loop-coefficient');
+    if (entry === undefined) {
+        throw new Error('oneLoopCoefficientStatement: the catalog has no one-loop coefficient statement');
+    }
+    const relation = primaryRelation(entry.id);
+    if (relation === undefined) {
+        throw new Error('oneLoopCoefficientStatement: the statement has no expression');
+    }
+    const beta = evaluateFormula(relation.expression, {
+        'gauge-coupling': 1,
+        'color-number': colorNumber,
+        'flavor-number': flavorNumber,
+    });
+    const b0 = -beta * 16 * Math.PI * Math.PI;
+    const sign = b0 > 0 ? 'positive' : b0 < 0 ? 'negative' : 'zero';
+    return { label: 'one-loop coefficient', sign, b0 };
+}
+//# sourceMappingURL=coefficient-statement.js.map

package/dist/bridges/coefficient-statement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coefficient-statement.js","sourceRoot":"","sources":["../../src/bridges/coefficient-statement.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAiBlD;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,WAAmB,EACnB,YAAoB;IAEpB,MAAM,KAAK,GAAG,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,sBAAsB,CAAC,CAAC;IACvF,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gFAAgF,CAAC,CAAC;IACpG,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;IAClF,CAAC;IACD,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,UAAU,EAAE;QAChD,gBAAgB,EAAE,CAAC;QACnB,cAAc,EAAE,WAAW;QAC3B,eAAe,EAAE,YAAY;KAC9B,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,EAAE,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC;IAC1C,MAAM,IAAI,GAA2B,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC;IACxF,OAAO,EAAE,KAAK,EAAE,sBAAsB,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;AACrD,CAAC"}

package/dist/bridges/confrontations.d.ts

@@ -1,10 +1,6 @@
 /**
- * Confrontation registry — maps a bridge id to a normalized
- * `ConfrontationOutcome`-producing `run()`. Wraps the three existing
- * confrontation modules (be-23/36/52) behind the unified outcome shape and
- * hosts the new confrontations. `DATA_CONFRONTED_IDS` is a projection of
- * this registry's keyset (single source of truth). Confrontations are
- * ORTHOGONAL to the discovery funnel — nothing here imports discovery.
+ * Confrontations projected from the catalog. The outcome is the recorded
+ * comparison. Residual arithmetic stays in `observations/types.ts`.
  *
  * @module bridges/confrontations
  */
@@ -16,31 +12,18 @@ export interface ConfrontationEntry {
     readonly kind: ObservationKind;
     run(): ConfrontationOutcome;
 }
-/** Rigor of a confrontation — how stringent a test it actually is. @public */
+/** Rigor of a confrontation. @public */
 export type RigorTier = 'stringent' | 'moderate' | 'loose';
-/**
- * Author-declared rigor of each confrontation. Folds in test PRECISION *and*
- * HONESTY (one-sidedness, order-of-magnitude, caveats) — it is deliberately NOT
- * purely computed: e.g. be-11's ratio is exactly 1 (actual difference 0) but its real
- * precision is ~15% gas-to-gas, so it is declared `loose`. The spine is a RIGOR
- * HIERARCHY, not N equal confirmations — after the 2026-07-05 branch expansion the
- * precision core is the quantum-metrology triangle (be-55 QHE 8.6e-11, be-59
- * Josephson 1e-9, be-58 JNT 5 ppm), tighter than the classic GR tests, while all of
- * astrophysics (be-63/64/65) sits in the loose tail. Distribution + an
- * anti-inflation cross-check are pinned in `confrontation-rigor.test.ts`; the
- * reader-facing account is `docs/research/pi-instrument-results.md`.
- *
- * @public
- */
+/** Author-recorded rigor, projected from the catalog. @public */
 export declare const CONFRONTATION_RIGOR: ReadonlyMap<number, RigorTier>;
-/** The rigor tier of a confronted bridge (`'loose'` if unknown). @public */
+/** The rigor tier of a confronted catalog id (`loose` when none is recorded). @public */
 export declare function confrontationRigor(bridgeId: number): RigorTier;
 /** Count of confrontations by rigor tier. @public */
 export declare function rigorDistribution(): Record<RigorTier, number>;
-/** The registry (frozen view). @public */
+/** Catalog id → confrontation. @public */
 export declare const CONFRONTATIONS: ReadonlyMap<number, ConfrontationEntry>;
-/** All entries, in ascending bridge-id order. @public */
+/** Every confrontation, in catalog order. @public */
 export declare function listConfrontations(): ConfrontationEntry[];
-/** Run one confrontation; `undefined` if the id is not registered. @public */
+/** Run one confrontation, or `undefined` when the id has none. @public */
 export declare function runConfrontation(bridgeId: number): ConfrontationOutcome | undefined;
 //# sourceMappingURL=confrontations.d.ts.map

package/dist/bridges/confrontations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAsBrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,8EAA8E;AAC9E,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAE3D;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAuB7D,CAAC;AAEH,4EAA4E;AAC5E,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AA+rBD,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAY,CAAC;AAEhF,yDAAyD;AACzD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,8EAA8E;AAC9E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}
+{"version":3,"file":"confrontations.d.ts","sourceRoot":"","sources":["../../src/bridges/confrontations.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAGrF,4CAA4C;AAC5C,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,GAAG,IAAI,oBAAoB,CAAC;CAC7B;AAED,wCAAwC;AACxC,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,OAAO,CAAC;AAI3D,iEAAiE;AACjE,eAAO,MAAM,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAE9D,CAAC;AAEF,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,CAE9D;AAED,qDAAqD;AACrD,wBAAgB,iBAAiB,IAAI,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAI7D;AAED,0CAA0C;AAC1C,eAAO,MAAM,cAAc,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAUlE,CAAC;AAEF,qDAAqD;AACrD,wBAAgB,kBAAkB,IAAI,kBAAkB,EAAE,CAEzD;AAED,0EAA0E;AAC1E,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,oBAAoB,GAAG,SAAS,CAEnF"}