universal-physics-tensor 7.0.0 → 9.0.0

package/data/quantities.schema.json

@@ -0,0 +1,52 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "quantities.schema.json",
+  "title": "UPT quantity registry",
+  "description": "The shape of data/quantities.json. src/dimensional/quantity-registry.ts validates the file against this schema when it loads, with the keyword subset src/core/json-schema.ts reads. A constant's spellings are not written here: the constant registry names its quantity and the quantity registry derives those aliases.",
+  "type": "object",
+  "required": ["quantities"],
+  "additionalProperties": false,
+  "properties": {
+    "$schema": { "type": "string" },
+    "quantities": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "required": ["id", "symbol", "dimension", "attributes", "graphNode"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^\\S+$", "description": "The canonical id, or a spelling row (graphNode false). `_` and `-` are one character to every lookup, so two rows may not differ only there; the loader checks it." },
+          "symbol": { "type": "string", "minLength": 1 },
+          "dimension": { "$ref": "#/$defs/dimension" },
+          "attributes": {
+            "description": "Axis → value. The axes and their values are the attribute registry's; this file only states strings.",
+            "type": "object",
+            "additionalProperties": { "type": "string", "minLength": 1 }
+          },
+          "kind": { "enum": ["absolute", "interval"], "description": "The QuantityKind of a temperature-like quantity." },
+          "aliases": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+          "signRole": { "enum": ["charge", "mobility"], "description": "The SignRole of a signed quantity." },
+          "graphNode": { "type": "boolean" }
+        }
+      }
+    }
+  },
+  "$defs": {
+    "dimension": {
+      "description": "SI base exponents, all seven stated.",
+      "type": "object",
+      "required": ["L", "M", "T", "I", "Theta", "N", "J"],
+      "additionalProperties": false,
+      "properties": {
+        "L": { "type": "integer" },
+        "M": { "type": "integer" },
+        "T": { "type": "integer" },
+        "I": { "type": "integer" },
+        "Theta": { "type": "integer" },
+        "N": { "type": "integer" },
+        "J": { "type": "integer" }
+      }
+    }
+  }
+}

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