universal-physics-tensor 9.0.0 → 11.0.0

package/dist/atlas/benchmark/loader.js.map

@@ -1 +1 @@
-{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAS7C;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,KAA+B,EAAE,MAAe;IAC5E,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,OAAe,EAAQ,EAAE;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1C,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,cAAc,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAElB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAC1D,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;YAC/B,CAAC,CAAC,eAAe,IAAI,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,kBAAkB,MAAM,GAAG,CAAC,CAAC;QAC7G,CAAC;QACD,2EAA2E;QAC3E,4DAA4D;QAC5D,IAAI,MAAM,IAAI,IAAI,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;YAC5C,CAAC,CAAC,yFAAyF,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;YACtE,CAAC,CAAC,sCAAsC,eAAe,yBAAyB,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3H,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kFAAkF;AAClF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC3B,QAAQ;IAA7B,YAAqB,QAAgC;QACnD,KAAK,CACH,uCAAuC,QAAQ;aAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACnC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;wBALiB,QAAQ;IAM7B,CAAC;CACF;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAY,CAAC;IAClE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,kCAAkC,CAAC,CAAC;IACvF,OAAO,MAAyB,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,YAAoB;IAClD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,YAAoB;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC"}
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAS7C;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAAC,KAA+B,EAAE,MAAe;IAC5E,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,CAAC,OAAe,EAAQ,EAAE;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1C,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,CAAC,CAAC,cAAc,CAAC,CAAC;QACzC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAElB,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAC1D,IAAI,IAAI,CAAC,UAAU,KAAK,MAAM,EAAE,CAAC;YAC/B,CAAC,CAAC,eAAe,IAAI,CAAC,UAAU,eAAe,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,kBAAkB,MAAM,GAAG,CAAC,CAAC;QAC7G,CAAC;QACD,2EAA2E;QAC3E,4DAA4D;QAC5D,IAAI,MAAM,IAAI,IAAI,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;YAC5C,CAAC,CAAC,yFAAyF,CAAC,CAAC;QAC/F,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,UAAU,CAAC,EAAE,CAAC;YACtE,CAAC,CAAC,sCAAsC,eAAe,yBAAyB,IAAI,CAAC,MAAM,eAAe,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3H,CAAC;QACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,CAAC,CAAC,aAAa,CAAC,CAAC;QACjD,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,CAAC,CAAC,WAAW,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,kFAAkF;AAClF,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC3B,QAAQ;IAA7B,YAAqB,QAAgC;QACnD,KAAK,CACH,uCAAuC,QAAQ;aAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACnC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAC;wBALiB,QAAQ;IAM7B,CAAC;CACF;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,kCAAkC,CAAC,CAAC;IACvF,OAAO,MAAyB,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,YAAoB;IAClD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,YAAoB;IACtD,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC;IACvE,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7C,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,uBAAuB,CAAC,QAAQ,CAAC,CAAC;IACrE,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["/**\n * Atlas Phase 5, S5.1 — load and validate benchmark items.\n *\n * Design note: `docs/planning/Atlas-Phase-5-Design.md` §0, §2.\n *\n * This module reads the PUBLIC half of a benchmark directory and nothing else.\n * The answers live in a sibling half that no `src/` file may read;\n * `tests/atlas/benchmark.test.ts` holds the import guard, with a positive\n * control proving the guard can fire.\n *\n * **The loader enforces the one part of the independence rule that code CAN\n * enforce: a frozen item whose `authorship` is not `'independent'` is refused.**\n * Whether the author really was independent is a fact about people, recorded in\n * the pre-registration note and checked by review.\n *\n * @module atlas/benchmark/loader\n * @internal\n */\n\nimport { readJsonFile } from '../../core/data-file.js';\nimport { join } from 'node:path';\nimport { HELD_OUT_FAMILY } from './types.js';\nimport type { BenchmarkItem } from './types.js';\n\n/** One reason an item set is not admissible. @internal */\nexport interface ItemProblem {\n  readonly id: string;\n  readonly problem: string;\n}\n\n/**\n * Validate an item set against the schema and the rules that make it a benchmark.\n *\n * @param items - the items, as parsed.\n * @param frozen - true for the frozen set (authorship must be `'independent'`),\n * false for the contested staging area (authorship must be `'contested-draft'`).\n * @returns every problem found; empty means admissible. Never throws, so a\n * caller sees ALL problems at once rather than the first.\n * @internal\n */\nexport function validateItems(items: readonly BenchmarkItem[], frozen: boolean): ItemProblem[] {\n  const problems: ItemProblem[] = [];\n  const seen = new Set<string>();\n  for (const item of items) {\n    const p = (problem: string): void => {\n      problems.push({ id: item.id, problem });\n    };\n    if (seen.has(item.id)) p('duplicate id');\n    seen.add(item.id);\n\n    const wanted = frozen ? 'independent' : 'contested-draft';\n    if (item.authorship !== wanted) {\n      p(`authorship '${item.authorship}' where the ${frozen ? 'frozen' : 'contested'} set requires '${wanted}'`);\n    }\n    // The answer lives in the scorer half. A public item that carries it would\n    // hand the key to any condition that reads the public file.\n    if ('kind' in item || 'failureKind' in item) {\n      p('the public half carries the answer (kind/failureKind); it belongs in scorer/labels.json');\n    }\n    if ((item.family === HELD_OUT_FAMILY) !== (item.split === 'held-out')) {\n      p(`the held-out split is exactly the '${HELD_OUT_FAMILY}' family; got family '${item.family}' in split '${item.split}'`);\n    }\n    if (item.premises.length === 0) p('no premises');\n    if (item.source.trim() === '') p('no source');\n  }\n  return problems;\n}\n\n/** Thrown when a benchmark directory holds an inadmissible item set. @internal */\nexport class BenchmarkAdmissionError extends Error {\n  constructor(readonly problems: readonly ItemProblem[]) {\n    super(\n      `benchmark items are not admissible: ${problems\n        .map((p) => `${p.id}: ${p.problem}`)\n        .join('; ')}`,\n    );\n  }\n}\n\nfunction readItems(file: string): BenchmarkItem[] {\n  const parsed = readJsonFile(file);\n  if (!Array.isArray(parsed)) throw new Error(`${file}: expected a JSON array of items`);\n  return parsed as BenchmarkItem[];\n}\n\n/**\n * Load the FROZEN items from `<benchmarkDir>/public/items.json`.\n *\n * @throws BenchmarkAdmissionError when any item is inadmissible — a frozen set\n * with one contested draft in it is not a smaller benchmark, it is a broken one.\n * @internal\n */\nexport function loadFrozenItems(benchmarkDir: string): BenchmarkItem[] {\n  const items = readItems(join(benchmarkDir, 'public', 'items.json'));\n  const problems = validateItems(items, true);\n  if (problems.length > 0) throw new BenchmarkAdmissionError(problems);\n  return items;\n}\n\n/**\n * Load the CONTESTED drafts from `<benchmarkDir>/contested/items.json`. These are\n * never scored; they wait for an independent author to accept or rewrite them.\n *\n * @internal\n */\nexport function loadContestedDrafts(benchmarkDir: string): BenchmarkItem[] {\n  const items = readItems(join(benchmarkDir, 'contested', 'items.json'));\n  const problems = validateItems(items, false);\n  if (problems.length > 0) throw new BenchmarkAdmissionError(problems);\n  return items;\n}\n"]}

package/dist/atlas/benchmark/run-atlas.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"run-atlas.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/run-atlas.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAOH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE7D,mEAAmE;AACnE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAClD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC;IACvC,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,cAKzB,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAK7E,CAAC;AA6CF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,GAAE,cAA4B,GAAG,YAAY,CAoHtG;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,MAAM,GAAE,cAA4B,GACnC,YAAY,EAAE,CAEhB"}
+{"version":3,"file":"run-atlas.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/run-atlas.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAOH,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE7D,mEAAmE;AACnE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAClD,2EAA2E;IAC3E,QAAQ,CAAC,eAAe,CAAC,EAAE,WAAW,CAAC;IACvC,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,iDAAiD;IACjD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,iEAAiE;IACjE,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,wDAAwD;IACxD,QAAQ,CAAC,wBAAwB,EAAE,OAAO,CAAC;IAC3C,wCAAwC;IACxC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,oEAAoE;AACpE,eAAO,MAAM,WAAW,EAAE,cAKzB,CAAC;AAEF,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,SAAS,CAAC,MAAM,EAAE,cAAc,CAAC,CAK7E,CAAC;AAwDF;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,aAAa,EAAE,MAAM,GAAE,cAA4B,GAAG,YAAY,CAuHtG;AAED,uEAAuE;AACvE,wBAAgB,iBAAiB,CAC/B,KAAK,EAAE,SAAS,aAAa,EAAE,EAC/B,MAAM,GAAE,cAA4B,GACnC,YAAY,EAAE,CAEhB"}

package/dist/atlas/benchmark/run-atlas.js

@@ -48,7 +48,17 @@ export const ABLATION_CONFIGS = [
     ['+ dimensions & conventions', { types: true, assumptions: true, dimensionsAndConventions: true, regimes: false }],
     ['+ regimes', FULL_CONFIG],
 ];
-/** The instrument each applicability finding belongs to. */
+/**
+ * The instrument each applicability finding belongs to.
+ *
+ * `model-incompatibility` has no entry: a benchmark item carries model IDS,
+ * not model records with families, so this runner never passes `premises`
+ * or `conclusion` to `checkApplicability` and that finding cannot arise
+ * here. The sentence that it mapped to a `'models'` instrument no config
+ * field gated is the record from before this map was narrowed; a finding of
+ * that kind now throws below, because it would mean the instrument changed
+ * without this map.
+ */
 const FINDING_INSTRUMENT = {
     'dimensional-inconsistency': 'dimensionsAndConventions',
     'convention-mismatch': 'dimensionsAndConventions',
@@ -56,7 +66,6 @@ const FINDING_INSTRUMENT = {
     'division-unguarded': 'assumptions',
     'division-by-zero': 'assumptions',
     'squaring-adds-solutions': 'assumptions',
-    'model-incompatibility': 'models',
 };
 /** Which failure kind a BLOCKING applicability finding points to. */
 const FINDING_TO_FAILURE = {
@@ -127,6 +136,9 @@ export function runAtlasOnItem(item, config = FULL_CONFIG) {
                 : { conclusionConventions: item.conventions.conclusion }),
         });
         for (const f of findings) {
+            if (f.kind === 'model-incompatibility') {
+                throw new Error('runAtlasItem: checkApplicability reported model-incompatibility without being given models');
+            }
             const instrument = FINDING_INSTRUMENT[f.kind];
             if (instrument === 'assumptions' && !config.assumptions)
                 continue;

package/dist/atlas/benchmark/run-atlas.js.map

@@ -1 +1 @@
-{"version":3,"file":"run-atlas.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/run-atlas.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AA+B3C,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,IAAI;IACjB,wBAAwB,EAAE,IAAI;IAC9B,OAAO,EAAE,IAAI;CACd,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,gBAAgB,GAAqD;IAChF,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACpG,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACtG,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAClH,CAAC,WAAW,EAAE,WAAW,CAAC;CAC3B,CAAC;AAEF,4DAA4D;AAC5D,MAAM,kBAAkB,GAAsG;IAC5H,2BAA2B,EAAE,0BAA0B;IACvD,qBAAqB,EAAE,0BAA0B;IACjD,uBAAuB,EAAE,0BAA0B;IACnD,oBAAoB,EAAE,aAAa;IACnC,kBAAkB,EAAE,aAAa;IACjC,yBAAyB,EAAE,aAAa;IACxC,uBAAuB,EAAE,QAAQ;CAClC,CAAC;AAEF,qEAAqE;AACrE,MAAM,kBAAkB,GAAqE;IAC3F,2BAA2B,EAAE,oBAAoB;IACjD,qBAAqB,EAAE,qBAAqB;IAC5C,kBAAkB,EAAE,kBAAkB;CACvC,CAAC;AAEF,4DAA4D;AAC5D,MAAM,MAAM,GAA8B,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC,CAAC;AAEvF;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,GAAG,CAAC,QAAsB,EAAE,OAAqB,EAAW,EAAE,CACzE,QAAQ,KAAK,OAAO,IAAI,CAAC,QAAQ,KAAK,mBAAmB,IAAI,OAAO,KAAK,YAAY,CAAC,CAAC;AAEzF;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,MAAM,GAAmB,WAAW;IACtF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAmC,CAAC;IACxC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,IAAkB,EAAQ,EAAE;QAC1D,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ;YAAE,UAAU,GAAG,IAAI,CAAC;QACjC,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC,CAAC;IACF,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,MAAc,EAAQ,EAAE;QACrC,OAAO,CAAC,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC;QACjC,gBAAgB,GAAG,KAAK,CAAC;IAC3B,CAAC,CAAC;IAEF,8EAA8E;IAC9E,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,wBAAwB,CAAC;IAC9E,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,iDAAiD;IACnD,CAAC;SAAM,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAC7C,KAAK,CAAC,sFAAsF,CAAC,CAAC;IAChG,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,QAAQ,GAAG,kBAAkB,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACpG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,SAAS;gBAC5C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,WAAW;gBAAE,SAAS;YAClE,IAAI,UAAU,KAAK,0BAA0B,IAAI,CAAC,MAAM,CAAC,wBAAwB;gBAAE,SAAS;YAC5F,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;iBACvF,CAAC;gBACJ,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;gBACjD,gBAAgB,GAAG,KAAK,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;QAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACzF,MAAM,CACJ,oDAAoD,IAAI,CAAC,eAAe,EAAE,EAC1E,kBAAkB,CACnB,CAAC;QACJ,CAAC;aAAM,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,2CAA2C,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC;YAC7E,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;aAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,MAAM,gBAAgB,QAAQ,iBAAiB,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QAC7G,CAAC;aAAM,IAAI,IAAI,CAAC,eAAe,KAAK,mBAAmB,EAAE,CAAC;YACxD,MAAM,CACJ,GAAG,KAAK,MAAM,MAAM,qBAAqB,QAAQ,wCAAwC,EACzF,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CACpC,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CACV,aAAa,KAAK,MAAM,MAAM,gBAAgB,QAAQ,6BAA6B,IAAI,CAAC,eAAe,EAAE,CAC1G,CAAC;YACF,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,iDAAiD;IACnD,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACrC,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,KAAK,GAAG,WAAW,CACvB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,EAAE,EAAE,EAAE,EACrF,IAAI,CAAC,MAAM,CAAC,MAAM,CACnB,CAAC;QACF,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,CACJ,oBAAoB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC3F,kBAAkB,CACnB,CAAC;QACJ,CAAC;aAAM,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,wBAAwB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,0EAA0E;YAC1E,oEAAoE;YACpE,KAAK,CAAC,yDAAyD,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE,QAAQ;YACjB,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;YACpE,OAAO;SACR,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,2EAA2E,CAAC,CAAC;QAC1F,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAC/B,KAA+B,EAC/B,MAAM,GAAmB,WAAW;IAEpC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAC3D,CAAC"}
+{"version":3,"file":"run-atlas.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/run-atlas.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AAEH,OAAO,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAEzD,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AA+B3C,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAmB;IACzC,KAAK,EAAE,IAAI;IACX,WAAW,EAAE,IAAI;IACjB,wBAAwB,EAAE,IAAI;IAC9B,OAAO,EAAE,IAAI;CACd,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,gBAAgB,GAAqD;IAChF,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,wBAAwB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACpG,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACtG,CAAC,4BAA4B,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,wBAAwB,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAClH,CAAC,WAAW,EAAE,WAAW,CAAC;CAC3B,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,kBAAkB,GAEpB;IACF,2BAA2B,EAAE,0BAA0B;IACvD,qBAAqB,EAAE,0BAA0B;IACjD,uBAAuB,EAAE,0BAA0B;IACnD,oBAAoB,EAAE,aAAa;IACnC,kBAAkB,EAAE,aAAa;IACjC,yBAAyB,EAAE,aAAa;CACzC,CAAC;AAEF,qEAAqE;AACrE,MAAM,kBAAkB,GAAqE;IAC3F,2BAA2B,EAAE,oBAAoB;IACjD,qBAAqB,EAAE,qBAAqB;IAC5C,kBAAkB,EAAE,kBAAkB;CACvC,CAAC;AAEF,4DAA4D;AAC5D,MAAM,MAAM,GAA8B,IAAI,GAAG,CAAC,CAAC,mBAAmB,EAAE,YAAY,CAAC,CAAC,CAAC;AAEvF;;;;;;;;GAQG;AACH,SAAS,gBAAgB,CAAC,KAA8B;IACtD,OAAO,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,eAAe,CAAC;AAC7E,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,GAAG,CAAC,QAAsB,EAAE,OAAqB,EAAW,EAAE,CACzE,QAAQ,KAAK,OAAO,IAAI,CAAC,QAAQ,KAAK,mBAAmB,IAAI,OAAO,KAAK,YAAY,CAAC,CAAC;AAEzF;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,IAAmB,EAAE,MAAM,GAAmB,WAAW;IACtF,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,UAAmC,CAAC;IACxC,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,MAAM,MAAM,GAAG,CAAC,MAAc,EAAE,IAAkB,EAAQ,EAAE;QAC1D,OAAO,CAAC,IAAI,CAAC,WAAW,MAAM,EAAE,CAAC,CAAC;QAClC,IAAI,CAAC,QAAQ;YAAE,UAAU,GAAG,IAAI,CAAC;QACjC,QAAQ,GAAG,IAAI,CAAC;IAClB,CAAC,CAAC;IACF,IAAI,gBAAgB,GAAG,IAAI,CAAC;IAC5B,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,KAAK,GAAG,CAAC,MAAc,EAAQ,EAAE;QACrC,OAAO,CAAC,IAAI,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC;QACjC,gBAAgB,GAAG,KAAK,CAAC;IAC3B,CAAC,CAAC;IAEF,8EAA8E;IAC9E,MAAM,eAAe,GAAG,MAAM,CAAC,WAAW,IAAI,MAAM,CAAC,wBAAwB,CAAC;IAC9E,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,iDAAiD;IACnD,CAAC;SAAM,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QAC7C,KAAK,CAAC,sFAAsF,CAAC,CAAC;IAChG,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,QAAQ,GAAG,kBAAkB,CAAC;YAClC,GAAG,EAAE,IAAI,CAAC,IAAI;YACd,cAAc,EAAE,IAAI,CAAC,cAAc;YACnC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACpG,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,UAAU,KAAK,SAAS;gBAC5C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,qBAAqB,EAAE,IAAI,CAAC,WAAW,CAAC,UAAU,EAAE,CAAC;SAC5D,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;gBACvC,MAAM,IAAI,KAAK,CAAC,4FAA4F,CAAC,CAAC;YAChH,CAAC;YACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,aAAa,IAAI,CAAC,MAAM,CAAC,WAAW;gBAAE,SAAS;YAClE,IAAI,UAAU,KAAK,0BAA0B,IAAI,CAAC,MAAM,CAAC,wBAAwB;gBAAE,SAAS;YAC5F,IAAI,CAAC,CAAC,QAAQ,KAAK,UAAU;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;iBACvF,CAAC;gBACJ,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;gBACjD,gBAAgB,GAAG,KAAK,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,IAAI,MAAM,CAAC,KAAK,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpD,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC;QAC1C,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,oBAAoB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACzF,MAAM,CACJ,oDAAoD,IAAI,CAAC,eAAe,EAAE,EAC1E,kBAAkB,CACnB,CAAC;QACJ,CAAC;aAAM,IAAI,QAAQ,KAAK,kBAAkB,EAAE,CAAC;YAC3C,OAAO,CAAC,IAAI,CAAC,2CAA2C,KAAK,MAAM,MAAM,EAAE,CAAC,CAAC;YAC7E,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;aAAM,IAAI,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;YACnD,OAAO,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,MAAM,gBAAgB,QAAQ,iBAAiB,IAAI,CAAC,eAAe,EAAE,CAAC,CAAC;QAC7G,CAAC;aAAM,IAAI,IAAI,CAAC,eAAe,KAAK,mBAAmB,EAAE,CAAC;YACxD,MAAM,CACJ,GAAG,KAAK,MAAM,MAAM,qBAAqB,QAAQ,wCAAwC,EACzF,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CACpC,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CACV,aAAa,KAAK,MAAM,MAAM,gBAAgB,QAAQ,6BAA6B,IAAI,CAAC,eAAe,EAAE,CAC1G,CAAC;YACF,gBAAgB,GAAG,KAAK,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,iDAAiD;IACnD,CAAC;SAAM,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACrC,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,IAAI,CAAC;QACd,MAAM,KAAK,GAAG,WAAW,CACvB,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,gBAAgB,EAAE,EAAE,EAAE,EACrF,IAAI,CAAC,MAAM,CAAC,MAAM,CACnB,CAAC;QACF,IAAI,KAAK,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;YACvB,MAAM,CACJ,oBAAoB,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAC3F,kBAAkB,CACnB,CAAC;QACJ,CAAC;aAAM,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,wBAAwB,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;aAAM,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjD,0EAA0E;YAC1E,oEAAoE;YACpE,KAAK,CAAC,yDAAyD,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,OAAO,EAAE,QAAQ;YACjB,GAAG,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,UAAU,EAAE,CAAC;YACpE,OAAO;SACR,CAAC;IACJ,CAAC;IACD,IAAI,gBAAgB,IAAI,CAAC,MAAM,EAAE,CAAC;QAChC,OAAO,CAAC,IAAI,CAAC,2EAA2E,CAAC,CAAC;QAC1F,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAC1D,CAAC;IACD,IAAI,gBAAgB,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,0CAA0C,CAAC,CAAC;QACzD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AAC1D,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,iBAAiB,CAC/B,KAA+B,EAC/B,MAAM,GAAmB,WAAW;IAEpC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;AAC3D,CAAC","sourcesContent":["/**\n * Atlas Phase 5, S5.2 — the ATLAS condition of the invalid-bridge benchmark.\n *\n * Design note: `docs/planning/Atlas-Phase-5-Design.md` §6.\n *\n * For each item the runner applies three atlas instruments — the applicability\n * checker (S4.1), the composition table (S3) and the regime check (S2) — and\n * emits `accept`, `reject` or `abstain`.\n *\n * ## The decision rule, and why accept is the HARDEST outcome to reach\n *\n * - **reject** when an instrument DEMONSTRABLY fires: a blocking applicability\n *   finding, a chain OVERCLAIMED as an exact equivalence, a structural analogy\n *   promoted to an equivalence, or a regime inequality checked and violated.\n * - **accept** only when EVERY ENABLED instrument RAN and CLEARED: side conditions were\n *   stated, the applicability checker found nothing, the regime was supplied and\n *   every inequality was checked and held, and any claimed chain agrees with the\n *   table. At least one instrument must have RUN: an item that no enabled\n *   instrument applies to abstains, because nothing cleared it. S4.1 already fixed the principle: an empty finding list means \"no rule\n *   fired\", which is weaker than \"valid\". An item that leaves a check unrun has\n *   not been cleared by it.\n * - **abstain** otherwise. Abstention is a first-class outcome and is preferred\n *   to a wrong accept (ROADMAP Phase 5, pre-stated criteria).\n *\n * The failure kind a rejection names is a MAPPING from the rule that fired, and\n * it is only as good as that mapping: a dimensional inconsistency is reported as\n * `notation-collision` because that is its commonest cause, not because the rule\n * can see notation. The scorer grades \"rejected\" and \"named the right kind\"\n * separately, so an imperfect mapping costs the second score only.\n *\n * @module atlas/benchmark/run-atlas\n * @internal\n */\n\nimport { checkApplicability } from '../applicability.js';\nimport type { ApplicabilityFindingKind } from '../applicability.js';\nimport { composeRelation, NO_COMPOSITE_CLAIM } from '../composition-table.js';\nimport { regimeHolds } from '../regime.js';\nimport type { RelationType } from '../types.js';\nimport type { BenchmarkItem, FailureKind } from './types.js';\n\n/** What the atlas condition concluded about one item. @internal */\nexport interface AtlasVerdict {\n  readonly itemId: string;\n  readonly outcome: 'accept' | 'reject' | 'abstain';\n  /** Present on a reject when the rule that fired maps to a failure kind. */\n  readonly detectedFailure?: FailureKind;\n  /** Every reason, in rule order — including the unrun checks behind an abstention. */\n  readonly reasons: readonly string[];\n}\n\n/**\n * Which instruments a run uses — the S6.2 ablation. The four named\n * configurations in {@link ABLATION_CONFIGS} are CUMULATIVE.\n *\n * @internal\n */\nexport interface AtlasRunConfig {\n  /** The composition table over relation types. */\n  readonly types: boolean;\n  /** Side-condition rules: unguarded / zero divisors, squaring. */\n  readonly assumptions: boolean;\n  /** Dimensional consistency and convention agreement. */\n  readonly dimensionsAndConventions: boolean;\n  /** The regime check at the use site. */\n  readonly regimes: boolean;\n}\n\n/** Every instrument on: the atlas condition as scored. @internal */\nexport const FULL_CONFIG: AtlasRunConfig = {\n  types: true,\n  assumptions: true,\n  dimensionsAndConventions: true,\n  regimes: true,\n};\n\n/** The four cumulative ablation configurations, in the plan's order. @internal */\nexport const ABLATION_CONFIGS: ReadonlyArray<readonly [string, AtlasRunConfig]> = [\n  ['types only', { types: true, assumptions: false, dimensionsAndConventions: false, regimes: false }],\n  ['+ assumptions', { types: true, assumptions: true, dimensionsAndConventions: false, regimes: false }],\n  ['+ dimensions & conventions', { types: true, assumptions: true, dimensionsAndConventions: true, regimes: false }],\n  ['+ regimes', FULL_CONFIG],\n];\n\n/**\n * The instrument each applicability finding belongs to.\n *\n * `model-incompatibility` has no entry: a benchmark item carries model IDS,\n * not model records with families, so this runner never passes `premises`\n * or `conclusion` to `checkApplicability` and that finding cannot arise\n * here. The sentence that it mapped to a `'models'` instrument no config\n * field gated is the record from before this map was narrowed; a finding of\n * that kind now throws below, because it would mean the instrument changed\n * without this map.\n */\nconst FINDING_INSTRUMENT: Readonly<\n  Record<Exclude<ApplicabilityFindingKind, 'model-incompatibility'>, 'assumptions' | 'dimensionsAndConventions'>\n> = {\n  'dimensional-inconsistency': 'dimensionsAndConventions',\n  'convention-mismatch': 'dimensionsAndConventions',\n  'convention-undeclared': 'dimensionsAndConventions',\n  'division-unguarded': 'assumptions',\n  'division-by-zero': 'assumptions',\n  'squaring-adds-solutions': 'assumptions',\n};\n\n/** Which failure kind a BLOCKING applicability finding points to. */\nconst FINDING_TO_FAILURE: Readonly<Partial<Record<ApplicabilityFindingKind, FailureKind>>> = {\n  'dimensional-inconsistency': 'notation-collision',\n  'convention-mismatch': 'convention-mismatch',\n  'division-by-zero': 'domain-violation',\n};\n\n/** Relations that assert more than an analogy can carry. */\nconst STRONG: ReadonlySet<RelationType> = new Set(['exact-equivalence', 'derivation']);\n\n/**\n * The failure kind an OVERCLAIMED chain points to: a chain claimed as an exact\n * equivalence that the table composes to something weaker.\n *\n * - through a restriction ⇒ the restriction's condition was dropped:\n *   `omitted-premise`;\n * - to a derivation or a coarse-graining ⇒ the claim asserts an inverse the\n *   one-way step does not have: `false-inverse`.\n */\nfunction overclaimFailure(chain: readonly RelationType[]): FailureKind {\n  return chain.includes('restriction') ? 'omitted-premise' : 'false-inverse';\n}\n\n/**\n * Whether `claimed` follows from `composed`. The table's own non-declined\n * results are exact-equivalence, derivation, restriction and coarse-graining;\n * of these only exact-equivalence ⇒ derivation is an implication this module\n * asserts. Anything else unequal is \"not shown\", never \"shown\".\n */\nconst implies = (composed: RelationType, claimed: RelationType): boolean =>\n  composed === claimed || (composed === 'exact-equivalence' && claimed === 'derivation');\n\n/**\n * Run the atlas condition on one item. Pure and deterministic; never throws.\n *\n * @internal\n */\nexport function runAtlasOnItem(item: BenchmarkItem, config: AtlasRunConfig = FULL_CONFIG): AtlasVerdict {\n  const reasons: string[] = [];\n  let rejectKind: FailureKind | undefined;\n  let rejected = false;\n  const reject = (reason: string, kind?: FailureKind): void => {\n    reasons.push(`REJECT: ${reason}`);\n    if (!rejected) rejectKind = kind;\n    rejected = true;\n  };\n  let allRanAndCleared = true;\n  // An accept needs at least one instrument that actually RAN. Without this,\n  // an item no enabled instrument applies to is accepted with nothing checked.\n  let ranAny = false;\n  const unrun = (reason: string): void => {\n    reasons.push(`UNRUN: ${reason}`);\n    allRanAndCleared = false;\n  };\n\n  // 1. Applicability — split by instrument so the ablation can switch each off.\n  const applicabilityOn = config.assumptions || config.dimensionsAndConventions;\n  if (!applicabilityOn) {\n    // Instrument disabled: neither run nor required.\n  } else if (item.sideConditions === undefined) {\n    unrun('no side conditions stated, so the applicability checker has nothing to check against');\n  } else {\n    ranAny = true;\n    const findings = checkApplicability({\n      ast: item.expr,\n      sideConditions: item.sideConditions,\n      ...(item.conventions?.premise === undefined ? {} : { premiseConventions: item.conventions.premise }),\n      ...(item.conventions?.conclusion === undefined\n        ? {}\n        : { conclusionConventions: item.conventions.conclusion }),\n    });\n    for (const f of findings) {\n      if (f.kind === 'model-incompatibility') {\n        throw new Error('runAtlasItem: checkApplicability reported model-incompatibility without being given models');\n      }\n      const instrument = FINDING_INSTRUMENT[f.kind];\n      if (instrument === 'assumptions' && !config.assumptions) continue;\n      if (instrument === 'dimensionsAndConventions' && !config.dimensionsAndConventions) continue;\n      if (f.severity === 'blocking') reject(`${f.kind}: ${f.detail}`, FINDING_TO_FAILURE[f.kind]);\n      else {\n        reasons.push(`QUESTION: ${f.kind}: ${f.detail}`);\n        allRanAndCleared = false;\n      }\n    }\n  }\n\n  // 2. Composition. Only for items that claim a chain.\n  if (config.types && item.composedFrom !== undefined) {\n    ranAny = true;\n    const [first, second] = item.composedFrom;\n    const composed = composeRelation(first, second);\n    if (item.composedFrom.includes('structural-analogy') && STRONG.has(item.claimedRelation)) {\n      reject(\n        `a chain through structural-analogy is claimed as ${item.claimedRelation}`,\n        'analogy-promoted',\n      );\n    } else if (composed === NO_COMPOSITE_CLAIM) {\n      reasons.push(`QUESTION: the table declines to compose ${first} ∘ ${second}`);\n      allRanAndCleared = false;\n    } else if (implies(composed, item.claimedRelation)) {\n      reasons.push(`CLEARED: ${first} ∘ ${second} composes to ${composed}, which gives ${item.claimedRelation}`);\n    } else if (item.claimedRelation === 'exact-equivalence') {\n      reject(\n        `${first} ∘ ${second} composes only to ${composed}; the exact equivalence is overclaimed`,\n        overclaimFailure(item.composedFrom),\n      );\n    } else {\n      reasons.push(\n        `QUESTION: ${first} ∘ ${second} composes to ${composed}; the table does not show ${item.claimedRelation}`,\n      );\n      allRanAndCleared = false;\n    }\n  }\n\n  // 3. Regime.\n  if (!config.regimes) {\n    // Instrument disabled: neither run nor required.\n  } else if (item.regime === undefined) {\n    unrun('no regime supplied, so the use site was never checked against a domain');\n  } else {\n    ranAny = true;\n    const check = regimeHolds(\n      { family: item.family, inequalities: item.regime.inequalities, groupDefinitions: {} },\n      item.regime.values,\n    );\n    if (check.ok === false) {\n      reject(\n        `regime violated: ${check.violated.map((i) => `${i.group} ${i.op} ${i.bound}`).join(', ')}`,\n        'domain-violation',\n      );\n    } else if (check.ok === 'unknown') {\n      unrun(`regime unchecked for ${check.unchecked.map((i) => i.group).join(', ')}`);\n    } else if (item.regime.inequalities.length === 0) {\n      // regimeHolds returns true for an empty list; that is \"nothing to check\",\n      // not \"checked and held\" — the silent pass RegimeCheck warns about.\n      unrun('the regime states no inequality, so nothing was checked');\n    }\n  }\n\n  if (rejected) {\n    return {\n      itemId: item.id,\n      outcome: 'reject',\n      ...(rejectKind === undefined ? {} : { detectedFailure: rejectKind }),\n      reasons,\n    };\n  }\n  if (allRanAndCleared && !ranAny) {\n    reasons.push('UNRUN: no enabled instrument applies to this item, so nothing was checked');\n    return { itemId: item.id, outcome: 'abstain', reasons };\n  }\n  if (allRanAndCleared) {\n    reasons.push('ACCEPT: every instrument ran and cleared');\n    return { itemId: item.id, outcome: 'accept', reasons };\n  }\n  return { itemId: item.id, outcome: 'abstain', reasons };\n}\n\n/** Run the atlas condition over a set of items, in order. @internal */\nexport function runAtlasCondition(\n  items: readonly BenchmarkItem[],\n  config: AtlasRunConfig = FULL_CONFIG,\n): AtlasVerdict[] {\n  return items.map((item) => runAtlasOnItem(item, config));\n}\n"]}

package/dist/atlas/benchmark/stats.d.ts

@@ -13,8 +13,8 @@
  * @module atlas/benchmark/stats
  * @internal
  */
-/** The two-sided 95% normal quantile. @internal */
-export declare const Z95 = 1.959963984540054;
+/** The two-sided 95% normal quantile, MathTS `normalQuantile(0.975)` (1.959963984540054). @internal */
+export declare const Z95: number;
 /** A closed interval. @internal */
 export interface Interval {
     readonly lower: number;
@@ -36,7 +36,7 @@ export interface PairedTable {
 }
 /** McNemar's test on the discordant cells. @internal */
 export interface McNemarResult {
-    /** Continuity-corrected χ² = (|b − c| − 1)² / (b + c); 0 when b + c = 0. */
+    /** Continuity-corrected χ² = max(0, |b − c| − 1)² / (b + c); 0 when b + c = 0. The correction never goes negative (Edwards 1948). */
     readonly chiSquared: number;
     /** Exact two-sided p-value from Binomial(b + c, ½); 1 when b + c = 0. */
     readonly exactP: number;

package/dist/atlas/benchmark/stats.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,mDAAmD;AACnD,eAAO,MAAM,GAAG,oBAAoB,CAAC;AAErC,mCAAmC;AACnC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,SAAM,GAAG,QAAQ,CAgB9E;AAED,wGAAwG;AACxG,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wDAAwD;AACxD,MAAM,WAAW,aAAa;IAC5B,4EAA4E;IAC5E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AASD;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAQzD;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,SAAM,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAuB1G;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,MAAM,CAsB1E;AAED,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,6FAA6F;IAC7F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,SAAM,GAAG,WAAW,CAgBjF"}
+{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../../src/atlas/benchmark/stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAKH,uGAAuG;AACvG,eAAO,MAAM,GAAG,EAAE,MAA8B,CAAC;AAEjD,mCAAmC;AACnC,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,SAAM,GAAG,QAAQ,CAgB9E;AAED,wGAAwG;AACxG,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC;CACpB;AAED,wDAAwD;AACxD,MAAM,WAAW,aAAa;IAC5B,qIAAqI;IACrI,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAiBD;;;;;GAKG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,WAAW,GAAG,aAAa,CAQzD;AAED;;;;;;;;;GASG;AACH,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,WAAW,EAAE,CAAC,SAAM,GAAG,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAuB1G;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,GAAG,MAAM,CAsB1E;AAED,0EAA0E;AAC1E,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,kEAAkE;IAClE,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,6FAA6F;IAC7F,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,SAAS,EAAE,MAAM,EAAE,eAAe,SAAM,GAAG,WAAW,CAgBjF"}

package/dist/atlas/benchmark/stats.js

@@ -13,8 +13,10 @@
  * @module atlas/benchmark/stats
  * @internal
  */
-/** The two-sided 95% normal quantile. @internal */
-export const Z95 = 1.959963984540054;
+import { lgamma, normalQuantile } from '@danielsimonjr/mathts-functions';
+import { numberFrom } from '../../core/mathts-read.js';
+/** The two-sided 95% normal quantile, MathTS `normalQuantile(0.975)` (1.959963984540054). @internal */
+export const Z95 = normalQuantile(0.975);
 /**
  * Wilson score interval for a binomial proportion.
  *
@@ -39,12 +41,18 @@ export function wilsonInterval(successes, n, z = Z95) {
         upper: successes === n ? 1 : Math.min(1, centre + half),
     };
 }
-/** `ln C(n, k)`, summed; exact enough for the n here. */
+/** `log Γ(z)`, MathTS `lgamma`, read back as the number it is for a number. */
+function logGamma(z) {
+    return numberFrom('lgamma', lgamma(z));
+}
+/**
+ * `ln C(n, k) = ln Γ(n+1) − ln Γ(k+1) − ln Γ(n−k+1)`, through MathTS `lgamma`:
+ * the same three terms as `logChoose` in `numerical/statistics`, the owner
+ * the lattice random walk reads. This copy stays because the delegation scan
+ * (`tests/numerical/mathts-delegation.test.ts`) pins this file's body text.
+ */
 function logChoose(n, k) {
-    let s = 0;
-    for (let i = 1; i <= k; i++)
-        s += Math.log(n - k + i) - Math.log(i);
-    return s;
+    return logGamma(n + 1) - logGamma(k + 1) - logGamma(n - k + 1);
 }
 /**
  * McNemar's paired test. The EXACT binomial p-value is the one to report at
@@ -56,7 +64,7 @@ export function mcnemar(table) {
     const n = table.b + table.c;
     if (n === 0)
         return { chiSquared: 0, exactP: 1 };
-    const chiSquared = (Math.abs(table.b - table.c) - 1) ** 2 / n;
+    const chiSquared = Math.max(0, Math.abs(table.b - table.c) - 1) ** 2 / n;
     const k = Math.min(table.b, table.c);
     let tail = 0;
     for (let i = 0; i <= k; i++)

package/dist/atlas/benchmark/stats.js.map

@@ -1 +1 @@
-{"version":3,"file":"stats.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,mDAAmD;AACnD,MAAM,CAAC,MAAM,GAAG,GAAG,iBAAiB,CAAC;AAQrC;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,CAAS,EAAE,CAAC,GAAG,GAAG;IAClE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,+DAA+D,SAAS,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,8EAA8E;IAC9E,wEAAwE;IACxE,OAAO;QACL,KAAK,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACvD,KAAK,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;KACxD,CAAC;AACJ,CAAC;AAkBD,yDAAyD;AACzD,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpE,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAkB;IACxC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACjD,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9D,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAkB,EAAE,CAAC,GAAG,GAAG;IAClE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,oEAAoE;QACpE,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;IACrB,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,MAAsC;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC3H,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IACrB,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IAChC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC9B,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,eAAe,GAAG,GAAG;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9D,OAAO;QACL,SAAS;QACT,eAAe;QACf,QAAQ;QACR,SAAS;QACT,SAAS,EACP,QAAQ,SAAS,uBAAuB,GAAG,CAAC,eAAe,CAAC,qCAAqC;YACjG,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,uBAAuB;YAC9F,wCAAwC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,mCAAmC;YAC7F,sEAAsE;KACzE,CAAC;AACJ,CAAC"}
+{"version":3,"file":"stats.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/stats.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAEvD,uGAAuG;AACvG,MAAM,CAAC,MAAM,GAAG,GAAW,cAAc,CAAC,KAAK,CAAC,CAAC;AAQjD;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,CAAS,EAAE,CAAC,GAAG,GAAG;IAClE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,EAAE,CAAC,CAAC;IAC9G,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,+DAA+D,SAAS,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,CAAC,GAAG,SAAS,GAAG,CAAC,CAAC;IACxB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC;IACjB,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzB,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3E,8EAA8E;IAC9E,wEAAwE;IACxE,OAAO;QACL,KAAK,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACvD,KAAK,EAAE,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;KACxD,CAAC;AACJ,CAAC;AAkBD,+EAA+E;AAC/E,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,CAAS,EAAE,CAAS;IACrC,OAAO,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AACjE,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,OAAO,CAAC,KAAkB;IACxC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;IAC5B,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACrC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;QAAE,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC;AACvD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,wBAAwB,CAAC,KAAkB,EAAE,CAAC,GAAG,GAAG;IAClE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC;IAC7B,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,CAAC,CAAC;IACtE,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,cAAc,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/D,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC5B,oEAAoE;QACpE,GAAG,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC;IACjE,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;IACrB,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1B,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,GAAG,EAAE,CAAC;IAC1B,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC;IACzF,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,MAAsC;IAChE,MAAM,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC;IACxB,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IAC3H,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAE,CAAC;YACzB,CAAC,IAAI,CAAC,CAAC;YACP,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,CAAC;YACd,IAAI,CAAC,KAAK,CAAC;gBAAE,KAAK,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,IAAI,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACxD,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,CAAC;IACrB,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,CAAC,CAAC,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,GAAG,CAAC;IAChC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;AAC9B,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,SAAiB,EAAE,eAAe,GAAG,GAAG;IAClE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,GAAG,SAAS,CAAC,CAAC;IAC1D,MAAM,QAAQ,GAAG,cAAc,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACtD,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACxD,MAAM,GAAG,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC;IAC9D,OAAO;QACL,SAAS;QACT,eAAe;QACf,QAAQ;QACR,SAAS;QACT,SAAS,EACP,QAAQ,SAAS,uBAAuB,GAAG,CAAC,eAAe,CAAC,qCAAqC;YACjG,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,SAAS,CAAC,uBAAuB;YAC9F,wCAAwC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,mCAAmC;YAC7F,sEAAsE;KACzE,CAAC;AACJ,CAAC","sourcesContent":["/**\n * Atlas Phase 5, S5.4 — the benchmark's statistics and power report.\n *\n * Design note: `docs/planning/Atlas-Phase-5-Design.md` §8.\n *\n * Every function here is tested against a value computed independently, not\n * against its own output: the Wilson intervals against the plan's textbook\n * values, McNemar against a hand-computed 2×2 table, and κ against a hand-computed\n * confusion matrix. The paired-difference interval (Newcombe's method 10) has no\n * textbook value in the repository; it is tested by properties that pin it to\n * Wilson and to the unpaired square-and-add interval where those must agree.\n *\n * @module atlas/benchmark/stats\n * @internal\n */\n\nimport { lgamma, normalQuantile } from '@danielsimonjr/mathts-functions';\nimport { numberFrom } from '../../core/mathts-read.js';\n\n/** The two-sided 95% normal quantile, MathTS `normalQuantile(0.975)` (1.959963984540054). @internal */\nexport const Z95: number = normalQuantile(0.975);\n\n/** A closed interval. @internal */\nexport interface Interval {\n  readonly lower: number;\n  readonly upper: number;\n}\n\n/**\n * Wilson score interval for a binomial proportion.\n *\n * @throws Error when `n` is not a positive integer or `successes` is outside `[0, n]`.\n * @internal\n */\nexport function wilsonInterval(successes: number, n: number, z = Z95): Interval {\n  if (!Number.isInteger(n) || n <= 0) throw new Error(`wilsonInterval: n must be a positive integer, got ${n}`);\n  if (!Number.isInteger(successes) || successes < 0 || successes > n) {\n    throw new Error(`wilsonInterval: successes must be an integer in [0, n], got ${successes}`);\n  }\n  const p = successes / n;\n  const z2 = z * z;\n  const denom = 1 + z2 / n;\n  const centre = (p + z2 / (2 * n)) / denom;\n  const half = (z / denom) * Math.sqrt((p * (1 - p)) / n + z2 / (4 * n * n));\n  // At x = 0 the lower bound, and at x = n the upper bound, are EXACTLY 0 and 1\n  // analytically; the formula reaches them only to within float rounding.\n  return {\n    lower: successes === 0 ? 0 : Math.max(0, centre - half),\n    upper: successes === n ? 1 : Math.min(1, centre + half),\n  };\n}\n\n/** A paired 2×2 table: a = both right, b = only A right, c = only B right, d = both wrong. @internal */\nexport interface PairedTable {\n  readonly a: number;\n  readonly b: number;\n  readonly c: number;\n  readonly d: number;\n}\n\n/** McNemar's test on the discordant cells. @internal */\nexport interface McNemarResult {\n  /** Continuity-corrected χ² = max(0, |b − c| − 1)² / (b + c); 0 when b + c = 0. The correction never goes negative (Edwards 1948). */\n  readonly chiSquared: number;\n  /** Exact two-sided p-value from Binomial(b + c, ½); 1 when b + c = 0. */\n  readonly exactP: number;\n}\n\n/** `log Γ(z)`, MathTS `lgamma`, read back as the number it is for a number. */\nfunction logGamma(z: number): number {\n  return numberFrom('lgamma', lgamma(z));\n}\n\n/**\n * `ln C(n, k) = ln Γ(n+1) − ln Γ(k+1) − ln Γ(n−k+1)`, through MathTS `lgamma`:\n * the same three terms as `logChoose` in `numerical/statistics`, the owner\n * the lattice random walk reads. This copy stays because the delegation scan\n * (`tests/numerical/mathts-delegation.test.ts`) pins this file's body text.\n */\nfunction logChoose(n: number, k: number): number {\n  return logGamma(n + 1) - logGamma(k + 1) - logGamma(n - k + 1);\n}\n\n/**\n * McNemar's paired test. The EXACT binomial p-value is the one to report at\n * these sample sizes; the χ² is given because readers expect it.\n *\n * @internal\n */\nexport function mcnemar(table: PairedTable): McNemarResult {\n  const n = table.b + table.c;\n  if (n === 0) return { chiSquared: 0, exactP: 1 };\n  const chiSquared = Math.max(0, Math.abs(table.b - table.c) - 1) ** 2 / n;\n  const k = Math.min(table.b, table.c);\n  let tail = 0;\n  for (let i = 0; i <= k; i++) tail += Math.exp(logChoose(n, i) - n * Math.LN2);\n  return { chiSquared, exactP: Math.min(1, 2 * tail) };\n}\n\n/**\n * Newcombe's method 10: a 95% interval for the PAIRED difference in proportions\n * p_A − p_B = (b − c)/n, built from the two marginal Wilson intervals and a\n * correlation correction φ. Pre-registered criterion: the interval for the\n * atlas-minus-baseline difference must exclude zero.\n *\n * Newcombe, Statistics in Medicine 17 (1998) 2635.\n *\n * @internal\n */\nexport function pairedDifferenceInterval(table: PairedTable, z = Z95): Interval & { readonly diff: number } {\n  const { a, b, c, d } = table;\n  const n = a + b + c + d;\n  if (n === 0) throw new Error('pairedDifferenceInterval: empty table');\n  const p1 = (a + b) / n;\n  const p2 = (a + c) / n;\n  const w1 = wilsonInterval(a + b, n, z);\n  const w2 = wilsonInterval(a + c, n, z);\n  const denom = Math.sqrt((a + b) * (c + d) * (a + c) * (b + d));\n  let phi = 0;\n  if (denom > 0) {\n    const cross = a * d - b * c;\n    // Newcombe's continuity adjustment of φ, applied only when ad > bc.\n    phi = (cross > 0 ? Math.max(cross - n / 2, 0) : cross) / denom;\n  }\n  const diff = p1 - p2;\n  const dl1 = p1 - w1.lower;\n  const du1 = w1.upper - p1;\n  const dl2 = p2 - w2.lower;\n  const du2 = w2.upper - p2;\n  const lower = diff - Math.sqrt(Math.max(0, dl1 * dl1 - 2 * phi * dl1 * du2 + du2 * du2));\n  const upper = diff + Math.sqrt(Math.max(0, du1 * du1 - 2 * phi * du1 * dl2 + dl2 * dl2));\n  return { diff, lower: Math.max(-1, lower), upper: Math.min(1, upper) };\n}\n\n/**\n * Cohen's κ for two raters over the same items, from a square confusion matrix\n * (`matrix[i][j]` = items rater 1 put in category i and rater 2 in category j).\n *\n * @returns NaN when chance agreement is 1 (κ is undefined there), never 1.\n * @internal\n */\nexport function cohensKappa(matrix: readonly (readonly number[])[]): number {\n  const k = matrix.length;\n  if (k === 0 || matrix.some((row) => row.length !== k)) throw new Error('cohensKappa: matrix must be square and non-empty');\n  let n = 0;\n  let agree = 0;\n  const rows = new Array<number>(k).fill(0);\n  const cols = new Array<number>(k).fill(0);\n  for (let i = 0; i < k; i++) {\n    for (let j = 0; j < k; j++) {\n      const v = matrix[i]![j]!;\n      n += v;\n      rows[i]! += v;\n      cols[j]! += v;\n      if (i === j) agree += v;\n    }\n  }\n  if (n === 0) throw new Error('cohensKappa: no ratings');\n  const po = agree / n;\n  let pe = 0;\n  for (let i = 0; i < k; i++) pe += (rows[i]! / n) * (cols[i]! / n);\n  if (pe === 1) return Number.NaN;\n  return (po - pe) / (1 - pe);\n}\n\n/** What a frozen set of a given size can and cannot resolve. @internal */\nexport interface PowerReport {\n  readonly nPerClass: number;\n  /** The assumed per-class accuracy the interval is computed at. */\n  readonly assumedAccuracy: number;\n  readonly interval: Interval;\n  /** Half the interval width: differences smaller than about twice this are not resolvable. */\n  readonly halfWidth: number;\n  readonly statement: string;\n}\n\n/**\n * The interval a frozen set of `nPerClass` items per class can afford at an\n * assumed accuracy. This is the \"report the interval it can afford rather than\n * the claim it cannot\" line of ROADMAP Phase 5.\n *\n * @internal\n */\nexport function powerReport(nPerClass: number, assumedAccuracy = 0.8): PowerReport {\n  const successes = Math.round(assumedAccuracy * nPerClass);\n  const interval = wilsonInterval(successes, nPerClass);\n  const halfWidth = (interval.upper - interval.lower) / 2;\n  const pct = (x: number): string => `${(100 * x).toFixed(1)}%`;\n  return {\n    nPerClass,\n    assumedAccuracy,\n    interval,\n    halfWidth,\n    statement:\n      `With ${nPerClass} items per class at ${pct(assumedAccuracy)} accuracy, the 95% Wilson interval ` +\n      `is [${pct(interval.lower)}, ${pct(interval.upper)}] (±${pct(halfWidth)}). Two methods whose ` +\n      `accuracies differ by less than about ${pct(2 * halfWidth)} cannot be separated on this set ` +\n      'by unpaired intervals; the paired McNemar design is what narrows it.',\n  };\n}\n"]}

package/dist/atlas/benchmark/study.js.map

@@ -1 +1 @@
-{"version":3,"file":"study.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/study.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAwB/E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;AAEtD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,OAA0B,EAAE,MAA4B;IACrF,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,OAAe,EAAQ,EAAE;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,CAAC,CAAC,kCAAkC,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBAAE,CAAC,CAAC,4CAA4C,CAAC,CAAC;iBAC5E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,CAAC,CAAC,wBAAwB,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC;QAC3F,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACvC,CAAC,CAAC,4CAA4C,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IACxF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAwBD;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,OAAmC,EACnC,MAA4B;IAE5B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,kBAAkB,SAAS,0DAA0D,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,SAAS,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,UAAU,EAAE,CAAC;aAClC,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,WAAW,EAAE,CAAC;QACrD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,aAAa,EAAE,CAAC;YAClD,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,YAAY,EAAE,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,QAAQ,EAAE,CAAC;YACX,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,YAAY,EAAE,CAAC;YACjD,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACjC,eAAe,EAAE,CAAC;gBAClB,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;oBACzF,kBAAkB,EAAE,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,SAAS;QACT,MAAM;QACN,QAAQ;QACR,eAAe;QACf,wBAAwB,EACtB,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,EAAE,QAAQ,CAAC;QACvG,kBAAkB;QAClB,YAAY;QACZ,aAAa;QACb,YAAY;QACZ,WAAW;QACX,UAAU;KACX,CAAC;AACJ,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAkB,EAClB,QAAoC,EACpC,UAAkB,EAClB,QAAoC,EACpC,MAA4B;IAE5B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,CAAC,OAAmC,EAAe,EAAE,CACtE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;aACX,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;aACX,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;;YACX,CAAC,EAAE,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO;QACL,UAAU;QACV,UAAU;QACV,KAAK;QACL,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;QACvB,oBAAoB,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC;KAC3C,CAAC;AACJ,CAAC;AAUD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAkE,EAClE,MAA4B;IAE5B,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACjC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;aACpD,CAAC;YACJ,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC;gBACR,aAAa,EAAE,IAAI;gBACnB,OAAO;gBACP,gBAAgB,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"study.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/study.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,OAAO,EAAE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAwB/E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS,aAAa,CAAC,CAAC;AAEtD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,cAAc,CAAC,OAA0B,EAAE,MAA4B;IACrF,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,OAAe,EAAQ,EAAE;YAClC,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QACF,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC;QAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,CAAC,CAAC,kCAAkC,CAAC,CAAC;QAC9D,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBAAE,CAAC,CAAC,4CAA4C,CAAC,CAAC;iBAC5E,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;gBAAE,CAAC,CAAC,wBAAwB,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC;QAC3F,CAAC;aAAM,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACvC,CAAC,CAAC,4CAA4C,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,OAAO;QAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;IACxF,OAAO,QAAQ,CAAC;AAClB,CAAC;AAwBD;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,SAAiB,EACjB,OAAmC,EACnC,MAA4B;IAE5B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,kBAAkB,SAAS,0DAA0D,CAAC,CAAC;IACzG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,SAAS,8BAA8B,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACpH,CAAC;IACD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,eAAe,GAAG,CAAC,CAAC;IACxB,IAAI,kBAAkB,GAAG,CAAC,CAAC;IAC3B,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,MAAM,KAAK,SAAS;YAAE,UAAU,EAAE,CAAC;aAClC,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS;YAAE,WAAW,EAAE,CAAC;QACrD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,MAAM,EAAE,CAAC;YACT,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,aAAa,EAAE,CAAC;YAClD,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,YAAY,EAAE,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,QAAQ,EAAE,CAAC;YACX,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ;gBAAE,YAAY,EAAE,CAAC;YACjD,IAAI,MAAM,EAAE,OAAO,KAAK,QAAQ,EAAE,CAAC;gBACjC,eAAe,EAAE,CAAC;gBAClB,IAAI,MAAM,CAAC,eAAe,KAAK,SAAS,IAAI,MAAM,CAAC,eAAe,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC;oBACzF,kBAAkB,EAAE,CAAC;gBACvB,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO;QACL,SAAS;QACT,MAAM;QACN,QAAQ;QACR,eAAe;QACf,wBAAwB,EACtB,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,eAAe,EAAE,QAAQ,CAAC;QACvG,kBAAkB;QAClB,YAAY;QACZ,aAAa;QACb,YAAY;QACZ,WAAW;QACX,UAAU;KACX,CAAC;AACJ,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAC7B,UAAkB,EAClB,QAAoC,EACpC,UAAkB,EAClB,QAAoC,EACpC,MAA4B;IAE5B,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IAC7F,MAAM,UAAU,GAAG,CAAC,OAAmC,EAAe,EAAE,CACtE,IAAI,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9E,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;aACX,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;aACX,IAAI,CAAC;YAAE,CAAC,EAAE,CAAC;;YACX,CAAC,EAAE,CAAC;IACX,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAC7B,MAAM,UAAU,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;IACnD,OAAO;QACL,UAAU;QACV,UAAU;QACV,KAAK;QACL,UAAU;QACV,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC;QACvB,oBAAoB,EAAE,UAAU,CAAC,KAAK,GAAG,CAAC;KAC3C,CAAC;AACJ,CAAC;AAUD;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAkE,EAClE,MAA4B;IAE5B,MAAM,IAAI,GAAkB,EAAE,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACjC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;aACpD,CAAC;YACJ,MAAM,CAAC,QAAQ,EAAE,WAAW,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC;gBACR,aAAa,EAAE,IAAI;gBACnB,OAAO;gBACP,gBAAgB,EAAE,eAAe,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,CAAC;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC","sourcesContent":["/**\n * Atlas Phase 6, S6.1 — scoring a benchmark condition against the answer key.\n *\n * Design note: `docs/planning/Atlas-Phase-5-Design.md` §9.\n *\n * This module receives the answer key as an ARGUMENT. It never reads the scorer\n * half of the fixture tree itself: the import guard forbids any `src/` path into\n * it. The orchestration script (`scripts/run-atlas-study.mjs`) loads the labels\n * and passes them in.\n *\n * **An empty item set produces NO metrics, not zero metrics.** `scoreCondition`\n * throws on it: a table of zeros and NaNs from an empty set is indistinguishable,\n * at a glance, from a condition that failed everything.\n *\n * @module atlas/benchmark/study\n * @internal\n */\n\nimport { FAILURE_KINDS } from './types.js';\nimport type { FailureKind } from './types.js';\nimport { mcnemar, pairedDifferenceInterval, wilsonInterval } from './stats.js';\nimport type { Interval, McNemarResult } from './stats.js';\n\n/** One condition's answer for one item. @internal */\nexport interface ConditionAnswer {\n  readonly itemId: string;\n  readonly outcome: 'accept' | 'reject' | 'abstain';\n  readonly detectedFailure?: FailureKind;\n}\n\n/** The answer key for one item — scorer-side, never in the public half. @internal */\nexport interface ItemLabel {\n  readonly itemId: string;\n  readonly kind: 'valid' | 'invalid';\n  /** For an invalid item: the failure kind a correct rejection names. */\n  readonly failureKind?: FailureKind;\n}\n\n/** One reason an answer key does not fit its item set. @internal */\nexport interface LabelProblem {\n  readonly id: string;\n  readonly problem: string;\n}\n\nconst KNOWN_FAILURES = new Set<string>(FAILURE_KINDS);\n\n/**\n * Check an answer key against the item ids it must cover: exactly one label per\n * item, no label for an unknown item, a known failure kind on every invalid\n * label and none on a valid one. Takes the key as an ARGUMENT, like everything\n * here, because no `src/` file may read the scorer half.\n *\n * @param itemIds - the ids of the frozen items.\n * @param labels - the answer key.\n * @returns every problem found, labels first in key order, then missing labels\n * in item order; empty means the key fits.\n * @internal\n */\nexport function validateLabels(itemIds: readonly string[], labels: readonly ItemLabel[]): LabelProblem[] {\n  const problems: LabelProblem[] = [];\n  const ids = new Set(itemIds);\n  const seen = new Set<string>();\n  for (const l of labels) {\n    const p = (problem: string): void => {\n      problems.push({ id: l.itemId, problem });\n    };\n    if (seen.has(l.itemId)) p('duplicate label');\n    seen.add(l.itemId);\n    if (!ids.has(l.itemId)) p('label for an item not in the set');\n    if (l.kind === 'invalid') {\n      if (l.failureKind === undefined) p('an invalid label must name its failureKind');\n      else if (!KNOWN_FAILURES.has(l.failureKind)) p(`unknown failureKind '${l.failureKind}'`);\n    } else if (l.failureKind !== undefined) {\n      p('a valid label must not carry a failureKind');\n    }\n  }\n  for (const id of itemIds) if (!seen.has(id)) problems.push({ id, problem: 'no label' });\n  return problems;\n}\n\n/** A condition's metrics on the frozen set. @internal */\nexport interface ConditionMetrics {\n  readonly condition: string;\n  readonly nValid: number;\n  readonly nInvalid: number;\n  /** Invalid items rejected, with its Wilson interval. */\n  readonly invalidRejected: number;\n  readonly invalidRejectionInterval: Interval;\n  /** Of the rejected invalid items, how many named the right failure kind. */\n  readonly kindNamedCorrectly: number;\n  /** Invalid items ACCEPTED: the error the benchmark exists to count. */\n  readonly wrongAccepts: number;\n  /** Valid items accepted. */\n  readonly validAccepted: number;\n  /** Valid items rejected. */\n  readonly falseRejects: number;\n  /** All abstentions, reported and never folded into accuracy. */\n  readonly abstentions: number;\n  /** Items the condition did not answer at all: counted, never dropped. */\n  readonly unanswered: number;\n}\n\n/**\n * Score one condition against the answer key.\n *\n * @throws Error when the key is empty (no measurement exists), or when an answer\n * names an item the key does not contain.\n * @internal\n */\nexport function scoreCondition(\n  condition: string,\n  answers: readonly ConditionAnswer[],\n  labels: readonly ItemLabel[],\n): ConditionMetrics {\n  if (labels.length === 0) {\n    throw new Error(`scoreCondition(${condition}): the answer key is empty — there is nothing to measure`);\n  }\n  const byId = new Map(answers.map((a) => [a.itemId, a]));\n  const labelIds = new Set(labels.map((l) => l.itemId));\n  for (const a of answers) {\n    if (!labelIds.has(a.itemId)) throw new Error(`scoreCondition(${condition}): answer for unknown item ${a.itemId}`);\n  }\n  let nValid = 0;\n  let nInvalid = 0;\n  let invalidRejected = 0;\n  let kindNamedCorrectly = 0;\n  let wrongAccepts = 0;\n  let validAccepted = 0;\n  let falseRejects = 0;\n  let abstentions = 0;\n  let unanswered = 0;\n  for (const label of labels) {\n    const answer = byId.get(label.itemId);\n    if (answer === undefined) unanswered++;\n    else if (answer.outcome === 'abstain') abstentions++;\n    if (label.kind === 'valid') {\n      nValid++;\n      if (answer?.outcome === 'accept') validAccepted++;\n      if (answer?.outcome === 'reject') falseRejects++;\n    } else {\n      nInvalid++;\n      if (answer?.outcome === 'accept') wrongAccepts++;\n      if (answer?.outcome === 'reject') {\n        invalidRejected++;\n        if (answer.detectedFailure !== undefined && answer.detectedFailure === label.failureKind) {\n          kindNamedCorrectly++;\n        }\n      }\n    }\n  }\n  return {\n    condition,\n    nValid,\n    nInvalid,\n    invalidRejected,\n    invalidRejectionInterval:\n      nInvalid === 0 ? { lower: Number.NaN, upper: Number.NaN } : wilsonInterval(invalidRejected, nInvalid),\n    kindNamedCorrectly,\n    wrongAccepts,\n    validAccepted,\n    falseRejects,\n    abstentions,\n    unanswered,\n  };\n}\n\n/** The paired comparison of two conditions' rejection of invalid items. @internal */\nexport interface PairedRejection {\n  readonly conditionA: string;\n  readonly conditionB: string;\n  readonly table: { readonly a: number; readonly b: number; readonly c: number; readonly d: number };\n  readonly difference: Interval & { readonly diff: number };\n  readonly mcnemar: McNemarResult;\n  /** The pre-registered criterion: the interval for A − B excludes zero, above it. */\n  readonly aBetterExcludingZero: boolean;\n}\n\n/**\n * Compare two conditions on the SAME invalid items. An item counts as \"right\"\n * for a condition when it was rejected; an unanswered item is \"wrong\", not dropped.\n *\n * @throws Error when there are no invalid items.\n * @internal\n */\nexport function pairedRejection(\n  conditionA: string,\n  answersA: readonly ConditionAnswer[],\n  conditionB: string,\n  answersB: readonly ConditionAnswer[],\n  labels: readonly ItemLabel[],\n): PairedRejection {\n  const invalid = labels.filter((l) => l.kind === 'invalid');\n  if (invalid.length === 0) throw new Error('pairedRejection: no invalid items to compare on');\n  const rejectedBy = (answers: readonly ConditionAnswer[]): Set<string> =>\n    new Set(answers.filter((x) => x.outcome === 'reject').map((x) => x.itemId));\n  const ra = rejectedBy(answersA);\n  const rb = rejectedBy(answersB);\n  let a = 0;\n  let b = 0;\n  let c = 0;\n  let d = 0;\n  for (const l of invalid) {\n    const x = ra.has(l.itemId);\n    const y = rb.has(l.itemId);\n    if (x && y) a++;\n    else if (x) b++;\n    else if (y) c++;\n    else d++;\n  }\n  const table = { a, b, c, d };\n  const difference = pairedDifferenceInterval(table);\n  return {\n    conditionA,\n    conditionB,\n    table,\n    difference,\n    mcnemar: mcnemar(table),\n    aBetterExcludingZero: difference.lower > 0,\n  };\n}\n\n/** One row of the ablation: a configuration's metrics and its step over the previous one. @internal */\nexport interface AblationRow {\n  readonly configuration: string;\n  readonly metrics: ConditionMetrics;\n  /** Paired rejection of THIS configuration vs the previous one; absent for the first. */\n  readonly stepOverPrevious?: PairedRejection;\n}\n\n/**\n * Score a sequence of named condition runs as an ablation: each row is scored,\n * and each row after the first is compared, paired on the same invalid items,\n * against the row before it — so the table shows what each added layer bought.\n *\n * @internal\n */\nexport function scoreAblation(\n  runs: ReadonlyArray<readonly [string, readonly ConditionAnswer[]]>,\n  labels: readonly ItemLabel[],\n): AblationRow[] {\n  const rows: AblationRow[] = [];\n  for (let i = 0; i < runs.length; i++) {\n    const [name, answers] = runs[i]!;\n    const metrics = scoreCondition(name, answers, labels);\n    if (i === 0) rows.push({ configuration: name, metrics });\n    else {\n      const [prevName, prevAnswers] = runs[i - 1]!;\n      rows.push({\n        configuration: name,\n        metrics,\n        stepOverPrevious: pairedRejection(name, answers, prevName, prevAnswers, labels),\n      });\n    }\n  }\n  return rows;\n}\n"]}

package/dist/atlas/benchmark/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,iBAAiB;IACjB,kBAAkB;IAClB,qBAAqB;IACrB,oBAAoB;IACpB,yBAAyB;IACzB,mBAAmB;IACnB,eAAe;IACf,kBAAkB;CACV,CAAC;AAgBX;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsB;IACjD,WAAW;IACX,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,YAAY;IACZ,cAAc;IACd,eAAe;CAChB,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/atlas/benchmark/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAKH,2EAA2E;AAC3E,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,iBAAiB;IACjB,kBAAkB;IAClB,qBAAqB;IACrB,oBAAoB;IACpB,yBAAyB;IACzB,mBAAmB;IACnB,eAAe;IACf,kBAAkB;CACV,CAAC;AAgBX;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,eAAe,CAAC;AAE/C;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAsB;IACjD,WAAW;IACX,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,YAAY;IACZ,cAAc;IACd,eAAe;CAChB,CAAC","sourcesContent":["/**\n * Atlas Phase 5, S5.1 — the invalid-bridge benchmark's item schema.\n *\n * Design note: `docs/planning/Atlas-Phase-5-Design.md` §2.\n *\n * ⚠ **No agent authors a frozen item** (design note §0). This file defines the\n * SHAPE an independent author fills in; it contains no items.\n *\n * @module atlas/benchmark/types\n * @internal\n */\n\nimport type { ExprNode } from '../../dimensional/ast-types.js';\nimport type { Conventions, RegimeInequality, RelationType } from '../types.js';\n\n/** The eight failure kinds, sampled evenly (ROADMAP Phase 5). @internal */\nexport const FAILURE_KINDS = [\n  'omitted-premise',\n  'domain-violation',\n  'convention-mismatch',\n  'notation-collision',\n  'dimensional-coincidence',\n  'non-uniform-limit',\n  'false-inverse',\n  'analogy-promoted',\n] as const;\n\n/** One failure kind. @internal */\nexport type FailureKind = (typeof FAILURE_KINDS)[number];\n\n/**\n * Who wrote an item. Only `'independent'` may be frozen; `'contested-draft'`\n * is what an agent may produce, into `contested/`, and nothing else.\n *\n * @internal\n */\nexport type Authorship = 'independent' | 'contested-draft';\n\n/** Which split an item scores in. @internal */\nexport type BenchmarkSplit = 'in-distribution' | 'held-out';\n\n/**\n * The held-out family. Corrected from the plan's \"first-order relaxation\",\n * which Phase 0 already encodes as `model-first-order` (design note §4).\n *\n * @internal\n */\nexport const HELD_OUT_FAMILY = 'fluid-statics';\n\n/**\n * Markers that identify the held-out family in model ids, dynamics and bridge\n * ids. `tests/atlas/benchmark.test.ts` scans the atlas for them, and proves the\n * scan can fire with the ORIGINAL family's markers as a positive control.\n *\n * @internal\n */\nexport const HELD_OUT_MARKERS: readonly string[] = [\n  'hydrostat',\n  'buoyan',\n  'archimed',\n  'pascal',\n  'barometric',\n  'fluid-static',\n  'fluid statics',\n];\n\n/**\n * One benchmark item, as its PUBLIC half carries it — never the answer. Whether\n * the item is valid, and which failure kind it has, live only in the scorer\n * half (`ItemLabel` in `study.ts`), so a condition that reads the public file\n * cannot read the key.\n *\n * @internal\n */\nexport interface BenchmarkItem {\n  readonly id: string;\n  readonly premises: readonly string[];\n  readonly conclusion: string;\n  readonly claimedRelation: RelationType;\n  readonly family: string;\n  readonly split: BenchmarkSplit;\n  /** The claimed relation as an AST, so the leakage check can run. */\n  readonly expr: ExprNode;\n  /** The id of the item this one renames, when it is a renamed-variable variant. */\n  readonly renamedVariant?: string;\n  readonly authorship: Authorship;\n  /** Where the item came from: an erratum, a documented misconception, a textbook. */\n  readonly source: string;\n\n  // ── Machine fields (S5.2), all OPTIONAL. The atlas condition can decide only\n  // what an item states; an absent field makes its check UNRUN, and an unrun\n  // check can never support an accept. ────────────────────────────────────────\n\n  /** The claim's stated side conditions, as prose. `[]` states \"none\". */\n  readonly sideConditions?: readonly string[];\n  /** Conventions declared by the premises and by the conclusion. */\n  readonly conventions?: {\n    readonly premise?: Conventions;\n    readonly conclusion?: Conventions;\n  };\n  /** When the claim is a CHAIN: the two relations composed to reach `claimedRelation`. */\n  readonly composedFrom?: readonly [RelationType, RelationType];\n  /** The regime the claim is used in: its inequalities and the π-group values at the use site. */\n  readonly regime?: {\n    readonly inequalities: readonly RegimeInequality[];\n    readonly values: Readonly<Record<string, number>>;\n  };\n}\n"]}

package/dist/atlas/bridge-record.d.ts

@@ -2,9 +2,9 @@
  * One catalog bridge, joined to the canonical foreign key and the generated
  * formal reference.
  *
- * The catalog row, the right-hand side, the edges, and the evaluator stay
- * projections of `registerBridge`. This function reads them. It does not
- * store a second copy.
+ * The catalog row, the right-hand side, the edges, and the evaluator are
+ * projections of `data/bridge-catalog.json`. This function reads them. It
+ * does not store a second copy.
  *
  * @module atlas/bridge-record
  */
@@ -14,7 +14,7 @@
  *
  * @internal
  */
-export declare function getBridge(bridgeId: number | string): {
+export declare function catalogBridgeRecord(bridgeId: number | string): {
     id: number;
     entry: import("../index.js").BridgeEquationEntry;
     rhs: import("../index.js").ExprNode | undefined;

package/dist/atlas/bridge-record.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-record.d.ts","sourceRoot":"","sources":["../../src/atlas/bridge-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAOH;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;;;;;;;;EAWlD"}
+{"version":3,"file":"bridge-record.d.ts","sourceRoot":"","sources":["../../src/atlas/bridge-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAOH;;;;;GAKG;AACH,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM;;;;;;;;EAW5D"}

package/dist/atlas/bridge-record.js

@@ -2,15 +2,15 @@
  * One catalog bridge, joined to the canonical foreign key and the generated
  * formal reference.
  *
- * The catalog row, the right-hand side, the edges, and the evaluator stay
- * projections of `registerBridge`. This function reads them. It does not
- * store a second copy.
+ * The catalog row, the right-hand side, the edges, and the evaluator are
+ * projections of `data/bridge-catalog.json`. This function reads them. It
+ * does not store a second copy.
  *
  * @module atlas/bridge-record
  */
 import { BRIDGE_EVALUATORS } from '../bridges/evaluators.js';
 import { CANONICAL_EQUATIONS } from '../canonical/registry.js';
-import { getBridge as joinBridge } from '../composition/descriptor.js';
+import { getBridge } from '../composition/descriptor.js';
 import { catalogFormalRef } from './catalog-formal-ref.js';
 /**
  * The joined catalog record, plus the canonical id that restates it and the
@@ -18,8 +18,8 @@ import { catalogFormalRef } from './catalog-formal-ref.js';
  *
  * @internal
  */
-export function getBridge(bridgeId) {
-    const joined = joinBridge(bridgeId);
+export function catalogBridgeRecord(bridgeId) {
+    const joined = getBridge(bridgeId);
     const canonicalId = CANONICAL_EQUATIONS.find((equation) => equation.restatesBridge === String(joined.id))?.id;
     return {
         ...joined,

package/dist/atlas/bridge-record.js.map

@@ -1 +1 @@
-{"version":3,"file":"bridge-record.js","sourceRoot":"","sources":["../../src/atlas/bridge-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,SAAS,IAAI,UAAU,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,QAAyB;IACjD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAC1C,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAC5D,EAAE,EAAE,CAAC;IACN,OAAO;QACL,GAAG,MAAM;QACT,WAAW;QACX,SAAS,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC"}
+{"version":3,"file":"bridge-record.js","sourceRoot":"","sources":["../../src/atlas/bridge-record.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,MAAM,8BAA8B,CAAC;AACzD,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAE3D;;;;;GAKG;AACH,MAAM,UAAU,mBAAmB,CAAC,QAAyB;IAC3D,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnC,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAC1C,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,cAAc,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAC5D,EAAE,EAAE,CAAC;IACN,OAAO;QACL,GAAG,MAAM;QACT,WAAW;QACX,SAAS,EAAE,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,SAAS,EAAE,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;KAC5C,CAAC;AACJ,CAAC","sourcesContent":["/**\n * One catalog bridge, joined to the canonical foreign key and the generated\n * formal reference.\n *\n * The catalog row, the right-hand side, the edges, and the evaluator are\n * projections of `data/bridge-catalog.json`. This function reads them. It\n * does not store a second copy.\n *\n * @module atlas/bridge-record\n */\n\nimport { BRIDGE_EVALUATORS } from '../bridges/evaluators.js';\nimport { CANONICAL_EQUATIONS } from '../canonical/registry.js';\nimport { getBridge } from '../composition/descriptor.js';\nimport { catalogFormalRef } from './catalog-formal-ref.js';\n\n/**\n * The joined catalog record, plus the canonical id that restates it and the\n * generated formal reference.\n *\n * @internal\n */\nexport function catalogBridgeRecord(bridgeId: number | string) {\n  const joined = getBridge(bridgeId);\n  const canonicalId = CANONICAL_EQUATIONS.find(\n    (equation) => equation.restatesBridge === String(joined.id),\n  )?.id;\n  return {\n    ...joined,\n    canonicalId,\n    formalRef: catalogFormalRef(joined.id),\n    evaluator: BRIDGE_EVALUATORS.get(joined.id),\n  };\n}\n"]}

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

@@ -1,13 +1,17 @@
 /**
  * Catalog formal references.
  *
- * The catalog row stores the manifest key. This module asks PhysJS for that
- * key. It does not parse an id out of text, and it does not store an evidence
- * tag.
+ * The catalog row stores the manifest key, and beside it two projections of
+ * the manifest: the theorem that key names and the record's proof status.
+ * This module builds the reference from the key, derives the status from
+ * that reference, and reports a row whose stored projections disagree with
+ * the derivation. It does not parse an id out of text, and it does not store
+ * an evidence tag.
  *
  * @module atlas/catalog-formal-ref
  */
 import type { FormalRef } from '../relations/types.js';
+import type { CatalogEntry, ProofStatus } from '../bridges/catalog-types.js';
 /**
  * The reviewed PhysJS reference for a catalog id, or `undefined` when the
  * row records no manifest key.
@@ -15,4 +19,23 @@ import type { FormalRef } from '../relations/types.js';
  * @internal
  */
 export declare function catalogFormalRef(id: number): FormalRef | undefined;
+/**
+ * The proof status a record earns, derived from its reference: `pending` with
+ * no formalKey, `full` for a reviewed kind-`bridge` reference, `weak` for any
+ * other reference. `reference` is the record's {@link catalogFormalRef}.
+ *
+ * @internal
+ */
+export declare function deriveProofStatus(reference: FormalRef | undefined): ProofStatus;
+/**
+ * Records whose stored `theorem` or `proofStatus` disagree with the manifest:
+ * a theorem that is not the one the manifest entry of `formalKey` names, a
+ * theorem on a record with no `formalKey` (or none on a record with one), and
+ * a status other than {@link deriveProofStatus}. Empty means every record's
+ * projections are the manifest's. `referenceOf` defaults to the manifest's
+ * reference for the key; a test passes a changed one.
+ *
+ * @internal
+ */
+export declare function catalogProofProblems(entries?: readonly CatalogEntry[], referenceOf?: (key: string) => FormalRef): string[];
 //# sourceMappingURL=catalog-formal-ref.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAOvD;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAMlE"}
+{"version":3,"file":"catalog-formal-ref.d.ts","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAO7E;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAUlE;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,GAAG,SAAS,GAAG,WAAW,CAG/E;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,OAAO,GAAE,SAAS,YAAY,EAAqB,EACnD,WAAW,GAAE,CAAC,GAAG,EAAE,MAAM,KAAK,SAA2B,GACxD,MAAM,EAAE,CAeV"}

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

@@ -1,13 +1,16 @@
 /**
  * Catalog formal references.
  *
- * The catalog row stores the manifest key. This module asks PhysJS for that
- * key. It does not parse an id out of text, and it does not store an evidence
- * tag.
+ * The catalog row stores the manifest key, and beside it two projections of
+ * the manifest: the theorem that key names and the record's proof status.
+ * This module builds the reference from the key, derives the status from
+ * that reference, and reports a row whose stored projections disagree with
+ * the derivation. It does not parse an id out of text, and it does not store
+ * an evidence tag.
  *
  * @module atlas/catalog-formal-ref
  */
-import { catalogEntry } from '../bridges/catalog-load.js';
+import { catalogEntries, catalogEntry } from '../bridges/catalog-load.js';
 import { physjsFormalRef } from './physjs-ref.js';
 /** Memo of the PhysJS reference already built for a catalog id. */
 const byId = new Map();
@@ -20,9 +23,53 @@ const byId = new Map();
 export function catalogFormalRef(id) {
     if (byId.has(id))
         return byId.get(id);
-    const key = catalogEntry(id)?.formalKey;
+    const entry = catalogEntry(id);
+    const key = entry?.formalKey;
     const ref = key === undefined ? undefined : physjsFormalRef(key);
+    if (ref !== undefined && entry?.theorem !== ref.statement) {
+        throw new Error(`catalog id ${id} names theorem '${entry?.theorem}', the manifest entry '${key}' names '${ref.statement}'`);
+    }
     byId.set(id, ref);
     return ref;
 }
+/**
+ * The proof status a record earns, derived from its reference: `pending` with
+ * no formalKey, `full` for a reviewed kind-`bridge` reference, `weak` for any
+ * other reference. `reference` is the record's {@link catalogFormalRef}.
+ *
+ * @internal
+ */
+export function deriveProofStatus(reference) {
+    if (reference === undefined)
+        return 'pending';
+    return reference.kind === 'bridge' && reference.fidelity !== 'unreviewed' ? 'full' : 'weak';
+}
+/**
+ * Records whose stored `theorem` or `proofStatus` disagree with the manifest:
+ * a theorem that is not the one the manifest entry of `formalKey` names, a
+ * theorem on a record with no `formalKey` (or none on a record with one), and
+ * a status other than {@link deriveProofStatus}. Empty means every record's
+ * projections are the manifest's. `referenceOf` defaults to the manifest's
+ * reference for the key; a test passes a changed one.
+ *
+ * @internal
+ */
+export function catalogProofProblems(entries = catalogEntries(), referenceOf = physjsFormalRef) {
+    const problems = [];
+    for (const entry of entries) {
+        const reference = entry.formalKey === undefined ? undefined : referenceOf(entry.formalKey);
+        if (reference === undefined) {
+            if (entry.theorem !== undefined)
+                problems.push(`catalog id ${entry.id} names theorem '${entry.theorem}' and has no formalKey`);
+        }
+        else if (entry.theorem !== reference.statement) {
+            problems.push(`catalog id ${entry.id} theorem is '${entry.theorem ?? '(none)'}', the manifest entry '${entry.formalKey}' names '${reference.statement}'`);
+        }
+        const derived = deriveProofStatus(reference);
+        if (entry.proofStatus !== derived) {
+            problems.push(`catalog id ${entry.id} proofStatus is '${entry.proofStatus}', derived '${derived}'`);
+        }
+    }
+    return problems;
+}
 //# sourceMappingURL=catalog-formal-ref.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1D,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,mEAAmE;AACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiC,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,GAAG,GAAG,YAAY,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC;IACxC,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"catalog-formal-ref.js","sourceRoot":"","sources":["../../src/atlas/catalog-formal-ref.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAElD,mEAAmE;AACnE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAiC,CAAC;AAEtD;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAAC,EAAU;IACzC,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,GAAG,GAAG,KAAK,EAAE,SAAS,CAAC;IAC7B,MAAM,GAAG,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACjE,IAAI,GAAG,KAAK,SAAS,IAAI,KAAK,EAAE,OAAO,KAAK,GAAG,CAAC,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,cAAc,EAAE,mBAAmB,KAAK,EAAE,OAAO,0BAA0B,GAAG,YAAY,GAAG,CAAC,SAAS,GAAG,CAAC,CAAC;IAC9H,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAgC;IAChE,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC9C,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,QAAQ,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AAC9F,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAClC,OAAO,GAA4B,cAAc,EAAE,EACnD,WAAW,GAA+B,eAAe;IAEzD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC3F,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;gBAAE,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,EAAE,mBAAmB,KAAK,CAAC,OAAO,wBAAwB,CAAC,CAAC;QACjI,CAAC;aAAM,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,SAAS,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,EAAE,gBAAgB,KAAK,CAAC,OAAO,IAAI,QAAQ,0BAA0B,KAAK,CAAC,SAAS,YAAY,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC;QAC5J,CAAC;QACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC;YAClC,QAAQ,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,EAAE,oBAAoB,KAAK,CAAC,WAAW,eAAe,OAAO,GAAG,CAAC,CAAC;QACtG,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC","sourcesContent":["/**\n * Catalog formal references.\n *\n * The catalog row stores the manifest key, and beside it two projections of\n * the manifest: the theorem that key names and the record's proof status.\n * This module builds the reference from the key, derives the status from\n * that reference, and reports a row whose stored projections disagree with\n * the derivation. It does not parse an id out of text, and it does not store\n * an evidence tag.\n *\n * @module atlas/catalog-formal-ref\n */\n\nimport type { FormalRef } from '../relations/types.js';\nimport type { CatalogEntry, ProofStatus } from '../bridges/catalog-types.js';\nimport { catalogEntries, catalogEntry } from '../bridges/catalog-load.js';\nimport { physjsFormalRef } from './physjs-ref.js';\n\n/** Memo of the PhysJS reference already built for a catalog id. */\nconst byId = new Map<number, FormalRef | undefined>();\n\n/**\n * The reviewed PhysJS reference for a catalog id, or `undefined` when the\n * row records no manifest key.\n *\n * @internal\n */\nexport function catalogFormalRef(id: number): FormalRef | undefined {\n  if (byId.has(id)) return byId.get(id);\n  const entry = catalogEntry(id);\n  const key = entry?.formalKey;\n  const ref = key === undefined ? undefined : physjsFormalRef(key);\n  if (ref !== undefined && entry?.theorem !== ref.statement) {\n    throw new Error(`catalog id ${id} names theorem '${entry?.theorem}', the manifest entry '${key}' names '${ref.statement}'`);\n  }\n  byId.set(id, ref);\n  return ref;\n}\n\n/**\n * The proof status a record earns, derived from its reference: `pending` with\n * no formalKey, `full` for a reviewed kind-`bridge` reference, `weak` for any\n * other reference. `reference` is the record's {@link catalogFormalRef}.\n *\n * @internal\n */\nexport function deriveProofStatus(reference: FormalRef | undefined): ProofStatus {\n  if (reference === undefined) return 'pending';\n  return reference.kind === 'bridge' && reference.fidelity !== 'unreviewed' ? 'full' : 'weak';\n}\n\n/**\n * Records whose stored `theorem` or `proofStatus` disagree with the manifest:\n * a theorem that is not the one the manifest entry of `formalKey` names, a\n * theorem on a record with no `formalKey` (or none on a record with one), and\n * a status other than {@link deriveProofStatus}. Empty means every record's\n * projections are the manifest's. `referenceOf` defaults to the manifest's\n * reference for the key; a test passes a changed one.\n *\n * @internal\n */\nexport function catalogProofProblems(\n  entries: readonly CatalogEntry[] = catalogEntries(),\n  referenceOf: (key: string) => FormalRef = physjsFormalRef,\n): string[] {\n  const problems: string[] = [];\n  for (const entry of entries) {\n    const reference = entry.formalKey === undefined ? undefined : referenceOf(entry.formalKey);\n    if (reference === undefined) {\n      if (entry.theorem !== undefined) problems.push(`catalog id ${entry.id} names theorem '${entry.theorem}' and has no formalKey`);\n    } else if (entry.theorem !== reference.statement) {\n      problems.push(`catalog id ${entry.id} theorem is '${entry.theorem ?? '(none)'}', the manifest entry '${entry.formalKey}' names '${reference.statement}'`);\n    }\n    const derived = deriveProofStatus(reference);\n    if (entry.proofStatus !== derived) {\n      problems.push(`catalog id ${entry.id} proofStatus is '${entry.proofStatus}', derived '${derived}'`);\n    }\n  }\n  return problems;\n}\n"]}

package/dist/atlas/chain-pipeline.d.ts

@@ -16,7 +16,6 @@
 import type { ExprNode } from '../dimensional/validator.js';
 import type { Dimension } from '../dimensional/types.js';
 import type { BridgeEdge } from '../composition/edge.js';
-import type { CompositionResult } from '../relations/composition-table.js';
 import { type ChainRecord } from '../composition/chain-result.js';
 import { type ChainRegimeMismatch } from '../composition/chain-regime.js';
 /** A chain whose normal form matches a catalog equation. Nothing was written. @internal */
@@ -66,16 +65,6 @@ export declare function governingOf(expr: ExprNode, targetName: string): {
     name: string;
     dim: Dimension;
 }[];
-/**
- * The category claim recorded for two quantity edges.
- *
- * A quantity edge stores a quantity name, not a category object id.
- * This step does not invent that id, so the recorded result is unset
- * even when both edges store a relation. The pair is not dropped.
- *
- * @internal
- */
-export declare function categoryCompositionForChain(first: BridgeEdge, second: BridgeEdge): CompositionResult | undefined;
 /**
  * The orchestrator view of one {@link ChainRecord}.
  *

package/dist/atlas/chain-pipeline.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"chain-pipeline.d.ts","sourceRoot":"","sources":["../../src/atlas/chain-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAIzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mCAAmC,CAAC;AAI3E,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAsB,KAAK,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAK9F,2FAA2F;AAC3F,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,0FAA0F;AAC1F,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,sBAAsB,GACtB,eAAe,GACf,mBAAmB,GACnB,uBAAuB,CAAC;AAY5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,EAAE,CASlG;AAED;;;;;;;;GAQG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,UAAU,EACjB,MAAM,EAAE,UAAU,GACjB,iBAAiB,GAAG,SAAS,CAI/B;AAyCD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,WAAW,EACnB,YAAY,GAAE,SAAS,MAAM,EAAO,GACnC,mBAAmB,CAyBrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,mBAAmB,EAAE,CAiD7F"}
+{"version":3,"file":"chain-pipeline.d.ts","sourceRoot":"","sources":["../../src/atlas/chain-pipeline.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AAKzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAKzD,OAAO,EAGL,KAAK,WAAW,EACjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAsB,KAAK,mBAAmB,EAAE,MAAM,gCAAgC,CAAC;AAK9F,2FAA2F;AAC3F,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,6FAA6F;AAC7F,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAED,mEAAmE;AACnE,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,IAAI,EAAE,6BAA6B,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED,0FAA0F;AAC1F,MAAM,MAAM,mBAAmB,GAC3B,uBAAuB,GACvB,sBAAsB,GACtB,eAAe,GACf,mBAAmB,GACnB,uBAAuB,CAAC;AAQ5B;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,SAAS,CAAA;CAAE,EAAE,CASlG;AAyCD;;;;;;;;;GASG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,WAAW,EACnB,YAAY,GAAE,SAAS,MAAM,EAAO,GACnC,mBAAmB,CAyBrB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,mBAAmB,EAAE,CAqD7F"}