@particle-academy/fancy-conformance 0.9.1 → 0.11.0

package/VERSION

@@ -1 +1 @@
-0.9.1
+0.11.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.1",
+  "version": "0.11.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/shared/value-equality/cases.json

@@ -0,0 +1,524 @@
+{
+  "$schema": "../../../schema/cases.schema.json",
+  "suite": "shared/value-equality",
+  "cases": [
+    {
+      "id": "0001-identical-strings",
+      "title": "Identical strings are equal.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars"
+      ],
+      "input": {
+        "a": "a",
+        "b": "a"
+      },
+      "expected": true
+    },
+    {
+      "id": "0002-different-strings",
+      "title": "Different strings are not.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars"
+      ],
+      "input": {
+        "a": "a",
+        "b": "b"
+      },
+      "expected": false
+    },
+    {
+      "id": "0003-identical-integers",
+      "title": "Identical integers are equal.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars"
+      ],
+      "input": {
+        "a": 3,
+        "b": 3
+      },
+      "expected": true
+    },
+    {
+      "id": "0004-different-integers",
+      "title": "Different integers are not.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars"
+      ],
+      "input": {
+        "a": 2,
+        "b": 3
+      },
+      "expected": false
+    },
+    {
+      "id": "0005-null-equals-null",
+      "title": "null equals null.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars",
+        "absence"
+      ],
+      "input": {
+        "a": null,
+        "b": null
+      },
+      "expected": true
+    },
+    {
+      "id": "0101-int-golden-satisfied-by-float",
+      "title": "An integer is equal to a float of the same value.",
+      "since": "0.11.0",
+      "tags": [
+        "numbers",
+        "regression",
+        "trap"
+      ],
+      "input": {
+        "a": 100000,
+        "b": 100000.0
+      },
+      "expected": true,
+      "notes": "The rule a Rust unit test denied while `shared/decimal/0008-coerce-exponent` required it: that case has the integer golden 100000 and PHP's `\"1e5\" + 0` yields float(100000). The reference language has ONE number type, so no golden can demand a float."
+    },
+    {
+      "id": "0102-float-golden-satisfied-by-int",
+      "title": "...and the same in reverse.",
+      "since": "0.11.0",
+      "tags": [
+        "numbers",
+        "trap"
+      ],
+      "input": {
+        "a": 3.0,
+        "b": 3
+      },
+      "expected": true
+    },
+    {
+      "id": "0103-different-values-across-types",
+      "title": "Different values are unequal regardless of type.",
+      "since": "0.11.0",
+      "tags": [
+        "numbers"
+      ],
+      "input": {
+        "a": 2,
+        "b": 3.0
+      },
+      "expected": false
+    },
+    {
+      "id": "0110-true-is-not-one",
+      "title": "true is not 1.",
+      "since": "0.11.0",
+      "tags": [
+        "booleans",
+        "trap"
+      ],
+      "input": {
+        "a": true,
+        "b": 1
+      },
+      "expected": false,
+      "notes": "Python's `==` says `True == 1`, and PHP's loose comparison agrees. Without this a row expecting `false` is satisfied by an implementation returning `0`."
+    },
+    {
+      "id": "0111-false-is-not-zero",
+      "title": "false is not 0.",
+      "since": "0.11.0",
+      "tags": [
+        "booleans",
+        "trap"
+      ],
+      "input": {
+        "a": false,
+        "b": 0
+      },
+      "expected": false
+    },
+    {
+      "id": "0112-true-is-not-the-string",
+      "title": "true is not \"true\".",
+      "since": "0.11.0",
+      "tags": [
+        "booleans"
+      ],
+      "input": {
+        "a": true,
+        "b": "true"
+      },
+      "expected": false
+    },
+    {
+      "id": "0120-same-double",
+      "title": "The same double is equal to itself.",
+      "since": "0.11.0",
+      "tags": [
+        "floats"
+      ],
+      "input": {
+        "a": 0.1,
+        "b": 0.1
+      },
+      "expected": true
+    },
+    {
+      "id": "0121-adjacent-doubles-are-not-equal",
+      "title": "Genuinely different doubles are NOT equal.",
+      "since": "0.11.0",
+      "tags": [
+        "floats",
+        "regression"
+      ],
+      "input": {
+        "a": 1.0,
+        "b": 1.0000000000001
+      },
+      "expected": false,
+      "notes": "A scaled 1e-12 epsilon in three of the four loaders passed this until 0.10.0. On a money row a relative 1e-12 is real money at scale."
+    },
+    {
+      "id": "0122-tolerance-accepts-a-near-miss",
+      "title": "A declared tolerance accepts a near miss.",
+      "since": "0.11.0",
+      "tags": [
+        "floats",
+        "tolerance"
+      ],
+      "input": {
+        "a": 1.0,
+        "b": 1.0000000000001,
+        "tolerance": 1e-09
+      },
+      "expected": true
+    },
+    {
+      "id": "0123-tolerance-is-not-unlimited",
+      "title": "A tolerance widens the target; it does not remove it.",
+      "since": "0.11.0",
+      "tags": [
+        "floats",
+        "tolerance"
+      ],
+      "input": {
+        "a": 1.0,
+        "b": 1.5,
+        "tolerance": 1e-09
+      },
+      "expected": false
+    },
+    {
+      "id": "0124-tolerance-tighter-than-the-gap",
+      "title": "A tolerance smaller than the gap still rejects.",
+      "since": "0.11.0",
+      "tags": [
+        "floats",
+        "tolerance"
+      ],
+      "input": {
+        "a": 1.0,
+        "b": 1.0000000000001,
+        "tolerance": 1e-15
+      },
+      "expected": false
+    },
+    {
+      "id": "0130-numeric-string-is-not-a-number",
+      "title": "\"1\" is not 1.",
+      "since": "0.11.0",
+      "tags": [
+        "scalars",
+        "trap"
+      ],
+      "input": {
+        "a": "1",
+        "b": 1
+      },
+      "expected": false,
+      "notes": "PHP's `==` coerces a numeric string to a number. A golden of 1 must not be satisfied by an implementation returning the string."
+    },
+    {
+      "id": "0140-arrays-order-matters",
+      "title": "Array order is significant.",
+      "since": "0.11.0",
+      "tags": [
+        "arrays"
+      ],
+      "input": {
+        "a": [
+          1,
+          2
+        ],
+        "b": [
+          2,
+          1
+        ]
+      },
+      "expected": false
+    },
+    {
+      "id": "0141-arrays-same-order",
+      "title": "Same values in the same order are equal.",
+      "since": "0.11.0",
+      "tags": [
+        "arrays"
+      ],
+      "input": {
+        "a": [
+          1,
+          2
+        ],
+        "b": [
+          1,
+          2
+        ]
+      },
+      "expected": true
+    },
+    {
+      "id": "0142-arrays-different-length",
+      "title": "Different lengths are unequal.",
+      "since": "0.11.0",
+      "tags": [
+        "arrays"
+      ],
+      "input": {
+        "a": [
+          1
+        ],
+        "b": [
+          1,
+          2
+        ]
+      },
+      "expected": false
+    },
+    {
+      "id": "0143-empty-arrays",
+      "title": "Two empty arrays are equal.",
+      "since": "0.11.0",
+      "tags": [
+        "arrays"
+      ],
+      "input": {
+        "a": [],
+        "b": []
+      },
+      "expected": true
+    },
+    {
+      "id": "0150-object-key-order-does-not-matter",
+      "title": "Object key order is NOT significant.",
+      "since": "0.11.0",
+      "tags": [
+        "objects"
+      ],
+      "input": {
+        "a": {
+          "a": 1,
+          "b": 2
+        },
+        "b": {
+          "b": 2,
+          "a": 1
+        }
+      },
+      "expected": true
+    },
+    {
+      "id": "0151-object-different-values",
+      "title": "Same keys, different values, unequal.",
+      "since": "0.11.0",
+      "tags": [
+        "objects"
+      ],
+      "input": {
+        "a": {
+          "a": 1
+        },
+        "b": {
+          "a": 2
+        }
+      },
+      "expected": false
+    },
+    {
+      "id": "0152-nested",
+      "title": "Nesting is compared all the way down.",
+      "since": "0.11.0",
+      "tags": [
+        "objects"
+      ],
+      "input": {
+        "a": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": "d"
+              }
+            ]
+          }
+        },
+        "b": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": "d"
+              }
+            ]
+          }
+        }
+      },
+      "expected": true
+    },
+    {
+      "id": "0153-nested-differs-deep",
+      "title": "A difference at depth is still a difference.",
+      "since": "0.11.0",
+      "tags": [
+        "objects"
+      ],
+      "input": {
+        "a": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": "d"
+              }
+            ]
+          }
+        },
+        "b": {
+          "a": {
+            "b": [
+              1,
+              {
+                "c": "e"
+              }
+            ]
+          }
+        }
+      },
+      "expected": false
+    },
+    {
+      "id": "0201-explicit-null-key-vs-missing-key",
+      "title": "An object with an explicit null value is NOT equal to one missing that key.",
+      "since": "0.11.0",
+      "tags": [
+        "absence",
+        "trap"
+      ],
+      "input": {
+        "a": {
+          "x": null
+        },
+        "b": {}
+      },
+      "expected": false,
+      "notes": "The axis a PHP-referenced corpus cannot express: PHP has ONE absent value while JavaScript has null and undefined and Python has None. Raised by an agent building a parity repo whose reference IS PHP, who spotted that a TypeScript loader could assert a null/undefined distinction no PHP-authored golden can encode, pass its own tests, and be wrong. Pinned here so the four loaders' current agreement is a test result rather than a coincidence."
+    },
+    {
+      "id": "0202-both-missing",
+      "title": "Two objects both missing the key are equal.",
+      "since": "0.11.0",
+      "tags": [
+        "absence"
+      ],
+      "input": {
+        "a": {},
+        "b": {}
+      },
+      "expected": true
+    },
+    {
+      "id": "0203-null-is-not-zero",
+      "title": "null is not 0.",
+      "since": "0.11.0",
+      "tags": [
+        "absence",
+        "trap"
+      ],
+      "input": {
+        "a": null,
+        "b": 0
+      },
+      "expected": false
+    },
+    {
+      "id": "0204-null-is-not-empty-string",
+      "title": "null is not \"\".",
+      "since": "0.11.0",
+      "tags": [
+        "absence",
+        "trap"
+      ],
+      "input": {
+        "a": null,
+        "b": ""
+      },
+      "expected": false
+    },
+    {
+      "id": "0205-null-inside-an-array-holds-its-place",
+      "title": "A null inside an array is a value, not a gap.",
+      "since": "0.11.0",
+      "tags": [
+        "absence",
+        "arrays"
+      ],
+      "input": {
+        "a": [
+          1,
+          null,
+          3
+        ],
+        "b": [
+          1,
+          3
+        ]
+      },
+      "expected": false
+    },
+    {
+      "id": "0210-array-is-not-an-object",
+      "title": "An array is not an object.",
+      "since": "0.11.0",
+      "tags": [
+        "containers",
+        "trap"
+      ],
+      "input": {
+        "a": [],
+        "b": {}
+      },
+      "expected": false,
+      "notes": "PHP has ONE array type for both, so this needs asserting rather than assuming. FOUND BY THIS SUITE ON ITS FIRST RUN, which is the argument for the suite: three loaders agreed and the fourth could not even express the question, and nothing had ever asked them the same question side by side.",
+      "skip": {
+        "php": "Not representable in PHP. `json_decode('[]', true)` and `json_decode('{}', true)` produce the IDENTICAL value -- an empty PHP array -- so the loader has nothing left to compare. This is a real expressiveness limit rather than a loader defect: a PHP-authored golden cannot distinguish an empty array from an empty object at all. Node, Python and Rust all keep the distinction and assert it."
+      }
+    },
+    {
+      "id": "0211-array-is-not-a-scalar",
+      "title": "An array is not a scalar.",
+      "since": "0.11.0",
+      "tags": [
+        "containers"
+      ],
+      "input": {
+        "a": [
+          1
+        ],
+        "b": 1
+      },
+      "expected": false
+    }
+  ]
+}

package/suites/shared/value-equality/manifest.json

@@ -0,0 +1,28 @@
+{
+  "$schema": "../../../schema/suite-manifest.schema.json",
+  "suite": "shared/value-equality",
+  "title": "What the LOADERS mean by equal",
+  "since": "0.11.0",
+  "caseFormat": "table",
+  "cases": "cases.json",
+  "contract": {
+    "function": "equals(a: json, b: json, tolerance: number|null) -> boolean",
+    "summary": "Each loader's own comparison, run against a shared table. `a` and `b` are arbitrary JSON values; `tolerance` is the case's declared relative float tolerance, or null for exact. The result is whether that loader considers the two values equal.",
+    "reference": "node",
+    "referenceNote": "The rules were settled in 0.10.0 when the four loaders' float comparison was unified. This table makes them a test result rather than four independent readings of the same paragraph.",
+    "implementations": [
+      { "language": "node", "package": "@particle-academy/fancy-conformance", "symbol": "deepEquals" },
+      { "language": "php", "package": "particle-academy/fancy-conformance", "symbol": "ParticleAcademy\\Conformance\\Conformance::equals" },
+      { "language": "python", "package": "fancy-conformance", "symbol": "fancy_conformance.equals" },
+      { "language": "rust", "package": "fancy-conformance", "symbol": "fancy_conformance::equals_within" }
+    ]
+  },
+  "notes": [
+    "THIS PACKAGE HELD EVERY IMPLEMENTATION TO A TABLE EXCEPT ITSELF. The loaders are implementations too, and until this suite existed each one's comparison was asserted only by its own hand-written unit tests, against pairs its own author chose. That is precisely the setup this repository exists to argue against.",
+    "It was not hypothetical. The Rust loader asserted that an integer golden is never satisfied by a float, and had a passing unit test saying so — while `shared/decimal/0008-coerce-exponent` carries the integer golden `100000` that PHP's `\"1e5\" + 0` satisfies with a float. A loader had encoded a rule the shipped corpus disproves, and nothing ran the two against each other. It surfaced in 0.10.0 only because an unrelated change happened to break it.",
+    "The generalisation, and the reason this suite is worth its weight: A LOADER CAN ASSERT SOMETHING THE REFERENCE LANGUAGE CANNOT EXPRESS, AND NO NUMBER OF GREEN TICKS WILL SURFACE IT. The reference here is JavaScript, which has ONE number type, so no golden can encode \"this must be a float\" — a loader enforcing that distinction asserts something the fixtures are structurally unable to state.",
+    "Raised independently by an agent building a parity repo for another package family, who identified their own instance before writing it: their reference is PHP, which has ONE absent value, while TypeScript has `null` and `undefined` and Python has `None`. A TS loader could very reasonably assert a null-versus-undefined distinction that a PHP-authored golden cannot encode, pass its own tests, and be wrong in exactly the Rust way. Cases 0201-0204 pin the absent-versus-null axis for that reason.",
+    "Numbers compare BY VALUE, not by JSON type (0101-0103). Booleans are never numbers (0110-0111) — Python's `==` says `True == 1` and PHP's loose comparison agrees, so this needs asserting rather than assuming.",
+    "Floats are EXACT unless the case declares a tolerance (0120-0124). A scaled 1e-12 epsilon lived in three of the four loaders until 0.10.0, on a justification that measured false: `0.002`, `0.1`, `1e300`, `DBL_MAX`, the `5e-324` denormal and `0.30000000000000004` all parse to bit-identical doubles in PHP, Python and Node."
+  ]
+}