universal-physics-tensor 9.0.0 → 10.0.0

package/data/quantities.json

@@ -644,7 +644,6 @@
         "information": "von-neumann",
         "force": "gravitational"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -1061,7 +1060,6 @@
         "scale": "classical",
         "force": "emergent"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -1905,7 +1903,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -2337,7 +2334,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -2741,7 +2737,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -2760,7 +2755,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -5342,7 +5336,6 @@
         "scale": "classical",
         "force": "emergent"
       },
-      "kind": "interval",
       "graphNode": true
     },
     {
@@ -6015,7 +6008,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -6034,7 +6026,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -6341,7 +6332,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -6412,7 +6402,6 @@
         "scale": "classical",
         "force": "emergent"
       },
-      "kind": "interval",
       "graphNode": true
     },
     {
@@ -6910,7 +6899,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -7095,7 +7083,6 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -7486,7 +7473,6 @@
       "attributes": {
         "scale": "quantum"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -7561,7 +7547,6 @@
         "information": "von-neumann",
         "force": "gravitational"
       },
-      "kind": "absolute",
       "graphNode": true
     },
     {
@@ -7634,6 +7619,21 @@
       "attributes": {},
       "graphNode": false
     },
+    {
+      "id": "rydberg-constant",
+      "symbol": "rydberg-constant",
+      "dimension": {
+        "L": -1,
+        "M": 0,
+        "T": 0,
+        "I": 0,
+        "Theta": 0,
+        "N": 0,
+        "J": 0
+      },
+      "attributes": {},
+      "graphNode": false
+    },
     {
       "id": "specific-heat",
       "symbol": "specific-heat",
@@ -9004,8 +9004,7 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "graphNode": true,
-      "kind": "absolute"
+      "graphNode": true
     },
     {
       "id": "planckfreq",
@@ -9114,8 +9113,7 @@
         "scale": "classical",
         "force": "electromagnetic"
       },
-      "graphNode": true,
-      "kind": "absolute"
+      "graphNode": true
     },
     {
       "id": "sackurcount",
@@ -9750,6 +9748,42 @@
       },
       "attributes": {},
       "graphNode": true
+    },
+    {
+      "id": "orbital-period",
+      "symbol": "T",
+      "dimension": {
+        "L": 0,
+        "M": 0,
+        "T": 1,
+        "I": 0,
+        "Theta": 0,
+        "N": 0,
+        "J": 0
+      },
+      "attributes": {
+        "scale": "classical",
+        "force": "gravitational"
+      },
+      "graphNode": false
+    },
+    {
+      "id": "drude-factor",
+      "symbol": "C",
+      "dimension": {
+        "L": 3,
+        "M": 1,
+        "T": -2,
+        "I": -2,
+        "Theta": 0,
+        "N": 0,
+        "J": 0
+      },
+      "attributes": {
+        "scale": "classical",
+        "force": "electromagnetic"
+      },
+      "graphNode": false
     }
   ]
 }

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

@@ -3,9 +3,18 @@
   "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"],
+  "required": [
+    "schemaVersion",
+    "packageVersion",
+    "family",
+    "models",
+    "bridges",
+    "rejections"
+  ],
   "properties": {
-    "$schema": { "type": "string" },
+    "$schema": {
+      "type": "string"
+    },
     "schemaVersion": {
       "const": "0",
       "description": "Record major version. Parsers reject unknown incompatible majors. Additive optional fields do not require a bump."
@@ -23,21 +32,26 @@
     "models": {
       "type": "array",
       "description": "The models that are bridge endpoints. Ids must be unique within the record.",
-      "items": { "$ref": "#/definitions/atlasModel" }
+      "items": {
+        "$ref": "#/definitions/atlasModel"
+      }
     },
     "bridges": {
       "type": "array",
       "description": "Asserted relations between models, each with premises and a conclusion.",
-      "items": { "$ref": "#/definitions/atlasBridge" }
+      "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" }
+      "items": {
+        "$ref": "#/definitions/atlasRejection"
+      }
     }
   },
   "additionalProperties": false,
-
   "definitions": {
     "relationType": {
       "description": "The eight Phase 0 relation kinds (Atlas-Phase-0-Design.md §2).",
@@ -52,16 +66,43 @@
         "deformation-quantization"
       ]
     },
-
     "limitCharacter": {
       "description": "Whether the limit taken by the relation is regular or singular.",
-      "enum": ["regular", "singular", "unknown"]
+      "enum": [
+        "regular",
+        "singular",
+        "unknown"
+      ]
+    },
+    "evidenceTag": {
+      "description": "One derived evidence tag (`ALL_EVIDENCE_TAGS` in `src/relations/types.ts`, in declaration order). `formally-proved` is reachable only through a reviewed formal reference of kind `bridge`; `symbolically-checked` and `numerically-supported` only through a witness the committed results record as checked.",
+      "enum": [
+        "proposed",
+        "reviewed",
+        "dimension-checked",
+        "convention-checked",
+        "symbolically-checked",
+        "numerically-supported",
+        "formally-proved",
+        "formally-proved-property",
+        "formally-proved-cross-check",
+        "empirically-supported",
+        "contradicted",
+        "unresolved"
+      ]
     },
-
     "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"],
+      "required": [
+        "K",
+        "delta",
+        "norm",
+        "domain",
+        "horizon",
+        "limitCharacter",
+        "uniformity"
+      ],
       "properties": {
         "K": {
           "type": "number",
@@ -91,45 +132,88 @@
           "minLength": 1,
           "description": "Optional prose range of the parameter the bound was taken over."
         },
-        "limitCharacter": { "$ref": "#/definitions/limitCharacter" },
+        "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 }
+          "type": [
+            "array",
+            "null"
+          ],
+          "items": {
+            "type": "string",
+            "minLength": 1
+          }
+        },
+        "deltaAtBasis": {
+          "description": "What the machine form `deltaAt` (TypeScript only, not serialisable) rests on: `closed-form` returns the exact error; `numerically-supported` returns a value a witness checked. Present on every approximation bound.",
+          "enum": [
+            "closed-form",
+            "numerically-supported"
+          ]
         }
       },
       "additionalProperties": false
     },
-
     "witness": {
       "type": "object",
-      "description": "Evidence that a bridge holds: an analytic argument, a numeric experiment, or both.",
-      "required": ["kind", "description"],
+      "description": "A named check that supports a record, and the test file that runs it (the TS `Witness` type). The emitted record carries no prose description: the id, the kind, the test path and the stated tolerance are the witness.",
+      "required": [
+        "id",
+        "kind",
+        "test"
+      ],
       "properties": {
-        "kind": { "enum": ["analytic", "numeric", "symbolic"] },
-        "description": { "type": "string", "minLength": 1 }
+        "id": {
+          "type": "string",
+          "minLength": 1
+        },
+        "kind": {
+          "enum": [
+            "symbolic",
+            "numeric",
+            "formal"
+          ]
+        },
+        "test": {
+          "type": "string",
+          "minLength": 1
+        },
+        "tolerance": {
+          "type": "string",
+          "minLength": 1
+        }
       },
-      "additionalProperties": true
+      "additionalProperties": false
     },
-
     "counterexample": {
       "type": "object",
       "description": "A concrete instance that defeats a claimed relation.",
-      "required": ["description"],
+      "required": [
+        "description"
+      ],
       "properties": {
-        "description": { "type": "string", "minLength": 1 },
+        "description": {
+          "type": "string",
+          "minLength": 1
+        },
         "params": {
           "type": "object",
           "description": "Parameter assignment at which the claim fails.",
-          "additionalProperties": { "type": "number" }
+          "additionalProperties": {
+            "type": "number"
+          }
         }
       },
       "additionalProperties": true
     },
-
     "atlasModel": {
       "type": "object",
-      "required": ["id", "dynamics"],
+      "required": [
+        "id",
+        "dynamics"
+      ],
       "properties": {
         "id": {
           "type": "string",
@@ -144,71 +228,117 @@
         "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 }
+          "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"],
+      "required": [
+        "id",
+        "relation",
+        "premises",
+        "conclusion"
+      ],
       "properties": {
         "id": {
           "type": "string",
           "pattern": "^ab-",
           "description": "Stable bridge identifier (`ab-*`)."
         },
-        "relation": { "$ref": "#/definitions/relationType" },
+        "relation": {
+          "$ref": "#/definitions/relationType"
+        },
         "premises": {
           "type": "array",
           "minItems": 1,
           "description": "Model ids the relation reasons FROM.",
-          "items": { "type": "string", "pattern": "^model-" }
+          "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" },
+        "limitCharacter": {
+          "$ref": "#/definitions/limitCharacter"
+        },
+        "bound": {
+          "$ref": "#/definitions/approximationBound"
+        },
         "witnesses": {
           "type": "array",
-          "items": { "$ref": "#/definitions/witness" }
+          "items": {
+            "$ref": "#/definitions/witness"
+          }
         },
         "evidence": {
-          "type": "string",
-          "description": "Evidence tag for the claim (`proposed` … `contradicted`, `unresolved`)."
+          "type": "array",
+          "description": "The evidence tags the claim DERIVES (`deriveEvidence`, against `data/atlas/witness-results.json`), sorted. Never stored on a record; `toAtlasJson` computes it at write time.",
+          "items": {
+            "$ref": "#/definitions/evidenceTag"
+          }
         },
         "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"],
+            "required": [
+              "id",
+              "fromModel",
+              "toModel",
+              "from",
+              "to",
+              "K",
+              "timeMap",
+              "witness",
+              "basis"
+            ],
             "additionalProperties": true
           }
         }
       },
       "additionalProperties": true,
-
       "if": {
-        "properties": { "relation": { "const": "approximation" } },
-        "required": ["relation"]
+        "properties": {
+          "relation": {
+            "const": "approximation"
+          }
+        },
+        "required": [
+          "relation"
+        ]
       },
       "then": {
-        "required": ["bound"],
+        "required": [
+          "bound"
+        ],
         "properties": {
-          "bound": { "required": ["horizon"] }
+          "bound": {
+            "required": [
+              "horizon"
+            ]
+          }
         }
       }
     },
-
     "atlasRejection": {
       "type": "object",
-      "required": ["id", "claimedRelation", "premises", "counterexample"],
+      "required": [
+        "id",
+        "claimedRelation",
+        "premises",
+        "counterexample"
+      ],
       "properties": {
         "id": {
           "type": "string",
@@ -222,13 +352,21 @@
         "premises": {
           "type": "array",
           "minItems": 1,
-          "items": { "type": "string", "pattern": "^model-" }
+          "items": {
+            "type": "string",
+            "pattern": "^model-"
+          }
         },
         "conclusion": {
-          "type": ["string", "null"],
+          "type": [
+            "string",
+            "null"
+          ],
           "description": "Model id the claim reached, or null when the claim has no surviving conclusion."
         },
-        "counterexample": { "$ref": "#/definitions/counterexample" }
+        "counterexample": {
+          "$ref": "#/definitions/counterexample"
+        }
       },
       "additionalProperties": true
     }

package/data/units.json

@@ -478,8 +478,8 @@
         "M": 1,
         "T": -2
       },
-      "prefixable": false,
-      "comment": "lbf/in^2."
+      "prefixable": true,
+      "comment": "lbf/in^2. Prefixable: kpsi and Mpsi are engineering spellings (a kilopound and a megapound per square inch)."
     },
     {
       "symbols": [
@@ -1043,6 +1043,18 @@
       },
       "prefixable": false,
       "comment": "US therm (the EC therm is 1.05506e8 J). Spelled out so the choice is visible."
+    },
+    {
+      "symbols": [
+        "c"
+      ],
+      "scale": "c",
+      "dimension": {
+        "L": 1,
+        "T": -1
+      },
+      "prefixable": false,
+      "comment": "The speed of light as a unit, for the particle-physics spellings eV/c (momentum) and GeV/c2 (mass). A bare c in a formula is the registered constant."
     }
   ],
   "refused": [
@@ -1076,7 +1088,7 @@
     }
   ],
   "prefixLetterUnits": {
-    "comment": "Letters that are both an SI prefix and a unit of their own (tesla, gauss, poise, hour, day, molar, atomic mass). Such a token reads as the prefix reading and not as the unit times the rest: Gyr is a gigayear, TW a terawatt, hPa a hectopascal. m is left out on purpose: mK in a denominator is millikelvin or metre·kelvin, and a target dimension chooses.",
+    "comment": "Letters that are both an SI prefix and a unit of their own (tesla, gauss, poise, hour, day, molar, atomic mass). Such a token reads as the prefix reading and not as the unit times the rest: Gyr is a gigayear, TW a terawatt, hPa a hectopascal. m is left out on purpose: mK in a denominator is millikelvin or metre·kelvin, and a target dimension chooses; c (the speed of light as a unit) reads as centi in cm, cd stays the candela.",
     "letters": [
       "T",
       "G",
@@ -1084,7 +1096,8 @@
       "h",
       "d",
       "M",
-      "u"
+      "u",
+      "c"
     ]
   },
   "affine": {
@@ -1144,6 +1157,22 @@
     {
       "spelling": "u",
       "note": "bare u is the atomic mass unit ({m_u} kg); um is still a micrometre"
+    },
+    {
+      "spelling": "rpm",
+      "note": "rpm counts revolutions: 1 rpm = 1/60 per second, a cycle count, not an angular rate; an angular frequency in rad/s is 2π times that"
+    },
+    {
+      "spelling": "Hz",
+      "note": "Hz counts cycles: 1 Hz = 1 per second; an angular frequency in rad/s is 2π times that, and a 1/s result is printed as s^-1, not Hz"
+    },
+    {
+      "spelling": "therm",
+      "note": "therm is the US therm (105480400 J); the EC therm is 1.05506e8 J, and 100000 BTU (IT) is 0.024% more than 1 US therm"
+    },
+    {
+      "spelling": "BTU",
+      "note": "BTU is the International Steam Table (IT) BTU, 1055.05585262 J, not the thermochemical BTU (1054.35 J)"
     }
   ]
 }

package/dist/atlas/applicability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"applicability.d.ts","sourceRoot":"","sources":["../../src/atlas/applicability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,qFAAqF;AACrF,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,wBAAwB,GAChC,2BAA2B,GAC3B,qBAAqB,GACrB,uBAAuB,GACvB,oBAAoB,GACpB,kBAAkB,GAClB,yBAAyB,GACzB,uBAAuB,CAAC;AAE5B,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,6DAA6D;IAC7D,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACxB,yFAAyF;IACzF,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,iDAAiD;IACjD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC;IAC1C,oDAAoD;IACpD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,WAAW,CAAC;IAC7C,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC1C,kCAAkC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;CACnE;AAoLD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,kBAAkB,GACxB,SAAS,oBAAoB,EAAE,CAkFjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,SAAS,oBAAoB,EAAE,GACxC,SAAS,oBAAoB,EAAE,CAEjC"}
+{"version":3,"file":"applicability.d.ts","sourceRoot":"","sources":["../../src/atlas/applicability.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAG9C,qFAAqF;AACrF,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,UAAU,CAAC;AAE5D;;;;;GAKG;AACH,MAAM,MAAM,wBAAwB,GAChC,2BAA2B,GAC3B,qBAAqB,GACrB,uBAAuB,GACvB,oBAAoB,GACpB,kBAAkB,GAClB,yBAAyB,GACzB,uBAAuB,CAAC;AAE5B,+EAA+E;AAC/E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC;IACzC,sDAAsD;IACtD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,kBAAkB;IACjC,6DAA6D;IAC7D,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACxB,yFAAyF;IACzF,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,iDAAiD;IACjD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,WAAW,CAAC;IAC1C,oDAAoD;IACpD,QAAQ,CAAC,qBAAqB,CAAC,EAAE,WAAW,CAAC;IAC7C,iCAAiC;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC1C,kCAAkC;IAClC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC;;;OAGG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;CACnE;AAgMD;;;;;;;;;;;;GAYG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,kBAAkB,GACxB,SAAS,oBAAoB,EAAE,CAkFjC;AAED;;;;;;;;;GASG;AACH,wBAAgB,gBAAgB,CAC9B,QAAQ,EAAE,SAAS,oBAAoB,EAAE,GACxC,SAAS,oBAAoB,EAAE,CAEjC"}

package/dist/atlas/applicability.js

@@ -108,13 +108,24 @@ function literalValue(node) {
     const v = Number(node.name);
     return Number.isFinite(v) ? v : null;
 }
-/** Is `name` guarded as non-vanishing by any of the stated side conditions? */
+/** The word-like tokens of a side condition: runs of letters, digits and underscores, lower-cased. */
+function wordTokens(text) {
+    return new Set(text.toLowerCase().match(/[\p{L}\p{N}_]+/gu) ?? []);
+}
+/**
+ * Is `name` guarded as non-vanishing by any of the stated side conditions?
+ *
+ * The name must appear as a WHOLE token of the condition: `a` is not guarded
+ * by "the amplitude is positive", although that sentence contains the letter
+ * `a` beside a marker. A substring match cleared every one-letter divisor on
+ * most prose; that was the audit's A14.
+ */
 function isGuarded(name, sideConditions) {
     const needle = name.toLowerCase();
     return sideConditions.some((raw) => {
-        const s = raw.toLowerCase();
-        if (!s.includes(needle))
+        if (!wordTokens(raw).has(needle))
             return false;
+        const s = raw.toLowerCase();
         return NONVANISHING_MARKERS.some((m) => s.includes(m));
     });
 }