@ifc-lite/ids-authoring 0.0.0-stage → 0.2.2

package/dist/testing/index.js

@@ -0,0 +1,8 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export { expectationMismatch, runTestSuites, selectCases, } from './runner.js';
+export { outcomeFromSpecResult } from './outcome.js';
+export { junitXml } from './junit.js';
+export { testSuitesView } from './view.js';
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAG/D,OAAO,EACL,mBAAmB,EACnB,aAAa,EACb,WAAW,GAQZ,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,EAAE,cAAc,EAA4D,MAAM,WAAW,CAAC"}

package/dist/testing/junit.d.ts

@@ -0,0 +1,10 @@
+/**
+ * JUnit XML for a test run (`ifc-lite ids test --junit`), the format CI
+ * systems read: one `<testsuite>` per specification, one `<testcase>` per
+ * case, with `<failure>`, `<error>` or `<skipped>`.
+ */
+import type { TestRunReport } from './runner.js';
+export declare function junitXml(report: TestRunReport, options?: {
+    name?: string;
+}): string;
+//# sourceMappingURL=junit.d.ts.map

package/dist/testing/junit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"junit.d.ts","sourceRoot":"","sources":["../../src/testing/junit.ts"],"names":[],"mappings":"AAIA;;;;GAIG;AAEH,OAAO,KAAK,EAAc,aAAa,EAAE,MAAM,aAAa,CAAC;AAmC7D,wBAAgB,QAAQ,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAO,GAAG,MAAM,CAoBvF"}

package/dist/testing/junit.js

@@ -0,0 +1,51 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/** Code points XML 1.0 cannot carry at all (C0 controls except tab/LF/CR, U+FFFE, U+FFFF). */
+function xmlChar(c) {
+    const n = c.charCodeAt(0);
+    return (n >= 0x20 || n === 0x09 || n === 0x0a || n === 0x0d) && n !== 0xfffe && n !== 0xffff;
+}
+function esc(s) {
+    return [...s]
+        .filter(xmlChar)
+        .join('')
+        .replace(/&/g, '&')
+        .replace(/</g, '&lt;')
+        .replace(/>/g, '&gt;')
+        .replace(/"/g, '&quot;');
+}
+const seconds = (ms) => (ms / 1000).toFixed(3);
+function testcase(r) {
+    const open = `    <testcase classname="${esc(r.specName)}" name="${esc(r.name)}" time="${seconds(r.durationMs)}"`;
+    const message = esc(r.message ?? '');
+    switch (r.verdict) {
+        case 'passed':
+            return `${open}/>`;
+        case 'failed':
+            return `${open}>\n      <failure message="${message}" type="expectation">${message}</failure>\n    </testcase>`;
+        case 'error':
+            return `${open}>\n      <error message="${message}"/>\n    </testcase>`;
+        case 'skipped':
+            return `${open}>\n      <skipped message="${message}"/>\n    </testcase>`;
+    }
+}
+export function junitXml(report, options = {}) {
+    const bySpec = new Map();
+    for (const r of report.results)
+        bySpec.set(r.specId, [...(bySpec.get(r.specId) ?? []), r]);
+    const time = report.results.reduce((t, r) => t + r.durationMs, 0);
+    const s = report.summary;
+    const lines = [
+        '<?xml version="1.0" encoding="UTF-8"?>',
+        `<testsuites name="${esc(options.name ?? 'IDS tests')}" tests="${s.total}" failures="${s.failed}" errors="${s.error}" skipped="${s.skipped}" time="${seconds(time)}">`,
+    ];
+    for (const results of bySpec.values()) {
+        const n = (v) => results.filter((r) => r.verdict === v).length;
+        const t = results.reduce((x, r) => x + r.durationMs, 0);
+        lines.push(`  <testsuite name="${esc(results[0].specName)}" tests="${results.length}" failures="${n('failed')}" errors="${n('error')}" skipped="${n('skipped')}" time="${seconds(t)}">`, ...results.map(testcase), '  </testsuite>');
+    }
+    lines.push('</testsuites>', '');
+    return lines.join('\n');
+}
+//# sourceMappingURL=junit.js.map

package/dist/testing/junit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"junit.js","sourceRoot":"","sources":["../../src/testing/junit.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAU/D,8FAA8F;AAC9F,SAAS,OAAO,CAAC,CAAS;IACxB,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAC1B,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,KAAK,MAAM,CAAC;AAC/F,CAAC;AAED,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,CAAC,GAAG,CAAC,CAAC;SACV,MAAM,CAAC,OAAO,CAAC;SACf,IAAI,CAAC,EAAE,CAAC;SACR,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AAEvD,SAAS,QAAQ,CAAC,CAAa;IAC7B,MAAM,IAAI,GAAG,4BAA4B,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;IAClH,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IACrC,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,GAAG,IAAI,IAAI,CAAC;QACrB,KAAK,QAAQ;YACX,OAAO,GAAG,IAAI,8BAA8B,OAAO,wBAAwB,OAAO,6BAA6B,CAAC;QAClH,KAAK,OAAO;YACV,OAAO,GAAG,IAAI,4BAA4B,OAAO,sBAAsB,CAAC;QAC1E,KAAK,SAAS;YACZ,OAAO,GAAG,IAAI,8BAA8B,OAAO,sBAAsB,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,MAAqB,EAAE,UAA6B,EAAE;IAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO;QAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3F,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAClE,MAAM,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;IACzB,MAAM,KAAK,GAAG;QACZ,wCAAwC;QACxC,qBAAqB,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC,YAAY,CAAC,CAAC,KAAK,eAAe,CAAC,CAAC,MAAM,aAAa,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,OAAO,WAAW,OAAO,CAAC,IAAI,CAAC,IAAI;KACvK,CAAC;IACF,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACtC,MAAM,CAAC,GAAG,CAAC,CAAwB,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACtF,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QACxD,KAAK,CAAC,IAAI,CACR,sBAAsB,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,OAAO,CAAC,MAAM,eAAe,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,IAAI,EAC5K,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EACxB,gBAAgB,CACjB,CAAC;IACJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC;IAChC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/testing/outcome.d.ts

@@ -0,0 +1,10 @@
+/** Map a validator result onto the runner's outcome. */
+import type { IDSSpecificationResult } from '@ifc-lite/ids';
+import type { SpecOutcome } from './runner.js';
+/**
+ * The outcome of one specification result of `validateIDS`. Requirement
+ * ids are the Studio node ids when the validated document came from a
+ * `StudioDocument` (its requirement `id`s are node ids).
+ */
+export declare function outcomeFromSpecResult(result: IDSSpecificationResult): SpecOutcome;
+//# sourceMappingURL=outcome.d.ts.map

package/dist/testing/outcome.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../../src/testing/outcome.ts"],"names":[],"mappings":"AAIA,wDAAwD;AAExD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,sBAAsB,GAAG,WAAW,CAUjF"}

package/dist/testing/outcome.js

@@ -0,0 +1,22 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/**
+ * The outcome of one specification result of `validateIDS`. Requirement
+ * ids are the Studio node ids when the validated document came from a
+ * `StudioDocument` (its requirement `id`s are node ids).
+ */
+export function outcomeFromSpecResult(result) {
+    const failed = new Set();
+    for (const entity of result.entityResults) {
+        for (const r of entity.requirementResults)
+            if (r.status === 'fail')
+                failed.add(r.requirement.id);
+    }
+    return {
+        status: result.status === 'not_applicable' ? 'notApplicable' : result.status,
+        failedRequirements: [...failed],
+        applicableCount: result.applicableCount,
+    };
+}
+//# sourceMappingURL=outcome.js.map

package/dist/testing/outcome.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outcome.js","sourceRoot":"","sources":["../../src/testing/outcome.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAO/D;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAA8B;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,kBAAkB;YAAE,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM;gBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACnG,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM,CAAC,MAAM,KAAK,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM;QAC5E,kBAAkB,EAAE,CAAC,GAAG,MAAM,CAAC;QAC/B,eAAe,EAAE,MAAM,CAAC,eAAe;KACxC,CAAC;AACJ,CAAC"}

package/dist/testing/runner.d.ts

@@ -0,0 +1,72 @@
+/**
+ * The IDS test runner (headless). It owns the bookkeeping: which cases
+ * to run, comparing each outcome with its expectation, and the report.
+ * Turning a fixture into a verdict is the host's `evaluate` callback:
+ * `@ifc-lite/ids-testgen` provides one that builds or loads the IFC and
+ * runs `@ifc-lite/ids`' validator; the viewer can pass its worker.
+ *
+ * A case passes when the specification reports the expected status
+ * and, for `fail` cases with `expectFailureOn`, exactly those
+ * requirement facets fail.
+ */
+import type { IDSSpecification } from '@ifc-lite/ids';
+import type { StudioDocument } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+import type { TestCase, TestExpectation } from './types.js';
+/** What the specification reported on a fixture. */
+export interface SpecOutcome {
+    status: TestExpectation;
+    /** Requirement node ids that failed on at least one applicable element. */
+    failedRequirements: Uuid[];
+    applicableCount: number;
+}
+export type EvaluateResult = SpecOutcome | {
+    unsupported: string;
+} | {
+    error: string;
+};
+export type CaseEvaluator = (input: {
+    doc: StudioDocument;
+    spec: IDSSpecification;
+    testCase: TestCase;
+}) => Promise<EvaluateResult>;
+export type CaseVerdict = 'passed' | 'failed' | 'error' | 'skipped';
+export interface CaseResult {
+    specId: Uuid;
+    specName: string;
+    testId: Uuid;
+    name: string;
+    expect: TestExpectation;
+    verdict: CaseVerdict;
+    outcome?: SpecOutcome;
+    /** Why it failed, errored or was skipped. */
+    message?: string;
+    durationMs: number;
+}
+export interface TestRunReport {
+    results: CaseResult[];
+    summary: {
+        total: number;
+        passed: number;
+        failed: number;
+        error: number;
+        skipped: number;
+    };
+}
+export interface RunOptions {
+    /** Only these specifications (default: all with a suite). */
+    specIds?: readonly Uuid[];
+    /** Called after each case (progress UI). */
+    onCase?: (result: CaseResult, index: number, total: number) => void;
+    /** Clock for durations (tests pass a fake). */
+    now?: () => number;
+}
+/** Compare an outcome with a case's expectation; `undefined` means it holds. */
+export declare function expectationMismatch(testCase: TestCase, outcome: SpecOutcome): string | undefined;
+/** Every case of the selected suites, in document order. */
+export declare function selectCases(doc: StudioDocument, specIds?: readonly Uuid[]): {
+    spec: IDSSpecification;
+    testCase: TestCase;
+}[];
+export declare function runTestSuites(doc: StudioDocument, evaluate: CaseEvaluator, options?: RunOptions): Promise<TestRunReport>;
+//# sourceMappingURL=runner.d.ts.map

package/dist/testing/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../src/testing/runner.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAE5D,oDAAoD;AACpD,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,eAAe,CAAC;IACxB,2EAA2E;IAC3E,kBAAkB,EAAE,IAAI,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvF,MAAM,MAAM,aAAa,GAAG,CAAC,KAAK,EAAE;IAAE,GAAG,EAAE,cAAc,CAAC;IAAC,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;AAEpI,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAEpE,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,IAAI,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,IAAI,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,6CAA6C;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,UAAU,EAAE,CAAC;IACtB,OAAO,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC5F;AAED,MAAM,WAAW,UAAU;IACzB,6DAA6D;IAC7D,OAAO,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IAC1B,4CAA4C;IAC5C,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACpE,+CAA+C;IAC/C,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAED,gFAAgF;AAChF,wBAAgB,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAUhG;AAED,4DAA4D;AAC5D,wBAAgB,WAAW,CAAC,GAAG,EAAE,cAAc,EAAE,OAAO,CAAC,EAAE,SAAS,IAAI,EAAE,GAAG;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,EAAE,CAQ5H;AAED,wBAAsB,aAAa,CAAC,GAAG,EAAE,cAAc,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,GAAE,UAAe,GAAG,OAAO,CAAC,aAAa,CAAC,CA2BlI"}

package/dist/testing/runner.js

@@ -0,0 +1,60 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+/** Compare an outcome with a case's expectation; `undefined` means it holds. */
+export function expectationMismatch(testCase, outcome) {
+    if (outcome.status !== testCase.expect) {
+        return `expected ${testCase.expect}, the specification reported ${outcome.status} (${outcome.applicableCount} applicable)`;
+    }
+    if (testCase.expect === 'fail' && testCase.expectFailureOn?.length) {
+        const want = [...testCase.expectFailureOn].sort();
+        const got = [...new Set(outcome.failedRequirements)].sort();
+        if (want.join() !== got.join())
+            return `expected failures on [${want.join(', ')}], got [${got.join(', ')}]`;
+    }
+    return undefined;
+}
+/** Every case of the selected suites, in document order. */
+export function selectCases(doc, specIds) {
+    const wanted = specIds ? new Set(specIds) : undefined;
+    const out = [];
+    for (const spec of doc.ids.specifications) {
+        if (wanted && !wanted.has(spec.id))
+            continue;
+        for (const testCase of doc.meta.tests[spec.id]?.cases ?? [])
+            out.push({ spec, testCase });
+    }
+    return out;
+}
+export async function runTestSuites(doc, evaluate, options = {}) {
+    const now = options.now ?? (() => Date.now());
+    const cases = selectCases(doc, options.specIds);
+    const results = [];
+    for (const [i, { spec, testCase }] of cases.entries()) {
+        const start = now();
+        const base = { specId: spec.id, specName: spec.name, testId: testCase.id, name: testCase.name, expect: testCase.expect };
+        let result;
+        try {
+            const r = await evaluate({ doc, spec, testCase });
+            if ('unsupported' in r)
+                result = { ...base, verdict: 'skipped', message: r.unsupported, durationMs: now() - start };
+            else if ('error' in r)
+                result = { ...base, verdict: 'error', message: r.error, durationMs: now() - start };
+            else {
+                const mismatch = expectationMismatch(testCase, r);
+                result = { ...base, verdict: mismatch ? 'failed' : 'passed', outcome: r, ...(mismatch ? { message: mismatch } : {}), durationMs: now() - start };
+            }
+        }
+        catch (err) {
+            result = { ...base, verdict: 'error', message: err instanceof Error ? err.message : String(err), durationMs: now() - start };
+        }
+        results.push(result);
+        options.onCase?.(result, i, cases.length);
+    }
+    const count = (v) => results.filter((r) => r.verdict === v).length;
+    return {
+        results,
+        summary: { total: results.length, passed: count('passed'), failed: count('failed'), error: count('error'), skipped: count('skipped') },
+    };
+}
+//# sourceMappingURL=runner.js.map

package/dist/testing/runner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.js","sourceRoot":"","sources":["../../src/testing/runner.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AA4D/D,gFAAgF;AAChF,MAAM,UAAU,mBAAmB,CAAC,QAAkB,EAAE,OAAoB;IAC1E,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,EAAE,CAAC;QACvC,OAAO,YAAY,QAAQ,CAAC,MAAM,gCAAgC,OAAO,CAAC,MAAM,KAAK,OAAO,CAAC,eAAe,cAAc,CAAC;IAC7H,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,IAAI,QAAQ,CAAC,eAAe,EAAE,MAAM,EAAE,CAAC;QACnE,MAAM,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;QAClD,MAAM,GAAG,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5D,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,IAAI,EAAE;YAAE,OAAO,yBAAyB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC9G,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,WAAW,CAAC,GAAmB,EAAE,OAAyB;IACxE,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtD,MAAM,GAAG,GAAqD,EAAE,CAAC;IACjE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC1C,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QAC7C,KAAK,MAAM,QAAQ,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,GAAmB,EAAE,QAAuB,EAAE,UAAsB,EAAE;IACxG,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACtD,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;QACpB,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzH,IAAI,MAAkB,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,CAAC,GAAG,MAAM,QAAQ,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAClD,IAAI,aAAa,IAAI,CAAC;gBAAE,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;iBAC/G,IAAI,OAAO,IAAI,CAAC;gBAAE,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;iBACtG,CAAC;gBACJ,MAAM,QAAQ,GAAG,mBAAmB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAClD,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;YACnJ,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,MAAM,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;QAC/H,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACrB,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,CAAc,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAChF,OAAO;QACL,OAAO;QACP,OAAO,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE;KACvI,CAAC;AACJ,CAAC"}

package/dist/testing/types.d.ts

@@ -0,0 +1,60 @@
+/**
+ * IDS test suites (07-interop-versioning-collab.md §5, ADR-013): "unit
+ * tests for information requirements". A specification carries test
+ * cases, each an IFC fixture plus the verdict the specification must give
+ * on it. Suites live in the sidecar (`meta.tests[specId]`) and change only
+ * through `meta.test.*` ops.
+ */
+import type { IFCVersion } from '@ifc-lite/ids';
+import type { Uuid } from '../uuid.js';
+/** What a specification must report on a fixture. */
+export type TestExpectation = 'pass' | 'fail' | 'notApplicable';
+/**
+ * How a synthetic fixture is (re)generated from the specification
+ * (`@ifc-lite/ids-testgen`). The fixture follows the specification: when
+ * the specification changes, so does the regenerated fixture.
+ */
+export interface FixtureRecipe {
+    generator: 'ids-testgen/1';
+    ifcVersion: IFCVersion;
+    variant: {
+        kind: 'pass';
+    }
+    /** Violates exactly this requirement facet. */
+     | {
+        kind: 'fail';
+        requirementId: Uuid;
+    }
+    /** Violates the first applicability facet. */
+     | {
+        kind: 'notApplicable';
+    };
+}
+export type TestFixture = {
+    kind: 'synthetic';
+    recipe: FixtureRecipe;
+}
+/** Extracted from a real model ("pin element as test"); `ifcRef` names the stored subset. */
+ | {
+    kind: 'snapshot';
+    ifcRef: string;
+    entityRefs: string[];
+}
+/** Any IFC file, e.g. `fixtures/door-ok.ifc` inside an `.idsz` bundle. */
+ | {
+    kind: 'file';
+    path: string;
+};
+export interface TestCase {
+    id: Uuid;
+    name: string;
+    fixture: TestFixture;
+    expect: TestExpectation;
+    /** For `fail`: the requirement facets that must fail (exactly these). */
+    expectFailureOn?: Uuid[];
+}
+export interface TestSuite {
+    specId: Uuid;
+    cases: TestCase[];
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/testing/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":"AAIA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEvC,qDAAqD;AACrD,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,MAAM,GAAG,eAAe,CAAC;AAEhE;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,eAAe,CAAC;IAC3B,UAAU,EAAE,UAAU,CAAC;IACvB,OAAO,EACH;QAAE,IAAI,EAAE,MAAM,CAAA;KAAE;IAClB,+CAA+C;OAC7C;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,IAAI,CAAA;KAAE;IACvC,8CAA8C;OAC5C;QAAE,IAAI,EAAE,eAAe,CAAA;KAAE,CAAC;CAC/B;AAED,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,MAAM,EAAE,aAAa,CAAA;CAAE;AAC9C,6FAA6F;GAC3F;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,EAAE,CAAA;CAAE;AAC5D,0EAA0E;GACxE;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnC,MAAM,WAAW,QAAQ;IACvB,EAAE,EAAE,IAAI,CAAC;IACT,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,WAAW,CAAC;IACrB,MAAM,EAAE,eAAe,CAAC;IACxB,yEAAyE;IACzE,eAAe,CAAC,EAAE,IAAI,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,IAAI,CAAC;IACb,KAAK,EAAE,QAAQ,EAAE,CAAC;CACnB"}

package/dist/testing/types.js

@@ -0,0 +1,5 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/testing/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/testing/types.ts"],"names":[],"mappings":"AAAA;;+DAE+D"}

package/dist/testing/view.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Framework-free view model of the test suites ("Run tests" panel): one
+ * row per specification with its cases and, after a run, their verdicts.
+ */
+import type { StudioDocument } from '../document/types.js';
+import type { Uuid } from '../uuid.js';
+import type { CaseVerdict, TestRunReport } from './runner.js';
+import type { TestExpectation, TestFixture } from './types.js';
+export interface TestCaseRow {
+    testId: Uuid;
+    name: string;
+    expect: TestExpectation;
+    fixture: TestFixture['kind'];
+    verdict?: CaseVerdict;
+    message?: string;
+}
+export interface TestSuiteRow {
+    specId: Uuid;
+    specName: string;
+    /** `untested`: no suite; `notRun`: suite, no result yet. */
+    status: 'untested' | 'notRun' | 'passing' | 'failing';
+    cases: TestCaseRow[];
+}
+export interface TestSuitesView {
+    rows: TestSuiteRow[];
+    /** Specifications with at least one case. */
+    covered: number;
+    total: number;
+}
+export declare function testSuitesView(doc: StudioDocument, report?: TestRunReport): TestSuitesView;
+//# sourceMappingURL=view.d.ts.map

package/dist/testing/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../src/testing/view.ts"],"names":[],"mappings":"AAIA;;;GAGG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE/D,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,IAAI,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,IAAI,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,4DAA4D;IAC5D,MAAM,EAAE,UAAU,GAAG,QAAQ,GAAG,SAAS,GAAG,SAAS,CAAC;IACtD,KAAK,EAAE,WAAW,EAAE,CAAC;CACtB;AAED,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,YAAY,EAAE,CAAC;IACrB,6CAA6C;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,cAAc,EAAE,MAAM,CAAC,EAAE,aAAa,GAAG,cAAc,CAyB1F"}

package/dist/testing/view.js

@@ -0,0 +1,30 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+export function testSuitesView(doc, report) {
+    const results = new Map((report?.results ?? []).map((r) => [r.testId, r]));
+    const rows = doc.ids.specifications.map((spec) => {
+        const cases = (doc.meta.tests[spec.id]?.cases ?? []).map((c) => {
+            const r = results.get(c.id);
+            return {
+                testId: c.id,
+                name: c.name,
+                expect: c.expect,
+                fixture: c.fixture.kind,
+                ...(r ? { verdict: r.verdict } : {}),
+                ...(r?.message ? { message: r.message } : {}),
+            };
+        });
+        const ran = cases.filter((c) => c.verdict);
+        const status = !cases.length
+            ? 'untested'
+            : !ran.length
+                ? 'notRun'
+                : ran.some((c) => c.verdict === 'failed' || c.verdict === 'error')
+                    ? 'failing'
+                    : 'passing';
+        return { specId: spec.id, specName: spec.name, status, cases };
+    });
+    return { rows, covered: rows.filter((r) => r.cases.length).length, total: rows.length };
+}
+//# sourceMappingURL=view.js.map

package/dist/testing/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../src/testing/view.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAoC/D,MAAM,UAAU,cAAc,CAAC,GAAmB,EAAE,MAAsB;IACxE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,IAAI,EAAgB,EAAE;QAC7D,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAe,EAAE;YAC1E,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5B,OAAO;gBACL,MAAM,EAAE,CAAC,CAAC,EAAE;gBACZ,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI;gBACvB,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC9C,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,MAAM,GAA2B,CAAC,KAAK,CAAC,MAAM;YAClD,CAAC,CAAC,UAAU;YACZ,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM;gBACX,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC;oBAChE,CAAC,CAAC,SAAS;oBACX,CAAC,CAAC,SAAS,CAAC;QAClB,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAC1F,CAAC"}

package/dist/uuid.d.ts

@@ -0,0 +1,39 @@
+/**
+ * Node identity for Studio documents.
+ *
+ * - `uuidv7()` mints a fresh, time-ordered RFC 9562 version-7 UUID. It is the
+ *   only impure id source in the package and is called by hosts (UI, agent,
+ *   import) when they build ops; the reducer never calls it.
+ * - `deriveId(seed, salt)` is the pure counterpart the reducer uses when an
+ *   op needs ids it was not handed (e.g. the facets a `spec.duplicate`
+ *   creates): a deterministic name-based UUID (version 8, RFC 9562 §5.8)
+ *   from an FNV-1a hash of `seed` and `salt`. The same op therefore always
+ *   produces the same ids, which keeps `apply` a pure function and replays
+ *   of a persisted op log byte-identical.
+ */
+/** A lower-case hyphenated UUID string. */
+export type Uuid = string;
+/** True for a lower-case hyphenated UUID of any version. */
+export declare function isUuid(value: unknown): value is Uuid;
+export interface UuidV7Source {
+    /** Milliseconds since the Unix epoch. Defaults to `Date.now()`. */
+    now?: () => number;
+    /** Fills `bytes` with random data. Defaults to `crypto.getRandomValues`. */
+    random?: (bytes: Uint8Array<ArrayBuffer>) => void;
+}
+/**
+ * Mint a UUIDv7. Ids minted within the same millisecond stay strictly
+ * increasing: the 12-bit `rand_a` field is used as a counter seeded from
+ * random data (RFC 9562 §6.2, method 1), and the timestamp is bumped when
+ * the counter overflows.
+ */
+export declare function uuidv7(source?: UuidV7Source): Uuid;
+/** 64-bit FNV-1a over UTF-16 code units, starting from `basis`. */
+export declare function fnv1a64(input: string, basis?: bigint): bigint;
+/**
+ * Pure, deterministic UUIDv8 derived from `seed` and `salt`. Distinct
+ * `(seed, salt)` pairs give distinct ids with overwhelming probability
+ * (two 64-bit FNV-1a lanes with different offset bases).
+ */
+export declare function deriveId(seed: string, salt: string): Uuid;
+//# sourceMappingURL=uuid.d.ts.map

package/dist/uuid.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"uuid.d.ts","sourceRoot":"","sources":["../src/uuid.ts"],"names":[],"mappings":"AAIA;;;;;;;;;;;;GAYG;AAEH,2CAA2C;AAC3C,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAI1B,4DAA4D;AAC5D,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,IAAI,CAEpD;AAED,MAAM,WAAW,YAAY;IAC3B,mEAAmE;IACnE,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;IACnB,4EAA4E;IAC5E,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,UAAU,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC;CACnD;AASD;;;;;GAKG;AACH,wBAAgB,MAAM,CAAC,MAAM,GAAE,YAAiB,GAAG,IAAI,CA2BtD;AAKD,mEAAmE;AACnE,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,GAAE,MAA4B,GAAG,MAAM,CAOlF;AAED;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAYzD"}

package/dist/uuid.js

@@ -0,0 +1,84 @@
+/* This Source Code Form is subject to the terms of the Mozilla Public
+ * License, v. 2.0. If a copy of the MPL was not distributed with this
+ * file, You can obtain one at https://mozilla.org/MPL/2.0/. */
+const UUID_RE = /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/;
+/** True for a lower-case hyphenated UUID of any version. */
+export function isUuid(value) {
+    return typeof value === 'string' && UUID_RE.test(value);
+}
+function defaultRandom(bytes) {
+    globalThis.crypto.getRandomValues(bytes);
+}
+let lastMs = -1;
+let lastCounter = 0;
+/**
+ * Mint a UUIDv7. Ids minted within the same millisecond stay strictly
+ * increasing: the 12-bit `rand_a` field is used as a counter seeded from
+ * random data (RFC 9562 §6.2, method 1), and the timestamp is bumped when
+ * the counter overflows.
+ */
+export function uuidv7(source = {}) {
+    const random = source.random ?? defaultRandom;
+    let ms = Math.floor((source.now ?? Date.now)());
+    const bytes = new Uint8Array(16);
+    random(bytes);
+    if (ms <= lastMs) {
+        ms = lastMs;
+        lastCounter += 1;
+        if (lastCounter > 0xfff) {
+            ms += 1;
+            lastCounter = ((bytes[6] & 0x07) << 8) | bytes[7];
+        }
+    }
+    else {
+        // Seed with the top bit clear so a burst has room to count upwards.
+        lastCounter = ((bytes[6] & 0x07) << 8) | bytes[7];
+    }
+    lastMs = ms;
+    // 48-bit big-endian timestamp.
+    let t = ms;
+    for (let i = 5; i >= 0; i--) {
+        bytes[i] = t % 256;
+        t = Math.floor(t / 256);
+    }
+    bytes[6] = 0x70 | ((lastCounter >> 8) & 0x0f);
+    bytes[7] = lastCounter & 0xff;
+    bytes[8] = 0x80 | (bytes[8] & 0x3f);
+    return format(bytes);
+}
+const FNV_PRIME = 0x100000001b3n;
+const MASK_64 = 0xffffffffffffffffn;
+/** 64-bit FNV-1a over UTF-16 code units, starting from `basis`. */
+export function fnv1a64(input, basis = 0xcbf29ce484222325n) {
+    let h = basis;
+    for (let i = 0; i < input.length; i++) {
+        h ^= BigInt(input.charCodeAt(i));
+        h = (h * FNV_PRIME) & MASK_64;
+    }
+    return h;
+}
+/**
+ * Pure, deterministic UUIDv8 derived from `seed` and `salt`. Distinct
+ * `(seed, salt)` pairs give distinct ids with overwhelming probability
+ * (two 64-bit FNV-1a lanes with different offset bases).
+ */
+export function deriveId(seed, salt) {
+    const input = `${seed}\u0000${salt}`;
+    const hi = fnv1a64(input);
+    const lo = fnv1a64(input, 0x6c62272e07bb0142n);
+    const bytes = new Uint8Array(16);
+    for (let i = 0; i < 8; i++) {
+        bytes[i] = Number((hi >> BigInt(56 - i * 8)) & 0xffn);
+        bytes[8 + i] = Number((lo >> BigInt(56 - i * 8)) & 0xffn);
+    }
+    bytes[6] = 0x80 | (bytes[6] & 0x0f);
+    bytes[8] = 0x80 | (bytes[8] & 0x3f);
+    return format(bytes);
+}
+function format(bytes) {
+    let hex = '';
+    for (const b of bytes)
+        hex += b.toString(16).padStart(2, '0');
+    return `${hex.slice(0, 8)}-${hex.slice(8, 12)}-${hex.slice(12, 16)}-${hex.slice(16, 20)}-${hex.slice(20)}`;
+}
+//# sourceMappingURL=uuid.js.map

package/dist/uuid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uuid.js","sourceRoot":"","sources":["../src/uuid.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAmB/D,MAAM,OAAO,GAAG,gEAAgE,CAAC;AAEjF,4DAA4D;AAC5D,MAAM,UAAU,MAAM,CAAC,KAAc;IACnC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1D,CAAC;AASD,SAAS,aAAa,CAAC,KAA8B;IACnD,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;AAChB,IAAI,WAAW,GAAG,CAAC,CAAC;AAEpB;;;;;GAKG;AACH,MAAM,UAAU,MAAM,CAAC,SAAuB,EAAE;IAC9C,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,IAAI,aAAa,CAAC;IAC9C,IAAI,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,KAAK,CAAC,CAAC;IACd,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;QACjB,EAAE,GAAG,MAAM,CAAC;QACZ,WAAW,IAAI,CAAC,CAAC;QACjB,IAAI,WAAW,GAAG,KAAK,EAAE,CAAC;YACxB,EAAE,IAAI,CAAC,CAAC;YACR,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC;SAAM,CAAC;QACN,oEAAoE;QACpE,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC;IACD,MAAM,GAAG,EAAE,CAAC;IACZ,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC;QACnB,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;IAC1B,CAAC;IACD,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9C,KAAK,CAAC,CAAC,CAAC,GAAG,WAAW,GAAG,IAAI,CAAC;IAC9B,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,MAAM,SAAS,GAAG,cAAc,CAAC;AACjC,MAAM,OAAO,GAAG,mBAAmB,CAAC;AAEpC,mEAAmE;AACnE,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,QAAgB,mBAAmB;IACxE,IAAI,CAAC,GAAG,KAAK,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,GAAG,CAAC,CAAC,GAAG,SAAS,CAAC,GAAG,OAAO,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAY;IACjD,MAAM,KAAK,GAAG,GAAG,IAAI,SAAS,IAAI,EAAE,CAAC;IACrC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;QACtD,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,IAAI,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC5D,CAAC;IACD,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACpC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;IACpC,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,MAAM,CAAC,KAAiB;IAC/B,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,IAAI,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC9D,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;AAC7G,CAAC"}

package/package.json

@@ -1,6 +1,59 @@
 {
   "name": "@ifc-lite/ids-authoring",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "0.2.2",
+  "description": "Headless IDS authoring core: Studio document with stable node ids, typed invertible operations, a grounding gate against the IFC schema tables, history, sidecar and re-identification",
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "dependencies": {
+    "fflate": "^0.8.3",
+    "@ifc-lite/data": "6.2.0",
+    "@ifc-lite/ids": "3.3.2",
+    "@ifc-lite/regex-guard": "0.3.0"
+  },
+  "devDependencies": {
+    "@types/node": "^26.6.4",
+    "fake-indexeddb": "^6.2.5",
+    "typescript": "^6.0.3",
+    "vitest": "^5.0.3",
+    "@ifc-lite/parser": "9.5.0"
+  },
+  "license": "MPL-2.0",
+  "author": "Louis True",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/LTplus-AG/ifc-lite.git",
+    "directory": "packages/ids-authoring"
+  },
+  "homepage": "https://ifclite.dev/docs/",
+  "bugs": "https://github.com/LTplus-AG/ifc-lite/issues",
+  "keywords": [
+    "ifc",
+    "bim",
+    "ids",
+    "buildingsmart",
+    "authoring",
+    "information-delivery-specification"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist",
+    "README.md"
+  ],
+  "scripts": {
+    "build": "pnpm exec tsc",
+    "typecheck": "node ../../scripts/typecheck-tests.mjs",
+    "dev": "pnpm exec tsc --watch",
+    "test": "vitest run"
+  }
 }