viewer/validate.mjs

1// Structural validation of the component model (no renderer). Run: node viewer/validate.mjs2import { COMPONENTS, DEFINITIONS, MODEL } from './components.js';3import { explodedOffset } from './explode.js';4 5const res = []; const pass = (n, d = '') => res.push(['PASS', n, d]); const fail = (n, d = '') => res.push(['FAIL', n, d]);6const byId = new Map(COMPONENTS.map((c) => [c.id, c]));7 8// 1. unique IDs9const dup = COMPONENTS.map((c) => c.id).filter((id, i, a) => a.indexOf(id) !== i);10dup.length ? fail('unique component IDs', dup.join(',')) : pass('unique component IDs', `${COMPONENTS.length} components`);11// 2. parents resolve, no cycles12let bad = COMPONENTS.filter((c) => c.parent !== null && !byId.has(c.parent)).map((c) => c.id);13bad.length ? fail('parents resolve', bad.join(',')) : pass('parents resolve');14let cyc = 0; for (const c of COMPONENTS) { const seen = new Set(); let p = c.parent; while (p) { if (seen.has(p)) { cyc++; break; } seen.add(p); p = byId.get(p)?.parent; } }15cyc ? fail('hierarchy acyclic', `${cyc} cycles`) : pass('hierarchy acyclic');16// 3. parts/instances/references have geometry; assemblies don't need it17bad = COMPONENTS.filter((c) => c.kind !== 'assembly' && !(c.geometry && c.geometry.length)).map((c) => c.id);18bad.length ? fail('non-assembly components have geometry', bad.join(',')) : pass('non-assembly components have geometry');19// 4. instance definitions resolve and instance counts match qty20bad = COMPONENTS.filter((c) => c.kind === 'instance' && !DEFINITIONS[c.def]).map((c) => c.id);21bad.length ? fail('instance definitions resolve', bad.join(',')) : pass('instance definitions resolve');22for (const [d, def] of Object.entries(DEFINITIONS)) { const n = COMPONENTS.filter((c) => c.def === d).length; n === def.qty ? pass(`instances of ${d} = qty`, `${n}`) : fail(`instances of ${d} = qty`, `${n} instances vs qty ${def.qty}`); }23// 5. explode vectors finite; every component has confidence + source24bad = COMPONENTS.filter((c) => !c.explode || c.explode.length !== 3 || c.explode.some((v) => !Number.isFinite(v))).map((c) => c.id);25bad.length ? fail('explode vectors well-formed', bad.join(',')) : pass('explode vectors well-formed');26bad = COMPONENTS.filter((c) => !(c.confidence || (c.def && DEFINITIONS[c.def].confidence)) || !(c.source || (c.def && DEFINITIONS[c.def].source))).map((c) => c.id);27bad.length ? fail('confidence + source on every component', bad.join(',')) : pass('confidence + source on every component');28// 6. geometry inside the envelope (allow shutter above the top face, ribs behind, ports/door below)29const env = MODEL.envelope; const tol = { x: [0, 190], y: [-4, 98], z: [-1, 40] }; void env;30function specBox(s) {31  if (s.type === 'box' || s.type === 'plate' || s.type === 'ring') return { x: s.x, y: s.y, z: s.z };32  const [cx, cy, cz] = s.c, h = s.len / 2; return { x: s.axis === 'x' ? [cx - h, cx + h] : [cx - s.r, cx + s.r], y: s.axis === 'y' ? [cy - h, cy + h] : [cy - s.r, cy + s.r], z: s.axis === 'z' ? [cz - h, cz + h] : [cz - s.r, cz + s.r] };33}34bad = [];35for (const c of COMPONENTS) for (const s of c.geometry || []) { const b = specBox(s); for (const ax of ['x', 'y', 'z']) if (b[ax][0] < tol[ax][0] - 1e-9 || b[ax][1] > tol[ax][1] + 1e-9 || b[ax][0] >= b[ax][1]) bad.push(`${c.id} ${ax} ${b[ax]}`); }36bad.length ? fail('geometry within envelope tolerance', bad.join(' | ')) : pass('geometry within envelope tolerance', 'X 0–190, Y −4…98, Z −1…40');37// 7. AABB interference between leaf components (different top-level or same parent), excluding intended contacts38const leaves = COMPONENTS.filter((c) => c.geometry && c.geometry.length);39const overlap = (a, b) => ['x', 'y', 'z'].every((ax) => Math.min(a[ax][1], b[ax][1]) - Math.max(a[ax][0], b[ax][0]) > 0.05);40const allowed = (a, b) => {41  const pair = [a.id, b.id];42  const any = (re) => pair.some((p) => re.test(p));43  if (any(/^pad-/) || any(/^boss-/) || any(/window|zone|light-guide|gasket|card-|screw|pin|detent|rail|magnet/)) return true; // magnets are potted in slat 244  if (pair.includes('m2-nvme') && pair.includes('m2-nvme-socket')) return true; // mutually exclusive by SKU // pads/bosses/reference/zones/fasteners intentionally touch or pass through45  if (a.kind === 'reference' || b.kind === 'reference') return true;46  if (any(/^usb-c|rj45|rj45-door|button|vent|insert|tpu|bumper|end-cap|top-wall|bottom-wall|front-frame$/)) return true; // pass-through connectors and frame/wall contacts (cut-outs not modelled)47  return false;48};49const inter = [];50for (let i = 0; i < leaves.length; i++) for (let j = i + 1; j < leaves.length; j++) {51  const a = leaves[i], b = leaves[j]; if (allowed(a, b)) continue;52  for (const sa of a.geometry) for (const sb of b.geometry) if (overlap(specBox(sa), specBox(sb))) { inter.push(`${a.id} × ${b.id}`); }53}54const uniqInter = [...new Set(inter)];55uniqInter.length ? fail('no unintended AABB interference between parts', uniqInter.join(' | ')) : pass('no unintended AABB interference between parts', `${leaves.length} leaf components checked`);56// 8. explosion math: 0% → assembled, 100% → offset, deterministic, no drift over cycles57const opts = { scope: null, expandChildren: true };58let maxErr0 = 0, maxErrCycle = 0, nonZero100 = 0;59for (const c of COMPONENTS) {60  const o0 = explodedOffset(c, 0, opts); maxErr0 = Math.max(maxErr0, ...o0.map(Math.abs));61  const o1 = explodedOffset(c, 1, opts); if (o1.some((v, k) => Math.abs(Math.abs(v) - Math.abs(c.explode[k])) > 1e-12)) nonZero100++;62  let ref = explodedOffset(c, 0.37, opts); for (let k = 0; k < 500; k++) { explodedOffset(c, 1, opts); explodedOffset(c, 0, opts); const again = explodedOffset(c, 0.37, opts); maxErrCycle = Math.max(maxErrCycle, ...again.map((v, i) => Math.abs(v - ref[i]))); }63}64maxErr0 === 0 ? pass('explosion 0% equals assembled', 'max |offset| = 0') : fail('explosion 0% equals assembled', `max |offset| ${maxErr0}`);65nonZero100 === 0 ? pass('explosion 100% equals authored offset') : fail('explosion 100% equals authored offset', `${nonZero100} mismatches`);66maxErrCycle === 0 ? pass('explosion deterministic over 500 cycles', 'drift 0') : fail('explosion deterministic', `drift ${maxErrCycle}`);67// 9. nested offsets applied once: scoped explosion moves only direct children of the scope68const scoped = { scope: 'battery-pack', expandChildren: false };69const moved = COMPONENTS.filter((c) => explodedOffset(c, 1, scoped).some((v) => v !== 0)).map((c) => c.id);70const expected = COMPONENTS.filter((c) => c.parent === 'battery-pack' && c.explode.some((v) => v)).map((c) => c.id);71JSON.stringify(moved.sort()) === JSON.stringify(expected.sort()) ? pass('scoped explosion moves only the scope\'s children', moved.length + ' parts') : fail('scoped explosion', `moved ${moved} expected ${expected}`);72// 10. whole-object explosion without expansion moves only top-level components73const top = COMPONENTS.filter((c) => explodedOffset(c, 1, { scope: null, expandChildren: false }).some((v) => v !== 0)).every((c) => c.parent === null);74top ? pass('whole-object explosion (no expand) moves only top-level components') : fail('whole-object explosion moved a child');75 76const fails = res.filter((r) => r[0] === 'FAIL').length;77for (const [s, n, d] of res) console.log(`${s.padEnd(5)} ${n}${d ? ' — ' + d : ''}`);78console.log(`\n${res.length - fails} PASS, ${fails} FAIL`);79process.exit(fails ? 1 : 0);