universal-physics-tensor 10.0.0 → 12.0.0

package/dist/atlas/witness-numeric.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness-numeric.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-numeric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC;IAClD,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,mFAAmF;AACnF,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC;AAED;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,CAuGnF"}
+{"version":3,"file":"witness-numeric.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-numeric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,WAAW,WAAW;IAC1B,oDAAoD;IACpD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wEAAwE;AACxE,MAAM,WAAW,kBAAkB;IACjC,wBAAwB;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,MAAM,CAAC;IAClD,mFAAmF;IACnF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;;;;OAIG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/C;AAED,mFAAmF;AACnF,MAAM,WAAW,uBAAwB,SAAQ,gBAAgB;IAC/D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,mEAAmE;IACnE,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;IACnC,8FAA8F;IAC9F,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;CACxC;AAoCD;;;;;;;;GAQG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,kBAAkB,GAAG,uBAAuB,CA+GnF"}

package/dist/atlas/witness-numeric.js

@@ -24,9 +24,54 @@
  * inside the tolerance while refinement is not converging is agreement by
  * accident, and the tolerance alone cannot tell the two apart.
  *
+ * ## An observed order is REPORTED beside the ratio, from three or more resolutions
+ *
+ * A spec may name further resolutions (`orderResolutions`). With three or
+ * more in all, MathTS `linearRegression` of log|error| on log(1/resolution)
+ * gives an OBSERVED order with the slope's standard error, carried as
+ * {@link ObservedOrder}. The same rule applies: nothing compares it with an
+ * expected order, and it changes no verdict. The extra resolutions are
+ * evaluated after the two-resolution verdict is fixed; one that throws, is
+ * non-finite, or lands exactly on the target drops the fit and nothing else.
+ *
  * @module atlas/witness-numeric
  * @internal
  */
+import { linearRegression } from '@danielsimonjr/mathts-functions';
+/**
+ * The observed order over the resolutions whose errors are all finite and
+ * positive, or `undefined` when fewer than three are, or an extra
+ * evaluation throws. The fit is log|error| against log(1/resolution).
+ */
+function observedOrderOf(spec, errors) {
+    const points = [...errors];
+    try {
+        for (const resolution of spec.orderResolutions ?? []) {
+            points.push({ resolution, error: Math.abs(spec.evaluate(resolution) - spec.target) });
+        }
+    }
+    catch {
+        return undefined;
+    }
+    if (points.length < 3)
+        return undefined;
+    if (!points.every((p) => Number.isFinite(p.error) && p.error > 0 && Number.isFinite(p.resolution) && p.resolution > 0)) {
+        return undefined;
+    }
+    const x = points.map((p) => -Math.log(p.resolution));
+    const y = points.map((p) => Math.log(p.error));
+    const fit = linearRegression(x, y);
+    if (!Number.isFinite(fit.slope) || !Number.isFinite(fit.intercept))
+        return undefined;
+    // From @danielsimonjr/mathts-functions 0.68.5 (MathTS #371) the slope's standard error is the
+    // residual form √(Σ(y − ŷ)²/((n − 2) Σ(x − x̄)²)); before it, `syy − slope·sxy` cancelled on a
+    // near-exact fit and went negative, so an exact power law with rounded errors reported NaN and
+    // this runner recomputed the residual form itself. A non-finite value is still not reported.
+    const stdErr = fit.stdErr;
+    if (!Number.isFinite(stdErr))
+        return undefined;
+    return { slope: fit.slope, stdErr, n: points.length };
+}
 /**
  * Run one numeric witness at two resolutions.
  *
@@ -85,6 +130,11 @@ export function runNumericWitness(spec) {
     // zero is 0/0: no ratio exists, and that case is reported on its own below.
     const ratio = fine === 0 ? (coarse === 0 ? Number.NaN : Infinity) : coarse / fine;
     const convergence = { coarse, fine, ratio };
+    const order = observedOrderOf(spec, [
+        { resolution: spec.coarseResolution, error: coarse },
+        { resolution: spec.fineResolution, error: fine },
+    ]);
+    const observed = order === undefined ? {} : { observedOrder: order };
     if (coarse === 0 && fine === 0) {
         return {
             ...base,
@@ -101,6 +151,7 @@ export function runNumericWitness(spec) {
             ...base,
             status: 'refuted',
             convergence,
+            ...observed,
             detail: `The fine evaluation misses the target by ${fine}, outside the stated ` +
                 `tolerance ${spec.tolerance}.`,
             elapsedMs: elapsed(),
@@ -112,6 +163,7 @@ export function runNumericWitness(spec) {
             status: 'unresolved',
             reason: 'no-convergence',
             convergence,
+            ...observed,
             detail: `Refinement did not reduce the error (ratio ${ratio}). The fine value is ` +
                 'inside tolerance, but agreement that does not improve with refinement is ' +
                 'not evidence that the scheme converges to the target.',
@@ -122,6 +174,7 @@ export function runNumericWitness(spec) {
         ...base,
         status: 'checked',
         convergence,
+        ...observed,
         detail: `Fine error ${fine} is within tolerance ${spec.tolerance}, and refinement ` +
             `reduced the error by a factor of ${ratio}.`,
         elapsedMs: elapsed(),

package/dist/atlas/witness-numeric.js.map

@@ -1 +1 @@
-{"version":3,"file":"witness-numeric.js","sourceRoot":"","sources":["../../src/atlas/witness-numeric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAmDH;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAwB;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAC9D,MAAM,OAAO,GAAG,GAAW,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;IAEnD,sEAAsE;IACtE,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC5F,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EACJ,+EAA+E;gBAC/E,WAAW,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,SAAS,kCAAkC;YACvF,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnD,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,oDAAoD,MAAM,CAAC,GAAG,CAAC,GAAG;YAC1E,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACjE,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EACJ,kDAAkD,WAAW,SAAS;gBACtE,GAAG,SAAS,kCAAkC;YAChD,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;IAClF,MAAM,WAAW,GAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IAEzD,IAAI,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,oBAAoB;YAC5B,WAAW;YACX,MAAM,EACJ,2EAA2E;gBAC3E,wEAAwE;YAC1E,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,MAAM,EACJ,4CAA4C,IAAI,uBAAuB;gBACvE,aAAa,IAAI,CAAC,SAAS,GAAG;YAChC,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,gBAAgB;YACxB,WAAW;YACX,MAAM,EACJ,8CAA8C,KAAK,uBAAuB;gBAC1E,2EAA2E;gBAC3E,uDAAuD;YACzD,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,SAAS;QACjB,WAAW;QACX,MAAM,EACJ,cAAc,IAAI,wBAAwB,IAAI,CAAC,SAAS,mBAAmB;YAC3E,oCAAoC,KAAK,GAAG;QAC9C,SAAS,EAAE,OAAO,EAAE;KACrB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.2 — the numeric witness runner.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §2.3.\n *\n * A numeric witness evaluates a claim at TWO resolutions and reports whether\n * refinement moved the answer toward the target. Two resolutions are the\n * minimum that can say anything at all: one number agreeing with a target is\n * consistent with a scheme that is simply wrong by an amount the tolerance\n * happens to admit.\n *\n * ## The ratio is REPORTED, never compared against an expected order\n *\n * `convergence.ratio = |coarse − target| / |fine − target|` is the factor by\n * which refinement reduced the error. A second-order scheme halving its step\n * should give ≈ 4; a first-order one ≈ 2. **Nothing here asserts which.** The\n * witnesses in hand do not all record their scheme's order, and asserting an\n * order nobody wrote down would be fabrication of exactly the kind this sprint\n * forbids. The number goes into the results artifact; a reviewer reads it.\n *\n * What the runner DOES decide is the weaker, checkable thing: a ratio at or\n * below 1 means refinement did NOT improve the answer, and that earns\n * `'unresolved'` rather than `'checked'` — a fine value that happens to land\n * inside the tolerance while refinement is not converging is agreement by\n * accident, and the tolerance alone cannot tell the two apart.\n *\n * @module atlas/witness-numeric\n * @internal\n */\n\nimport type { WitnessRunResult } from './witness-result.js';\n\n/** The two-resolution error record a numeric witness carries. @internal */\nexport interface Convergence {\n  /** |coarse − target| in the witness's own units. */\n  readonly coarse: number;\n  /** |fine − target|. */\n  readonly fine: number;\n  /**\n   * `coarse / fine`. Greater than 1 ⇒ refinement helped. `Infinity` when the\n   * fine error is exactly zero and the coarse one is not, which is a\n   * legitimate outcome for an exact scheme and must not be reported as a\n   * failure. `NaN` when BOTH errors are exactly zero: `0/0` has no value,\n   * and the run is `'unresolved'` with reason `'no-error-to-reduce'`.\n   */\n  readonly ratio: number;\n}\n\n/** What a numeric witness asserts, and how to evaluate it. @internal */\nexport interface NumericWitnessSpec {\n  /** The `Witness.id`. */\n  readonly id: string;\n  /**\n   * Evaluate the claim at a resolution. The meaning of the argument is the\n   * witness's own (a step count, a grid size, a truncation order); the runner\n   * only requires that `fineResolution` is the more refined of the two.\n   */\n  readonly evaluate: (resolution: number) => number;\n  /** The value the claim should reproduce. A non-finite target is `'unresolved'`. */\n  readonly target: number;\n  readonly coarseResolution: number;\n  readonly fineResolution: number;\n  /**\n   * Absolute tolerance the FINE evaluation must meet. Required: a default\n   * tolerance is a claim about accuracy that the caller, not this module,\n   * is entitled to make. A tolerance that is not a finite number ≥ 0 is\n   * `'unresolved'`: `fine > NaN` is false, so a NaN here would otherwise\n   * report `'checked'` for any fine value.\n   */\n  readonly tolerance: number;\n}\n\n/** A result that also carries the two-resolution record, when one was produced. */\nexport interface NumericWitnessRunResult extends WitnessRunResult {\n  readonly kind: 'numeric';\n  /** Absent only when evaluation threw before any number existed. */\n  readonly convergence?: Convergence;\n}\n\n/**\n * Run one numeric witness at two resolutions.\n *\n * @param spec - the claim and its two resolutions.\n * @returns a result carrying `convergence`; **never throws** — an evaluation\n * that throws is `'unresolved'` with `'parse-error'`, because a scheme that\n * blew up has not refuted the physics it was evaluating.\n * @internal\n */\nexport function runNumericWitness(spec: NumericWitnessSpec): NumericWitnessRunResult {\n  const started = Date.now();\n  const base = { witnessId: spec.id, kind: 'numeric' as const };\n  const elapsed = (): number => Date.now() - started;\n\n  // A NaN target or tolerance makes every comparison below false, which\n  // would read as `'checked'`. Nothing is evaluated against a claim that\n  // does not state a finite target and a finite, non-negative tolerance.\n  if (!Number.isFinite(spec.target) || !Number.isFinite(spec.tolerance) || spec.tolerance < 0) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail:\n        `The claim does not state a finite target and a finite non-negative tolerance ` +\n        `(target ${spec.target}, tolerance ${spec.tolerance}). Nothing is concluded from it.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  let coarseValue: number;\n  let fineValue: number;\n  try {\n    coarseValue = spec.evaluate(spec.coarseResolution);\n    fineValue = spec.evaluate(spec.fineResolution);\n  } catch (err) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail: `Evaluation threw rather than producing a number: ${String(err)}.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (!Number.isFinite(coarseValue) || !Number.isFinite(fineValue)) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail:\n        `Evaluation produced a non-finite value (coarse ${coarseValue}, fine ` +\n        `${fineValue}). Nothing is concluded from it.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  const coarse = Math.abs(coarseValue - spec.target);\n  const fine = Math.abs(fineValue - spec.target);\n  // fine === 0 ⇒ an exact scheme. Infinity is the honest ratio there, and the\n  // comparisons below treat it as \"refinement helped\", which it did. Both\n  // zero is 0/0: no ratio exists, and that case is reported on its own below.\n  const ratio = fine === 0 ? (coarse === 0 ? Number.NaN : Infinity) : coarse / fine;\n  const convergence: Convergence = { coarse, fine, ratio };\n\n  if (coarse === 0 && fine === 0) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'no-error-to-reduce',\n      convergence,\n      detail:\n        'Both resolutions reproduce the target exactly, so there was no error for ' +\n        'refinement to reduce. Agreement is recorded; convergence is not shown.',\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (fine > spec.tolerance) {\n    return {\n      ...base,\n      status: 'refuted',\n      convergence,\n      detail:\n        `The fine evaluation misses the target by ${fine}, outside the stated ` +\n        `tolerance ${spec.tolerance}.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (ratio <= 1) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'no-convergence',\n      convergence,\n      detail:\n        `Refinement did not reduce the error (ratio ${ratio}). The fine value is ` +\n        'inside tolerance, but agreement that does not improve with refinement is ' +\n        'not evidence that the scheme converges to the target.',\n      elapsedMs: elapsed(),\n    };\n  }\n\n  return {\n    ...base,\n    status: 'checked',\n    convergence,\n    detail:\n      `Fine error ${fine} is within tolerance ${spec.tolerance}, and refinement ` +\n      `reduced the error by a factor of ${ratio}.`,\n    elapsedMs: elapsed(),\n  };\n}\n"]}
+{"version":3,"file":"witness-numeric.js","sourceRoot":"","sources":["../../src/atlas/witness-numeric.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAuEnE;;;;GAIG;AACH,SAAS,eAAe,CACtB,IAAwB,EACxB,MAA0E;IAE1E,MAAM,MAAM,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC;IAC3B,IAAI,CAAC;QACH,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxF,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,EAAE,CAAC;QACvH,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACrF,8FAA8F;IAC9F,+FAA+F;IAC/F,+FAA+F;IAC/F,6FAA6F;IAC7F,MAAM,MAAM,GAAW,GAAG,CAAC,MAAM,CAAC;IAClC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;AACxD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAwB;IACxD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC;IAC9D,MAAM,OAAO,GAAG,GAAW,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC;IAEnD,sEAAsE;IACtE,uEAAuE;IACvE,uEAAuE;IACvE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC,EAAE,CAAC;QAC5F,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EACJ,+EAA+E;gBAC/E,WAAW,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,SAAS,kCAAkC;YACvF,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,WAAmB,CAAC;IACxB,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACnD,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EAAE,oDAAoD,MAAM,CAAC,GAAG,CAAC,GAAG;YAC1E,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACjE,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,aAAa;YACrB,MAAM,EACJ,kDAAkD,WAAW,SAAS;gBACtE,GAAG,SAAS,kCAAkC;YAChD,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,4EAA4E;IAC5E,wEAAwE;IACxE,4EAA4E;IAC5E,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;IAClF,MAAM,WAAW,GAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;IACzD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE;QAClC,EAAE,UAAU,EAAE,IAAI,CAAC,gBAAgB,EAAE,KAAK,EAAE,MAAM,EAAE;QACpD,EAAE,UAAU,EAAE,IAAI,CAAC,cAAc,EAAE,KAAK,EAAE,IAAI,EAAE;KACjD,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,CAAC;IAErE,IAAI,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,EAAE,CAAC;QAC/B,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,oBAAoB;YAC5B,WAAW;YACX,MAAM,EACJ,2EAA2E;gBAC3E,wEAAwE;YAC1E,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,SAAS;YACjB,WAAW;YACX,GAAG,QAAQ;YACX,MAAM,EACJ,4CAA4C,IAAI,uBAAuB;gBACvE,aAAa,IAAI,CAAC,SAAS,GAAG;YAChC,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,OAAO;YACL,GAAG,IAAI;YACP,MAAM,EAAE,YAAY;YACpB,MAAM,EAAE,gBAAgB;YACxB,WAAW;YACX,GAAG,QAAQ;YACX,MAAM,EACJ,8CAA8C,KAAK,uBAAuB;gBAC1E,2EAA2E;gBAC3E,uDAAuD;YACzD,SAAS,EAAE,OAAO,EAAE;SACrB,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,MAAM,EAAE,SAAS;QACjB,WAAW;QACX,GAAG,QAAQ;QACX,MAAM,EACJ,cAAc,IAAI,wBAAwB,IAAI,CAAC,SAAS,mBAAmB;YAC3E,oCAAoC,KAAK,GAAG;QAC9C,SAAS,EAAE,OAAO,EAAE;KACrB,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.2 — the numeric witness runner.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §2.3.\n *\n * A numeric witness evaluates a claim at TWO resolutions and reports whether\n * refinement moved the answer toward the target. Two resolutions are the\n * minimum that can say anything at all: one number agreeing with a target is\n * consistent with a scheme that is simply wrong by an amount the tolerance\n * happens to admit.\n *\n * ## The ratio is REPORTED, never compared against an expected order\n *\n * `convergence.ratio = |coarse − target| / |fine − target|` is the factor by\n * which refinement reduced the error. A second-order scheme halving its step\n * should give ≈ 4; a first-order one ≈ 2. **Nothing here asserts which.** The\n * witnesses in hand do not all record their scheme's order, and asserting an\n * order nobody wrote down would be fabrication of exactly the kind this sprint\n * forbids. The number goes into the results artifact; a reviewer reads it.\n *\n * What the runner DOES decide is the weaker, checkable thing: a ratio at or\n * below 1 means refinement did NOT improve the answer, and that earns\n * `'unresolved'` rather than `'checked'` — a fine value that happens to land\n * inside the tolerance while refinement is not converging is agreement by\n * accident, and the tolerance alone cannot tell the two apart.\n *\n * ## An observed order is REPORTED beside the ratio, from three or more resolutions\n *\n * A spec may name further resolutions (`orderResolutions`). With three or\n * more in all, MathTS `linearRegression` of log|error| on log(1/resolution)\n * gives an OBSERVED order with the slope's standard error, carried as\n * {@link ObservedOrder}. The same rule applies: nothing compares it with an\n * expected order, and it changes no verdict. The extra resolutions are\n * evaluated after the two-resolution verdict is fixed; one that throws, is\n * non-finite, or lands exactly on the target drops the fit and nothing else.\n *\n * @module atlas/witness-numeric\n * @internal\n */\n\nimport { linearRegression } from '@danielsimonjr/mathts-functions';\nimport type { WitnessRunResult } from './witness-result.js';\n\n/** The two-resolution error record a numeric witness carries. @internal */\nexport interface Convergence {\n  /** |coarse − target| in the witness's own units. */\n  readonly coarse: number;\n  /** |fine − target|. */\n  readonly fine: number;\n  /**\n   * `coarse / fine`. Greater than 1 ⇒ refinement helped. `Infinity` when the\n   * fine error is exactly zero and the coarse one is not, which is a\n   * legitimate outcome for an exact scheme and must not be reported as a\n   * failure. `NaN` when BOTH errors are exactly zero: `0/0` has no value,\n   * and the run is `'unresolved'` with reason `'no-error-to-reduce'`.\n   */\n  readonly ratio: number;\n}\n\n/**\n * The observed order of convergence over `n` resolutions: `slope` is the\n * fitted exponent p in |error| ∝ h^p with h = 1/resolution (the slope of\n * log|error| against log(1/resolution)), `stdErr` the standard error of that\n * slope from the fit (n − 2 degrees of freedom). Reported, never asserted.\n * @internal\n */\nexport interface ObservedOrder {\n  readonly slope: number;\n  readonly stdErr: number;\n  readonly n: number;\n}\n\n/** What a numeric witness asserts, and how to evaluate it. @internal */\nexport interface NumericWitnessSpec {\n  /** The `Witness.id`. */\n  readonly id: string;\n  /**\n   * Evaluate the claim at a resolution. The meaning of the argument is the\n   * witness's own (a step count, a grid size, a truncation order); the runner\n   * only requires that `fineResolution` is the more refined of the two.\n   */\n  readonly evaluate: (resolution: number) => number;\n  /** The value the claim should reproduce. A non-finite target is `'unresolved'`. */\n  readonly target: number;\n  readonly coarseResolution: number;\n  readonly fineResolution: number;\n  /**\n   * Absolute tolerance the FINE evaluation must meet. Required: a default\n   * tolerance is a claim about accuracy that the caller, not this module,\n   * is entitled to make. A tolerance that is not a finite number ≥ 0 is\n   * `'unresolved'`: `fine > NaN` is false, so a NaN here would otherwise\n   * report `'checked'` for any fine value.\n   */\n  readonly tolerance: number;\n  /**\n   * Further resolutions, beyond `coarseResolution` and `fineResolution`,\n   * evaluated only to fit the observed order. They enter no verdict, no\n   * convergence record and no detail sentence.\n   */\n  readonly orderResolutions?: readonly number[];\n}\n\n/** A result that also carries the two-resolution record, when one was produced. */\nexport interface NumericWitnessRunResult extends WitnessRunResult {\n  readonly kind: 'numeric';\n  /** Absent only when evaluation threw before any number existed. */\n  readonly convergence?: Convergence;\n  /** Present only when `orderResolutions` gave three or more finite, non-zero errors to fit. */\n  readonly observedOrder?: ObservedOrder;\n}\n\n/**\n * The observed order over the resolutions whose errors are all finite and\n * positive, or `undefined` when fewer than three are, or an extra\n * evaluation throws. The fit is log|error| against log(1/resolution).\n */\nfunction observedOrderOf(\n  spec: NumericWitnessSpec,\n  errors: readonly { readonly resolution: number; readonly error: number }[],\n): ObservedOrder | undefined {\n  const points = [...errors];\n  try {\n    for (const resolution of spec.orderResolutions ?? []) {\n      points.push({ resolution, error: Math.abs(spec.evaluate(resolution) - spec.target) });\n    }\n  } catch {\n    return undefined;\n  }\n  if (points.length < 3) return undefined;\n  if (!points.every((p) => Number.isFinite(p.error) && p.error > 0 && Number.isFinite(p.resolution) && p.resolution > 0)) {\n    return undefined;\n  }\n  const x = points.map((p) => -Math.log(p.resolution));\n  const y = points.map((p) => Math.log(p.error));\n  const fit = linearRegression(x, y);\n  if (!Number.isFinite(fit.slope) || !Number.isFinite(fit.intercept)) return undefined;\n  // From @danielsimonjr/mathts-functions 0.68.5 (MathTS #371) the slope's standard error is the\n  // residual form √(Σ(y − ŷ)²/((n − 2) Σ(x − x̄)²)); before it, `syy − slope·sxy` cancelled on a\n  // near-exact fit and went negative, so an exact power law with rounded errors reported NaN and\n  // this runner recomputed the residual form itself. A non-finite value is still not reported.\n  const stdErr: number = fit.stdErr;\n  if (!Number.isFinite(stdErr)) return undefined;\n  return { slope: fit.slope, stdErr, n: points.length };\n}\n\n/**\n * Run one numeric witness at two resolutions.\n *\n * @param spec - the claim and its two resolutions.\n * @returns a result carrying `convergence`; **never throws** — an evaluation\n * that throws is `'unresolved'` with `'parse-error'`, because a scheme that\n * blew up has not refuted the physics it was evaluating.\n * @internal\n */\nexport function runNumericWitness(spec: NumericWitnessSpec): NumericWitnessRunResult {\n  const started = Date.now();\n  const base = { witnessId: spec.id, kind: 'numeric' as const };\n  const elapsed = (): number => Date.now() - started;\n\n  // A NaN target or tolerance makes every comparison below false, which\n  // would read as `'checked'`. Nothing is evaluated against a claim that\n  // does not state a finite target and a finite, non-negative tolerance.\n  if (!Number.isFinite(spec.target) || !Number.isFinite(spec.tolerance) || spec.tolerance < 0) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail:\n        `The claim does not state a finite target and a finite non-negative tolerance ` +\n        `(target ${spec.target}, tolerance ${spec.tolerance}). Nothing is concluded from it.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  let coarseValue: number;\n  let fineValue: number;\n  try {\n    coarseValue = spec.evaluate(spec.coarseResolution);\n    fineValue = spec.evaluate(spec.fineResolution);\n  } catch (err) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail: `Evaluation threw rather than producing a number: ${String(err)}.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (!Number.isFinite(coarseValue) || !Number.isFinite(fineValue)) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'parse-error',\n      detail:\n        `Evaluation produced a non-finite value (coarse ${coarseValue}, fine ` +\n        `${fineValue}). Nothing is concluded from it.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  const coarse = Math.abs(coarseValue - spec.target);\n  const fine = Math.abs(fineValue - spec.target);\n  // fine === 0 ⇒ an exact scheme. Infinity is the honest ratio there, and the\n  // comparisons below treat it as \"refinement helped\", which it did. Both\n  // zero is 0/0: no ratio exists, and that case is reported on its own below.\n  const ratio = fine === 0 ? (coarse === 0 ? Number.NaN : Infinity) : coarse / fine;\n  const convergence: Convergence = { coarse, fine, ratio };\n  const order = observedOrderOf(spec, [\n    { resolution: spec.coarseResolution, error: coarse },\n    { resolution: spec.fineResolution, error: fine },\n  ]);\n  const observed = order === undefined ? {} : { observedOrder: order };\n\n  if (coarse === 0 && fine === 0) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'no-error-to-reduce',\n      convergence,\n      detail:\n        'Both resolutions reproduce the target exactly, so there was no error for ' +\n        'refinement to reduce. Agreement is recorded; convergence is not shown.',\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (fine > spec.tolerance) {\n    return {\n      ...base,\n      status: 'refuted',\n      convergence,\n      ...observed,\n      detail:\n        `The fine evaluation misses the target by ${fine}, outside the stated ` +\n        `tolerance ${spec.tolerance}.`,\n      elapsedMs: elapsed(),\n    };\n  }\n\n  if (ratio <= 1) {\n    return {\n      ...base,\n      status: 'unresolved',\n      reason: 'no-convergence',\n      convergence,\n      ...observed,\n      detail:\n        `Refinement did not reduce the error (ratio ${ratio}). The fine value is ` +\n        'inside tolerance, but agreement that does not improve with refinement is ' +\n        'not evidence that the scheme converges to the target.',\n      elapsedMs: elapsed(),\n    };\n  }\n\n  return {\n    ...base,\n    status: 'checked',\n    convergence,\n    ...observed,\n    detail:\n      `Fine error ${fine} is within tolerance ${spec.tolerance}, and refinement ` +\n      `reduced the error by a factor of ${ratio}.`,\n    elapsedMs: elapsed(),\n  };\n}\n"]}

package/dist/atlas/witness-specs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness-specs.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAwBH,OAAO,KAAK,EACV,WAAW,EACX,eAAe,EACf,kBAAkB,EAClB,WAAW,EACZ,MAAM,yBAAyB,CAAC;AAajC,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAc5F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEjE,iEAAiE;AACjE,MAAM,WAAW,yBAAyB;IACxC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;CACpC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,GACpB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC;IAC1C,8FAA8F;IAC9F,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvE,CAAC;AAEN,gEAAgE;AAChE,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;CAC/B;AAED,2CAA2C;AAC3C,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,GAAG,wBAAwB,CAAC;AA4CrF,uEAAuE;AACvE,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,GAAG;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAErD;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,WAOzB,CAAC;AAEF,sFAAsF;AACtF,eAAO,MAAM,WAAW,EAAE,WAAoE,CAAC;AAU/F,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,aAAkD,CAAC;AAE7E,iFAAiF;AACjF,eAAO,MAAM,WAAW,EAAE,gBAAsD,CAAC;AAEjF,2EAA2E;AAC3E,eAAO,MAAM,WAAW,EAAE,eAA8D,CAAC;AAEzF,kGAAkG;AAClG,eAAO,MAAM,WAAW;aAAK,MAAM,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;aAAE,EAAE,EAAE,EAAE;CAAW,CAAC;AAIhE,gEAAgE;AAChE,eAAO,MAAM,WAAW,EAAE,eAA+C,CAAC;AAE1E,mGAAmG;AACnG,eAAO,MAAM,WAAW;aAAK,IAAI,EAAE,GAAG;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAE9D,8DAA8D;AAC9D,eAAO,MAAM,WAAW;aAAK,IAAI,EAAE,EAAE;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAE7D,sGAAsG;AACtG,eAAO,MAAM,WAAW,EAAE,kBAOzB,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,WAAW;aAAK,EAAE,EAAE,GAAG;CAAW,CAAC;AAEhD,4EAA4E;AAC5E,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,CAAC;aAAE,MAAM,EAAE,CAAC;aAAE,IAAI,EAAE,CAAC;CAAW,CAAC;AAEjE,0GAA0G;AAC1G,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,GAAG;aAAE,EAAE,EAAE,IAAI;aAAE,EAAE,EAAE,IAAI;aAAE,EAAE,EAAE,EAAE;CAAW,CAAC;AAQ3E;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EA6VxD,CAAC"}
+{"version":3,"file":"witness-specs.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAwBH,OAAO,KAAK,EACV,WAAW,EACX,eAAe,EACf,kBAAkB,EAClB,WAAW,EACZ,MAAM,yBAAyB,CAAC;AAajC,OAAO,KAAK,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAc5F,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEjE,iEAAiE;AACjE,MAAM,WAAW,yBAAyB;IACxC,wEAAwE;IACxE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAC;CACpC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,GACpB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,gBAAgB,CAAC;IAC1C,8FAA8F;IAC9F,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvE,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,uDAAuD;IACvD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2FAA2F;IAC3F,QAAQ,CAAC,EAAE,EAAE,CAAC,UAAU,EAAE,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACvE,CAAC;AAEN,gEAAgE;AAChE,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;CAC/B;AAED,2CAA2C;AAC3C,MAAM,MAAM,iBAAiB,GAAG,yBAAyB,GAAG,wBAAwB,CAAC;AA4CrF,uEAAuE;AACvE,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,GAAG;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAErD;;;;;;GAMG;AACH,eAAO,MAAM,WAAW,EAAE,WAOzB,CAAC;AAEF,sFAAsF;AACtF,eAAO,MAAM,WAAW,EAAE,WAAoE,CAAC;AAU/F,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,aAAkD,CAAC;AAE7E,iFAAiF;AACjF,eAAO,MAAM,WAAW,EAAE,gBAAsD,CAAC;AAEjF,2EAA2E;AAC3E,eAAO,MAAM,WAAW,EAAE,eAA8D,CAAC;AAEzF,kGAAkG;AAClG,eAAO,MAAM,WAAW;aAAK,MAAM,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;aAAE,EAAE,EAAE,EAAE;CAAW,CAAC;AAIhE,gEAAgE;AAChE,eAAO,MAAM,WAAW,EAAE,eAA+C,CAAC;AAE1E,mGAAmG;AACnG,eAAO,MAAM,WAAW;aAAK,IAAI,EAAE,GAAG;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAE9D,8DAA8D;AAC9D,eAAO,MAAM,WAAW;aAAK,IAAI,EAAE,EAAE;aAAE,CAAC,EAAE,CAAC;aAAE,CAAC,EAAE,CAAC;CAAW,CAAC;AAE7D,sGAAsG;AACtG,eAAO,MAAM,WAAW,EAAE,kBAOzB,CAAC;AAEF,wEAAwE;AACxE,eAAO,MAAM,WAAW;aAAK,EAAE,EAAE,GAAG;CAAW,CAAC;AAEhD,4EAA4E;AAC5E,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,CAAC;aAAE,MAAM,EAAE,CAAC;aAAE,IAAI,EAAE,CAAC;CAAW,CAAC;AAEjE,0GAA0G;AAC1G,eAAO,MAAM,WAAW;aAAK,CAAC,EAAE,GAAG;aAAE,EAAE,EAAE,IAAI;aAAE,EAAE,EAAE,IAAI;aAAE,EAAE,EAAE,EAAE;CAAW,CAAC;AAQ3E;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,SAAS,iBAAiB,EAgXxD,CAAC"}

package/dist/atlas/witness-specs.js

@@ -176,6 +176,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 160,
             fineResolution: 640,
             tolerance: 1e-9,
+            orderResolutions: [2560, 10240],
         },
     },
     {
@@ -190,6 +191,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 100,
             fineResolution: 1000,
             tolerance: 1e-4,
+            orderResolutions: [10000, 100000],
         },
     },
     {
@@ -204,6 +206,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 80,
             fineResolution: 160,
             tolerance: 5e-4,
+            orderResolutions: [320, 640],
         },
     },
     {
@@ -231,6 +234,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 4,
             tolerance: 1e-3,
+            orderResolutions: [16, 64],
         },
     },
     {
@@ -246,6 +250,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 40,
             fineResolution: 80,
             tolerance: 2e-4,
+            orderResolutions: [160, 320],
         },
     },
     {
@@ -259,6 +264,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 4,
             fineResolution: 8,
             tolerance: 2e-3,
+            orderResolutions: [16, 32],
         },
     },
     {
@@ -273,6 +279,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 64,
             fineResolution: 128,
             tolerance: 2e-4,
+            orderResolutions: [256, 512],
         },
     },
     {
@@ -286,6 +293,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: 2e-3,
+            orderResolutions: [4, 8],
         },
         claim: {
             name: 'bound',
@@ -304,6 +312,8 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 10,
             fineResolution: 100,
             tolerance: 0.02,
+            // 1000 τ_p only: 161 ms; 10000 τ_p measured 1.4 s.
+            orderResolutions: [1000],
         },
     },
     {
@@ -327,6 +337,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 2,
             fineResolution: 4,
             tolerance: 0.03,
+            orderResolutions: [8, 16],
         },
         claim: {
             name: 'bound',
@@ -344,6 +355,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: 3e-3,
+            orderResolutions: [4, 8],
         },
         claim: {
             name: 'bound',
@@ -365,6 +377,8 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 2,
             fineResolution: 4,
             tolerance: 0.025,
+            // The approach to the steady state is exponential in t, not a power law; the fit reports what it sees.
+            orderResolutions: [8, 16],
         },
     },
     {
@@ -378,6 +392,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: 1e-3,
+            orderResolutions: [4, 8],
         },
         // The spec reads only x = ck/ω₀; c = ω₀ = 1 is one point with that x.
         claim: { name: 'bound', at: (resolution) => ({ c: 1, omega0: 1, k: WS5_FIXTURE.x0 / resolution }) },
@@ -393,6 +408,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 50,
             fineResolution: 100,
             tolerance: 3e-4,
+            orderResolutions: [200, 400],
         },
     },
     {
@@ -406,6 +422,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: 0.15,
+            orderResolutions: [4, 8],
         },
         claim: {
             name: 'bound',
@@ -431,6 +448,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: 0.002507,
+            orderResolutions: [4, 8],
         },
         claim: { name: 'bound', at: (resolution) => ({ theta0: W7_FIXTURE.theta0 / resolution }) },
     },
@@ -447,6 +465,7 @@ export const WITNESS_REGISTRY = [
             coarseResolution: 1,
             fineResolution: 2,
             tolerance: dampedOffsetBoundAt({ m: W8B_FIXTURE.m / 2, b: W8B_FIXTURE.b, k: W8B_FIXTURE.k, x0: W8B_FIXTURE.x0, v0: W8B_FIXTURE.v0 }),
+            orderResolutions: [4, 8],
         },
         claim: {
             name: 'bound-holds-at',

package/dist/atlas/witness-specs.js.map

@@ -1 +1 @@
-{"version":3,"file":"witness-specs.js","sourceRoot":"","sources":["../../src/atlas/witness-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EACL,WAAW,EACX,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,2BAA2B,EAC3B,eAAe,EACf,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AAOjC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtG,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,mCAAmC,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrG,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,0BAA0B,EAC1B,UAAU,EACV,WAAW,EACX,UAAU,GACX,MAAM,kCAAkC,CAAC;AAuD1C,MAAM,EAAE,GAAG,CAAC,CAA8B,EAAE,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,CAAC;IACL,IAAI;CACL,CAAC,CAAC;AACH,MAAM,CAAC,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,UAA8C;IACrF,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,mBAAmB,CAAC,CAAC;QAC/E,CAAC;QACD,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AACzB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;AACpC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAChC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAE/B,kGAAkG;AAClG,MAAM,iBAAiB,GAAuC;IAC5D,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC,EAAE,CAAC;CACL,CAAC;AAEF,8EAA8E;AAE9E,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,EAAE,EAAE,GAAG;IACP,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,GAAG;IACT,SAAS,EAAE,CAAC;CACb,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAE/F,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;AACjD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAChC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AACpC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAChC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzC,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAE7E,iFAAiF;AACjF,MAAM,CAAC,MAAM,WAAW,GAAqB,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAEjF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,WAAW,GAAoB,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAEzF,kGAAkG;AAClG,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAW,CAAC;AAEhE,8EAA8E;AAE9E,gEAAgE;AAChE,MAAM,CAAC,MAAM,WAAW,GAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAE1E,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAE9D,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAE7D,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAuB;IAC7C,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,EAAE,EAAE,GAAG;IACP,KAAK,EAAE,EAAE;CACV,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,EAAE,EAAE,GAAG,EAAW,CAAC;AAEhD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;AAEjE,0GAA0G;AAC1G,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAW,CAAC;AAE3E,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACvC,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAEpC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D;QACE,8EAA8E;QAC9E,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAE,EAAE,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAE,EAAE,CAAC;YAC/F,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;SAClC;KACF;IACD;QACE,6EAA6E;QAC7E,2EAA2E;QAC3E,oDAAoD;QACpD,QAAQ,EAAE,eAAe;QACzB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC;YACvF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC7D;KACF;IACD;QACE,gFAAgF;QAChF,8EAA8E;QAC9E,4EAA4E;QAC5E,4EAA4E;QAC5E,QAAQ,EAAE,mCAAmC,CAAC,EAAE;QAChD,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,mCAAmC,CAAC,OAAO,CAAC,EAAE;YAClD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,6BAA6B,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC;YAC/E,MAAM,EAAE,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC;YAC7G,gBAAgB,EAAE,GAAG;YACrB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,qEAAqE;QACrE,oEAAoE;QACpE,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAClF,MAAM,EAAE,eAAe,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YACxD,gBAAgB,EAAE,GAAG;YACrB,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,4EAA4E;QAC5E,oCAAoC;QACpC,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC;YACvD,MAAM,EAAE,cAAc,CACpB,CAAC,EACD,WAAW,CAAC,IAAI,EAChB,WAAW,CAAC,KAAK,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,EACtD,WAAW,CAAC,EAAE,CACf;YACD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,0EAA0E;QAC1E,2DAA2D;QAC3D,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,MAAM;YACV,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE;gBAChF,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;aAC3B,CAAC;YACF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClC;KACF;IACD;QACE,oEAAoE;QACpE,qEAAqE;QACrE,QAAQ,EAAE,0BAA0B;QACpC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,qBAAqB,CAAC;YAC1F,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,sEAAsE;QACtE,4BAA4B;QAC5B,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC;YAC/D,MAAM,EACJ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC;YACxF,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,2EAA2E;QAC3E,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC;YACpE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,yEAAyE;QACzE,kCAAkC;QAClC,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC;YAChE,MAAM,EAAE,IAAI,CAAC,GAAG,CACd,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CACpG;YACD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,wEAAwE;QACxE,QAAQ,EAAE,sBAAsB;QAChC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;YACzF,MAAM,EAAE,WAAW,CAAC,CAAC;YACrB,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC;SACvG;KACF;IACD,4EAA4E;IAC5E;QACE,8EAA8E;QAC9E,QAAQ,EAAE,uBAAuB;QACjC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC;YACnE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,yDAAyD;QACzD,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,MAAM;YACV,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;YACjF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SAC5C;KACF;IACD;QACE,qEAAqE;QACrE,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,sBAAsB,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YACrF,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;SACjG;KACF;IACD;QACE,kEAAkE;QAClE,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,2BAA2B,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC1F,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACnB,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3E,CAAC,EAAE,WAAW,CAAC,CAAC;gBAChB,CAAC,EAAE,WAAW,CAAC,CAAC;aACjB,CAAC;SACH;KACF;IACD;QACE,4EAA4E;QAC5E,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,mBAAmB,CAAC,UAAU,EAAE,WAAW,CAAC;YACtE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,KAAK;SACjB;KACF;IACD;QACE,2EAA2E;QAC3E,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAC;YAC7E,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,sEAAsE;QACtE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE;KACpG;IACD;QACE,wEAAwE;QACxE,QAAQ,EAAE,kBAAkB;QAC5B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC;YAChF,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC;YACvD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;SAChB;KACF;IACD;QACE,4EAA4E;QAC5E,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;YACrG,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC;YACjD,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;SAChB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACnB,CAAC,EAAE,WAAW,CAAC,CAAC;gBAChB,EAAE,EAAE,WAAW,CAAC,EAAE;gBAClB,EAAE,EAAE,WAAW,CAAC,EAAE;gBAClB,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU;aAC/B,CAAC;SACH;KACF;IACD,4EAA4E;IAC5E;QACE,6EAA6E;QAC7E,uEAAuE;QACvE,0DAA0D;QAC1D,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC;YACpF,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,QAAQ;SACpB;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC,EAAE;KAC3F;IACD;QACE,yEAAyE;QACzE,2EAA2E;QAC3E,0DAA0D;QAC1D,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,GAAG,UAAU,CAAC;YAC3E,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;SACrI;QACD,KAAK,EAAE;YACL,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;SACpI;KACF;IACD;QACE,2EAA2E;QAC3E,8DAA8D;QAC9D,QAAQ,EAAE,eAAe;QACzB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE;gBACvB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC9C,OAAO,2BAA2B,CAAC,MAAM,CAAC,GAAG,4BAA4B,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;YACpG,CAAC;YACD,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,KAAK;SACjB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,oCAAoC;YAC1C,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;SAC/E;KACF;CACF,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.3 — the EXECUTABLE witness registry.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §3.\n *\n * A `Witness` record names a check and the test file that runs it; it carries\n * nothing a runner can execute. This module holds the executable form of every\n * witness the results artifact covers, keyed by the record it supports. The\n * Lead-run `scripts/emit-witness-results.mjs` runs exactly this list, and\n * `tests/atlas/witness-results.test.ts` deep-equals the committed artifact\n * against a fresh run of it.\n *\n * ## The symbolic specs apply the bridge's DICTIONARY, they do not restate it\n *\n * Writing `lhs` and `rhs` as two hand-typed ASTs that happen to be equal would\n * check nothing but the typist. Each spec below starts from the PREMISE\n * model's expression and pushes it through the bridge's variable dictionary\n * with `substitute`; the CAS then has to show that the result equals the\n * CONCLUSION model's expression. What is checked is the dictionary.\n *\n * @module atlas/witness-specs\n * @internal\n */\n\nimport type { ExprNode } from '../dimensional/ast-types.js';\nimport { sym } from '../dimensional/ast-builders.js';\nimport { DIMENSIONLESS, ENERGY, LENGTH, MASS } from '../dimensional/types.js';\nimport { substitute } from '../composition/expr-subst.js';\nimport {\n  CAPACITANCE,\n  DAMPING,\n  INDUCTANCE,\n  RESISTANCE,\n  SPRING_CONSTANT,\n} from './oscillators/dimensions.js';\nimport {\n  heatSteadyDeviation,\n  langevinMsdRatio,\n  telegraphSlowRateRatio,\n  telegraphWaveFrequencyRatio,\n  diffusionKernel,\n  gaussianSpread,\n  heatFtcsCentre,\n  randomWalkCentralDensity,\n  wickHeatResidual,\n} from './diffusion/numerics.js';\nimport type {\n  HeatFixture,\n  LangevinFixture,\n  SteadyStateFixture,\n  WickFixture,\n} from './diffusion/numerics.js';\nimport { DENSITY, DIFFUSIVITY, SPECIFIC_HEAT, THERMAL_CONDUCTIVITY } from './diffusion/dimensions.js';\nimport { VISCOSITY } from './diffusion/models.js';\nimport { wickRotatedFreeKernel } from './witnesses/quantum-support.js';\nimport {\n  kgNonrelativisticError,\n  kgUniformModeValue,\n  stiffStringPhaseVelocity,\n  acousticLeapfrogQuarter,\n  dalembertResidual,\n  kleinGordonPhaseVelocity,\n  stringLeapfrogMidpoint,\n} from './waves/numerics.js';\nimport type { AcousticFixture, DalembertFixture, StringFixture } from './waves/numerics.js';\nimport { pendulumPeriodErrorAt } from './oscillators/bridges-limits.js';\nimport { SPRING_LC_RELATIVE_PERIOD_TRANSPORT, W1TAU_FIXTURE } from './oscillators/norm-transport.js';\nimport { measureTransportedPeriodError } from './oscillators/norm-transport-witness.js';\nimport { dampedOffsetBoundAt } from './oscillators/bridges-limits.js';\nimport { dispersionErrorApproximation } from './oscillators/bridges-coarse.js';\nimport {\n  measureChainDispersionError,\n  measureMasslessOffset,\n  measurePendulumPeriodRatio,\n  W7_FIXTURE,\n  W8B_FIXTURE,\n  W9_FIXTURE,\n} from './oscillators/limit-witnesses.js';\nimport type { NumericWitnessSpec } from './witness-numeric.js';\nimport type { SymbolicWitnessSpec } from './witness-symbolic.js';\n\n/** A symbolic spec bound to the record it supports. @internal */\nexport interface RegisteredSymbolicWitness {\n  /** The `AtlasBridge.id` (or other record id) the witness belongs to. */\n  readonly recordId: string;\n  readonly kind: 'symbolic';\n  readonly spec: SymbolicWitnessSpec;\n}\n\n/**\n * The claim of its record a witness tests. `tests/atlas/witness-claims.test.ts`\n * checks each attribution against the spec.\n *\n * - `'bound'`: at `at(fineResolution)`, a point inside the record's regime, the\n *   witness's error is the bound's own quantity in the bound's norm (it equals\n *   `deltaAt` there: the bound is sharp), and its tolerance is no looser than\n *   `delta`, so the bound failing there refutes the witness.\n * - `'bound-holds-at'`: for a bound that is not sharp. At that point, inside the\n *   regime, the witness's error is measured in the bound's norm and its\n *   tolerance IS `deltaAt` there, so the bound failing at that point refutes the\n *   witness. That the spec measures the bound's norm is checked beside the spec.\n * - `'preserves'`: the witness tests `item`, one entry of the record's\n *   `preserves`, at a point inside the regime.\n *\n * @internal\n */\nexport type WitnessClaim =\n  | {\n      readonly name: 'bound' | 'bound-holds-at';\n      /** The point the spec evaluates at a resolution, in the names the bound's `deltaAt` reads. */\n      readonly at: (resolution: number) => Readonly<Record<string, number>>;\n    }\n  | {\n      readonly name: 'preserves';\n      /** One entry of the record's `preserves`, verbatim. */\n      readonly item: string;\n      /** The point the spec evaluates at a resolution, in the names the regime's groups read. */\n      readonly at: (resolution: number) => Readonly<Record<string, number>>;\n    };\n\n/** A numeric spec bound to the record it supports. @internal */\nexport interface RegisteredNumericWitness {\n  readonly recordId: string;\n  readonly kind: 'numeric';\n  readonly spec: NumericWitnessSpec;\n  /** Absent: the witness is not attributed to any one claim of its record. */\n  readonly claim?: WitnessClaim;\n}\n\n/** One entry of the registry. @internal */\nexport type RegisteredWitness = RegisteredSymbolicWitness | RegisteredNumericWitness;\n\nconst op = (o: '*' | '/' | '+' | '-' | '^', ...args: ExprNode[]): ExprNode => ({\n  kind: 'op',\n  op: o,\n  args,\n});\nconst n = (value: number): ExprNode => sym(String(value), DIMENSIONLESS);\n\n/**\n * Push `expr` through a variable dictionary, REFUSING a mapping that matches no\n * leaf. A zero-occurrence substitution is a silent no-op that would leave the\n * premise variable in place and let the check pass or fail for the wrong\n * reason — the same guard `composeSymbolic` applies (Adam A-3).\n */\nfunction applyDictionary(expr: ExprNode, dictionary: Readonly<Record<string, ExprNode>>): ExprNode {\n  let out = expr;\n  for (const [name, replacement] of Object.entries(dictionary)) {\n    const r = substitute(out, name, replacement);\n    if (r.count === 0) {\n      throw new Error(`witness-specs: dictionary entry '${name}' matches no leaf`);\n    }\n    out = r.expr;\n  }\n  return out;\n}\n\n// Spring and LC symbols, with the dimensions the oscillator models declare.\nconst m = sym('m', MASS);\nconst k = sym('k', SPRING_CONSTANT);\nconst b = sym('b', DAMPING);\nconst L = sym('L', INDUCTANCE);\nconst C = sym('C', CAPACITANCE);\nconst R = sym('R', RESISTANCE);\n\n/** The spring ↔ circuit dictionary of `ab-spring-lc` / `ab-damped-rlc`: m ↔ L, k ↔ 1/C, b ↔ R. */\nconst SPRING_TO_CIRCUIT: Readonly<Record<string, ExprNode>> = {\n  m: L,\n  k: op('/', n(1), C),\n  b: R,\n};\n\n// ── Diffusion family (S4.4) ────────────────────────────────────────────────\n\n/** WD1 fixture: D and t, fixed while the walk is refined. @internal */\nexport const WD1_FIXTURE = { D: 0.5, t: 2 } as const;\n\n/**\n * WD2 fixture. κ, ρ and c_p are chosen so the heat equation's own variables\n * are all different from 1 while κ/(ρ c_p) = 1: a dictionary that dropped or\n * inverted a factor would move the answer.\n *\n * @internal\n */\nexport const WD2_FIXTURE: HeatFixture = {\n  kappa: 2,\n  rho: 4,\n  cp: 0.5,\n  s0: 0.05,\n  tEnd: 0.2,\n  halfWidth: 4,\n};\n\n/** WD3 fixture: an off-centre point, so no symmetry zeroes a derivative. @internal */\nexport const WD3_FIXTURE: WickFixture = { hbar: 1, m: 0.5, s: 0.7, x: 0.3, tau: 0.4, h0: 0.1 };\n\nconst kappa = sym('kappa', THERMAL_CONDUCTIVITY);\nconst rho = sym('rho', DENSITY);\nconst cp = sym('cp', SPECIFIC_HEAT);\nconst D = sym('D', DIFFUSIVITY);\nconst q = sym('q', { ...LENGTH, L: -1 });\n\n// ── Wave family (S4.5) ─────────────────────────────────────────────────────\n\n/** WS1 fixture: F and μ both ≠ 1 while c = √(F/μ) = 2. @internal */\nexport const WS1_FIXTURE: StringFixture = { tension: 2, mu: 0.5, tEnd: 0.3 };\n\n/** WS2 fixture: an off-centre point where both profiles contribute. @internal */\nexport const WS2_FIXTURE: DalembertFixture = { c: 1.5, x: 0.4, t: 0.3, h0: 0.1 };\n\n/** WS3 fixture: γ = 1.4 with nondimensional p₀ = 1, ρ₀ = 1.2. @internal */\nexport const WS3_FIXTURE: AcousticFixture = { p0: 1, rho0: 1.2, gamma: 1.4, tEnd: 0.37 };\n\n/** WS4 fixture: ω₀ = c = 1, base wavenumber k₀ = 10 (the domain edge ω₀/(ck) = 0.1). @internal */\nexport const WS4_FIXTURE = { omega0: 1, c: 1, k0: 10 } as const;\n\n// ── Sprint 4 closure ───────────────────────────────────────────────────────\n\n/** WD4 fixture: m, γ, k_BT all ≠ 1; τ_p = m/γ = 4. @internal */\nexport const WD4_FIXTURE: LangevinFixture = { m: 2, gamma: 0.5, kT: 1.5 };\n\n/** WD6 base: τ₀ = 0.1 with D = q = 1, so ε = τ at the resolution's τ = τ₀/resolution. @internal */\nexport const WD6_FIXTURE = { tau0: 0.1, D: 1, q: 1 } as const;\n\n/** WD7 base: ε = 25 · resolution with D = q = 1. @internal */\nexport const WD7_FIXTURE = { eps0: 25, D: 1, q: 1 } as const;\n\n/** WD8 fixture: a unit rod held at 2 and 5, base time 0.1 (Fourier number 0.1 per unit). @internal */\nexport const WD8_FIXTURE: SteadyStateFixture = {\n  alpha: 1,\n  ell: 1,\n  tLeft: 2,\n  tRight: 5,\n  t0: 0.1,\n  cells: 40,\n};\n\n/** WS5 base: x₀ = ck/ω₀ = 0.1, halved per resolution step. @internal */\nexport const WS5_FIXTURE = { x0: 0.1 } as const;\n\n/** WS6 fixture: c = 1, ω₀ = 2, t = 3; resolution = time steps. @internal */\nexport const WS6_FIXTURE = { c: 1, omega0: 2, tEnd: 3 } as const;\n\n/** WS7 fixture: F = 100, μ = 0.01 (so √(F/μ) = 100), EI = 0.01, k₀ = 10 (β = 0.01 at res 1). @internal */\nexport const WS7_FIXTURE = { F: 100, mu: 0.01, EI: 0.01, k0: 10 } as const;\n\nconst kT = sym('kT', ENERGY);\nconst gammaSym = sym('gamma', DAMPING);\nconst eta = sym('eta', VISCOSITY);\nconst a = sym('a', LENGTH);\nconst pi = sym('pi', DIMENSIONLESS);\n\n/**\n * Every witness the results artifact covers, in a fixed order (the artifact is\n * emitted in this order, so reordering is a reviewable diff, not churn).\n *\n * @internal\n */\nexport const WITNESS_REGISTRY: readonly RegisteredWitness[] = [\n  {\n    // ω0² of the spring, pushed through the dictionary, is ω0² of the LC circuit.\n    recordId: 'ab-spring-lc',\n    kind: 'symbolic',\n    spec: {\n      id: 'W1s',\n      lhs: applyDictionary(op('/', k, m), { m: SPRING_TO_CIRCUIT['m']!, k: SPRING_TO_CIRCUIT['k']! }),\n      rhs: op('/', n(1), op('*', L, C)),\n    },\n  },\n  {\n    // ζ² of the damped spring, b²/(4mk), pushed through the dictionary, is ζ² of\n    // the RLC circuit, R²C/(4L). The squared form avoids a fractional exponent\n    // on a dimensioned base, which the grammar forbids.\n    recordId: 'ab-damped-rlc',\n    kind: 'symbolic',\n    spec: {\n      id: 'W2s',\n      lhs: applyDictionary(op('/', op('^', b, n(2)), op('*', n(4), m, k)), SPRING_TO_CIRCUIT),\n      rhs: op('/', op('*', op('^', R, n(2)), C), op('*', n(4), L)),\n    },\n  },\n  {\n    // Norm transport, not a bridge claim: the pendulum's image under ab-spring-lc's\n    // map, integrated in circuit time, has K times the pendulum's relative period\n    // error against the circuit. Keyed by the transport id, so the bridge's own\n    // evidence is not derived from it (ADR-transported-norm-composition.md §4).\n    recordId: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.id,\n    kind: 'numeric',\n    spec: {\n      id: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.witness.id,\n      evaluate: (steps) => measureTransportedPeriodError(W1TAU_FIXTURE.theta0, steps),\n      target: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.KAt({}) * pendulumPeriodErrorAt({ theta0: W1TAU_FIXTURE.theta0 }),\n      coarseResolution: 160,\n      fineResolution: 640,\n      tolerance: 1e-9,\n    },\n  },\n  {\n    // Coarse-graining: the walk's density at the origin converges to the\n    // diffusion kernel as the closure D = Δx²/(2Δt) is held and Δt → 0.\n    recordId: 'ab-walk-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD1',\n      evaluate: (steps) => randomWalkCentralDensity(steps, WD1_FIXTURE.D, WD1_FIXTURE.t),\n      target: diffusionKernel(0, WD1_FIXTURE.t, WD1_FIXTURE.D),\n      coarseResolution: 100,\n      fineResolution: 1000,\n      tolerance: 1e-4,\n    },\n  },\n  {\n    // Exact equivalence: the HEAT equation, solved in κ, ρ, c_p, reproduces the\n    // FICK solution with D = κ/(ρ c_p).\n    recordId: 'ab-heat-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD2',\n      evaluate: (cells) => heatFtcsCentre(cells, WD2_FIXTURE),\n      target: gaussianSpread(\n        0,\n        WD2_FIXTURE.tEnd,\n        WD2_FIXTURE.kappa / (WD2_FIXTURE.rho * WD2_FIXTURE.cp),\n        WD2_FIXTURE.s0,\n      ),\n      coarseResolution: 80,\n      fineResolution: 160,\n      tolerance: 5e-4,\n    },\n  },\n  {\n    // The heat side's Fourier-mode decay rate κq²/(ρ c_p), pushed through the\n    // inverse dictionary κ ↦ D ρ c_p, is the Fick side's D q².\n    recordId: 'ab-heat-diffusion',\n    kind: 'symbolic',\n    spec: {\n      id: 'WD2s',\n      lhs: applyDictionary(op('/', op('*', kappa, op('^', q, n(2))), op('*', rho, cp)), {\n        kappa: op('*', D, rho, cp),\n      }),\n      rhs: op('*', D, op('^', q, n(2))),\n    },\n  },\n  {\n    // Analytic continuation: the Wick-rotated free kernel satisfies the\n    // diffusion equation with D = ħ/(2m); the residual's target is zero.\n    recordId: 'ab-schrodinger-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD3',\n      evaluate: (resolution) => wickHeatResidual(resolution, WD3_FIXTURE, wickRotatedFreeKernel),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 4,\n      tolerance: 1e-3,\n    },\n  },\n  {\n    // Restriction: the string, solved in F and μ, reproduces the 1-D wave\n    // solution with c = √(F/μ).\n    recordId: 'ab-string-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WS1',\n      evaluate: (cells) => stringLeapfrogMidpoint(cells, WS1_FIXTURE),\n      target:\n        Math.sin(Math.PI * 0.5) *\n        Math.cos(Math.PI * Math.sqrt(WS1_FIXTURE.tension / WS1_FIXTURE.mu) * WS1_FIXTURE.tEnd),\n      coarseResolution: 40,\n      fineResolution: 80,\n      tolerance: 2e-4,\n    },\n  },\n  {\n    // Derivation: d'Alembert's form satisfies the wave equation; residual → 0.\n    recordId: 'ab-wave-dalembert',\n    kind: 'numeric',\n    spec: {\n      id: 'WS2',\n      evaluate: (resolution) => dalembertResidual(resolution, WS2_FIXTURE),\n      target: 0,\n      coarseResolution: 4,\n      fineResolution: 8,\n      tolerance: 2e-3,\n    },\n  },\n  {\n    // Hyperedge: linearized Euler closed by the adiabatic EOS reproduces the\n    // sound model with c_s² = γp₀/ρ₀.\n    recordId: 'ab-sound-speed',\n    kind: 'numeric',\n    spec: {\n      id: 'WS3',\n      evaluate: (cells) => acousticLeapfrogQuarter(cells, WS3_FIXTURE),\n      target: Math.cos(\n        2 * Math.PI * Math.sqrt((WS3_FIXTURE.gamma * WS3_FIXTURE.p0) / WS3_FIXTURE.rho0) * WS3_FIXTURE.tEnd,\n      ),\n      coarseResolution: 64,\n      fineResolution: 128,\n      tolerance: 2e-4,\n    },\n  },\n  {\n    // Approximation: the Klein–Gordon phase velocity tends to c as k grows.\n    recordId: 'ab-klein-gordon-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WS4',\n      evaluate: (resolution) =>\n        kleinGordonPhaseVelocity(resolution, WS4_FIXTURE.omega0, WS4_FIXTURE.c, WS4_FIXTURE.k0),\n      target: WS4_FIXTURE.c,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 2e-3,\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({ omega0: WS4_FIXTURE.omega0, c: WS4_FIXTURE.c, k: WS4_FIXTURE.k0 * resolution }),\n    },\n  },\n  // ── Sprint 4 closure ─────────────────────────────────────────────────────\n  {\n    // Coarse-graining: Langevin second moments at t = resolution · τ_p, over 2Dt.\n    recordId: 'ab-langevin-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD4',\n      evaluate: (resolution) => langevinMsdRatio(resolution, WD4_FIXTURE),\n      target: 1,\n      coarseResolution: 10,\n      fineResolution: 100,\n      tolerance: 0.02,\n    },\n  },\n  {\n    // Hyperedge: γ = 6πηa pushed into Einstein's D = k_BT/γ.\n    recordId: 'ab-stokes-einstein',\n    kind: 'symbolic',\n    spec: {\n      id: 'WD5s',\n      lhs: applyDictionary(op('/', kT, gammaSym), { gamma: op('*', n(6), pi, eta, a) }),\n      rhs: op('/', kT, op('*', n(6), pi, eta, a)),\n    },\n  },\n  {\n    // Singular limit τ → 0: the telegraph slow rate over Dq² tends to 1.\n    recordId: 'ab-telegraph-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD6',\n      evaluate: (resolution) =>\n        telegraphSlowRateRatio(WD6_FIXTURE.tau0 / resolution, WD6_FIXTURE.D, WD6_FIXTURE.q),\n      target: 1,\n      coarseResolution: 2,\n      fineResolution: 4,\n      tolerance: 0.03,\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({ tau: WD6_FIXTURE.tau0 / resolution, D: WD6_FIXTURE.D, q: WD6_FIXTURE.q }),\n    },\n  },\n  {\n    // ε → ∞: the telegraph oscillation frequency over c q tends to 1.\n    recordId: 'ab-telegraph-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WD7',\n      evaluate: (resolution) =>\n        telegraphWaveFrequencyRatio(WD7_FIXTURE.eps0 * resolution, WD7_FIXTURE.D, WD7_FIXTURE.q),\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 3e-3,\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({\n        tau: (WD7_FIXTURE.eps0 * resolution) / (WD7_FIXTURE.D * WD7_FIXTURE.q ** 2),\n        D: WD7_FIXTURE.D,\n        q: WD7_FIXTURE.q,\n      }),\n    },\n  },\n  {\n    // Steady state: the heat solution's deviation from the Laplace profile → 0.\n    recordId: 'ab-heat-laplace',\n    kind: 'numeric',\n    spec: {\n      id: 'WD8',\n      evaluate: (resolution) => heatSteadyDeviation(resolution, WD8_FIXTURE),\n      target: 0,\n      coarseResolution: 2,\n      fineResolution: 4,\n      tolerance: 0.025,\n    },\n  },\n  {\n    // Non-relativistic limit: kinetic-frequency error → 0 as x = ck/ω₀ halves.\n    recordId: 'ab-kg-schrodinger',\n    kind: 'numeric',\n    spec: {\n      id: 'WS5',\n      evaluate: (resolution) => kgNonrelativisticError(WS5_FIXTURE.x0 / resolution),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 1e-3,\n    },\n    // The spec reads only x = ck/ω₀; c = ω₀ = 1 is one point with that x.\n    claim: { name: 'bound', at: (resolution) => ({ c: 1, omega0: 1, k: WS5_FIXTURE.x0 / resolution }) },\n  },\n  {\n    // Uniform-mode restriction: the full KG PDE, uniform data, vs cos(ω₀t).\n    recordId: 'ab-kg-oscillator',\n    kind: 'numeric',\n    spec: {\n      id: 'WS6',\n      evaluate: (steps) =>\n        kgUniformModeValue(steps, WS6_FIXTURE.c, WS6_FIXTURE.omega0, WS6_FIXTURE.tEnd),\n      target: Math.cos(WS6_FIXTURE.omega0 * WS6_FIXTURE.tEnd),\n      coarseResolution: 50,\n      fineResolution: 100,\n      tolerance: 3e-4,\n    },\n  },\n  {\n    // Flexible-string limit: stiff-string phase velocity → √(F/μ) as k shrinks.\n    recordId: 'ab-stiff-string',\n    kind: 'numeric',\n    spec: {\n      id: 'WS7',\n      evaluate: (resolution) =>\n        stiffStringPhaseVelocity(resolution, WS7_FIXTURE.F, WS7_FIXTURE.mu, WS7_FIXTURE.EI, WS7_FIXTURE.k0),\n      target: Math.sqrt(WS7_FIXTURE.F / WS7_FIXTURE.mu),\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.15,\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({\n        F: WS7_FIXTURE.F,\n        mu: WS7_FIXTURE.mu,\n        EI: WS7_FIXTURE.EI,\n        k: WS7_FIXTURE.k0 / resolution,\n      }),\n    },\n  },\n  // ── The three oscillator bridges that had no in-process witness ──────────\n  {\n    // Regular limit θ0 → 0: T/T0 of the pendulum, integrated by RK4, tends to 1.\n    // The tolerance is the upper end W7 records, 0.002507 at θ0 = 0.2; the\n    // bound's deltaAt there is the AGM form, a second method.\n    recordId: 'ab-pendulum-linear',\n    kind: 'numeric',\n    spec: {\n      id: 'W7',\n      evaluate: (resolution) => measurePendulumPeriodRatio(W7_FIXTURE.theta0 / resolution),\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.002507,\n    },\n    claim: { name: 'bound', at: (resolution) => ({ theta0: W7_FIXTURE.theta0 / resolution }) },\n  },\n  {\n    // Singular limit m → 0: the full damped spring's offset from the reduced\n    // model outside the layer, integrated by RK4; the tolerance is the bound's\n    // own deltaAt at the fine mass, which is not sharp there.\n    recordId: 'ab-damped-massless',\n    kind: 'numeric',\n    spec: {\n      id: 'W8b',\n      evaluate: (resolution) => measureMasslessOffset(W8B_FIXTURE.m / resolution),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: dampedOffsetBoundAt({ m: W8B_FIXTURE.m / 2, b: W8B_FIXTURE.b, k: W8B_FIXTURE.k, x0: W8B_FIXTURE.x0, v0: W8B_FIXTURE.v0 }),\n    },\n    claim: {\n      name: 'bound-holds-at',\n      at: (resolution) => ({ m: W8B_FIXTURE.m / resolution, b: W8B_FIXTURE.b, k: W8B_FIXTURE.k, x0: W8B_FIXTURE.x0, v0: W8B_FIXTURE.v0 }),\n    },\n  },\n  {\n    // Coarse-graining, long wavelength: 1 − ω/(c q) measured on the integrated\n    // ring, over (qa)²/24, tends to 1 within the 0.5% W9 records.\n    recordId: 'ab-chain-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'W9',\n      evaluate: (resolution) => {\n        const masses = W9_FIXTURE.masses * resolution;\n        return measureChainDispersionError(masses) / dispersionErrorApproximation((2 * Math.PI) / masses);\n      },\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.005,\n    },\n    claim: {\n      name: 'preserves',\n      item: 'long-wavelength dispersion ω ≈ c q',\n      at: (resolution) => ({ qa: (2 * Math.PI) / (W9_FIXTURE.masses * resolution) }),\n    },\n  },\n];\n"]}
+{"version":3,"file":"witness-specs.js","sourceRoot":"","sources":["../../src/atlas/witness-specs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAGH,OAAO,EAAE,GAAG,EAAE,MAAM,gCAAgC,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC1D,OAAO,EACL,WAAW,EACX,OAAO,EACP,UAAU,EACV,UAAU,EACV,eAAe,GAChB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,mBAAmB,EACnB,gBAAgB,EAChB,sBAAsB,EACtB,2BAA2B,EAC3B,eAAe,EACf,cAAc,EACd,cAAc,EACd,wBAAwB,EACxB,gBAAgB,GACjB,MAAM,yBAAyB,CAAC;AAOjC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AACtG,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EACL,sBAAsB,EACtB,kBAAkB,EAClB,wBAAwB,EACxB,uBAAuB,EACvB,iBAAiB,EACjB,wBAAwB,EACxB,sBAAsB,GACvB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,EAAE,mCAAmC,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACrG,OAAO,EAAE,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,mBAAmB,EAAE,MAAM,iCAAiC,CAAC;AACtE,OAAO,EAAE,4BAA4B,EAAE,MAAM,iCAAiC,CAAC;AAC/E,OAAO,EACL,2BAA2B,EAC3B,qBAAqB,EACrB,0BAA0B,EAC1B,UAAU,EACV,WAAW,EACX,UAAU,GACX,MAAM,kCAAkC,CAAC;AAuD1C,MAAM,EAAE,GAAG,CAAC,CAA8B,EAAE,GAAG,IAAgB,EAAY,EAAE,CAAC,CAAC;IAC7E,IAAI,EAAE,IAAI;IACV,EAAE,EAAE,CAAC;IACL,IAAI;CACL,CAAC,CAAC;AACH,MAAM,CAAC,GAAG,CAAC,KAAa,EAAY,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,aAAa,CAAC,CAAC;AAEzE;;;;;GAKG;AACH,SAAS,eAAe,CAAC,IAAc,EAAE,UAA8C;IACrF,IAAI,GAAG,GAAG,IAAI,CAAC;IACf,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7D,MAAM,CAAC,GAAG,UAAU,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7C,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,oCAAoC,IAAI,mBAAmB,CAAC,CAAC;QAC/E,CAAC;QACD,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC;IACf,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AACzB,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;AACpC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;AAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAChC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AAE/B,kGAAkG;AAClG,MAAM,iBAAiB,GAAuC;IAC5D,CAAC,EAAE,CAAC;IACJ,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACnB,CAAC,EAAE,CAAC;CACL,CAAC;AAEF,8EAA8E;AAE9E,uEAAuE;AACvE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAErD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,WAAW,GAAgB;IACtC,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,EAAE,EAAE,GAAG;IACP,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,GAAG;IACT,SAAS,EAAE,CAAC;CACb,CAAC;AAEF,sFAAsF;AACtF,MAAM,CAAC,MAAM,WAAW,GAAgB,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAE/F,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,oBAAoB,CAAC,CAAC;AACjD,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AAChC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AACpC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;AAChC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEzC,8EAA8E;AAE9E,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAkB,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAE7E,iFAAiF;AACjF,MAAM,CAAC,MAAM,WAAW,GAAqB,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAEjF,2EAA2E;AAC3E,MAAM,CAAC,MAAM,WAAW,GAAoB,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAEzF,kGAAkG;AAClG,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAW,CAAC;AAEhE,8EAA8E;AAE9E,gEAAgE;AAChE,MAAM,CAAC,MAAM,WAAW,GAAoB,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC;AAE1E,mGAAmG;AACnG,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAE9D,8DAA8D;AAC9D,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAW,CAAC;AAE7D,sGAAsG;AACtG,MAAM,CAAC,MAAM,WAAW,GAAuB;IAC7C,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC;IACN,KAAK,EAAE,CAAC;IACR,MAAM,EAAE,CAAC;IACT,EAAE,EAAE,GAAG;IACP,KAAK,EAAE,EAAE;CACV,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,EAAE,EAAE,GAAG,EAAW,CAAC;AAEhD,4EAA4E;AAC5E,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;AAEjE,0GAA0G;AAC1G,MAAM,CAAC,MAAM,WAAW,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAW,CAAC;AAE3E,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAC7B,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AACvC,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;AAEpC;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAiC;IAC5D;QACE,8EAA8E;QAC9E,QAAQ,EAAE,cAAc;QACxB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAE,EAAE,CAAC,EAAE,iBAAiB,CAAC,GAAG,CAAE,EAAE,CAAC;YAC/F,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;SAClC;KACF;IACD;QACE,6EAA6E;QAC7E,2EAA2E;QAC3E,oDAAoD;QACpD,QAAQ,EAAE,eAAe;QACzB,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,CAAC;YACvF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;SAC7D;KACF;IACD;QACE,gFAAgF;QAChF,8EAA8E;QAC9E,4EAA4E;QAC5E,4EAA4E;QAC5E,QAAQ,EAAE,mCAAmC,CAAC,EAAE;QAChD,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,mCAAmC,CAAC,OAAO,CAAC,EAAE;YAClD,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,6BAA6B,CAAC,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC;YAC/E,MAAM,EAAE,mCAAmC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,qBAAqB,CAAC,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC;YAC7G,gBAAgB,EAAE,GAAG;YACrB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;SAChC;KACF;IACD;QACE,qEAAqE;QACrE,oEAAoE;QACpE,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAClF,MAAM,EAAE,eAAe,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YACxD,gBAAgB,EAAE,GAAG;YACrB,cAAc,EAAE,IAAI;YACpB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC;SAClC;KACF;IACD;QACE,4EAA4E;QAC5E,oCAAoC;QACpC,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC;YACvD,MAAM,EAAE,cAAc,CACpB,CAAC,EACD,WAAW,CAAC,IAAI,EAChB,WAAW,CAAC,KAAK,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,WAAW,CAAC,EAAE,CAAC,EACtD,WAAW,CAAC,EAAE,CACf;YACD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC7B;KACF;IACD;QACE,0EAA0E;QAC1E,2DAA2D;QAC3D,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,MAAM;YACV,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE;gBAChF,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC;aAC3B,CAAC;YACF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAClC;KACF;IACD;QACE,oEAAoE;QACpE,qEAAqE;QACrE,QAAQ,EAAE,0BAA0B;QACpC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,qBAAqB,CAAC;YAC1F,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;SAC3B;KACF;IACD;QACE,sEAAsE;QACtE,4BAA4B;QAC5B,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,sBAAsB,CAAC,KAAK,EAAE,WAAW,CAAC;YAC/D,MAAM,EACJ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,GAAG,CAAC;gBACvB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,GAAG,WAAW,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC;YACxF,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC7B;KACF;IACD;QACE,2EAA2E;QAC3E,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,iBAAiB,CAAC,UAAU,EAAE,WAAW,CAAC;YACpE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;SAC3B;KACF;IACD;QACE,yEAAyE;QACzE,kCAAkC;QAClC,QAAQ,EAAE,gBAAgB;QAC1B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,uBAAuB,CAAC,KAAK,EAAE,WAAW,CAAC;YAChE,MAAM,EAAE,IAAI,CAAC,GAAG,CACd,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,IAAI,CACpG;YACD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC7B;KACF;IACD;QACE,wEAAwE;QACxE,QAAQ,EAAE,sBAAsB;QAChC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,CAAC;YACzF,MAAM,EAAE,WAAW,CAAC,CAAC;YACrB,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC;SACvG;KACF;IACD,4EAA4E;IAC5E;QACE,8EAA8E;QAC9E,QAAQ,EAAE,uBAAuB;QACjC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,gBAAgB,CAAC,UAAU,EAAE,WAAW,CAAC;YACnE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;YACf,mDAAmD;YACnD,gBAAgB,EAAE,CAAC,IAAI,CAAC;SACzB;KACF;IACD;QACE,yDAAyD;QACzD,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,UAAU;QAChB,IAAI,EAAE;YACJ,EAAE,EAAE,MAAM;YACV,GAAG,EAAE,eAAe,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC;YACjF,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;SAC5C;KACF;IACD;QACE,qEAAqE;QACrE,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,sBAAsB,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YACrF,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;SAC1B;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC;SACjG;KACF;IACD;QACE,kEAAkE;QAClE,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,2BAA2B,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;YAC1F,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACnB,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC;gBAC3E,CAAC,EAAE,WAAW,CAAC,CAAC;gBAChB,CAAC,EAAE,WAAW,CAAC,CAAC;aACjB,CAAC;SACH;KACF;IACD;QACE,4EAA4E;QAC5E,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,mBAAmB,CAAC,UAAU,EAAE,WAAW,CAAC;YACtE,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,KAAK;YAChB,uGAAuG;YACvG,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;SAC1B;KACF;IACD;QACE,2EAA2E;QAC3E,QAAQ,EAAE,mBAAmB;QAC7B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,sBAAsB,CAAC,WAAW,CAAC,EAAE,GAAG,UAAU,CAAC;YAC7E,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,sEAAsE;QACtE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU,EAAE,CAAC,EAAE;KACpG;IACD;QACE,wEAAwE;QACxE,QAAQ,EAAE,kBAAkB;QAC5B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,kBAAkB,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC;YAChF,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC;YACvD,gBAAgB,EAAE,EAAE;YACpB,cAAc,EAAE,GAAG;YACnB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;SAC7B;KACF;IACD;QACE,4EAA4E;QAC5E,QAAQ,EAAE,iBAAiB;QAC3B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CACvB,wBAAwB,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,EAAE,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;YACrG,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,GAAG,WAAW,CAAC,EAAE,CAAC;YACjD,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,IAAI;YACf,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,OAAO;YACb,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;gBACnB,CAAC,EAAE,WAAW,CAAC,CAAC;gBAChB,EAAE,EAAE,WAAW,CAAC,EAAE;gBAClB,EAAE,EAAE,WAAW,CAAC,EAAE;gBAClB,CAAC,EAAE,WAAW,CAAC,EAAE,GAAG,UAAU;aAC/B,CAAC;SACH;KACF;IACD,4EAA4E;IAC5E;QACE,6EAA6E;QAC7E,uEAAuE;QACvE,0DAA0D;QAC1D,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,0BAA0B,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC;YACpF,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,QAAQ;YACnB,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,GAAG,UAAU,EAAE,CAAC,EAAE;KAC3F;IACD;QACE,yEAAyE;QACzE,2EAA2E;QAC3E,0DAA0D;QAC1D,QAAQ,EAAE,oBAAoB;QAC9B,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,GAAG,UAAU,CAAC;YAC3E,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,mBAAmB,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;YACpI,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;SACzB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,gBAAgB;YACtB,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,GAAG,UAAU,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,EAAE,EAAE,WAAW,CAAC,EAAE,EAAE,CAAC;SACpI;KACF;IACD;QACE,2EAA2E;QAC3E,8DAA8D;QAC9D,QAAQ,EAAE,eAAe;QACzB,IAAI,EAAE,SAAS;QACf,IAAI,EAAE;YACJ,EAAE,EAAE,IAAI;YACR,QAAQ,EAAE,CAAC,UAAU,EAAE,EAAE;gBACvB,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC;gBAC9C,OAAO,2BAA2B,CAAC,MAAM,CAAC,GAAG,4BAA4B,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;YACpG,CAAC;YACD,MAAM,EAAE,CAAC;YACT,gBAAgB,EAAE,CAAC;YACnB,cAAc,EAAE,CAAC;YACjB,SAAS,EAAE,KAAK;SACjB;QACD,KAAK,EAAE;YACL,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,oCAAoC;YAC1C,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC;SAC/E;KACF;CACF,CAAC","sourcesContent":["/**\n * Atlas Phase 4, S4.3 — the EXECUTABLE witness registry.\n *\n * Design note: `docs/planning/Atlas-Phase-4-Design.md` §3.\n *\n * A `Witness` record names a check and the test file that runs it; it carries\n * nothing a runner can execute. This module holds the executable form of every\n * witness the results artifact covers, keyed by the record it supports. The\n * Lead-run `scripts/emit-witness-results.mjs` runs exactly this list, and\n * `tests/atlas/witness-results.test.ts` deep-equals the committed artifact\n * against a fresh run of it.\n *\n * ## The symbolic specs apply the bridge's DICTIONARY, they do not restate it\n *\n * Writing `lhs` and `rhs` as two hand-typed ASTs that happen to be equal would\n * check nothing but the typist. Each spec below starts from the PREMISE\n * model's expression and pushes it through the bridge's variable dictionary\n * with `substitute`; the CAS then has to show that the result equals the\n * CONCLUSION model's expression. What is checked is the dictionary.\n *\n * @module atlas/witness-specs\n * @internal\n */\n\nimport type { ExprNode } from '../dimensional/ast-types.js';\nimport { sym } from '../dimensional/ast-builders.js';\nimport { DIMENSIONLESS, ENERGY, LENGTH, MASS } from '../dimensional/types.js';\nimport { substitute } from '../composition/expr-subst.js';\nimport {\n  CAPACITANCE,\n  DAMPING,\n  INDUCTANCE,\n  RESISTANCE,\n  SPRING_CONSTANT,\n} from './oscillators/dimensions.js';\nimport {\n  heatSteadyDeviation,\n  langevinMsdRatio,\n  telegraphSlowRateRatio,\n  telegraphWaveFrequencyRatio,\n  diffusionKernel,\n  gaussianSpread,\n  heatFtcsCentre,\n  randomWalkCentralDensity,\n  wickHeatResidual,\n} from './diffusion/numerics.js';\nimport type {\n  HeatFixture,\n  LangevinFixture,\n  SteadyStateFixture,\n  WickFixture,\n} from './diffusion/numerics.js';\nimport { DENSITY, DIFFUSIVITY, SPECIFIC_HEAT, THERMAL_CONDUCTIVITY } from './diffusion/dimensions.js';\nimport { VISCOSITY } from './diffusion/models.js';\nimport { wickRotatedFreeKernel } from './witnesses/quantum-support.js';\nimport {\n  kgNonrelativisticError,\n  kgUniformModeValue,\n  stiffStringPhaseVelocity,\n  acousticLeapfrogQuarter,\n  dalembertResidual,\n  kleinGordonPhaseVelocity,\n  stringLeapfrogMidpoint,\n} from './waves/numerics.js';\nimport type { AcousticFixture, DalembertFixture, StringFixture } from './waves/numerics.js';\nimport { pendulumPeriodErrorAt } from './oscillators/bridges-limits.js';\nimport { SPRING_LC_RELATIVE_PERIOD_TRANSPORT, W1TAU_FIXTURE } from './oscillators/norm-transport.js';\nimport { measureTransportedPeriodError } from './oscillators/norm-transport-witness.js';\nimport { dampedOffsetBoundAt } from './oscillators/bridges-limits.js';\nimport { dispersionErrorApproximation } from './oscillators/bridges-coarse.js';\nimport {\n  measureChainDispersionError,\n  measureMasslessOffset,\n  measurePendulumPeriodRatio,\n  W7_FIXTURE,\n  W8B_FIXTURE,\n  W9_FIXTURE,\n} from './oscillators/limit-witnesses.js';\nimport type { NumericWitnessSpec } from './witness-numeric.js';\nimport type { SymbolicWitnessSpec } from './witness-symbolic.js';\n\n/** A symbolic spec bound to the record it supports. @internal */\nexport interface RegisteredSymbolicWitness {\n  /** The `AtlasBridge.id` (or other record id) the witness belongs to. */\n  readonly recordId: string;\n  readonly kind: 'symbolic';\n  readonly spec: SymbolicWitnessSpec;\n}\n\n/**\n * The claim of its record a witness tests. `tests/atlas/witness-claims.test.ts`\n * checks each attribution against the spec.\n *\n * - `'bound'`: at `at(fineResolution)`, a point inside the record's regime, the\n *   witness's error is the bound's own quantity in the bound's norm (it equals\n *   `deltaAt` there: the bound is sharp), and its tolerance is no looser than\n *   `delta`, so the bound failing there refutes the witness.\n * - `'bound-holds-at'`: for a bound that is not sharp. At that point, inside the\n *   regime, the witness's error is measured in the bound's norm and its\n *   tolerance IS `deltaAt` there, so the bound failing at that point refutes the\n *   witness. That the spec measures the bound's norm is checked beside the spec.\n * - `'preserves'`: the witness tests `item`, one entry of the record's\n *   `preserves`, at a point inside the regime.\n *\n * @internal\n */\nexport type WitnessClaim =\n  | {\n      readonly name: 'bound' | 'bound-holds-at';\n      /** The point the spec evaluates at a resolution, in the names the bound's `deltaAt` reads. */\n      readonly at: (resolution: number) => Readonly<Record<string, number>>;\n    }\n  | {\n      readonly name: 'preserves';\n      /** One entry of the record's `preserves`, verbatim. */\n      readonly item: string;\n      /** The point the spec evaluates at a resolution, in the names the regime's groups read. */\n      readonly at: (resolution: number) => Readonly<Record<string, number>>;\n    };\n\n/** A numeric spec bound to the record it supports. @internal */\nexport interface RegisteredNumericWitness {\n  readonly recordId: string;\n  readonly kind: 'numeric';\n  readonly spec: NumericWitnessSpec;\n  /** Absent: the witness is not attributed to any one claim of its record. */\n  readonly claim?: WitnessClaim;\n}\n\n/** One entry of the registry. @internal */\nexport type RegisteredWitness = RegisteredSymbolicWitness | RegisteredNumericWitness;\n\nconst op = (o: '*' | '/' | '+' | '-' | '^', ...args: ExprNode[]): ExprNode => ({\n  kind: 'op',\n  op: o,\n  args,\n});\nconst n = (value: number): ExprNode => sym(String(value), DIMENSIONLESS);\n\n/**\n * Push `expr` through a variable dictionary, REFUSING a mapping that matches no\n * leaf. A zero-occurrence substitution is a silent no-op that would leave the\n * premise variable in place and let the check pass or fail for the wrong\n * reason — the same guard `composeSymbolic` applies (Adam A-3).\n */\nfunction applyDictionary(expr: ExprNode, dictionary: Readonly<Record<string, ExprNode>>): ExprNode {\n  let out = expr;\n  for (const [name, replacement] of Object.entries(dictionary)) {\n    const r = substitute(out, name, replacement);\n    if (r.count === 0) {\n      throw new Error(`witness-specs: dictionary entry '${name}' matches no leaf`);\n    }\n    out = r.expr;\n  }\n  return out;\n}\n\n// Spring and LC symbols, with the dimensions the oscillator models declare.\nconst m = sym('m', MASS);\nconst k = sym('k', SPRING_CONSTANT);\nconst b = sym('b', DAMPING);\nconst L = sym('L', INDUCTANCE);\nconst C = sym('C', CAPACITANCE);\nconst R = sym('R', RESISTANCE);\n\n/** The spring ↔ circuit dictionary of `ab-spring-lc` / `ab-damped-rlc`: m ↔ L, k ↔ 1/C, b ↔ R. */\nconst SPRING_TO_CIRCUIT: Readonly<Record<string, ExprNode>> = {\n  m: L,\n  k: op('/', n(1), C),\n  b: R,\n};\n\n// ── Diffusion family (S4.4) ────────────────────────────────────────────────\n\n/** WD1 fixture: D and t, fixed while the walk is refined. @internal */\nexport const WD1_FIXTURE = { D: 0.5, t: 2 } as const;\n\n/**\n * WD2 fixture. κ, ρ and c_p are chosen so the heat equation's own variables\n * are all different from 1 while κ/(ρ c_p) = 1: a dictionary that dropped or\n * inverted a factor would move the answer.\n *\n * @internal\n */\nexport const WD2_FIXTURE: HeatFixture = {\n  kappa: 2,\n  rho: 4,\n  cp: 0.5,\n  s0: 0.05,\n  tEnd: 0.2,\n  halfWidth: 4,\n};\n\n/** WD3 fixture: an off-centre point, so no symmetry zeroes a derivative. @internal */\nexport const WD3_FIXTURE: WickFixture = { hbar: 1, m: 0.5, s: 0.7, x: 0.3, tau: 0.4, h0: 0.1 };\n\nconst kappa = sym('kappa', THERMAL_CONDUCTIVITY);\nconst rho = sym('rho', DENSITY);\nconst cp = sym('cp', SPECIFIC_HEAT);\nconst D = sym('D', DIFFUSIVITY);\nconst q = sym('q', { ...LENGTH, L: -1 });\n\n// ── Wave family (S4.5) ─────────────────────────────────────────────────────\n\n/** WS1 fixture: F and μ both ≠ 1 while c = √(F/μ) = 2. @internal */\nexport const WS1_FIXTURE: StringFixture = { tension: 2, mu: 0.5, tEnd: 0.3 };\n\n/** WS2 fixture: an off-centre point where both profiles contribute. @internal */\nexport const WS2_FIXTURE: DalembertFixture = { c: 1.5, x: 0.4, t: 0.3, h0: 0.1 };\n\n/** WS3 fixture: γ = 1.4 with nondimensional p₀ = 1, ρ₀ = 1.2. @internal */\nexport const WS3_FIXTURE: AcousticFixture = { p0: 1, rho0: 1.2, gamma: 1.4, tEnd: 0.37 };\n\n/** WS4 fixture: ω₀ = c = 1, base wavenumber k₀ = 10 (the domain edge ω₀/(ck) = 0.1). @internal */\nexport const WS4_FIXTURE = { omega0: 1, c: 1, k0: 10 } as const;\n\n// ── Sprint 4 closure ───────────────────────────────────────────────────────\n\n/** WD4 fixture: m, γ, k_BT all ≠ 1; τ_p = m/γ = 4. @internal */\nexport const WD4_FIXTURE: LangevinFixture = { m: 2, gamma: 0.5, kT: 1.5 };\n\n/** WD6 base: τ₀ = 0.1 with D = q = 1, so ε = τ at the resolution's τ = τ₀/resolution. @internal */\nexport const WD6_FIXTURE = { tau0: 0.1, D: 1, q: 1 } as const;\n\n/** WD7 base: ε = 25 · resolution with D = q = 1. @internal */\nexport const WD7_FIXTURE = { eps0: 25, D: 1, q: 1 } as const;\n\n/** WD8 fixture: a unit rod held at 2 and 5, base time 0.1 (Fourier number 0.1 per unit). @internal */\nexport const WD8_FIXTURE: SteadyStateFixture = {\n  alpha: 1,\n  ell: 1,\n  tLeft: 2,\n  tRight: 5,\n  t0: 0.1,\n  cells: 40,\n};\n\n/** WS5 base: x₀ = ck/ω₀ = 0.1, halved per resolution step. @internal */\nexport const WS5_FIXTURE = { x0: 0.1 } as const;\n\n/** WS6 fixture: c = 1, ω₀ = 2, t = 3; resolution = time steps. @internal */\nexport const WS6_FIXTURE = { c: 1, omega0: 2, tEnd: 3 } as const;\n\n/** WS7 fixture: F = 100, μ = 0.01 (so √(F/μ) = 100), EI = 0.01, k₀ = 10 (β = 0.01 at res 1). @internal */\nexport const WS7_FIXTURE = { F: 100, mu: 0.01, EI: 0.01, k0: 10 } as const;\n\nconst kT = sym('kT', ENERGY);\nconst gammaSym = sym('gamma', DAMPING);\nconst eta = sym('eta', VISCOSITY);\nconst a = sym('a', LENGTH);\nconst pi = sym('pi', DIMENSIONLESS);\n\n/**\n * Every witness the results artifact covers, in a fixed order (the artifact is\n * emitted in this order, so reordering is a reviewable diff, not churn).\n *\n * @internal\n */\nexport const WITNESS_REGISTRY: readonly RegisteredWitness[] = [\n  {\n    // ω0² of the spring, pushed through the dictionary, is ω0² of the LC circuit.\n    recordId: 'ab-spring-lc',\n    kind: 'symbolic',\n    spec: {\n      id: 'W1s',\n      lhs: applyDictionary(op('/', k, m), { m: SPRING_TO_CIRCUIT['m']!, k: SPRING_TO_CIRCUIT['k']! }),\n      rhs: op('/', n(1), op('*', L, C)),\n    },\n  },\n  {\n    // ζ² of the damped spring, b²/(4mk), pushed through the dictionary, is ζ² of\n    // the RLC circuit, R²C/(4L). The squared form avoids a fractional exponent\n    // on a dimensioned base, which the grammar forbids.\n    recordId: 'ab-damped-rlc',\n    kind: 'symbolic',\n    spec: {\n      id: 'W2s',\n      lhs: applyDictionary(op('/', op('^', b, n(2)), op('*', n(4), m, k)), SPRING_TO_CIRCUIT),\n      rhs: op('/', op('*', op('^', R, n(2)), C), op('*', n(4), L)),\n    },\n  },\n  {\n    // Norm transport, not a bridge claim: the pendulum's image under ab-spring-lc's\n    // map, integrated in circuit time, has K times the pendulum's relative period\n    // error against the circuit. Keyed by the transport id, so the bridge's own\n    // evidence is not derived from it (ADR-transported-norm-composition.md §4).\n    recordId: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.id,\n    kind: 'numeric',\n    spec: {\n      id: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.witness.id,\n      evaluate: (steps) => measureTransportedPeriodError(W1TAU_FIXTURE.theta0, steps),\n      target: SPRING_LC_RELATIVE_PERIOD_TRANSPORT.KAt({}) * pendulumPeriodErrorAt({ theta0: W1TAU_FIXTURE.theta0 }),\n      coarseResolution: 160,\n      fineResolution: 640,\n      tolerance: 1e-9,\n      orderResolutions: [2560, 10240],\n    },\n  },\n  {\n    // Coarse-graining: the walk's density at the origin converges to the\n    // diffusion kernel as the closure D = Δx²/(2Δt) is held and Δt → 0.\n    recordId: 'ab-walk-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD1',\n      evaluate: (steps) => randomWalkCentralDensity(steps, WD1_FIXTURE.D, WD1_FIXTURE.t),\n      target: diffusionKernel(0, WD1_FIXTURE.t, WD1_FIXTURE.D),\n      coarseResolution: 100,\n      fineResolution: 1000,\n      tolerance: 1e-4,\n      orderResolutions: [10000, 100000],\n    },\n  },\n  {\n    // Exact equivalence: the HEAT equation, solved in κ, ρ, c_p, reproduces the\n    // FICK solution with D = κ/(ρ c_p).\n    recordId: 'ab-heat-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD2',\n      evaluate: (cells) => heatFtcsCentre(cells, WD2_FIXTURE),\n      target: gaussianSpread(\n        0,\n        WD2_FIXTURE.tEnd,\n        WD2_FIXTURE.kappa / (WD2_FIXTURE.rho * WD2_FIXTURE.cp),\n        WD2_FIXTURE.s0,\n      ),\n      coarseResolution: 80,\n      fineResolution: 160,\n      tolerance: 5e-4,\n      orderResolutions: [320, 640],\n    },\n  },\n  {\n    // The heat side's Fourier-mode decay rate κq²/(ρ c_p), pushed through the\n    // inverse dictionary κ ↦ D ρ c_p, is the Fick side's D q².\n    recordId: 'ab-heat-diffusion',\n    kind: 'symbolic',\n    spec: {\n      id: 'WD2s',\n      lhs: applyDictionary(op('/', op('*', kappa, op('^', q, n(2))), op('*', rho, cp)), {\n        kappa: op('*', D, rho, cp),\n      }),\n      rhs: op('*', D, op('^', q, n(2))),\n    },\n  },\n  {\n    // Analytic continuation: the Wick-rotated free kernel satisfies the\n    // diffusion equation with D = ħ/(2m); the residual's target is zero.\n    recordId: 'ab-schrodinger-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD3',\n      evaluate: (resolution) => wickHeatResidual(resolution, WD3_FIXTURE, wickRotatedFreeKernel),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 4,\n      tolerance: 1e-3,\n      orderResolutions: [16, 64],\n    },\n  },\n  {\n    // Restriction: the string, solved in F and μ, reproduces the 1-D wave\n    // solution with c = √(F/μ).\n    recordId: 'ab-string-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WS1',\n      evaluate: (cells) => stringLeapfrogMidpoint(cells, WS1_FIXTURE),\n      target:\n        Math.sin(Math.PI * 0.5) *\n        Math.cos(Math.PI * Math.sqrt(WS1_FIXTURE.tension / WS1_FIXTURE.mu) * WS1_FIXTURE.tEnd),\n      coarseResolution: 40,\n      fineResolution: 80,\n      tolerance: 2e-4,\n      orderResolutions: [160, 320],\n    },\n  },\n  {\n    // Derivation: d'Alembert's form satisfies the wave equation; residual → 0.\n    recordId: 'ab-wave-dalembert',\n    kind: 'numeric',\n    spec: {\n      id: 'WS2',\n      evaluate: (resolution) => dalembertResidual(resolution, WS2_FIXTURE),\n      target: 0,\n      coarseResolution: 4,\n      fineResolution: 8,\n      tolerance: 2e-3,\n      orderResolutions: [16, 32],\n    },\n  },\n  {\n    // Hyperedge: linearized Euler closed by the adiabatic EOS reproduces the\n    // sound model with c_s² = γp₀/ρ₀.\n    recordId: 'ab-sound-speed',\n    kind: 'numeric',\n    spec: {\n      id: 'WS3',\n      evaluate: (cells) => acousticLeapfrogQuarter(cells, WS3_FIXTURE),\n      target: Math.cos(\n        2 * Math.PI * Math.sqrt((WS3_FIXTURE.gamma * WS3_FIXTURE.p0) / WS3_FIXTURE.rho0) * WS3_FIXTURE.tEnd,\n      ),\n      coarseResolution: 64,\n      fineResolution: 128,\n      tolerance: 2e-4,\n      orderResolutions: [256, 512],\n    },\n  },\n  {\n    // Approximation: the Klein–Gordon phase velocity tends to c as k grows.\n    recordId: 'ab-klein-gordon-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WS4',\n      evaluate: (resolution) =>\n        kleinGordonPhaseVelocity(resolution, WS4_FIXTURE.omega0, WS4_FIXTURE.c, WS4_FIXTURE.k0),\n      target: WS4_FIXTURE.c,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 2e-3,\n      orderResolutions: [4, 8],\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({ omega0: WS4_FIXTURE.omega0, c: WS4_FIXTURE.c, k: WS4_FIXTURE.k0 * resolution }),\n    },\n  },\n  // ── Sprint 4 closure ─────────────────────────────────────────────────────\n  {\n    // Coarse-graining: Langevin second moments at t = resolution · τ_p, over 2Dt.\n    recordId: 'ab-langevin-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD4',\n      evaluate: (resolution) => langevinMsdRatio(resolution, WD4_FIXTURE),\n      target: 1,\n      coarseResolution: 10,\n      fineResolution: 100,\n      tolerance: 0.02,\n      // 1000 τ_p only: 161 ms; 10000 τ_p measured 1.4 s.\n      orderResolutions: [1000],\n    },\n  },\n  {\n    // Hyperedge: γ = 6πηa pushed into Einstein's D = k_BT/γ.\n    recordId: 'ab-stokes-einstein',\n    kind: 'symbolic',\n    spec: {\n      id: 'WD5s',\n      lhs: applyDictionary(op('/', kT, gammaSym), { gamma: op('*', n(6), pi, eta, a) }),\n      rhs: op('/', kT, op('*', n(6), pi, eta, a)),\n    },\n  },\n  {\n    // Singular limit τ → 0: the telegraph slow rate over Dq² tends to 1.\n    recordId: 'ab-telegraph-diffusion',\n    kind: 'numeric',\n    spec: {\n      id: 'WD6',\n      evaluate: (resolution) =>\n        telegraphSlowRateRatio(WD6_FIXTURE.tau0 / resolution, WD6_FIXTURE.D, WD6_FIXTURE.q),\n      target: 1,\n      coarseResolution: 2,\n      fineResolution: 4,\n      tolerance: 0.03,\n      orderResolutions: [8, 16],\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({ tau: WD6_FIXTURE.tau0 / resolution, D: WD6_FIXTURE.D, q: WD6_FIXTURE.q }),\n    },\n  },\n  {\n    // ε → ∞: the telegraph oscillation frequency over c q tends to 1.\n    recordId: 'ab-telegraph-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'WD7',\n      evaluate: (resolution) =>\n        telegraphWaveFrequencyRatio(WD7_FIXTURE.eps0 * resolution, WD7_FIXTURE.D, WD7_FIXTURE.q),\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 3e-3,\n      orderResolutions: [4, 8],\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({\n        tau: (WD7_FIXTURE.eps0 * resolution) / (WD7_FIXTURE.D * WD7_FIXTURE.q ** 2),\n        D: WD7_FIXTURE.D,\n        q: WD7_FIXTURE.q,\n      }),\n    },\n  },\n  {\n    // Steady state: the heat solution's deviation from the Laplace profile → 0.\n    recordId: 'ab-heat-laplace',\n    kind: 'numeric',\n    spec: {\n      id: 'WD8',\n      evaluate: (resolution) => heatSteadyDeviation(resolution, WD8_FIXTURE),\n      target: 0,\n      coarseResolution: 2,\n      fineResolution: 4,\n      tolerance: 0.025,\n      // The approach to the steady state is exponential in t, not a power law; the fit reports what it sees.\n      orderResolutions: [8, 16],\n    },\n  },\n  {\n    // Non-relativistic limit: kinetic-frequency error → 0 as x = ck/ω₀ halves.\n    recordId: 'ab-kg-schrodinger',\n    kind: 'numeric',\n    spec: {\n      id: 'WS5',\n      evaluate: (resolution) => kgNonrelativisticError(WS5_FIXTURE.x0 / resolution),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 1e-3,\n      orderResolutions: [4, 8],\n    },\n    // The spec reads only x = ck/ω₀; c = ω₀ = 1 is one point with that x.\n    claim: { name: 'bound', at: (resolution) => ({ c: 1, omega0: 1, k: WS5_FIXTURE.x0 / resolution }) },\n  },\n  {\n    // Uniform-mode restriction: the full KG PDE, uniform data, vs cos(ω₀t).\n    recordId: 'ab-kg-oscillator',\n    kind: 'numeric',\n    spec: {\n      id: 'WS6',\n      evaluate: (steps) =>\n        kgUniformModeValue(steps, WS6_FIXTURE.c, WS6_FIXTURE.omega0, WS6_FIXTURE.tEnd),\n      target: Math.cos(WS6_FIXTURE.omega0 * WS6_FIXTURE.tEnd),\n      coarseResolution: 50,\n      fineResolution: 100,\n      tolerance: 3e-4,\n      orderResolutions: [200, 400],\n    },\n  },\n  {\n    // Flexible-string limit: stiff-string phase velocity → √(F/μ) as k shrinks.\n    recordId: 'ab-stiff-string',\n    kind: 'numeric',\n    spec: {\n      id: 'WS7',\n      evaluate: (resolution) =>\n        stiffStringPhaseVelocity(resolution, WS7_FIXTURE.F, WS7_FIXTURE.mu, WS7_FIXTURE.EI, WS7_FIXTURE.k0),\n      target: Math.sqrt(WS7_FIXTURE.F / WS7_FIXTURE.mu),\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.15,\n      orderResolutions: [4, 8],\n    },\n    claim: {\n      name: 'bound',\n      at: (resolution) => ({\n        F: WS7_FIXTURE.F,\n        mu: WS7_FIXTURE.mu,\n        EI: WS7_FIXTURE.EI,\n        k: WS7_FIXTURE.k0 / resolution,\n      }),\n    },\n  },\n  // ── The three oscillator bridges that had no in-process witness ──────────\n  {\n    // Regular limit θ0 → 0: T/T0 of the pendulum, integrated by RK4, tends to 1.\n    // The tolerance is the upper end W7 records, 0.002507 at θ0 = 0.2; the\n    // bound's deltaAt there is the AGM form, a second method.\n    recordId: 'ab-pendulum-linear',\n    kind: 'numeric',\n    spec: {\n      id: 'W7',\n      evaluate: (resolution) => measurePendulumPeriodRatio(W7_FIXTURE.theta0 / resolution),\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.002507,\n      orderResolutions: [4, 8],\n    },\n    claim: { name: 'bound', at: (resolution) => ({ theta0: W7_FIXTURE.theta0 / resolution }) },\n  },\n  {\n    // Singular limit m → 0: the full damped spring's offset from the reduced\n    // model outside the layer, integrated by RK4; the tolerance is the bound's\n    // own deltaAt at the fine mass, which is not sharp there.\n    recordId: 'ab-damped-massless',\n    kind: 'numeric',\n    spec: {\n      id: 'W8b',\n      evaluate: (resolution) => measureMasslessOffset(W8B_FIXTURE.m / resolution),\n      target: 0,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: dampedOffsetBoundAt({ m: W8B_FIXTURE.m / 2, b: W8B_FIXTURE.b, k: W8B_FIXTURE.k, x0: W8B_FIXTURE.x0, v0: W8B_FIXTURE.v0 }),\n      orderResolutions: [4, 8],\n    },\n    claim: {\n      name: 'bound-holds-at',\n      at: (resolution) => ({ m: W8B_FIXTURE.m / resolution, b: W8B_FIXTURE.b, k: W8B_FIXTURE.k, x0: W8B_FIXTURE.x0, v0: W8B_FIXTURE.v0 }),\n    },\n  },\n  {\n    // Coarse-graining, long wavelength: 1 − ω/(c q) measured on the integrated\n    // ring, over (qa)²/24, tends to 1 within the 0.5% W9 records.\n    recordId: 'ab-chain-wave',\n    kind: 'numeric',\n    spec: {\n      id: 'W9',\n      evaluate: (resolution) => {\n        const masses = W9_FIXTURE.masses * resolution;\n        return measureChainDispersionError(masses) / dispersionErrorApproximation((2 * Math.PI) / masses);\n      },\n      target: 1,\n      coarseResolution: 1,\n      fineResolution: 2,\n      tolerance: 0.005,\n    },\n    claim: {\n      name: 'preserves',\n      item: 'long-wavelength dispersion ω ≈ c q',\n      at: (resolution) => ({ qa: (2 * Math.PI) / (W9_FIXTURE.masses * resolution) }),\n    },\n  },\n];\n"]}

package/dist/atlas/witness-symbolic.d.ts

@@ -31,6 +31,19 @@
  * `lhs − rhs = 0`; the capability needed is SIMPLIFICATION, which lives in
  * `expr-simplify.ts` (a different peer, `@danielsimonjr/mathts-functions`).
  *
+ * ## The numeric probe is a SECOND result, never folded into the CAS status
+ *
+ * A simplifier that fails on everything would leave every wrong dictionary
+ * `'unresolved'`, which is "not checked", not "shown wrong" (the weaker
+ * guarantee NOTES.md records). {@link probeSymbolicWitness} therefore
+ * evaluates both sides at seeded random positive points through `evalExpr`
+ * and REFUTES on disagreement. Its outcome is its own kind
+ * ({@link NumericProbeKind}), carried on the run result beside `status`:
+ * a probe that agrees never makes a run `'checked'`, a probe that refutes
+ * never makes it `'refuted'`, and the two are tallied as two sets of
+ * numbers ({@link tallySymbolicResults}; AGENTS law 4). MathTS
+ * `symbolicEqual` is not used: it is the same simplifier, not a second method.
+ *
  * @module atlas/witness-symbolic
  * @internal
  */
@@ -64,6 +77,64 @@ export interface SymbolicWitnessSpec {
      */
     readonly budgetMs?: number;
 }
+/**
+ * What the numeric probe concluded: its own kind, never the CAS status.
+ *
+ * - `'numeric-refuted'`: some seeded point gives |lhs − rhs|/(|lhs| + |rhs|)
+ *   above {@link NUMERIC_PROBE_TOLERANCE}.
+ * - `'numeric-agrees'`: every point is within it. Agreement at finitely
+ *   many points is not a proof, so this never lights an evidence tag.
+ * - `'numeric-not-run'`: a side could not be evaluated to a finite number.
+ *
+ * @internal
+ */
+export type NumericProbeKind = 'numeric-refuted' | 'numeric-agrees' | 'numeric-not-run';
+/** The numeric probe's record. @internal */
+export interface NumericProbe {
+    readonly kind: NumericProbeKind;
+    /** Points evaluated; 0 when not run. */
+    readonly points: number;
+    /** max |lhs − rhs|/(|lhs| + |rhs|) over the points; absent when not run. */
+    readonly worst?: number;
+    readonly detail: string;
+}
+/** Seeded points per probe. @internal */
+export declare const NUMERIC_PROBE_POINTS = 8;
+/** The relative difference above which a point refutes. @internal */
+export declare const NUMERIC_PROBE_TOLERANCE = 1e-12;
+/**
+ * Evaluate a symbolic witness's two sides at `points` seeded random points,
+ * every free symbol drawn from [0.5, 2) by MathTS `random` after
+ * `seedProbabilityRng(spec.id)`, so a re-run sees the same points. The free
+ * symbols are the scalar leaves (`scalarSymbolsFromMathTs`) that do not
+ * evaluate on their own. Never throws.
+ *
+ * @internal
+ */
+export declare function probeSymbolicWitness(spec: SymbolicWitnessSpec, points?: number): NumericProbe;
+/** A symbolic run: the CAS status, and the numeric probe beside it. @internal */
+export interface SymbolicWitnessRunResult extends WitnessRunResult {
+    readonly kind: 'symbolic';
+    readonly numericProbe: NumericProbe;
+}
+/**
+ * The CAS outcomes and the numeric outcomes of symbolic runs, as two separate
+ * tallies. They are never added together.
+ *
+ * @internal
+ */
+export declare function tallySymbolicResults(results: readonly SymbolicWitnessRunResult[]): {
+    readonly cas: {
+        readonly checked: number;
+        readonly refuted: number;
+        readonly unresolved: number;
+    };
+    readonly numeric: {
+        readonly agrees: number;
+        readonly refuted: number;
+        readonly notRun: number;
+    };
+};
 /**
  * Run one symbolic witness.
  *
@@ -71,9 +142,10 @@ export interface SymbolicWitnessSpec {
  * @param simplifier - the CAS capability, or `null` when the optional peer is
  * absent. When omitted, resolves to `simplifyExpr` if the peer is available and
  * to `null` otherwise. Pass `null` EXPLICITLY to exercise the absent path.
- * @returns a result; **never throws**, because a thrown error forces callers
- * into a `catch` that cannot distinguish "did not run" from "failed".
+ * @returns a result carrying the CAS status and, beside it, the numeric
+ * probe; **never throws**, because a thrown error forces callers into a
+ * `catch` that cannot distinguish "did not run" from "failed".
  * @internal
  */
-export declare function runSymbolicWitness(spec: SymbolicWitnessSpec, simplifier?: SymbolicSimplifier | null): Promise<WitnessRunResult>;
+export declare function runSymbolicWitness(spec: SymbolicWitnessSpec, simplifier?: SymbolicSimplifier | null): Promise<SymbolicWitnessRunResult>;
 //# sourceMappingURL=witness-symbolic.d.ts.map

package/dist/atlas/witness-symbolic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"witness-symbolic.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAE5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAE5D;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAC/B,IAAI,EAAE,QAAQ,KACX,OAAO,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAExE,iDAAiD;AACjD,MAAM,WAAW,mBAAmB;IAClC,kCAAkC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAeD;;;;;;;;;;GAUG;AACH,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,mBAAmB,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,GACrC,OAAO,CAAC,gBAAgB,CAAC,CAoF3B"}
+{"version":3,"file":"witness-symbolic.d.ts","sourceRoot":"","sources":["../../src/atlas/witness-symbolic.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAM5D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAG5D;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG,CAC/B,IAAI,EAAE,QAAQ,KACX,OAAO,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAExE,iDAAiD;AACjD,MAAM,WAAW,mBAAmB;IAClC,kCAAkC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB;;;;;;;;OAQG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAID;;;;;;;;;;GAUG;AACH,MAAM,MAAM,gBAAgB,GAAG,iBAAiB,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAExF,4CAA4C;AAC5C,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,yCAAyC;AACzC,eAAO,MAAM,oBAAoB,IAAI,CAAC;AACtC,qEAAqE;AACrE,eAAO,MAAM,uBAAuB,QAAQ,CAAC;AAkB7C;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,mBAAmB,EAAE,MAAM,GAAE,MAA6B,GAAG,YAAY,CAoCnH;AAED,iFAAiF;AACjF,MAAM,WAAW,wBAAyB,SAAQ,gBAAgB;IAChE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;CACrC;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,SAAS,wBAAwB,EAAE,GAAG;IAClF,QAAQ,CAAC,GAAG,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAC;IAClG,QAAQ,CAAC,OAAO,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAClG,CAUA;AAWD;;;;;;;;;;;GAWG;AACH,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,mBAAmB,EACzB,UAAU,CAAC,EAAE,kBAAkB,GAAG,IAAI,GACrC,OAAO,CAAC,wBAAwB,CAAC,CAqFnC"}