geospec 0.1.0-beta.9 → 0.4.1-next.331

package/agent/geospec-authoring/public-api-types.md

@@ -1,6 +1,6 @@
 # geospec — Types
 
-89 top-level symbols. Signatures are verbatim typescript.
+66 top-level symbols. Signatures are verbatim typescript.
 
 // A model admitted by one live GeoSpec host scope
 GeoSpecSubject: {
@@ -34,7 +34,7 @@ GeoSpecAssertion: {
      * holds for this millimetre box, never for the whole model.
      */
     region?: GeoSpecLoadRegion;
-    /** Wall-clock cost of matcher evaluation in milliseconds (R1: budgeted matchers only). */
+    /** Wall-clock cost of matcher evaluation in milliseconds (budgeted matchers only). */
     durationMs?: number;
 }
 
@@ -62,7 +62,7 @@ GeoSpecAssertion: {
   // The crop this assertion's subject was loaded with
   region?: GeoSpecLoadRegion
 
-  // Wall-clock cost of matcher evaluation in milliseconds (R1
+  // Wall-clock cost of matcher evaluation in milliseconds (budgeted matchers only)
   durationMs?: number
 
 // Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
@@ -830,256 +830,6 @@ GeoSpecVolumeExpectation: {
 
   tolerance?: number
 
-// Basic exact or topology-derived BRep evidence consumed by early feature matchers
-BrepEvidence: {
-    validity?: {
-        valid: boolean;
-        checks?: Array<{
-            shape: string;
-            status: string;
-        }>;
-        maxTolerance?: number;
-        freeBounds?: {
-            count: number;
-        };
-        smallEdges?: Array<{
-            length: number;
-            shape?: string;
-            location?: Vec3;
-        }>;
-        sameParameter?: boolean;
-        closedShells?: boolean;
-        closedSolids?: boolean;
-        solidCount?: number;
-        invalidSolidCount?: number;
-        openEdgeCount?: number;
-        reason?: string;
-        closedWires?: boolean;
-    };
-    topologyCounts?: {
-        vertices?: number;
-        edges?: number;
-        wires?: number;
-        faces?: number;
-        shells?: number;
-        solids?: number;
-        compounds?: number;
-    };
-    boundingBox?: {
-        min: Vec3;
-        max: Vec3;
-        size: Vec3;
-        center: Vec3;
-    };
-    massProperties?: {
-        surfaceArea?: number;
-        volume?: number;
-        centerOfMass?: Vec3;
-        mass?: number;
-    };
-    planarFaces?: Array<{
-        normal: Vec3;
-        offset: number;
-        area?: number;
-        center?: Vec3;
-    }>;
-    cylindricalFaces?: Array<{
-        radius: number;
-        axis: 'x' | 'y' | 'z';
-        center?: Vec3;
-        axisRange?: {
-            min: number;
-            max: number;
-        };
-    }>;
-    circularHoles?: Array<{
-        diameter: number;
-        through: boolean;
-        axis: 'x' | 'y' | 'z';
-        center?: Vec3;
-        axisRange?: {
-            min: number;
-            max: number;
-        };
-    }>;
-    circularHolePatterns?: Array<{
-        count: number;
-        holeDiameter: number;
-        boltCircleDiameter: number;
-        axis: 'x' | 'y' | 'z';
-        center?: Vec3;
-    }>;
-    chamferFeatures?: Array<{
-        distance: number;
-        selection?: string;
-    }>;
-    filletFeatures?: Array<{
-        radius: number;
-        selection?: string;
-    }>;
-    minimumWallThickness?: {
-        value: number;
-        location?: Vec3;
-        pointA?: Vec3;
-        pointB?: Vec3;
-        solidIndex?: number;
-        tieCount?: number;
-        algorithm?: string;
-        tolerance?: number;
-        supportA?: {
-            faceIndex?: number;
-            surfaceType?: string;
-            supportType?: string;
-        };
-        supportB?: {
-            faceIndex?: number;
-            surfaceType?: string;
-            supportType?: string;
-        };
-        rejections?: Record<string, number>;
-    };
-}
-
-  validity?: {
-          valid: boolean;
-          checks?: Array<{
-              shape: string;
-              status: string;
-          }>;
-          maxTolerance?: number;
-          freeBounds?: {
-              count: number;
-          };
-          smallEdges?: Array<{
-              length: number;
-              shape?: string;
-              location?: Vec3;
-          }>;
-          sameParameter?: boolean;
-          closedShells?: boolean;
-          closedSolids?: boolean;
-          solidCount?: number;
-          invalidSolidCount?: number;
-          openEdgeCount?: number;
-          reason?: string;
-          closedWires?: boolean;
-      }
-
-  topologyCounts?: {
-          vertices?: number;
-          edges?: number;
-          wires?: number;
-          faces?: number;
-          shells?: number;
-          solids?: number;
-          compounds?: number;
-      }
-
-  boundingBox?: {
-          min: Vec3;
-          max: Vec3;
-          size: Vec3;
-          center: Vec3;
-      }
-
-  massProperties?: {
-          surfaceArea?: number;
-          volume?: number;
-          centerOfMass?: Vec3;
-          mass?: number;
-      }
-
-  planarFaces?: Array<{
-          normal: Vec3;
-          offset: number;
-          area?: number;
-          center?: Vec3;
-      }>
-
-  cylindricalFaces?: Array<{
-          radius: number;
-          axis: 'x' | 'y' | 'z';
-          center?: Vec3;
-          axisRange?: {
-              min: number;
-              max: number;
-          };
-      }>
-
-  circularHoles?: Array<{
-          diameter: number;
-          through: boolean;
-          axis: 'x' | 'y' | 'z';
-          center?: Vec3;
-          axisRange?: {
-              min: number;
-              max: number;
-          };
-      }>
-
-  circularHolePatterns?: Array<{
-          count: number;
-          holeDiameter: number;
-          boltCircleDiameter: number;
-          axis: 'x' | 'y' | 'z';
-          center?: Vec3;
-      }>
-
-  chamferFeatures?: Array<{
-          distance: number;
-          selection?: string;
-      }>
-
-  filletFeatures?: Array<{
-          radius: number;
-          selection?: string;
-      }>
-
-  minimumWallThickness?: {
-          value: number;
-          location?: Vec3;
-          pointA?: Vec3;
-          pointB?: Vec3;
-          solidIndex?: number;
-          tieCount?: number;
-          algorithm?: string;
-          tolerance?: number;
-          supportA?: {
-              faceIndex?: number;
-              surfaceType?: string;
-              supportType?: string;
-          };
-          supportB?: {
-              faceIndex?: number;
-              surfaceType?: string;
-              supportType?: string;
-          };
-          rejections?: Record<string, number>;
-      }
-
-// Geometry file formats understood by GeoSpec provenance
-GeometryFileFormat: MeshFileFormat | 'step' | 'stp'
-
-// Capability exposed by a loaded subject
-GeometryCapability: {
-    kind: 'mesh';
-    feature: 'triangles' | 'bounding-box' | 'connected-components' | 'watertightness' | 'surface-area' | 'volume' | 'center-of-mass' | 'distance' | 'component-overlap';
-} | {
-    kind: 'brep';
-    feature: 'validity' | 'topology-counts' | 'bounding-box' | 'mass-properties' | 'planar-faces' | 'cylindrical-faces' | 'circular-holes' | 'circular-hole-patterns' | 'chamfer-features' | 'fillet-features' | 'wall-thickness';
-} | {
-    kind: 'step';
-    feature: 'schema' | 'units' | 'product-structure' | 'reader-provenance';
-} | {
-    kind: 'unsupported';
-    feature: string;
-    reason: string;
-}
-
-  kind: 'mesh'
-
-  feature: 'triangles' | 'bounding-box' | 'connected-components' | 'watertightness' | 'surface-area' | 'volume' | 'center-of-mass' | 'distance' | 'component-overlap'
-
 // Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
 GeometryDiagnostic: {
     code: KernelIssueCode | (string & {});
@@ -1110,233 +860,6 @@ GeometryDiagnostic: {
 
   details?: unknown
 
-// Provenance recorded by GeoSpec loaders
-GeometryProvenance: {
-    source: GeometrySource;
-    unit: GeoSpecUnit;
-    loader: 'gltf-transform' | 'in-memory' | 'opencascade-step';
-    contentHash?: string;
-    parameters?: Record<string, JSONValue>;
-    exportIntent?: GeometryExportIntent;
-}
-
-  source: GeometrySource
-
-  unit: GeoSpecUnit
-
-  loader: 'gltf-transform' | 'in-memory' | 'opencascade-step'
-
-  contentHash?: string
-
-  parameters?: Record<string, JSONValue>
-
-  exportIntent?: GeometryExportIntent
-
-// Source metadata for a loaded geometry subject
-GeometrySource: {
-    kind: 'bytes' | 'array-buffer' | 'blob' | 'file' | 'path' | 'url' | 'mesh-buffer' | 'readable-stream' | 'async-iterable';
-    format: GeometryFileFormat;
-    path?: string;
-    name?: string;
-    byteLength?: number;
-}
-
-  kind: 'bytes' | 'array-buffer' | 'blob' | 'file' | 'path' | 'url' | 'mesh-buffer' | 'readable-stream' | 'async-iterable'
-
-  format: GeometryFileFormat
-
-  path?: string
-
-  name?: string
-
-  byteLength?: number
-
-// Canonical P0 object under test for GeoSpec
-// Remarks: This is intentionally a GeoSpec-loaded subject rather than a Tau runtime contract. Runtime integrations pass GLB/glTF bytes or files into loaders.
-GeometrySubject: {
-    kind: 'geometry-subject';
-    /** Opaque engine-owned identifier used by every protocol claim. */
-    subjectId: string;
-    mesh: GeometrySubjectMeshEvidence;
-    brep?: BrepEvidence;
-    step?: StepEvidence;
-    provenance: GeometryProvenance;
-    capabilities: GeometryCapability[];
-    diagnostics: GeometryEvidenceDiagnostic[];
-}
-
-  kind: 'geometry-subject'
-
-  // Opaque engine-owned identifier used by every protocol claim
-  subjectId: string
-
-  mesh: GeometrySubjectMeshEvidence
-
-  brep?: BrepEvidence
-
-  step?: StepEvidence
-
-  provenance: GeometryProvenance
-
-  capabilities: GeometryCapability[]
-
-  diagnostics: GeometryEvidenceDiagnostic[]
-
-// Wire-safe mesh summary carried by an opaque geometry subject
-GeometrySubjectMeshEvidence: {
-    format: MeshFileFormat;
-    stats: Pick<GeometryStats, 'vertexCount' | 'meshCount' | 'triangleCount'>;
-}
-
-  format: MeshFileFormat
-
-  stats: Pick<GeometryStats, 'vertexCount' | 'meshCount' | 'triangleCount'>
-
-// Mesh evidence loaded from geometry bytes or buffers
-MeshEvidence: {
-    format: MeshFileFormat;
-    stats: GeometryStats;
-}
-
-  format: MeshFileFormat
-
-  stats: GeometryStats
-
-// Geometry file formats supported by the P0 mesh loader
-MeshFileFormat: 'glb' | 'gltf' | 'mesh-buffer'
-
-// Triangle quality and scalar mesh metrics used by P0 GeoSpec matchers
-// Remarks: Values are reported in the glTF document coordinate units.
-MeshQualityStats: {
-    triangleCount: number;
-    nonFiniteVertices: Array<{
-        primitive: string;
-        vertexIndex: number;
-        position: [number, number, number];
-    }>;
-    degenerateTriangles: Array<{
-        primitive: string;
-        triangleIndex: number;
-        area: number;
-        center: [number, number, number];
-    }>;
-    duplicateFaces: Array<{
-        primitive: string;
-        triangleIndex: number;
-        firstTriangleIndex: number;
-    }>;
-    triangles: MeshTriangle[];
-    surfaceArea: number;
-    signedVolume: number;
-    centerOfMass?: Vec3;
-}
-
-  triangleCount: number
-
-  nonFiniteVertices: Array<{
-          primitive: string;
-          vertexIndex: number;
-          position: [number, number, number];
-      }>
-
-  degenerateTriangles: Array<{
-          primitive: string;
-          triangleIndex: number;
-          area: number;
-          center: [number, number, number];
-      }>
-
-  duplicateFaces: Array<{
-          primitive: string;
-          triangleIndex: number;
-          firstTriangleIndex: number;
-      }>
-
-  triangles: MeshTriangle[]
-
-  surfaceArea: number
-
-  signedVolume: number
-
-  centerOfMass?: Vec3
-
-// One triangle from mesh evidence, in geometry document coordinates
-MeshTriangle: {
-    primitive: string;
-    triangleIndex: number;
-    a: [number, number, number];
-    b: [number, number, number];
-    c: [number, number, number];
-    center: [number, number, number];
-    area: number;
-}
-
-  primitive: string
-
-  triangleIndex: number
-
-  a: [number, number, number]
-
-  b: [number, number, number]
-
-  c: [number, number, number]
-
-  center: [number, number, number]
-
-  area: number
-
-// STEP/XDE evidence extracted while loading a STEP subject
-StepEvidence: {
-    schema?: string;
-    unit?: GeoSpecUnit;
-    productStructure?: Array<{
-        name: string;
-        path: string;
-        transform?: number[];
-    }>;
-    readStrategy: {
-        strategy: 'native-stream' | 'filesystem';
-        inputKind: GeometrySource['kind'];
-        bytesRead: number;
-        nativeReadStream: boolean;
-        copiedToEmscriptenFs: boolean;
-    };
-    capabilities: Array<{
-        feature: string;
-        supported: boolean;
-        reason?: string;
-    }>;
-    /** Structured AP242 XDE read result (occurrences, subshape names, datum placements). */
-    xde?: XdeReadResult;
-}
-
-  schema?: string
-
-  unit?: GeoSpecUnit
-
-  productStructure?: Array<{
-          name: string;
-          path: string;
-          transform?: number[];
-      }>
-
-  readStrategy: {
-          strategy: 'native-stream' | 'filesystem';
-          inputKind: GeometrySource['kind'];
-          bytesRead: number;
-          nativeReadStream: boolean;
-          copiedToEmscriptenFs: boolean;
-      }
-
-  capabilities: Array<{
-          feature: string;
-          supported: boolean;
-          reason?: string;
-      }>
-
-  // Structured AP242 XDE read result (occurrences, subshape names, datum placements)
-  xde?: XdeReadResult
-
 // Numeric 3D vector
 Vec3: readonly [number, number, number]
 
@@ -1385,179 +908,6 @@ MeshBufferSource: {
 // Mesh source forms accepted by {@link import ('./load-model.js').loadModel}
 MeshSource: Uint8Array<ArrayBuffer> | ArrayBuffer | Blob | File | URL | string | MeshBufferSource
 
-// Axis-aligned bounding box in glTF document units (meters)
-AabbMeters: {
-    min: [number, number, number];
-    max: [number, number, number];
-}
-
-  min: [number, number, number]
-
-  max: [number, number, number]
-
-// Dominant primitive on an axis extremum for `boundingBox` failures
-BoundingBoxAxisExtremum: {
-    name: string;
-    aabb: AabbMeters;
-    value: number;
-}
-
-  name: string
-
-  aabb: AabbMeters
-
-  value: number
-
-// One axis failure for `boundingBox` checks
-BoundingBoxAxisFailure: {
-    axis: 'x' | 'y' | 'z';
-    field: 'size' | 'center';
-    expected: number;
-    actual: number;
-    tolerance: number;
-    minExtremum?: BoundingBoxAxisExtremum;
-    maxExtremum?: BoundingBoxAxisExtremum;
-}
-
-  axis: 'x' | 'y' | 'z'
-
-  field: 'size' | 'center'
-
-  expected: number
-
-  actual: number
-
-  tolerance: number
-
-  minExtremum?: BoundingBoxAxisExtremum
-
-  maxExtremum?: BoundingBoxAxisExtremum
-
-// Structured payload when `boundingBox` fails
-BoundingBoxFailure: {
-    axisFailures: BoundingBoxAxisFailure[];
-}
-
-  axisFailures: BoundingBoxAxisFailure[]
-
-// Scene bounding box with per-primitive contributors in the subject's unit and frame
-BoundingBoxStats: {
-    size: [number, number, number];
-    center: [number, number, number];
-    primitives: PrimitiveRecord[];
-}
-
-  size: [number, number, number]
-
-  center: [number, number, number]
-
-  primitives: PrimitiveRecord[]
-
-// Result of evaluating a single test requirement against geometry stats
-CheckResult: {
-    passed: true;
-} | {
-    passed: false;
-    check: 'boundingBox';
-    reason: string;
-    suggestion: string;
-    failure: BoundingBoxFailure;
-} | {
-    passed: false;
-    check: 'connectedComponents';
-    reason: string;
-    suggestion: string;
-    failure: ConnectedComponentsFailure;
-} | {
-    passed: false;
-    check: 'watertight';
-    reason: string;
-    suggestion: string;
-    failure: WatertightFailure;
-} | {
-    passed: false;
-    check: 'invalid';
-    reason: string;
-    suggestion: string;
-}
-
-  passed: true
-
-// Smallest clearance between two clusters along the dominant separation axis
-ClusterGap: {
-    fromLabel: string;
-    toLabel: string;
-    axis: 'x' | 'y' | 'z';
-    /** Millimetres — clearance between the two named primitives' AABBs. */
-    gapMm: number;
-    fromPrimitive: string;
-    toPrimitive: string;
-}
-
-  fromLabel: string
-
-  toLabel: string
-
-  axis: 'x' | 'y' | 'z'
-
-  // Millimetres — clearance between the two named primitives' AABBs
-  gapMm: number
-
-  fromPrimitive: string
-
-  toPrimitive: string
-
-// One spatial cluster from AABB overlap grouping
-ClusterReport: {
-    label: string;
-    primitives: PrimitiveRecord[];
-    aabb: AabbMeters;
-    centroid: [number, number, number];
-    totalVertices: number;
-}
-
-  label: string
-
-  primitives: PrimitiveRecord[]
-
-  aabb: AabbMeters
-
-  centroid: [number, number, number]
-
-  totalVertices: number
-
-// Structured payload when `connectedComponents` fails
-ConnectedComponentsFailure: {
-    expected: number;
-    got: number;
-    toleranceMm: number;
-    clusters: ClusterReport[];
-    gaps: ClusterGap[];
-}
-
-  expected: number
-
-  got: number
-
-  toleranceMm: number
-
-  clusters: ClusterReport[]
-
-  gaps: ClusterGap[]
-
-// Full connected-components analysis at one tolerance
-ConnectedComponentsResult: {
-    count: number;
-    clusters: ClusterReport[];
-    gaps: ClusterGap[];
-}
-
-  count: number
-
-  clusters: ClusterReport[]
-
-  gaps: ClusterGap[]
-
 // Runtime export intent recorded when GeoSpec obtains evidence from a CAD runtime instead of a direct geometry file
 GeometryExportIntent: {
     requested: {
@@ -1627,203 +977,11 @@ GeometryExportIntent: {
           direct: boolean;
       }
 
-// Diagnostic form permitted inside a wire-safe subject snapshot
-GeometryEvidenceDiagnostic: Omit<GeometryDiagnostic, 'details'> & {
-    details?: JSONValue;
-}
-
-  code: KernelIssueCode | (string & {})
-
-  severity: 'error' | 'warning' | 'info'
-
-  message: string
-
-  suggestion?: string
-
-  spatial?: {
-          min?: Vec3;
-          max?: Vec3;
-          center?: Vec3;
-      }
-
-  details?: JSONValue
-
-// Statistics about a parsed GLB geometry
-// Remarks: `vertexCount` and `meshCount` are kept on the type for internal diagnostic use (and for the kernel-author Vitest harness in `kernel-geometry-testing.utils.ts`); they are no longer exposed via the agent-facing requirement schema.
-GeometryStats: {
-    vertexCount: number;
-    meshCount: number;
-    triangleCount: number;
-    meshQuality: MeshQualityStats;
-    watertight: boolean;
-    boundingBox?: BoundingBoxStats;
-}
-
-  vertexCount: number
-
-  meshCount: number
-
-  triangleCount: number
-
-  meshQuality: MeshQualityStats
-
-  watertight: boolean
-
-  boundingBox?: BoundingBoxStats
-
-// One TRIANGLES primitive with identity for spatial-test feedback
-PrimitiveRecord: {
-    /** The glTF node / mesh name (from kernel ShapeConfig.name when present). */
-    name: string;
-    color?: string;
-    vertices: number;
-    aabb: AabbMeters;
-}
-
-  // The glTF node / mesh name (from kernel ShapeConfig.name when present)
-  name: string
-
-  color?: string
-
-  vertices: number
-
-  aabb: AabbMeters
-
-// Structured payload when `watertight` fails
-WatertightFailure: {
-    /** Edges with incidence ≠ 2 (open or non-manifold). */
-    irregularEdges: number;
-    /** Edges shared by exactly one triangle (open boundary). */
-    openBoundaryEdges: number;
-    /** Edges shared by more than two triangles (over-adjacent/non-manifold). */
-    nonManifoldEdges: number;
-    irregularEdgeKindCounts: {
-        openBoundary: number;
-        nonManifold: number;
-    };
-    irregularEdgeClusters: WatertightIrregularEdgeCluster[];
-    irregularEdgeFraction: number;
-    perPrimitive: WatertightPrimitiveBreakdown[];
-}
-
-  // Edges with incidence ≠ 2 (open or non-manifold)
-  irregularEdges: number
-
-  // Edges shared by exactly one triangle (open boundary)
-  openBoundaryEdges: number
-
-  // Edges shared by more than two triangles (over-adjacent/non-manifold)
-  nonManifoldEdges: number
-
-  irregularEdgeKindCounts: {
-          openBoundary: number;
-          nonManifold: number;
-      }
-
-  irregularEdgeClusters: WatertightIrregularEdgeCluster[]
-
-  irregularEdgeFraction: number
-
-  perPrimitive: WatertightPrimitiveBreakdown[]
-
-// Spatial cluster of related irregular edges
-WatertightIrregularEdgeCluster: {
-    kind: WatertightIrregularEdgeKind;
-    edgeCount: number;
-    aabb: {
-        min: Vec3;
-        max: Vec3;
-        center: Vec3;
-    };
-    samples: WatertightIrregularEdgeSample[];
-}
-
-  kind: WatertightIrregularEdgeKind
-
-  edgeCount: number
-
-  aabb: {
-          min: Vec3;
-          max: Vec3;
-          center: Vec3;
-      }
-
-  samples: WatertightIrregularEdgeSample[]
-
-// Class of irregular mesh edge found during watertight analysis
-WatertightIrregularEdgeKind: 'open-boundary' | 'non-manifold'
-
-// Representative irregular edge, in glTF document coordinates
-WatertightIrregularEdgeSample: {
-    start: Vec3;
-    end: Vec3;
-    center: Vec3;
-    incidentTriangleCount: number;
-    primitives: string[];
-    color?: string;
-}
-
-  start: Vec3
-
-  end: Vec3
-
-  center: Vec3
-
-  incidentTriangleCount: number
-
-  primitives: string[]
-
-  color?: string
-
-// Per-primitive watertight diagnostic (local tessellation only)
-WatertightPrimitiveBreakdown: {
-    name: string;
-    boundaryEdges: number;
-    loopCentroid: [number, number, number];
-}
-
-  name: string
-
-  boundaryEdges: number
-
-  loopCentroid: [number, number, number]
-
-// Full watertight analysis (global + per-primitive breakdown)
-WatertightResult: {
-    watertight: boolean;
-    irregularEdges: number;
-    openBoundaryEdges: number;
-    nonManifoldEdges: number;
-    irregularEdgeKindCounts: {
-        openBoundary: number;
-        nonManifold: number;
-    };
-    irregularEdgeClusters: WatertightIrregularEdgeCluster[];
-    totalEdges: number;
-    irregularEdgeFraction: number;
-    perPrimitive: WatertightPrimitiveBreakdown[];
-}
-
-  watertight: boolean
-
-  irregularEdges: number
-
-  openBoundaryEdges: number
-
-  nonManifoldEdges: number
-
-  irregularEdgeKindCounts: {
-          openBoundary: number;
-          nonManifold: number;
-      }
-
-  irregularEdgeClusters: WatertightIrregularEdgeCluster[]
-
-  totalEdges: number
-
-  irregularEdgeFraction: number
+// Geometry file formats a GeoSpec export intent can name
+GeometryFileFormat: MeshFileFormat | 'step' | 'stp'
 
-  perPrimitive: WatertightPrimitiveBreakdown[]
+// Geometry file formats supported by the P0 mesh loader
+MeshFileFormat: 'glb' | 'gltf' | 'mesh-buffer'
 
 // Defaults accepted by {@link import ('./load-model.js').createModelLoader}
 CreateModelLoaderOptions: {
@@ -2057,3 +1215,330 @@ GeoSpecConsumedSources: ReadonlyArray<{
     readonly path: string;
     readonly sha256: string;
 }>
+
+// Inline code-CAD model load options
+LoadModelCodeOptions: {
+    /** Source files keyed by project-relative path. */
+    code: Code;
+    /** Entry path to render from {@link code}. */
+    file: keyof Code & string;
+    /** Not accepted: inline code has no project folder to resolve in, and a load naming one is refused. */
+    rootDir?: never;
+    /** Geometry format to export. Defaults to `glb`. */
+    format?: GeoSpecModelFormat;
+    /** Explicit parameters passed to the exporter. */
+    parameters?: Record<string, unknown>;
+    /** Absolute project root passed to the exporter. */
+    projectPath?: string;
+    /** STEP reader strategy used for STEP exports. */
+    stepStreaming?: StepStreamingMode;
+    /** Whether STEP loading should also produce mesh evidence. Defaults to true. */
+    mesh?: boolean;
+    /** Linear tolerance used while meshing exact BRep evidence. */
+    meshLinearTolerance?: number;
+    /** Angular tolerance in degrees used while meshing exact BRep evidence. */
+    meshAngularToleranceDegrees?: number;
+    /**
+     * Default work-unit budget for every claim on this subject: a positive integer no greater than
+     * the host's maximum (default `geoSpecMaximumWorkUnitLimit`, 512 000 000). `expectGeo(subject, { workUnitLimit })` overrides
+     * it per chain. Recorded in the load evidence; it never changes the exported or admitted bytes.
+     */
+    workUnitLimit?: number;
+    /**
+     * Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model
+     * can be checked region by region. Only an exporter that declares `region` honours it; any other
+     * exporter, or a crop the exporter cannot make, refuses with a typed diagnostic instead of loading
+     * the whole model. The cropped subject is a different subject: its load evidence records `region`,
+     * so a claim on it never stands for the whole model.
+     */
+    region?: GeoSpecLoadRegion;
+}
+
+  // Source files keyed by project-relative path
+  code: Code
+
+  // Entry path to render from {@link code }
+  file: keyof Code & string
+
+  // Not accepted
+  rootDir?: never
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the exporter
+  parameters?: Record<string, unknown>
+
+  // Absolute project root passed to the exporter
+  projectPath?: string
+
+  // STEP reader strategy used for STEP exports
+  stepStreaming?: StepStreamingMode
+
+  // Whether STEP loading should also produce mesh evidence
+  mesh?: boolean
+
+  // Linear tolerance used while meshing exact BRep evidence
+  meshLinearTolerance?: number
+
+  // Angular tolerance in degrees used while meshing exact BRep evidence
+  meshAngularToleranceDegrees?: number
+
+  // Default work-unit budget for every claim on this subject
+  workUnitLimit?: number
+
+  // Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model can be checked region by region
+  region?: GeoSpecLoadRegion
+
+// Filesystem-backed model load options
+LoadModelFileOptions: {
+    /**
+     * Model file to render, as a path from the project root: the same root every tool's `targetFile` resolves
+     * against, which the result names as `projectRoot` where the host reports it, as `tau mcp` does.
+     */
+    file: string;
+    /**
+     * Project-relative folder `file` resolves in, for a suite that loads from somewhere other than the project root:
+     * `loadModel({ file: 'main.ts', rootDir: 'parts/gear' })` loads `parts/gear/main.ts`. Recorded in the load
+     * evidence.
+     */
+    rootDir?: string;
+    /** Absolute project root passed to the exporter. */
+    projectPath?: string;
+    /** Geometry format to export. Defaults to `glb`. */
+    format?: GeoSpecModelFormat;
+    /** Explicit parameters passed to the exporter. */
+    parameters?: Record<string, unknown>;
+    /** STEP reader strategy used for STEP exports. */
+    stepStreaming?: StepStreamingMode;
+    /** Whether STEP loading should also produce mesh evidence. Defaults to true. */
+    mesh?: boolean;
+    /** Linear tolerance used while meshing exact BRep evidence. */
+    meshLinearTolerance?: number;
+    /** Angular tolerance in degrees used while meshing exact BRep evidence. */
+    meshAngularToleranceDegrees?: number;
+    /**
+     * Default work-unit budget for every claim on this subject: a positive integer no greater than
+     * the host's maximum (default `geoSpecMaximumWorkUnitLimit`, 512 000 000). `expectGeo(subject, { workUnitLimit })` overrides
+     * it per chain. Recorded in the load evidence; it never changes the exported or admitted bytes.
+     */
+    workUnitLimit?: number;
+    /**
+     * Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model
+     * can be checked region by region. Only an exporter that declares `region` honours it; any other
+     * exporter, or a crop the exporter cannot make, refuses with a typed diagnostic instead of loading
+     * the whole model. The cropped subject is a different subject: its load evidence records `region`,
+     * so a claim on it never stands for the whole model.
+     */
+    region?: GeoSpecLoadRegion;
+}
+
+  // Model file to render, as a path from the project root
+  file: string
+
+  // Project-relative folder `file` resolves in, for a suite that loads from somewhere other than the project root
+  rootDir?: string
+
+  // Absolute project root passed to the exporter
+  projectPath?: string
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the exporter
+  parameters?: Record<string, unknown>
+
+  // STEP reader strategy used for STEP exports
+  stepStreaming?: StepStreamingMode
+
+  // Whether STEP loading should also produce mesh evidence
+  mesh?: boolean
+
+  // Linear tolerance used while meshing exact BRep evidence
+  meshLinearTolerance?: number
+
+  // Angular tolerance in degrees used while meshing exact BRep evidence
+  meshAngularToleranceDegrees?: number
+
+  // Default work-unit budget for every claim on this subject
+  workUnitLimit?: number
+
+  // Axis-aligned millimetre box the exporter crops the model to before export, so a large mesh model can be checked region by region
+  region?: GeoSpecLoadRegion
+
+// Options accepted by {@link import ('./load-model.js').loadModel}
+LoadModelOptions: LoadModelSourceOptions | LoadModelCodeOptions<Code> | LoadModelFileOptions
+
+  // Project-relative folder `file` resolves in, for a suite that loads from somewhere other than the project root
+  rootDir?: string
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the exporter
+  parameters?: Record<string, unknown>
+
+  // STEP reader strategy used for STEP exports
+  stepStreaming?: StepStreamingMode
+
+  // Whether STEP loading should also produce mesh evidence
+  mesh?: boolean
+
+  // Linear tolerance used while meshing exact BRep evidence
+  meshLinearTolerance?: number
+
+  // Angular tolerance in degrees used while meshing exact BRep evidence
+  meshAngularToleranceDegrees?: number
+
+  // Default work-unit budget for every claim on this subject
+  workUnitLimit?: number
+
+// Direct geometry-source model load options
+LoadModelSourceOptions: {
+    /** Geometry bytes, path, browser file/blob, or in-memory mesh buffer. */
+    source: MeshSource | StepSource;
+    /** Named external resources consumed alongside the direct geometry bytes. */
+    resources?: ReadonlyArray<{
+        readonly name: string;
+        readonly source: MeshSource | StepSource;
+    }>;
+    /**
+     * Project-relative folder a path `source` and each resource path resolve in. Omitted, they resolve against the
+     * project root. Recorded in the load evidence.
+     */
+    rootDir?: string;
+    /** Source geometry format. Defaults to `glb`. */
+    format?: GeoSpecModelFormat;
+    /** Source path recorded in provenance. */
+    path?: string;
+    /** Human-readable source name recorded in provenance. */
+    name?: string;
+    /** Coordinate unit of raw GLB/glTF or mesh-buffer data before canonical millimetre normalization. */
+    sourceUnit?: GeoSpecUnit;
+    /** Explicit parameters recorded in provenance. */
+    parameters?: Record<string, unknown>;
+    /** STEP reader strategy used for STEP sources. */
+    stepStreaming?: StepStreamingMode;
+    /** Whether STEP loading should also produce mesh evidence. Defaults to true. */
+    mesh?: boolean;
+    /** Linear tolerance used while meshing exact BRep evidence. */
+    meshLinearTolerance?: number;
+    /** Angular tolerance in degrees used while meshing exact BRep evidence. */
+    meshAngularToleranceDegrees?: number;
+    /**
+     * Default work-unit budget for every claim on this subject: a positive integer no greater than
+     * the host's maximum (default `geoSpecMaximumWorkUnitLimit`, 512 000 000). `expectGeo(subject, { workUnitLimit })` overrides
+     * it per chain. Recorded in the load evidence; it never changes the exported or admitted bytes.
+     */
+    workUnitLimit?: number;
+}
+
+  // Geometry bytes, path, browser file/blob, or in-memory mesh buffer
+  source: MeshSource | StepSource
+
+  // Named external resources consumed alongside the direct geometry bytes
+  resources?: ReadonlyArray<{
+          readonly name: string;
+          readonly source: MeshSource | StepSource;
+      }>
+
+  // Project-relative folder a path `source` and each resource path resolve in
+  rootDir?: string
+
+  // Source geometry format
+  format?: GeoSpecModelFormat
+
+  // Source path recorded in provenance
+  path?: string
+
+  // Human-readable source name recorded in provenance
+  name?: string
+
+  // Coordinate unit of raw GLB/glTF or mesh-buffer data before canonical millimetre normalization
+  sourceUnit?: GeoSpecUnit
+
+  // Explicit parameters recorded in provenance
+  parameters?: Record<string, unknown>
+
+  // STEP reader strategy used for STEP sources
+  stepStreaming?: StepStreamingMode
+
+  // Whether STEP loading should also produce mesh evidence
+  mesh?: boolean
+
+  // Linear tolerance used while meshing exact BRep evidence
+  meshLinearTolerance?: number
+
+  // Angular tolerance in degrees used while meshing exact BRep evidence
+  meshAngularToleranceDegrees?: number
+
+  // Default work-unit budget for every claim on this subject
+  workUnitLimit?: number
+
+// Options for {@link commandExporter}
+CommandExporterOptions: {
+    readonly id: string;
+    /** File extensions without the dot, or `'*'`. */
+    readonly extensions: readonly string[];
+    /** Executable and leading arguments, such as `['python', 'export.py']`. */
+    readonly command: readonly string[];
+    /** What the command can do. Protocol 1 carries no inline sources, so `inlineSources` must not be set. */
+    readonly capabilities: GeoSpecExporterCapabilities;
+    /** Working directory of the command; defaults to the request's project root. */
+    readonly cwd?: string;
+    /** Extra environment variables, merged over this process's. */
+    readonly env?: Readonly<Record<string, string>>;
+    /** Positive milliseconds one export may run before the command is killed and the export fails. */
+    readonly exportTimeout?: number;
+}
+
+  readonly id: string
+
+  // File extensions without the dot, or `'*'`
+  readonly extensions: readonly string[]
+
+  // Executable and leading arguments, such as `['python', 'export.py']`
+  readonly command: readonly string[]
+
+  // What the command can do
+  readonly capabilities: GeoSpecExporterCapabilities
+
+  // Working directory of the command
+  readonly cwd?: string
+
+  // Extra environment variables, merged over this process's
+  readonly env?: Readonly<Record<string, string>>
+
+  // Positive milliseconds one export may run before the command is killed and the export fails
+  readonly exportTimeout?: number
+
+// Collects suites, tests, assertions, and async completion state for one GeoSpec module execution
+GeoSpecCollector: {
+    tests: GeoSpecTestCase[];
+    describe(name: string, function_: GeoSpecTestFunction): void;
+    describeSkip(name: string, _function?: GeoSpecTestFunction): void;
+    it(name: string, function_: GeoSpecTestFunction): void;
+    itSkip(name: string, _function?: GeoSpecTestFunction): void;
+    expectGeo(subject: unknown, options?: GeoSpecExpectOptions): GeoSpecMatcher;
+    waitForCompletion(testTimeout?: number, testNamePattern?: GeoSpecTestNamePattern): Promise<void>;
+}
+
+  tests: GeoSpecTestCase[]
+
+  // GeoSpecCollector.describe (method)
+  describe(name: string, function_: GeoSpecTestFunction): void;
+
+  // GeoSpecCollector.describeSkip (method)
+  describeSkip(name: string, _function?: GeoSpecTestFunction): void;
+
+  // GeoSpecCollector.it (method)
+  it(name: string, function_: GeoSpecTestFunction): void;
+
+  // GeoSpecCollector.itSkip (method)
+  itSkip(name: string, _function?: GeoSpecTestFunction): void;
+
+  // GeoSpecCollector.expectGeo (method)
+  expectGeo(subject: unknown, options?: GeoSpecExpectOptions): GeoSpecMatcher;
+
+  // GeoSpecCollector.waitForCompletion (method)
+  waitForCompletion(testTimeout?: number, testNamePattern?: GeoSpecTestNamePattern): Promise<void>;