@particle-academy/fancy-conformance 0.9.0 → 0.10.0

package/VERSION

@@ -1 +1 @@
-0.9.0
+0.10.0

package/dist/index.cjs

@@ -129,7 +129,7 @@ function runTable(suiteId, impl, options) {
       continue;
     }
     results.push(
-      equals(actual, c.expected) ? { id: c.id, title: c.title, status: "pass" } : { id: c.id, title: c.title, status: "fail", expected: c.expected, actual }
+      equals(actual, c.expected, toleranceFor(c)) ? { id: c.id, title: c.title, status: "pass" } : { id: c.id, title: c.title, status: "fail", expected: c.expected, actual }
     );
   }
   const failed = results.filter((r) => r.status === "fail").length;
@@ -166,20 +166,29 @@ function preview(value) {
   if (s === void 0) return String(value);
   return s.length > 120 ? `${s.slice(0, 60)}\u2026${s.slice(-40)} (len ${s.length})` : s;
 }
-function deepEquals(a, b) {
+function toleranceFor(c) {
+  const tolerance = c.tolerance;
+  return typeof tolerance === "number" && Number.isFinite(tolerance) ? tolerance : void 0;
+}
+function deepEquals(a, b, tolerance) {
   if (Object.is(a, b)) return true;
+  if (typeof a === "number" && typeof b === "number") {
+    if (tolerance === void 0) return false;
+    const scale = Math.max(1, Math.abs(a), Math.abs(b));
+    return Math.abs(a - b) <= tolerance * scale;
+  }
   if (typeof a !== typeof b) return false;
   if (a === null || b === null) return false;
   if (Array.isArray(a) || Array.isArray(b)) {
     if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;
-    return a.every((v, i) => deepEquals(v, b[i]));
+    return a.every((v, i) => deepEquals(v, b[i], tolerance));
   }
   if (typeof a === "object") {
     const ka = Object.keys(a).sort();
     const kb = Object.keys(b).sort();
     if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;
     return ka.every(
-      (k) => deepEquals(a[k], b[k])
+      (k) => deepEquals(a[k], b[k], tolerance)
     );
   }
   return false;

package/dist/index.cjs.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts"],"sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { dirname, join, relative, resolve, sep } from \"node:path\";\nimport { fileURLToPath } from \"node:url\";\n\nimport type {\n  CaseResult,\n  ConformanceCase,\n  Language,\n  RunSummary,\n  Suite,\n  SuiteManifest,\n} from \"./types\";\n\nexport * from \"./types\";\n\n/**\n * The repository root, whether this is running from `dist/` in an installed\n * package or from `src/` in a checkout.\n *\n * Resolved by walking up to the directory that holds `suites/`, rather than by\n * a fixed `../..`. The two existing parity harnesses in this suite both\n * hard-coded a relative path to a sibling checkout (`../../holy-sheet/src/`),\n * which is why they work in exactly one directory layout and silently no-op\n * everywhere else. This package must not repeat that.\n */\nfunction packageRoot(): string {\n  let dir = dirname(fileURLToPath(import.meta.url));\n\n  for (let i = 0; i < 6; i++) {\n    try {\n      if (statSync(join(dir, \"suites\")).isDirectory()) {\n        return dir;\n      }\n    } catch {\n      // keep walking\n    }\n    const parent = dirname(dir);\n    if (parent === dir) break;\n    dir = parent;\n  }\n\n  throw new Error(\n    \"fancy-conformance: could not locate the suites/ directory. \" +\n      \"If you vendored this package, keep suites/ next to dist/.\",\n  );\n}\n\n/** The suite collection's own version — the thing a runner must print. */\nexport function suiteVersion(): string {\n  return readFileSync(join(packageRoot(), \"VERSION\"), \"utf8\").trim();\n}\n\n/** Every suite id present, e.g. `[\"shared/decimal\", \"shared/satisfies-range\", …]`. */\nexport function listSuites(): string[] {\n  const root = join(packageRoot(), \"suites\");\n  const found: string[] = [];\n\n  const walk = (dir: string): void => {\n    for (const entry of readdirSync(dir, { withFileTypes: true })) {\n      if (!entry.isDirectory()) continue;\n      const child = join(dir, entry.name);\n      try {\n        statSync(join(child, \"manifest.json\"));\n        found.push(relative(root, child).split(sep).join(\"/\"));\n      } catch {\n        walk(child);\n      }\n    }\n  };\n\n  walk(root);\n  return found.sort();\n}\n\n/** Load one suite's manifest and cases. Throws rather than returning a partial. */\nexport function loadSuite(id: string): Suite {\n  return loadSuiteFrom(packageRoot(), id);\n}\n\n/**\n * Load a suite from an explicit root.\n *\n * Exported so the load-time guards below can be tested against a throwaway\n * fixture tree, rather than a test re-implementing them. A guard asserted by a\n * copy of itself is the failure mode this whole repository exists to stop, and\n * it would be an embarrassing one to ship here.\n */\nexport function loadSuiteFrom(root: string, id: string): Suite {\n  const dir = join(root, \"suites\", ...id.split(\"/\"));\n  const manifest = JSON.parse(readFileSync(join(dir, \"manifest.json\"), \"utf8\")) as SuiteManifest;\n\n  if (manifest.caseFormat !== \"table\") {\n    throw new Error(\n      `fancy-conformance: suite \"${id}\" uses caseFormat \"${manifest.caseFormat}\", ` +\n        \"which loadSuite() does not read. Use the artifact runner in runners/.\",\n    );\n  }\n\n  const table = JSON.parse(\n    readFileSync(join(dir, manifest.cases ?? \"cases.json\"), \"utf8\"),\n  ) as { cases: ConformanceCase[] };\n\n  assertUsableCases(id, table.cases);\n\n  return { manifest, cases: table.cases };\n}\n\n/**\n * Reject a case table that cannot do its job, at LOAD time.\n *\n * A skip with no reason, and a duplicate id, are both silent in every other\n * respect: the suite still loads, still reports green, and still covers less\n * than it appears to. That is the exact failure this repository exists to stop,\n * so it is a hard error here rather than a lint somewhere else.\n */\nfunction assertUsableCases(id: string, cases: ConformanceCase[]): void {\n  const seen = new Set<string>();\n\n  for (const c of cases) {\n    if (seen.has(c.id)) {\n      throw new Error(`fancy-conformance: suite \"${id}\" has duplicate case id \"${c.id}\".`);\n    }\n    seen.add(c.id);\n\n    for (const [lang, reason] of Object.entries(c.skip ?? {})) {\n      if (typeof reason !== \"string\" || reason.trim() === \"\") {\n        throw new Error(\n          `fancy-conformance: case \"${id}/${c.id}\" skips ${lang} with no reason. ` +\n            \"A skip must say why, because every runner prints it.\",\n        );\n      }\n    }\n  }\n}\n\nexport interface RunOptions {\n  /** Which language is under test — decides which `skip` entries apply. */\n  language: Language;\n  /**\n   * Compare a produced value with the expected one. Defaults to a\n   * canonicalising deep equality: object keys sorted, arrays order-sensitive.\n   */\n  equals?: (actual: unknown, expected: unknown) => boolean;\n}\n\n/**\n * Run one implementation against a table suite.\n *\n * `impl` receives the case and returns the value to compare. Throwing is a\n * failure, not a crash — a case that blows up is data about the implementation.\n */\nexport function runTable(\n  suiteId: string,\n  impl: (c: ConformanceCase) => unknown,\n  options: RunOptions,\n): RunSummary {\n  const { manifest, cases } = loadSuite(suiteId);\n  const equals = options.equals ?? deepEquals;\n  const results: CaseResult[] = [];\n\n  for (const c of cases) {\n    const reason = c.skip?.[options.language];\n    if (reason !== undefined) {\n      results.push({ id: c.id, title: c.title, status: \"skip\", reason });\n      continue;\n    }\n\n    let actual: unknown;\n    try {\n      actual = impl(c);\n    } catch (error) {\n      results.push({\n        id: c.id,\n        title: c.title,\n        status: \"fail\",\n        expected: c.expected,\n        actual: `threw: ${error instanceof Error ? error.message : String(error)}`,\n      });\n      continue;\n    }\n\n    results.push(\n      equals(actual, c.expected)\n        ? { id: c.id, title: c.title, status: \"pass\" }\n        : { id: c.id, title: c.title, status: \"fail\", expected: c.expected, actual },\n    );\n  }\n\n  const failed = results.filter((r) => r.status === \"fail\").length;\n\n  return {\n    suite: manifest.suite,\n    language: options.language,\n    suiteVersion: suiteVersion(),\n    passed: results.filter((r) => r.status === \"pass\").length,\n    failed,\n    skipped: results.filter((r) => r.status === \"skip\").length,\n    results,\n    ok: failed === 0,\n  };\n}\n\n/**\n * A summary a CI log can be read from — including every skip, by name and\n * reason.\n *\n * Skips are printed unconditionally and never folded into a count. \"3 skipped\"\n * in a log is indistinguishable from full coverage at a glance, which is how a\n * suite stops meaning anything without anyone deciding that it should.\n */\nexport function formatSummary(summary: RunSummary): string {\n  const lines: string[] = [\n    `${summary.suite} [${summary.language}] — fancy-conformance ${summary.suiteVersion}`,\n    `  ${summary.passed} passed, ${summary.failed} failed, ${summary.skipped} skipped`,\n  ];\n\n  for (const r of summary.results) {\n    if (r.status === \"skip\") {\n      lines.push(`  SKIP ${r.id} — ${r.reason}`);\n    }\n    if (r.status === \"fail\") {\n      lines.push(`  FAIL ${r.id} ${r.title}`);\n      lines.push(`       expected: ${preview(r.expected)}`);\n      lines.push(`       actual:   ${preview(r.actual)}`);\n    }\n  }\n\n  return lines.join(\"\\n\");\n}\n\nfunction preview(value: unknown): string {\n  const s = typeof value === \"string\" ? value : JSON.stringify(value);\n  if (s === undefined) return String(value);\n  return s.length > 120 ? `${s.slice(0, 60)}…${s.slice(-40)} (len ${s.length})` : s;\n}\n\n/** Order-sensitive for arrays, order-insensitive for object keys. */\nexport function deepEquals(a: unknown, b: unknown): boolean {\n  if (Object.is(a, b)) return true;\n  if (typeof a !== typeof b) return false;\n  if (a === null || b === null) return false;\n\n  if (Array.isArray(a) || Array.isArray(b)) {\n    if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;\n    return a.every((v, i) => deepEquals(v, b[i]));\n  }\n\n  if (typeof a === \"object\") {\n    const ka = Object.keys(a as object).sort();\n    const kb = Object.keys(b as object).sort();\n    if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;\n    return ka.every((k) =>\n      deepEquals((a as Record<string, unknown>)[k], (b as Record<string, unknown>)[k]),\n    );\n  }\n\n  return false;\n}\n\n/** Absolute path to a suite's directory — for runners that read artifacts. */\nexport function suitePath(id: string): string {\n  return resolve(join(packageRoot(), \"suites\", ...id.split(\"/\")));\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,qBAAoD;AACpD,uBAAsD;AACtD,sBAA8B;AAF9B;AAyBA,SAAS,cAAsB;AAC7B,MAAI,UAAM,8BAAQ,+BAAc,YAAY,GAAG,CAAC;AAEhD,WAAS,IAAI,GAAG,IAAI,GAAG,KAAK;AAC1B,QAAI;AACF,cAAI,6BAAS,uBAAK,KAAK,QAAQ,CAAC,EAAE,YAAY,GAAG;AAC/C,eAAO;AAAA,MACT;AAAA,IACF,QAAQ;AAAA,IAER;AACA,UAAM,aAAS,0BAAQ,GAAG;AAC1B,QAAI,WAAW,IAAK;AACpB,UAAM;AAAA,EACR;AAEA,QAAM,IAAI;AAAA,IACR;AAAA,EAEF;AACF;AAGO,SAAS,eAAuB;AACrC,aAAO,iCAAa,uBAAK,YAAY,GAAG,SAAS,GAAG,MAAM,EAAE,KAAK;AACnE;AAGO,SAAS,aAAuB;AACrC,QAAM,WAAO,uBAAK,YAAY,GAAG,QAAQ;AACzC,QAAM,QAAkB,CAAC;AAEzB,QAAM,OAAO,CAAC,QAAsB;AAClC,eAAW,aAAS,4BAAY,KAAK,EAAE,eAAe,KAAK,CAAC,GAAG;AAC7D,UAAI,CAAC,MAAM,YAAY,EAAG;AAC1B,YAAM,YAAQ,uBAAK,KAAK,MAAM,IAAI;AAClC,UAAI;AACF,yCAAS,uBAAK,OAAO,eAAe,CAAC;AACrC,cAAM,SAAK,2BAAS,MAAM,KAAK,EAAE,MAAM,oBAAG,EAAE,KAAK,GAAG,CAAC;AAAA,MACvD,QAAQ;AACN,aAAK,KAAK;AAAA,MACZ;AAAA,IACF;AAAA,EACF;AAEA,OAAK,IAAI;AACT,SAAO,MAAM,KAAK;AACpB;AAGO,SAAS,UAAU,IAAmB;AAC3C,SAAO,cAAc,YAAY,GAAG,EAAE;AACxC;AAUO,SAAS,cAAc,MAAc,IAAmB;AAC7D,QAAM,UAAM,uBAAK,MAAM,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC;AACjD,QAAM,WAAW,KAAK,UAAM,iCAAa,uBAAK,KAAK,eAAe,GAAG,MAAM,CAAC;AAE5E,MAAI,SAAS,eAAe,SAAS;AACnC,UAAM,IAAI;AAAA,MACR,6BAA6B,EAAE,sBAAsB,SAAS,UAAU;AAAA,IAE1E;AAAA,EACF;AAEA,QAAM,QAAQ,KAAK;AAAA,QACjB,iCAAa,uBAAK,KAAK,SAAS,SAAS,YAAY,GAAG,MAAM;AAAA,EAChE;AAEA,oBAAkB,IAAI,MAAM,KAAK;AAEjC,SAAO,EAAE,UAAU,OAAO,MAAM,MAAM;AACxC;AAUA,SAAS,kBAAkB,IAAY,OAAgC;AACrE,QAAM,OAAO,oBAAI,IAAY;AAE7B,aAAW,KAAK,OAAO;AACrB,QAAI,KAAK,IAAI,EAAE,EAAE,GAAG;AAClB,YAAM,IAAI,MAAM,6BAA6B,EAAE,4BAA4B,EAAE,EAAE,IAAI;AAAA,IACrF;AACA,SAAK,IAAI,EAAE,EAAE;AAEb,eAAW,CAAC,MAAM,MAAM,KAAK,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG;AACzD,UAAI,OAAO,WAAW,YAAY,OAAO,KAAK,MAAM,IAAI;AACtD,cAAM,IAAI;AAAA,UACR,4BAA4B,EAAE,IAAI,EAAE,EAAE,WAAW,IAAI;AAAA,QAEvD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAkBO,SAAS,SACd,SACA,MACA,SACY;AACZ,QAAM,EAAE,UAAU,MAAM,IAAI,UAAU,OAAO;AAC7C,QAAM,SAAS,QAAQ,UAAU;AACjC,QAAM,UAAwB,CAAC;AAE/B,aAAW,KAAK,OAAO;AACrB,UAAM,SAAS,EAAE,OAAO,QAAQ,QAAQ;AACxC,QAAI,WAAW,QAAW;AACxB,cAAQ,KAAK,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,OAAO,CAAC;AACjE;AAAA,IACF;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,KAAK,CAAC;AAAA,IACjB,SAAS,OAAO;AACd,cAAQ,KAAK;AAAA,QACX,IAAI,EAAE;AAAA,QACN,OAAO,EAAE;AAAA,QACT,QAAQ;AAAA,QACR,UAAU,EAAE;AAAA,QACZ,QAAQ,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,MAC1E,CAAC;AACD;AAAA,IACF;AAEA,YAAQ;AAAA,MACN,OAAO,QAAQ,EAAE,QAAQ,IACrB,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,OAAO,IAC3C,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,UAAU,EAAE,UAAU,OAAO;AAAA,IAC/E;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAE1D,SAAO;AAAA,IACL,OAAO,SAAS;AAAA,IAChB,UAAU,QAAQ;AAAA,IAClB,cAAc,aAAa;AAAA,IAC3B,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACnD;AAAA,IACA,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACpD;AAAA,IACA,IAAI,WAAW;AAAA,EACjB;AACF;AAUO,SAAS,cAAc,SAA6B;AACzD,QAAM,QAAkB;AAAA,IACtB,GAAG,QAAQ,KAAK,KAAK,QAAQ,QAAQ,8BAAyB,QAAQ,YAAY;AAAA,IAClF,KAAK,QAAQ,MAAM,YAAY,QAAQ,MAAM,YAAY,QAAQ,OAAO;AAAA,EAC1E;AAEA,aAAW,KAAK,QAAQ,SAAS;AAC/B,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,WAAM,EAAE,MAAM,EAAE;AAAA,IAC3C;AACA,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;AACtC,YAAM,KAAK,oBAAoB,QAAQ,EAAE,QAAQ,CAAC,EAAE;AACpD,YAAM,KAAK,oBAAoB,QAAQ,EAAE,MAAM,CAAC,EAAE;AAAA,IACpD;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,IAAI;AACxB;AAEA,SAAS,QAAQ,OAAwB;AACvC,QAAM,IAAI,OAAO,UAAU,WAAW,QAAQ,KAAK,UAAU,KAAK;AAClE,MAAI,MAAM,OAAW,QAAO,OAAO,KAAK;AACxC,SAAO,EAAE,SAAS,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAI,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,MAAM,MAAM;AAClF;AAGO,SAAS,WAAW,GAAY,GAAqB;AAC1D,MAAI,OAAO,GAAG,GAAG,CAAC,EAAG,QAAO;AAC5B,MAAI,OAAO,MAAM,OAAO,EAAG,QAAO;AAClC,MAAI,MAAM,QAAQ,MAAM,KAAM,QAAO;AAErC,MAAI,MAAM,QAAQ,CAAC,KAAK,MAAM,QAAQ,CAAC,GAAG;AACxC,QAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAQ,QAAO;AAC5E,WAAO,EAAE,MAAM,CAAC,GAAG,MAAM,WAAW,GAAG,EAAE,CAAC,CAAC,CAAC;AAAA,EAC9C;AAEA,MAAI,OAAO,MAAM,UAAU;AACzB,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,QAAI,GAAG,WAAW,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,MAAM,MAAM,GAAG,CAAC,CAAC,EAAG,QAAO;AACtE,WAAO,GAAG;AAAA,MAAM,CAAC,MACf,WAAY,EAA8B,CAAC,GAAI,EAA8B,CAAC,CAAC;AAAA,IACjF;AAAA,EACF;AAEA,SAAO;AACT;AAGO,SAAS,UAAU,IAAoB;AAC5C,aAAO,8BAAQ,uBAAK,YAAY,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;AAChE;","names":[]}
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { dirname, join, relative, resolve, sep } from \"node:path\";\nimport { fileURLToPath } from \"node:url\";\n\nimport type {\n  CaseResult,\n  ConformanceCase,\n  Language,\n  RunSummary,\n  Suite,\n  SuiteManifest,\n} from \"./types\";\n\nexport * from \"./types\";\n\n/**\n * The repository root, whether this is running from `dist/` in an installed\n * package or from `src/` in a checkout.\n *\n * Resolved by walking up to the directory that holds `suites/`, rather than by\n * a fixed `../..`. The two existing parity harnesses in this suite both\n * hard-coded a relative path to a sibling checkout (`../../holy-sheet/src/`),\n * which is why they work in exactly one directory layout and silently no-op\n * everywhere else. This package must not repeat that.\n */\nfunction packageRoot(): string {\n  let dir = dirname(fileURLToPath(import.meta.url));\n\n  for (let i = 0; i < 6; i++) {\n    try {\n      if (statSync(join(dir, \"suites\")).isDirectory()) {\n        return dir;\n      }\n    } catch {\n      // keep walking\n    }\n    const parent = dirname(dir);\n    if (parent === dir) break;\n    dir = parent;\n  }\n\n  throw new Error(\n    \"fancy-conformance: could not locate the suites/ directory. \" +\n      \"If you vendored this package, keep suites/ next to dist/.\",\n  );\n}\n\n/** The suite collection's own version — the thing a runner must print. */\nexport function suiteVersion(): string {\n  return readFileSync(join(packageRoot(), \"VERSION\"), \"utf8\").trim();\n}\n\n/** Every suite id present, e.g. `[\"shared/decimal\", \"shared/satisfies-range\", …]`. */\nexport function listSuites(): string[] {\n  const root = join(packageRoot(), \"suites\");\n  const found: string[] = [];\n\n  const walk = (dir: string): void => {\n    for (const entry of readdirSync(dir, { withFileTypes: true })) {\n      if (!entry.isDirectory()) continue;\n      const child = join(dir, entry.name);\n      try {\n        statSync(join(child, \"manifest.json\"));\n        found.push(relative(root, child).split(sep).join(\"/\"));\n      } catch {\n        walk(child);\n      }\n    }\n  };\n\n  walk(root);\n  return found.sort();\n}\n\n/** Load one suite's manifest and cases. Throws rather than returning a partial. */\nexport function loadSuite(id: string): Suite {\n  return loadSuiteFrom(packageRoot(), id);\n}\n\n/**\n * Load a suite from an explicit root.\n *\n * Exported so the load-time guards below can be tested against a throwaway\n * fixture tree, rather than a test re-implementing them. A guard asserted by a\n * copy of itself is the failure mode this whole repository exists to stop, and\n * it would be an embarrassing one to ship here.\n */\nexport function loadSuiteFrom(root: string, id: string): Suite {\n  const dir = join(root, \"suites\", ...id.split(\"/\"));\n  const manifest = JSON.parse(readFileSync(join(dir, \"manifest.json\"), \"utf8\")) as SuiteManifest;\n\n  if (manifest.caseFormat !== \"table\") {\n    throw new Error(\n      `fancy-conformance: suite \"${id}\" uses caseFormat \"${manifest.caseFormat}\", ` +\n        \"which loadSuite() does not read. Use the artifact runner in runners/.\",\n    );\n  }\n\n  const table = JSON.parse(\n    readFileSync(join(dir, manifest.cases ?? \"cases.json\"), \"utf8\"),\n  ) as { cases: ConformanceCase[] };\n\n  assertUsableCases(id, table.cases);\n\n  return { manifest, cases: table.cases };\n}\n\n/**\n * Reject a case table that cannot do its job, at LOAD time.\n *\n * A skip with no reason, and a duplicate id, are both silent in every other\n * respect: the suite still loads, still reports green, and still covers less\n * than it appears to. That is the exact failure this repository exists to stop,\n * so it is a hard error here rather than a lint somewhere else.\n */\nfunction assertUsableCases(id: string, cases: ConformanceCase[]): void {\n  const seen = new Set<string>();\n\n  for (const c of cases) {\n    if (seen.has(c.id)) {\n      throw new Error(`fancy-conformance: suite \"${id}\" has duplicate case id \"${c.id}\".`);\n    }\n    seen.add(c.id);\n\n    for (const [lang, reason] of Object.entries(c.skip ?? {})) {\n      if (typeof reason !== \"string\" || reason.trim() === \"\") {\n        throw new Error(\n          `fancy-conformance: case \"${id}/${c.id}\" skips ${lang} with no reason. ` +\n            \"A skip must say why, because every runner prints it.\",\n        );\n      }\n    }\n  }\n}\n\nexport interface RunOptions {\n  /** Which language is under test — decides which `skip` entries apply. */\n  language: Language;\n  /**\n   * Compare a produced value with the expected one. Defaults to a\n   * canonicalising deep equality: object keys sorted, arrays order-sensitive.\n   */\n  equals?: (actual: unknown, expected: unknown, tolerance?: number) => boolean;\n}\n\n/**\n * Run one implementation against a table suite.\n *\n * `impl` receives the case and returns the value to compare. Throwing is a\n * failure, not a crash — a case that blows up is data about the implementation.\n */\nexport function runTable(\n  suiteId: string,\n  impl: (c: ConformanceCase) => unknown,\n  options: RunOptions,\n): RunSummary {\n  const { manifest, cases } = loadSuite(suiteId);\n  const equals = options.equals ?? deepEquals;\n  const results: CaseResult[] = [];\n\n  for (const c of cases) {\n    const reason = c.skip?.[options.language];\n    if (reason !== undefined) {\n      results.push({ id: c.id, title: c.title, status: \"skip\", reason });\n      continue;\n    }\n\n    let actual: unknown;\n    try {\n      actual = impl(c);\n    } catch (error) {\n      results.push({\n        id: c.id,\n        title: c.title,\n        status: \"fail\",\n        expected: c.expected,\n        actual: `threw: ${error instanceof Error ? error.message : String(error)}`,\n      });\n      continue;\n    }\n\n    results.push(\n      equals(actual, c.expected, toleranceFor(c))\n        ? { id: c.id, title: c.title, status: \"pass\" }\n        : { id: c.id, title: c.title, status: \"fail\", expected: c.expected, actual },\n    );\n  }\n\n  const failed = results.filter((r) => r.status === \"fail\").length;\n\n  return {\n    suite: manifest.suite,\n    language: options.language,\n    suiteVersion: suiteVersion(),\n    passed: results.filter((r) => r.status === \"pass\").length,\n    failed,\n    skipped: results.filter((r) => r.status === \"skip\").length,\n    results,\n    ok: failed === 0,\n  };\n}\n\n/**\n * A summary a CI log can be read from — including every skip, by name and\n * reason.\n *\n * Skips are printed unconditionally and never folded into a count. \"3 skipped\"\n * in a log is indistinguishable from full coverage at a glance, which is how a\n * suite stops meaning anything without anyone deciding that it should.\n */\nexport function formatSummary(summary: RunSummary): string {\n  const lines: string[] = [\n    `${summary.suite} [${summary.language}] — fancy-conformance ${summary.suiteVersion}`,\n    `  ${summary.passed} passed, ${summary.failed} failed, ${summary.skipped} skipped`,\n  ];\n\n  for (const r of summary.results) {\n    if (r.status === \"skip\") {\n      lines.push(`  SKIP ${r.id} — ${r.reason}`);\n    }\n    if (r.status === \"fail\") {\n      lines.push(`  FAIL ${r.id} ${r.title}`);\n      lines.push(`       expected: ${preview(r.expected)}`);\n      lines.push(`       actual:   ${preview(r.actual)}`);\n    }\n  }\n\n  return lines.join(\"\\n\");\n}\n\nfunction preview(value: unknown): string {\n  const s = typeof value === \"string\" ? value : JSON.stringify(value);\n  if (s === undefined) return String(value);\n  return s.length > 120 ? `${s.slice(0, 60)}…${s.slice(-40)} (len ${s.length})` : s;\n}\n\n/** Order-sensitive for arrays, order-insensitive for object keys. */\n/**\n * A case's declared float tolerance, or `undefined` for exact comparison.\n *\n * Declared ON THE ROW so it is visible in the fixtures and in any diff of them.\n * A global epsilon is invisible: nobody reading a case can tell whether it is\n * asserting a value or a neighbourhood.\n *\n * A non-finite or boolean `tolerance` is ignored rather than trusted — a stray\n * `true` coerces to 1 in JavaScript, which would silently widen a row to accept\n * almost anything while still looking strict.\n */\nfunction toleranceFor(c: ConformanceCase): number | undefined {\n  const tolerance = (c as { tolerance?: unknown }).tolerance;\n  return typeof tolerance === \"number\" && Number.isFinite(tolerance) ? tolerance : undefined;\n}\n\nexport function deepEquals(a: unknown, b: unknown, tolerance?: number): boolean {\n  if (Object.is(a, b)) return true;\n\n  // Numbers compare EXACTLY unless the case declares a tolerance.\n  //\n  // This loader was already exact while PHP, Python and Rust used a scaled\n  // 1e-12 epsilon -- a 3-1 split in the package whose product is agreement, and\n  // recorded as such in AGENTS.md for months. The other three now match THIS\n  // one, because the epsilon's stated justification turned out to be false:\n  // every hard literal (0.002, 0.1, 1e300, DBL_MAX, the 5e-324 denormal)\n  // parses to bit-identical doubles in all three languages.\n  //\n  // The tolerance is per-case and declared on the row, so it is visible in the\n  // fixture rather than being a global behaviour a reader cannot see.\n  if (typeof a === \"number\" && typeof b === \"number\") {\n    if (tolerance === undefined) return false;\n    const scale = Math.max(1, Math.abs(a), Math.abs(b));\n    return Math.abs(a - b) <= tolerance * scale;\n  }\n\n  if (typeof a !== typeof b) return false;\n  if (a === null || b === null) return false;\n\n  if (Array.isArray(a) || Array.isArray(b)) {\n    if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;\n    return a.every((v, i) => deepEquals(v, b[i], tolerance));\n  }\n\n  if (typeof a === \"object\") {\n    const ka = Object.keys(a as object).sort();\n    const kb = Object.keys(b as object).sort();\n    if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;\n    return ka.every((k) =>\n      deepEquals((a as Record<string, unknown>)[k], (b as Record<string, unknown>)[k], tolerance),\n    );\n  }\n\n  return false;\n}\n\n/** Absolute path to a suite's directory — for runners that read artifacts. */\nexport function suitePath(id: string): string {\n  return resolve(join(packageRoot(), \"suites\", ...id.split(\"/\")));\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,qBAAoD;AACpD,uBAAsD;AACtD,sBAA8B;AAF9B;AAyBA,SAAS,cAAsB;AAC7B,MAAI,UAAM,8BAAQ,+BAAc,YAAY,GAAG,CAAC;AAEhD,WAAS,IAAI,GAAG,IAAI,GAAG,KAAK;AAC1B,QAAI;AACF,cAAI,6BAAS,uBAAK,KAAK,QAAQ,CAAC,EAAE,YAAY,GAAG;AAC/C,eAAO;AAAA,MACT;AAAA,IACF,QAAQ;AAAA,IAER;AACA,UAAM,aAAS,0BAAQ,GAAG;AAC1B,QAAI,WAAW,IAAK;AACpB,UAAM;AAAA,EACR;AAEA,QAAM,IAAI;AAAA,IACR;AAAA,EAEF;AACF;AAGO,SAAS,eAAuB;AACrC,aAAO,iCAAa,uBAAK,YAAY,GAAG,SAAS,GAAG,MAAM,EAAE,KAAK;AACnE;AAGO,SAAS,aAAuB;AACrC,QAAM,WAAO,uBAAK,YAAY,GAAG,QAAQ;AACzC,QAAM,QAAkB,CAAC;AAEzB,QAAM,OAAO,CAAC,QAAsB;AAClC,eAAW,aAAS,4BAAY,KAAK,EAAE,eAAe,KAAK,CAAC,GAAG;AAC7D,UAAI,CAAC,MAAM,YAAY,EAAG;AAC1B,YAAM,YAAQ,uBAAK,KAAK,MAAM,IAAI;AAClC,UAAI;AACF,yCAAS,uBAAK,OAAO,eAAe,CAAC;AACrC,cAAM,SAAK,2BAAS,MAAM,KAAK,EAAE,MAAM,oBAAG,EAAE,KAAK,GAAG,CAAC;AAAA,MACvD,QAAQ;AACN,aAAK,KAAK;AAAA,MACZ;AAAA,IACF;AAAA,EACF;AAEA,OAAK,IAAI;AACT,SAAO,MAAM,KAAK;AACpB;AAGO,SAAS,UAAU,IAAmB;AAC3C,SAAO,cAAc,YAAY,GAAG,EAAE;AACxC;AAUO,SAAS,cAAc,MAAc,IAAmB;AAC7D,QAAM,UAAM,uBAAK,MAAM,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC;AACjD,QAAM,WAAW,KAAK,UAAM,iCAAa,uBAAK,KAAK,eAAe,GAAG,MAAM,CAAC;AAE5E,MAAI,SAAS,eAAe,SAAS;AACnC,UAAM,IAAI;AAAA,MACR,6BAA6B,EAAE,sBAAsB,SAAS,UAAU;AAAA,IAE1E;AAAA,EACF;AAEA,QAAM,QAAQ,KAAK;AAAA,QACjB,iCAAa,uBAAK,KAAK,SAAS,SAAS,YAAY,GAAG,MAAM;AAAA,EAChE;AAEA,oBAAkB,IAAI,MAAM,KAAK;AAEjC,SAAO,EAAE,UAAU,OAAO,MAAM,MAAM;AACxC;AAUA,SAAS,kBAAkB,IAAY,OAAgC;AACrE,QAAM,OAAO,oBAAI,IAAY;AAE7B,aAAW,KAAK,OAAO;AACrB,QAAI,KAAK,IAAI,EAAE,EAAE,GAAG;AAClB,YAAM,IAAI,MAAM,6BAA6B,EAAE,4BAA4B,EAAE,EAAE,IAAI;AAAA,IACrF;AACA,SAAK,IAAI,EAAE,EAAE;AAEb,eAAW,CAAC,MAAM,MAAM,KAAK,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG;AACzD,UAAI,OAAO,WAAW,YAAY,OAAO,KAAK,MAAM,IAAI;AACtD,cAAM,IAAI;AAAA,UACR,4BAA4B,EAAE,IAAI,EAAE,EAAE,WAAW,IAAI;AAAA,QAEvD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAkBO,SAAS,SACd,SACA,MACA,SACY;AACZ,QAAM,EAAE,UAAU,MAAM,IAAI,UAAU,OAAO;AAC7C,QAAM,SAAS,QAAQ,UAAU;AACjC,QAAM,UAAwB,CAAC;AAE/B,aAAW,KAAK,OAAO;AACrB,UAAM,SAAS,EAAE,OAAO,QAAQ,QAAQ;AACxC,QAAI,WAAW,QAAW;AACxB,cAAQ,KAAK,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,OAAO,CAAC;AACjE;AAAA,IACF;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,KAAK,CAAC;AAAA,IACjB,SAAS,OAAO;AACd,cAAQ,KAAK;AAAA,QACX,IAAI,EAAE;AAAA,QACN,OAAO,EAAE;AAAA,QACT,QAAQ;AAAA,QACR,UAAU,EAAE;AAAA,QACZ,QAAQ,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,MAC1E,CAAC;AACD;AAAA,IACF;AAEA,YAAQ;AAAA,MACN,OAAO,QAAQ,EAAE,UAAU,aAAa,CAAC,CAAC,IACtC,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,OAAO,IAC3C,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,UAAU,EAAE,UAAU,OAAO;AAAA,IAC/E;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAE1D,SAAO;AAAA,IACL,OAAO,SAAS;AAAA,IAChB,UAAU,QAAQ;AAAA,IAClB,cAAc,aAAa;AAAA,IAC3B,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACnD;AAAA,IACA,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACpD;AAAA,IACA,IAAI,WAAW;AAAA,EACjB;AACF;AAUO,SAAS,cAAc,SAA6B;AACzD,QAAM,QAAkB;AAAA,IACtB,GAAG,QAAQ,KAAK,KAAK,QAAQ,QAAQ,8BAAyB,QAAQ,YAAY;AAAA,IAClF,KAAK,QAAQ,MAAM,YAAY,QAAQ,MAAM,YAAY,QAAQ,OAAO;AAAA,EAC1E;AAEA,aAAW,KAAK,QAAQ,SAAS;AAC/B,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,WAAM,EAAE,MAAM,EAAE;AAAA,IAC3C;AACA,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;AACtC,YAAM,KAAK,oBAAoB,QAAQ,EAAE,QAAQ,CAAC,EAAE;AACpD,YAAM,KAAK,oBAAoB,QAAQ,EAAE,MAAM,CAAC,EAAE;AAAA,IACpD;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,IAAI;AACxB;AAEA,SAAS,QAAQ,OAAwB;AACvC,QAAM,IAAI,OAAO,UAAU,WAAW,QAAQ,KAAK,UAAU,KAAK;AAClE,MAAI,MAAM,OAAW,QAAO,OAAO,KAAK;AACxC,SAAO,EAAE,SAAS,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAI,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,MAAM,MAAM;AAClF;AAcA,SAAS,aAAa,GAAwC;AAC5D,QAAM,YAAa,EAA8B;AACjD,SAAO,OAAO,cAAc,YAAY,OAAO,SAAS,SAAS,IAAI,YAAY;AACnF;AAEO,SAAS,WAAW,GAAY,GAAY,WAA6B;AAC9E,MAAI,OAAO,GAAG,GAAG,CAAC,EAAG,QAAO;AAa5B,MAAI,OAAO,MAAM,YAAY,OAAO,MAAM,UAAU;AAClD,QAAI,cAAc,OAAW,QAAO;AACpC,UAAM,QAAQ,KAAK,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;AAClD,WAAO,KAAK,IAAI,IAAI,CAAC,KAAK,YAAY;AAAA,EACxC;AAEA,MAAI,OAAO,MAAM,OAAO,EAAG,QAAO;AAClC,MAAI,MAAM,QAAQ,MAAM,KAAM,QAAO;AAErC,MAAI,MAAM,QAAQ,CAAC,KAAK,MAAM,QAAQ,CAAC,GAAG;AACxC,QAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAQ,QAAO;AAC5E,WAAO,EAAE,MAAM,CAAC,GAAG,MAAM,WAAW,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC;AAAA,EACzD;AAEA,MAAI,OAAO,MAAM,UAAU;AACzB,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,QAAI,GAAG,WAAW,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,MAAM,MAAM,GAAG,CAAC,CAAC,EAAG,QAAO;AACtE,WAAO,GAAG;AAAA,MAAM,CAAC,MACf,WAAY,EAA8B,CAAC,GAAI,EAA8B,CAAC,GAAG,SAAS;AAAA,IAC5F;AAAA,EACF;AAEA,SAAO;AACT;AAGO,SAAS,UAAU,IAAoB;AAC5C,aAAO,8BAAQ,uBAAK,YAAY,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;AAChE;","names":[]}

package/dist/index.d.cts

@@ -99,7 +99,7 @@ interface RunOptions {
      * Compare a produced value with the expected one. Defaults to a
      * canonicalising deep equality: object keys sorted, arrays order-sensitive.
      */
-    equals?: (actual: unknown, expected: unknown) => boolean;
+    equals?: (actual: unknown, expected: unknown, tolerance?: number) => boolean;
 }
 /**
  * Run one implementation against a table suite.
@@ -117,8 +117,7 @@ declare function runTable(suiteId: string, impl: (c: ConformanceCase) => unknown
  * suite stops meaning anything without anyone deciding that it should.
  */
 declare function formatSummary(summary: RunSummary): string;
-/** Order-sensitive for arrays, order-insensitive for object keys. */
-declare function deepEquals(a: unknown, b: unknown): boolean;
+declare function deepEquals(a: unknown, b: unknown, tolerance?: number): boolean;
 /** Absolute path to a suite's directory — for runners that read artifacts. */
 declare function suitePath(id: string): string;
 

package/dist/index.d.ts

@@ -99,7 +99,7 @@ interface RunOptions {
      * Compare a produced value with the expected one. Defaults to a
      * canonicalising deep equality: object keys sorted, arrays order-sensitive.
      */
-    equals?: (actual: unknown, expected: unknown) => boolean;
+    equals?: (actual: unknown, expected: unknown, tolerance?: number) => boolean;
 }
 /**
  * Run one implementation against a table suite.
@@ -117,8 +117,7 @@ declare function runTable(suiteId: string, impl: (c: ConformanceCase) => unknown
  * suite stops meaning anything without anyone deciding that it should.
  */
 declare function formatSummary(summary: RunSummary): string;
-/** Order-sensitive for arrays, order-insensitive for object keys. */
-declare function deepEquals(a: unknown, b: unknown): boolean;
+declare function deepEquals(a: unknown, b: unknown, tolerance?: number): boolean;
 /** Absolute path to a suite's directory — for runners that read artifacts. */
 declare function suitePath(id: string): string;
 

package/dist/index.js

@@ -97,7 +97,7 @@ function runTable(suiteId, impl, options) {
       continue;
     }
     results.push(
-      equals(actual, c.expected) ? { id: c.id, title: c.title, status: "pass" } : { id: c.id, title: c.title, status: "fail", expected: c.expected, actual }
+      equals(actual, c.expected, toleranceFor(c)) ? { id: c.id, title: c.title, status: "pass" } : { id: c.id, title: c.title, status: "fail", expected: c.expected, actual }
     );
   }
   const failed = results.filter((r) => r.status === "fail").length;
@@ -134,20 +134,29 @@ function preview(value) {
   if (s === void 0) return String(value);
   return s.length > 120 ? `${s.slice(0, 60)}\u2026${s.slice(-40)} (len ${s.length})` : s;
 }
-function deepEquals(a, b) {
+function toleranceFor(c) {
+  const tolerance = c.tolerance;
+  return typeof tolerance === "number" && Number.isFinite(tolerance) ? tolerance : void 0;
+}
+function deepEquals(a, b, tolerance) {
   if (Object.is(a, b)) return true;
+  if (typeof a === "number" && typeof b === "number") {
+    if (tolerance === void 0) return false;
+    const scale = Math.max(1, Math.abs(a), Math.abs(b));
+    return Math.abs(a - b) <= tolerance * scale;
+  }
   if (typeof a !== typeof b) return false;
   if (a === null || b === null) return false;
   if (Array.isArray(a) || Array.isArray(b)) {
     if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;
-    return a.every((v, i) => deepEquals(v, b[i]));
+    return a.every((v, i) => deepEquals(v, b[i], tolerance));
   }
   if (typeof a === "object") {
     const ka = Object.keys(a).sort();
     const kb = Object.keys(b).sort();
     if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;
     return ka.every(
-      (k) => deepEquals(a[k], b[k])
+      (k) => deepEquals(a[k], b[k], tolerance)
     );
   }
   return false;

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/index.ts"],"sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { dirname, join, relative, resolve, sep } from \"node:path\";\nimport { fileURLToPath } from \"node:url\";\n\nimport type {\n  CaseResult,\n  ConformanceCase,\n  Language,\n  RunSummary,\n  Suite,\n  SuiteManifest,\n} from \"./types\";\n\nexport * from \"./types\";\n\n/**\n * The repository root, whether this is running from `dist/` in an installed\n * package or from `src/` in a checkout.\n *\n * Resolved by walking up to the directory that holds `suites/`, rather than by\n * a fixed `../..`. The two existing parity harnesses in this suite both\n * hard-coded a relative path to a sibling checkout (`../../holy-sheet/src/`),\n * which is why they work in exactly one directory layout and silently no-op\n * everywhere else. This package must not repeat that.\n */\nfunction packageRoot(): string {\n  let dir = dirname(fileURLToPath(import.meta.url));\n\n  for (let i = 0; i < 6; i++) {\n    try {\n      if (statSync(join(dir, \"suites\")).isDirectory()) {\n        return dir;\n      }\n    } catch {\n      // keep walking\n    }\n    const parent = dirname(dir);\n    if (parent === dir) break;\n    dir = parent;\n  }\n\n  throw new Error(\n    \"fancy-conformance: could not locate the suites/ directory. \" +\n      \"If you vendored this package, keep suites/ next to dist/.\",\n  );\n}\n\n/** The suite collection's own version — the thing a runner must print. */\nexport function suiteVersion(): string {\n  return readFileSync(join(packageRoot(), \"VERSION\"), \"utf8\").trim();\n}\n\n/** Every suite id present, e.g. `[\"shared/decimal\", \"shared/satisfies-range\", …]`. */\nexport function listSuites(): string[] {\n  const root = join(packageRoot(), \"suites\");\n  const found: string[] = [];\n\n  const walk = (dir: string): void => {\n    for (const entry of readdirSync(dir, { withFileTypes: true })) {\n      if (!entry.isDirectory()) continue;\n      const child = join(dir, entry.name);\n      try {\n        statSync(join(child, \"manifest.json\"));\n        found.push(relative(root, child).split(sep).join(\"/\"));\n      } catch {\n        walk(child);\n      }\n    }\n  };\n\n  walk(root);\n  return found.sort();\n}\n\n/** Load one suite's manifest and cases. Throws rather than returning a partial. */\nexport function loadSuite(id: string): Suite {\n  return loadSuiteFrom(packageRoot(), id);\n}\n\n/**\n * Load a suite from an explicit root.\n *\n * Exported so the load-time guards below can be tested against a throwaway\n * fixture tree, rather than a test re-implementing them. A guard asserted by a\n * copy of itself is the failure mode this whole repository exists to stop, and\n * it would be an embarrassing one to ship here.\n */\nexport function loadSuiteFrom(root: string, id: string): Suite {\n  const dir = join(root, \"suites\", ...id.split(\"/\"));\n  const manifest = JSON.parse(readFileSync(join(dir, \"manifest.json\"), \"utf8\")) as SuiteManifest;\n\n  if (manifest.caseFormat !== \"table\") {\n    throw new Error(\n      `fancy-conformance: suite \"${id}\" uses caseFormat \"${manifest.caseFormat}\", ` +\n        \"which loadSuite() does not read. Use the artifact runner in runners/.\",\n    );\n  }\n\n  const table = JSON.parse(\n    readFileSync(join(dir, manifest.cases ?? \"cases.json\"), \"utf8\"),\n  ) as { cases: ConformanceCase[] };\n\n  assertUsableCases(id, table.cases);\n\n  return { manifest, cases: table.cases };\n}\n\n/**\n * Reject a case table that cannot do its job, at LOAD time.\n *\n * A skip with no reason, and a duplicate id, are both silent in every other\n * respect: the suite still loads, still reports green, and still covers less\n * than it appears to. That is the exact failure this repository exists to stop,\n * so it is a hard error here rather than a lint somewhere else.\n */\nfunction assertUsableCases(id: string, cases: ConformanceCase[]): void {\n  const seen = new Set<string>();\n\n  for (const c of cases) {\n    if (seen.has(c.id)) {\n      throw new Error(`fancy-conformance: suite \"${id}\" has duplicate case id \"${c.id}\".`);\n    }\n    seen.add(c.id);\n\n    for (const [lang, reason] of Object.entries(c.skip ?? {})) {\n      if (typeof reason !== \"string\" || reason.trim() === \"\") {\n        throw new Error(\n          `fancy-conformance: case \"${id}/${c.id}\" skips ${lang} with no reason. ` +\n            \"A skip must say why, because every runner prints it.\",\n        );\n      }\n    }\n  }\n}\n\nexport interface RunOptions {\n  /** Which language is under test — decides which `skip` entries apply. */\n  language: Language;\n  /**\n   * Compare a produced value with the expected one. Defaults to a\n   * canonicalising deep equality: object keys sorted, arrays order-sensitive.\n   */\n  equals?: (actual: unknown, expected: unknown) => boolean;\n}\n\n/**\n * Run one implementation against a table suite.\n *\n * `impl` receives the case and returns the value to compare. Throwing is a\n * failure, not a crash — a case that blows up is data about the implementation.\n */\nexport function runTable(\n  suiteId: string,\n  impl: (c: ConformanceCase) => unknown,\n  options: RunOptions,\n): RunSummary {\n  const { manifest, cases } = loadSuite(suiteId);\n  const equals = options.equals ?? deepEquals;\n  const results: CaseResult[] = [];\n\n  for (const c of cases) {\n    const reason = c.skip?.[options.language];\n    if (reason !== undefined) {\n      results.push({ id: c.id, title: c.title, status: \"skip\", reason });\n      continue;\n    }\n\n    let actual: unknown;\n    try {\n      actual = impl(c);\n    } catch (error) {\n      results.push({\n        id: c.id,\n        title: c.title,\n        status: \"fail\",\n        expected: c.expected,\n        actual: `threw: ${error instanceof Error ? error.message : String(error)}`,\n      });\n      continue;\n    }\n\n    results.push(\n      equals(actual, c.expected)\n        ? { id: c.id, title: c.title, status: \"pass\" }\n        : { id: c.id, title: c.title, status: \"fail\", expected: c.expected, actual },\n    );\n  }\n\n  const failed = results.filter((r) => r.status === \"fail\").length;\n\n  return {\n    suite: manifest.suite,\n    language: options.language,\n    suiteVersion: suiteVersion(),\n    passed: results.filter((r) => r.status === \"pass\").length,\n    failed,\n    skipped: results.filter((r) => r.status === \"skip\").length,\n    results,\n    ok: failed === 0,\n  };\n}\n\n/**\n * A summary a CI log can be read from — including every skip, by name and\n * reason.\n *\n * Skips are printed unconditionally and never folded into a count. \"3 skipped\"\n * in a log is indistinguishable from full coverage at a glance, which is how a\n * suite stops meaning anything without anyone deciding that it should.\n */\nexport function formatSummary(summary: RunSummary): string {\n  const lines: string[] = [\n    `${summary.suite} [${summary.language}] — fancy-conformance ${summary.suiteVersion}`,\n    `  ${summary.passed} passed, ${summary.failed} failed, ${summary.skipped} skipped`,\n  ];\n\n  for (const r of summary.results) {\n    if (r.status === \"skip\") {\n      lines.push(`  SKIP ${r.id} — ${r.reason}`);\n    }\n    if (r.status === \"fail\") {\n      lines.push(`  FAIL ${r.id} ${r.title}`);\n      lines.push(`       expected: ${preview(r.expected)}`);\n      lines.push(`       actual:   ${preview(r.actual)}`);\n    }\n  }\n\n  return lines.join(\"\\n\");\n}\n\nfunction preview(value: unknown): string {\n  const s = typeof value === \"string\" ? value : JSON.stringify(value);\n  if (s === undefined) return String(value);\n  return s.length > 120 ? `${s.slice(0, 60)}…${s.slice(-40)} (len ${s.length})` : s;\n}\n\n/** Order-sensitive for arrays, order-insensitive for object keys. */\nexport function deepEquals(a: unknown, b: unknown): boolean {\n  if (Object.is(a, b)) return true;\n  if (typeof a !== typeof b) return false;\n  if (a === null || b === null) return false;\n\n  if (Array.isArray(a) || Array.isArray(b)) {\n    if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;\n    return a.every((v, i) => deepEquals(v, b[i]));\n  }\n\n  if (typeof a === \"object\") {\n    const ka = Object.keys(a as object).sort();\n    const kb = Object.keys(b as object).sort();\n    if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;\n    return ka.every((k) =>\n      deepEquals((a as Record<string, unknown>)[k], (b as Record<string, unknown>)[k]),\n    );\n  }\n\n  return false;\n}\n\n/** Absolute path to a suite's directory — for runners that read artifacts. */\nexport function suitePath(id: string): string {\n  return resolve(join(packageRoot(), \"suites\", ...id.split(\"/\")));\n}\n"],"mappings":";AAAA,SAAS,cAAc,aAAa,gBAAgB;AACpD,SAAS,SAAS,MAAM,UAAU,SAAS,WAAW;AACtD,SAAS,qBAAqB;AAuB9B,SAAS,cAAsB;AAC7B,MAAI,MAAM,QAAQ,cAAc,YAAY,GAAG,CAAC;AAEhD,WAAS,IAAI,GAAG,IAAI,GAAG,KAAK;AAC1B,QAAI;AACF,UAAI,SAAS,KAAK,KAAK,QAAQ,CAAC,EAAE,YAAY,GAAG;AAC/C,eAAO;AAAA,MACT;AAAA,IACF,QAAQ;AAAA,IAER;AACA,UAAM,SAAS,QAAQ,GAAG;AAC1B,QAAI,WAAW,IAAK;AACpB,UAAM;AAAA,EACR;AAEA,QAAM,IAAI;AAAA,IACR;AAAA,EAEF;AACF;AAGO,SAAS,eAAuB;AACrC,SAAO,aAAa,KAAK,YAAY,GAAG,SAAS,GAAG,MAAM,EAAE,KAAK;AACnE;AAGO,SAAS,aAAuB;AACrC,QAAM,OAAO,KAAK,YAAY,GAAG,QAAQ;AACzC,QAAM,QAAkB,CAAC;AAEzB,QAAM,OAAO,CAAC,QAAsB;AAClC,eAAW,SAAS,YAAY,KAAK,EAAE,eAAe,KAAK,CAAC,GAAG;AAC7D,UAAI,CAAC,MAAM,YAAY,EAAG;AAC1B,YAAM,QAAQ,KAAK,KAAK,MAAM,IAAI;AAClC,UAAI;AACF,iBAAS,KAAK,OAAO,eAAe,CAAC;AACrC,cAAM,KAAK,SAAS,MAAM,KAAK,EAAE,MAAM,GAAG,EAAE,KAAK,GAAG,CAAC;AAAA,MACvD,QAAQ;AACN,aAAK,KAAK;AAAA,MACZ;AAAA,IACF;AAAA,EACF;AAEA,OAAK,IAAI;AACT,SAAO,MAAM,KAAK;AACpB;AAGO,SAAS,UAAU,IAAmB;AAC3C,SAAO,cAAc,YAAY,GAAG,EAAE;AACxC;AAUO,SAAS,cAAc,MAAc,IAAmB;AAC7D,QAAM,MAAM,KAAK,MAAM,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC;AACjD,QAAM,WAAW,KAAK,MAAM,aAAa,KAAK,KAAK,eAAe,GAAG,MAAM,CAAC;AAE5E,MAAI,SAAS,eAAe,SAAS;AACnC,UAAM,IAAI;AAAA,MACR,6BAA6B,EAAE,sBAAsB,SAAS,UAAU;AAAA,IAE1E;AAAA,EACF;AAEA,QAAM,QAAQ,KAAK;AAAA,IACjB,aAAa,KAAK,KAAK,SAAS,SAAS,YAAY,GAAG,MAAM;AAAA,EAChE;AAEA,oBAAkB,IAAI,MAAM,KAAK;AAEjC,SAAO,EAAE,UAAU,OAAO,MAAM,MAAM;AACxC;AAUA,SAAS,kBAAkB,IAAY,OAAgC;AACrE,QAAM,OAAO,oBAAI,IAAY;AAE7B,aAAW,KAAK,OAAO;AACrB,QAAI,KAAK,IAAI,EAAE,EAAE,GAAG;AAClB,YAAM,IAAI,MAAM,6BAA6B,EAAE,4BAA4B,EAAE,EAAE,IAAI;AAAA,IACrF;AACA,SAAK,IAAI,EAAE,EAAE;AAEb,eAAW,CAAC,MAAM,MAAM,KAAK,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG;AACzD,UAAI,OAAO,WAAW,YAAY,OAAO,KAAK,MAAM,IAAI;AACtD,cAAM,IAAI;AAAA,UACR,4BAA4B,EAAE,IAAI,EAAE,EAAE,WAAW,IAAI;AAAA,QAEvD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAkBO,SAAS,SACd,SACA,MACA,SACY;AACZ,QAAM,EAAE,UAAU,MAAM,IAAI,UAAU,OAAO;AAC7C,QAAM,SAAS,QAAQ,UAAU;AACjC,QAAM,UAAwB,CAAC;AAE/B,aAAW,KAAK,OAAO;AACrB,UAAM,SAAS,EAAE,OAAO,QAAQ,QAAQ;AACxC,QAAI,WAAW,QAAW;AACxB,cAAQ,KAAK,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,OAAO,CAAC;AACjE;AAAA,IACF;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,KAAK,CAAC;AAAA,IACjB,SAAS,OAAO;AACd,cAAQ,KAAK;AAAA,QACX,IAAI,EAAE;AAAA,QACN,OAAO,EAAE;AAAA,QACT,QAAQ;AAAA,QACR,UAAU,EAAE;AAAA,QACZ,QAAQ,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,MAC1E,CAAC;AACD;AAAA,IACF;AAEA,YAAQ;AAAA,MACN,OAAO,QAAQ,EAAE,QAAQ,IACrB,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,OAAO,IAC3C,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,UAAU,EAAE,UAAU,OAAO;AAAA,IAC/E;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAE1D,SAAO;AAAA,IACL,OAAO,SAAS;AAAA,IAChB,UAAU,QAAQ;AAAA,IAClB,cAAc,aAAa;AAAA,IAC3B,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACnD;AAAA,IACA,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACpD;AAAA,IACA,IAAI,WAAW;AAAA,EACjB;AACF;AAUO,SAAS,cAAc,SAA6B;AACzD,QAAM,QAAkB;AAAA,IACtB,GAAG,QAAQ,KAAK,KAAK,QAAQ,QAAQ,8BAAyB,QAAQ,YAAY;AAAA,IAClF,KAAK,QAAQ,MAAM,YAAY,QAAQ,MAAM,YAAY,QAAQ,OAAO;AAAA,EAC1E;AAEA,aAAW,KAAK,QAAQ,SAAS;AAC/B,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,WAAM,EAAE,MAAM,EAAE;AAAA,IAC3C;AACA,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;AACtC,YAAM,KAAK,oBAAoB,QAAQ,EAAE,QAAQ,CAAC,EAAE;AACpD,YAAM,KAAK,oBAAoB,QAAQ,EAAE,MAAM,CAAC,EAAE;AAAA,IACpD;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,IAAI;AACxB;AAEA,SAAS,QAAQ,OAAwB;AACvC,QAAM,IAAI,OAAO,UAAU,WAAW,QAAQ,KAAK,UAAU,KAAK;AAClE,MAAI,MAAM,OAAW,QAAO,OAAO,KAAK;AACxC,SAAO,EAAE,SAAS,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAI,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,MAAM,MAAM;AAClF;AAGO,SAAS,WAAW,GAAY,GAAqB;AAC1D,MAAI,OAAO,GAAG,GAAG,CAAC,EAAG,QAAO;AAC5B,MAAI,OAAO,MAAM,OAAO,EAAG,QAAO;AAClC,MAAI,MAAM,QAAQ,MAAM,KAAM,QAAO;AAErC,MAAI,MAAM,QAAQ,CAAC,KAAK,MAAM,QAAQ,CAAC,GAAG;AACxC,QAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAQ,QAAO;AAC5E,WAAO,EAAE,MAAM,CAAC,GAAG,MAAM,WAAW,GAAG,EAAE,CAAC,CAAC,CAAC;AAAA,EAC9C;AAEA,MAAI,OAAO,MAAM,UAAU;AACzB,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,QAAI,GAAG,WAAW,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,MAAM,MAAM,GAAG,CAAC,CAAC,EAAG,QAAO;AACtE,WAAO,GAAG;AAAA,MAAM,CAAC,MACf,WAAY,EAA8B,CAAC,GAAI,EAA8B,CAAC,CAAC;AAAA,IACjF;AAAA,EACF;AAEA,SAAO;AACT;AAGO,SAAS,UAAU,IAAoB;AAC5C,SAAO,QAAQ,KAAK,YAAY,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;AAChE;","names":[]}
+{"version":3,"sources":["../src/index.ts"],"sourcesContent":["import { readFileSync, readdirSync, statSync } from \"node:fs\";\nimport { dirname, join, relative, resolve, sep } from \"node:path\";\nimport { fileURLToPath } from \"node:url\";\n\nimport type {\n  CaseResult,\n  ConformanceCase,\n  Language,\n  RunSummary,\n  Suite,\n  SuiteManifest,\n} from \"./types\";\n\nexport * from \"./types\";\n\n/**\n * The repository root, whether this is running from `dist/` in an installed\n * package or from `src/` in a checkout.\n *\n * Resolved by walking up to the directory that holds `suites/`, rather than by\n * a fixed `../..`. The two existing parity harnesses in this suite both\n * hard-coded a relative path to a sibling checkout (`../../holy-sheet/src/`),\n * which is why they work in exactly one directory layout and silently no-op\n * everywhere else. This package must not repeat that.\n */\nfunction packageRoot(): string {\n  let dir = dirname(fileURLToPath(import.meta.url));\n\n  for (let i = 0; i < 6; i++) {\n    try {\n      if (statSync(join(dir, \"suites\")).isDirectory()) {\n        return dir;\n      }\n    } catch {\n      // keep walking\n    }\n    const parent = dirname(dir);\n    if (parent === dir) break;\n    dir = parent;\n  }\n\n  throw new Error(\n    \"fancy-conformance: could not locate the suites/ directory. \" +\n      \"If you vendored this package, keep suites/ next to dist/.\",\n  );\n}\n\n/** The suite collection's own version — the thing a runner must print. */\nexport function suiteVersion(): string {\n  return readFileSync(join(packageRoot(), \"VERSION\"), \"utf8\").trim();\n}\n\n/** Every suite id present, e.g. `[\"shared/decimal\", \"shared/satisfies-range\", …]`. */\nexport function listSuites(): string[] {\n  const root = join(packageRoot(), \"suites\");\n  const found: string[] = [];\n\n  const walk = (dir: string): void => {\n    for (const entry of readdirSync(dir, { withFileTypes: true })) {\n      if (!entry.isDirectory()) continue;\n      const child = join(dir, entry.name);\n      try {\n        statSync(join(child, \"manifest.json\"));\n        found.push(relative(root, child).split(sep).join(\"/\"));\n      } catch {\n        walk(child);\n      }\n    }\n  };\n\n  walk(root);\n  return found.sort();\n}\n\n/** Load one suite's manifest and cases. Throws rather than returning a partial. */\nexport function loadSuite(id: string): Suite {\n  return loadSuiteFrom(packageRoot(), id);\n}\n\n/**\n * Load a suite from an explicit root.\n *\n * Exported so the load-time guards below can be tested against a throwaway\n * fixture tree, rather than a test re-implementing them. A guard asserted by a\n * copy of itself is the failure mode this whole repository exists to stop, and\n * it would be an embarrassing one to ship here.\n */\nexport function loadSuiteFrom(root: string, id: string): Suite {\n  const dir = join(root, \"suites\", ...id.split(\"/\"));\n  const manifest = JSON.parse(readFileSync(join(dir, \"manifest.json\"), \"utf8\")) as SuiteManifest;\n\n  if (manifest.caseFormat !== \"table\") {\n    throw new Error(\n      `fancy-conformance: suite \"${id}\" uses caseFormat \"${manifest.caseFormat}\", ` +\n        \"which loadSuite() does not read. Use the artifact runner in runners/.\",\n    );\n  }\n\n  const table = JSON.parse(\n    readFileSync(join(dir, manifest.cases ?? \"cases.json\"), \"utf8\"),\n  ) as { cases: ConformanceCase[] };\n\n  assertUsableCases(id, table.cases);\n\n  return { manifest, cases: table.cases };\n}\n\n/**\n * Reject a case table that cannot do its job, at LOAD time.\n *\n * A skip with no reason, and a duplicate id, are both silent in every other\n * respect: the suite still loads, still reports green, and still covers less\n * than it appears to. That is the exact failure this repository exists to stop,\n * so it is a hard error here rather than a lint somewhere else.\n */\nfunction assertUsableCases(id: string, cases: ConformanceCase[]): void {\n  const seen = new Set<string>();\n\n  for (const c of cases) {\n    if (seen.has(c.id)) {\n      throw new Error(`fancy-conformance: suite \"${id}\" has duplicate case id \"${c.id}\".`);\n    }\n    seen.add(c.id);\n\n    for (const [lang, reason] of Object.entries(c.skip ?? {})) {\n      if (typeof reason !== \"string\" || reason.trim() === \"\") {\n        throw new Error(\n          `fancy-conformance: case \"${id}/${c.id}\" skips ${lang} with no reason. ` +\n            \"A skip must say why, because every runner prints it.\",\n        );\n      }\n    }\n  }\n}\n\nexport interface RunOptions {\n  /** Which language is under test — decides which `skip` entries apply. */\n  language: Language;\n  /**\n   * Compare a produced value with the expected one. Defaults to a\n   * canonicalising deep equality: object keys sorted, arrays order-sensitive.\n   */\n  equals?: (actual: unknown, expected: unknown, tolerance?: number) => boolean;\n}\n\n/**\n * Run one implementation against a table suite.\n *\n * `impl` receives the case and returns the value to compare. Throwing is a\n * failure, not a crash — a case that blows up is data about the implementation.\n */\nexport function runTable(\n  suiteId: string,\n  impl: (c: ConformanceCase) => unknown,\n  options: RunOptions,\n): RunSummary {\n  const { manifest, cases } = loadSuite(suiteId);\n  const equals = options.equals ?? deepEquals;\n  const results: CaseResult[] = [];\n\n  for (const c of cases) {\n    const reason = c.skip?.[options.language];\n    if (reason !== undefined) {\n      results.push({ id: c.id, title: c.title, status: \"skip\", reason });\n      continue;\n    }\n\n    let actual: unknown;\n    try {\n      actual = impl(c);\n    } catch (error) {\n      results.push({\n        id: c.id,\n        title: c.title,\n        status: \"fail\",\n        expected: c.expected,\n        actual: `threw: ${error instanceof Error ? error.message : String(error)}`,\n      });\n      continue;\n    }\n\n    results.push(\n      equals(actual, c.expected, toleranceFor(c))\n        ? { id: c.id, title: c.title, status: \"pass\" }\n        : { id: c.id, title: c.title, status: \"fail\", expected: c.expected, actual },\n    );\n  }\n\n  const failed = results.filter((r) => r.status === \"fail\").length;\n\n  return {\n    suite: manifest.suite,\n    language: options.language,\n    suiteVersion: suiteVersion(),\n    passed: results.filter((r) => r.status === \"pass\").length,\n    failed,\n    skipped: results.filter((r) => r.status === \"skip\").length,\n    results,\n    ok: failed === 0,\n  };\n}\n\n/**\n * A summary a CI log can be read from — including every skip, by name and\n * reason.\n *\n * Skips are printed unconditionally and never folded into a count. \"3 skipped\"\n * in a log is indistinguishable from full coverage at a glance, which is how a\n * suite stops meaning anything without anyone deciding that it should.\n */\nexport function formatSummary(summary: RunSummary): string {\n  const lines: string[] = [\n    `${summary.suite} [${summary.language}] — fancy-conformance ${summary.suiteVersion}`,\n    `  ${summary.passed} passed, ${summary.failed} failed, ${summary.skipped} skipped`,\n  ];\n\n  for (const r of summary.results) {\n    if (r.status === \"skip\") {\n      lines.push(`  SKIP ${r.id} — ${r.reason}`);\n    }\n    if (r.status === \"fail\") {\n      lines.push(`  FAIL ${r.id} ${r.title}`);\n      lines.push(`       expected: ${preview(r.expected)}`);\n      lines.push(`       actual:   ${preview(r.actual)}`);\n    }\n  }\n\n  return lines.join(\"\\n\");\n}\n\nfunction preview(value: unknown): string {\n  const s = typeof value === \"string\" ? value : JSON.stringify(value);\n  if (s === undefined) return String(value);\n  return s.length > 120 ? `${s.slice(0, 60)}…${s.slice(-40)} (len ${s.length})` : s;\n}\n\n/** Order-sensitive for arrays, order-insensitive for object keys. */\n/**\n * A case's declared float tolerance, or `undefined` for exact comparison.\n *\n * Declared ON THE ROW so it is visible in the fixtures and in any diff of them.\n * A global epsilon is invisible: nobody reading a case can tell whether it is\n * asserting a value or a neighbourhood.\n *\n * A non-finite or boolean `tolerance` is ignored rather than trusted — a stray\n * `true` coerces to 1 in JavaScript, which would silently widen a row to accept\n * almost anything while still looking strict.\n */\nfunction toleranceFor(c: ConformanceCase): number | undefined {\n  const tolerance = (c as { tolerance?: unknown }).tolerance;\n  return typeof tolerance === \"number\" && Number.isFinite(tolerance) ? tolerance : undefined;\n}\n\nexport function deepEquals(a: unknown, b: unknown, tolerance?: number): boolean {\n  if (Object.is(a, b)) return true;\n\n  // Numbers compare EXACTLY unless the case declares a tolerance.\n  //\n  // This loader was already exact while PHP, Python and Rust used a scaled\n  // 1e-12 epsilon -- a 3-1 split in the package whose product is agreement, and\n  // recorded as such in AGENTS.md for months. The other three now match THIS\n  // one, because the epsilon's stated justification turned out to be false:\n  // every hard literal (0.002, 0.1, 1e300, DBL_MAX, the 5e-324 denormal)\n  // parses to bit-identical doubles in all three languages.\n  //\n  // The tolerance is per-case and declared on the row, so it is visible in the\n  // fixture rather than being a global behaviour a reader cannot see.\n  if (typeof a === \"number\" && typeof b === \"number\") {\n    if (tolerance === undefined) return false;\n    const scale = Math.max(1, Math.abs(a), Math.abs(b));\n    return Math.abs(a - b) <= tolerance * scale;\n  }\n\n  if (typeof a !== typeof b) return false;\n  if (a === null || b === null) return false;\n\n  if (Array.isArray(a) || Array.isArray(b)) {\n    if (!Array.isArray(a) || !Array.isArray(b) || a.length !== b.length) return false;\n    return a.every((v, i) => deepEquals(v, b[i], tolerance));\n  }\n\n  if (typeof a === \"object\") {\n    const ka = Object.keys(a as object).sort();\n    const kb = Object.keys(b as object).sort();\n    if (ka.length !== kb.length || ka.some((k, i) => k !== kb[i])) return false;\n    return ka.every((k) =>\n      deepEquals((a as Record<string, unknown>)[k], (b as Record<string, unknown>)[k], tolerance),\n    );\n  }\n\n  return false;\n}\n\n/** Absolute path to a suite's directory — for runners that read artifacts. */\nexport function suitePath(id: string): string {\n  return resolve(join(packageRoot(), \"suites\", ...id.split(\"/\")));\n}\n"],"mappings":";AAAA,SAAS,cAAc,aAAa,gBAAgB;AACpD,SAAS,SAAS,MAAM,UAAU,SAAS,WAAW;AACtD,SAAS,qBAAqB;AAuB9B,SAAS,cAAsB;AAC7B,MAAI,MAAM,QAAQ,cAAc,YAAY,GAAG,CAAC;AAEhD,WAAS,IAAI,GAAG,IAAI,GAAG,KAAK;AAC1B,QAAI;AACF,UAAI,SAAS,KAAK,KAAK,QAAQ,CAAC,EAAE,YAAY,GAAG;AAC/C,eAAO;AAAA,MACT;AAAA,IACF,QAAQ;AAAA,IAER;AACA,UAAM,SAAS,QAAQ,GAAG;AAC1B,QAAI,WAAW,IAAK;AACpB,UAAM;AAAA,EACR;AAEA,QAAM,IAAI;AAAA,IACR;AAAA,EAEF;AACF;AAGO,SAAS,eAAuB;AACrC,SAAO,aAAa,KAAK,YAAY,GAAG,SAAS,GAAG,MAAM,EAAE,KAAK;AACnE;AAGO,SAAS,aAAuB;AACrC,QAAM,OAAO,KAAK,YAAY,GAAG,QAAQ;AACzC,QAAM,QAAkB,CAAC;AAEzB,QAAM,OAAO,CAAC,QAAsB;AAClC,eAAW,SAAS,YAAY,KAAK,EAAE,eAAe,KAAK,CAAC,GAAG;AAC7D,UAAI,CAAC,MAAM,YAAY,EAAG;AAC1B,YAAM,QAAQ,KAAK,KAAK,MAAM,IAAI;AAClC,UAAI;AACF,iBAAS,KAAK,OAAO,eAAe,CAAC;AACrC,cAAM,KAAK,SAAS,MAAM,KAAK,EAAE,MAAM,GAAG,EAAE,KAAK,GAAG,CAAC;AAAA,MACvD,QAAQ;AACN,aAAK,KAAK;AAAA,MACZ;AAAA,IACF;AAAA,EACF;AAEA,OAAK,IAAI;AACT,SAAO,MAAM,KAAK;AACpB;AAGO,SAAS,UAAU,IAAmB;AAC3C,SAAO,cAAc,YAAY,GAAG,EAAE;AACxC;AAUO,SAAS,cAAc,MAAc,IAAmB;AAC7D,QAAM,MAAM,KAAK,MAAM,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC;AACjD,QAAM,WAAW,KAAK,MAAM,aAAa,KAAK,KAAK,eAAe,GAAG,MAAM,CAAC;AAE5E,MAAI,SAAS,eAAe,SAAS;AACnC,UAAM,IAAI;AAAA,MACR,6BAA6B,EAAE,sBAAsB,SAAS,UAAU;AAAA,IAE1E;AAAA,EACF;AAEA,QAAM,QAAQ,KAAK;AAAA,IACjB,aAAa,KAAK,KAAK,SAAS,SAAS,YAAY,GAAG,MAAM;AAAA,EAChE;AAEA,oBAAkB,IAAI,MAAM,KAAK;AAEjC,SAAO,EAAE,UAAU,OAAO,MAAM,MAAM;AACxC;AAUA,SAAS,kBAAkB,IAAY,OAAgC;AACrE,QAAM,OAAO,oBAAI,IAAY;AAE7B,aAAW,KAAK,OAAO;AACrB,QAAI,KAAK,IAAI,EAAE,EAAE,GAAG;AAClB,YAAM,IAAI,MAAM,6BAA6B,EAAE,4BAA4B,EAAE,EAAE,IAAI;AAAA,IACrF;AACA,SAAK,IAAI,EAAE,EAAE;AAEb,eAAW,CAAC,MAAM,MAAM,KAAK,OAAO,QAAQ,EAAE,QAAQ,CAAC,CAAC,GAAG;AACzD,UAAI,OAAO,WAAW,YAAY,OAAO,KAAK,MAAM,IAAI;AACtD,cAAM,IAAI;AAAA,UACR,4BAA4B,EAAE,IAAI,EAAE,EAAE,WAAW,IAAI;AAAA,QAEvD;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAkBO,SAAS,SACd,SACA,MACA,SACY;AACZ,QAAM,EAAE,UAAU,MAAM,IAAI,UAAU,OAAO;AAC7C,QAAM,SAAS,QAAQ,UAAU;AACjC,QAAM,UAAwB,CAAC;AAE/B,aAAW,KAAK,OAAO;AACrB,UAAM,SAAS,EAAE,OAAO,QAAQ,QAAQ;AACxC,QAAI,WAAW,QAAW;AACxB,cAAQ,KAAK,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,OAAO,CAAC;AACjE;AAAA,IACF;AAEA,QAAI;AACJ,QAAI;AACF,eAAS,KAAK,CAAC;AAAA,IACjB,SAAS,OAAO;AACd,cAAQ,KAAK;AAAA,QACX,IAAI,EAAE;AAAA,QACN,OAAO,EAAE;AAAA,QACT,QAAQ;AAAA,QACR,UAAU,EAAE;AAAA,QACZ,QAAQ,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAAA,MAC1E,CAAC;AACD;AAAA,IACF;AAEA,YAAQ;AAAA,MACN,OAAO,QAAQ,EAAE,UAAU,aAAa,CAAC,CAAC,IACtC,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,OAAO,IAC3C,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,OAAO,QAAQ,QAAQ,UAAU,EAAE,UAAU,OAAO;AAAA,IAC/E;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAE1D,SAAO;AAAA,IACL,OAAO,SAAS;AAAA,IAChB,UAAU,QAAQ;AAAA,IAClB,cAAc,aAAa;AAAA,IAC3B,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACnD;AAAA,IACA,SAAS,QAAQ,OAAO,CAAC,MAAM,EAAE,WAAW,MAAM,EAAE;AAAA,IACpD;AAAA,IACA,IAAI,WAAW;AAAA,EACjB;AACF;AAUO,SAAS,cAAc,SAA6B;AACzD,QAAM,QAAkB;AAAA,IACtB,GAAG,QAAQ,KAAK,KAAK,QAAQ,QAAQ,8BAAyB,QAAQ,YAAY;AAAA,IAClF,KAAK,QAAQ,MAAM,YAAY,QAAQ,MAAM,YAAY,QAAQ,OAAO;AAAA,EAC1E;AAEA,aAAW,KAAK,QAAQ,SAAS;AAC/B,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,WAAM,EAAE,MAAM,EAAE;AAAA,IAC3C;AACA,QAAI,EAAE,WAAW,QAAQ;AACvB,YAAM,KAAK,UAAU,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE;AACtC,YAAM,KAAK,oBAAoB,QAAQ,EAAE,QAAQ,CAAC,EAAE;AACpD,YAAM,KAAK,oBAAoB,QAAQ,EAAE,MAAM,CAAC,EAAE;AAAA,IACpD;AAAA,EACF;AAEA,SAAO,MAAM,KAAK,IAAI;AACxB;AAEA,SAAS,QAAQ,OAAwB;AACvC,QAAM,IAAI,OAAO,UAAU,WAAW,QAAQ,KAAK,UAAU,KAAK;AAClE,MAAI,MAAM,OAAW,QAAO,OAAO,KAAK;AACxC,SAAO,EAAE,SAAS,MAAM,GAAG,EAAE,MAAM,GAAG,EAAE,CAAC,SAAI,EAAE,MAAM,GAAG,CAAC,SAAS,EAAE,MAAM,MAAM;AAClF;AAcA,SAAS,aAAa,GAAwC;AAC5D,QAAM,YAAa,EAA8B;AACjD,SAAO,OAAO,cAAc,YAAY,OAAO,SAAS,SAAS,IAAI,YAAY;AACnF;AAEO,SAAS,WAAW,GAAY,GAAY,WAA6B;AAC9E,MAAI,OAAO,GAAG,GAAG,CAAC,EAAG,QAAO;AAa5B,MAAI,OAAO,MAAM,YAAY,OAAO,MAAM,UAAU;AAClD,QAAI,cAAc,OAAW,QAAO;AACpC,UAAM,QAAQ,KAAK,IAAI,GAAG,KAAK,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;AAClD,WAAO,KAAK,IAAI,IAAI,CAAC,KAAK,YAAY;AAAA,EACxC;AAEA,MAAI,OAAO,MAAM,OAAO,EAAG,QAAO;AAClC,MAAI,MAAM,QAAQ,MAAM,KAAM,QAAO;AAErC,MAAI,MAAM,QAAQ,CAAC,KAAK,MAAM,QAAQ,CAAC,GAAG;AACxC,QAAI,CAAC,MAAM,QAAQ,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,KAAK,EAAE,WAAW,EAAE,OAAQ,QAAO;AAC5E,WAAO,EAAE,MAAM,CAAC,GAAG,MAAM,WAAW,GAAG,EAAE,CAAC,GAAG,SAAS,CAAC;AAAA,EACzD;AAEA,MAAI,OAAO,MAAM,UAAU;AACzB,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,UAAM,KAAK,OAAO,KAAK,CAAW,EAAE,KAAK;AACzC,QAAI,GAAG,WAAW,GAAG,UAAU,GAAG,KAAK,CAAC,GAAG,MAAM,MAAM,GAAG,CAAC,CAAC,EAAG,QAAO;AACtE,WAAO,GAAG;AAAA,MAAM,CAAC,MACf,WAAY,EAA8B,CAAC,GAAI,EAA8B,CAAC,GAAG,SAAS;AAAA,IAC5F;AAAA,EACF;AAEA,SAAO;AACT;AAGO,SAAS,UAAU,IAAoB;AAC5C,SAAO,QAAQ,KAAK,YAAY,GAAG,UAAU,GAAG,GAAG,MAAM,GAAG,CAAC,CAAC;AAChE;","names":[]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@particle-academy/fancy-conformance",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "description": "Shared cross-language conformance fixtures for the Fancy suite. One contract, N implementations, and a single table that every implementation asserts in its own CI \u2014 so 'parity' is a test result rather than a claim. Ships the fixture data itself, so a Rust, Go or Python runner can consume it without a JavaScript toolchain.",
   "repository": {
     "type": "git",

package/schema/case-table.schema.json

@@ -47,6 +47,11 @@
           "additionalProperties": { "type": "string", "minLength": 1 },
           "minProperties": 1
         },
+        "tolerance": {
+          "description": "Optional relative tolerance for FLOAT comparison in this case, scaled by the larger magnitude. Omit it and numbers compare EXACTLY, which is the default in all four loaders. Declared on the row rather than applied globally so a reader of the fixture can see whether it asserts a value or a neighbourhood — the same reason a skip must state its reason. A global 1e-12 epsilon lived in three loaders until 0.10.0 and let two runtimes that computed different values pass as equal.",
+          "type": "number",
+          "exclusiveMinimum": 0
+        },
         "notes": { "type": "string", "minLength": 1 }
       },
       "additionalProperties": false

package/suites/flow/workflow-props/cases.json

@@ -6,221 +6,553 @@
       "id": "0001-supplied-value-passes-through",
       "title": "A declared, supplied value arrives in the resolved map unchanged.",
       "since": "0.9.0",
-      "tags": ["happy-path"],
+      "tags": [
+        "happy-path"
+      ],
       "input": {
-        "declared": [{ "name": "topic", "type": "string" }],
-        "passed": { "topic": "otters" }
+        "declared": [
+          {
+            "name": "topic",
+            "type": "string"
+          }
+        ],
+        "passed": {
+          "topic": "otters"
+        }
       },
-      "expected": { "ok": true, "props": { "topic": "otters" } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "topic": "otters"
+        }
+      }
     },
     {
       "id": "0002-default-fills-an-omitted-value",
       "title": "An omitted input with a default resolves to the default.",
       "since": "0.9.0",
-      "tags": ["defaults"],
+      "tags": [
+        "defaults"
+      ],
       "input": {
-        "declared": [{ "name": "limit", "type": "number", "default": 10 }],
+        "declared": [
+          {
+            "name": "limit",
+            "type": "number",
+            "default": 10
+          }
+        ],
         "passed": {}
       },
-      "expected": { "ok": true, "props": { "limit": 10 } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "limit": 10
+        }
+      }
     },
     {
       "id": "0003-supplied-beats-default",
       "title": "An explicitly supplied value wins over the declared default.",
       "since": "0.9.0",
-      "tags": ["defaults"],
+      "tags": [
+        "defaults"
+      ],
       "input": {
-        "declared": [{ "name": "limit", "type": "number", "default": 10 }],
-        "passed": { "limit": 25 }
+        "declared": [
+          {
+            "name": "limit",
+            "type": "number",
+            "default": 10
+          }
+        ],
+        "passed": {
+          "limit": 25
+        }
       },
-      "expected": { "ok": true, "props": { "limit": 25 } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "limit": 25
+        }
+      }
     },
     {
       "id": "0004-explicit-zero-is-not-replaced-by-a-default",
       "title": "A supplied 0 survives a non-zero default.",
       "since": "0.9.0",
-      "tags": ["defaults", "falsy", "trap"],
+      "tags": [
+        "defaults",
+        "falsy",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "limit", "type": "number", "default": 10 }],
-        "passed": { "limit": 0 }
+        "declared": [
+          {
+            "name": "limit",
+            "type": "number",
+            "default": 10
+          }
+        ],
+        "passed": {
+          "limit": 0
+        }
       },
-      "expected": { "ok": true, "props": { "limit": 0 } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "limit": 0
+        }
+      }
     },
     {
       "id": "0005-explicit-false-is-not-replaced-by-a-default",
       "title": "A supplied false survives a true default.",
       "since": "0.9.0",
-      "tags": ["defaults", "falsy", "trap"],
+      "tags": [
+        "defaults",
+        "falsy",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "dryRun", "type": "boolean", "default": true }],
-        "passed": { "dryRun": false }
+        "declared": [
+          {
+            "name": "dryRun",
+            "type": "boolean",
+            "default": true
+          }
+        ],
+        "passed": {
+          "dryRun": false
+        }
       },
-      "expected": { "ok": true, "props": { "dryRun": false } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "dryRun": false
+        }
+      }
     },
     {
       "id": "0006-explicit-empty-string-is-not-replaced-by-a-default",
       "title": "A supplied empty string survives a non-empty default.",
       "since": "0.9.0",
-      "tags": ["defaults", "falsy", "trap"],
+      "tags": [
+        "defaults",
+        "falsy",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "note", "type": "string", "default": "unset" }],
-        "passed": { "note": "" }
+        "declared": [
+          {
+            "name": "note",
+            "type": "string",
+            "default": "unset"
+          }
+        ],
+        "passed": {
+          "note": ""
+        }
       },
-      "expected": { "ok": true, "props": { "note": "" } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "note": ""
+        }
+      }
     },
     {
       "id": "0007-absent-optional-is-absent-not-null",
       "title": "An optional input with no default and no value is missing from the map entirely.",
       "since": "0.9.0",
-      "tags": ["absence"],
+      "tags": [
+        "absence"
+      ],
       "input": {
         "declared": [
-          { "name": "topic", "type": "string" },
-          { "name": "note", "type": "string" }
+          {
+            "name": "topic",
+            "type": "string"
+          },
+          {
+            "name": "note",
+            "type": "string"
+          }
         ],
-        "passed": { "topic": "otters" }
+        "passed": {
+          "topic": "otters"
+        }
       },
-      "expected": { "ok": true, "props": { "topic": "otters" } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "topic": "otters"
+        }
+      }
     },
     {
       "id": "0008-untyped-declaration-accepts-anything",
       "title": "An input declaring no type accepts a nested object.",
       "since": "0.9.0",
-      "tags": ["types"],
+      "tags": [
+        "types"
+      ],
       "input": {
-        "declared": [{ "name": "payload" }],
-        "passed": { "payload": { "nested": [1, 2] } }
+        "declared": [
+          {
+            "name": "payload"
+          }
+        ],
+        "passed": {
+          "payload": {
+            "nested": [
+              1,
+              2
+            ]
+          }
+        }
       },
-      "expected": { "ok": true, "props": { "payload": { "nested": [1, 2] } } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "payload": {
+            "nested": [
+              1,
+              2
+            ]
+          }
+        }
+      }
     },
     {
       "id": "0009-required-is-satisfied-by-its-default",
       "title": "A required input carrying a default does not need the caller to supply it.",
       "since": "0.9.0",
-      "tags": ["required", "defaults"],
+      "tags": [
+        "required",
+        "defaults"
+      ],
       "input": {
-        "declared": [{ "name": "limit", "type": "number", "required": true, "default": 5 }],
+        "declared": [
+          {
+            "name": "limit",
+            "type": "number",
+            "required": true,
+            "default": 5
+          }
+        ],
         "passed": {}
       },
-      "expected": { "ok": true, "props": { "limit": 5 } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "limit": 5
+        }
+      }
     },
     {
       "id": "0010-array-satisfies-array-not-object",
       "title": "A list satisfies a declared array.",
       "since": "0.9.0",
-      "tags": ["types", "trap"],
+      "tags": [
+        "types",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "tags", "type": "array" }],
-        "passed": { "tags": ["a", "b"] }
+        "declared": [
+          {
+            "name": "tags",
+            "type": "array"
+          }
+        ],
+        "passed": {
+          "tags": [
+            "a",
+            "b"
+          ]
+        }
       },
-      "expected": { "ok": true, "props": { "tags": ["a", "b"] } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "tags": [
+            "a",
+            "b"
+          ]
+        }
+      }
     },
     {
       "id": "0011-object-satisfies-object",
       "title": "A map satisfies a declared object.",
       "since": "0.9.0",
-      "tags": ["types"],
+      "tags": [
+        "types"
+      ],
       "input": {
-        "declared": [{ "name": "meta", "type": "object" }],
-        "passed": { "meta": { "k": "v" } }
+        "declared": [
+          {
+            "name": "meta",
+            "type": "object"
+          }
+        ],
+        "passed": {
+          "meta": {
+            "k": "v"
+          }
+        }
       },
-      "expected": { "ok": true, "props": { "meta": { "k": "v" } } }
+      "expected": {
+        "ok": true,
+        "props": {
+          "meta": {
+            "k": "v"
+          }
+        }
+      }
     },
     {
       "id": "0012-no-declaration-and-no-props",
       "title": "A workflow that declares nothing, called with nothing, resolves to an empty map.",
       "since": "0.9.0",
-      "tags": ["happy-path", "absence"],
-      "input": { "declared": null, "passed": null },
-      "expected": { "ok": true, "props": {} }
+      "tags": [
+        "happy-path",
+        "absence"
+      ],
+      "input": {
+        "declared": null,
+        "passed": null
+      },
+      "expected": {
+        "ok": true,
+        "props": {}
+      }
     },
     {
       "id": "0101-an-unknown-key-fails",
       "title": "A misspelled input name FAILS rather than sitting unread.",
       "since": "0.9.0",
-      "tags": ["validation", "regression", "silent-failure"],
+      "tags": [
+        "validation",
+        "regression",
+        "silent-failure"
+      ],
       "input": {
-        "declared": [{ "name": "topic", "type": "string" }],
-        "passed": { "topik": "otters" }
+        "declared": [
+          {
+            "name": "topic",
+            "type": "string"
+          }
+        ],
+        "passed": {
+          "topik": "otters"
+        }
       },
-      "expected": { "ok": false, "code": "unknown_input" }
+      "expected": {
+        "ok": false,
+        "code": "unknown_input"
+      }
     },
     {
       "id": "0102-props-passed-to-a-workflow-declaring-none-fails",
       "title": "Passing anything to a workflow that declares no inputs FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "silent-failure"],
+      "tags": [
+        "validation",
+        "silent-failure"
+      ],
       "input": {
         "declared": null,
-        "passed": { "topic": "otters" }
+        "passed": {
+          "topic": "otters"
+        }
       },
-      "expected": { "ok": false, "code": "unknown_input" }
+      "expected": {
+        "ok": false,
+        "code": "unknown_input"
+      }
     },
     {
       "id": "0103-unknown-is-reported-before-missing-required",
       "title": "A caller who misspells a required input is told about the word they typed.",
       "since": "0.9.0",
-      "tags": ["validation", "ordering"],
+      "tags": [
+        "validation",
+        "ordering"
+      ],
       "input": {
-        "declared": [{ "name": "topic", "type": "string", "required": true }],
-        "passed": { "topik": "otters" }
+        "declared": [
+          {
+            "name": "topic",
+            "type": "string",
+            "required": true
+          }
+        ],
+        "passed": {
+          "topik": "otters"
+        }
       },
-      "expected": { "ok": false, "code": "unknown_input" }
+      "expected": {
+        "ok": false,
+        "code": "unknown_input"
+      }
     },
     {
       "id": "0104-missing-required-fails",
       "title": "A required input with no default and no value FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "required"],
+      "tags": [
+        "validation",
+        "required"
+      ],
       "input": {
-        "declared": [{ "name": "topic", "type": "string", "required": true }],
+        "declared": [
+          {
+            "name": "topic",
+            "type": "string",
+            "required": true
+          }
+        ],
         "passed": {}
       },
-      "expected": { "ok": false, "code": "missing_required" }
+      "expected": {
+        "ok": false,
+        "code": "missing_required"
+      }
     },
     {
       "id": "0105-wrong-type-fails",
       "title": "A string supplied where a number is declared FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "types"],
+      "tags": [
+        "validation",
+        "types"
+      ],
       "input": {
-        "declared": [{ "name": "limit", "type": "number" }],
-        "passed": { "limit": "ten" }
+        "declared": [
+          {
+            "name": "limit",
+            "type": "number"
+          }
+        ],
+        "passed": {
+          "limit": "ten"
+        }
       },
-      "expected": { "ok": false, "code": "type_mismatch" }
+      "expected": {
+        "ok": false,
+        "code": "type_mismatch"
+      }
     },
     {
       "id": "0106-object-does-not-satisfy-array",
       "title": "A map supplied where an array is declared FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "types", "trap"],
+      "tags": [
+        "validation",
+        "types",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "tags", "type": "array" }],
-        "passed": { "tags": { "0": "a" } }
+        "declared": [
+          {
+            "name": "tags",
+            "type": "array"
+          }
+        ],
+        "passed": {
+          "tags": {
+            "0": "a"
+          }
+        }
+      },
+      "expected": {
+        "ok": false,
+        "code": "type_mismatch"
       },
-      "expected": { "ok": false, "code": "type_mismatch" }
+      "skip": {
+        "php": "Not representable in PHP. `json_decode('{\"0\":\"a\"}', true)` coerces the numeric STRING key to int 0, producing a list -- so the map this case describes cannot exist on that runtime and `array_is_list` correctly reports a list. The rule itself is pinned for every runtime by 0109, which uses a non-numeric key."
+      },
+      "notes": "Kept rather than rewritten because the divergence is worth recording: a JS host and a PHP host genuinely disagree about this value, and the reason is PHP's key coercion rather than either implementation being wrong."
     },
     {
       "id": "0107-array-does-not-satisfy-object",
       "title": "A list supplied where an object is declared FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "types", "trap"],
+      "tags": [
+        "validation",
+        "types",
+        "trap"
+      ],
       "input": {
-        "declared": [{ "name": "meta", "type": "object" }],
-        "passed": { "meta": ["a"] }
+        "declared": [
+          {
+            "name": "meta",
+            "type": "object"
+          }
+        ],
+        "passed": {
+          "meta": [
+            "a"
+          ]
+        }
       },
-      "expected": { "ok": false, "code": "type_mismatch" }
+      "expected": {
+        "ok": false,
+        "code": "type_mismatch"
+      }
     },
     {
       "id": "0108-null-does-not-satisfy-a-declared-type",
       "title": "An explicit null supplied where a string is declared FAILS.",
       "since": "0.9.0",
-      "tags": ["validation", "types"],
+      "tags": [
+        "validation",
+        "types"
+      ],
       "input": {
-        "declared": [{ "name": "topic", "type": "string" }],
-        "passed": { "topic": null }
+        "declared": [
+          {
+            "name": "topic",
+            "type": "string"
+          }
+        ],
+        "passed": {
+          "topic": null
+        }
+      },
+      "expected": {
+        "ok": false,
+        "code": "type_mismatch"
+      }
+    },
+    {
+      "id": "0109-a-string-keyed-map-does-not-satisfy-array",
+      "title": "A map with a non-numeric key supplied where an array is declared FAILS.",
+      "since": "0.9.1",
+      "tags": [
+        "validation",
+        "types",
+        "trap"
+      ],
+      "notes": "The runnable half of 0106. A non-numeric key survives json_decode on PHP as a string-keyed array, so `array_is_list` reports false and every runtime agrees. This is the case that actually pins object-is-not-array across all three.",
+      "input": {
+        "declared": [
+          {
+            "name": "tags",
+            "type": "array"
+          }
+        ],
+        "passed": {
+          "tags": {
+            "a": 1
+          }
+        }
       },
-      "expected": { "ok": false, "code": "type_mismatch" }
+      "expected": {
+        "ok": false,
+        "code": "type_mismatch"
+      }
     }
   ]
 }