geospec 0.0.0 → 0.1.0-beta.3

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

@@ -0,0 +1,1788 @@
+# geospec — Types
+
+69 top-level symbols. Signatures are verbatim typescript.
+
+// A model admitted by one live GeoSpec host scope
+GeoSpecSubject: {
+    readonly [subjectBrand]: true;
+}
+
+  readonly [subjectBrand]: true
+
+// Geometry units accepted at GeoSpec evidence-loading boundaries
+// Remarks: Loaded subjects normalize coordinates into canonical millimetres; this type describes source and provenance units, not a project-wide configuration.
+GeoSpecUnit: 'mm' | 'cm' | 'm' | 'in' | 'ft' | (string & {})
+
+// Geometry assertion collected from a GeoSpec test module
+GeoSpecAssertion: {
+    /** Assertion kind. */
+    kind: 'boundingBox' | 'connectedComponents' | 'watertight' | 'componentInterference' | 'assemblyOccurrences' | 'spatialRelationships' | 'meshIntegrity' | 'noDiagnostics' | 'surfaceArea' | 'volume' | 'mass' | 'centerOfMass' | 'validBrep' | 'topologyCounts' | 'stepUnits' | 'productStructure' | 'planarFace' | 'cylindricalFace' | 'circularHole' | 'circularHolePattern' | 'chamferFeature' | 'filletFeature' | 'minimumWallThickness' | 'voidContinuity' | 'toSatisfyRationalPlate' | 'toSatisfyParallelPlaneDistance';
+    /** User-authored value passed to expectGeo(). */
+    subject: unknown;
+    /** Expected geometry condition. */
+    expected: unknown;
+    /** True when the assertion evaluated successfully. */
+    passed?: boolean;
+    /** Structured diagnostics from matcher evaluation. */
+    diagnostics?: GeometryDiagnostic[];
+    /** Exact compiled assertion report, including core-owned bytes and polarity. */
+    report?: GeoSpecCanonicalClaimReport;
+    /** The host load which admitted this assertion's subject; independent of equal geometry hashes. */
+    loadId?: string;
+    /**
+     * The crop this assertion's subject was loaded with. Present only for a region load: the verdict
+     * holds for this millimetre box, never for the whole model.
+     */
+    region?: GeoSpecLoadRegion;
+    /** Wall-clock cost of matcher evaluation in milliseconds (R1: budgeted matchers only). */
+    durationMs?: number;
+}
+
+  // Assertion kind
+  kind: 'boundingBox' | 'connectedComponents' | 'watertight' | 'componentInterference' | 'assemblyOccurrences' | 'spatialRelationships' | 'meshIntegrity' | 'noDiagnostics' | 'surfaceArea' | 'volume' | 'mass' | 'centerOfMass' | 'validBrep' | 'topologyCounts' | 'stepUnits' | 'productStructure' | 'planarFace' | 'cylindricalFace' | 'circularHole' | 'circularHolePattern' | 'chamferFeature' | 'filletFeature' | 'minimumWallThickness' | 'voidContinuity' | 'toSatisfyRationalPlate' | 'toSatisfyParallelPlaneDistance'
+
+  // User-authored value passed to expectGeo()
+  subject: unknown
+
+  // Expected geometry condition
+  expected: unknown
+
+  // True when the assertion evaluated successfully
+  passed?: boolean
+
+  // Structured diagnostics from matcher evaluation
+  diagnostics?: GeometryDiagnostic[]
+
+  // Exact compiled assertion report, including core-owned bytes and polarity
+  report?: GeoSpecCanonicalClaimReport
+
+  // The host load which admitted this assertion's subject
+  loadId?: string
+
+  // The crop this assertion's subject was loaded with
+  region?: GeoSpecLoadRegion
+
+  // Wall-clock cost of matcher evaluation in milliseconds (R1
+  durationMs?: number
+
+// Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
+GeoSpecAssemblyOccurrenceExpectation: {
+    name: GeoSpecComponentSelector;
+    count?: GeoSpecNumericExpectation;
+    bounds?: {
+        within?: GeoSpecComponentSelector;
+        min?: Vec3 | GeoSpecAxisExpectation;
+        max?: Vec3 | GeoSpecAxisExpectation;
+        center?: GeoSpecPointExpectation;
+        tolerance?: number;
+    };
+}
+
+  name: GeoSpecComponentSelector
+
+  count?: GeoSpecNumericExpectation
+
+  bounds?: {
+          within?: GeoSpecComponentSelector;
+          min?: Vec3 | GeoSpecAxisExpectation;
+          max?: Vec3 | GeoSpecAxisExpectation;
+          center?: GeoSpecPointExpectation;
+          tolerance?: number;
+      }
+
+// Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
+GeoSpecAssemblyOccurrencesExpectation: {
+    occurrences: GeoSpecAssemblyOccurrenceExpectation[];
+    uniqueNames?: boolean;
+}
+
+  occurrences: GeoSpecAssemblyOccurrenceExpectation[]
+
+  uniqueNames?: boolean
+
+// Axis-keyed numeric expectation used by high-level geometry matchers
+GeoSpecAxisExpectation: {
+    x?: number;
+    y?: number;
+    z?: number;
+}
+
+  x?: number
+
+  y?: number
+
+  z?: number
+
+// Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`
+GeoSpecBoundingBoxExpectation: {
+    min?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>;
+    max?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>;
+    size?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>;
+    center?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>;
+    tolerance?: number;
+}
+
+  min?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>
+
+  max?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>
+
+  size?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>
+
+  center?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>
+
+  tolerance?: number
+
+// Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`
+GeoSpecCenterOfMassExpectation: {
+    /** Exact expected point in millimetres; per-axis ranges such as `{ greaterThan }` are not supported. */
+    point: GeoSpecPointExpectation;
+    tolerance?: number;
+}
+
+  // Exact expected point in millimetres
+  point: GeoSpecPointExpectation
+
+  tolerance?: number
+
+// Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`
+GeoSpecChamferFeatureExpectation: {
+    distance: number;
+    selection?: string;
+    tolerance?: number;
+}
+
+  distance: number
+
+  selection?: string
+
+  tolerance?: number
+
+// Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`
+GeoSpecCircularHoleExpectation: {
+    diameter: number;
+    through?: boolean;
+    axis?: 'x' | 'y' | 'z';
+    center?: GeoSpecPointExpectation;
+    tolerance?: number;
+}
+
+  diameter: number
+
+  through?: boolean
+
+  axis?: 'x' | 'y' | 'z'
+
+  center?: GeoSpecPointExpectation
+
+  tolerance?: number
+
+// Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`
+GeoSpecCylindricalFaceExpectation: {
+    radius: number;
+    axis: 'x' | 'y' | 'z';
+    tolerance?: number;
+}
+
+  radius: number
+
+  axis: 'x' | 'y' | 'z'
+
+  tolerance?: number
+
+// Per-chain options accepted by `expectGeo(subject, options)`
+GeoSpecExpectOptions: {
+    /**
+     * Deterministic work-unit budget for every claim in this chain: a positive integer no
+     * greater than the host's maximum (default `geoSpecMaximumWorkUnitLimit`, 512 000 000). Omitted uses the subject's
+     * `loadModel` budget, then the host's, then the engine default. Raise it to retry a
+     * `MATCHER_TIMEOUT` refusal whose `details.used` exceeded `details.limit`.
+     */
+    readonly workUnitLimit?: number;
+}
+
+  // Deterministic work-unit budget for every claim in this chain
+  readonly workUnitLimit?: number
+
+// Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+GeoSpecComponentInterferenceAllowance: {
+    kind?: 'intentionalInterference';
+    left: GeoSpecComponentSelector;
+    right: GeoSpecComponentSelector;
+    maxVolume?: number;
+    reason: string;
+}
+
+  kind?: 'intentionalInterference'
+
+  left: GeoSpecComponentSelector
+
+  right: GeoSpecComponentSelector
+
+  maxVolume?: number
+
+  reason: string
+
+// Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+// Remarks: GeoSpec checks for positive solid intersection volume between assembly components. Tangent contact and correctly meshed gears are allowed. `pairs` narrows the check to specific component-label pairs while preserving exact positive-volume evidence for every selected pair. `allowances` documents explicitly intentional positive-volume interference such as gasket compression, press fits, or simplified thread engagement.
+GeoSpecComponentInterferenceExpectation: {
+    tolerance?: number;
+    pairs?: GeoSpecComponentInterferencePairExpectation[];
+    allowances?: GeoSpecComponentInterferenceAllowance[];
+}
+
+  tolerance?: number
+
+  pairs?: GeoSpecComponentInterferencePairExpectation[]
+
+  allowances?: GeoSpecComponentInterferenceAllowance[]
+
+// A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
+GeoSpecComponentInterferencePairExpectation: {
+    left: GeoSpecComponentSelector;
+    right: GeoSpecComponentSelector;
+}
+
+  left: GeoSpecComponentSelector
+
+  right: GeoSpecComponentSelector
+
+// Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`
+GeoSpecConnectedComponentsExpectation: {
+    count: number;
+    tolerance?: number;
+    toleranceMm?: number;
+}
+
+  count: number
+
+  tolerance?: number
+
+  toleranceMm?: number
+
+// Geometry selector used by inspection and spatial relationship matchers
+GeoSpecGeometrySelector: GeoSpecComponentSelector | {
+    kind: 'occurrence';
+    /** Product or instance name to match (also matches the PRODUCT name shared by instanced parts). */
+    name?: GeoSpecComponentSelector;
+    /** Exact occurrence path — the per-instance identity when instances share one product. */
+    path?: GeoSpecComponentSelector;
+} | {
+    kind: 'axis';
+    name?: GeoSpecComponentSelector;
+    axis?: 'x' | 'y' | 'z';
+    center?: Vec3;
+    direction?: Vec3;
+    radius?: number;
+    tolerance?: number;
+} | {
+    kind: 'plane';
+    name?: GeoSpecComponentSelector;
+    normal?: Vec3;
+    offset?: number;
+    tolerance?: number;
+}
+/**
+ * SB3 V1 selector catalog kinds (body/face/datum/interface/group plus the
+ * string shorthand), resolved by the native engine. SB4 routes
+ * relationship endpoints through that engine: the legacy explicit
+ * axis/plane members above resolve as `stability: 'explicit'` fixtures
+ * (rejected by the production evidence policy), while named legacy forms
+ * become engine queries. The catalog's occurrence/axis/plane query forms
+ * stay out of this union because their `kind` discriminants collide with
+ * the legacy explicit members.
+ */
+ | Exclude<GeometrySelector, string | {
+    kind: 'occurrence' | 'axis' | 'plane';
+}>
+
+// Assertion chain returned by `expectGeo(subject)`
+GeoSpecMatcher: {
+    /** Core-owned negation; missing or refused evidence still fails. */
+    readonly not: Omit<GeoSpecMatcher, 'not'>;
+    /** Assert the fixed rational plate contract. */
+    toSatisfyRationalPlate(): GeoSpecAssertion;
+    /** Assert the fixed parallel-plane distance contract. */
+    toSatisfyParallelPlaneDistance(): GeoSpecAssertion;
+    /**
+     * Assert axis-aligned bounds, size, or center for a loaded geometry subject.
+     */
+    toHaveBoundingBox(first: Vec3 | GeoSpecBoundingBoxExpectation, second?: Vec3): GeoSpecAssertion;
+    /**
+     * Assert how many spatially disjoint chunks the mesh contains.
+     */
+    toHaveConnectedComponents(expected: GeoSpecConnectedComponentsExpectation): GeoSpecAssertion;
+    /**
+     * Assert closed mesh edge incidence; this does not prove vertex-manifold
+     * validity, embeddedness, a Boolean fuse, or material connectivity.
+     */
+    toBeWatertight(): GeoSpecAssertion;
+    /**
+     * Assert that separate assembly components do not occupy the same solid volume.
+     */
+    toHaveNoComponentInterference(expected?: GeoSpecComponentInterferenceExpectation): GeoSpecAssertion;
+    /**
+     * Assert that named assembly occurrences exist with expected counts and bounds.
+     */
+    toHaveAssemblyOccurrences(expected: GeoSpecAssemblyOccurrencesExpectation): GeoSpecAssertion;
+    /**
+     * Assert that selected entities satisfy declared spatial relationships.
+     */
+    toHaveSpatialRelationships(expected: GeoSpecSpatialRelationshipsExpectation): GeoSpecAssertion;
+    /**
+     * Assert rendered mesh evidence is internally trustworthy for downstream checks.
+     */
+    toHaveMeshIntegrity(expected: GeoSpecMeshIntegrityExpectation): GeoSpecAssertion;
+    /**
+     * Assert that the subject carries no diagnostics at the rejected severities.
+     */
+    toHaveNoDiagnostics(expected?: GeoSpecNoDiagnosticsExpectation): GeoSpecAssertion;
+    /**
+     * Assert total surface area, preferring exact BRep mass properties when available.
+     */
+    toHaveSurfaceArea(expected: GeoSpecSurfaceAreaExpectation): GeoSpecAssertion;
+    /**
+     * Assert enclosed volume, preferring exact BRep mass properties when available.
+     */
+    toHaveVolume(expected: GeoSpecVolumeExpectation): GeoSpecAssertion;
+    /**
+     * Assert mass derived from exact mass properties or volume times density.
+     */
+    toHaveMass(expected: GeoSpecMassExpectation): GeoSpecAssertion;
+    /**
+     * Assert the center of mass or mesh-derived centroid for a closed subject.
+     */
+    toHaveCenterOfMass(expected: GeoSpecCenterOfMassExpectation): GeoSpecAssertion;
+    /**
+     * Assert that exact BRep evidence reports a valid shape.
+     */
+    toBeValidBrep(expected?: GeoSpecValidBrepExpectation): GeoSpecAssertion;
+    /**
+     * Assert exact BRep topology counts.
+     */
+    toHaveTopologyCounts(expected: GeoSpecTopologyCountsExpectation): GeoSpecAssertion;
+    /**
+     * Assert the STEP unit evidence.
+     */
+    toHaveStepUnits(expected: GeoSpecStepUnitsExpectation): GeoSpecAssertion;
+    /**
+     * Assert STEP product-structure evidence.
+     */
+    toHaveProductStructure(expected: GeoSpecProductStructureExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a planar face matching the requested constraints.
+     */
+    toHavePlanarFace(expected: GeoSpecPlanarFaceExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a cylindrical face with the requested radius and axis.
+     */
+    toHaveCylindricalFace(expected: GeoSpecCylindricalFaceExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a circular hole matching diameter, center, and axis.
+     */
+    toHaveCircularHole(expected: GeoSpecCircularHoleExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a repeated circular-hole pattern.
+     */
+    toHaveCircularHolePattern(expected: GeoSpecCircularHolePatternExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a chamfer feature with the requested distance.
+     */
+    toHaveChamferFeature(expected: GeoSpecChamferFeatureExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence contains a fillet feature with the requested radius.
+     */
+    toHaveFilletFeature(expected: GeoSpecFilletFeatureExpectation): GeoSpecAssertion;
+    /**
+     * Assert that BRep evidence reports a minimum wall thickness satisfying the expectation.
+     */
+    toHaveMinimumWallThickness(expected: GeoSpecMinimumWallThicknessExpectation): GeoSpecAssertion;
+    /**
+     * Assert that the declared waypoints share one connected void, stay isolated
+     * from the declared spaces, and hold the minimum cross-section.
+     */
+    toHaveVoidContinuity(expected: GeoSpecVoidContinuityExpectation): GeoSpecAssertion;
+}
+
+  // Core-owned negation
+  readonly not: Omit<GeoSpecMatcher, 'not'>
+
+  // Assert the fixed rational plate contract
+  // GeoSpecMatcher.toSatisfyRationalPlate (method)
+  toSatisfyRationalPlate(): GeoSpecAssertion;
+
+  // Assert the fixed parallel-plane distance contract
+  // GeoSpecMatcher.toSatisfyParallelPlaneDistance (method)
+  toSatisfyParallelPlaneDistance(): GeoSpecAssertion;
+
+  // Assert axis-aligned bounds, size, or center for a loaded geometry subject
+  // GeoSpecMatcher.toHaveBoundingBox (method)
+  toHaveBoundingBox(first: Vec3 | GeoSpecBoundingBoxExpectation, second?: Vec3): GeoSpecAssertion;
+
+  // Assert how many spatially disjoint chunks the mesh contains
+  // GeoSpecMatcher.toHaveConnectedComponents (method)
+  toHaveConnectedComponents(expected: GeoSpecConnectedComponentsExpectation): GeoSpecAssertion;
+
+  // Assert closed mesh edge incidence
+  // GeoSpecMatcher.toBeWatertight (method)
+  toBeWatertight(): GeoSpecAssertion;
+
+  // Assert that separate assembly components do not occupy the same solid volume
+  // GeoSpecMatcher.toHaveNoComponentInterference (method)
+  toHaveNoComponentInterference(expected?: GeoSpecComponentInterferenceExpectation): GeoSpecAssertion;
+
+  // Assert that named assembly occurrences exist with expected counts and bounds
+  // GeoSpecMatcher.toHaveAssemblyOccurrences (method)
+  toHaveAssemblyOccurrences(expected: GeoSpecAssemblyOccurrencesExpectation): GeoSpecAssertion;
+
+  // Assert that selected entities satisfy declared spatial relationships
+  // GeoSpecMatcher.toHaveSpatialRelationships (method)
+  toHaveSpatialRelationships(expected: GeoSpecSpatialRelationshipsExpectation): GeoSpecAssertion;
+
+  // Assert rendered mesh evidence is internally trustworthy for downstream checks
+  // GeoSpecMatcher.toHaveMeshIntegrity (method)
+  toHaveMeshIntegrity(expected: GeoSpecMeshIntegrityExpectation): GeoSpecAssertion;
+
+  // Assert that the subject carries no diagnostics at the rejected severities
+  // GeoSpecMatcher.toHaveNoDiagnostics (method)
+  toHaveNoDiagnostics(expected?: GeoSpecNoDiagnosticsExpectation): GeoSpecAssertion;
+
+  // Assert total surface area, preferring exact BRep mass properties when available
+  // GeoSpecMatcher.toHaveSurfaceArea (method)
+  toHaveSurfaceArea(expected: GeoSpecSurfaceAreaExpectation): GeoSpecAssertion;
+
+  // Assert enclosed volume, preferring exact BRep mass properties when available
+  // GeoSpecMatcher.toHaveVolume (method)
+  toHaveVolume(expected: GeoSpecVolumeExpectation): GeoSpecAssertion;
+
+  // Assert mass derived from exact mass properties or volume times density
+  // GeoSpecMatcher.toHaveMass (method)
+  toHaveMass(expected: GeoSpecMassExpectation): GeoSpecAssertion;
+
+  // Assert the center of mass or mesh-derived centroid for a closed subject
+  // GeoSpecMatcher.toHaveCenterOfMass (method)
+  toHaveCenterOfMass(expected: GeoSpecCenterOfMassExpectation): GeoSpecAssertion;
+
+  // Assert that exact BRep evidence reports a valid shape
+  // GeoSpecMatcher.toBeValidBrep (method)
+  toBeValidBrep(expected?: GeoSpecValidBrepExpectation): GeoSpecAssertion;
+
+  // Assert exact BRep topology counts
+  // GeoSpecMatcher.toHaveTopologyCounts (method)
+  toHaveTopologyCounts(expected: GeoSpecTopologyCountsExpectation): GeoSpecAssertion;
+
+  // Assert the STEP unit evidence
+  // GeoSpecMatcher.toHaveStepUnits (method)
+  toHaveStepUnits(expected: GeoSpecStepUnitsExpectation): GeoSpecAssertion;
+
+  // Assert STEP product-structure evidence
+  // GeoSpecMatcher.toHaveProductStructure (method)
+  toHaveProductStructure(expected: GeoSpecProductStructureExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a planar face matching the requested constraints
+  // GeoSpecMatcher.toHavePlanarFace (method)
+  toHavePlanarFace(expected: GeoSpecPlanarFaceExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a cylindrical face with the requested radius and axis
+  // GeoSpecMatcher.toHaveCylindricalFace (method)
+  toHaveCylindricalFace(expected: GeoSpecCylindricalFaceExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a circular hole matching diameter, center, and axis
+  // GeoSpecMatcher.toHaveCircularHole (method)
+  toHaveCircularHole(expected: GeoSpecCircularHoleExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a repeated circular-hole pattern
+  // GeoSpecMatcher.toHaveCircularHolePattern (method)
+  toHaveCircularHolePattern(expected: GeoSpecCircularHolePatternExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a chamfer feature with the requested distance
+  // GeoSpecMatcher.toHaveChamferFeature (method)
+  toHaveChamferFeature(expected: GeoSpecChamferFeatureExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence contains a fillet feature with the requested radius
+  // GeoSpecMatcher.toHaveFilletFeature (method)
+  toHaveFilletFeature(expected: GeoSpecFilletFeatureExpectation): GeoSpecAssertion;
+
+  // Assert that BRep evidence reports a minimum wall thickness satisfying the expectation
+  // GeoSpecMatcher.toHaveMinimumWallThickness (method)
+  toHaveMinimumWallThickness(expected: GeoSpecMinimumWallThicknessExpectation): GeoSpecAssertion;
+
+  // Assert that the declared waypoints share one connected void, stay isolated from the declared spaces, and hold the minimum cross-section
+  // GeoSpecMatcher.toHaveVoidContinuity (method)
+  toHaveVoidContinuity(expected: GeoSpecVoidContinuityExpectation): GeoSpecAssertion;
+
+// Mass expectation accepted by `expectGeo(...).toHaveMass(...)`
+GeoSpecMassExpectation: {
+    value: number | GeoSpecNumericExpectation;
+    density?: number;
+    tolerance?: number;
+}
+
+  value: number | GeoSpecNumericExpectation
+
+  density?: number
+
+  tolerance?: number
+
+// Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`
+GeoSpecMeshIntegrityExpectation: {
+    finitePositions?: boolean;
+    degenerateTriangles?: {
+        count?: number;
+        maxCount?: number;
+        areaTolerance?: number;
+    };
+    duplicateFaces?: {
+        count?: number;
+        maxCount?: number;
+    };
+    watertight?: boolean;
+    triangleCount?: GeoSpecNumericExpectation;
+}
+
+  finitePositions?: boolean
+
+  degenerateTriangles?: {
+          count?: number;
+          maxCount?: number;
+          areaTolerance?: number;
+      }
+
+  duplicateFaces?: {
+          count?: number;
+          maxCount?: number;
+      }
+
+  watertight?: boolean
+
+  triangleCount?: GeoSpecNumericExpectation
+
+// Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`
+// Remarks: Defaults to `error` and `warning` when omitted.
+GeoSpecNoDiagnosticsExpectation: {
+    severities?: Array<GeometryDiagnostic['severity']>;
+}
+
+  severities?: Array<GeometryDiagnostic['severity']>
+
+// Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`
+GeoSpecMinimumWallThicknessExpectation: {
+    value: GeoSpecNumericExpectation;
+    tolerance?: number;
+}
+
+  value: GeoSpecNumericExpectation
+
+  tolerance?: number
+
+// Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`
+GeoSpecCircularHolePatternExpectation: {
+    count: number;
+    holeDiameter: number;
+    boltCircleDiameter?: number;
+    axis?: 'x' | 'y' | 'z';
+    center?: GeoSpecPointExpectation;
+    tolerance?: number;
+}
+
+  count: number
+
+  holeDiameter: number
+
+  boltCircleDiameter?: number
+
+  axis?: 'x' | 'y' | 'z'
+
+  center?: GeoSpecPointExpectation
+
+  tolerance?: number
+
+// Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`
+GeoSpecFilletFeatureExpectation: {
+    radius: number;
+    selection?: string;
+    tolerance?: number;
+}
+
+  radius: number
+
+  selection?: string
+
+  tolerance?: number
+
+// Shared scalar expectation used by geometry measurements
+GeoSpecNumericExpectation: number | {
+    value?: number;
+    greaterThan?: number;
+    greaterThanOrEqual?: number;
+    lessThan?: number;
+    lessThanOrEqual?: number;
+}
+
+// Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`
+GeoSpecPlanarFaceExpectation: {
+    normal: GeoSpecPointExpectation;
+    offset: number;
+    area?: GeoSpecNumericExpectation;
+    tolerance?: number;
+}
+
+  normal: GeoSpecPointExpectation
+
+  offset: number
+
+  area?: GeoSpecNumericExpectation
+
+  tolerance?: number
+
+// Point expectation accepted by center and feature matchers
+GeoSpecPointExpectation: Vec3 | GeoSpecAxisExpectation
+
+// Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`
+GeoSpecProductStructureExpectation: {
+    names?: string[];
+    count?: GeoSpecNumericExpectation;
+}
+
+  names?: string[]
+
+  count?: GeoSpecNumericExpectation
+
+// One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
+// Remarks: Verdicts are decided by exact BRep evidence only (D3): extrema for `contact`/`clearance`, analytic fact comparison for `coaxial`/`concentric`/`coplanar`/`parallel`/`perpendicular`/`angle`, exact solid classification for `containment`/`insertion`, and exact boolean common volume for `interference` (positive volume outside the `minVolume`/`maxVolume` allowance band fails).
+GeoSpecSpatialRelationshipExpectation: {
+    id?: string;
+    kind: 'contact' | 'clearance' | 'coaxial' | 'concentric' | 'coplanar' | 'parallel' | 'perpendicular' | 'angle' | 'containment' | 'insertion' | 'interference';
+    subject: GeoSpecGeometrySelector;
+    target: GeoSpecGeometrySelector;
+    tolerance?: number;
+    angularToleranceDegrees?: number;
+    /** Expected angle in degrees for `kind: 'angle'` (orientation-insensitive). */
+    angleDegrees?: number;
+    /** Declared insertion axis (subject-frame direction) for `kind: 'insertion'`. */
+    axis?: Vec3;
+    min?: number;
+    max?: number;
+    minVolume?: number;
+    maxVolume?: number;
+    reason?: string;
+}
+
+  id?: string
+
+  kind: 'contact' | 'clearance' | 'coaxial' | 'concentric' | 'coplanar' | 'parallel' | 'perpendicular' | 'angle' | 'containment' | 'insertion' | 'interference'
+
+  subject: GeoSpecGeometrySelector
+
+  target: GeoSpecGeometrySelector
+
+  tolerance?: number
+
+  angularToleranceDegrees?: number
+
+  // Expected angle in degrees for `kind
+  angleDegrees?: number
+
+  // Declared insertion axis (subject-frame direction) for `kind
+  axis?: Vec3
+
+  min?: number
+
+  max?: number
+
+  minVolume?: number
+
+  maxVolume?: number
+
+  reason?: string
+
+// Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
+GeoSpecSpatialRelationshipsExpectation: {
+    relationships: GeoSpecSpatialRelationshipExpectation[];
+}
+
+  relationships: GeoSpecSpatialRelationshipExpectation[]
+
+// STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`
+GeoSpecStepUnitsExpectation: {
+    unit: string;
+}
+
+  unit: string
+
+// Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`
+GeoSpecSurfaceAreaExpectation: {
+    value: number | GeoSpecNumericExpectation;
+    tolerance?: number;
+}
+
+  value: number | GeoSpecNumericExpectation
+
+  tolerance?: number
+
+// Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`
+GeoSpecTopologyCountsExpectation: {
+    vertices?: GeoSpecNumericExpectation;
+    edges?: GeoSpecNumericExpectation;
+    wires?: GeoSpecNumericExpectation;
+    faces?: GeoSpecNumericExpectation;
+    shells?: GeoSpecNumericExpectation;
+    solids?: GeoSpecNumericExpectation;
+    compounds?: GeoSpecNumericExpectation;
+    tolerance?: number;
+}
+
+  vertices?: GeoSpecNumericExpectation
+
+  edges?: GeoSpecNumericExpectation
+
+  wires?: GeoSpecNumericExpectation
+
+  faces?: GeoSpecNumericExpectation
+
+  shells?: GeoSpecNumericExpectation
+
+  solids?: GeoSpecNumericExpectation
+
+  compounds?: GeoSpecNumericExpectation
+
+  tolerance?: number
+
+// Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`
+GeoSpecValidBrepExpectation: {
+    maxTolerance?: number;
+    freeBounds?: {
+        count?: GeoSpecNumericExpectation;
+    };
+    minEdgeLength?: number;
+    sameParameter?: boolean;
+    closedShells?: boolean;
+    closedWires?: boolean;
+}
+
+  maxTolerance?: number
+
+  freeBounds?: {
+          count?: GeoSpecNumericExpectation;
+      }
+
+  minEdgeLength?: number
+
+  sameParameter?: boolean
+
+  closedShells?: boolean
+
+  closedWires?: boolean
+
+// Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`
+// Remarks: A whole-assembly negative-space claim: the ordered `path` waypoints must all lie in ONE connected open-void component (void = outside every `material` solid), that component must not reach any `isolatedFrom` point, and its tightest sampled cross-section must meet `minCrossSection`. Connectivity and isolation are proven from Boolean shell topology, generalized winding-number body identity, and deterministic cross-sections.
+GeoSpecVoidContinuityExpectation: {
+    /** Ordered waypoints (>= 1) known to lie in the void being proven. */
+    path: GeoSpecVoidWaypoint[];
+    /**
+     * Occurrence names whose solids bound the void. Defaults to every occurrence
+     * in the subject (the whole-assembly negative space).
+     */
+    material?: string[];
+    /** Minimum required bottleneck cross-section (mm²), sampled. */
+    minCrossSection?: number;
+    /** Points that must NOT be reachable from the path void (isolation claim). */
+    isolatedFrom?: Vec3[];
+    /**
+     * Region bounded for the proof (subject frame). Defaults to the union
+     * of the `material` occurrence bounds, which encloses every interior void.
+     */
+    bounds?: {
+        min: Vec3;
+        max: Vec3;
+    };
+}
+
+  // Ordered waypoints (>= 1) known to lie in the void being proven
+  path: GeoSpecVoidWaypoint[]
+
+  // Occurrence names whose solids bound the void
+  material?: string[]
+
+  // Minimum required bottleneck cross-section (mm²), sampled
+  minCrossSection?: number
+
+  // Points that must NOT be reachable from the path void (isolation claim)
+  isolatedFrom?: Vec3[]
+
+  // Region bounded for the proof (subject frame)
+  bounds?: {
+          min: Vec3;
+          max: Vec3;
+      }
+
+// One void-continuity waypoint
+GeoSpecVoidWaypoint: Vec3 | {
+    occurrence: string;
+}
+
+// Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`
+GeoSpecVolumeExpectation: {
+    value: number | GeoSpecNumericExpectation;
+    tolerance?: number;
+}
+
+  value: number | GeoSpecNumericExpectation
+
+  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 & {});
+    severity: 'error' | 'warning' | 'info';
+    message: string;
+    suggestion?: string;
+    spatial?: {
+        min?: Vec3;
+        max?: Vec3;
+        center?: Vec3;
+    };
+    details?: unknown;
+}
+
+  code: KernelIssueCode | (string & {})
+
+  severity: 'error' | 'warning' | 'info'
+
+  message: string
+
+  suggestion?: string
+
+  spatial?: {
+          min?: Vec3;
+          max?: Vec3;
+          center?: Vec3;
+      }
+
+  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]
+
+// Numeric 3D vector
+GeoSpecVec3: readonly [number, number, number]
+
+// Runtime route metadata used to decide whether a runtime export can honor GeoSpec evidence requirements
+GeoSpecExportRoute: Partial<ExportRoute> & {
+    kernelId?: string;
+    sourceFormat?: string;
+    targetFormat?: string;
+    transcoderId?: string;
+    fidelity?: string;
+    exportOptions?: {
+        schema?: {
+            properties?: Record<string, unknown>;
+        };
+        defaults?: Record<string, unknown>;
+    };
+}
+
+RuntimeBackedModelFormat: Exclude<GeoSpecModelFormat, 'mesh-buffer'>
+
+// Runtime client shape for route-aware Tau runtimes
+RuntimeClientWithRoutes: GeoSpecRuntimeClient & {
+    bestRouteFor(format: string, options?: {
+        readonly kernelId?: string;
+    }): GeoSpecExportRoute | undefined;
+}
+
+  open: (input: Pick<Parameters<RuntimeClient['open']>[0], 'source' | 'parameters' | 'stage' | 'watch' | 'signal'>) => Pick<ReturnType<RuntimeClient['open']>, 'export' | 'close'>
+
+  // RuntimeClientWithRoutes.on (method)
+  on?(event: 'telemetry', handler: (batch: {
+          readonly entries: ReadonlyArray<{
+              name: string;
+              duration: number;
+              startTime: number;
+              workerTimeOrigin: number;
+          }>;
+      }) => void): () => void;
+
+  // RuntimeClientWithRoutes.bestRouteFor (method)
+  bestRouteFor(format: string, options?: {
+          readonly kernelId?: string;
+      }): GeoSpecExportRoute | undefined;
+
+// Resolved runtime export request and provenance for a GeoSpec model load
+RuntimeExportIntent: {
+    options: Record<string, unknown>;
+    provenance: GeometryExportIntent;
+    sourceUnit: GeoSpecUnit;
+}
+
+  options: Record<string, unknown>
+
+  provenance: GeometryExportIntent
+
+  sourceUnit: GeoSpecUnit
+
+// Structured failure returned when a runtime cannot provide the requested GeoSpec evidence
+RuntimeExportIntentFailure: {
+    success: false;
+    diagnostics: GeometryDiagnostic[];
+}
+
+  success: false
+
+  diagnostics: GeometryDiagnostic[]
+
+// Defaults accepted by {@link import ('./load-model.js').createModelLoader}
+CreateModelLoaderOptions: {
+    /** Initialized compiled engine supplied by the host, never selected by an authored spec. */
+    engine: GeoSpecNativeModelEngine;
+    /** Rooted host reader for direct filesystem or URL sources. */
+    readSource?: GeoSpecNativeSourceReader;
+    /** Geometry format to export when an individual call does not specify one. */
+    format?: GeoSpecModelFormat;
+    /** Runtime client or lazy runtime factory. */
+    runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
+    /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
+    sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
+    /** Project root used by runtime integrations. */
+    projectPath?: string;
+    /** STEP reader strategy used for STEP sources or 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;
+}
+
+  // Initialized compiled engine supplied by the host, never selected by an authored spec
+  engine: GeoSpecNativeModelEngine
+
+  // Rooted host reader for direct filesystem or URL sources
+  readSource?: GeoSpecNativeSourceReader
+
+  // Geometry format to export when an individual call does not specify one
+  format?: GeoSpecModelFormat
+
+  // Runtime client or lazy runtime factory
+  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory
+
+  // Source-specific runtime adapters, e.g
+  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[]
+
+  // Project root used by runtime integrations
+  projectPath?: string
+
+  // STEP reader strategy used for STEP sources or 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
+
+// Axis-aligned crop box in canonical Z-up millimetres
+GeoSpecLoadRegion: {
+    readonly min: readonly [number, number, number];
+    readonly max: readonly [number, number, number];
+}
+
+  readonly min: readonly [number, number, number]
+
+  readonly max: readonly [number, number, number]
+
+// Geometry formats accepted by {@link import ('./load-model.js').loadModel}
+GeoSpecModelFormat: MeshFileFormat | 'step' | 'stp'
+
+// Function shape used by GeoSpec runners to provide model loading inside VM executed test files
+GeoSpecModelLoader: <Code extends Record<string, string> = Record<string, string>>(options: LoadModelOptions<Code>) => Promise<GeoSpecSubject>
+
+// A configured loader whose shared runtime can be released with its owner
+ManagedGeoSpecModelLoader: GeoSpecModelLoader & {
+    dispose(): Promise<void>;
+}
+
+  // ManagedGeoSpecModelLoader.dispose (method)
+  dispose(): Promise<void>;
+
+// Runtime client surface consumed by `geospec/model`
+// Remarks: GeoSpec accepts concrete Tau runtime clients from multiple call sites but only needs connection lifecycle and request-scoped documents. Keep this shape small so typed runtime clients do not have to widen their full generic method surface to GeoSpec's testing DSL. A client with `shutdown` is awaited through it when GeoSpec releases an owned runtime, so its host resources are closed before the caller (for example a worker thread) exits. A client with `snapshotSource` lets one run reuse an identical file load after confirming that the source closure it exported is unchanged.
+GeoSpecRuntimeClient: Pick<RuntimeClient, 'connect' | 'terminate'> & Partial<Pick<RuntimeClient, 'shutdown' | 'snapshotSource' | 'describe'>> & {
+    open: (input: Pick<Parameters<RuntimeClient['open']>[0], 'source' | 'parameters' | 'stage' | 'watch' | 'signal'>) => Pick<ReturnType<RuntimeClient['open']>, 'export' | 'close'>;
+    on?(event: 'telemetry', handler: (batch: {
+        readonly entries: ReadonlyArray<{
+            name: string;
+            duration: number;
+            startTime: number;
+            workerTimeOrigin: number;
+        }>;
+    }) => void): () => void;
+}
+
+  open: (input: Pick<Parameters<RuntimeClient['open']>[0], 'source' | 'parameters' | 'stage' | 'watch' | 'signal'>) => Pick<ReturnType<RuntimeClient['open']>, 'export' | 'close'>
+
+  // GeoSpecRuntimeClient.on (method)
+  on?(event: 'telemetry', handler: (batch: {
+          readonly entries: ReadonlyArray<{
+              name: string;
+              duration: number;
+              startTime: number;
+              workerTimeOrigin: number;
+          }>;
+      }) => void): () => void;
+
+// Lazy runtime factory consumed by `geospec/model`
+GeoSpecRuntimeClientFactory: () => Promise<GeoSpecRuntimeClient>
+
+// Explicit source adapter for formats whose runtime setup is not part of the generic Tau runtime preset
+GeoSpecRuntimeSourceAdapter: {
+    id: string;
+    extensions: readonly string[];
+    createRuntime(options: {
+        projectPath?: string;
+        file?: string;
+    }): Promise<GeoSpecRuntimeClient>;
+}
+
+  id: string
+
+  extensions: readonly string[]
+
+  // GeoSpecRuntimeSourceAdapter.createRuntime (method)
+  createRuntime(options: {
+          projectPath?: string;
+          file?: string;
+      }): Promise<GeoSpecRuntimeClient>;
+
+// 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;
+    /** Geometry format to export. Defaults to `glb`. */
+    format?: GeoSpecModelFormat;
+    /** Explicit parameters passed to the runtime. */
+    parameters?: Record<string, unknown>;
+    /** Runtime client or lazy runtime factory. */
+    runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
+    /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
+    sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
+    /** Project root used by runtime integrations. */
+    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 kernel crops the model to before export, so a large mesh model
+     * can be checked region by region. Only kernels whose direct GLB export declares a `region` option
+     * honor it; any other kernel, a STEP load or a crop the kernel does not confirm refuses with a typed
+     * diagnostic instead of loading the whole model. The cropped subject is a different subject: its
+     * admission carries the kernel's crop notice and 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
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the runtime
+  parameters?: Record<string, unknown>
+
+  // Runtime client or lazy runtime factory
+  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory
+
+  // Source-specific runtime adapters, e.g
+  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[]
+
+  // Project root used by runtime integrations
+  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 kernel 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: {
+    /** Project-relative model file to render. */
+    file: string;
+    /** Project root used by runtime integrations. */
+    projectPath?: string;
+    /** Geometry format to export. Defaults to `glb`. */
+    format?: GeoSpecModelFormat;
+    /** Explicit parameters passed to the runtime. */
+    parameters?: Record<string, unknown>;
+    /** Runtime client or lazy runtime factory. */
+    runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory;
+    /** Source-specific runtime adapters, e.g. host-provided GPL-isolated kernels. */
+    sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[];
+    /** 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 kernel crops the model to before export, so a large mesh model
+     * can be checked region by region. Only kernels whose direct GLB export declares a `region` option
+     * honor it; any other kernel, a STEP load or a crop the kernel does not confirm refuses with a typed
+     * diagnostic instead of loading the whole model. The cropped subject is a different subject: its
+     * admission carries the kernel's crop notice and its load evidence records `region`, so a claim on
+     * it never stands for the whole model.
+     */
+    region?: GeoSpecLoadRegion;
+}
+
+  // Project-relative model file to render
+  file: string
+
+  // Project root used by runtime integrations
+  projectPath?: string
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the runtime
+  parameters?: Record<string, unknown>
+
+  // Runtime client or lazy runtime factory
+  runtime?: GeoSpecRuntimeClient | GeoSpecRuntimeClientFactory
+
+  // Source-specific runtime adapters, e.g
+  sourceAdapters?: readonly GeoSpecRuntimeSourceAdapter[]
+
+  // 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 kernel 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
+
+  // Geometry format to export
+  format?: GeoSpecModelFormat
+
+  // Explicit parameters passed to the runtime
+  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;
+    }>;
+    /** 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;
+      }>
+
+  // 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