universal-physics-tensor 0.47.1 → 1.0.1

package/dist/relations/types.d.ts

@@ -0,0 +1,259 @@
+/**
+ * Shared relation vocabulary.
+ *
+ * The seed a later category layer would be written in: objects, morphisms,
+ * and a functor are the open question in
+ * `docs/planning/Layering-Refactor-Design.md`. `src/atlas/types.ts` re-exports
+ * these names, so the public `atlas` namespace and the atlas subpath are
+ * unchanged.
+ *
+ * @module relations/types
+ */
+import type { PiGroup } from '../dimensional/buckingham.js';
+/** The relation a bridge asserts between its premises and its conclusion. @public */
+export type RelationType = 'derivation' | 'exact-equivalence' | 'restriction' | 'approximation' | 'coarse-graining' | 'analytic-continuation' | 'structural-analogy' | 'deformation-quantization';
+/** What kind of support a record carries. Carried only if its witness passes. @public */
+export type EvidenceTag = 'proposed' | 'reviewed' | 'dimension-checked' | 'convention-checked' | 'symbolically-checked' | 'numerically-supported' | 'formally-proved' | 'formally-proved-property' | 'formally-proved-cross-check' | 'empirically-supported' | 'contradicted' | 'unresolved';
+/**
+ * Every `EvidenceTag`, in declaration order, so a report can name all of them.
+ *
+ * Lives HERE, not in `coverage.ts` (which re-exports it), because
+ * `tests/atlas/derived-tag-literals.test.ts` allows the literals
+ * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
+ * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
+ * DERIVED must not be spellable anywhere a record could hand-set it.
+ *
+ * @internal
+ */
+export declare const ALL_EVIDENCE_TAGS: readonly ["proposed", "reviewed", "dimension-checked", "convention-checked", "symbolically-checked", "numerically-supported", "formally-proved", "formally-proved-property", "formally-proved-cross-check", "empirically-supported", "contradicted", "unresolved"];
+/**
+ * How a formal reference's statement was checked against the physics it claims
+ * to state (Phase 4 design note §3).
+ *
+ * - `'two-formalizers'` — two people formalized it independently and agreed.
+ * - `'back-translation'` — a reviewer who had not seen the source translated
+ *   the formal statement back to prose and it matched.
+ * - `'sanity-lemmas'` — the statement was instantiated on known cases in
+ *   `tests/atlas/formal-sanity.test.ts`.
+ * - `'unreviewed'` — recorded, not checked. **Earns no tag, by construction.**
+ *
+ * @internal
+ */
+export type FormalFidelity = 'two-formalizers' | 'back-translation' | 'sanity-lemmas' | 'unreviewed';
+/**
+ * What a formal reference certifies.
+ *
+ * `'bridge'` is the only kind that derives `formally-proved`. `'property'`
+ * and `'cross-check'` derive their own labels. A reduction, a limit, and a
+ * derivation-step are recorded and derive neither.
+ *
+ * @internal
+ */
+export type FormalRefKind = 'bridge' | 'property' | 'cross-check' | 'reduction' | 'limit' | 'derivation-step';
+/**
+ * A machine-checked counterpart of a record's claim in a proof assistant.
+ *
+ * A proof of the WRONG statement proves nothing about the physics, so the
+ * reference carries its `fidelity` — how anyone knows the formal statement says
+ * what the bridge says. `formally-proved` is derived from `kind` and `fidelity`
+ * and never set. A property and a cross-check are shown under their own labels
+ * and are not a proved bridge.
+ *
+ * @internal
+ */
+export interface FormalRef {
+    readonly system: 'lean4-physlib' | 'lean4-physjs' | 'other';
+    /** The formal statement's name or text, as it appears in `system`. */
+    readonly statement: string;
+    /** The library version or commit the statement was checked against. */
+    readonly version: string;
+    /** Axioms the proof depends on beyond the system's core. */
+    readonly axioms: readonly string[];
+    readonly fidelity: FormalFidelity;
+    readonly kind: FormalRefKind;
+    /** Permalink to the theorem's source file at `version`'s commit. */
+    readonly url: string;
+    /**
+     * What the statement certifies, and the limit of that certification.
+     * A reviewed reference's line contains `covers its statement only`.
+     */
+    readonly covers: string;
+}
+/** Whether the limit a bridge takes is regular or singular. @public */
+export type LimitCharacter = 'regular' | 'singular' | 'unknown';
+/**
+ * One inequality on a regime coordinate. The coordinate is either a π-group
+ * `buckinghamPi` produced from the family's dimensioned parameters (keyed by
+ * `PiGroup.formula`), or a dimensionless INPUT of the model (an initial datum
+ * such as θ0, a wavenumber-lattice product qa) declared as a
+ * `DimensionalVariable` with the zero dimension, which is its own trivial
+ * group. Derived quantities such as ζ = ½ (m k / b²)^(−½) are NOT groups:
+ * write the inequality on the group (`m k / b² > 1/4`) and record the display
+ * alias in `alias`.
+ *
+ * @public
+ */
+export interface RegimeInequality {
+    /** `PiGroup.formula`, or the dimensionless input's name. */
+    readonly group: string;
+    readonly op: '<' | '<=' | '>' | '>=';
+    readonly bound: number;
+    /** `'ζ < 1'` — for display only, never evaluated. */
+    readonly alias?: string;
+}
+/** Where in parameter space a model or bridge is claimed to apply. @public */
+export interface Regime {
+    /** `'oscillators'`. */
+    readonly family: string;
+    readonly inequalities: readonly RegimeInequality[];
+    /** Traceability back to the dimension matrix, keyed by `PiGroup.formula`. */
+    readonly groupDefinitions: Readonly<Record<string, PiGroup>>;
+}
+/** A Lipschitz-plus-offset error bound with a mandatory horizon. @public */
+export interface ApproximationBound {
+    /** Lipschitz constant of the map, in the stated norm. */
+    readonly K: number;
+    /**
+     * Uniform error, same norm: the SUPREMUM OF THE BOUND OVER THE WHOLE
+     * DECLARED DOMAIN (`domain` / `parameterRange`), never a sample of it at
+     * one convenient fixture point.
+     *
+     * A parameter-dependent bound evaluated at a fixture is not a bound on the
+     * domain it claims: the record would read as covering every admissible
+     * parameter while holding only at the one point it was measured. When the
+     * supremum is approached but not attained at an open edge of the domain,
+     * `delta` is that supremum, and `deltaAt` is what a caller uses to get the
+     * tighter value at its own point.
+     */
+    readonly delta: number;
+    /**
+     * `'relative period error, normalized by the value of the reduced model'`,
+     * `'sup |x − x_reduced| for t ≥ 5 m/b'`, …
+     *
+     * A RELATIVE norm divides |exact − reduced| by the REDUCED model's value, and
+     * says so in this string. The other reading, by the exact value, gives a
+     * different number: at x = ck/ω₀ = 1 the non-relativistic kinetic frequency
+     * exceeds the exact Klein–Gordon one by 20.7% of the exact value, and by
+     * 17.2% of its own value. `tests/atlas/relative-norm-convention.test.ts` recomputes
+     * every relative `delta` from closed-form physics and pins the convention.
+     */
+    readonly norm: string;
+    /** Where the bound holds. */
+    readonly domain: string;
+    /** MANDATORY prose horizon: `'t ≪ 16 T0/θ0²'`. */
+    readonly horizon: string;
+    /** MANDATORY machine form of `horizon`: true while the bound is claimed to hold. */
+    readonly horizonHolds: (t: number, params: Readonly<Record<string, number>>) => boolean;
+    /**
+     * MACHINE FORM OF `delta`, mirroring what `horizonHolds` is to `horizon`:
+     * the bound AT A POINT of the declared domain, in the same norm.
+     *
+     * `horizon` had a machine counterpart and `delta` had none, so an
+     * implementer holding a correct parameter-dependent bound could only freeze
+     * it at a single point and hope the reader noticed. `deltaAt` is where that
+     * dependence goes; `delta` stays the supremum over the domain, and
+     * `deltaAt(p) <= delta` for every admissible `p`.
+     *
+     * Optional on the interface so a genuinely constant bound need not restate
+     * itself, and so `coarse-graining` bounds are unaffected; MANDATORY for an
+     * `approximation`, enforced at admission by `admitApproximation`.
+     */
+    readonly deltaAt?: (params: Readonly<Record<string, number>>) => number;
+    /**
+     * What `deltaAt` rests on. `'closed-form'`: it returns the EXACT error in
+     * closed form, so it is a proven bound, holding with equality. `'numerically-
+     * supported'`: a formula that witnesses support numerically but no proof
+     * covers. `upt path` prints a point bound only when every step is closed-form.
+     */
+    readonly deltaAtBasis?: 'closed-form' | 'numerically-supported';
+    /** `'θ0 ≤ 0.5 rad'`. */
+    readonly parameterRange?: string;
+    readonly limitCharacter: LimitCharacter;
+    /**
+     * What the error is uniform in.
+     *
+     * `null` means NOT YET ANALYSED. That is a legitimate recorded state:
+     * `makeApproximation` accepts it, and the check lives at use (`boundPath`),
+     * not at construction. An empty array means the same thing — a universal
+     * over nothing must not count as analysed. A non-empty array names the
+     * scopes the error is uniform in. A variable a side condition says the
+     * error is NOT uniform in is not listed.
+     */
+    readonly uniformity: readonly string[] | null;
+}
+/** A case a bridge does NOT cover, and the witness that shows it. @public */
+export interface Counterexample {
+    readonly description: string;
+    /** `'W2b'`. */
+    readonly witness: string;
+}
+/**
+ * The relation a record asserts, as a DISCRIMINATED UNION over `RelationType`.
+ *
+ * This is the Phase 1 overlay (design note §1.2, "One overlay, not two"). Its
+ * purpose is to move `AtlasBridge`'s two CONDITIONAL requirements — written
+ * there only as doc comments — into the type system:
+ *
+ *   - `approximation` REQUIRES `bound`, and `ApproximationBound` itself
+ *     mandates `horizon` + `horizonHolds`. So an approximation without a
+ *     machine horizon is a COMPILE error, not a runtime one.
+ *   - `exact-equivalence` REQUIRES `inverse`.
+ *
+ * Deliberately conservative elsewhere. The design note §2.2 names the fields
+ * the other members WOULD need (an analyticity domain, a checkable
+ * `preserves` set, an ħ-order) and records that none of them exists before
+ * Phase 2. Inventing them here would encode claims the data cannot support,
+ * so every other member carries only `transformation`.
+ *
+ * @internal
+ */
+export type RelationContract = {
+    readonly type: 'derivation';
+    readonly transformation: string;
+} | {
+    readonly type: 'exact-equivalence';
+    readonly transformation: string;
+    /** REQUIRED: `'x = x0 u, t = τ/ω0'`. An equivalence without an inverse is not one. */
+    readonly inverse: string;
+} | {
+    readonly type: 'restriction';
+    readonly transformation: string;
+} | {
+    readonly type: 'approximation';
+    readonly transformation: string;
+    /** REQUIRED, and mandates its own machine horizon. */
+    readonly bound: ApproximationBound;
+} | {
+    readonly type: 'coarse-graining';
+    readonly transformation: string;
+    /** Optional: errors accumulate through `composeBounds` when present. */
+    readonly bound?: ApproximationBound;
+} | {
+    readonly type: 'analytic-continuation';
+    readonly transformation: string;
+} | {
+    readonly type: 'structural-analogy';
+    readonly transformation: string;
+} | {
+    readonly type: 'deformation-quantization';
+    readonly transformation: string;
+};
+/**
+ * Sign and unit choices a record depends on. Every field is optional, and a
+ * field is only meaningful when the record actually depends on that choice.
+ *
+ * Non-emptiness matters downstream: design note §3 requires `conventions` to
+ * declare AT LEAST ONE field before `convention-checked` can be derived,
+ * because `[].every(…)` is vacuously true and would hand out a free tag.
+ *
+ * @internal
+ */
+export interface Conventions {
+    /** First law as `dU = Q − W` or `dU = Q + W`. */
+    readonly heatWorkSign?: 'Q-W' | 'Q+W';
+    readonly metricSignature?: '-+++' | '+---';
+    readonly fourierNormalization?: 'unitary' | 'physics' | 'none';
+    readonly unitSystem?: 'SI' | 'gaussian' | 'natural';
+    readonly capacitorChargeSign?: '+' | '-';
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/relations/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/relations/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AAE5D,qFAAqF;AACrF,MAAM,MAAM,YAAY,GACpB,YAAY,GACZ,mBAAmB,GACnB,aAAa,GACb,eAAe,GACf,iBAAiB,GACjB,uBAAuB,GACvB,oBAAoB,GACpB,0BAA0B,CAAC;AAE/B,yFAAyF;AACzF,MAAM,MAAM,WAAW,GACnB,UAAU,GACV,UAAU,GACV,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,uBAAuB,GACvB,iBAAiB,GACjB,0BAA0B,GAC1B,6BAA6B,GAC7B,uBAAuB,GACvB,cAAc,GACd,YAAY,CAAC;AAEjB;;;;;;;;;;GAUG;AACH,eAAO,MAAM,iBAAiB,oQAaa,CAAC;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB,kBAAkB,GAClB,eAAe,GACf,YAAY,CAAC;AAEjB;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GACrB,QAAQ,GACR,UAAU,GACV,aAAa,GACb,WAAW,GACX,OAAO,GACP,iBAAiB,CAAC;AAEtB;;;;;;;;;;GAUG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,eAAe,GAAG,cAAc,GAAG,OAAO,CAAC;IAC5D,sEAAsE;IACtE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,4DAA4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,oEAAoE;IACpE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;;;OAGG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,uEAAuE;AACvE,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAAC;AAEhE;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,GAAG,GAAG,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qDAAqD;IACrD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8EAA8E;AAC9E,MAAM,WAAW,MAAM;IACrB,uBAAuB;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACnD,6EAA6E;IAC7E,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC9D;AAED,4EAA4E;AAC5E,MAAM,WAAW,kBAAkB;IACjC,yDAAyD;IACzD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kDAAkD;IAClD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,OAAO,CAAC;IACxF;;;;;;;;;;;;;OAaG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC;IACxE;;;;;OAKG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,aAAa,GAAG,uBAAuB,CAAC;IAChE,wBAAwB;IACxB,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IACxC;;;;;;;;;OASG;IACH,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CAC/C;AAED,6EAA6E;AAC7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,eAAe;IACf,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,gBAAgB,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAChE;IACE,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACjE;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,sDAAsD;IACtD,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;CACpC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;CACrC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,uBAAuB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,oBAAoB,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnF;;;;;;;;;GASG;AACH,MAAM,WAAW,WAAW;IAC1B,iDAAiD;IACjD,QAAQ,CAAC,YAAY,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC;IACtC,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,oBAAoB,CAAC,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,CAAC;IAC/D,QAAQ,CAAC,UAAU,CAAC,EAAE,IAAI,GAAG,UAAU,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,mBAAmB,CAAC,EAAE,GAAG,GAAG,GAAG,CAAC;CAC1C"}

package/dist/relations/types.js

@@ -0,0 +1,37 @@
+/**
+ * Shared relation vocabulary.
+ *
+ * The seed a later category layer would be written in: objects, morphisms,
+ * and a functor are the open question in
+ * `docs/planning/Layering-Refactor-Design.md`. `src/atlas/types.ts` re-exports
+ * these names, so the public `atlas` namespace and the atlas subpath are
+ * unchanged.
+ *
+ * @module relations/types
+ */
+/**
+ * Every `EvidenceTag`, in declaration order, so a report can name all of them.
+ *
+ * Lives HERE, not in `coverage.ts` (which re-exports it), because
+ * `tests/atlas/derived-tag-literals.test.ts` allows the literals
+ * `'formally-proved'` and `'symbolically-checked'` under `src/atlas/` in
+ * exactly two files: this one and `derive-evidence.ts`. A tag that can only be
+ * DERIVED must not be spellable anywhere a record could hand-set it.
+ *
+ * @internal
+ */
+export const ALL_EVIDENCE_TAGS = [
+    'proposed',
+    'reviewed',
+    'dimension-checked',
+    'convention-checked',
+    'symbolically-checked',
+    'numerically-supported',
+    'formally-proved',
+    'formally-proved-property',
+    'formally-proved-cross-check',
+    'empirically-supported',
+    'contradicted',
+    'unresolved',
+];
+//# sourceMappingURL=types.js.map

package/dist/relations/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/relations/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AA8BH;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,UAAU;IACV,UAAU;IACV,mBAAmB;IACnB,oBAAoB;IACpB,sBAAsB;IACtB,uBAAuB;IACvB,iBAAiB;IACjB,0BAA0B;IAC1B,6BAA6B;IAC7B,uBAAuB;IACvB,cAAc;IACd,YAAY;CAC6B,CAAC"}

package/package.json

@@ -1,163 +1,166 @@
-{
-  "name": "universal-physics-tensor",
-  "version": "0.47.1",
-  "description": "Computational framework for exploring unified physics through tensor formalism",
-  "main": "dist/index.js",
-  "types": "dist/index.d.ts",
-  "bin": {
-    "upt": "bin/upt.mjs"
-  },
-  "exports": {
-    ".": {
-      "types": "./dist/index.d.ts",
-      "import": "./dist/index.js",
-      "default": "./dist/index.js"
-    },
-    "./numerical/mathts-engine": {
-      "types": "./dist/numerical/mathts-engine.d.ts",
-      "import": "./dist/numerical/mathts-engine.js",
-      "default": "./dist/numerical/mathts-engine.js"
-    },
-    "./probe": {
-      "types": "./dist/composition/probe/index.d.ts",
-      "import": "./dist/composition/probe/index.js",
-      "default": "./dist/composition/probe/index.js"
-    },
-    "./atlas": {
-      "types": "./dist/atlas/index.d.ts",
-      "import": "./dist/atlas/index.js",
-      "default": "./dist/atlas/index.js"
-    }
-  },
-  "directories": {
-    "doc": "docs",
-    "example": "examples",
-    "test": "tests"
-  },
-  "scripts": {
-    "prepare": "git config core.hooksPath .githooks || exit 0",
-    "build": "tsc",
-    "dev": "tsc --watch",
-    "smoke": "node test-example.js",
-    "upt": "node bin/upt.mjs",
-    "explain": "node bin/upt.mjs explain",
-    "bridge-priority": "node bin/upt.mjs priority",
-    "pretest": "tsc",
-    "test": "vitest run",
-    "test:atlas": "vitest run tests/atlas",
-    "test:probe-coverage": "vitest run tests/composition/probe --coverage --coverage.thresholds.lines=95 --coverage.thresholds.statements=95 --coverage.thresholds.functions=95 --coverage.thresholds.branches=85",
-    "test:coverage": "vitest run --coverage --coverage.include='src/**/*.ts' --coverage.exclude='src/**/index.ts' --coverage.exclude='src/**/*.ambient.d.ts' --coverage.reporter=text-summary",
-    "test:watch": "vitest",
-    "prepublishOnly": "npm run validate",
-    "bench": "vitest bench",
-    "bench:ci": "vitest bench --reporter=verbose",
-    "docs:deps": "bun tools/create-dependency-graph/create-dependency-graph.ts --root=. --include-tests",
-    "audit:plans": "bun tools/plan-doc-audit/audit.ts",
-    "atlas:formal-gate": "bun tools/formalref-axiom-gate/gate.ts",
-    "atlas:quote-check": "bun tools/citation-quote-check/check.ts",
-    "atlas:c3-export": "bun tools/criterion3-export/export.ts",
-    "atlas:c3-labels": "bun tools/criterion3-study/labels.ts",
-    "atlas:c3-run": "bun tools/criterion3-study/run.ts",
-    "catalog:json": "npm run build && node scripts/emit-catalog-json.mjs",
-    "atlas:json": "npm run build && node scripts/emit-atlas-json.mjs",
-    "atlas:witness-results": "npm run build && node scripts/emit-witness-results.mjs",
-    "atlas:study": "npm run build && node scripts/run-atlas-study.mjs",
-    "typecheck": "tsc --noEmit && tsc -p tsconfig.tests.json",
-    "validate": "npm run build && npm run typecheck && npm test && npm run audit:plans && npm run package:check",
-    "package:check": "node scripts/package-smoke.mjs"
-  },
-  "files": [
-    "dist",
-    "bin",
-    "README.md",
-    "LICENSE"
-  ],
-  "keywords": [
-    "physics",
-    "tensor",
-    "unification",
-    "quantum-mechanics",
-    "general-relativity",
-    "bridge-equations",
-    "theoretical-physics",
-    "computational-physics"
-  ],
-  "author": "Daniel Simon Jr. <danielsimonjr@users.noreply.github.com>",
-  "license": "MIT",
-  "type": "module",
-  "engines": {
-    "node": ">=18.0.0",
-    "bun": ">=1.4.2"
-  },
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/danielsimonjr/universal-physics-tensor.git"
-  },
-  "bugs": {
-    "url": "https://github.com/danielsimonjr/universal-physics-tensor/issues"
-  },
-  "homepage": "https://github.com/danielsimonjr/universal-physics-tensor#readme",
-  "devDependencies": {
-    "@danielsimonjr/mathts-autograd": "^0.3.13",
-    "@danielsimonjr/mathts-core": "^0.1.3",
-    "@danielsimonjr/mathts-expression": "^0.7.1",
-    "@danielsimonjr/mathts-functions": "^0.64.0",
-    "@danielsimonjr/mathts-matrix": "^0.7.1",
-    "@danielsimonjr/mathts-parallel": "^0.2.1",
-    "@danielsimonjr/mathts-tensor": "^0.1.1",
-    "@danielsimonjr/mathts-wasm": "^0.1.3",
-    "@danielsimonjr/mathts-workerpool": "^0.2.0",
-    "@types/node": "^26.0.0",
-    "@vitest/coverage-v8": "^4.1.7",
-    "@viz-js/viz": "^3.28.0",
-    "fast-check": "^4.8.0",
-    "js-yaml": "^5.0.0",
-    "typescript": "^7.0.2",
-    "vitest": "^4.1.7"
-  },
-  "peerDependencies": {
-    "@danielsimonjr/mathts-autograd": "^0.3.13",
-    "@danielsimonjr/mathts-core": "^0.1.3",
-    "@danielsimonjr/mathts-expression": "^0.7.1",
-    "@danielsimonjr/mathts-functions": "^0.64.0",
-    "@danielsimonjr/mathts-matrix": "^0.7.1",
-    "@danielsimonjr/mathts-parallel": "^0.2.1",
-    "@danielsimonjr/mathts-tensor": "^0.1.1",
-    "@danielsimonjr/mathts-wasm": "^0.1.3",
-    "@danielsimonjr/mathts-workerpool": "^0.2.0",
-    "@viz-js/viz": "^3.28.0"
-  },
-  "peerDependenciesMeta": {
-    "@danielsimonjr/mathts-autograd": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-core": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-expression": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-functions": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-matrix": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-parallel": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-tensor": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-wasm": {
-      "optional": true
-    },
-    "@danielsimonjr/mathts-workerpool": {
-      "optional": true
-    },
-    "@viz-js/viz": {
-      "optional": true
-    }
-  },
-  "packageManager": "bun@1.4.2"
-}
+{
+  "name": "universal-physics-tensor",
+  "version": "1.0.1",
+  "description": "Computational framework for exploring unified physics through tensor formalism",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "bin": {
+    "upt": "bin/upt.mjs"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    },
+    "./numerical/mathts-engine": {
+      "types": "./dist/numerical/mathts-engine.d.ts",
+      "import": "./dist/numerical/mathts-engine.js",
+      "default": "./dist/numerical/mathts-engine.js"
+    },
+    "./probe": {
+      "types": "./dist/composition/probe/index.d.ts",
+      "import": "./dist/composition/probe/index.js",
+      "default": "./dist/composition/probe/index.js"
+    },
+    "./atlas": {
+      "types": "./dist/atlas/index.d.ts",
+      "import": "./dist/atlas/index.js",
+      "default": "./dist/atlas/index.js"
+    }
+  },
+  "directories": {
+    "doc": "docs",
+    "example": "examples",
+    "test": "tests"
+  },
+  "scripts": {
+    "prepare": "git config core.hooksPath .githooks || exit 0",
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "smoke": "node test-example.js",
+    "upt": "node bin/upt.mjs",
+    "explain": "node bin/upt.mjs explain",
+    "bridge-priority": "node bin/upt.mjs priority",
+    "pretest": "tsc",
+    "test": "vitest run",
+    "test:atlas": "vitest run tests/atlas",
+    "test:probe-coverage": "vitest run tests/composition/probe --coverage --coverage.thresholds.lines=95 --coverage.thresholds.statements=95 --coverage.thresholds.functions=95 --coverage.thresholds.branches=85",
+    "test:coverage": "vitest run --coverage --coverage.include='src/**/*.ts' --coverage.exclude='src/**/index.ts' --coverage.exclude='src/**/*.ambient.d.ts' --coverage.reporter=text-summary",
+    "test:watch": "vitest",
+    "prepublishOnly": "npm run validate",
+    "bench": "vitest bench",
+    "bench:ci": "vitest bench --reporter=verbose",
+    "docs:deps": "bun tools/create-dependency-graph/create-dependency-graph.ts --root=. --include-tests",
+    "audit:plans": "bun tools/plan-doc-audit/audit.ts",
+    "layer:check": "bun tools/layer-order/check.ts",
+    "atlas:formal-gate": "bun tools/formalref-axiom-gate/gate.ts",
+    "atlas:quote-check": "bun tools/citation-quote-check/check.ts",
+    "atlas:c3-export": "bun tools/criterion3-export/export.ts",
+    "atlas:c3-labels": "bun tools/criterion3-study/labels.ts",
+    "atlas:c3-run": "bun tools/criterion3-study/run.ts",
+    "catalog:json": "npm run build && node scripts/emit-catalog-json.mjs",
+    "atlas:json": "npm run build && node scripts/emit-atlas-json.mjs",
+    "atlas:witness-results": "npm run build && node scripts/emit-witness-results.mjs",
+    "atlas:study": "npm run build && node scripts/run-atlas-study.mjs",
+    "typecheck": "tsc --noEmit && tsc -p tsconfig.tests.json",
+    "validate": "npm run build && npm run typecheck && npm test && npm run audit:plans && npm run package:check",
+    "package:check": "node scripts/package-smoke.mjs"
+  },
+  "files": [
+    "dist",
+    "bin",
+    "README.md",
+    "LICENSE"
+  ],
+  "keywords": [
+    "physics",
+    "tensor",
+    "unification",
+    "quantum-mechanics",
+    "general-relativity",
+    "bridge-equations",
+    "theoretical-physics",
+    "computational-physics"
+  ],
+  "author": "Daniel Simon Jr. <danielsimonjr@users.noreply.github.com>",
+  "license": "MIT",
+  "type": "module",
+  "engines": {
+    "node": ">=18.0.0",
+    "bun": ">=1.4.2"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/danielsimonjr/universal-physics-tensor.git"
+  },
+  "bugs": {
+    "url": "https://github.com/danielsimonjr/universal-physics-tensor/issues"
+  },
+  "homepage": "https://github.com/danielsimonjr/universal-physics-tensor#readme",
+  "devDependencies": {
+    "@danielsimonjr/mathts-autograd": "^0.3.15",
+    "@danielsimonjr/mathts-core": "^0.15.5",
+    "@danielsimonjr/mathts-expression": "^0.8.2",
+    "@danielsimonjr/mathts-functions": "^0.65.0",
+    "@danielsimonjr/mathts-matrix": "^0.7.5",
+    "@danielsimonjr/mathts-parallel": "^0.6.7",
+    "@danielsimonjr/mathts-tensor": "^0.2.21",
+    "@danielsimonjr/mathts-wasm": "^0.3.0",
+    "@danielsimonjr/mathts-workerpool": "^0.2.6",
+    "@types/node": "^26.0.0",
+    "@vitest/coverage-v8": "^4.1.7",
+    "@viz-js/viz": "^3.28.0",
+    "fast-check": "^4.8.0",
+    "js-yaml": "^5.0.0",
+    "tree-sitter": "0.22.4",
+    "tree-sitter-typescript": "0.23.2",
+    "typescript": "^7.0.2",
+    "vitest": "^4.1.7"
+  },
+  "peerDependencies": {
+    "@danielsimonjr/mathts-autograd": "^0.3.15",
+    "@danielsimonjr/mathts-core": "^0.15.5",
+    "@danielsimonjr/mathts-expression": "^0.8.2",
+    "@danielsimonjr/mathts-functions": "^0.65.0",
+    "@danielsimonjr/mathts-matrix": "^0.7.5",
+    "@danielsimonjr/mathts-parallel": "^0.6.7",
+    "@danielsimonjr/mathts-tensor": "^0.2.21",
+    "@danielsimonjr/mathts-wasm": "^0.3.0",
+    "@danielsimonjr/mathts-workerpool": "^0.2.6",
+    "@viz-js/viz": "^3.28.0"
+  },
+  "peerDependenciesMeta": {
+    "@danielsimonjr/mathts-autograd": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-core": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-expression": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-functions": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-matrix": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-parallel": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-tensor": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-wasm": {
+      "optional": true
+    },
+    "@danielsimonjr/mathts-workerpool": {
+      "optional": true
+    },
+    "@viz-js/viz": {
+      "optional": true
+    }
+  },
+  "packageManager": "bun@1.4.2"
+}