geospec 0.0.0 → 0.1.0-beta.3

package/agent/resources.d.ts

@@ -0,0 +1,19 @@
+declare const bundles: readonly {
+  readonly slug: string;
+  readonly name: string;
+  readonly description: string;
+  readonly version: string;
+  readonly whenToUse: string;
+  readonly body: string;
+  readonly fingerprint: string;
+  readonly files: readonly {
+    readonly path: string;
+    readonly url: string;
+    readonly byteLength: number;
+    readonly lineCount: number;
+    readonly contentKind: "text";
+    readonly mediaType: "text/markdown";
+    readonly sha256: string;
+  }[];
+}[];
+export default bundles;

package/agent/resources.js

@@ -0,0 +1,27 @@
+/* Generated by @taucad/api-extractor. Do not edit. */
+export default Object.freeze([
+  Object.freeze({
+    slug: "geospec-authoring",
+    name: "GeoSpec authoring",
+    description: "Guides canonical GeoSpec geometry tests in TypeScript or JavaScript for every Tau kernel. Use for *.geospec.ts and *.geospec.js tests.",
+    version: "0.1.0-beta.3",
+    whenToUse: "Use before creating or editing *.geospec.ts or *.geospec.js tests, for a model in any kernel.",
+    body: "---\nname: geospec-authoring\ndescription: Guides canonical GeoSpec geometry tests in TypeScript or JavaScript for every Tau kernel. Use for *.geospec.ts and *.geospec.js tests.\n---\n\n# GeoSpec authoring\n\nWrite tests before implementation; assert deterministic, measurable properties.\n\n## Test shape\n\n- Use `*.geospec.ts` or `*.geospec.js`. Import `describe`, `it` and `expectGeo` from `geospec`, and `loadModel` from `geospec/model`.\n- Await `loadModel`, then assert synchronously with `expectGeo(model)`. The host supplies the compiled binding; authoring does not select an engine.\n- Await or return the complete model-load chain from the test callback; detached future loads are not part of a completed test.\n- Omit `parameters` for model-code defaults; use `{ file, parameters }` for variants. Loaded subjects are opaque.\n\nCanonical TypeScript authoring:\n\n```ts\nimport { describe, expectGeo, it } from 'geospec';\nimport { loadModel } from 'geospec/model';\n\ndescribe('main geometry', () => {\n  it('has the intended envelope', async () => {\n    const model = await loadModel({ file: 'main.ts', parameters: { width: 120 } });\n    expectGeo(model).toHaveBoundingBox({ size: { x: 120 }, tolerance: 1 });\n  });\n});\n```\n\nSpecs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through Tau's runtime. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.\n\nEvery matcher takes one expectation object:\n\n- Wrong: `expectGeo(model).toHaveVolume(5000, { tolerance: 5 })`. Correct: `expectGeo(model).toHaveVolume({ value: 5000, tolerance: 5 })`.\n- Wrong: `await expectGeo(model)…`. Correct: await `loadModel`, then assert synchronously.\n- Wrong: exact-feature matchers on a mesh kernel (Manifold, JSCAD, OpenSCAD, PicoGK, PicoVoxel). Correct: `toBeValidBrep`, `toHaveTopologyCounts`, the face, hole, pattern, chamfer, fillet and wall-thickness matchers, `toHaveStepUnits`, `toHaveProductStructure` and `toHaveVoidContinuity` need STEP BRep evidence and report unsupported on meshes; assert meshes with bounds, volume, surface area, connected components and `toBeWatertight`.\n\n## Loads and budgets\n\n- GeoSpec has no `beforeAll`. Write each `loadModel` inside its own `it`: within one run, identical loads (same file or code, parameters, format, tolerances and region) share one export and one admission. Each load keeps its own `loadId` and records `reused: true`, and a file is reused only while its source closure is unchanged.\n- `loadModel({ file, workUnitLimit })` sets the default claim budget for that subject, and `expectGeo(model, { workUnitLimit })` overrides it for one chain. The budget is a positive integer no greater than 512000000. A `MATCHER_TIMEOUT` refusal reports `details.limit` and, when measured, `details.used`; raise the budget within the bound or simplify the model, and never treat the refusal as a pass.\n- `loadModel({ file, region: { min: [x, y, z], max: [x, y, z] } })` makes a separate claim about one millimetre box, never a stand-in for a whole-model claim. The kernel crops before export (PicoVoxel trims Voxels parts), and other kernels, STEP loads and unconfirmed crops refuse with a typed diagnostic. A cropped subject answers only bounding box, volume, surface area, mass and center of mass of its region, and its assertions record the region. Every other matcher on it refuses with `GEOSPEC_REGION_WHOLE_MODEL_CLAIM`. Name the region in the test, and keep whole-model claims on whole-model loads.\n- A host or engine limit leaves a claim undecided, never false. Keep the model as designed: never coarsen, shrink or crop it to fit. Raise `workUnitLimit` or `testTimeout` within the host's maximum, which the host can raise, or report the claim as not decided at this capacity.\n- `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.\n\n## Coverage\n\nBounds and physical properties are insufficient. Cover major components, named features, variants, dimensions/positions, disjoint counts, closure, interference and supported exact features. Explicitly report unsupported requirements; proxies cannot fulfill them.\n\n- `toHaveBoundingBox`: size/position.\n- `toHaveConnectedComponents`: qualified material connectivity; visual touching cannot justify tolerance changes.\n- `toBeWatertight`: closed edge incidence, not manifold validity, fusion or material connectivity. Bounds prove none of these. Missing evidence is unsupported.\n- `toHaveSurfaceArea`, `toHaveVolume`, `toHaveCenterOfMass`, `toHaveMass`: physical measurements.\n- `toHaveNoComponentInterference`: overlap; allow deliberate press fits.\n- `loadModel({ file, format: 'step' })`: use BRep evidence for supported topology and feature assertions. Missing occurrence, interference, clearance, containment, lumen, wall, section or motion evidence is unsupported, not a pass or an envelope substitute.\n\nTest assemblies and independent units; preserve sibling coverage when adding files. Non-top-level geometry needs kernel export/invocation, not test removal.\n\nFix geometry at its root; never weaken tolerances, delete assertions, or reduce detail to pass.\n\n`public-api-index.md` covers the host and framework API; authoring needs only the Core API below and `api-*` files.\n\n## Core API\n\nThe symbols real Tau models use most, as verbatim declarations. Anything not shown is in the API reference below.\n\n### Functions\n\n```ts\n// Start a geometry assertion chain\nexport declare function expectGeo(subject: GeoSpecSubject, options?: GeoSpecExpectOptions): GeoSpecMatcher;\n\n// A model admitted by one live GeoSpec host scope\nGeoSpecSubject: {\n  readonly [subjectBrand]: true\n}\n\n// Per-chain options accepted by `expectGeo(subject, options)`\nGeoSpecExpectOptions: {\n  // Deterministic work-unit budget for every claim in this chain\n  readonly workUnitLimit?: number\n}\n\n// Load a CAD model into GeoSpec evidence\nexport declare function loadModel<Code extends Record<string, string> = Record<string, string>>(_options: LoadModelOptions<Code>): Promise<GeoSpecSubject>;\n\n// Options accepted by {@link import ('./load-model.js').loadModel}\nLoadModelOptions: LoadModelSourceOptions | LoadModelCodeOptions<Code> | LoadModelFileOptions\n  // Geometry format to export\n  format?: GeoSpecModelFormat\n  // Explicit parameters passed to the runtime\n  parameters?: Record<string, unknown>\n  // STEP reader strategy used for STEP exports\n  stepStreaming?: StepStreamingMode\n  // Whether STEP loading should also produce mesh evidence\n  mesh?: boolean\n  // Linear tolerance used while meshing exact BRep evidence\n  meshLinearTolerance?: number\n  // Angular tolerance in degrees used while meshing exact BRep evidence\n  meshAngularToleranceDegrees?: number\n  // Default work-unit budget for every claim on this subject\n  workUnitLimit?: number\n\n// Geometry formats accepted by {@link import ('./load-model.js').loadModel}\nGeoSpecModelFormat: MeshFileFormat | 'step' | 'stp'\n```\n\n### Types\n\n```ts\n// Assertion chain returned by `expectGeo(subject)`\nGeoSpecMatcher: {\n  // Core-owned negation\n  readonly not: Omit<GeoSpecMatcher, 'not'>\n  // Assert the fixed rational plate contract\n  toSatisfyRationalPlate(): GeoSpecAssertion;\n  // Assert the fixed parallel-plane distance contract\n  toSatisfyParallelPlaneDistance(): GeoSpecAssertion;\n  // Assert axis-aligned bounds, size, or center for a loaded geometry subject\n  toHaveBoundingBox(first: Vec3 | GeoSpecBoundingBoxExpectation, second?: Vec3): GeoSpecAssertion;\n  // Assert how many spatially disjoint chunks the mesh contains\n  toHaveConnectedComponents(expected: GeoSpecConnectedComponentsExpectation): GeoSpecAssertion;\n  // Assert closed mesh edge incidence\n  toBeWatertight(): GeoSpecAssertion;\n  // Assert that separate assembly components do not occupy the same solid volume\n  toHaveNoComponentInterference(expected?: GeoSpecComponentInterferenceExpectation): GeoSpecAssertion;\n  // Assert that named assembly occurrences exist with expected counts and bounds\n  toHaveAssemblyOccurrences(expected: GeoSpecAssemblyOccurrencesExpectation): GeoSpecAssertion;\n  // Assert that selected entities satisfy declared spatial relationships\n  toHaveSpatialRelationships(expected: GeoSpecSpatialRelationshipsExpectation): GeoSpecAssertion;\n  // Assert rendered mesh evidence is internally trustworthy for downstream checks\n  toHaveMeshIntegrity(expected: GeoSpecMeshIntegrityExpectation): GeoSpecAssertion;\n  // Assert that the subject carries no diagnostics at the rejected severities\n  toHaveNoDiagnostics(expected?: GeoSpecNoDiagnosticsExpectation): GeoSpecAssertion;\n  // Assert total surface area, preferring exact BRep mass properties when available\n  toHaveSurfaceArea(expected: GeoSpecSurfaceAreaExpectation): GeoSpecAssertion;\n  // Assert enclosed volume, preferring exact BRep mass properties when available\n  toHaveVolume(expected: GeoSpecVolumeExpectation): GeoSpecAssertion;\n  // Assert mass derived from exact mass properties or volume times density\n  toHaveMass(expected: GeoSpecMassExpectation): GeoSpecAssertion;\n  // Assert the center of mass or mesh-derived centroid for a closed subject\n  toHaveCenterOfMass(expected: GeoSpecCenterOfMassExpectation): GeoSpecAssertion;\n  // Assert that exact BRep evidence reports a valid shape\n  toBeValidBrep(expected?: GeoSpecValidBrepExpectation): GeoSpecAssertion;\n  // Assert exact BRep topology counts\n  toHaveTopologyCounts(expected: GeoSpecTopologyCountsExpectation): GeoSpecAssertion;\n  // Assert the STEP unit evidence\n  toHaveStepUnits(expected: GeoSpecStepUnitsExpectation): GeoSpecAssertion;\n  // Assert STEP product-structure evidence\n  toHaveProductStructure(expected: GeoSpecProductStructureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a planar face matching the requested constraints\n  toHavePlanarFace(expected: GeoSpecPlanarFaceExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a cylindrical face with the requested radius and axis\n  toHaveCylindricalFace(expected: GeoSpecCylindricalFaceExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a circular hole matching diameter, center, and axis\n  toHaveCircularHole(expected: GeoSpecCircularHoleExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a repeated circular-hole pattern\n  toHaveCircularHolePattern(expected: GeoSpecCircularHolePatternExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a chamfer feature with the requested distance\n  toHaveChamferFeature(expected: GeoSpecChamferFeatureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a fillet feature with the requested radius\n  toHaveFilletFeature(expected: GeoSpecFilletFeatureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence reports a minimum wall thickness satisfying the expectation\n  toHaveMinimumWallThickness(expected: GeoSpecMinimumWallThicknessExpectation): GeoSpecAssertion;\n  // Assert that the declared waypoints share one connected void, stay isolated from the declared…\n  toHaveVoidContinuity(expected: GeoSpecVoidContinuityExpectation): GeoSpecAssertion;\n}\n\n// Numeric 3D vector\nVec3: readonly [number, number, number]\n\n// Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`\nGeoSpecBoundingBoxExpectation: {\n  min?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  max?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  size?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  center?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  tolerance?: number\n}\n\n// Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`\nGeoSpecConnectedComponentsExpectation: {\n  count: number\n  tolerance?: number\n  toleranceMm?: number\n}\n\n// Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferenceExpectation: {\n  tolerance?: number\n  pairs?: GeoSpecComponentInterferencePairExpectation[]\n  allowances?: GeoSpecComponentInterferenceAllowance[]\n}\n\n// Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`\nGeoSpecAssemblyOccurrencesExpectation: {\n  occurrences: GeoSpecAssemblyOccurrenceExpectation[]\n  uniqueNames?: boolean\n}\n\n// Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`\nGeoSpecSpatialRelationshipsExpectation: {\n  relationships: GeoSpecSpatialRelationshipExpectation[]\n}\n\n// Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`\nGeoSpecMeshIntegrityExpectation: {\n  finitePositions?: boolean\n  degenerateTriangles?: {\n          count?: number;\n          maxCount?: number;\n          areaTolerance?: number;\n      }\n  duplicateFaces?: {\n          count?: number;\n          maxCount?: number;\n      }\n  watertight?: boolean\n  triangleCount?: GeoSpecNumericExpectation\n}\n\n// Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`\nGeoSpecNoDiagnosticsExpectation: {\n  severities?: Array<GeometryDiagnostic['severity']>\n}\n\n// Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`\nGeoSpecSurfaceAreaExpectation: {\n  value: number | GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`\nGeoSpecVolumeExpectation: {\n  value: number | GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Mass expectation accepted by `expectGeo(...).toHaveMass(...)`\nGeoSpecMassExpectation: {\n  value: number | GeoSpecNumericExpectation\n  density?: number\n  tolerance?: number\n}\n\n// Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`\nGeoSpecCenterOfMassExpectation: {\n  // Exact expected point in millimetres\n  point: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`\nGeoSpecValidBrepExpectation: {\n  maxTolerance?: number\n  freeBounds?: {\n          count?: GeoSpecNumericExpectation;\n      }\n  minEdgeLength?: number\n  sameParameter?: boolean\n  closedShells?: boolean\n  closedWires?: boolean\n}\n\n// Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`\nGeoSpecTopologyCountsExpectation: {\n  vertices?: GeoSpecNumericExpectation\n  edges?: GeoSpecNumericExpectation\n  wires?: GeoSpecNumericExpectation\n  faces?: GeoSpecNumericExpectation\n  shells?: GeoSpecNumericExpectation\n  solids?: GeoSpecNumericExpectation\n  compounds?: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`\nGeoSpecStepUnitsExpectation: {\n  unit: string\n}\n\n// Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`\nGeoSpecProductStructureExpectation: {\n  names?: string[]\n  count?: GeoSpecNumericExpectation\n}\n\n// Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`\nGeoSpecPlanarFaceExpectation: {\n  normal: GeoSpecPointExpectation\n  offset: number\n  area?: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`\nGeoSpecCylindricalFaceExpectation: {\n  radius: number\n  axis: 'x' | 'y' | 'z'\n  tolerance?: number\n}\n\n// Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`\nGeoSpecCircularHoleExpectation: {\n  diameter: number\n  through?: boolean\n  axis?: 'x' | 'y' | 'z'\n  center?: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`\nGeoSpecCircularHolePatternExpectation: {\n  count: number\n  holeDiameter: number\n  boltCircleDiameter?: number\n  axis?: 'x' | 'y' | 'z'\n  center?: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`\nGeoSpecChamferFeatureExpectation: {\n  distance: number\n  selection?: string\n  tolerance?: number\n}\n\n// Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`\nGeoSpecFilletFeatureExpectation: {\n  radius: number\n  selection?: string\n  tolerance?: number\n}\n\n// Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`\nGeoSpecMinimumWallThicknessExpectation: {\n  value: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`\nGeoSpecVoidContinuityExpectation: {\n  // Ordered waypoints (>= 1) known to lie in the void being proven\n  path: GeoSpecVoidWaypoint[]\n  // Occurrence names whose solids bound the void\n  material?: string[]\n  // Minimum required bottleneck cross-section (mm²), sampled\n  minCrossSection?: number\n  // Points that must NOT be reachable from the path void (isolation claim)\n  isolatedFrom?: Vec3[]\n  // Region bounded for the proof (subject frame)\n  bounds?: {\n          min: Vec3;\n          max: Vec3;\n      }\n}\n\n// Axis-keyed numeric expectation used by high-level geometry matchers\nGeoSpecAxisExpectation: {\n  x?: number\n  y?: number\n  z?: number\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferencePairExpectation: {\n  left: GeoSpecComponentSelector\n  right: GeoSpecComponentSelector\n}\n\n// Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferenceAllowance: {\n  kind?: 'intentionalInterference'\n  left: GeoSpecComponentSelector\n  right: GeoSpecComponentSelector\n  maxVolume?: number\n  reason: string\n}\n\n// Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`\nGeoSpecAssemblyOccurrenceExpectation: {\n  name: GeoSpecComponentSelector\n  count?: GeoSpecNumericExpectation\n  bounds?: {\n          within?: GeoSpecComponentSelector;\n          min?: Vec3 | GeoSpecAxisExpectation;\n          max?: Vec3 | GeoSpecAxisExpectation;\n          center?: GeoSpecPointExpectation;\n          tolerance?: number;\n      }\n}\n\n// One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`\nGeoSpecSpatialRelationshipExpectation: {\n  id?: string\n  kind: 'contact' | 'clearance' | 'coaxial' | 'concentric' | 'coplanar' | 'parallel' | 'perpendicular' | 'angle' | 'containment' | 'insertion' | 'interference'\n  subject: GeoSpecGeometrySelector\n  target: GeoSpecGeometrySelector\n  tolerance?: number\n  angularToleranceDegrees?: number\n  // Expected angle in degrees for `kind\n  angleDegrees?: number\n  // Declared insertion axis (subject-frame direction) for `kind\n  axis?: Vec3\n  min?: number\n  max?: number\n  minVolume?: number\n  maxVolume?: number\n  reason?: string\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Diagnostic emitted by GeoSpec loaders, analyzers, and matchers\nGeometryDiagnostic: {\n  code: KernelIssueCode | (string & {})\n  severity: 'error' | 'warning' | 'info'\n  message: string\n  suggestion?: string\n  spatial?: {\n          min?: Vec3;\n          max?: Vec3;\n          center?: Vec3;\n      }\n  details?: unknown\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Point expectation accepted by center and feature matchers\nGeoSpecPointExpectation: Vec3 | GeoSpecAxisExpectation\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n```\n\n## API reference\n\nTo read any other signature, grep the skill directory for the name followed by `(` (or the bare type name): each hit is the declaration line and names its file; read a few lines around it for overloads and parameter notes. `api-index.md` lists all 360 symbols by file.\n\n- `api-functions.md` — Functions\n- `api-constants.md` — Constants\n- `api-types.md` — Types\n- `api-classes.md` — Classes\n\nRead ranges, not whole files. Never copy a reference into a source file.\n",
+    fingerprint: "871bc929ac342b61f879f100827033e1cbd30c7ae3eadfa9aba14144023c41bf",
+    files: Object.freeze([
+      Object.freeze({ path: "SKILL.md", url: new URL("./geospec-authoring/SKILL.md", import.meta.url).href, byteLength: 21212, lineCount: 496, contentKind: 'text', mediaType: 'text/markdown', sha256: "d4197494f74a117493090401e3e4c082781f480d7d82637eaf5de1e816b52eb1" }),
+      Object.freeze({ path: "api-index.md", url: new URL("./geospec-authoring/api-index.md", import.meta.url).href, byteLength: 28120, lineCount: 378, contentKind: 'text', mediaType: 'text/markdown', sha256: "4f3694f39348a699977e0419f400a3acdfc9452daf71e3d65ddd326cf392b4e8" }),
+      Object.freeze({ path: "api-functions.md", url: new URL("./geospec-authoring/api-functions.md", import.meta.url).href, byteLength: 2549, lineCount: 58, contentKind: 'text', mediaType: 'text/markdown', sha256: "733e9de321d6d1cc3db03a20af5ac211747dfc421f6091f461ed6629e8501d71" }),
+      Object.freeze({ path: "api-constants.md", url: new URL("./geospec-authoring/api-constants.md", import.meta.url).href, byteLength: 1057, lineCount: 17, contentKind: 'text', mediaType: 'text/markdown', sha256: "42c29ab127efb592c0cd7c4d2024d6e2aea8315bec78e476f972166c1b8c1c6b" }),
+      Object.freeze({ path: "api-types.md", url: new URL("./geospec-authoring/api-types.md", import.meta.url).href, byteLength: 59891, lineCount: 1789, contentKind: 'text', mediaType: 'text/markdown', sha256: "a7d3131badff9986d7e2e11f1f590e0f0e894d20e14076212f6544ef3371b230" }),
+      Object.freeze({ path: "api-classes.md", url: new URL("./geospec-authoring/api-classes.md", import.meta.url).href, byteLength: 550, lineCount: 14, contentKind: 'text', mediaType: 'text/markdown', sha256: "d34a48498cfd33aca05e2c5c1059ca3e2d1bec86046fbc75928d16b375fcae30" }),
+      Object.freeze({ path: "public-api-index.md", url: new URL("./geospec-authoring/public-api-index.md", import.meta.url).href, byteLength: 63924, lineCount: 894, contentKind: 'text', mediaType: 'text/markdown', sha256: "a8a624f6331705cc89976550cd15bcc6989fe373e5d21e3c5c9d5c2f1571293a" }),
+      Object.freeze({ path: "public-api-functions.md", url: new URL("./geospec-authoring/public-api-functions.md", import.meta.url).href, byteLength: 11567, lineCount: 216, contentKind: 'text', mediaType: 'text/markdown', sha256: "a1a4e17ba9b9f2f2b997702f6b203da880efe65e7bf8d69c6bfab0b6e41d525d" }),
+      Object.freeze({ path: "public-api-constants.md", url: new URL("./geospec-authoring/public-api-constants.md", import.meta.url).href, byteLength: 2521, lineCount: 52, contentKind: 'text', mediaType: 'text/markdown', sha256: "8d7ecd06cd47616d81d6b5ad0315eee3cb1ed980d6527d6e2edf40c44231d871" }),
+      Object.freeze({ path: "public-api-types.md", url: new URL("./geospec-authoring/public-api-types.md", import.meta.url).href, byteLength: 59455, lineCount: 1949, contentKind: 'text', mediaType: 'text/markdown', sha256: "783ae4f4526780306cd63a87d52e7e108997d38b1892e73bd5587937c0da552b" }),
+      Object.freeze({ path: "public-api-types-2.md", url: new URL("./geospec-authoring/public-api-types-2.md", import.meta.url).href, byteLength: 55415, lineCount: 1561, contentKind: 'text', mediaType: 'text/markdown', sha256: "ab10b858d556e0fcffe52cebf8476c8053401d2a28f4066a649a19357da0a62f" }),
+      Object.freeze({ path: "public-api-types-3.md", url: new URL("./geospec-authoring/public-api-types-3.md", import.meta.url).href, byteLength: 7267, lineCount: 218, contentKind: 'text', mediaType: 'text/markdown', sha256: "cec1cdc42e06dbab4f7263198ec303ab5bc24e09d2ec8d95870caba070ee7507" }),
+      Object.freeze({ path: "public-api-classes.md", url: new URL("./geospec-authoring/public-api-classes.md", import.meta.url).href, byteLength: 1024, lineCount: 23, contentKind: 'text', mediaType: 'text/markdown', sha256: "569639b75b3a3fae86e3bcbe3dc61a746ddd67cb4dec7ccb6374556d419d02a9" })
+    ]),
+  }),
+]);

package/agent/skills.d.cts

@@ -0,0 +1,13 @@
+declare const manifest: {
+  readonly bundles: ReadonlyArray<{
+    readonly slug: string;
+    readonly name: string;
+    readonly description: string;
+    readonly version: string;
+    readonly whenToUse: string;
+    readonly directory: string;
+    readonly files: readonly string[];
+    readonly body: string;
+  }>;
+};
+export = manifest;

package/agent/skills.json

@@ -0,0 +1,28 @@
+{
+  "bundles": [
+    {
+      "slug": "geospec-authoring",
+      "name": "GeoSpec authoring",
+      "description": "Guides canonical GeoSpec geometry tests in TypeScript or JavaScript for every Tau kernel. Use for *.geospec.ts and *.geospec.js tests.",
+      "version": "0.1.0-beta.3",
+      "whenToUse": "Use before creating or editing *.geospec.ts or *.geospec.js tests, for a model in any kernel.",
+      "directory": "geospec-authoring",
+      "files": [
+        "SKILL.md",
+        "api-index.md",
+        "api-functions.md",
+        "api-constants.md",
+        "api-types.md",
+        "api-classes.md",
+        "public-api-index.md",
+        "public-api-functions.md",
+        "public-api-constants.md",
+        "public-api-types.md",
+        "public-api-types-2.md",
+        "public-api-types-3.md",
+        "public-api-classes.md"
+      ],
+      "body": "---\nname: geospec-authoring\ndescription: Guides canonical GeoSpec geometry tests in TypeScript or JavaScript for every Tau kernel. Use for *.geospec.ts and *.geospec.js tests.\n---\n\n# GeoSpec authoring\n\nWrite tests before implementation; assert deterministic, measurable properties.\n\n## Test shape\n\n- Use `*.geospec.ts` or `*.geospec.js`. Import `describe`, `it` and `expectGeo` from `geospec`, and `loadModel` from `geospec/model`.\n- Await `loadModel`, then assert synchronously with `expectGeo(model)`. The host supplies the compiled binding; authoring does not select an engine.\n- Await or return the complete model-load chain from the test callback; detached future loads are not part of a completed test.\n- Omit `parameters` for model-code defaults; use `{ file, parameters }` for variants. Loaded subjects are opaque.\n\nCanonical TypeScript authoring:\n\n```ts\nimport { describe, expectGeo, it } from 'geospec';\nimport { loadModel } from 'geospec/model';\n\ndescribe('main geometry', () => {\n  it('has the intended envelope', async () => {\n    const model = await loadModel({ file: 'main.ts', parameters: { width: 120 } });\n    expectGeo(model).toHaveBoundingBox({ size: { x: 120 }, tolerance: 1 });\n  });\n});\n```\n\nSpecs are always TypeScript or JavaScript, whatever the model's kernel: `loadModel({ file })` evaluates `main.ts`, `main.tsx`, `main.py`, `main.scad`, `main.kcl` or `main.cs` through Tau's runtime. `test_model` discovers `*.geospec.ts` and `*.geospec.js` only.\n\nEvery matcher takes one expectation object:\n\n- Wrong: `expectGeo(model).toHaveVolume(5000, { tolerance: 5 })`. Correct: `expectGeo(model).toHaveVolume({ value: 5000, tolerance: 5 })`.\n- Wrong: `await expectGeo(model)…`. Correct: await `loadModel`, then assert synchronously.\n- Wrong: exact-feature matchers on a mesh kernel (Manifold, JSCAD, OpenSCAD, PicoGK, PicoVoxel). Correct: `toBeValidBrep`, `toHaveTopologyCounts`, the face, hole, pattern, chamfer, fillet and wall-thickness matchers, `toHaveStepUnits`, `toHaveProductStructure` and `toHaveVoidContinuity` need STEP BRep evidence and report unsupported on meshes; assert meshes with bounds, volume, surface area, connected components and `toBeWatertight`.\n\n## Loads and budgets\n\n- GeoSpec has no `beforeAll`. Write each `loadModel` inside its own `it`: within one run, identical loads (same file or code, parameters, format, tolerances and region) share one export and one admission. Each load keeps its own `loadId` and records `reused: true`, and a file is reused only while its source closure is unchanged.\n- `loadModel({ file, workUnitLimit })` sets the default claim budget for that subject, and `expectGeo(model, { workUnitLimit })` overrides it for one chain. The budget is a positive integer no greater than 512000000. A `MATCHER_TIMEOUT` refusal reports `details.limit` and, when measured, `details.used`; raise the budget within the bound or simplify the model, and never treat the refusal as a pass.\n- `loadModel({ file, region: { min: [x, y, z], max: [x, y, z] } })` makes a separate claim about one millimetre box, never a stand-in for a whole-model claim. The kernel crops before export (PicoVoxel trims Voxels parts), and other kernels, STEP loads and unconfirmed crops refuse with a typed diagnostic. A cropped subject answers only bounding box, volume, surface area, mass and center of mass of its region, and its assertions record the region. Every other matcher on it refuses with `GEOSPEC_REGION_WHOLE_MODEL_CLAIM`. Name the region in the test, and keep whole-model claims on whole-model loads.\n- A host or engine limit leaves a claim undecided, never false. Keep the model as designed: never coarsen, shrink or crop it to fit. Raise `workUnitLimit` or `testTimeout` within the host's maximum, which the host can raise, or report the claim as not decided at this capacity.\n- `toHaveCenterOfMass({ point, tolerance })` takes an exact point. Per-axis ranges such as `{ y: { greaterThan: 1 } }` are refused.\n\n## Coverage\n\nBounds and physical properties are insufficient. Cover major components, named features, variants, dimensions/positions, disjoint counts, closure, interference and supported exact features. Explicitly report unsupported requirements; proxies cannot fulfill them.\n\n- `toHaveBoundingBox`: size/position.\n- `toHaveConnectedComponents`: qualified material connectivity; visual touching cannot justify tolerance changes.\n- `toBeWatertight`: closed edge incidence, not manifold validity, fusion or material connectivity. Bounds prove none of these. Missing evidence is unsupported.\n- `toHaveSurfaceArea`, `toHaveVolume`, `toHaveCenterOfMass`, `toHaveMass`: physical measurements.\n- `toHaveNoComponentInterference`: overlap; allow deliberate press fits.\n- `loadModel({ file, format: 'step' })`: use BRep evidence for supported topology and feature assertions. Missing occurrence, interference, clearance, containment, lumen, wall, section or motion evidence is unsupported, not a pass or an envelope substitute.\n\nTest assemblies and independent units; preserve sibling coverage when adding files. Non-top-level geometry needs kernel export/invocation, not test removal.\n\nFix geometry at its root; never weaken tolerances, delete assertions, or reduce detail to pass.\n\n`public-api-index.md` covers the host and framework API; authoring needs only the Core API below and `api-*` files.\n\n## Core API\n\nThe symbols real Tau models use most, as verbatim declarations. Anything not shown is in the API reference below.\n\n### Functions\n\n```ts\n// Start a geometry assertion chain\nexport declare function expectGeo(subject: GeoSpecSubject, options?: GeoSpecExpectOptions): GeoSpecMatcher;\n\n// A model admitted by one live GeoSpec host scope\nGeoSpecSubject: {\n  readonly [subjectBrand]: true\n}\n\n// Per-chain options accepted by `expectGeo(subject, options)`\nGeoSpecExpectOptions: {\n  // Deterministic work-unit budget for every claim in this chain\n  readonly workUnitLimit?: number\n}\n\n// Load a CAD model into GeoSpec evidence\nexport declare function loadModel<Code extends Record<string, string> = Record<string, string>>(_options: LoadModelOptions<Code>): Promise<GeoSpecSubject>;\n\n// Options accepted by {@link import ('./load-model.js').loadModel}\nLoadModelOptions: LoadModelSourceOptions | LoadModelCodeOptions<Code> | LoadModelFileOptions\n  // Geometry format to export\n  format?: GeoSpecModelFormat\n  // Explicit parameters passed to the runtime\n  parameters?: Record<string, unknown>\n  // STEP reader strategy used for STEP exports\n  stepStreaming?: StepStreamingMode\n  // Whether STEP loading should also produce mesh evidence\n  mesh?: boolean\n  // Linear tolerance used while meshing exact BRep evidence\n  meshLinearTolerance?: number\n  // Angular tolerance in degrees used while meshing exact BRep evidence\n  meshAngularToleranceDegrees?: number\n  // Default work-unit budget for every claim on this subject\n  workUnitLimit?: number\n\n// Geometry formats accepted by {@link import ('./load-model.js').loadModel}\nGeoSpecModelFormat: MeshFileFormat | 'step' | 'stp'\n```\n\n### Types\n\n```ts\n// Assertion chain returned by `expectGeo(subject)`\nGeoSpecMatcher: {\n  // Core-owned negation\n  readonly not: Omit<GeoSpecMatcher, 'not'>\n  // Assert the fixed rational plate contract\n  toSatisfyRationalPlate(): GeoSpecAssertion;\n  // Assert the fixed parallel-plane distance contract\n  toSatisfyParallelPlaneDistance(): GeoSpecAssertion;\n  // Assert axis-aligned bounds, size, or center for a loaded geometry subject\n  toHaveBoundingBox(first: Vec3 | GeoSpecBoundingBoxExpectation, second?: Vec3): GeoSpecAssertion;\n  // Assert how many spatially disjoint chunks the mesh contains\n  toHaveConnectedComponents(expected: GeoSpecConnectedComponentsExpectation): GeoSpecAssertion;\n  // Assert closed mesh edge incidence\n  toBeWatertight(): GeoSpecAssertion;\n  // Assert that separate assembly components do not occupy the same solid volume\n  toHaveNoComponentInterference(expected?: GeoSpecComponentInterferenceExpectation): GeoSpecAssertion;\n  // Assert that named assembly occurrences exist with expected counts and bounds\n  toHaveAssemblyOccurrences(expected: GeoSpecAssemblyOccurrencesExpectation): GeoSpecAssertion;\n  // Assert that selected entities satisfy declared spatial relationships\n  toHaveSpatialRelationships(expected: GeoSpecSpatialRelationshipsExpectation): GeoSpecAssertion;\n  // Assert rendered mesh evidence is internally trustworthy for downstream checks\n  toHaveMeshIntegrity(expected: GeoSpecMeshIntegrityExpectation): GeoSpecAssertion;\n  // Assert that the subject carries no diagnostics at the rejected severities\n  toHaveNoDiagnostics(expected?: GeoSpecNoDiagnosticsExpectation): GeoSpecAssertion;\n  // Assert total surface area, preferring exact BRep mass properties when available\n  toHaveSurfaceArea(expected: GeoSpecSurfaceAreaExpectation): GeoSpecAssertion;\n  // Assert enclosed volume, preferring exact BRep mass properties when available\n  toHaveVolume(expected: GeoSpecVolumeExpectation): GeoSpecAssertion;\n  // Assert mass derived from exact mass properties or volume times density\n  toHaveMass(expected: GeoSpecMassExpectation): GeoSpecAssertion;\n  // Assert the center of mass or mesh-derived centroid for a closed subject\n  toHaveCenterOfMass(expected: GeoSpecCenterOfMassExpectation): GeoSpecAssertion;\n  // Assert that exact BRep evidence reports a valid shape\n  toBeValidBrep(expected?: GeoSpecValidBrepExpectation): GeoSpecAssertion;\n  // Assert exact BRep topology counts\n  toHaveTopologyCounts(expected: GeoSpecTopologyCountsExpectation): GeoSpecAssertion;\n  // Assert the STEP unit evidence\n  toHaveStepUnits(expected: GeoSpecStepUnitsExpectation): GeoSpecAssertion;\n  // Assert STEP product-structure evidence\n  toHaveProductStructure(expected: GeoSpecProductStructureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a planar face matching the requested constraints\n  toHavePlanarFace(expected: GeoSpecPlanarFaceExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a cylindrical face with the requested radius and axis\n  toHaveCylindricalFace(expected: GeoSpecCylindricalFaceExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a circular hole matching diameter, center, and axis\n  toHaveCircularHole(expected: GeoSpecCircularHoleExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a repeated circular-hole pattern\n  toHaveCircularHolePattern(expected: GeoSpecCircularHolePatternExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a chamfer feature with the requested distance\n  toHaveChamferFeature(expected: GeoSpecChamferFeatureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence contains a fillet feature with the requested radius\n  toHaveFilletFeature(expected: GeoSpecFilletFeatureExpectation): GeoSpecAssertion;\n  // Assert that BRep evidence reports a minimum wall thickness satisfying the expectation\n  toHaveMinimumWallThickness(expected: GeoSpecMinimumWallThicknessExpectation): GeoSpecAssertion;\n  // Assert that the declared waypoints share one connected void, stay isolated from the declared…\n  toHaveVoidContinuity(expected: GeoSpecVoidContinuityExpectation): GeoSpecAssertion;\n}\n\n// Numeric 3D vector\nVec3: readonly [number, number, number]\n\n// Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`\nGeoSpecBoundingBoxExpectation: {\n  min?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  max?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  size?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  center?: Vec3 | Partial<Record<keyof GeoSpecAxisExpectation, GeoSpecNumericExpectation>>\n  tolerance?: number\n}\n\n// Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`\nGeoSpecConnectedComponentsExpectation: {\n  count: number\n  tolerance?: number\n  toleranceMm?: number\n}\n\n// Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferenceExpectation: {\n  tolerance?: number\n  pairs?: GeoSpecComponentInterferencePairExpectation[]\n  allowances?: GeoSpecComponentInterferenceAllowance[]\n}\n\n// Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`\nGeoSpecAssemblyOccurrencesExpectation: {\n  occurrences: GeoSpecAssemblyOccurrenceExpectation[]\n  uniqueNames?: boolean\n}\n\n// Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`\nGeoSpecSpatialRelationshipsExpectation: {\n  relationships: GeoSpecSpatialRelationshipExpectation[]\n}\n\n// Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`\nGeoSpecMeshIntegrityExpectation: {\n  finitePositions?: boolean\n  degenerateTriangles?: {\n          count?: number;\n          maxCount?: number;\n          areaTolerance?: number;\n      }\n  duplicateFaces?: {\n          count?: number;\n          maxCount?: number;\n      }\n  watertight?: boolean\n  triangleCount?: GeoSpecNumericExpectation\n}\n\n// Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`\nGeoSpecNoDiagnosticsExpectation: {\n  severities?: Array<GeometryDiagnostic['severity']>\n}\n\n// Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`\nGeoSpecSurfaceAreaExpectation: {\n  value: number | GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`\nGeoSpecVolumeExpectation: {\n  value: number | GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Mass expectation accepted by `expectGeo(...).toHaveMass(...)`\nGeoSpecMassExpectation: {\n  value: number | GeoSpecNumericExpectation\n  density?: number\n  tolerance?: number\n}\n\n// Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`\nGeoSpecCenterOfMassExpectation: {\n  // Exact expected point in millimetres\n  point: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`\nGeoSpecValidBrepExpectation: {\n  maxTolerance?: number\n  freeBounds?: {\n          count?: GeoSpecNumericExpectation;\n      }\n  minEdgeLength?: number\n  sameParameter?: boolean\n  closedShells?: boolean\n  closedWires?: boolean\n}\n\n// Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`\nGeoSpecTopologyCountsExpectation: {\n  vertices?: GeoSpecNumericExpectation\n  edges?: GeoSpecNumericExpectation\n  wires?: GeoSpecNumericExpectation\n  faces?: GeoSpecNumericExpectation\n  shells?: GeoSpecNumericExpectation\n  solids?: GeoSpecNumericExpectation\n  compounds?: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`\nGeoSpecStepUnitsExpectation: {\n  unit: string\n}\n\n// Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`\nGeoSpecProductStructureExpectation: {\n  names?: string[]\n  count?: GeoSpecNumericExpectation\n}\n\n// Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`\nGeoSpecPlanarFaceExpectation: {\n  normal: GeoSpecPointExpectation\n  offset: number\n  area?: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`\nGeoSpecCylindricalFaceExpectation: {\n  radius: number\n  axis: 'x' | 'y' | 'z'\n  tolerance?: number\n}\n\n// Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`\nGeoSpecCircularHoleExpectation: {\n  diameter: number\n  through?: boolean\n  axis?: 'x' | 'y' | 'z'\n  center?: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`\nGeoSpecCircularHolePatternExpectation: {\n  count: number\n  holeDiameter: number\n  boltCircleDiameter?: number\n  axis?: 'x' | 'y' | 'z'\n  center?: GeoSpecPointExpectation\n  tolerance?: number\n}\n\n// Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`\nGeoSpecChamferFeatureExpectation: {\n  distance: number\n  selection?: string\n  tolerance?: number\n}\n\n// Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`\nGeoSpecFilletFeatureExpectation: {\n  radius: number\n  selection?: string\n  tolerance?: number\n}\n\n// Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`\nGeoSpecMinimumWallThicknessExpectation: {\n  value: GeoSpecNumericExpectation\n  tolerance?: number\n}\n\n// Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`\nGeoSpecVoidContinuityExpectation: {\n  // Ordered waypoints (>= 1) known to lie in the void being proven\n  path: GeoSpecVoidWaypoint[]\n  // Occurrence names whose solids bound the void\n  material?: string[]\n  // Minimum required bottleneck cross-section (mm²), sampled\n  minCrossSection?: number\n  // Points that must NOT be reachable from the path void (isolation claim)\n  isolatedFrom?: Vec3[]\n  // Region bounded for the proof (subject frame)\n  bounds?: {\n          min: Vec3;\n          max: Vec3;\n      }\n}\n\n// Axis-keyed numeric expectation used by high-level geometry matchers\nGeoSpecAxisExpectation: {\n  x?: number\n  y?: number\n  z?: number\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferencePairExpectation: {\n  left: GeoSpecComponentSelector\n  right: GeoSpecComponentSelector\n}\n\n// Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`\nGeoSpecComponentInterferenceAllowance: {\n  kind?: 'intentionalInterference'\n  left: GeoSpecComponentSelector\n  right: GeoSpecComponentSelector\n  maxVolume?: number\n  reason: string\n}\n\n// Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`\nGeoSpecAssemblyOccurrenceExpectation: {\n  name: GeoSpecComponentSelector\n  count?: GeoSpecNumericExpectation\n  bounds?: {\n          within?: GeoSpecComponentSelector;\n          min?: Vec3 | GeoSpecAxisExpectation;\n          max?: Vec3 | GeoSpecAxisExpectation;\n          center?: GeoSpecPointExpectation;\n          tolerance?: number;\n      }\n}\n\n// One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`\nGeoSpecSpatialRelationshipExpectation: {\n  id?: string\n  kind: 'contact' | 'clearance' | 'coaxial' | 'concentric' | 'coplanar' | 'parallel' | 'perpendicular' | 'angle' | 'containment' | 'insertion' | 'interference'\n  subject: GeoSpecGeometrySelector\n  target: GeoSpecGeometrySelector\n  tolerance?: number\n  angularToleranceDegrees?: number\n  // Expected angle in degrees for `kind\n  angleDegrees?: number\n  // Declared insertion axis (subject-frame direction) for `kind\n  axis?: Vec3\n  min?: number\n  max?: number\n  minVolume?: number\n  maxVolume?: number\n  reason?: string\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Diagnostic emitted by GeoSpec loaders, analyzers, and matchers\nGeometryDiagnostic: {\n  code: KernelIssueCode | (string & {})\n  severity: 'error' | 'warning' | 'info'\n  message: string\n  suggestion?: string\n  spatial?: {\n          min?: Vec3;\n          max?: Vec3;\n          center?: Vec3;\n      }\n  details?: unknown\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n\n// Point expectation accepted by center and feature matchers\nGeoSpecPointExpectation: Vec3 | GeoSpecAxisExpectation\n\n// Shared scalar expectation used by geometry measurements\nGeoSpecNumericExpectation: number | {\n    value?: number;\n    greaterThan?: number;\n    greaterThanOrEqual?: number;\n    lessThan?: number;\n    lessThanOrEqual?: number;\n}\n```\n\n## API reference\n\nTo read any other signature, grep the skill directory for the name followed by `(` (or the bare type name): each hit is the declaration line and names its file; read a few lines around it for overloads and parameter notes. `api-index.md` lists all 360 symbols by file.\n\n- `api-functions.md` — Functions\n- `api-constants.md` — Constants\n- `api-types.md` — Types\n- `api-classes.md` — Classes\n\nRead ranges, not whole files. Never copy a reference into a source file.\n"
+    }
+  ]
+}

package/dist/assertion-client/client.d.mts

@@ -0,0 +1,134 @@
+import { GeoSpecSubject } from "../model/subject.mjs";
+import { GeoSpecAssertion, GeoSpecExpectOptions, GeoSpecMatcher } from "../runner/types.mjs";
+import { GeoSpecMatcherName } from "../engine/matchers.mjs";
+import { GeoSpecCanonicalClaimReport, GeoSpecClaimPolarity, GeoSpecNativeEngine, GeoSpecNativeEvidenceProfile, GeoSpecNativeSubject, GeoSpecQueryCapability } from "../engine/client.mjs";
+import { JSONValue } from "@taucad/runtime/types";
+//#region src/assertion-client/client.d.ts
+/** One authored call shared by the collector and native assertion client. @public */
+type GeoSpecAuthoringInvocation = {
+  readonly arguments: readonly unknown[];
+  readonly expected: unknown;
+  readonly kind: GeoSpecAssertion['kind'];
+  readonly matcher: GeoSpecMatcherName;
+  readonly polarity: GeoSpecClaimPolarity;
+  readonly subject: unknown;
+};
+/** Matcher methods derived mechanically from the existing GeoSpec registry. @public */
+type GeoSpecMatcherMethods<Result> = { [Name in GeoSpecMatcherName]: (...arguments_: Parameters<GeoSpecMatcher[Name]>) => Result; };
+/** Standalone native matcher chain, including core-owned negation. @public */
+type GeoSpecAssertionMatchers = GeoSpecMatcherMethods<GeoSpecCanonicalClaimReport> & {
+  readonly not: GeoSpecMatcherMethods<GeoSpecCanonicalClaimReport>;
+};
+/** Runner-independent native assertion client. @public */
+type GeoSpecAssertionClient = {
+  /**
+   * Start a chain; `options.workUnitLimit` overrides the client budget for its claims.
+   * Without one, a loaded subject's `loadModel` budget applies, then the client's.
+   */
+  expectGeo(subject: GeoSpecNativeSubject | GeoSpecSubject, options?: GeoSpecExpectOptions): GeoSpecAssertionMatchers;
+  query(options: MinimumDistanceQuery): Promise<MinimumDistanceResult>;
+  query(options: GeoSpecQueryOptions): Promise<GeoSpecCanonicalClaimReport>;
+};
+/** Complete AP242 minimum over two subject-bound occurrence paths. @public */
+type MinimumDistanceQuery = {
+  readonly capability: 'minimumDistance';
+  readonly subject: GeoSpecNativeSubject;
+  readonly payload: {
+    readonly pair: readonly [{
+      readonly occurrencePath: string;
+    }, {
+      readonly occurrencePath: string;
+    }];
+  };
+};
+/** Complete native minimum and ordered finite witnesses in canonical millimetres/Z-up. @public */
+type MinimumDistanceFact = {
+  readonly source: 'ap242';
+  readonly assurance: 'exact-brep';
+  readonly unit: 'mm';
+  readonly coordinateSystem: 'z-up';
+  readonly subjectHash: string;
+  readonly algorithmProfile: 'geospec-minimum-distance-v1';
+  readonly occurrences: readonly [string, string];
+  readonly distance: number;
+  readonly points: readonly [readonly [number, number, number], readonly [number, number, number]];
+};
+/** Geometry refusal and infrastructure interruption never masquerade as facts. @public */
+type MinimumDistanceResult = {
+  readonly status: 'complete';
+  readonly fact: MinimumDistanceFact;
+} | {
+  readonly status: 'refused';
+  readonly code: 'unsupported-evidence' | 'invalid-selection' | 'work-limit';
+  readonly message: string;
+} | {
+  readonly status: 'interrupted';
+  readonly code: 'cancelled' | 'executor-exited' | 'deadline' | 'engine-error';
+  readonly message: string;
+};
+/**
+ * One positive-only ancillary query. analyzeMesh/analyzeBrep use null payloads;
+ * inspectGeometry accepts selectors/evidence and analyzeMeshOverlap accepts
+ * pairs/tolerance as in the existing inspection and mesh APIs. queryPmi accepts
+ * optional maxRecords/maxOutputBytes limits and reports inventory, not compliance.
+ * Ordinary RegExp
+ * selectors are serialized by the shared protocol serializer.
+ *
+ * An explicit claimId leaves the automatic sequence unchanged. Queries return
+ * full reports, including failed/refused reports, without assertion errors.
+ * @public
+ */
+type GeoSpecQueryOptions = {
+  readonly capability: GeoSpecQueryCapability;
+  readonly claimId?: string;
+  readonly payload?: unknown;
+  readonly subject: GeoSpecNativeSubject;
+};
+/** Flat construction options for a runner-independent native assertion client. @public */
+type GeoSpecAssertionClientOptions = {
+  readonly claimId?: (matcher: GeoSpecMatcherName, sequence: number) => string;
+  readonly engine: GeoSpecNativeEngine;
+  /** Success-evidence profile of every claim and query; omitted means `complete`. */
+  readonly evidenceProfile?: GeoSpecNativeEvidenceProfile;
+  readonly subjectSlot?: string;
+  readonly workUnitLimit?: number;
+  /**
+   * The largest `workUnitLimit` a spec may author in `loadModel` or `expectGeo` options. Host
+   * policy: omitted uses `geoSpecMaximumWorkUnitLimit`, and a host provisioned for larger claims
+   * raises it. Must be a positive safe integer.
+   */
+  readonly maximumWorkUnitLimit?: number;
+};
+/** A non-passed core assertion report surfaced by standalone `expectGeo`. @public */
+declare class GeoSpecAssertionError extends Error {
+  readonly canonicalClaim: Uint8Array<ArrayBuffer>;
+  readonly canonicalPlan: Uint8Array<ArrayBuffer>;
+  readonly canonicalResult: Uint8Array<ArrayBuffer>;
+  readonly claim: Readonly<Record<string, JSONValue>>;
+  readonly diagnostics: readonly JSONValue[];
+  readonly report: GeoSpecCanonicalClaimReport;
+  readonly result: Readonly<Record<string, JSONValue>>;
+  constructor(report: GeoSpecCanonicalClaimReport);
+}
+/**
+ * Create the one registry-derived matcher surface used by every JavaScript host.
+ *
+ * @param options - Subject, polarity and host invocation function.
+ * @returns All 26 matcher methods in registry order.
+ * @public
+ */
+declare const createGeoSpecMatcherMethods: <Result>(options: {
+  readonly invoke: (invocation: GeoSpecAuthoringInvocation) => Result;
+  readonly polarity: GeoSpecClaimPolarity;
+  readonly subject: unknown;
+}) => GeoSpecMatcherMethods<Result>;
+/**
+ * Create a standalone native GeoSpec assertion client.
+ *
+ * @param options - Engine, deterministic work limit and optional logical-ID controls.
+ * @returns An `expectGeo`-style assertion client independent of any test runner.
+ * @public
+ */
+declare const createGeoSpecAssertionClient: (options: GeoSpecAssertionClientOptions) => GeoSpecAssertionClient;
+//#endregion
+export { GeoSpecAssertionClient, GeoSpecAssertionClientOptions, GeoSpecAssertionError, GeoSpecAssertionMatchers, GeoSpecAuthoringInvocation, GeoSpecMatcherMethods, GeoSpecQueryOptions, MinimumDistanceFact, MinimumDistanceQuery, MinimumDistanceResult, createGeoSpecAssertionClient, createGeoSpecMatcherMethods };

package/dist/assertion-client/client.mjs

@@ -0,0 +1,2 @@
+import{geoSpecMatcherDescriptors as e,normalizeGeoSpecExpected as t}from"../engine/matchers.mjs";import{assertGeoSpecAuthoredWorkUnitLimit as n,evaluateGeoSpecNativeClaim as r,evaluateGeoSpecNativeQuery as i,resolveGeoSpecMaximumWorkUnitLimit as a,resolveGeoSpecNativeWorkUnitLimit as o,supportsGeoSpecNativeMinimumDistance as s}from"../engine/client.mjs";import{resolveGeoSpecSubject as c}from"../model/subject.mjs";const l=(e,t)=>{if(typeof e!=`object`||!e||Array.isArray(e))return;let{fact:n}=e;if(typeof n!=`object`||!n||Array.isArray(n))return;let{distance:r,points:i,occurrences:a,subjectHash:o}=n,s=e=>Array.isArray(e)&&e.length===3&&e.every(e=>typeof e==`number`&&Number.isFinite(e));if(!(e.profile!==`geospec-minimum-distance-v1`||n.source!==`ap242`||n.assurance!==`exact-brep`||n.unit!==`mm`||n.coordinateSystem!==`z-up`||n.algorithmProfile!==`geospec-minimum-distance-v1`||typeof o!=`string`||!/^[0-9a-f]{64}$/u.test(o)||o!==(t.subject.subjectHash??t.subject.contentHash)||typeof r!=`number`||!Number.isFinite(r)||r<0||!Array.isArray(a)||a.length!==2||a[0]!==t.payload.pair[0].occurrencePath||a[1]!==t.payload.pair[1].occurrencePath||!Array.isArray(i)||i.length!==2||!s(i[0])||!s(i[1])))return{source:`ap242`,assurance:`exact-brep`,unit:`mm`,coordinateSystem:`z-up`,subjectHash:o,algorithmProfile:`geospec-minimum-distance-v1`,occurrences:[a[0],a[1]],distance:r,points:[i[0],i[1]]}},u=(e,t)=>{if(e.status===`passed`){let n=l(e.evidence,t);return n===void 0?{status:`interrupted`,code:`engine-error`,message:`Native minimum returned malformed evidence.`}:{status:`complete`,fact:n}}let n=e.diagnostics.find(e=>typeof e==`object`&&!!e&&!Array.isArray(e)),r=typeof n==`object`&&n&&!Array.isArray(n)?n.code:void 0,i=typeof n==`object`&&n&&!Array.isArray(n)&&typeof n.message==`string`?n.message:`Native minimum is unavailable.`;return r===`GEOSPEC_INVALID_SELECTION`?{status:`refused`,code:`invalid-selection`,message:i}:r===`MATCHER_TIMEOUT`?{status:`refused`,code:`work-limit`,message:i}:r===`GEOSPEC_UNSUPPORTED_EVIDENCE`||r===`GEOSPEC_EVIDENCE_UNSUPPORTED`?{status:`refused`,code:`unsupported-evidence`,message:i}:{status:`interrupted`,code:`engine-error`,message:i}};var d=class extends Error{canonicalClaim;canonicalPlan;canonicalResult;claim;diagnostics;report;result;constructor(e){let t=e.diagnostics.flatMap(e=>{if(typeof e!=`object`||!e||Array.isArray(e))return[];let{message:t}=e;return typeof t==`string`?[t]:[]});super(t.join(`
+`)||`GeoSpec assertion '${e.claimId}' ended with status '${e.status}'.`),this.name=`GeoSpecAssertionError`,this.report=e,this.diagnostics=e.diagnostics,this.claim=e.claim,this.result=e.result,this.canonicalClaim=e.canonicalClaim,this.canonicalPlan=e.canonicalPlan,this.canonicalResult=e.canonicalResult}};const f=[`x`,`y`,`z`],p=e=>{if(typeof e!=`object`||!e||!(`point`in e))return;let{point:t}=e,n=Array.isArray(t)?t.map((e,t)=>[f[t]??String(t),e]):typeof t==`object`&&t?Object.entries(t):[];if(n.length===0&&!(typeof t==`object`&&t))throw TypeError(`GeoSpec matcher toHaveCenterOfMass needs point as [x, y, z] or { x, y, z } in millimetres, with an optional tolerance.`);for(let[e,t]of n)if(!(typeof t==`number`&&Number.isFinite(t)))throw TypeError(typeof t==`object`&&t&&!Array.isArray(t)?`GeoSpec matcher toHaveCenterOfMass point.${e} must be a finite number in millimetres: per-axis ranges such as { greaterThan } are not supported for center of mass. Assert the expected point with a tolerance instead.`:`GeoSpec matcher toHaveCenterOfMass point.${e} must be a finite number in millimetres.`)},m=n=>{let r={};for(let i of Object.keys(e)){let a=e[i];r[i]=(...e)=>{if(a.expected===`true`&&e.length>0)throw TypeError(`GeoSpec matcher ${i} does not accept arguments.`);return i===`toHaveCenterOfMass`&&p(e[0]),n.invoke({arguments:e,expected:t(a.expected,e),kind:a.kind,matcher:i,polarity:n.polarity,subject:n.subject})}}return r},h=e=>{let t=0,l=e.subjectSlot??`subject`,f,p=()=>(f??=a(e.maximumWorkUnitLimit),f),h,g=()=>(h??=o(e.engine,e.workUnitLimit),h),_=(n,i,a)=>m({subject:n,polarity:i,invoke:o=>{a.validate(),t+=1;let s={claimId:e.claimId?.(o.matcher,t)??`geospec-claim-${t}`,engine:e.engine,...e.evidenceProfile===void 0?{}:{evidenceProfile:e.evidenceProfile},polarity:i,subject:n,subjectSlot:l,workUnitLimit:a.workUnitLimit??g(),maximumWorkUnitLimit:p()},c=r({...s,arguments:o.arguments,capability:o.matcher,kind:o.kind});if(c.status!==`passed`)throw new d(c);return c}});async function v(n){let r=`claimId`in n?n.claimId??`geospec-claim-${++t}`:`geospec-claim-${++t}`;if(n.capability===`minimumDistance`){let t=n.payload?.pair,r=e=>{if(!(typeof e!=`object`||!e||!(`occurrencePath`in e)))return typeof e.occurrencePath==`string`&&e.occurrencePath.length>0?e.occurrencePath:void 0};if(!Array.isArray(t)||t.length!==2||r(t[0])===void 0||r(t[1])===void 0||r(t[0])===r(t[1]))return{status:`refused`,code:`invalid-selection`,message:`Select two distinct resolved AP242 occurrence paths.`};try{if(!s(e.engine))return{status:`refused`,code:`unsupported-evidence`,message:`This native engine does not advertise the complete minimum-distance profile.`}}catch{return{status:`refused`,code:`unsupported-evidence`,message:`This native engine cannot negotiate the complete minimum-distance profile.`}}}try{let t=i({capability:n.capability,claimId:r,engine:e.engine,...e.evidenceProfile===void 0?{}:{evidenceProfile:e.evidenceProfile},payload:n.payload,subject:n.subject,subjectSlot:l,workUnitLimit:g()});return n.capability===`minimumDistance`?u(t,n):t}catch(e){if(n.capability!==`minimumDistance`)throw e;return{status:`interrupted`,code:`engine-error`,message:e instanceof Error?e.message:`Native minimum query failed.`}}}return{query:v,expectGeo(t,r){n(r?.workUnitLimit,`expectGeo workUnitLimit`,p());let i=`subjectHash`in t||`contentHash`in t,a=i?void 0:c(t,e.engine),o=i?t:a.identity,s={validate:()=>{i||c(t,e.engine)},workUnitLimit:r?.workUnitLimit??a?.load?.workUnitLimit},l=_(o,`positive`,s);return Object.assign(l,{not:_(o,`negative`,s)})}}};export{d as GeoSpecAssertionError,h as createGeoSpecAssertionClient,m as createGeoSpecMatcherMethods};

package/dist/assertion-client/index.d.mts

@@ -0,0 +1,5 @@
+import { GeoSpecFixedMatcherDescriptor, GeoSpecMatcherName, geoSpecMatcherDescriptors } from "../engine/matchers.mjs";
+import { GeoSpecCanonicalClaimReport, GeoSpecNativeClaimEvaluation, GeoSpecNativeEngine, GeoSpecNativeEvidenceProfile, GeoSpecNativeQueryOptions, GeoSpecNativeSubject, GeoSpecQueryCapability, evaluateGeoSpecNativeQuery, geoSpecMaximumWorkUnitLimit, resolveGeoSpecMaximumWorkUnitLimit } from "../engine/client.mjs";
+import { GeoSpecAssertionClient, GeoSpecAssertionClientOptions, GeoSpecAssertionError, GeoSpecAssertionMatchers, GeoSpecAuthoringInvocation, GeoSpecMatcherMethods, GeoSpecQueryOptions, MinimumDistanceFact, MinimumDistanceQuery, MinimumDistanceResult, createGeoSpecAssertionClient, createGeoSpecMatcherMethods } from "./client.mjs";
+import { GeoSpecPmiFaceAssociation, GeoSpecPmiField, GeoSpecPmiInventory, GeoSpecPmiLimits, GeoSpecPmiNumber, GeoSpecPmiQueryPayload, GeoSpecPmiQueryValue, GeoSpecPmiRawEntity, GeoSpecPmiRecord, GeoSpecPmiShapeReference } from "../engine/pmi.types.mjs";
+export { type GeoSpecAssertionClient, type GeoSpecAssertionClientOptions, GeoSpecAssertionError, type GeoSpecAssertionMatchers, type GeoSpecAuthoringInvocation, type GeoSpecCanonicalClaimReport, type GeoSpecFixedMatcherDescriptor, type GeoSpecMatcherMethods, type GeoSpecMatcherName, type GeoSpecNativeClaimEvaluation, type GeoSpecNativeEngine, type GeoSpecNativeEvidenceProfile, type GeoSpecNativeQueryOptions, type GeoSpecNativeSubject, type GeoSpecPmiFaceAssociation, type GeoSpecPmiField, type GeoSpecPmiInventory, type GeoSpecPmiLimits, type GeoSpecPmiNumber, type GeoSpecPmiQueryPayload, type GeoSpecPmiQueryValue, type GeoSpecPmiRawEntity, type GeoSpecPmiRecord, type GeoSpecPmiShapeReference, type GeoSpecQueryCapability, type GeoSpecQueryOptions, type MinimumDistanceFact, type MinimumDistanceQuery, type MinimumDistanceResult, createGeoSpecAssertionClient, createGeoSpecMatcherMethods, evaluateGeoSpecNativeQuery, geoSpecMatcherDescriptors, geoSpecMaximumWorkUnitLimit, resolveGeoSpecMaximumWorkUnitLimit };

package/dist/assertion-client/index.mjs

@@ -0,0 +1 @@
+import{geoSpecMatcherDescriptors as e}from"../engine/matchers.mjs";import{evaluateGeoSpecNativeQuery as t,geoSpecMaximumWorkUnitLimit as n,resolveGeoSpecMaximumWorkUnitLimit as r}from"../engine/client.mjs";import{GeoSpecAssertionError as i,createGeoSpecAssertionClient as a,createGeoSpecMatcherMethods as o}from"./client.mjs";export{i as GeoSpecAssertionError,a as createGeoSpecAssertionClient,o as createGeoSpecMatcherMethods,t as evaluateGeoSpecNativeQuery,e as geoSpecMatcherDescriptors,n as geoSpecMaximumWorkUnitLimit,r as resolveGeoSpecMaximumWorkUnitLimit};

package/dist/config/index.d.mts

@@ -0,0 +1,3 @@
+import { GeoSpecConfig, GeoSpecTauProjectDescriptor, LoadGeoSpecConfigOptions, LoadedGeoSpecConfig } from "./types.mjs";
+import { ExportTauProjectArtifactOptions, GeoSpecTauProjectArtifact, GeoSpecTauProjectRuntime, exportTauProjectArtifact } from "./tau-project-artifact.mjs";
+export { type ExportTauProjectArtifactOptions, type GeoSpecConfig, type GeoSpecTauProjectArtifact, type GeoSpecTauProjectDescriptor, type GeoSpecTauProjectRuntime, type LoadGeoSpecConfigOptions, type LoadedGeoSpecConfig, exportTauProjectArtifact };

package/dist/config/index.mjs

@@ -0,0 +1 @@
+import{exportTauProjectArtifact as e}from"./tau-project-artifact.mjs";export{e as exportTauProjectArtifact};

package/dist/config/node/index.d.mts

@@ -0,0 +1,3 @@
+import { LoadGeoSpecConfigOptions, LoadedGeoSpecConfig } from "../types.mjs";
+import { loadGeoSpecConfig } from "./load.mjs";
+export { type LoadGeoSpecConfigOptions, type LoadedGeoSpecConfig, loadGeoSpecConfig };

package/dist/config/node/index.mjs

@@ -0,0 +1 @@
+import{loadGeoSpecConfig as e}from"./load.mjs";export{e as loadGeoSpecConfig};

package/dist/config/node/load.d.mts

@@ -0,0 +1,19 @@
+import { LoadGeoSpecConfigOptions, LoadedGeoSpecConfig } from "../types.mjs";
+//#region src/config/node/load.d.ts
+/**
+ * Load one trusted project config using Node's native module loader.
+ *
+ * Explicit selection or exactly one geospec.config.js/.mjs/.ts/.mts is allowed.
+ * TypeScript must use erasable syntax; JSON imports use standard attributes.
+ * Executable config/imports are trusted developer code, not sandboxed code.
+ * Node's same-process module cache is unchanged: load once per run and use a
+ * fresh process when fresh executable imports are required. No reload guarantee
+ * or transitive-source identity is supplied here.
+ *
+ * @public
+ * @param options - Project, optional explicit config and defined option overrides.
+ * @returns Real config path when present and validated data without runner defaults.
+ */
+declare const loadGeoSpecConfig: (options: LoadGeoSpecConfigOptions) => Promise<LoadedGeoSpecConfig>;
+//#endregion
+export { loadGeoSpecConfig };

package/dist/config/node/load.mjs

@@ -0,0 +1 @@
+import{resolveGeoSpecConfig as e}from"../validate.mjs";import{realpath as t,stat as n}from"node:fs/promises";import{extname as r,isAbsolute as i,relative as a,resolve as o,sep as s}from"node:path";import{pathToFileURL as c}from"node:url";const l=[`.js`,`.mjs`,`.ts`,`.mts`],u=async e=>{try{return(await n(e)).isFile()}catch(e){if(typeof e==`object`&&e&&`code`in e&&e.code===`ENOENT`)return!1;throw e}},d=async d=>{let f=await t(d.projectPath),p=d.configPath;if(p===void 0){let e=l.map(e=>`geospec.config${e}`),t=(await Promise.all(e.map(async e=>await u(o(f,e))?e:void 0))).filter(e=>e!==void 0);if(t.length>1)throw TypeError(`Multiple GeoSpec configs found: ${t.join(`, `)}. Select configPath explicitly.`);[p]=t}if(p===void 0)return{options:e({},d.overrides)};let m=r(p);if(!l.some(e=>e===m))throw TypeError(`GeoSpec configPath must select a .js, .mjs, .ts or .mts file.`);let h=await t(o(f,p)),g=a(f,h);if(i(g)||g===`..`||g.startsWith(`..${s}`))throw TypeError(`GeoSpec configPath must resolve within projectPath.`);if(!(await n(h)).isFile())throw TypeError(`GeoSpec configPath must select a file.`);let _=await import(c(h).href);return{configPath:h,options:e(_.default,d.overrides)}};export{d as loadGeoSpecConfig};

package/dist/config/tau-project-artifact.d.mts

@@ -0,0 +1,54 @@
+import { GeometryExportIntent } from "../mesh/types.mjs";
+import { RuntimeClientWithRoutes } from "../model/export-intent.mjs";
+import { GeoSpecTauProjectDescriptor } from "./types.mjs";
+import { ProjectManifest } from "@taucad/project-core";
+import { KernelResult, RuntimeSourceSnapshotFile } from "@taucad/runtime/types";
+import { RuntimeClient } from "@taucad/runtime/client";
+//#region src/config/tau-project-artifact.d.ts
+/** Runtime surface required to snapshot and export one Tau project. @public */
+type GeoSpecTauProjectRuntime = RuntimeClientWithRoutes & Pick<RuntimeClient, 'shutdown' | 'snapshotSource'>;
+/** Input for exporting one validated Tau project descriptor. @public */
+type ExportTauProjectArtifactOptions = {
+  readonly descriptor: GeoSpecTauProjectDescriptor;
+  /** Called twice so source discovery and export use separate runtime lifetimes. */
+  readonly createRuntime: () => GeoSpecTauProjectRuntime | Promise<GeoSpecTauProjectRuntime>;
+  readonly signal?: AbortSignal;
+};
+/** Finalized geometry bytes and the exact source/export metadata that produced them. @public */
+type GeoSpecTauProjectArtifact = {
+  readonly format: 'step' | 'glb';
+  readonly name: string;
+  readonly mimeType: string;
+  readonly bytes: Uint8Array<ArrayBuffer>;
+  readonly frame: {
+    readonly coordinateSystem: 'z-up';
+    readonly lengthUnit: 'millimeter';
+    readonly sourceUnit: 'mm';
+  };
+  readonly source: {
+    readonly manifestPath: string;
+    readonly manifestBytes: Uint8Array<ArrayBuffer>;
+    readonly manifest: ProjectManifest;
+    readonly projectEntryPath: string;
+    readonly entryPath: string;
+    readonly kernelId: string;
+    readonly files: readonly RuntimeSourceSnapshotFile[];
+  };
+  readonly export: {
+    readonly options: Readonly<Record<string, unknown>>;
+    readonly route: NonNullable<GeometryExportIntent['route']>;
+  };
+};
+/**
+ * Export one Tau project from Runtime's coherent source snapshot.
+ *
+ * This helper preserves finalized bytes and provenance metadata. It does not
+ * certify mathematical geometry or grant the runtime trusted-evaluator authority.
+ *
+ * @param options - Descriptor, fresh-runtime factory, and optional cancellation signal.
+ * @returns Runtime-style success or failure with the exact finalized artifact.
+ * @public
+ */
+declare const exportTauProjectArtifact: (options: ExportTauProjectArtifactOptions) => Promise<KernelResult<GeoSpecTauProjectArtifact>>;
+//#endregion
+export { ExportTauProjectArtifactOptions, GeoSpecTauProjectArtifact, GeoSpecTauProjectRuntime, exportTauProjectArtifact };

package/dist/config/tau-project-artifact.mjs

@@ -0,0 +1,3 @@
+import{resolveRuntimeExportIntent as e}from"../model/export-intent.mjs";import{resolveGeoSpecConfig as t}from"./validate.mjs";import{parseProjectManifestBytes as n,projectManifestSchema as r,projectRelativePathSchema as i,serializeProjectManifest as a}from"@taucad/project-core";const o=(e,t,n={})=>({success:!1,issues:[...n.priorIssues??[],{code:e,message:t,severity:`error`,type:`runtime`,...n.details===void 0?{}:{details:n.details}}]}),s=(e,t)=>e.byteLength===t.byteLength&&e.every((e,n)=>e===t[n]),c=(e,t)=>{let n=e.lastIndexOf(`/`);return i.parse(n===-1?t:`${e.slice(0,n)}/${t}`)},l=(e,t)=>t.bytes.byteLength===0?!1:e===`step`?t.mimeType===`application/step`:t.mimeType===`model/gltf-binary`,u=async i=>{let u=t({subjects:{selected:i.descriptor}}).subjects?.selected;if(!u)throw TypeError(`GeoSpec Tau descriptor is required.`);let d=structuredClone(u),f=r.safeParse(d.manifest);if(!f.success)throw TypeError(`GeoSpec Tau descriptor manifest must match the current Tau project schema.`);let p=c(d.manifestPath,f.data.assets.main.entryPath),m=await i.createRuntime(),h,g;try{await m.connect(),h=await m.snapshotSource({source:{path:p},additionalPaths:[{path:d.manifestPath,required:!0}],...i.signal===void 0?{}:{signal:i.signal}}),h.success&&(g=structuredClone(e({runtime:m,format:d.format,kernelId:h.data.kernelId})))}finally{await m.shutdown()}if(!h.success)return h;if(!g)throw TypeError(`Runtime export intent was not resolved from the successful source snapshot.`);if(`success`in g)return o(`KERNEL_CAPABILITY_MISSING`,g.diagnostics.map(({message:e})=>e).join(`
+`),{details:{diagnostics:g.diagnostics},priorIssues:h.issues});let _=g.provenance.route,v=g.provenance.honored;if(_?.kernelId!==h.data.kernelId||_.targetFormat!==d.format||v?.coordinateSystem!==`z-up`||v.sourceUnit!==`mm`||d.format===`glb`&&v.unit?.length!==`millimeter`)return o(`KERNEL_CAPABILITY_MISSING`,`Runtime route did not honor the snapshotted provider and Z-up/mm export.`,{details:{snapshotKernelId:h.data.kernelId,route:_,honored:v},priorIssues:h.issues});if(h.data.entryPath!==p||h.data.unresolvedPaths.length>0)return o(`SOURCE_SNAPSHOT_INVALID`,`Runtime did not return the requested complete Tau source closure.`,{details:{expectedEntryPath:p,actualEntryPath:h.data.entryPath,unresolvedPaths:h.data.unresolvedPaths},priorIssues:h.issues});let y=h.data.files.filter(({path:e})=>e===d.manifestPath);if(y.length!==1)return o(`SOURCE_SNAPSHOT_INVALID`,`Runtime source closure must contain exactly one requested Tau manifest.`,{details:{manifestPath:d.manifestPath,actualCount:y.length},priorIssues:h.issues});let b=y[0],x=n(b.content);if(!x.success)return o(`SOURCE_SNAPSHOT_INVALID`,`Runtime source closure contains an invalid Tau manifest.`,{details:x.issue,priorIssues:h.issues});if(!s(a(f.data),a(x.data)))return o(`SOURCE_SNAPSHOT_CHANGED`,`Imported Tau descriptor does not match the snapshotted manifest bytes.`,{details:{manifestPath:d.manifestPath},priorIssues:h.issues});if(c(d.manifestPath,x.data.assets.main.entryPath)!==h.data.entryPath)return o(`SOURCE_SNAPSHOT_CHANGED`,`Snapshotted Tau manifest selects a different main asset.`,{details:{manifestPath:d.manifestPath},priorIssues:h.issues});let S={};for(let e of h.data.files){if(S[e.path]!==void 0)return o(`SOURCE_SNAPSHOT_INVALID`,`Runtime source closure contains duplicate paths.`,{details:{path:e.path},priorIssues:h.issues});S[e.path]=e.content}let C=await i.createRuntime();if(C===m)throw TypeError(`createRuntime must return a fresh runtime for source replay.`);try{await C.connect();let t=C.open({source:{files:S,entry:h.data.entryPath},parameters:d.parameters??{},watch:!1,...i.signal===void 0?{}:{signal:i.signal}}),n=await(async()=>{try{return await t.export(d.format,{options:g.options,...i.signal===void 0?{}:{signal:i.signal}})}finally{t.close()}})();if(!n.success)return{success:!1,issues:[...h.issues,...n.issues]};let r=e({runtime:C,format:d.format});if(`success`in r)return o(`KERNEL_CAPABILITY_MISSING`,r.diagnostics.map(({message:e})=>e).join(`
+`),{details:{diagnostics:r.diagnostics},priorIssues:[...h.issues,...n.issues]});let a=r.provenance.route,s=r.provenance.honored;if(a?.kernelId!==h.data.kernelId||a.targetFormat!==d.format||s?.coordinateSystem!==`z-up`||s.sourceUnit!==`mm`||d.format===`glb`&&s.unit?.length!==`millimeter`||JSON.stringify(a)!==JSON.stringify(_)||JSON.stringify(r.options)!==JSON.stringify(g.options))return o(`KERNEL_CAPABILITY_MISSING`,`Export runtime did not retain the requested source-bound route and Z-up/mm frame.`,{details:{snapshotKernelId:h.data.kernelId,requested:g,actual:r},priorIssues:[...h.issues,...n.issues]});let c=[...n.files];if(c.length!==1)return o(`EXPORT_ARTIFACT_SET_INVALID`,`Tau project export must produce exactly one usable artifact.`,{details:{actualCount:c.length},priorIssues:[...h.issues,...n.issues]});let[u]=c;if(!u||!l(d.format,u))return o(`EXPORT_ARTIFACT_SET_INVALID`,`Tau project export did not produce the requested usable artifact.`,{details:{format:d.format,artifact:u&&{name:u.name,mimeType:u.mimeType,byteLength:u.bytes.byteLength}},priorIssues:[...h.issues,...n.issues]});let{bytes:f,mimeType:p,name:m}=u;return{success:!0,data:{format:d.format,name:m,mimeType:p,bytes:f,frame:{coordinateSystem:`z-up`,lengthUnit:`millimeter`,sourceUnit:`mm`},source:{manifestPath:d.manifestPath,manifestBytes:b.content,manifest:x.data,projectEntryPath:x.data.assets.main.entryPath,entryPath:h.data.entryPath,kernelId:h.data.kernelId,files:h.data.files},export:{options:g.options,route:a}},issues:[...h.issues,...n.issues]}}finally{await C.shutdown()}};export{u as exportTauProjectArtifact};

package/dist/config/types.d.mts

@@ -0,0 +1,57 @@
+import { JSONValue } from "@taucad/runtime/types";
+//#region src/config/types.d.ts
+/**
+ * Imported Tau project data for later host resolution.
+ *
+ * This descriptor does not validate the original manifest bytes or its schema,
+ * admit an asset, export geometry, or establish finalized-artifact provenance.
+ * @public
+ */
+type GeoSpecTauProjectDescriptor = {
+  readonly kind: 'tau-project';
+  /** Normalized project-relative POSIX path identifying the imported manifest. */
+  readonly manifestPath: string;
+  readonly manifest: Readonly<Record<string, JSONValue>>;
+  readonly format: 'step' | 'glb';
+  readonly parameters?: Readonly<Record<string, JSONValue>>;
+};
+/**
+ * Trusted project configuration using existing discovery and runner options.
+ *
+ * Omitted values keep their existing owner's defaults. Defined overrides
+ * replace whole fields, including empty arrays, false and the subjects map.
+ * Existing discovery currently treats an absent or empty include array as its
+ * default pattern. Preserving [] here does not change that consumer behavior.
+ * This is configuration data, not a canonical engine plan or a geometry result.
+ * @public
+ */
+type GeoSpecConfig = {
+  include?: readonly string[];
+  exclude?: readonly string[];
+  testNamePattern?: string;
+  /** Positive finite milliseconds; the runner owns its default. */
+  testTimeout?: number;
+  /** Positive finite milliseconds; does not define a geometry verdict. */
+  matcherWallBackstop?: number;
+  bail?: boolean;
+  forensic?: boolean;
+  cache?: boolean;
+  /** Requested cache location only; loading configuration creates no store. */
+  cacheDirectory?: string;
+  subjects?: Readonly<Record<string, GeoSpecTauProjectDescriptor>>;
+};
+/** Options for one trusted Node configuration load. @public */
+type LoadGeoSpecConfigOptions = {
+  readonly projectPath: string;
+  /** Explicit file, resolved relative to the project unless absolute. */
+  readonly configPath?: string;
+  /** Own defined fields override configuration without deep merging. */
+  readonly overrides?: GeoSpecConfig;
+};
+/** Resolved file identity and validated configuration data. @public */
+type LoadedGeoSpecConfig = {
+  readonly configPath?: string;
+  readonly options: GeoSpecConfig;
+};
+//#endregion
+export { GeoSpecConfig, GeoSpecTauProjectDescriptor, LoadGeoSpecConfigOptions, LoadedGeoSpecConfig };

package/dist/config/validate.mjs

@@ -0,0 +1 @@
+import{assertGeoSpecJsonValue as e}from"../engine/protocol.mjs";const t=(e,t)=>{if(typeof e!=`object`||!e||Array.isArray(e))throw TypeError(`${t} must be a plain object.`);let n=Object.getPrototypeOf(e);if(n!==Object.prototype&&n!==null)throw TypeError(`${t} must be a plain object.`);return e},n=(n,r)=>{let i=t(n,r);return e(i),i},r=e=>{let r=t(e,`GeoSpec Tau descriptor`);for(let e of Reflect.ownKeys(r))if(typeof e!=`string`||![`kind`,`manifestPath`,`manifest`,`format`,`parameters`].includes(e))throw TypeError(`Unsupported GeoSpec Tau descriptor field '${String(e)}'.`);let{kind:i,manifestPath:a,manifest:o,format:s,parameters:c}=r;if(i!==`tau-project`)throw TypeError(`GeoSpec Tau descriptor kind must be 'tau-project'.`);if(typeof a!=`string`||a.length===0||a.length>2048||a.includes(`\0`)||a.includes(`\\`)||a.startsWith(`/`)||a.split(`/`).some(e=>e.length===0||e===`.`||e===`..`))throw TypeError(`GeoSpec manifestPath must be a normalized project-relative POSIX path.`);if(s!==`step`&&s!==`glb`)throw TypeError(`GeoSpec Tau descriptor format must be 'step' or 'glb'.`);return{kind:i,manifestPath:a,manifest:n(o,`GeoSpec manifest`),format:s,...c===void 0?{}:{parameters:n(c,`GeoSpec parameters`)}}},i=e=>{let n=t(e,`GeoSpec config`),i={};for(let e of Reflect.ownKeys(n)){if(typeof e!=`string`)throw TypeError(`Unsupported GeoSpec config field '${String(e)}'.`);let a=n[e];switch(e){case`include`:case`exclude`:{if(a===void 0)break;if(!Array.isArray(a))throw TypeError(`GeoSpec ${e} must be an array of strings.`);let t=[...a];if(!t.every(e=>typeof e==`string`))throw TypeError(`GeoSpec ${e} must be an array of strings.`);i[e]=t;break}case`testNamePattern`:case`cacheDirectory`:if(a===void 0)break;if(typeof a!=`string`)throw TypeError(`GeoSpec ${e} must be a string.`);i[e]=a;break;case`testTimeout`:case`matcherWallBackstop`:if(a===void 0)break;if(typeof a!=`number`||!Number.isFinite(a)||a<=0)throw TypeError(`GeoSpec ${e} must be positive finite milliseconds.`);i[e]=a;break;case`bail`:case`forensic`:case`cache`:if(a===void 0)break;if(typeof a!=`boolean`)throw TypeError(`GeoSpec ${e} must be a boolean.`);i[e]=a;break;case`subjects`:{if(a===void 0)break;let e=t(a,`GeoSpec subjects`);i.subjects=Object.fromEntries(Reflect.ownKeys(e).map(t=>{if(typeof t!=`string`)throw TypeError(`GeoSpec subjects keys must be strings.`);return[t,r(e[t])]}));break}default:throw TypeError(`Unsupported GeoSpec config field '${e}'.`)}}return i},a=(e,t={})=>({...i(e),...i(t)});export{a as resolveGeoSpecConfig};

package/dist/create-geospec.d.mts

@@ -0,0 +1,50 @@
+import { GeoSpecSubject } from "./model/subject.mjs";
+import { GeoSpecExpectOptions, GeoSpecMatcher } from "./runner/types.mjs";
+//#region src/create-geospec.d.ts
+type GeoSpecTestCallback = () => unknown | PromiseLike<unknown>;
+type SuiteFunction = {
+  (name: string, function_: GeoSpecTestCallback): void;
+  skip(name: string, function_?: GeoSpecTestCallback): void;
+};
+type TestFunction = {
+  (name: string, function_: GeoSpecTestCallback): void;
+  skip(name: string, function_?: GeoSpecTestCallback): void;
+};
+/**
+ * GeoSpec suite helper used inside VM-executed test modules.
+ *
+ * @public
+ */
+declare const describe: SuiteFunction;
+/**
+ * GeoSpec test helper used inside VM-executed test modules.
+ *
+ * @public
+ */
+declare const it: TestFunction;
+/**
+ * Alias for {@link it}.
+ *
+ * @public
+ */
+declare const test: TestFunction;
+/**
+ * Start a geometry assertion chain.
+ *
+ * @param subject - geometry subject under test.
+ * @param options - Optional chain options, such as a larger `workUnitLimit` for a claim that refused with `MATCHER_TIMEOUT`.
+ * @returns GeoSpec geometry matchers.
+ * @public
+ */
+declare function expectGeo(subject: GeoSpecSubject, options?: GeoSpecExpectOptions): GeoSpecMatcher;
+/**
+ * Every matcher name exposed by {@link expectGeo}, derived from the live
+ * matcher surface so it can never drift from the real implementation. Use it to
+ * assert that documentation, prompt examples, or authored suites only reference
+ * matchers that actually exist.
+ *
+ * @public
+ */
+declare const geoSpecMatcherNames: readonly string[];
+//#endregion
+export { describe, expectGeo, geoSpecMatcherNames, it, test };

package/dist/create-geospec.mjs

@@ -0,0 +1 @@
+import{geoSpecMatcherDescriptors as e}from"./engine/matchers.mjs";import{getCollector as t}from"./runner/collector.mjs";import{expectGeoSubject as n}from"./model/subject-assertions.mjs";const r=Object.assign((e,n)=>{t().describe(e,n)},{skip(e,n){t().describeSkip(e,n)}}),i=Object.assign((e,n)=>{t().it(e,n)},{skip(e,n){t().itSkip(e,n)}}),a=i;function o(e,t){return n(e,t)}const s=Object.freeze(Object.keys(e));export{r as describe,o as expectGeo,s as geoSpecMatcherNames,i as it,a as test};