universal-physics-tensor 7.0.0 → 8.0.0

package/data/schemas/atlas-record.v0.json

@@ -0,0 +1,236 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "UPT Atlas Record",
+  "description": "Versioned JSON artifact for a Phase 0 atlas family (`src/atlas`): the models, the bridges between them, and the claimed bridges that were rejected. DOCUMENTATION ONLY — this tree carries no JSON-Schema validator and adds no dependency to get one; the schema exists so an external validator can check an emitted record and so the field set has one written source. `schemaVersion` is independent of `packageVersion`. Experimental — does not imply public API stability. TypeScript sources (`src/atlas/types.ts`) remain authoritative for in-memory types, and Phase 0 pilot types are replaced rather than migrated (Atlas-Phase-0-Design.md §4).",
+  "type": "object",
+  "required": ["schemaVersion", "packageVersion", "family", "models", "bridges", "rejections"],
+  "properties": {
+    "$schema": { "type": "string" },
+    "schemaVersion": {
+      "const": "0",
+      "description": "Record major version. Parsers reject unknown incompatible majors. Additive optional fields do not require a bump."
+    },
+    "packageVersion": {
+      "type": "string",
+      "minLength": 1,
+      "description": "`package.json` version of the UPT build that emitted the record. Independent of `schemaVersion`."
+    },
+    "family": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Identifier of the atlas family this record describes (Phase 0 emits a single family)."
+    },
+    "models": {
+      "type": "array",
+      "description": "The models that are bridge endpoints. Ids must be unique within the record.",
+      "items": { "$ref": "#/definitions/atlasModel" }
+    },
+    "bridges": {
+      "type": "array",
+      "description": "Asserted relations between models, each with premises and a conclusion.",
+      "items": { "$ref": "#/definitions/atlasBridge" }
+    },
+    "rejections": {
+      "type": "array",
+      "description": "Claimed bridges that do NOT hold, retained with the counterexample that defeats each one. A rejection is evidence, not an omission.",
+      "items": { "$ref": "#/definitions/atlasRejection" }
+    }
+  },
+  "additionalProperties": false,
+
+  "definitions": {
+    "relationType": {
+      "description": "The eight Phase 0 relation kinds (Atlas-Phase-0-Design.md §2).",
+      "enum": [
+        "derivation",
+        "exact-equivalence",
+        "restriction",
+        "approximation",
+        "coarse-graining",
+        "analytic-continuation",
+        "structural-analogy",
+        "deformation-quantization"
+      ]
+    },
+
+    "limitCharacter": {
+      "description": "Whether the limit taken by the relation is regular or singular.",
+      "enum": ["regular", "singular", "unknown"]
+    },
+
+    "approximationBound": {
+      "type": "object",
+      "description": "Quantitative error bound. `horizon` (prose) states where the approximation stops being usable; the machine predicate that decides it lives in the TypeScript source and is not serialisable, so only the prose form appears here.",
+      "required": ["K", "delta", "norm", "domain", "horizon", "limitCharacter", "uniformity"],
+      "properties": {
+        "K": {
+          "type": "number",
+          "description": "Multiplicative constant of the bound, in the stated norm."
+        },
+        "delta": {
+          "type": "number",
+          "description": "Small parameter the bound is expressed in."
+        },
+        "norm": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The norm the bound is stated in. A bound without its norm is not a bound: an equivalence can be an isometry in one norm and not in another (§9)."
+        },
+        "domain": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Region of parameter and state space where the bound is claimed."
+        },
+        "horizon": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Prose statement of the time or regime past which the bound no longer holds."
+        },
+        "parameterRange": {
+          "type": "string",
+          "minLength": 1,
+          "description": "Optional prose range of the parameter the bound was taken over."
+        },
+        "limitCharacter": { "$ref": "#/definitions/limitCharacter" },
+        "uniformity": {
+          "description": "What the error is uniform in. null or an empty array means not yet analysed; boundPath then returns no numeric bound.",
+          "type": ["array", "null"],
+          "items": { "type": "string", "minLength": 1 }
+        }
+      },
+      "additionalProperties": false
+    },
+
+    "witness": {
+      "type": "object",
+      "description": "Evidence that a bridge holds: an analytic argument, a numeric experiment, or both.",
+      "required": ["kind", "description"],
+      "properties": {
+        "kind": { "enum": ["analytic", "numeric", "symbolic"] },
+        "description": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": true
+    },
+
+    "counterexample": {
+      "type": "object",
+      "description": "A concrete instance that defeats a claimed relation.",
+      "required": ["description"],
+      "properties": {
+        "description": { "type": "string", "minLength": 1 },
+        "params": {
+          "type": "object",
+          "description": "Parameter assignment at which the claim fails.",
+          "additionalProperties": { "type": "number" }
+        }
+      },
+      "additionalProperties": true
+    },
+
+    "atlasModel": {
+      "type": "object",
+      "required": ["id", "dynamics"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^model-",
+          "description": "Stable model identifier (`model-*`)."
+        },
+        "dynamics": {
+          "type": "string",
+          "minLength": 1,
+          "description": "The governing equation, as written."
+        },
+        "canonicalRefs": {
+          "type": "array",
+          "description": "Ids into `CANONICAL_EQUATIONS`. A ref that does not resolve is a test failure, not a warning (§3).",
+          "items": { "type": "string", "minLength": 1 }
+        }
+      },
+      "additionalProperties": true
+    },
+
+    "atlasBridge": {
+      "type": "object",
+      "description": "An asserted relation. The if/then below encodes the Phase 0 rule that an approximation without an error bound is an assertion rather than a relation: when `relation` is `approximation`, `bound` is required and `bound.horizon` with it.",
+      "required": ["id", "relation", "premises", "conclusion"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^ab-",
+          "description": "Stable bridge identifier (`ab-*`)."
+        },
+        "relation": { "$ref": "#/definitions/relationType" },
+        "premises": {
+          "type": "array",
+          "minItems": 1,
+          "description": "Model ids the relation reasons FROM.",
+          "items": { "type": "string", "pattern": "^model-" }
+        },
+        "conclusion": {
+          "type": "string",
+          "pattern": "^model-",
+          "description": "Model id the relation reasons TO."
+        },
+        "limitCharacter": { "$ref": "#/definitions/limitCharacter" },
+        "bound": { "$ref": "#/definitions/approximationBound" },
+        "witnesses": {
+          "type": "array",
+          "items": { "$ref": "#/definitions/witness" }
+        },
+        "evidence": {
+          "type": "string",
+          "description": "Evidence tag for the claim (`proposed` … `contradicted`, `unresolved`)."
+        },
+        "normTransports": {
+          "type": "array",
+          "description": "Optional, on an exact-equivalence bridge only: per-direction declarations of how the map carries an error norm (docs/planning/ADR-transported-norm-composition.md). A bound crosses the map only in a norm and direction declared here, with its own witness.",
+          "items": {
+            "type": "object",
+            "required": ["id", "fromModel", "toModel", "from", "to", "K", "timeMap", "witness", "basis"],
+            "additionalProperties": true
+          }
+        }
+      },
+      "additionalProperties": true,
+
+      "if": {
+        "properties": { "relation": { "const": "approximation" } },
+        "required": ["relation"]
+      },
+      "then": {
+        "required": ["bound"],
+        "properties": {
+          "bound": { "required": ["horizon"] }
+        }
+      }
+    },
+
+    "atlasRejection": {
+      "type": "object",
+      "required": ["id", "claimedRelation", "premises", "counterexample"],
+      "properties": {
+        "id": {
+          "type": "string",
+          "pattern": "^ax-",
+          "description": "Stable rejection identifier (`ax-*`)."
+        },
+        "claimedRelation": {
+          "$ref": "#/definitions/relationType",
+          "description": "The relation that was claimed and does not hold."
+        },
+        "premises": {
+          "type": "array",
+          "minItems": 1,
+          "items": { "type": "string", "pattern": "^model-" }
+        },
+        "conclusion": {
+          "type": ["string", "null"],
+          "description": "Model id the claim reached, or null when the claim has no surviving conclusion."
+        },
+        "counterexample": { "$ref": "#/definitions/counterexample" }
+      },
+      "additionalProperties": true
+    }
+  }
+}

package/data/schemas/discovery-run.v0.json

@@ -0,0 +1,203 @@
+{
+  "$schema": "http://json-schema.org/draft-07/schema#",
+  "title": "UPT Discovery Run Manifest",
+  "description": "Versioned JSON artifact for a Product B probe search (`src/composition/probe`). Records the inputs, backends, budget, and environment needed to replay a run. `schemaVersion` is independent of `packageVersion`. Experimental — does not imply public API stability. TypeScript sources remain authoritative for in-memory types.",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "runId",
+    "repositoryCommit",
+    "problemHash",
+    "datasetHashes",
+    "backendDescriptors",
+    "randomSeeds",
+    "tolerances",
+    "environment",
+    "searchBudget",
+    "startedAt"
+  ],
+  "properties": {
+    "$schema": { "type": "string" },
+    "schemaVersion": {
+      "const": "0",
+      "description": "Manifest major version. Parsers reject unknown incompatible majors. Additive optional fields do not require a bump."
+    },
+    "runId": {
+      "type": "string",
+      "pattern": "^dr-",
+      "description": "Stable run identifier (`dr-*`)."
+    },
+    "repositoryCommit": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Git commit of the UPT tree that produced the run."
+    },
+    "problemHash": {
+      "type": "string",
+      "minLength": 1,
+      "description": "Canonical hash of the search problem (quantities, constraints, grammar bounds) excluding datasets."
+    },
+    "datasetHashes": {
+      "type": "array",
+      "description": "Canonical hashes of every dataset the run consumed, in declared input order.",
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "backendDescriptors": {
+      "type": "array",
+      "description": "Backends that generated or scored candidates in this run. External workers are untrusted; descriptors never include secrets.",
+      "items": {
+        "type": "object",
+        "required": [
+          "protocolVersion",
+          "backendId",
+          "backendVersion",
+          "capabilities",
+          "deterministic"
+        ],
+        "properties": {
+          "protocolVersion": {
+            "type": "string",
+            "description": "External-backend protocol version spoken by this worker."
+          },
+          "backendId": {
+            "type": "string",
+            "minLength": 1,
+            "description": "Stable backend identity (native enumerator, user-supplied worker id, …)."
+          },
+          "backendVersion": {
+            "type": "string",
+            "description": "Backend implementation version (or executable hash when a version string is unavailable)."
+          },
+          "capabilities": {
+            "type": "array",
+            "description": "Declared backend capabilities for this run.",
+            "items": { "type": "string" }
+          },
+          "deterministic": {
+            "enum": ["yes", "seeded", "no", "unknown"],
+            "description": "Whether visit order and outputs are bitwise-deterministic, seed-reproducible, or neither."
+          }
+        }
+      }
+    },
+    "randomSeeds": {
+      "type": "object",
+      "description": "Named seeds consumed by stochastic backends. Empty object when the run is seed-independent.",
+      "additionalProperties": { "type": ["string", "number"] }
+    },
+    "tolerances": {
+      "type": "object",
+      "description": "Named numeric tolerances that bound numerical (not bitwise) reproducibility.",
+      "additionalProperties": { "type": "number" }
+    },
+    "environment": {
+      "type": "object",
+      "description": "Runtime fingerprint. Does not promise bitwise reproducibility of GPU libraries or external solvers.",
+      "required": ["node", "platform", "arch"],
+      "properties": {
+        "node": {
+          "type": "string",
+          "description": "`process.version` of the Node runtime."
+        },
+        "platform": {
+          "type": "string",
+          "description": "`process.platform` (linux / darwin / win32 / …)."
+        },
+        "arch": {
+          "type": "string",
+          "description": "`process.arch` (x64 / arm64 / …)."
+        }
+      }
+    },
+    "searchBudget": {
+      "type": "object",
+      "description": "Hard search limits. Exhaustion yields a valid partial result plus `stopReason`.",
+      "required": [
+        "maxCandidates",
+        "maxAstDepth",
+        "maxOperators",
+        "maxDerivativeOrder",
+        "maxEvaluations",
+        "maxWallClockMs"
+      ],
+      "properties": {
+        "maxCandidates": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Maximum candidates retained or emitted."
+        },
+        "maxAstDepth": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Maximum expression-tree depth the enumerator may emit."
+        },
+        "maxOperators": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Maximum operator-node count per candidate."
+        },
+        "maxDerivativeOrder": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Maximum derivative / differential order."
+        },
+        "maxEvaluations": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Maximum residual / model evaluations."
+        },
+        "maxWallClockMs": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Wall-clock budget in milliseconds."
+        },
+        "maxResidentMemoryBytes": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Optional resident-set ceiling in bytes."
+        },
+        "maxExternalProcesses": {
+          "type": "number",
+          "minimum": 0,
+          "description": "Optional cap on concurrent external backend processes."
+        }
+      }
+    },
+    "startedAt": {
+      "type": "string",
+      "format": "date-time",
+      "description": "ISO-8601 UTC timestamp when the run began."
+    },
+    "completedAt": {
+      "type": "string",
+      "format": "date-time",
+      "description": "ISO-8601 UTC timestamp when the run stopped. Absent while in-flight."
+    },
+    "stopReason": {
+      "enum": [
+        "exhausted-space",
+        "candidate-limit",
+        "evaluation-limit",
+        "time-limit",
+        "memory-limit",
+        "cancelled",
+        "sufficient-candidates",
+        "non-identifiable",
+        "no-credible-candidate"
+      ],
+      "description": "Why the search stopped. `no-credible-candidate` is a successful scientific outcome, not a failure. Budget exhaustion is a valid partial result."
+    },
+    "nondeterminism": {
+      "type": "array",
+      "description": "Declared sources of non-bitwise reproducibility (GPU libraries, external solvers, unordered hashing). Empty when the run claims bitwise determinism.",
+      "items": {
+        "type": "object",
+        "required": ["kind"],
+        "properties": {
+          "kind": { "type": "string", "minLength": 1 },
+          "detail": { "type": "string" }
+        }
+      }
+    }
+  }
+}

package/dist/atlas/catalog-formal-ref.d.ts

@@ -1,22 +1,16 @@
 /**
- * Catalog formal references, keyed by bridge id.
+ * Catalog formal references.
  *
- * These used to be `formalRef: physjsFormalRef('be-N')` on the catalog
- * rows in `src/bridges/index.ts`. That import was an upward edge. The
- * catalog row does not keep a second copy. A reader that needs the
- * reference calls {@link catalogFormalRef}.
- *
- * The reference is built by `physjsFormalRef`, so kind, url, and covers
- * are the manifest's, not a hand copy. An id this map does not contain
- * resolves to no reference. Evidence tags stay derived: this module
- * does not store a tag.
+ * The catalog row stores the manifest key. This module asks PhysJS for that
+ * key. It does not parse an id out of text, and it does not store an evidence
+ * tag.
  *
  * @module atlas/catalog-formal-ref
  */
 import type { FormalRef } from '../relations/types.js';
 /**
- * The reviewed PhysJS reference for a catalog id, or `undefined` when
- * this overlay has none.
+ * The reviewed PhysJS reference for a catalog id, or `undefined` when the
+ * row records no manifest key.
  *
  * @internal
  */

package/dist/atlas/catalog-formal-ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAmBvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAElE"}
+{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAOvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAMlE"}

package/dist/atlas/catalog-formal-ref.js

@@ -1,38 +1,28 @@
 /**
- * Catalog formal references, keyed by bridge id.
+ * Catalog formal references.
  *
- * These used to be `formalRef: physjsFormalRef('be-N')` on the catalog
- * rows in `src/bridges/index.ts`. That import was an upward edge. The
- * catalog row does not keep a second copy. A reader that needs the
- * reference calls {@link catalogFormalRef}.
- *
- * The reference is built by `physjsFormalRef`, so kind, url, and covers
- * are the manifest's, not a hand copy. An id this map does not contain
- * resolves to no reference. Evidence tags stay derived: this module
- * does not store a tag.
+ * The catalog row stores the manifest key. This module asks PhysJS for that
+ * key. It does not parse an id out of text, and it does not store an evidence
+ * tag.
  *
  * @module atlas/catalog-formal-ref
  */
-import { PHYSJS_ENTRIES } from './physjs-entries.generated.js';
+import { catalogEntry } from '../bridges/catalog-load.js';
 import { physjsFormalRef } from './physjs-ref.js';
+/** Memo of the PhysJS reference already built for a catalog id. */
+const byId = new Map();
 /**
- * Catalog ids whose generated manifest key is `be-<id>`.
- * Derived from that table, so a new `be-*` key is not a second hand list.
- * `be-20` is absent: its Friedmann corollary stays nested on `be-13`.
- * The hand list that stopped at 102 is the record from before BE-103–125.
- */
-const CATALOG_FORMAL_REF_IDS = PHYSJS_ENTRIES.flatMap((entry) => {
-    const match = /^be-(\d+)$/.exec(entry.key);
-    return match === null ? [] : [Number(match[1])];
-});
-const BY_ID = new Map(CATALOG_FORMAL_REF_IDS.map((id) => [id, physjsFormalRef(`be-${id}`)]));
-/**
- * The reviewed PhysJS reference for a catalog id, or `undefined` when
- * this overlay has none.
+ * The reviewed PhysJS reference for a catalog id, or `undefined` when the
+ * row records no manifest key.
  *
  * @internal
  */
 export function catalogFormalRef(id) {
-    return BY_ID.get(id);
+    if (byId.has(id))
+        return byId.get(id);
+    const key = catalogEntry(id)?.formalKey;
+    const ref = key === undefined ? undefined : physjsFormalRef(key);
+    byId.set(id, ref);
+    return ref;
 }
 //# sourceMappingURL=catalog-formal-ref.js.map

package/dist/atlas/catalog-formal-ref.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD;;;;;GAKG;AACH,MAAM,sBAAsB,GAAsB,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;IACjF,MAAM,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3C,OAAO,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,MAAM,KAAK,GAAmC,IAAI,GAAG,CACnD,sBAAsB,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CACtE,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,mEAAmE;AACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiC,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC"}