abelien-harness 0.4.0 → 0.6.0

package/skills/abelien-structure/worker/assembly-validation.mjs

@@ -0,0 +1,106 @@
+/** Shared same-STEP assembly evidence checks; provenance is supplied by the CAD or engineering path. */
+import {createHash} from 'node:crypto';
+import {manifestCanonical} from './manifest-digest.mjs';
+import {validMaterial,appearanceIdentity,occurrenceIdentity,validateMaterialBindings} from './materials.mjs';
+const hash=value=>createHash('sha256').update(value).digest('hex');
+const error=code=>Object.assign(new Error(code),{code});
+const HEX=/^[a-f0-9]{64}$/,NODE_ID=/^[a-z0-9][a-z0-9_-]{0,127}$/,STABLE=/^[a-z0-9][a-z0-9._:-]{0,127}$/,TARGET_ID=/^[A-Za-z0-9][A-Za-z0-9:_.-]{0,127}$/;
+const VIEWS=['normal','internal','exploded'],DEFERRED=['voltage','peak_current','port_occupancy','logic_level','concurrent_resources','actuator_load'];
+const canonical=manifestCanonical;
+const finiteVector=value=>Array.isArray(value)&&value.length===3&&value.every(item=>typeof item==='number'&&Number.isFinite(item));
+const exactKeys=(value,keys)=>value&&typeof value==='object'&&!Array.isArray(value)&&canonical(Object.keys(value).sort())===canonical([...keys].sort());
+const nodeList=value=>Array.isArray(value)&&value.length>0&&value.length<=128&&new Set(value).size===value.length&&value.every(item=>typeof item==='string'&&NODE_ID.test(item));
+export function glbJson(bytes) {
+  if (bytes.length < 20 || bytes.toString('ascii',0,4) !== 'glTF' || bytes.readUInt32LE(8) !== bytes.length || bytes.readUInt32LE(16) !== 0x4e4f534a) throw error('invalid_artifact');
+  const length=bytes.readUInt32LE(12);
+  if (length < 2 || 20 + length > bytes.length) throw error('invalid_artifact');
+  const value=JSON.parse(bytes.subarray(20,20+length).toString().replace(/\0+$/,''));
+  if (!Array.isArray(value.meshes) || !value.meshes.length || !Array.isArray(value.nodes)) throw error('invalid_artifact');
+  return value;
+}
+function occurrenceMetadata(occurrence){
+  if(Object.hasOwn(occurrence,'material')&&!validMaterial(occurrence.material))return false;
+  if(!HEX.test(occurrence.geometrySha256??'')||!HEX.test(occurrence.transformSha256??'')||!HEX.test(occurrence.interfaceSha256??'')||!HEX.test(occurrence.appearanceSha256??'')||
+    !Array.isArray(occurrence.mountFrames)||occurrence.mountFrames.length>32||!Array.isArray(occurrence.interfaces)||occurrence.interfaces.length>32||!Array.isArray(occurrence.appearanceBindings)||occurrence.appearanceBindings.length>32)return false;
+  const frames=new Set(),interfaces=new Set(),bindings=new Set();
+  for(const frame of occurrence.mountFrames){if(!exactKeys(frame,['frameId','translationMm','rotationDeg'])||!NODE_ID.test(frame.frameId??'')||frames.has(frame.frameId)||!finiteVector(frame.translationMm)||!finiteVector(frame.rotationDeg))return false;frames.add(frame.frameId);}
+  for(const item of occurrence.interfaces){if(!exactKeys(item,['interfaceId','frameId','compatibilityKey'])||!NODE_ID.test(item.interfaceId??'')||interfaces.has(item.interfaceId)||!frames.has(item.frameId)||!STABLE.test(item.compatibilityKey??''))return false;interfaces.add(item.interfaceId);}
+  for(const item of occurrence.appearanceBindings){if(!exactKeys(item,['bindingId','materialSlot'])||!TARGET_ID.test(item.bindingId??'')||bindings.has(item.bindingId)||!STABLE.test(item.materialSlot??''))return false;bindings.add(item.bindingId);}
+  return occurrence.transformSha256===hash(manifestCanonical(occurrence.views))&&occurrence.interfaceSha256===hash(manifestCanonical({mountFrames:occurrence.mountFrames,interfaces:occurrence.interfaces}))&&occurrence.appearanceSha256===hash(manifestCanonical(appearanceIdentity(occurrence)));
+}
+export function validateAssemblyEvidence(value, sourceSha256, step, glb, files, validateProvenance) {
+  if (!value || typeof value !== 'object' || value.schema !== 'abelien.structure-assembly.v2' || !['occurrence_assembly','legacy_shape'].includes(value.mode) ||
+      !['candidate','legacy_unverified'].includes(value.status) || value.units !== 'mm' || value.coordinateSystem !== 'z_up' || value.transformSpace !== 'assembly_root_mm' || value.sourceSha256 !== sourceSha256 ||
+      !HEX.test(value.assemblySha256 ?? '') || !HEX.test(value.occurrenceSetSha256 ?? '') || !HEX.test(value.inspectionPlanSha256 ?? '') || !Array.isArray(value.occurrences) ||
+      !Number.isSafeInteger(value.occurrenceCount) || value.occurrenceCount !== value.occurrences.length || value.occurrenceCount < 1 || value.occurrenceCount > 128 ||
+      !Array.isArray(value.componentCounts) || !value.artifacts || value.artifacts.modelStepSha256 !== hash(step) || value.artifacts.modelGlbSha256 !== hash(glb)) throw error('invalid_artifact');
+  const ids=new Set(),counts=new Map();
+  for (const occurrence of value.occurrences) {
+    if (!occurrence || !NODE_ID.test(occurrence.occurrenceId ?? '') || ids.has(occurrence.occurrenceId) || !STABLE.test(occurrence.componentId ?? '') ||
+      !(occurrence.bomItemId === null || STABLE.test(occurrence.bomItemId ?? '')) || typeof occurrence.label !== 'string' || !occurrence.label.trim() || occurrence.label.length > 128 ||
+      !occurrence.source || !['generated_custom','generated_envelope','legacy_unverified'].includes(occurrence.source.kind) || !HEX.test(occurrence.source.sha256??'') ||
+      !['custom_brep','envelope','legacy_unverified'].includes(occurrence.geometryPrecision) || !occurrence.views || VIEWS.some(view => {
+        const transform=occurrence.views[view];return !transform || !finiteVector(transform.translationMm) || !finiteVector(transform.rotationDeg) || typeof transform.visible !== 'boolean';
+      }) || occurrence.views.normal.visible !== true||!occurrenceMetadata(occurrence)||!(occurrence.lineage===null||exactKeys(occurrence.lineage,['kind','priorAssemblySha256','previousOccurrenceIds'])&&['preserved','replaced','split','merged'].includes(occurrence.lineage.kind)&&HEX.test(occurrence.lineage.priorAssemblySha256??'')&&nodeList(occurrence.lineage.previousOccurrenceIds))) throw error('invalid_artifact');
+    ids.add(occurrence.occurrenceId);counts.set(occurrence.componentId,(counts.get(occurrence.componentId) ?? 0) + 1);
+  }
+  const expectedCounts=[...counts].sort(([a],[b])=>a.localeCompare(b)).map(([componentId,count])=>({componentId,count}));
+  if (canonical(value.componentCounts) !== canonical(expectedCounts)) throw error('invalid_artifact');
+  validateProvenance();
+  const identity=value.occurrences.map(occurrenceIdentity);
+  const transforms=Object.fromEntries(VIEWS.map(view=>[view,value.occurrences.map(occurrence=>({occurrenceId:occurrence.occurrenceId,transform:occurrence.views[view]}))]));
+  const reset=hash(manifestCanonical(transforms.normal)),artifacts={normal:'normal.png',internal:'internal.png',exploded:'exploded.png'};
+  const expectedLabels=value.occurrences.filter(occurrence=>occurrence.bomItemId!==null).map(({occurrenceId,bomItemId})=>({occurrenceId,bomItemId}));
+  if (value.occurrenceSetSha256 !== hash(manifestCanonical(identity)) || !value.views || VIEWS.some(view => {
+      const binding=value.views[view],labels=view==='exploded'?expectedLabels:[];
+      return binding?.modelGlbSha256 !== hash(glb) || binding?.occurrenceSetSha256 !== value.occurrenceSetSha256 || binding?.artifactName !== artifacts[view] ||
+        binding?.imageSha256 !== hash(files.get(artifacts[view])) || binding?.transformSetSha256 !== hash(manifestCanonical(transforms[view])) ||
+        binding?.resetTransformSetSha256 !== reset || binding?.scale !== 1 || canonical(binding?.labels) !== canonical(labels);
+    }) ||
+      !value.deferredChecks || DEFERRED.some(id => value.deferredChecks[id]?.status !== 'unverified' || value.deferredChecks[id]?.gating !== false)) throw error('invalid_artifact');
+  const unsigned={...value};delete unsigned.assemblySha256;
+  if (value.assemblySha256 !== hash(manifestCanonical(unsigned))) throw error('invalid_artifact');
+  if (value.mode === 'legacy_shape') {
+    if (value.status !== 'legacy_unverified' || value.occurrenceCount !== 1 || value.occurrences[0].source.kind !== 'legacy_unverified' || value.occurrences[0].geometryPrecision !== 'legacy_unverified') throw error('invalid_artifact');
+    return value;
+  }
+  if (value.status !== 'candidate' || value.occurrenceCount < 2 || value.occurrences.some(occurrence => occurrence.bomItemId === null || occurrence.source.kind === 'legacy_unverified' || occurrence.geometryPrecision === 'legacy_unverified') ||
+      value.occurrences.some(occurrence=>occurrence.views.exploded.visible!==true) ||
+      !value.occurrences.some(occurrence => canonical(occurrence.views.internal) !== canonical(occurrence.views.normal)) ||
+      !value.occurrences.some(occurrence => canonical(occurrence.views.exploded) !== canonical(occurrence.views.normal))) throw error('invalid_artifact');
+  const document=glbJson(glb),nodes=document.nodes;
+  validateMaterialBindings(document,value.occurrences);
+  const parents=new Map(),scene=document.scenes?.[document.scene ?? 0],roots=scene?.nodes;
+  if(!Array.isArray(roots)||!roots.length)throw error('invalid_artifact');
+  nodes.forEach((node,index)=>{if(Array.isArray(node?.children))node.children.forEach(child=>{if(!Number.isSafeInteger(child)||parents.has(child))throw error('invalid_artifact');parents.set(child,index);});});
+  const reachable=new Set();
+  const visit=index=>{if(!Number.isSafeInteger(index)||index<0||index>=nodes.length||reachable.has(index))return;reachable.add(index);for(const child of nodes[index]?.children??[])visit(child);};
+  roots.forEach(visit);
+  const near=(a,b)=>typeof a==='number'&&Number.isFinite(a)&&Math.abs(a-b)<1e-9;
+  const quaternion=rotationDeg=>{const [x,y,z]=rotationDeg.map(value=>value*Math.PI/360),sx=Math.sin(x),cx=Math.cos(x),sy=Math.sin(y),cy=Math.cos(y),sz=Math.sin(z),cz=Math.cos(z);return [sx*cy*cz+cx*sy*sz,cx*sy*cz-sx*cy*sz,cx*cy*sz+sx*sy*cz,cx*cy*cz-sx*sy*sz];};
+  const sameQuaternion=(actual,expected)=>Array.isArray(actual)&&actual.length===4&&(actual.every((item,index)=>near(item,expected[index]))||actual.every((item,index)=>near(item,-expected[index])));
+  const occurrencePose=(node,normal)=>{
+    const translation=node.translation??[0,0,0],rotation=node.rotation??[0,0,0,1],scale=node.scale??[1,1,1];
+    return node.matrix===undefined&&Array.isArray(translation)&&translation.length===3&&translation.every((item,index)=>near(item,normal.translationMm[index]/1000))&&
+      sameQuaternion(rotation,quaternion(normal.rotationDeg))&&Array.isArray(scale)&&scale.length===3&&scale.every(item=>near(item,1));
+  };
+  const rootQuaternion=[-Math.SQRT1_2,0,0,Math.SQRT1_2];
+  const assemblyRoot=node=>node?.name==='assembly-root'&&node.matrix===undefined&&node.translation===undefined&&node.scale===undefined&&sameQuaternion(node.rotation,rootQuaternion)&&!Number.isSafeInteger(node.mesh);
+  const meshBelow=(index,seen=new Set())=>{
+    if (!Number.isSafeInteger(index) || index < 0 || index >= nodes.length || seen.has(index)) return false;
+    seen.add(index);const node=nodes[index];
+    return Number.isSafeInteger(node?.mesh) || Array.isArray(node?.children) && node.children.some(child=>meshBelow(child,seen));
+  };
+  const mapped=[];
+  for (const occurrence of value.occurrences) {
+    const matching=[];nodes.forEach((node,index)=>{if(node?.name===occurrence.occurrenceId)matching.push(index);});
+    const index=matching[0];
+    if (matching.length !== 1 || !reachable.has(index) || !meshBelow(index) || !occurrencePose(nodes[index],occurrence.views.normal)) throw error('invalid_artifact');
+    mapped.push(index);
+  }
+  const rootIndices=new Set(mapped.map(index=>parents.get(index)));
+  if(rootIndices.size!==1||rootIndices.has(undefined))throw error('invalid_artifact');
+  const rootIndex=[...rootIndices][0],root=nodes[rootIndex];
+  if(parents.has(rootIndex)||roots.length!==1||roots[0]!==rootIndex||!assemblyRoot(root)||canonical(root.children)!==canonical(mapped))throw error('invalid_artifact');
+  return value;
+}