geospec 0.1.0-beta.4 → 0.1.0-beta.6

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

@@ -1,6 +1,6 @@
 # geospec API index
 
-geospec 0.1.0-beta.4 · 360 symbols · extracted by TypeScript 5.9.3.
+geospec 0.1.0-beta.6 · 360 symbols · extracted by TypeScript 5.9.3.
 
 Every symbol appears here exactly once. The heading above each block names the file with its signature; grep the skill directory for `name(` to land on the declaration directly.
 

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

@@ -1,6 +1,6 @@
 # geospec public API index
 
-geospec 0.1.0-beta.4 · 870 symbols · extracted by TypeScript 5.9.3.
+geospec 0.1.0-beta.6 · 870 symbols · extracted by TypeScript 5.9.3.
 
 Every symbol appears here exactly once. The heading above each block names the file with its signature; grep the skill directory for `name(` to land on the declaration directly.
 

package/agent/resources.js

@@ -4,18 +4,18 @@ export default 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.4",
+    version: "0.1.0-beta.6",
     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: "3a3a6d4c418ddabaf3f17bf34e608b5a4662666c631c43f9c3004f7a52630ade",
+    fingerprint: "6702ecb11c4af8e8ed11f699edfbedfe123d1e0b23680db121cbf3f81cfcc326",
     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: "8d788c51fbf6962558f143486c9fe5495bb73ba9f5b8f7121449016d6e136d3a" }),
+      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: "b18891ec7303ab8dfe142692a766bb736e6401c394ed901313d88eb2e1359510" }),
       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: "2cedf2e5474be1b5dfb2773ba3ea4f9ad9c2787b46394ed94b3386ff826c6264" }),
+      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: "9d6551ea44db83f72c8ea55a92fde8e76b0a6a37a7f47adc10c6f8ea9a0ff10e" }),
       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" }),

package/agent/skills.json

@@ -4,7 +4,7 @@
       "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.4",
+      "version": "0.1.0-beta.6",
       "whenToUse": "Use before creating or editing *.geospec.ts or *.geospec.js tests, for a model in any kernel.",
       "directory": "geospec-authoring",
       "files": [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "geospec",
-  "version": "0.1.0-beta.4",
+  "version": "0.1.0-beta.6",
   "description": "Geometry specification API for CAD models: DSL, selector language, diagnostics schema, and the native runner integration",
   "type": "module",
   "sideEffects": false,
@@ -96,9 +96,9 @@
   "imports": {},
   "dependencies": {
     "zod": "4.4.3",
-    "@taucad/project-core": "0.1.0-beta.4",
-    "@taucad/runtime": "0.1.0-beta.4",
-    "@taucad/esbuild": "0.1.0-beta.4"
+    "@taucad/esbuild": "0.1.0-beta.6",
+    "@taucad/project-core": "0.1.0-beta.6",
+    "@taucad/runtime": "0.1.0-beta.6"
   },
   "devDependencies": {
     "@gltf-transform/core": "^4.5.1"