geospec 0.1.0-beta.6 → 0.1.0-beta.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (58) hide show
  1. package/agent/doctrine.md +17 -2
  2. package/agent/geospec-authoring/SKILL.md +47 -47
  3. package/agent/geospec-authoring/api-functions.md +1 -16
  4. package/agent/geospec-authoring/api-index.md +119 -111
  5. package/agent/geospec-authoring/api-types.md +218 -170
  6. package/agent/geospec-authoring/public-api-functions.md +29 -22
  7. package/agent/geospec-authoring/public-api-index.md +294 -276
  8. package/agent/geospec-authoring/public-api-types-2.md +222 -287
  9. package/agent/geospec-authoring/public-api-types-3.md +176 -99
  10. package/agent/geospec-authoring/public-api-types.md +236 -125
  11. package/agent/resources.js +12 -12
  12. package/agent/skills.json +2 -2
  13. package/dist/assertion-client/client.d.mts +1 -1
  14. package/dist/assertion-client/client.mjs +1 -1
  15. package/dist/config/index.d.mts +1 -2
  16. package/dist/config/index.mjs +1 -1
  17. package/dist/config/types.d.mts +0 -3
  18. package/dist/config/validate.mjs +1 -1
  19. package/dist/engine/client.mjs +1 -1
  20. package/dist/mesh/index.d.mts +2 -2
  21. package/dist/model/index.d.mts +3 -3
  22. package/dist/model/index.mjs +1 -1
  23. package/dist/model/mesh-evidence-matchers.d.mts +12 -0
  24. package/dist/model/mesh-evidence-matchers.mjs +1 -0
  25. package/dist/model/native-model-loader.d.mts +10 -8
  26. package/dist/model/native-model-loader.mjs +1 -1
  27. package/dist/model/node/command-exporter.d.mts +31 -0
  28. package/dist/model/node/command-exporter.mjs +1 -0
  29. package/dist/model/node/index.d.mts +2 -0
  30. package/dist/model/node/index.mjs +1 -0
  31. package/dist/model/region-scope.mjs +1 -1
  32. package/dist/model/types.d.mts +132 -68
  33. package/dist/runner/collector.d.mts +0 -2
  34. package/dist/runner/collector.mjs +1 -1
  35. package/dist/runner/node/index.d.mts +2 -0
  36. package/dist/runner/node/index.mjs +1 -0
  37. package/dist/runner/node/node-vm-filesystem.d.mts +22 -0
  38. package/dist/runner/node/node-vm-filesystem.mjs +1 -0
  39. package/dist/runner/pool/events.mjs +1 -0
  40. package/dist/runner/pool/pool-messages.d.mts +0 -10
  41. package/dist/runner/pool/pool.d.mts +36 -0
  42. package/dist/runner/pool/pool.mjs +1 -0
  43. package/dist/runner/pool/shard-planner.mjs +1 -0
  44. package/dist/runner/pool/shard-timings.d.mts +36 -0
  45. package/dist/runner/pool/transport.mjs +1 -0
  46. package/dist/runner/pool/worker-host.d.mts +36 -0
  47. package/dist/runner/pool/worker-host.mjs +1 -0
  48. package/dist/runner/run-geospec-module.mjs +1 -1
  49. package/dist/runner/types.d.mts +0 -4
  50. package/dist/runner/worker/index.d.mts +7 -2
  51. package/dist/runner/worker/index.mjs +1 -1
  52. package/dist/runner/worker/runner-types.d.mts +2 -14
  53. package/dist/runner/worker/serial-runner.mjs +1 -1
  54. package/package.json +14 -4
  55. package/dist/config/tau-project-artifact.d.mts +0 -54
  56. package/dist/config/tau-project-artifact.mjs +0 -3
  57. package/dist/model/export-intent.d.mts +0 -79
  58. package/dist/model/export-intent.mjs +0 -1
@@ -1,35 +1,34 @@
1
1
  # geospec API index
2
2
 
3
- geospec 0.1.0-beta.6 · 360 symbols · extracted by TypeScript 5.9.3.
3
+ geospec 0.1.0-beta.8 · 368 symbols · extracted by TypeScript 5.9.3.
4
4
 
5
- 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.
5
+ Every symbol appears here exactly once. The heading above each block names the file with its signature, and each top-level symbol names the lines of that file which hold its declaration and members: read only that range.
6
6
 
7
7
  ## Functions — `api-functions.md`
8
8
 
9
- describe (function) [1 members] — GeoSpec suite helper used inside VM-executed test modules
9
+ describe (function) [lines 5-10] [1 members] — GeoSpec suite helper used inside VM-executed test modules
10
10
  describe.skip (method)
11
- expectGeo (function) — Start a geometry assertion chain
12
- it (function) [1 members] — GeoSpec test helper used inside VM-executed test modules
11
+ expectGeo (function) [lines 12-16] — Start a geometry assertion chain
12
+ it (function) [lines 18-23] [1 members] — GeoSpec test helper used inside VM-executed test modules
13
13
  it.skip (method)
14
- test (function) [1 members] — Alias for {@link it}
14
+ test (function) [lines 25-30] [1 members] — Alias for {@link it}
15
15
  test.skip (method)
16
- createModelLoader (function) — Create a {@link loadModel} function over a host-supplied compiled engine
17
- loadModel (function) — Load a CAD model into GeoSpec evidence
18
- resolveRuntimeExportIntent (function)
16
+ createModelLoader (function) [lines 32-35] — Create a {@link loadModel} function over a host-supplied compiled engine
17
+ loadModel (function) [lines 37-42] — Load a CAD model into GeoSpec evidence
19
18
 
20
19
  ## Constants — `api-constants.md`
21
20
 
22
- geoSpecMatcherNames (constant) — Every matcher name exposed by {@link expectGeo}, derived from the…
23
- geoSpecMeshEvidenceMatchers (constant) — The matchers mesh evidence answers, as the GeoSpec authoring skill…
24
- geoSpecRegionScopedKinds (constant) — The claims a region-cropped subject answers
25
- geoSpecRegionWholeModelClaimCode (constant) — Diagnostic code of a whole-model claim made on a region-cropped…
21
+ geoSpecMatcherNames (constant) [lines 5-6] — Every matcher name exposed by {@link expectGeo}, derived from the…
22
+ geoSpecMeshEvidenceMatchers (constant) [lines 8-9] — The matchers mesh evidence answers, as the GeoSpec authoring skill…
23
+ geoSpecRegionScopedKinds (constant) [lines 11-13] — The claims a region-cropped subject answers
24
+ geoSpecRegionWholeModelClaimCode (constant) [lines 15-16] — Diagnostic code of a whole-model claim made on a region-cropped…
26
25
 
27
26
  ## Types — `api-types.md`
28
27
 
29
- GeoSpecSubject (type) [1 members] — A model admitted by one live GeoSpec host scope
28
+ GeoSpecSubject (type) [lines 5-10] [1 members] — A model admitted by one live GeoSpec host scope
30
29
  GeoSpecSubject.[subjectBrand] (property)
31
- GeoSpecUnit (type) — Geometry units accepted at GeoSpec evidence-loading boundaries
32
- GeoSpecAssertion (type) [9 members] — Geometry assertion collected from a GeoSpec test module
30
+ GeoSpecUnit (type) [lines 12-14] — Geometry units accepted at GeoSpec evidence-loading boundaries
31
+ GeoSpecAssertion (type) [lines 16-66] [9 members] — Geometry assertion collected from a GeoSpec test module
33
32
  GeoSpecAssertion.kind (property) — Assertion kind
34
33
  GeoSpecAssertion.subject (property) — User-authored value passed to expectGeo()
35
34
  GeoSpecAssertion.expected (property) — Expected geometry condition
@@ -39,61 +38,61 @@ GeoSpecAssertion (type) [9 members] — Geometry assertion collected from a GeoS
39
38
  GeoSpecAssertion.loadId (property) — The host load which admitted this assertion's subject
40
39
  GeoSpecAssertion.region (property) — The crop this assertion's subject was loaded with
41
40
  GeoSpecAssertion.durationMs (property) — Wall-clock cost of matcher evaluation in milliseconds (R1
42
- GeoSpecAssemblyOccurrenceExpectation (type) [3 members] — Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
41
+ GeoSpecAssemblyOccurrenceExpectation (type) [lines 68-91] [3 members] — Assembly occurrence rule accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
43
42
  GeoSpecAssemblyOccurrenceExpectation.name (property)
44
43
  GeoSpecAssemblyOccurrenceExpectation.count (property)
45
44
  GeoSpecAssemblyOccurrenceExpectation.bounds (property)
46
- GeoSpecAssemblyOccurrencesExpectation (type) [2 members] — Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
45
+ GeoSpecAssemblyOccurrencesExpectation (type) [lines 93-101] [2 members] — Assembly occurrence expectation accepted by `expectGeo(...).toHaveAssemblyOccurrences(...)`
47
46
  GeoSpecAssemblyOccurrencesExpectation.occurrences (property)
48
47
  GeoSpecAssemblyOccurrencesExpectation.uniqueNames (property)
49
- GeoSpecAxisExpectation (type) [3 members] — Axis-keyed numeric expectation used by high-level geometry matchers
48
+ GeoSpecAxisExpectation (type) [lines 103-114] [3 members] — Axis-keyed numeric expectation used by high-level geometry matchers
50
49
  GeoSpecAxisExpectation.x (property)
51
50
  GeoSpecAxisExpectation.y (property)
52
51
  GeoSpecAxisExpectation.z (property)
53
- GeoSpecBoundingBoxExpectation (type) [5 members] — Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`
52
+ GeoSpecBoundingBoxExpectation (type) [lines 116-133] [5 members] — Bounding-box expectation accepted by `expectGeo(...).toHaveBoundingBox(...)`
54
53
  GeoSpecBoundingBoxExpectation.min (property)
55
54
  GeoSpecBoundingBoxExpectation.max (property)
56
55
  GeoSpecBoundingBoxExpectation.size (property)
57
56
  GeoSpecBoundingBoxExpectation.center (property)
58
57
  GeoSpecBoundingBoxExpectation.tolerance (property)
59
- GeoSpecCenterOfMassExpectation (type) [2 members] — Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`
58
+ GeoSpecCenterOfMassExpectation (type) [lines 135-145] [2 members] — Center-of-mass expectation accepted by `expectGeo(...).toHaveCenterOfMass(...)`
60
59
  GeoSpecCenterOfMassExpectation.point (property) — Exact expected point in millimetres
61
60
  GeoSpecCenterOfMassExpectation.tolerance (property)
62
- GeoSpecChamferFeatureExpectation (type) [3 members] — Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`
61
+ GeoSpecChamferFeatureExpectation (type) [lines 147-158] [3 members] — Chamfer-feature expectation accepted by `expectGeo(...).toHaveChamferFeature(...)`
63
62
  GeoSpecChamferFeatureExpectation.distance (property)
64
63
  GeoSpecChamferFeatureExpectation.selection (property)
65
64
  GeoSpecChamferFeatureExpectation.tolerance (property)
66
- GeoSpecCircularHoleExpectation (type) [5 members] — Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`
65
+ GeoSpecCircularHoleExpectation (type) [lines 160-177] [5 members] — Circular-hole expectation accepted by `expectGeo(...).toHaveCircularHole(...)`
67
66
  GeoSpecCircularHoleExpectation.diameter (property)
68
67
  GeoSpecCircularHoleExpectation.through (property)
69
68
  GeoSpecCircularHoleExpectation.axis (property)
70
69
  GeoSpecCircularHoleExpectation.center (property)
71
70
  GeoSpecCircularHoleExpectation.tolerance (property)
72
- GeoSpecCylindricalFaceExpectation (type) [3 members] — Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`
71
+ GeoSpecCylindricalFaceExpectation (type) [lines 179-190] [3 members] — Cylindrical-face expectation accepted by `expectGeo(...).toHaveCylindricalFace(...)`
73
72
  GeoSpecCylindricalFaceExpectation.radius (property)
74
73
  GeoSpecCylindricalFaceExpectation.axis (property)
75
74
  GeoSpecCylindricalFaceExpectation.tolerance (property)
76
- GeoSpecExpectOptions (type) [1 members] — Per-chain options accepted by `expectGeo(subject, options)`
75
+ GeoSpecExpectOptions (type) [lines 192-204] [1 members] — Per-chain options accepted by `expectGeo(subject, options)`
77
76
  GeoSpecExpectOptions.workUnitLimit (property) — Deterministic work-unit budget for every claim in this chain
78
- GeoSpecComponentInterferenceAllowance (type) [5 members] — Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
77
+ GeoSpecComponentInterferenceAllowance (type) [lines 206-223] [5 members] — Intentional component interference allowance accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
79
78
  GeoSpecComponentInterferenceAllowance.kind (property)
80
79
  GeoSpecComponentInterferenceAllowance.left (property)
81
80
  GeoSpecComponentInterferenceAllowance.right (property)
82
81
  GeoSpecComponentInterferenceAllowance.maxVolume (property)
83
82
  GeoSpecComponentInterferenceAllowance.reason (property)
84
- GeoSpecComponentInterferenceExpectation (type) [3 members] — Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
83
+ GeoSpecComponentInterferenceExpectation (type) [lines 225-237] [3 members] — Component-interference expectation accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
85
84
  GeoSpecComponentInterferenceExpectation.tolerance (property)
86
85
  GeoSpecComponentInterferenceExpectation.pairs (property)
87
86
  GeoSpecComponentInterferenceExpectation.allowances (property)
88
- GeoSpecComponentInterferencePairExpectation (type) [2 members] — A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
87
+ GeoSpecComponentInterferencePairExpectation (type) [lines 239-247] [2 members] — A pair-specific component-interference check accepted by `expectGeo(...).toHaveNoComponentInterference(...)`
89
88
  GeoSpecComponentInterferencePairExpectation.left (property)
90
89
  GeoSpecComponentInterferencePairExpectation.right (property)
91
- GeoSpecConnectedComponentsExpectation (type) [3 members] — Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`
90
+ GeoSpecConnectedComponentsExpectation (type) [lines 249-260] [3 members] — Connected-components expectation accepted by `expectGeo(...).toHaveConnectedComponents(...)`
92
91
  GeoSpecConnectedComponentsExpectation.count (property)
93
92
  GeoSpecConnectedComponentsExpectation.tolerance (property)
94
93
  GeoSpecConnectedComponentsExpectation.toleranceMm (property)
95
- GeoSpecGeometrySelector (type) — Geometry selector used by inspection and spatial relationship matchers
96
- GeoSpecMatcher (type) [27 members] — Assertion chain returned by `expectGeo(subject)`
94
+ GeoSpecGeometrySelector (type) [lines 262-296] — Geometry selector used by inspection and spatial relationship matchers
95
+ GeoSpecMatcher (type) [lines 298-511] [27 members] — Assertion chain returned by `expectGeo(subject)`
97
96
  GeoSpecMatcher.not (property) — Core-owned negation
98
97
  GeoSpecMatcher.toSatisfyRationalPlate (method) — Assert the fixed rational plate contract
99
98
  GeoSpecMatcher.toSatisfyParallelPlaneDistance (method) — Assert the fixed parallel-plane distance contract
@@ -121,43 +120,43 @@ GeoSpecMatcher (type) [27 members] — Assertion chain returned by `expectGeo(su
121
120
  GeoSpecMatcher.toHaveFilletFeature (method) — Assert that BRep evidence contains a fillet feature with the…
122
121
  GeoSpecMatcher.toHaveMinimumWallThickness (method) — Assert that BRep evidence reports a minimum wall thickness satisfying…
123
122
  GeoSpecMatcher.toHaveVoidContinuity (method) — Assert that the declared waypoints share one connected void, stay…
124
- GeoSpecMassExpectation (type) [3 members] — Mass expectation accepted by `expectGeo(...).toHaveMass(...)`
123
+ GeoSpecMassExpectation (type) [lines 513-524] [3 members] — Mass expectation accepted by `expectGeo(...).toHaveMass(...)`
125
124
  GeoSpecMassExpectation.value (property)
126
125
  GeoSpecMassExpectation.density (property)
127
126
  GeoSpecMassExpectation.tolerance (property)
128
- GeoSpecMeshIntegrityExpectation (type) [5 members] — Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`
127
+ GeoSpecMeshIntegrityExpectation (type) [lines 526-557] [5 members] — Mesh integrity expectation accepted by `expectGeo(...).toHaveMeshIntegrity(...)`
129
128
  GeoSpecMeshIntegrityExpectation.finitePositions (property)
130
129
  GeoSpecMeshIntegrityExpectation.degenerateTriangles (property)
131
130
  GeoSpecMeshIntegrityExpectation.duplicateFaces (property)
132
131
  GeoSpecMeshIntegrityExpectation.watertight (property)
133
132
  GeoSpecMeshIntegrityExpectation.triangleCount (property)
134
- GeoSpecNoDiagnosticsExpectation (type) [1 members] — Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`
133
+ GeoSpecNoDiagnosticsExpectation (type) [lines 559-565] [1 members] — Diagnostic severities rejected by `expectGeo(...).toHaveNoDiagnostics(...)`
135
134
  GeoSpecNoDiagnosticsExpectation.severities (property)
136
- GeoSpecMinimumWallThicknessExpectation (type) [2 members] — Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`
135
+ GeoSpecMinimumWallThicknessExpectation (type) [lines 567-575] [2 members] — Minimum-wall-thickness expectation accepted by `expectGeo(...).toHaveMinimumWallThickness(...)`
137
136
  GeoSpecMinimumWallThicknessExpectation.value (property)
138
137
  GeoSpecMinimumWallThicknessExpectation.tolerance (property)
139
- GeoSpecCircularHolePatternExpectation (type) [6 members] — Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`
138
+ GeoSpecCircularHolePatternExpectation (type) [lines 577-597] [6 members] — Circular-hole-pattern expectation accepted by `expectGeo(...).toHaveCircularHolePattern(...)`
140
139
  GeoSpecCircularHolePatternExpectation.count (property)
141
140
  GeoSpecCircularHolePatternExpectation.holeDiameter (property)
142
141
  GeoSpecCircularHolePatternExpectation.boltCircleDiameter (property)
143
142
  GeoSpecCircularHolePatternExpectation.axis (property)
144
143
  GeoSpecCircularHolePatternExpectation.center (property)
145
144
  GeoSpecCircularHolePatternExpectation.tolerance (property)
146
- GeoSpecFilletFeatureExpectation (type) [3 members] — Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`
145
+ GeoSpecFilletFeatureExpectation (type) [lines 599-610] [3 members] — Fillet-feature expectation accepted by `expectGeo(...).toHaveFilletFeature(...)`
147
146
  GeoSpecFilletFeatureExpectation.radius (property)
148
147
  GeoSpecFilletFeatureExpectation.selection (property)
149
148
  GeoSpecFilletFeatureExpectation.tolerance (property)
150
- GeoSpecNumericExpectation (type) — Shared scalar expectation used by geometry measurements
151
- GeoSpecPlanarFaceExpectation (type) [4 members] — Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`
149
+ GeoSpecNumericExpectation (type) [lines 612-619] — Shared scalar expectation used by geometry measurements
150
+ GeoSpecPlanarFaceExpectation (type) [lines 621-635] [4 members] — Planar-face expectation accepted by `expectGeo(...).toHavePlanarFace(...)`
152
151
  GeoSpecPlanarFaceExpectation.normal (property)
153
152
  GeoSpecPlanarFaceExpectation.offset (property)
154
153
  GeoSpecPlanarFaceExpectation.area (property)
155
154
  GeoSpecPlanarFaceExpectation.tolerance (property)
156
- GeoSpecPointExpectation (type) — Point expectation accepted by center and feature matchers
157
- GeoSpecProductStructureExpectation (type) [2 members] — Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`
155
+ GeoSpecPointExpectation (type) [lines 637-638] — Point expectation accepted by center and feature matchers
156
+ GeoSpecProductStructureExpectation (type) [lines 640-648] [2 members] — Product-structure expectation accepted by `expectGeo(...).toHaveProductStructure(...)`
158
157
  GeoSpecProductStructureExpectation.names (property)
159
158
  GeoSpecProductStructureExpectation.count (property)
160
- GeoSpecSpatialRelationshipExpectation (type) [13 members] — One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
159
+ GeoSpecSpatialRelationshipExpectation (type) [lines 650-696] [13 members] — One spatial relationship accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
161
160
  GeoSpecSpatialRelationshipExpectation.id (property)
162
161
  GeoSpecSpatialRelationshipExpectation.kind (property)
163
162
  GeoSpecSpatialRelationshipExpectation.subject (property)
@@ -171,14 +170,14 @@ GeoSpecSpatialRelationshipExpectation (type) [13 members] — One spatial relati
171
170
  GeoSpecSpatialRelationshipExpectation.minVolume (property)
172
171
  GeoSpecSpatialRelationshipExpectation.maxVolume (property)
173
172
  GeoSpecSpatialRelationshipExpectation.reason (property)
174
- GeoSpecSpatialRelationshipsExpectation (type) [1 members] — Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
173
+ GeoSpecSpatialRelationshipsExpectation (type) [lines 698-703] [1 members] — Spatial relationship expectation accepted by `expectGeo(...).toHaveSpatialRelationships(...)`
175
174
  GeoSpecSpatialRelationshipsExpectation.relationships (property)
176
- GeoSpecStepUnitsExpectation (type) [1 members] — STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`
175
+ GeoSpecStepUnitsExpectation (type) [lines 705-710] [1 members] — STEP unit expectation accepted by `expectGeo(...).toHaveStepUnits(...)`
177
176
  GeoSpecStepUnitsExpectation.unit (property)
178
- GeoSpecSurfaceAreaExpectation (type) [2 members] — Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`
177
+ GeoSpecSurfaceAreaExpectation (type) [lines 712-720] [2 members] — Surface-area expectation accepted by `expectGeo(...).toHaveSurfaceArea(...)`
179
178
  GeoSpecSurfaceAreaExpectation.value (property)
180
179
  GeoSpecSurfaceAreaExpectation.tolerance (property)
181
- GeoSpecTopologyCountsExpectation (type) [8 members] — Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`
180
+ GeoSpecTopologyCountsExpectation (type) [lines 722-748] [8 members] — Topology-count expectation accepted by `expectGeo(...).toHaveTopologyCounts(...)`
182
181
  GeoSpecTopologyCountsExpectation.vertices (property)
183
182
  GeoSpecTopologyCountsExpectation.edges (property)
184
183
  GeoSpecTopologyCountsExpectation.wires (property)
@@ -187,24 +186,24 @@ GeoSpecTopologyCountsExpectation (type) [8 members] — Topology-count expectati
187
186
  GeoSpecTopologyCountsExpectation.solids (property)
188
187
  GeoSpecTopologyCountsExpectation.compounds (property)
189
188
  GeoSpecTopologyCountsExpectation.tolerance (property)
190
- GeoSpecValidBrepExpectation (type) [6 members] — Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`
189
+ GeoSpecValidBrepExpectation (type) [lines 750-774] [6 members] — Exact BRep validity expectation accepted by `expectGeo(...).toBeValidBrep(...)`
191
190
  GeoSpecValidBrepExpectation.maxTolerance (property)
192
191
  GeoSpecValidBrepExpectation.freeBounds (property)
193
192
  GeoSpecValidBrepExpectation.minEdgeLength (property)
194
193
  GeoSpecValidBrepExpectation.sameParameter (property)
195
194
  GeoSpecValidBrepExpectation.closedShells (property)
196
195
  GeoSpecValidBrepExpectation.closedWires (property)
197
- GeoSpecVoidContinuityExpectation (type) [5 members] — Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`
196
+ GeoSpecVoidContinuityExpectation (type) [lines 776-816] [5 members] — Void-continuity expectation accepted by `expectGeo(...).toHaveVoidContinuity(...)`
198
197
  GeoSpecVoidContinuityExpectation.path (property) — Ordered waypoints (>= 1) known to lie in the void…
199
198
  GeoSpecVoidContinuityExpectation.material (property) — Occurrence names whose solids bound the void
200
199
  GeoSpecVoidContinuityExpectation.minCrossSection (property) — Minimum required bottleneck cross-section (mm²), sampled
201
200
  GeoSpecVoidContinuityExpectation.isolatedFrom (property) — Points that must NOT be reachable from the path void…
202
201
  GeoSpecVoidContinuityExpectation.bounds (property) — Region bounded for the proof (subject frame)
203
- GeoSpecVoidWaypoint (type) — One void-continuity waypoint
204
- GeoSpecVolumeExpectation (type) [2 members] — Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`
202
+ GeoSpecVoidWaypoint (type) [lines 818-821] — One void-continuity waypoint
203
+ GeoSpecVolumeExpectation (type) [lines 823-831] [2 members] — Volume expectation accepted by `expectGeo(...).toHaveVolume(...)`
205
204
  GeoSpecVolumeExpectation.value (property)
206
205
  GeoSpecVolumeExpectation.tolerance (property)
207
- BrepEvidence (type) [11 members] — Basic exact or topology-derived BRep evidence consumed by early feature…
206
+ BrepEvidence (type) [lines 833-1058] [11 members] — Basic exact or topology-derived BRep evidence consumed by early feature…
208
207
  BrepEvidence.validity (property)
209
208
  BrepEvidence.topologyCounts (property)
210
209
  BrepEvidence.boundingBox (property)
@@ -216,31 +215,31 @@ BrepEvidence (type) [11 members] — Basic exact or topology-derived BRep eviden
216
215
  BrepEvidence.chamferFeatures (property)
217
216
  BrepEvidence.filletFeatures (property)
218
217
  BrepEvidence.minimumWallThickness (property)
219
- GeometryFileFormat (type) — Geometry file formats understood by GeoSpec provenance
220
- GeometryCapability (type) [2 members] — Capability exposed by a loaded subject
218
+ GeometryFileFormat (type) [lines 1060-1061] — Geometry file formats understood by GeoSpec provenance
219
+ GeometryCapability (type) [lines 1063-1081] [2 members] — Capability exposed by a loaded subject
221
220
  GeometryCapability.kind (property)
222
221
  GeometryCapability.feature (property)
223
- GeometryDiagnostic (type) [6 members] — Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
222
+ GeometryDiagnostic (type) [lines 1083-1111] [6 members] — Diagnostic emitted by GeoSpec loaders, analyzers, and matchers
224
223
  GeometryDiagnostic.code (property)
225
224
  GeometryDiagnostic.severity (property)
226
225
  GeometryDiagnostic.message (property)
227
226
  GeometryDiagnostic.suggestion (property)
228
227
  GeometryDiagnostic.spatial (property)
229
228
  GeometryDiagnostic.details (property)
230
- GeometryProvenance (type) [6 members] — Provenance recorded by GeoSpec loaders
229
+ GeometryProvenance (type) [lines 1113-1133] [6 members] — Provenance recorded by GeoSpec loaders
231
230
  GeometryProvenance.source (property)
232
231
  GeometryProvenance.unit (property)
233
232
  GeometryProvenance.loader (property)
234
233
  GeometryProvenance.contentHash (property)
235
234
  GeometryProvenance.parameters (property)
236
235
  GeometryProvenance.exportIntent (property)
237
- GeometrySource (type) [5 members] — Source metadata for a loaded geometry subject
236
+ GeometrySource (type) [lines 1135-1152] [5 members] — Source metadata for a loaded geometry subject
238
237
  GeometrySource.kind (property)
239
238
  GeometrySource.format (property)
240
239
  GeometrySource.path (property)
241
240
  GeometrySource.name (property)
242
241
  GeometrySource.byteLength (property)
243
- GeometrySubject (type) [8 members] — Canonical P0 object under test for GeoSpec
242
+ GeometrySubject (type) [lines 1154-1183] [8 members] — Canonical P0 object under test for GeoSpec
244
243
  GeometrySubject.kind (property)
245
244
  GeometrySubject.subjectId (property) — Opaque engine-owned identifier used by every protocol claim
246
245
  GeometrySubject.mesh (property)
@@ -249,14 +248,14 @@ GeometrySubject (type) [8 members] — Canonical P0 object under test for GeoSpe
249
248
  GeometrySubject.provenance (property)
250
249
  GeometrySubject.capabilities (property)
251
250
  GeometrySubject.diagnostics (property)
252
- GeometrySubjectMeshEvidence (type) [2 members] — Wire-safe mesh summary carried by an opaque geometry subject
251
+ GeometrySubjectMeshEvidence (type) [lines 1185-1193] [2 members] — Wire-safe mesh summary carried by an opaque geometry subject
253
252
  GeometrySubjectMeshEvidence.format (property)
254
253
  GeometrySubjectMeshEvidence.stats (property)
255
- MeshEvidence (type) [2 members] — Mesh evidence loaded from geometry bytes or buffers
254
+ MeshEvidence (type) [lines 1195-1203] [2 members] — Mesh evidence loaded from geometry bytes or buffers
256
255
  MeshEvidence.format (property)
257
256
  MeshEvidence.stats (property)
258
- MeshFileFormat (type) — Geometry file formats supported by the P0 mesh loader
259
- MeshQualityStats (type) [8 members] — Triangle quality and scalar mesh metrics used by P0 GeoSpec…
257
+ MeshFileFormat (type) [lines 1205-1206] — Geometry file formats supported by the P0 mesh loader
258
+ MeshQualityStats (type) [lines 1208-1261] [8 members] — Triangle quality and scalar mesh metrics used by P0 GeoSpec…
260
259
  MeshQualityStats.triangleCount (property)
261
260
  MeshQualityStats.nonFiniteVertices (property)
262
261
  MeshQualityStats.degenerateTriangles (property)
@@ -265,7 +264,7 @@ MeshQualityStats (type) [8 members] — Triangle quality and scalar mesh metrics
265
264
  MeshQualityStats.surfaceArea (property)
266
265
  MeshQualityStats.signedVolume (property)
267
266
  MeshQualityStats.centerOfMass (property)
268
- MeshTriangle (type) [7 members] — One triangle from mesh evidence, in geometry document coordinates
267
+ MeshTriangle (type) [lines 1263-1286] [7 members] — One triangle from mesh evidence, in geometry document coordinates
269
268
  MeshTriangle.primitive (property)
270
269
  MeshTriangle.triangleIndex (property)
271
270
  MeshTriangle.a (property)
@@ -273,92 +272,101 @@ MeshTriangle (type) [7 members] — One triangle from mesh evidence, in geometry
273
272
  MeshTriangle.c (property)
274
273
  MeshTriangle.center (property)
275
274
  MeshTriangle.area (property)
276
- StepEvidence (type) [6 members] — STEP/XDE evidence extracted while loading a STEP subject
275
+ StepEvidence (type) [lines 1288-1338] [6 members] — STEP/XDE evidence extracted while loading a STEP subject
277
276
  StepEvidence.schema (property)
278
277
  StepEvidence.unit (property)
279
278
  StepEvidence.productStructure (property)
280
279
  StepEvidence.readStrategy (property)
281
280
  StepEvidence.capabilities (property)
282
281
  StepEvidence.xde (property) — Structured AP242 XDE read result (occurrences, subshape names, datum placements)
283
- Vec3 (type) — Numeric 3D vector
284
- GeoSpecVec3 (type) — Numeric 3D vector
285
- GeoSpecExportRoute (type) — Runtime route metadata used to decide whether a runtime export…
286
- RuntimeBackedModelFormat (type)
287
- RuntimeClientWithRoutes (type) [3 members] — Runtime client shape for route-aware Tau runtimes
288
- RuntimeClientWithRoutes.open (property)
289
- RuntimeClientWithRoutes.on (method)
290
- RuntimeClientWithRoutes.bestRouteFor (method)
291
- RuntimeExportIntent (type) [3 members] — Resolved runtime export request and provenance for a GeoSpec model…
292
- RuntimeExportIntent.options (property)
293
- RuntimeExportIntent.provenance (property)
294
- RuntimeExportIntent.sourceUnit (property)
295
- RuntimeExportIntentFailure (type) [2 members] — Structured failure returned when a runtime cannot provide the requested…
296
- RuntimeExportIntentFailure.success (property)
297
- RuntimeExportIntentFailure.diagnostics (property)
298
- CreateModelLoaderOptions (type) [10 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
282
+ Vec3 (type) [lines 1340-1341] — Numeric 3D vector
283
+ GeoSpecVec3 (type) [lines 1343-1344] — Numeric 3D vector
284
+ CreateModelLoaderOptions (type) [lines 1346-1393] [9 members] — Defaults accepted by {@link import ('./load-model.js').createModelLoader}
299
285
  CreateModelLoaderOptions.engine (property) — Initialized compiled engine supplied by the host, never selected by…
300
286
  CreateModelLoaderOptions.readSource (property) — Rooted host reader for direct filesystem or URL sources
301
287
  CreateModelLoaderOptions.format (property) — Geometry format to export when an individual call does not…
302
- CreateModelLoaderOptions.runtime (property) — Runtime client or lazy runtime factory
303
- CreateModelLoaderOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
304
- CreateModelLoaderOptions.projectPath (property) — Project root used by runtime integrations
288
+ CreateModelLoaderOptions.exporters (property) — Model exporters for source-kind files
289
+ CreateModelLoaderOptions.projectPath (property) — Absolute project root passed to the exporter
305
290
  CreateModelLoaderOptions.stepStreaming (property) — STEP reader strategy used for STEP sources or exports
306
291
  CreateModelLoaderOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
307
292
  CreateModelLoaderOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
308
293
  CreateModelLoaderOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
309
- GeoSpecLoadRegion (type) [2 members] — Axis-aligned crop box in canonical Z-up millimetres
294
+ GeoSpecExporterCapabilities (type) [lines 1395-1417] [4 members] — What a {@link GeoSpecModelExporter} declares it can do
295
+ GeoSpecExporterCapabilities.formats (property) — The formats `export` produces
296
+ GeoSpecExporterCapabilities.parameters (property) — Accepts `parameters`
297
+ GeoSpecExporterCapabilities.region (property) — Crops to `region` (an axis-aligned millimetre box) before export
298
+ GeoSpecExporterCapabilities.inlineSources (property) — Accepts `inline` sources, which back `loadModel({ code })`
299
+ GeoSpecExportFormat (type) [lines 1419-1420] — Formats a {@link GeoSpecModelExporter} may produce from a source-kind file
300
+ GeoSpecLoadRegion (type) [lines 1422-1430] [2 members] — Axis-aligned crop box in canonical Z-up millimetres
310
301
  GeoSpecLoadRegion.min (property)
311
302
  GeoSpecLoadRegion.max (property)
312
- GeoSpecModelFormat (type) — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
313
- GeoSpecModelLoader (type) — Function shape used by GeoSpec runners to provide model loading…
314
- ManagedGeoSpecModelLoader (type) [1 members] — A configured loader whose shared runtime can be released with…
303
+ GeoSpecModelArtifact (type) [lines 1432-1475] [7 members] — The bytes an exporter returns, in the canonical Z-up millimetre…
304
+ GeoSpecModelArtifact.bytes (property)
305
+ GeoSpecModelArtifact.format (property)
306
+ GeoSpecModelArtifact.sourceUnit (property) — Unit of raw GLB coordinates
307
+ GeoSpecModelArtifact.resources (property) — External resources the primary bytes reference, by name
308
+ GeoSpecModelArtifact.consumedSources (property) — Every source file the export read, as a path from…
309
+ GeoSpecModelArtifact.diagnostics (property) — Notices from a successful export, admitted with the subject so…
310
+ GeoSpecModelArtifact.exportOptions (property) — The export options the exporter applied, recorded in the load…
311
+ GeoSpecModelExporter (type) [lines 1477-1511] [6 members] — Turns a source-kind model file into GLB or STEP bytes…
312
+ GeoSpecModelExporter.id (property)
313
+ GeoSpecModelExporter.extensions (property)
314
+ GeoSpecModelExporter.capabilities (property)
315
+ GeoSpecModelExporter.export (method)
316
+ GeoSpecModelExporter.revision (method) — The sources an export of `file` would read now, without…
317
+ GeoSpecModelExporter.close (method) — Releases what the exporter created for one scope
318
+ GeoSpecModelExportRequest (type) [lines 1513-1557] [8 members] — One export request
319
+ GeoSpecModelExportRequest.file (property) — Entry file, as a path from the project root
320
+ GeoSpecModelExportRequest.projectPath (property) — Absolute project root the exporter resolves `file` and its imports…
321
+ GeoSpecModelExportRequest.format (property)
322
+ GeoSpecModelExportRequest.parameters (property) — JSON-serialisable parameter values
323
+ GeoSpecModelExportRequest.mesh (property) — Tessellation tolerances for a mesh export
324
+ GeoSpecModelExportRequest.region (property) — Millimetre crop box
325
+ GeoSpecModelExportRequest.inline (property) — Source text keyed by project-relative path
326
+ GeoSpecModelExportRequest.signal (property)
327
+ GeoSpecModelFormat (type) [lines 1559-1560] — Geometry formats accepted by {@link import ('./load-model.js').loadModel}
328
+ GeoSpecModelLoader (type) [lines 1562-1563] — Function shape used by GeoSpec runners to provide model loading…
329
+ ManagedGeoSpecModelLoader (type) [lines 1565-1571] [1 members] — A configured loader whose admissions can be released with its…
315
330
  ManagedGeoSpecModelLoader.dispose (method)
316
- GeoSpecRuntimeClient (type) [2 members] — Runtime client surface consumed by `geospec/model`
317
- GeoSpecRuntimeClient.open (property)
318
- GeoSpecRuntimeClient.on (method)
319
- GeoSpecRuntimeClientFactory (type) — Lazy runtime factory consumed by `geospec/model`
320
- GeoSpecRuntimeSourceAdapter (type) [3 members] — Explicit source adapter for formats whose runtime setup is not…
321
- GeoSpecRuntimeSourceAdapter.id (property)
322
- GeoSpecRuntimeSourceAdapter.extensions (property)
323
- GeoSpecRuntimeSourceAdapter.createRuntime (method)
324
- LoadModelCodeOptions (type) [13 members] — Inline code-CAD model load options
331
+ GeoSpecConsumedSources (type) [lines 1573-1577] — The source files one export read, each with its SHA-256…
332
+ LoadModelCodeOptions (type) [lines 1579-1651] [12 members] — Inline code-CAD model load options
325
333
  LoadModelCodeOptions.code (property) — Source files keyed by project-relative path
326
334
  LoadModelCodeOptions.file (property) — Entry path to render from {@link code }
335
+ LoadModelCodeOptions.rootDir (property) — Not accepted
327
336
  LoadModelCodeOptions.format (property) — Geometry format to export
328
- LoadModelCodeOptions.parameters (property) — Explicit parameters passed to the runtime
329
- LoadModelCodeOptions.runtime (property) — Runtime client or lazy runtime factory
330
- LoadModelCodeOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
331
- LoadModelCodeOptions.projectPath (property) — Project root used by runtime integrations
337
+ LoadModelCodeOptions.parameters (property) — Explicit parameters passed to the exporter
338
+ LoadModelCodeOptions.projectPath (property) — Absolute project root passed to the exporter
332
339
  LoadModelCodeOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
333
340
  LoadModelCodeOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
334
341
  LoadModelCodeOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
335
342
  LoadModelCodeOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
336
343
  LoadModelCodeOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
337
- LoadModelCodeOptions.region (property) — Axis-aligned millimetre box the kernel crops the model to before…
338
- LoadModelFileOptions (type) [12 members] — Filesystem-backed model load options
339
- LoadModelFileOptions.file (property) — Project-relative model file to render
340
- LoadModelFileOptions.projectPath (property) — Project root used by runtime integrations
344
+ LoadModelCodeOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
345
+ LoadModelFileOptions (type) [lines 1653-1727] [11 members] — Filesystem-backed model load options
346
+ LoadModelFileOptions.file (property) — Model file to render, as a path from the project…
347
+ LoadModelFileOptions.rootDir (property) — Project-relative folder `file` resolves in, for a suite that loads…
348
+ LoadModelFileOptions.projectPath (property) — Absolute project root passed to the exporter
341
349
  LoadModelFileOptions.format (property) — Geometry format to export
342
- LoadModelFileOptions.parameters (property) — Explicit parameters passed to the runtime
343
- LoadModelFileOptions.runtime (property) — Runtime client or lazy runtime factory
344
- LoadModelFileOptions.sourceAdapters (property) — Source-specific runtime adapters, e.g
350
+ LoadModelFileOptions.parameters (property) — Explicit parameters passed to the exporter
345
351
  LoadModelFileOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
346
352
  LoadModelFileOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
347
353
  LoadModelFileOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
348
354
  LoadModelFileOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
349
355
  LoadModelFileOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
350
- LoadModelFileOptions.region (property) — Axis-aligned millimetre box the kernel crops the model to before…
351
- LoadModelOptions (type) [7 members] — Options accepted by {@link import ('./load-model.js').loadModel}
356
+ LoadModelFileOptions.region (property) — Axis-aligned millimetre box the exporter crops the model to before…
357
+ LoadModelOptions (type) [lines 1729-1754] [8 members] — Options accepted by {@link import ('./load-model.js').loadModel}
358
+ LoadModelOptions.rootDir (property) — Project-relative folder `file` resolves in, for a suite that loads…
352
359
  LoadModelOptions.format (property) — Geometry format to export
353
- LoadModelOptions.parameters (property) — Explicit parameters passed to the runtime
360
+ LoadModelOptions.parameters (property) — Explicit parameters passed to the exporter
354
361
  LoadModelOptions.stepStreaming (property) — STEP reader strategy used for STEP exports
355
362
  LoadModelOptions.mesh (property) — Whether STEP loading should also produce mesh evidence
356
363
  LoadModelOptions.meshLinearTolerance (property) — Linear tolerance used while meshing exact BRep evidence
357
364
  LoadModelOptions.meshAngularToleranceDegrees (property) — Angular tolerance in degrees used while meshing exact BRep evidence
358
365
  LoadModelOptions.workUnitLimit (property) — Default work-unit budget for every claim on this subject
359
- LoadModelSourceOptions (type) [12 members] — Direct geometry-source model load options
366
+ LoadModelSourceOptions (type) [lines 1756-1836] [13 members] — Direct geometry-source model load options
360
367
  LoadModelSourceOptions.source (property) — Geometry bytes, path, browser file/blob, or in-memory mesh buffer
361
368
  LoadModelSourceOptions.resources (property) — Named external resources consumed alongside the direct geometry bytes
369
+ LoadModelSourceOptions.rootDir (property) — Project-relative folder a path `source` and each resource path resolve…
362
370
  LoadModelSourceOptions.format (property) — Source geometry format
363
371
  LoadModelSourceOptions.path (property) — Source path recorded in provenance
364
372
  LoadModelSourceOptions.name (property) — Human-readable source name recorded in provenance
@@ -372,6 +380,6 @@ LoadModelSourceOptions (type) [12 members] — Direct geometry-source model load
372
380
 
373
381
  ## Classes — `api-classes.md`
374
382
 
375
- GeoSpecModelLoadError (class) [2 members] — Error thrown by {@link import ('./load-model.js').loadModel} when geometry cannot be…
383
+ GeoSpecModelLoadError (class) [lines 5-13] [2 members] — Error thrown by {@link import ('./load-model.js').loadModel} when geometry cannot be…
376
384
  GeoSpecModelLoadError.diagnostics (property) — Structured diagnostics explaining why model loading failed
377
385
  GeoSpecModelLoadError.constructor (constructor)