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

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

@@ -15,6 +15,5 @@ import { LoadGeoSpecConfigOptions, LoadedGeoSpecConfig } from "../types.mjs";
  * @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 };
+export declare const loadGeoSpecConfig: (options: LoadGeoSpecConfigOptions) => Promise<LoadedGeoSpecConfig>;
+//#endregion

package/dist/config/node/load.mjs

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

package/dist/config/read-geospec-config.d.mts

@@ -1,5 +1,5 @@
+import { CreateModuleVm, VmFileSystem } from "../vm/types.mjs";
 import { GeoSpecConfigData } from "./types.mjs";
-import { VmFileSystem } from "@taucad/esbuild/vm";
 //#region src/config/read-geospec-config.d.ts
 /**
  * Outcome of {@link readGeoSpecConfig}. A config the host cannot apply is an expected case with
@@ -7,7 +7,7 @@ import { VmFileSystem } from "@taucad/esbuild/vm";
  *
  * @public
  */
-type ReadGeoSpecConfigResult = {
+export type ReadGeoSpecConfigResult = {
   readonly status: 'absent';
 } | {
   readonly status: 'applied';
@@ -24,11 +24,16 @@ type ReadGeoSpecConfigResult = {
   readonly message: string;
 };
 /** Options for {@link readGeoSpecConfig}. @public */
-type ReadGeoSpecConfigOptions = {
+export type ReadGeoSpecConfigOptions = {
   /** The project filesystem; paths are rooted, as the spec VM reads them. */
   readonly filesystem: VmFileSystem;
   /** Rooted directory holding the config, in the filesystem's spelling: `''` for its root, else `'sub/dir'`. */
   readonly projectPath: string;
+  /**
+   * Module VM factory; defaults to GeoSpec's plain VM (native esbuild on Node, refused elsewhere). A host that bundles
+   * in a browser injects its own; Tau injects `createEsbuildModuleVm`.
+   */
+  readonly createModuleVm?: CreateModuleVm;
 };
 /**
  * Read a project's `geospec.config.*` data fields through the spec VM, the same way on every host.
@@ -42,6 +47,5 @@ type ReadGeoSpecConfigOptions = {
  * @param options - The project filesystem and the rooted project directory.
  * @returns `absent`, `applied` with the data fields, or `not-applied` with the reason.
  */
-declare const readGeoSpecConfig: (options: ReadGeoSpecConfigOptions) => Promise<ReadGeoSpecConfigResult>;
-//#endregion
-export { ReadGeoSpecConfigOptions, ReadGeoSpecConfigResult, readGeoSpecConfig };
+export declare const readGeoSpecConfig: (options: ReadGeoSpecConfigOptions) => Promise<ReadGeoSpecConfigResult>;
+//#endregion

package/dist/config/read-geospec-config.mjs

@@ -1,3 +1,3 @@
-import{resolveGeoSpecConfig as e}from"./validate.mjs";import{defineConfigBuiltinCode as t}from"./define-config.mjs";import{createEsbuildModuleVm as n}from"@taucad/esbuild/vm";const r=[`geospec.config.ts`,`geospec.config.mts`,`geospec.config.js`,`geospec.config.mjs`],i=async i=>{let{filesystem:a}=i,o=i.projectPath===``?``:`${i.projectPath.replace(/\/+$/u,``)}/`,s=(await Promise.all(r.map(async e=>await a.exists(`${o}${e}`)?`${o}${e}`:void 0))).filter(e=>e!==void 0),[c]=s;if(c===void 0)return{status:`absent`};let l=(e,t)=>({status:`not-applied`,configPath:c,reason:e,message:t});if(s.length>1)return l(`invalid`,`Multiple GeoSpec configs found: ${s.join(`, `)}. Keep one.`);let u=await n({filesystem:a});try{u.registerModule(`geospec/config`,{version:`0.0.0`,code:t});let n;try{({detectedModules:n}=await u.detectImports(c))}catch(e){return l(`invalid`,e instanceof Error?e.message:String(e))}let r=n.filter(e=>e!==`geospec/config`);if(r.length>0)return l(`unresolved-import`,`The GeoSpec config imports ${r.map(e=>`'${e}'`).join(`, `)}, which this host does not provide; only a native run applies it.`);let i=await u.bundle(c);if(!i.success)return l(`invalid`,i.issues.map(({message:e})=>e).join(`
+import{resolveGeoSpecConfig as e}from"./validate.mjs";import{defineConfigBuiltinCode as t}from"./define-config.mjs";import{createPlainModuleVm as n}from"../vm/plain-module-vm.mjs";const r=[`geospec.config.ts`,`geospec.config.mts`,`geospec.config.js`,`geospec.config.mjs`],i=async i=>{let{filesystem:a}=i,o=i.projectPath===``?``:`${i.projectPath.replace(/\/+$/u,``)}/`,s=(await Promise.all(r.map(async e=>await a.exists(`${o}${e}`)?`${o}${e}`:void 0))).filter(e=>e!==void 0),[c]=s;if(c===void 0)return{status:`absent`};let l=(e,t)=>({status:`not-applied`,configPath:c,reason:e,message:t});if(s.length>1)return l(`invalid`,`Multiple GeoSpec configs found: ${s.join(`, `)}. Keep one.`);let u=await(i.createModuleVm??n)({filesystem:a});try{u.registerModule(`geospec/config`,{version:`0.0.0`,code:t});let n;try{({detectedModules:n}=await u.detectImports(c))}catch(e){return l(`invalid`,e instanceof Error?e.message:String(e))}let r=n.filter(e=>e!==`geospec/config`);if(r.length>0)return l(`unresolved-import`,`The GeoSpec config imports ${r.map(e=>`'${e}'`).join(`, `)}, which this host does not provide; only a native run applies it.`);let i=await u.bundle(c);if(!i.success)return l(`invalid`,i.issues.map(({message:e})=>e).join(`
 `));let a=await u.execute(i.code);if(!a.success)return l(`invalid`,a.issues.map(({message:e})=>e).join(`
 `));let{exporters:o,...s}=e(a.value.default);return{status:`applied`,configPath:c,options:s}}catch(e){if(e instanceof TypeError)return l(`invalid`,e.message);throw e}finally{u.dispose()}};export{i as readGeoSpecConfig};

package/dist/config/types.d.mts

@@ -5,12 +5,12 @@ import { GeoSpecModelExporter } from "../model/types.mjs";
  *
  * Omitted values keep their existing owner's defaults. Defined overrides
  * replace whole fields, including empty arrays and false.
- * Existing discovery currently treats an absent or empty include array as its
+ * Existing discovery 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 = {
+export type GeoSpecConfig = {
   include?: readonly string[];
   exclude?: readonly string[];
   testNamePattern?: string;
@@ -25,9 +25,9 @@ type GeoSpecConfig = {
   exporters?: readonly GeoSpecModelExporter[];
 };
 /** The config's data fields: everything a host that holds its own exporters reads. @public */
-type GeoSpecConfigData = Omit<GeoSpecConfig, 'exporters'>;
+export type GeoSpecConfigData = Omit<GeoSpecConfig, 'exporters'>;
 /** Options for one trusted Node configuration load. @public */
-type LoadGeoSpecConfigOptions = {
+export type LoadGeoSpecConfigOptions = {
   readonly projectPath: string;
   /** Explicit file, resolved relative to the project unless absolute. */
   readonly configPath?: string;
@@ -35,9 +35,8 @@ type LoadGeoSpecConfigOptions = {
   readonly overrides?: GeoSpecConfig;
 };
 /** Resolved file identity and validated configuration data. @public */
-type LoadedGeoSpecConfig = {
+export type LoadedGeoSpecConfig = {
   readonly configPath?: string;
   readonly options: GeoSpecConfig;
 };
-//#endregion
-export { GeoSpecConfig, GeoSpecConfigData, LoadGeoSpecConfigOptions, LoadedGeoSpecConfig };
+//#endregion

package/dist/create-geospec.d.mts

@@ -15,19 +15,20 @@ type TestFunction = {
  *
  * @public
  */
-declare const describe: SuiteFunction;
+export declare const describe: SuiteFunction;
 /**
  * GeoSpec test helper used inside VM-executed test modules.
  *
  * @public
  */
-declare const it: TestFunction;
+export declare const it: TestFunction;
 /**
  * Alias for {@link it}.
  *
+ * @alias
  * @public
  */
-declare const test: TestFunction;
+export declare const test: TestFunction;
 /**
  * Start a geometry assertion chain.
  *
@@ -36,7 +37,7 @@ declare const test: TestFunction;
  * @returns GeoSpec geometry matchers.
  * @public
  */
-declare function expectGeo(subject: GeoSpecSubject, options?: GeoSpecExpectOptions): GeoSpecMatcher;
+export 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
@@ -45,6 +46,6 @@ declare function expectGeo(subject: GeoSpecSubject, options?: GeoSpecExpectOptio
  *
  * @public
  */
-declare const geoSpecMatcherNames: readonly string[];
+export declare const geoSpecMatcherNames: readonly string[];
 //#endregion
-export { describe, expectGeo, geoSpecMatcherNames, it, test };
+export {};

package/dist/engine/client.d.mts

@@ -1,5 +1,5 @@
+import { JSONValue } from "../support/types.mjs";
 import { GeoSpecFixedMatcherName } from "./matchers.mjs";
-import { JSONValue } from "@taucad/runtime/types";
 //#region src/engine/client.d.ts
 /**
  * Default largest work-unit budget a spec may author through `loadModel` or `expectGeo` options:
@@ -8,7 +8,7 @@ import { JSONValue } from "@taucad/runtime/types";
  * host's own `workUnitLimit` keeps the full safe-integer range.
  * @public
  */
-declare const geoSpecMaximumWorkUnitLimit = 512000000;
+export declare const geoSpecMaximumWorkUnitLimit = 512000000;
 /**
  * Resolve a host's largest authored work-unit budget.
  *
@@ -17,33 +17,33 @@ declare const geoSpecMaximumWorkUnitLimit = 512000000;
  * @throws TypeError when the configured maximum is not a positive safe integer.
  * @public
  */
-declare const resolveGeoSpecMaximumWorkUnitLimit: (maximum?: number) => number;
+export declare const resolveGeoSpecMaximumWorkUnitLimit: (maximum?: number) => number;
 /**
  * Exact core bytes of one claim evaluated in one engine call: the canonical plan, its one
  * canonical claim and the canonical result, as fresh bytes the client retains without copying.
  * @public
  */
-type GeoSpecNativeClaimEvaluation = {
+export type GeoSpecNativeClaimEvaluation = {
   readonly canonicalClaim: Uint8Array<ArrayBuffer>;
   readonly canonicalPlan: Uint8Array<ArrayBuffer>;
   readonly canonicalResult: Uint8Array<ArrayBuffer>;
 };
 /** Byte-only engine surface consumed by the runner-independent assertion client. @public */
-type GeoSpecNativeEngine = {
+export type GeoSpecNativeEngine = {
   evaluateClaim(request: Uint8Array<ArrayBuffer>): GeoSpecNativeClaimEvaluation;
   processRequest(request: Uint8Array<ArrayBuffer>): Uint8Array<ArrayBuffer>;
 };
 /** Content-addressed subject accepted by a protocol-3 assertion plan. @public */
-type GeoSpecNativeSubject = {
+export type GeoSpecNativeSubject = {
   readonly contentHash?: string;
   readonly subjectHash?: string;
 };
 /** Polarity evaluated exactly once by the native core. @public */
-type GeoSpecClaimPolarity = 'negative' | 'positive';
+export type GeoSpecClaimPolarity = 'negative' | 'positive';
 /** Canonical claim status returned by the native core. @public */
-type GeoSpecCanonicalClaimStatus = 'cancelled' | 'engine-error' | 'failed' | 'invalid' | 'passed' | 'refused' | 'unsupported' | (string & {});
+export type GeoSpecCanonicalClaimStatus = 'cancelled' | 'engine-error' | 'failed' | 'invalid' | 'passed' | 'refused' | 'unsupported' | (string & {});
 /** Full native assertion result with the exact core-owned bytes retained. @public */
-type GeoSpecCanonicalClaimReport = {
+export type GeoSpecCanonicalClaimReport = {
   readonly canonicalClaim: Uint8Array<ArrayBuffer>;
   readonly canonicalPlan: Uint8Array<ArrayBuffer>;
   readonly canonicalResult: Uint8Array<ArrayBuffer>;
@@ -64,7 +64,7 @@ type GeoSpecCanonicalClaimReport = {
  * undeclared duplicate faces, and all but the first matching circular hole.
  * @public
  */
-type GeoSpecNativeEvidenceProfile = 'bounded' | 'complete';
+export type GeoSpecNativeEvidenceProfile = 'bounded' | 'complete';
 type GeoSpecNativeClaimContext = {
   readonly claimId: string;
   readonly engine: GeoSpecNativeEngine;
@@ -77,7 +77,7 @@ type GeoSpecNativeClaimContext = {
   readonly maximumWorkUnitLimit?: number;
 };
 /** One authored matcher call lowered and evaluated by Rust in one engine call. @public */
-type GeoSpecNativeClaimOptions = GeoSpecNativeClaimContext & ({
+export type GeoSpecNativeClaimOptions = GeoSpecNativeClaimContext & ({
   readonly arguments: readonly unknown[];
   readonly capability: GeoSpecFixedMatcherName;
 } | {
@@ -87,14 +87,14 @@ type GeoSpecNativeClaimOptions = GeoSpecNativeClaimContext & ({
 });
 declare const geoSpecQueryCapabilities: readonly ["analyzeMesh", "analyzeBrep", "inspectGeometry", "analyzeMeshOverlap", "queryPmi", "minimumDistance"];
 /** Existing positive-only ancillary operations owned by the native core. @public */
-type GeoSpecQueryCapability = Exclude<(typeof geoSpecQueryCapabilities)[number], 'minimumDistance'>;
+export type GeoSpecQueryCapability = Exclude<(typeof geoSpecQueryCapabilities)[number], 'minimumDistance'>;
 /**
  * Flat native query transport options. Payloads use the existing authoring
  * serializer, including ordinary RegExp values; omitted payloads encode null.
  * The core validates selectors, pairs and all operation-specific constraints.
  * @public
  */
-type GeoSpecNativeQueryOptions = Omit<GeoSpecNativeClaimOptions, 'arguments' | 'capability' | 'kind' | 'polarity'> & {
+export type GeoSpecNativeQueryOptions = Omit<GeoSpecNativeClaimOptions, 'arguments' | 'capability' | 'kind' | 'polarity'> & {
   readonly capability: GeoSpecQueryCapability | 'minimumDistance';
   readonly payload?: unknown;
 };
@@ -110,6 +110,6 @@ type GeoSpecNativeQueryOptions = Omit<GeoSpecNativeClaimOptions, 'arguments' | '
  * @returns The complete report with exact canonical claim, plan and result bytes.
  * @public
  */
-declare const evaluateGeoSpecNativeQuery: (options: GeoSpecNativeQueryOptions) => GeoSpecCanonicalClaimReport;
+export declare const evaluateGeoSpecNativeQuery: (options: GeoSpecNativeQueryOptions) => GeoSpecCanonicalClaimReport;
 //#endregion
-export { GeoSpecCanonicalClaimReport, GeoSpecCanonicalClaimStatus, GeoSpecClaimPolarity, GeoSpecNativeClaimEvaluation, GeoSpecNativeClaimOptions, GeoSpecNativeEngine, GeoSpecNativeEvidenceProfile, GeoSpecNativeQueryOptions, GeoSpecNativeSubject, GeoSpecQueryCapability, evaluateGeoSpecNativeQuery, geoSpecMaximumWorkUnitLimit, resolveGeoSpecMaximumWorkUnitLimit };
+export {};

package/dist/engine/client.mjs

@@ -1 +1 @@
-import{assertGeoSpecJsonValue as e,toGeoSpecProtocolJson as t}from"./protocol.mjs";import{geoSpecMatcherDescriptors as n}from"./matchers.mjs";const r=`geospec-jcs-v1`,i=512e6,a=e=>{if(e===void 0)return i;if(!Number.isSafeInteger(e)||e<=0)throw TypeError(`GeoSpec maximumWorkUnitLimit must be a positive safe integer; received ${String(e)}.`);return e},o=[`analyzeMesh`,`analyzeBrep`,`inspectGeometry`,`analyzeMeshOverlap`,`queryPmi`,`minimumDistance`],s=t=>{let n=JSON.parse(new TextDecoder(`utf-8`,{fatal:!0}).decode(t));return e(n),n},c=new TextEncoder().encode(`{"canonicalProfile":"geospec-jcs-v1","method":"initialize","protocolVersion":3,"registryVersion":5,"requestId":"configuration"}`),l=new WeakMap,u=new WeakMap,d=(e,t)=>{if(typeof e!=`object`||!e||Array.isArray(e))throw TypeError(`GeoSpec engine returned a malformed ${t}.`);return e},f=(e,t)=>{let{contentHash:n,subjectHash:r}=e;if(n===void 0==(r===void 0))throw TypeError(`A native GeoSpec subject requires exactly one of contentHash or subjectHash.`);let i=n??r;if(!/^[0-9a-f]{64}$/u.test(i))throw TypeError(`A native GeoSpec subject hash must contain 64 lowercase hexadecimal characters.`);return n===void 0?{slot:t,subjectHash:i}:{slot:t,contentHash:i}},p=e=>{if(!Number.isSafeInteger(e)||e<=0||e>9007199254740991)throw TypeError(`GeoSpec workUnitLimit must be a positive exact safe integer.`)},m=e=>{if(e.claimId.length===0||e.subjectSlot.length===0)throw TypeError(`GeoSpec claim IDs and subject slots must be non-empty strings.`);p(e.workUnitLimit)},h=(e,t,n=i)=>e===void 0||typeof e==`number`&&Number.isSafeInteger(e)&&e>0&&e<=n?void 0:`GeoSpec ${t} must be a positive integer no greater than this host's maximum of ${n} (the host can raise it with maximumWorkUnitLimit); received ${typeof e==`number`?String(e):typeof e}.`,g=(e,t,n)=>{let r=h(e,t,n);if(r!==void 0)throw TypeError(r)},_=(e,t)=>{if(t!==void 0)return p(t),t;let n=l.get(e);if(n!==void 0)return n;let i=d(s(Uint8Array.from(e.processRequest(Uint8Array.from(c)))),`initialize response envelope`);if(i.requestId!==`configuration`)throw TypeError(`GeoSpec engine returned an initialize response with the wrong requestId.`);let a=d(i.result,`initialize result`);if(a.canonicalProfile!==r||a.protocolVersion!==3||a.registryVersion!==5)throw TypeError(`GeoSpec engine returned an initialize response for an incompatible protocol profile.`);let o=d(a.configuration,`initialize configuration`),{capabilities:f}=a,m=Array.isArray(f)?f.filter(e=>typeof e==`object`&&!!e&&!Array.isArray(e)&&e.name===`minimumDistance`):[];u.set(e,m.length===1&&m.every(e=>e.profile===`geospec-minimum-distance-v1`&&e.implementation===`implemented`&&e.registryVersion===5));let{configurationProfile:h}=o;if(h!==`geospec-entry-config-v1`&&!(typeof h==`string`&&h.startsWith(`geospec-host-config-v1-`)))throw TypeError(`GeoSpec engine returned an unsupported configuration profile.`);let g=o.defaultWorkUnitBudget;if(typeof g!=`number`)throw TypeError(`GeoSpec engine initialize configuration omitted defaultWorkUnitBudget.`);return p(g),l.set(e,g),g},v=e=>(_(e),u.get(e)===!0),y=e=>{if(e.capability===`toSatisfyRationalPlate`||e.capability===`toSatisfyParallelPlaneDistance`){if(e.arguments.length>0)throw TypeError(`GeoSpec matcher ${e.capability} does not accept arguments.`);return w({...e,payload:{contract:n[e.capability].contract}})}if(!(`kind`in e))throw TypeError(`This GeoSpec matcher requires its canonical kind.`);return w({...e,payload:{kind:e.kind,arguments:e.arguments.map(e=>t(e))}})},b=e=>{if(!o.includes(e.capability))throw TypeError(`GeoSpec query capability must name an ancillary operation.`);return w({...e,payload:t(e.payload),polarity:`positive`})},x=e=>typeof e==`number`&&Number.isSafeInteger(e)&&e>=0?e:void 0,S=e=>typeof e==`object`&&!!e&&!Array.isArray(e)&&e.code===`MATCHER_TIMEOUT`,C=(e,t,n)=>{if(!S(e))return e;let{details:r}=e,i=typeof r==`object`&&r&&!Array.isArray(r)?r:{},a=x(i.budget)??x(i.workUnitBudget)??t,o=x(i.unitsUsed)??x(i.requiredWorkUnits);return{...e,details:{...i,limit:a,...o===void 0?{}:{used:o},maximumLimit:n}}},w=e=>{m(e);let t={method:`submitClaims`,requestId:e.claimId,protocolVersion:3,registryVersion:5,canonicalProfile:r,plan:{subjects:[f(e.subject,e.subjectSlot)],claims:[{claimId:e.claimId,capability:e.capability,subjectSlots:[e.subjectSlot],payload:e.payload,polarity:e.polarity,workUnitBudget:e.workUnitLimit}],...e.evidenceProfile===void 0?{}:{evidenceProfile:e.evidenceProfile}}},{canonicalClaim:n,canonicalPlan:i,canonicalResult:a}=e.engine.evaluateClaim(new TextEncoder().encode(JSON.stringify(t))),o=d(s(n),`canonical claim`);if(o.claimId!==e.claimId)throw TypeError(`GeoSpec engine returned a malformed canonical claim for '${e.claimId}'.`);let{results:c}=d(s(a),`canonical result envelope`);if(!Array.isArray(c)||c.length!==1)throw TypeError(`GeoSpec engine returned a canonical result envelope without exactly one result.`);let[l]=c,u=d(l,`canonical claim result`),{claimId:p,diagnostics:h,status:g}=u;if(p!==e.claimId||typeof g!=`string`||!Array.isArray(h))throw TypeError(`GeoSpec engine returned a malformed result for claim '${e.claimId}'.`);return{canonicalClaim:n,canonicalPlan:i,canonicalResult:a,claim:o,claimId:p,diagnostics:h.some(e=>S(e))?h.map(t=>C(t,e.workUnitLimit,e.maximumWorkUnitLimit??512e6)):h,...u.evidence===void 0?{}:{evidence:u.evidence},polarity:e.polarity,result:u,status:g}};export{g as assertGeoSpecAuthoredWorkUnitLimit,y as evaluateGeoSpecNativeClaim,b as evaluateGeoSpecNativeQuery,h as geoSpecAuthoredWorkUnitLimitProblem,i as geoSpecMaximumWorkUnitLimit,a as resolveGeoSpecMaximumWorkUnitLimit,_ as resolveGeoSpecNativeWorkUnitLimit,v as supportsGeoSpecNativeMinimumDistance};
+import{assertGeoSpecJsonValue as e,toGeoSpecProtocolJson as t}from"./protocol.mjs";import{geoSpecMatcherDescriptors as n}from"./matchers.mjs";const r=`geospec-jcs-v1`,i=512e6,a=e=>{if(e===void 0)return i;if(!Number.isSafeInteger(e)||e<=0)throw TypeError(`GeoSpec maximumWorkUnitLimit must be a positive safe integer; received ${String(e)}.`);return e},o=[`analyzeMesh`,`analyzeBrep`,`inspectGeometry`,`analyzeMeshOverlap`,`queryPmi`,`minimumDistance`],s=t=>{let n=JSON.parse(new TextDecoder(`utf-8`,{fatal:!0}).decode(t));return e(n),n},c=new TextEncoder().encode(`{"canonicalProfile":"geospec-jcs-v1","method":"initialize","protocolVersion":3,"registryVersion":5,"requestId":"configuration"}`),l=/* @__PURE__ */ new WeakMap,u=/* @__PURE__ */ new WeakMap,d=(e,t)=>{if(typeof e!=`object`||!e||Array.isArray(e))throw TypeError(`GeoSpec engine returned a malformed ${t}.`);return e},f=(e,t)=>{let{contentHash:n,subjectHash:r}=e;if(n===void 0==(r===void 0))throw TypeError(`A native GeoSpec subject requires exactly one of contentHash or subjectHash.`);let i=n??r;if(!/^[0-9a-f]{64}$/u.test(i))throw TypeError(`A native GeoSpec subject hash must contain 64 lowercase hexadecimal characters.`);return n===void 0?{slot:t,subjectHash:i}:{slot:t,contentHash:i}},p=e=>{if(!Number.isSafeInteger(e)||e<=0||e>9007199254740991)throw TypeError(`GeoSpec workUnitLimit must be a positive exact safe integer.`)},m=e=>{if(e.claimId.length===0||e.subjectSlot.length===0)throw TypeError(`GeoSpec claim IDs and subject slots must be non-empty strings.`);p(e.workUnitLimit)},h=(e,t,n=i)=>e===void 0||typeof e==`number`&&Number.isSafeInteger(e)&&e>0&&e<=n?void 0:`GeoSpec ${t} must be a positive integer no greater than this host's maximum of ${n} (the host can raise it with maximumWorkUnitLimit); received ${typeof e==`number`?String(e):typeof e}.`,g=(e,t,n)=>{let r=h(e,t,n);if(r!==void 0)throw TypeError(r)},_=(e,t)=>{if(t!==void 0)return p(t),t;let n=l.get(e);if(n!==void 0)return n;let i=d(s(Uint8Array.from(e.processRequest(Uint8Array.from(c)))),`initialize response envelope`);if(i.requestId!==`configuration`)throw TypeError(`GeoSpec engine returned an initialize response with the wrong requestId.`);let a=d(i.result,`initialize result`);if(a.canonicalProfile!==r||a.protocolVersion!==3||a.registryVersion!==5)throw TypeError(`GeoSpec engine returned an initialize response for an incompatible protocol profile.`);let o=d(a.configuration,`initialize configuration`),{capabilities:f}=a,m=Array.isArray(f)?f.filter(e=>typeof e==`object`&&!!e&&!Array.isArray(e)&&e.name===`minimumDistance`):[];u.set(e,m.length===1&&m.every(e=>e.profile===`geospec-minimum-distance-v1`&&e.implementation===`implemented`&&e.registryVersion===5));let{configurationProfile:h}=o;if(h!==`geospec-entry-config-v1`&&!(typeof h==`string`&&h.startsWith(`geospec-host-config-v1-`)))throw TypeError(`GeoSpec engine returned an unsupported configuration profile.`);let g=o.defaultWorkUnitBudget;if(typeof g!=`number`)throw TypeError(`GeoSpec engine initialize configuration omitted defaultWorkUnitBudget.`);return p(g),l.set(e,g),g},v=e=>(_(e),u.get(e)===!0),y=e=>{if(e.capability===`toSatisfyRationalPlate`||e.capability===`toSatisfyParallelPlaneDistance`){if(e.arguments.length>0)throw TypeError(`GeoSpec matcher ${e.capability} does not accept arguments.`);return w({...e,payload:{contract:n[e.capability].contract}})}if(!(`kind`in e))throw TypeError(`This GeoSpec matcher requires its canonical kind.`);return w({...e,payload:{kind:e.kind,arguments:e.arguments.map(e=>t(e))}})},b=e=>{if(!o.includes(e.capability))throw TypeError(`GeoSpec query capability must name an ancillary operation.`);return w({...e,payload:t(e.payload),polarity:`positive`})},x=e=>typeof e==`number`&&Number.isSafeInteger(e)&&e>=0?e:void 0,S=e=>typeof e==`object`&&!!e&&!Array.isArray(e)&&e.code===`MATCHER_TIMEOUT`,C=(e,t,n)=>{if(!S(e))return e;let{details:r}=e,i=typeof r==`object`&&r&&!Array.isArray(r)?r:{},a=x(i.budget)??x(i.workUnitBudget)??t,o=x(i.unitsUsed)??x(i.requiredWorkUnits);return{...e,details:{...i,limit:a,...o===void 0?{}:{used:o},maximumLimit:n}}},w=e=>{m(e);let t={method:`submitClaims`,requestId:e.claimId,protocolVersion:3,registryVersion:5,canonicalProfile:r,plan:{subjects:[f(e.subject,e.subjectSlot)],claims:[{claimId:e.claimId,capability:e.capability,subjectSlots:[e.subjectSlot],payload:e.payload,polarity:e.polarity,workUnitBudget:e.workUnitLimit}],...e.evidenceProfile===void 0?{}:{evidenceProfile:e.evidenceProfile}}},{canonicalClaim:n,canonicalPlan:i,canonicalResult:a}=e.engine.evaluateClaim(new TextEncoder().encode(JSON.stringify(t))),o=d(s(n),`canonical claim`);if(o.claimId!==e.claimId)throw TypeError(`GeoSpec engine returned a malformed canonical claim for '${e.claimId}'.`);let{results:c}=d(s(a),`canonical result envelope`);if(!Array.isArray(c)||c.length!==1)throw TypeError(`GeoSpec engine returned a canonical result envelope without exactly one result.`);let[l]=c,u=d(l,`canonical claim result`),{claimId:p,diagnostics:h,status:g}=u;if(p!==e.claimId||typeof g!=`string`||!Array.isArray(h))throw TypeError(`GeoSpec engine returned a malformed result for claim '${e.claimId}'.`);return{canonicalClaim:n,canonicalPlan:i,canonicalResult:a,claim:o,claimId:p,diagnostics:h.some(e=>S(e))?h.map(t=>C(t,e.workUnitLimit,e.maximumWorkUnitLimit??512e6)):h,...u.evidence===void 0?{}:{evidence:u.evidence},polarity:e.polarity,result:u,status:g}};export{g as assertGeoSpecAuthoredWorkUnitLimit,y as evaluateGeoSpecNativeClaim,b as evaluateGeoSpecNativeQuery,h as geoSpecAuthoredWorkUnitLimitProblem,i as geoSpecMaximumWorkUnitLimit,a as resolveGeoSpecMaximumWorkUnitLimit,_ as resolveGeoSpecNativeWorkUnitLimit,v as supportsGeoSpecNativeMinimumDistance};

package/dist/engine/matchers.d.mts

@@ -5,7 +5,7 @@ import { GeoSpecAssertion, GeoSpecMatcher } from "../runner/types.mjs";
  *
  * @public
  */
-type GeoSpecMatcherName = Exclude<keyof GeoSpecMatcher, 'not'>;
+export type GeoSpecMatcherName = Exclude<keyof GeoSpecMatcher, 'not'>;
 /**
  * How the substrate derives an assertion's recorded `expected` value from the
  * arguments the spec author passed. Data, not code, so the registry stays
@@ -19,22 +19,22 @@ type GeoSpecMatcherName = Exclude<keyof GeoSpecMatcher, 'not'>;
  *
  * @public
  */
-type GeoSpecMatcherExpectedShape = 'first' | 'first-or-empty' | 'bounds' | 'true';
+export type GeoSpecMatcherExpectedShape = 'first' | 'first-or-empty' | 'bounds' | 'true';
 /**
  * Whether a matcher settles synchronously (throwing its
  * `GeoSpecAssertionError` inside the `it()` body) or asynchronously (settled
  * before the test completes). Part of the contract: it decides whether the
- * deterministic work-unit budget (R13) brackets the evaluation.
+ * deterministic work-unit budget brackets the evaluation.
  *
  * @public
  */
-type GeoSpecMatcherMode = 'sync' | 'async';
+export type GeoSpecMatcherMode = 'sync' | 'async';
 /**
  * One matcher's contract entry.
  *
  * @public
  */
-type GeoSpecMatcherDescriptor = {
+export type GeoSpecMatcherDescriptor = {
   readonly kind: GeoSpecAssertion['kind'];
   readonly expected: GeoSpecMatcherExpectedShape;
   readonly mode: GeoSpecMatcherMode;
@@ -46,17 +46,17 @@ type GeoSpecMatcherDescriptor = {
  *
  * @public
  */
-declare const geoSpecMatcherDescriptors: Readonly<{ [Name in GeoSpecMatcherName]: Name extends GeoSpecFixedMatcherName ? GeoSpecFixedMatcherDescriptor & {
+export declare const geoSpecMatcherDescriptors: Readonly<{ [Name in GeoSpecMatcherName]: Name extends GeoSpecFixedMatcherName ? GeoSpecFixedMatcherDescriptor & {
   readonly kind: Name;
 } : GeoSpecMatcherDescriptor; }>;
 /** A canonical fixed-contract matcher. @public */
-type GeoSpecFixedMatcherDescriptor = {
+export type GeoSpecFixedMatcherDescriptor = {
   readonly contract: 'geospec.plate-two-windows/v1' | 'geospec.pmi.parallel-plane-distance/v1';
   readonly expected: 'true';
   readonly mode: 'sync';
 };
 /** Every canonical fixed-contract matcher name. @public */
-type GeoSpecFixedMatcherName = 'toSatisfyRationalPlate' | 'toSatisfyParallelPlaneDistance';
+export type GeoSpecFixedMatcherName = 'toSatisfyRationalPlate' | 'toSatisfyParallelPlaneDistance';
 /**
  * Derive the `expected` value an assertion records from the call arguments.
  *
@@ -65,6 +65,5 @@ type GeoSpecFixedMatcherName = 'toSatisfyRationalPlate' | 'toSatisfyParallelPlan
  * @returns The value recorded as the assertion's `expected`.
  * @public
  */
-declare const normalizeGeoSpecExpected: (shape: GeoSpecMatcherExpectedShape, callArguments: readonly unknown[]) => unknown;
-//#endregion
-export { GeoSpecFixedMatcherDescriptor, GeoSpecFixedMatcherName, GeoSpecMatcherDescriptor, GeoSpecMatcherExpectedShape, GeoSpecMatcherMode, GeoSpecMatcherName, geoSpecMatcherDescriptors, normalizeGeoSpecExpected };
+export declare const normalizeGeoSpecExpected: (shape: GeoSpecMatcherExpectedShape, callArguments: readonly unknown[]) => unknown;
+//#endregion

package/dist/engine/pmi.types.d.mts

@@ -1,18 +1,18 @@
 //#region src/engine/pmi.types.d.ts
 /** Explicit support state for one source-attributed inventory field. @public */
-type GeoSpecPmiField<Value> = {
+export type GeoSpecPmiField<Value> = {
   readonly status: 'supported' | 'missing' | 'invalid' | 'ambiguous' | 'unsupported';
   readonly value: Value | null;
   readonly reason: string | null;
 };
 /** Original Part21 entity ID and exact source argument tokens. @public */
-type GeoSpecPmiRawEntity = {
+export type GeoSpecPmiRawEntity = {
   readonly sourceId: number;
   readonly kind: string;
   readonly arguments: readonly string[];
 };
 /** Source-authored scalar and Rust-normalized reduced rational millimetres. @public */
-type GeoSpecPmiNumber = {
+export type GeoSpecPmiNumber = {
   readonly sourceId: number;
   readonly authoredText: string;
   readonly unitId: number;
@@ -21,14 +21,14 @@ type GeoSpecPmiNumber = {
   readonly name: string;
 };
 /** A uniquely forward-transferred face; null occurrence denotes the whole part. @public */
-type GeoSpecPmiFaceAssociation = {
+export type GeoSpecPmiFaceAssociation = {
   readonly sourceFaceId: number;
   readonly occurrenceRoute: readonly number[];
   readonly occurrence: number | null;
   readonly publicFaceOrdinal: number;
 };
 /** One ordered role reference, including incomplete source/transfer evidence. @public */
-type GeoSpecPmiShapeReference = {
+export type GeoSpecPmiShapeReference = {
   readonly sourceAspectId: number | null;
   readonly sourceUsageIds: readonly number[];
   readonly sourceItemIds: readonly number[];
@@ -36,13 +36,13 @@ type GeoSpecPmiShapeReference = {
   readonly associations: GeoSpecPmiField<readonly GeoSpecPmiFaceAssociation[]>;
 };
 /** Normalized authored limits; never an inferred geometric conformance verdict. @public */
-type GeoSpecPmiLimits = {
+export type GeoSpecPmiLimits = {
   readonly lowerMillimetres: string;
   readonly upperMillimetres: string;
   readonly basis: 'authored-limits' | 'nominal-plus-minus';
 };
 /** Source record preserving semantic/presentation separation and ordered roles. @public */
-type GeoSpecPmiRecord = {
+export type GeoSpecPmiRecord = {
   readonly sourceId: number;
   readonly family: 'dimension' | 'datum' | 'tolerance' | 'presentation';
   readonly channel: 'semantic' | 'presentation';
@@ -56,7 +56,7 @@ type GeoSpecPmiRecord = {
   readonly raw: readonly GeoSpecPmiRawEntity[];
 };
 /** Positive-only inventory value inside the ordinary canonical query report. @public */
-type GeoSpecPmiInventory = {
+export type GeoSpecPmiInventory = {
   readonly contract: 'geospec.pmi.inventory/v1';
   readonly status: 'semantic' | 'graphical-only' | 'empty';
   readonly fileSchema: string;
@@ -64,15 +64,14 @@ type GeoSpecPmiInventory = {
   readonly records: readonly GeoSpecPmiRecord[];
 };
 /** Strict inventory output limits. Exceeding either refuses without truncation. @public */
-type GeoSpecPmiQueryPayload = {
+export type GeoSpecPmiQueryPayload = {
   readonly maxRecords?: number;
   readonly maxOutputBytes?: number;
 };
 /** Complete inventory value; provenance is the unchanged core identity descriptor. @public */
-type GeoSpecPmiQueryValue = {
+export type GeoSpecPmiQueryValue = {
   readonly inventory: GeoSpecPmiInventory;
   readonly subjectHash: string;
   readonly provenance: Readonly<Record<string, unknown>>;
 };
-//#endregion
-export { GeoSpecPmiFaceAssociation, GeoSpecPmiField, GeoSpecPmiInventory, GeoSpecPmiLimits, GeoSpecPmiNumber, GeoSpecPmiQueryPayload, GeoSpecPmiQueryValue, GeoSpecPmiRawEntity, GeoSpecPmiRecord, GeoSpecPmiShapeReference };
+//#endregion

package/dist/engine/protocol.d.mts

@@ -1,13 +1,13 @@
-import { JSONValue } from "@taucad/runtime/types";
+import { JSONValue } from "../support/types.mjs";
 //#region src/engine/protocol.d.ts
 /** Runtime JSON-value guard used at every protocol trust boundary. @public */
-declare const isGeoSpecJsonValue: (value: unknown, ancestors?: Set<WeakKey>) => value is JSONValue;
+export declare const isGeoSpecJsonValue: (value: unknown, ancestors?: Set<WeakKey>) => value is JSONValue;
 /** Reject a non-wire value rather than letting JSON.stringify erase it. @public */
-declare const assertGeoSpecJsonValue: (value: unknown) => asserts value is JSONValue;
+export declare const assertGeoSpecJsonValue: (value: unknown) => asserts value is JSONValue;
 /** Encode client-owned canonical claim bytes. @public */
-declare const encodeGeoSpecCanonicalJson: (value: JSONValue) => Uint8Array<ArrayBuffer>;
+export declare const encodeGeoSpecCanonicalJson: (value: JSONValue) => Uint8Array<ArrayBuffer>;
 /** Parse and validate canonical bytes without re-canonicalizing them. @public */
-declare const decodeGeoSpecCanonicalJson: (bytes: Uint8Array<ArrayBuffer>) => JSONValue;
+export declare const decodeGeoSpecCanonicalJson: (bytes: Uint8Array<ArrayBuffer>) => JSONValue;
 /**
  * Convert an authoring value to protocol JSON, including the two explicit
  * bindings the TypeScript client needs: regex data and opaque subject refs.
@@ -15,6 +15,5 @@ declare const decodeGeoSpecCanonicalJson: (bytes: Uint8Array<ArrayBuffer>) => JS
  *
  * @public
  */
-declare const toGeoSpecProtocolJson: (value: unknown, ancestors?: Set<WeakKey>) => JSONValue;
-//#endregion
-export { assertGeoSpecJsonValue, decodeGeoSpecCanonicalJson, encodeGeoSpecCanonicalJson, isGeoSpecJsonValue, toGeoSpecProtocolJson };
+export declare const toGeoSpecProtocolJson: (value: unknown, ancestors?: Set<WeakKey>) => JSONValue;
+//#endregion

package/dist/engine/protocol.mjs

@@ -1 +1 @@
-const e=e=>{if(typeof e!=`object`||!e)return!1;let t=Object.getPrototypeOf(e);return t===Object.prototype||t===null},t=(n,r=new Set)=>{if(n===null||typeof n==`string`||typeof n==`boolean`)return!0;if(typeof n==`number`)return Number.isFinite(n);if(!Array.isArray(n)&&!e(n)||r.has(n))return!1;r.add(n);let i=Array.isArray(n)?n.every(e=>t(e,r)):e(n)&&Object.values(n).every(e=>t(e,r));return r.delete(n),i},n=e=>{if(!t(e))throw TypeError(`GeoSpec protocol values must contain only finite JSON data.`)},r=e=>Array.isArray(e)?e.map(e=>r(e)):typeof e==`object`&&e?Object.fromEntries(Object.entries(e).sort(([e],[t])=>e.localeCompare(t)).map(([e,t])=>[e,r(t)])):e,i=e=>(n(e),new TextEncoder().encode(JSON.stringify(r(e)))),a=e=>{let t=JSON.parse(new TextDecoder().decode(e));return n(t),t},o=(t,n=new Set)=>{if(t==null)return null;if(typeof t==`string`||typeof t==`boolean`)return t;if(typeof t==`number`){if(!Number.isFinite(t))throw TypeError(`GeoSpec claims cannot contain non-finite numbers.`);return t}if(t instanceof RegExp)return{type:`regexp`,pattern:t.source,flags:t.flags};if(typeof t!=`object`||n.has(t))throw TypeError(`GeoSpec claims cannot contain functions, symbols, bigint values, or cycles.`);let r=Reflect.get(t,`subjectId`);if(typeof r==`string`)return{type:`subject-reference`,subjectId:r};if(n.add(t),Array.isArray(t)){let e=t.map(e=>o(e,n));return n.delete(t),e}if(!e(t))throw TypeError(`GeoSpec claims cannot contain class instances.`);let i={};for(let[e,r]of Object.entries(t))r!==void 0&&(i[e]=o(r,n));return n.delete(t),i};export{n as assertGeoSpecJsonValue,a as decodeGeoSpecCanonicalJson,i as encodeGeoSpecCanonicalJson,t as isGeoSpecJsonValue,o as toGeoSpecProtocolJson};
+const e=e=>{if(typeof e!=`object`||!e)return!1;let t=Object.getPrototypeOf(e);return t===Object.prototype||t===null},t=(n,r=/* @__PURE__ */ new Set)=>{if(n===null||typeof n==`string`||typeof n==`boolean`)return!0;if(typeof n==`number`)return Number.isFinite(n);if(!Array.isArray(n)&&!e(n)||r.has(n))return!1;r.add(n);let i=Array.isArray(n)?n.every(e=>t(e,r)):e(n)&&Object.values(n).every(e=>t(e,r));return r.delete(n),i},n=e=>{if(!t(e))throw TypeError(`GeoSpec protocol values must contain only finite JSON data.`)},r=e=>Array.isArray(e)?e.map(e=>r(e)):typeof e==`object`&&e?Object.fromEntries(Object.entries(e).sort(([e],[t])=>e.localeCompare(t)).map(([e,t])=>[e,r(t)])):e,i=e=>(n(e),new TextEncoder().encode(JSON.stringify(r(e)))),a=e=>{let t=JSON.parse(new TextDecoder().decode(e));return n(t),t},o=(t,n=/* @__PURE__ */ new Set)=>{if(t==null)return null;if(typeof t==`string`||typeof t==`boolean`)return t;if(typeof t==`number`){if(!Number.isFinite(t))throw TypeError(`GeoSpec claims cannot contain non-finite numbers.`);return t}if(t instanceof RegExp)return{type:`regexp`,pattern:t.source,flags:t.flags};if(typeof t!=`object`||n.has(t))throw TypeError(`GeoSpec claims cannot contain functions, symbols, bigint values, or cycles.`);let r=Reflect.get(t,`subjectId`);if(typeof r==`string`)return{type:`subject-reference`,subjectId:r};if(n.add(t),Array.isArray(t)){let e=t.map(e=>o(e,n));return n.delete(t),e}if(!e(t))throw TypeError(`GeoSpec claims cannot contain class instances.`);let i={};for(let[e,r]of Object.entries(t))r!==void 0&&(i[e]=o(r,n));return n.delete(t),i};export{n as assertGeoSpecJsonValue,a as decodeGeoSpecCanonicalJson,i as encodeGeoSpecCanonicalJson,t as isGeoSpecJsonValue,o as toGeoSpecProtocolJson};

package/dist/geometry-unit.d.mts

@@ -7,6 +7,5 @@
  *
  * @public
  */
-type GeoSpecUnit = 'mm' | 'cm' | 'm' | 'in' | 'ft' | (string & {});
-//#endregion
-export { GeoSpecUnit };
+export type GeoSpecUnit = 'mm' | 'cm' | 'm' | 'in' | 'ft' | (string & {});
+//#endregion

package/dist/index.d.mts

@@ -1,6 +1,6 @@
 import { GeoSpecUnit } from "./geometry-unit.mjs";
-import { BrepEvidence, GeometryCapability, GeometryDiagnostic, GeometryFileFormat, GeometryProvenance, GeometrySource, GeometrySubject, GeometrySubjectMeshEvidence, MeshEvidence, MeshFileFormat, MeshQualityStats, MeshTriangle, StepEvidence, Vec3 } from "./mesh/types.mjs";
+import { GeometryDiagnostic, Vec3 } from "./mesh/types.mjs";
 import { GeoSpecSubject } from "./model/subject.mjs";
 import { GeoSpecAssemblyOccurrenceExpectation, GeoSpecAssemblyOccurrencesExpectation, GeoSpecAssertion, GeoSpecAxisExpectation, GeoSpecBoundingBoxExpectation, GeoSpecCenterOfMassExpectation, GeoSpecChamferFeatureExpectation, GeoSpecCircularHoleExpectation, GeoSpecCircularHolePatternExpectation, GeoSpecComponentInterferenceAllowance, GeoSpecComponentInterferenceExpectation, GeoSpecComponentInterferencePairExpectation, GeoSpecConnectedComponentsExpectation, GeoSpecCylindricalFaceExpectation, GeoSpecExpectOptions, GeoSpecFilletFeatureExpectation, GeoSpecGeometrySelector, GeoSpecMassExpectation, GeoSpecMatcher, GeoSpecMeshIntegrityExpectation, GeoSpecMinimumWallThicknessExpectation, GeoSpecNoDiagnosticsExpectation, GeoSpecNumericExpectation, GeoSpecPlanarFaceExpectation, GeoSpecPointExpectation, GeoSpecProductStructureExpectation, GeoSpecSpatialRelationshipExpectation, GeoSpecSpatialRelationshipsExpectation, GeoSpecStepUnitsExpectation, GeoSpecSurfaceAreaExpectation, GeoSpecTopologyCountsExpectation, GeoSpecValidBrepExpectation, GeoSpecVoidContinuityExpectation, GeoSpecVoidWaypoint, GeoSpecVolumeExpectation } from "./runner/types.mjs";
 import { describe, expectGeo, geoSpecMatcherNames, it, test } from "./create-geospec.mjs";
-export { type BrepEvidence, type GeoSpecAssemblyOccurrenceExpectation, type GeoSpecAssemblyOccurrencesExpectation, type GeoSpecAssertion, type GeoSpecAxisExpectation, type GeoSpecBoundingBoxExpectation, type GeoSpecCenterOfMassExpectation, type GeoSpecChamferFeatureExpectation, type GeoSpecCircularHoleExpectation, type GeoSpecCircularHolePatternExpectation, type GeoSpecComponentInterferenceAllowance, type GeoSpecComponentInterferenceExpectation, type GeoSpecComponentInterferencePairExpectation, type GeoSpecConnectedComponentsExpectation, type GeoSpecCylindricalFaceExpectation, type GeoSpecExpectOptions, type GeoSpecFilletFeatureExpectation, type GeoSpecGeometrySelector, type GeoSpecMassExpectation, type GeoSpecMatcher, type GeoSpecMeshIntegrityExpectation, type GeoSpecMinimumWallThicknessExpectation, type GeoSpecNoDiagnosticsExpectation, type GeoSpecNumericExpectation, type GeoSpecPlanarFaceExpectation, type GeoSpecPointExpectation, type GeoSpecProductStructureExpectation, type GeoSpecSpatialRelationshipExpectation, type GeoSpecSpatialRelationshipsExpectation, type GeoSpecStepUnitsExpectation, type GeoSpecSubject, type GeoSpecSurfaceAreaExpectation, type GeoSpecTopologyCountsExpectation, type GeoSpecUnit, type GeoSpecValidBrepExpectation, type Vec3 as GeoSpecVec3, type GeoSpecVoidContinuityExpectation, type GeoSpecVoidWaypoint, type GeoSpecVolumeExpectation, type GeometryCapability, type GeometryDiagnostic, type GeometryFileFormat, type GeometryProvenance, type GeometrySource, type GeometrySubject, type GeometrySubjectMeshEvidence, type MeshEvidence, type MeshFileFormat, type MeshQualityStats, type MeshTriangle, type StepEvidence, type Vec3, describe, expectGeo, geoSpecMatcherNames, it, test };
+export { type GeoSpecAssemblyOccurrenceExpectation, type GeoSpecAssemblyOccurrencesExpectation, type GeoSpecAssertion, type GeoSpecAxisExpectation, type GeoSpecBoundingBoxExpectation, type GeoSpecCenterOfMassExpectation, type GeoSpecChamferFeatureExpectation, type GeoSpecCircularHoleExpectation, type GeoSpecCircularHolePatternExpectation, type GeoSpecComponentInterferenceAllowance, type GeoSpecComponentInterferenceExpectation, type GeoSpecComponentInterferencePairExpectation, type GeoSpecConnectedComponentsExpectation, type GeoSpecCylindricalFaceExpectation, type GeoSpecExpectOptions, type GeoSpecFilletFeatureExpectation, type GeoSpecGeometrySelector, type GeoSpecMassExpectation, type GeoSpecMatcher, type GeoSpecMeshIntegrityExpectation, type GeoSpecMinimumWallThicknessExpectation, type GeoSpecNoDiagnosticsExpectation, type GeoSpecNumericExpectation, type GeoSpecPlanarFaceExpectation, type GeoSpecPointExpectation, type GeoSpecProductStructureExpectation, type GeoSpecSpatialRelationshipExpectation, type GeoSpecSpatialRelationshipsExpectation, type GeoSpecStepUnitsExpectation, type GeoSpecSubject, type GeoSpecSurfaceAreaExpectation, type GeoSpecTopologyCountsExpectation, type GeoSpecUnit, type GeoSpecValidBrepExpectation, type Vec3 as GeoSpecVec3, type GeoSpecVoidContinuityExpectation, type GeoSpecVoidWaypoint, type GeoSpecVolumeExpectation, type GeometryDiagnostic, type Vec3, describe, expectGeo, geoSpecMatcherNames, it, test };

package/dist/index.mjs

@@ -1 +1 @@
-import{describe as e,expectGeo as t,geoSpecMatcherNames as n,it as r,test as i}from"./create-geospec.mjs";export{e as describe,t as expectGeo,n as geoSpecMatcherNames,r as it,i as test};
+export{describe,expectGeo,geoSpecMatcherNames,it,test}from"./create-geospec.mjs";

package/dist/mesh/index.d.mts

@@ -1,4 +1,4 @@
 import { GeoSpecUnit } from "../geometry-unit.mjs";
-import { AabbMeters, BoundingBoxAxisExtremum, BoundingBoxAxisFailure, BoundingBoxFailure, BoundingBoxStats, BrepEvidence, CheckResult, ClusterGap, ClusterReport, ConnectedComponentsFailure, ConnectedComponentsResult, GeometryCapability, GeometryDiagnostic, GeometryEvidenceDiagnostic, GeometryExportIntent, GeometryFileFormat, GeometryProvenance, GeometrySource, GeometryStats, GeometrySubject, GeometrySubjectMeshEvidence, MeshEvidence, MeshFileFormat, MeshQualityStats, MeshTriangle, PrimitiveRecord, StepEvidence, Vec3, WatertightFailure, WatertightIrregularEdgeCluster, WatertightIrregularEdgeKind, WatertightIrregularEdgeSample, WatertightPrimitiveBreakdown, WatertightResult } from "./types.mjs";
+import { GeometryDiagnostic, GeometryExportIntent, GeometryFileFormat, MeshFileFormat, Vec3 } from "./types.mjs";
 import { MeshBufferSource, MeshSource } from "../model/types.mjs";
-export type { AabbMeters, BoundingBoxAxisExtremum, BoundingBoxAxisFailure, BoundingBoxFailure, BoundingBoxStats, BrepEvidence, CheckResult, ClusterGap, ClusterReport, ConnectedComponentsFailure, ConnectedComponentsResult, GeoSpecUnit, GeometryCapability, GeometryDiagnostic, GeometryEvidenceDiagnostic, GeometryExportIntent, GeometryFileFormat, GeometryProvenance, GeometrySource, GeometryStats, GeometrySubject, GeometrySubjectMeshEvidence, MeshBufferSource, MeshEvidence, MeshFileFormat, MeshQualityStats, MeshSource, MeshTriangle, PrimitiveRecord, StepEvidence, Vec3, WatertightFailure, WatertightIrregularEdgeCluster, WatertightIrregularEdgeKind, WatertightIrregularEdgeSample, WatertightPrimitiveBreakdown, WatertightResult };
+export type { GeoSpecUnit, GeometryDiagnostic, GeometryExportIntent, GeometryFileFormat, MeshBufferSource, MeshFileFormat, MeshSource, Vec3 };