@ifc-lite/cli 0.19.0 → 0.21.0

package/dist/commands/gym.js

@@ -0,0 +1,324 @@
+/* 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/. */
+/**
+ * `ifc-lite gym (--model <file.ifc> | --seed <n>) [--checks schema,clash,ids] [--ids <rules.xml>]`
+ *
+ * A reset/step/reward environment loop over the existing headless checks:
+ * the skeleton of an RLVR environment for buildings (docs/vision/moonshots-tech.md
+ * M2, docs/vision/moonshots-execution-plan.md B0.4). The environment wraps a
+ * model - either a fixed file (`--model`) or a procedurally generated World
+ * Gym episode (`--seed`, see `gym/episode.ts`) - and lets an agent apply
+ * data-mutation ops, scoring each step against the same schema/clash/ids
+ * checks the `validate`, `clash`, and `ids` commands already run.
+ * Geometry-creating ops are out of scope for v0, see "op vocabulary gaps"
+ * below.
+ *
+ * Protocol (newline-delimited JSON on stdout, one JSON command per stdin line):
+ *
+ *   -> (on start)     {"type":"reset","observation":{...},"channels":{...}}
+ *   <- {"type":"step","ops":[{"op":"setProperty","expressId":42,"psetName":"Pset_WallCommon","propName":"IsExternal","value":true}]}
+ *   -> {"type":"reward","channels":{...},"done":false}
+ *   <- {"type":"reset"}
+ *   -> {"type":"reset","observation":{...},"channels":{...}}
+ *   <- {"type":"close"}
+ *   -> (process exits 0, no reply line)
+ *
+ * Malformed input never crashes the process: it replies with a structured
+ * {"type":"error","message":"..."} line and keeps reading. A `step` batch is
+ * ATOMIC: it either fully applies (one `reward` line) or leaves the session
+ * exactly as it was (one `error` line) - a malformed op mid-batch never
+ * leaves earlier ops of the same batch applied.
+ *
+ * Episode factory (B2.2): instead of `--model`, `--seed <n>` generates a
+ * World Gym benchmark model in-process (tools/world-gym/generator.mjs,
+ * dynamically imported from the repo checkout - the published npm package
+ * does not ship the generator, so `--seed` fails there with a clear error
+ * while `--model` keeps working). `[--family frame|office|auto]` pins the
+ * family; corruption follows the benchmark's deterministic Bernoulli draw at
+ * the spec's corrupt rate (tools/world-gym/benchmark/splits.mjs) unless
+ * `--corrupt` / `--no-corrupt` forces it or `--corrupt-rate <p>` overrides
+ * the rate (forcing and a rate are mutually exclusive). Mid-session,
+ * `{"type":"reset","seed":8}` (plus optional "family"/"corrupt"/"corruptRate"
+ * fields) swaps to a fresh generated episode, so an RL consumer can stream
+ * the whole benchmark through one gym process without touching generator
+ * internals. Generated-episode reset lines carry an extra `episode` field:
+ * {seed, family, corrupted}. (The `corrupted` flag is deliberately exposed:
+ * the gym is the TRAINING surface; benchmark ground truth is regenerable
+ * from the seed anyway - see tools/world-gym/benchmark/BENCHMARK.md.)
+ *
+ * Determinism: the same model plus the same op sequence must yield
+ * byte-identical reward lines - see `gym/channels.ts` for the sorting and
+ * rounding contract. Reward shaping: every channel's `score` is in [0, 1]
+ * with higher-is-better (the clash channel scores 1 for clash-free and
+ * decreases as the clash count grows; the raw count is `totalClashes`).
+ *
+ * Mutation surface: v0 supports `setProperty` / `setAttribute` /
+ * `deleteProperty`, mirroring `bim.mutate`'s method names exactly (see
+ * `gym/ops.ts`). Ops are applied via `MutablePropertyView` + `StepExporter`
+ * (the same classes `ifc-lite mutate` uses) rather than through `bim.mutate`
+ * itself, because `HeadlessBackend.mutate` (packages/cli/src/headless-backend.ts)
+ * is currently a no-op stub: `bim.mutate.setProperty()` silently does
+ * nothing in headless mode. Wiring that backend up to the same
+ * MutablePropertyView this file drives is a mechanical follow-up, not a
+ * redesign, since the op vocabulary already matches.
+ *
+ * Each step re-exports the accumulated mutation overlay to STEP text and
+ * re-parses it into a fresh `IfcDataStore` before running checks. This is
+ * deliberate, not a perf shortcut we forgot to remove: `ids`/`clash`/the
+ * schema checks all read directly from an `IfcDataStore` (via
+ * `createDataAccessor(store)` / `EntityNode(store, id)`), with no
+ * mutation-overlay awareness, so a live overlay would silently be invisible
+ * to every check. Re-parsing after export guarantees the checks see exactly
+ * what a human re-opening the mutated file would see.
+ *
+ * Op vocabulary gaps (v0, tracked for a follow-up bet, not fixed here):
+ *   - Ops target entities by `expressId`, not `GlobalId`. Stable within one
+ *     gym session (StepExporter never renumbers existing entities), but a
+ *     GlobalId-keyed op format would be more robust for agents that only
+ *     ever see a model's IFC-standard identifiers.
+ *   - `observation.bounds` is always `null`: no geometry pass runs on
+ *     `reset`, and even the `clash` channel's mesh pass never feeds a
+ *     bounding box back into the observation.
+ *   - No entity-creation ops (new walls/slabs/etc. via `packages/create`) and
+ *     no episode-termination signal (`done` is always `false`); both need a
+ *     real reward-shaping design, not just wiring.
+ *   - `bim.mutate.setProperty/setAttribute/deleteProperty` are no-ops on
+ *     `HeadlessBackend` (see above); this file works around that directly
+ *     rather than fixing the backend, to keep this bet's diff scoped to one
+ *     new command.
+ */
+import { createInterface } from 'node:readline';
+import { readFile } from 'node:fs/promises';
+import { basename } from 'node:path';
+import { loadIfcFile, loadIfcBytes } from '../loader.js';
+import { getFlag, fatal } from '../output.js';
+import { extractPropertiesOnDemand } from '@ifc-lite/parser';
+import { MutablePropertyView } from '@ifc-lite/mutations';
+import { StepExporter } from '@ifc-lite/export';
+import { GeometryProcessor } from '@ifc-lite/geometry';
+import { IDSNamespace } from '@ifc-lite/sdk';
+import { KNOWN_CHECKS, computeSchemaChannel, computeClashChannel, computeIdsChannel, computeObservation, } from './gym/channels.js';
+import { parseOp, applyOp } from './gym/ops.js';
+import { generateEpisode, parseSeed, parseCorruptRate, } from './gym/episode.js';
+const USAGE = 'Usage: ifc-lite gym (--model <file.ifc> | --seed <n> [--family frame|office|auto] [--corrupt|--no-corrupt|--corrupt-rate <p>]) [--checks schema,clash,ids] [--ids <rules.xml>] [--locale en|de|fr]';
+const SUPPORTED_LOCALES = ['en', 'de', 'fr'];
+function parseChecks(raw, idsPath) {
+    if (raw === undefined) {
+        return idsPath ? new Set(['schema', 'clash', 'ids']) : new Set(['schema', 'clash']);
+    }
+    const result = new Set();
+    for (const part of raw.split(',').map(s => s.trim()).filter(Boolean)) {
+        if (!KNOWN_CHECKS.includes(part)) {
+            fatal(`Unknown check "${part}" in --checks (supported: ${KNOWN_CHECKS.join(', ')})`);
+        }
+        result.add(part);
+    }
+    return result;
+}
+function parseLocale(raw) {
+    if (raw === undefined)
+        return 'en';
+    if (!SUPPORTED_LOCALES.includes(raw)) {
+        fatal(`Unsupported --locale "${raw}" (supported: ${SUPPORTED_LOCALES.join(', ')})`);
+    }
+    return raw;
+}
+export async function gymCommand(args, io = {}) {
+    const modelPath = getFlag(args, '--model');
+    const seedFlag = getFlag(args, '--seed');
+    if (!modelPath && seedFlag === undefined)
+        fatal(USAGE);
+    if (modelPath && seedFlag !== undefined)
+        fatal(`--model and --seed are mutually exclusive\n${USAGE}`);
+    const idsPath = getFlag(args, '--ids');
+    const checks = parseChecks(getFlag(args, '--checks'), idsPath);
+    const locale = parseLocale(getFlag(args, '--locale'));
+    const output = io.output ?? process.stdout;
+    const input = io.input ?? process.stdin;
+    function send(msg) {
+        output.write(`${JSON.stringify(msg)}\n`);
+    }
+    let modelId;
+    let originalStore;
+    let episode = null;
+    async function loadEpisode(spec) {
+        const { model, episode: info } = await generateEpisode(spec);
+        originalStore = await loadIfcBytes(new TextEncoder().encode(model.content), `gym-seed-${info.seed}.ifc`);
+        episode = info;
+        modelId = `gym-seed-${info.seed}.ifc`;
+    }
+    if (modelPath) {
+        modelId = basename(modelPath);
+        originalStore = await loadIfcFile(modelPath);
+    }
+    else {
+        const forceCorrupt = args.includes('--corrupt') ? true : args.includes('--no-corrupt') ? false : undefined;
+        const corruptRateFlag = getFlag(args, '--corrupt-rate');
+        if (forceCorrupt !== undefined && corruptRateFlag !== undefined) {
+            fatal(`--corrupt/--no-corrupt and --corrupt-rate are mutually exclusive\n${USAGE}`);
+        }
+        await loadEpisode({
+            seed: parseSeed(seedFlag, '--seed'),
+            family: getFlag(args, '--family') ?? 'auto',
+            forceCorrupt,
+            corruptRate: corruptRateFlag !== undefined ? parseCorruptRate(corruptRateFlag, '--corrupt-rate') : undefined,
+        });
+    }
+    const ids = new IDSNamespace();
+    let idsDoc = null;
+    if (idsPath) {
+        const idsXml = await readFile(idsPath, 'utf-8');
+        idsDoc = await ids.parse(idsXml);
+    }
+    // Lazily initialised: wasm geometry init is only worth paying for when
+    // the "clash" channel is actually requested.
+    let processor = null;
+    async function getProcessor() {
+        if (!processor) {
+            // Assign only after init() succeeds: caching the instance before a
+            // failed init would hand every later call an uninitialized processor
+            // instead of retrying (the init throw itself surfaces as a structured
+            // error line on the step that requested the clash channel).
+            const p = new GeometryProcessor();
+            await p.init();
+            processor = p;
+        }
+        return processor;
+    }
+    function createMutationView() {
+        const view = new MutablePropertyView(null, 'default');
+        view.setOnDemandExtractor((entityId) => extractPropertiesOnDemand(originalStore, entityId));
+        return view;
+    }
+    /**
+     * The committed op journal: every op of every successfully rewarded step,
+     * in order. `step` batches are atomic - a failing batch (malformed op,
+     * export/parse failure, channel failure) must leave the session exactly as
+     * it was - so the journal is the single source of truth and the view is
+     * rebuilt from it whenever a batch fails partway through.
+     */
+    let journal = [];
+    let mutationView = createMutationView();
+    function rebuildViewFromJournal() {
+        mutationView = createMutationView();
+        for (const op of journal)
+            applyOp(mutationView, op);
+    }
+    /**
+     * Materialise the current mutation overlay into a fresh, independently
+     * parsed store. See the module doc for why re-export + re-parse is
+     * required rather than reading through the overlay directly.
+     */
+    async function materializeStore() {
+        const schema = (originalStore.schemaVersion ?? 'IFC4');
+        const exporter = new StepExporter(originalStore, mutationView);
+        const result = exporter.export({ schema, applyMutations: true });
+        return loadIfcBytes(result.content, modelId);
+    }
+    async function computeChannels(store) {
+        const channels = {};
+        // Fixed canonical key order regardless of --checks argument order, so
+        // two runs requesting the same set in a different order still produce
+        // byte-identical JSON.
+        if (checks.has('schema'))
+            channels.schema = computeSchemaChannel(store);
+        if (checks.has('clash'))
+            channels.clash = await computeClashChannel(store, await getProcessor(), modelId);
+        if (checks.has('ids'))
+            channels.ids = await computeIdsChannel(store, ids, idsDoc, locale);
+        return channels;
+    }
+    /** Apply a step batch atomically: on ANY failure, restore the pre-batch state. */
+    async function stepBatch(rawOps) {
+        // Phase 1: validate the whole batch before anything is applied.
+        const ops = rawOps.map(raw => parseOp(raw));
+        // Phase 2: apply + materialize + score; roll back to the journal on failure.
+        try {
+            for (const op of ops)
+                applyOp(mutationView, op);
+            const store = await materializeStore();
+            const channels = await computeChannels(store);
+            journal.push(...ops);
+            return channels;
+        }
+        catch (err) {
+            rebuildViewFromJournal();
+            throw err;
+        }
+    }
+    async function emitReset() {
+        journal = [];
+        mutationView = createMutationView();
+        const observation = computeObservation(originalStore);
+        const channels = await computeChannels(originalStore);
+        // `episode` only exists for generated episodes; --model resets keep the
+        // exact v0 payload shape for backward compatibility.
+        send(episode ? { type: 'reset', episode, observation, channels } : { type: 'reset', observation, channels });
+    }
+    await emitReset();
+    const rl = createInterface({ input, terminal: false, crlfDelay: Infinity });
+    // A broken pipe on stdout or a stdin failure must end the loop cleanly,
+    // not take the process down with an uncaught 'error' emitter event.
+    const onStreamError = () => {
+        rl.close();
+    };
+    input.on('error', onStreamError);
+    output.on('error', onStreamError);
+    for await (const line of rl) {
+        const trimmed = line.trim();
+        if (!trimmed)
+            continue;
+        let msg;
+        try {
+            msg = JSON.parse(trimmed);
+        }
+        catch (err) {
+            send({ type: 'error', message: `Malformed JSON: ${err.message}` });
+            continue;
+        }
+        const type = typeof msg === 'object' && msg !== null ? msg.type : undefined;
+        try {
+            if (type === 'step') {
+                const ops = msg.ops;
+                if (!Array.isArray(ops))
+                    throw new Error('"step" command needs an "ops" array');
+                const channels = await stepBatch(ops);
+                send({ type: 'reward', channels, done: false });
+            }
+            else if (type === 'reset') {
+                const m = msg;
+                if (m.seed !== undefined) {
+                    // New generated episode over the same protocol (episode factory).
+                    if (m.family !== undefined && typeof m.family !== 'string') {
+                        throw new Error('reset field "family" must be a string (frame|office|auto)');
+                    }
+                    if (m.corrupt !== undefined && typeof m.corrupt !== 'boolean') {
+                        throw new Error('reset field "corrupt" must be a boolean');
+                    }
+                    if (m.corrupt !== undefined && m.corruptRate !== undefined) {
+                        throw new Error('reset fields "corrupt" and "corruptRate" are mutually exclusive');
+                    }
+                    await loadEpisode({
+                        seed: parseSeed(m.seed, 'reset field "seed"'),
+                        family: m.family ?? 'auto',
+                        forceCorrupt: m.corrupt,
+                        corruptRate: m.corruptRate !== undefined ? parseCorruptRate(m.corruptRate, 'reset field "corruptRate"') : undefined,
+                    });
+                }
+                await emitReset();
+            }
+            else if (type === 'close') {
+                rl.close();
+                return;
+            }
+            else {
+                send({ type: 'error', message: `Unknown command type: ${JSON.stringify(type ?? null)}` });
+            }
+        }
+        catch (err) {
+            send({ type: 'error', message: err.message });
+        }
+    }
+}
+//# sourceMappingURL=gym.js.map

package/dist/commands/gym.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gym.js","sourceRoot":"","sources":["../../src/commands/gym.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsFG;AAEH,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAC;AAE9C,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAChD,OAAO,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,EAAE,YAAY,EAA2B,MAAM,eAAe,CAAC;AACtE,OAAO,EAEL,YAAY,EACZ,oBAAoB,EACpB,mBAAmB,EACnB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAc,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,EAGL,eAAe,EACf,SAAS,EACT,gBAAgB,GACjB,MAAM,kBAAkB,CAAC;AAE1B,MAAM,KAAK,GAAG,oMAAoM,CAAC;AAEnN,MAAM,iBAAiB,GAAyB,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;AAEnE,SAAS,WAAW,CAAC,GAAuB,EAAE,OAA2B;IACvE,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,CAAW,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1G,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAY,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAgB,CAAC,EAAE,CAAC;YAC7C,KAAK,CAAC,kBAAkB,IAAI,6BAA6B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvF,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,IAAgB,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,GAAuB;IAC1C,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAyB,CAAC,EAAE,CAAC;QAC3D,KAAK,CAAC,yBAAyB,GAAG,iBAAiB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,GAAyB,CAAC;AACnC,CAAC;AAWD,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,IAAc,EAAE,KAAY,EAAE;IAC7D,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC3C,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzC,IAAI,CAAC,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,SAAS,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,8CAA8C,KAAK,EAAE,CAAC,CAAC;IAEtG,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,OAAO,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;IAEtD,MAAM,MAAM,GAA0B,EAAE,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC;IAClE,MAAM,KAAK,GAA0B,EAAE,CAAC,KAAK,IAAI,OAAO,CAAC,KAAK,CAAC;IAE/D,SAAS,IAAI,CAAC,GAA4B;QACxC,MAAM,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,OAAe,CAAC;IACpB,IAAI,aAA2B,CAAC;IAChC,IAAI,OAAO,GAAuB,IAAI,CAAC;IAEvC,KAAK,UAAU,WAAW,CAAC,IAAiB;QAC1C,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,eAAe,CAAC,IAAI,CAAC,CAAC;QAC7D,aAAa,GAAG,MAAM,YAAY,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,YAAY,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC;QACzG,OAAO,GAAG,IAAI,CAAC;QACf,OAAO,GAAG,YAAY,IAAI,CAAC,IAAI,MAAM,CAAC;IACxC,CAAC;IAED,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9B,aAAa,GAAG,MAAM,WAAW,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;SAAM,CAAC;QACN,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;QAC3G,MAAM,eAAe,GAAG,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;QACxD,IAAI,YAAY,KAAK,SAAS,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAChE,KAAK,CAAC,qEAAqE,KAAK,EAAE,CAAC,CAAC;QACtF,CAAC;QACD,MAAM,WAAW,CAAC;YAChB,IAAI,EAAE,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC;YACnC,MAAM,EAAE,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM;YAC3C,YAAY;YACZ,WAAW,EAAE,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS;SAC7G,CAAC,CAAC;IACL,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,YAAY,EAAE,CAAC;IAC/B,IAAI,MAAM,GAAY,IAAI,CAAC;IAC3B,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,MAAM,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,GAAG,MAAM,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,uEAAuE;IACvE,6CAA6C;IAC7C,IAAI,SAAS,GAA6B,IAAI,CAAC;IAC/C,KAAK,UAAU,YAAY;QACzB,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,mEAAmE;YACnE,qEAAqE;YACrE,sEAAsE;YACtE,4DAA4D;YAC5D,MAAM,CAAC,GAAG,IAAI,iBAAiB,EAAE,CAAC;YAClC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,SAAS,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,SAAS,kBAAkB;QACzB,MAAM,IAAI,GAAG,IAAI,mBAAmB,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QACtD,IAAI,CAAC,oBAAoB,CAAC,CAAC,QAAgB,EAAE,EAAE,CAAC,yBAAyB,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpG,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;OAMG;IACH,IAAI,OAAO,GAAY,EAAE,CAAC;IAC1B,IAAI,YAAY,GAAG,kBAAkB,EAAE,CAAC;IAExC,SAAS,sBAAsB;QAC7B,YAAY,GAAG,kBAAkB,EAAE,CAAC;QACpC,KAAK,MAAM,EAAE,IAAI,OAAO;YAAE,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;IACtD,CAAC;IAED;;;;OAIG;IACH,KAAK,UAAU,gBAAgB;QAC7B,MAAM,MAAM,GAAG,CAAC,aAAa,CAAC,aAAa,IAAI,MAAM,CAA0C,CAAC;QAChG,MAAM,QAAQ,GAAG,IAAI,YAAY,CAAC,aAAa,EAAE,YAAY,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC;QACjE,OAAO,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC/C,CAAC;IAED,KAAK,UAAU,eAAe,CAAC,KAAmB;QAChD,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,sEAAsE;QACtE,sEAAsE;QACtE,uBAAuB;QACvB,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,QAAQ,CAAC,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QACxE,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,QAAQ,CAAC,KAAK,GAAG,MAAM,mBAAmB,CAAC,KAAK,EAAE,MAAM,YAAY,EAAE,EAAE,OAAO,CAAC,CAAC;QAC1G,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,GAAG,MAAM,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC1F,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,kFAAkF;IAClF,KAAK,UAAU,SAAS,CAAC,MAAiB;QACxC,gEAAgE;QAChE,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,6EAA6E;QAC7E,IAAI,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,GAAG;gBAAE,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC;YAChD,MAAM,KAAK,GAAG,MAAM,gBAAgB,EAAE,CAAC;YACvC,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC;YAC9C,OAAO,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;YACrB,OAAO,QAAQ,CAAC;QAClB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,sBAAsB,EAAE,CAAC;YACzB,MAAM,GAAG,CAAC;QACZ,CAAC;IACH,CAAC;IAED,KAAK,UAAU,SAAS;QACtB,OAAO,GAAG,EAAE,CAAC;QACb,YAAY,GAAG,kBAAkB,EAAE,CAAC;QACpC,MAAM,WAAW,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;QACtD,MAAM,QAAQ,GAAG,MAAM,eAAe,CAAC,aAAa,CAAC,CAAC;QACtD,wEAAwE;QACxE,qDAAqD;QACrD,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC/G,CAAC;IAED,MAAM,SAAS,EAAE,CAAC;IAElB,MAAM,EAAE,GAAG,eAAe,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC5E,wEAAwE;IACxE,oEAAoE;IACpE,MAAM,aAAa,GAAG,GAAS,EAAE;QAC/B,EAAE,CAAC,KAAK,EAAE,CAAC;IACb,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IACjC,MAAM,CAAC,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAElC,IAAI,KAAK,EAAE,MAAM,IAAI,IAAI,EAAE,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,IAAI,CAAC,OAAO;YAAE,SAAS;QAEvB,IAAI,GAAY,CAAC;QACjB,IAAI,CAAC;YACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,mBAAoB,GAAa,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YAC9E,SAAS;QACX,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,CAAC,CAAC,CAAE,GAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACpG,IAAI,CAAC;YACH,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBACpB,MAAM,GAAG,GAAI,GAAyB,CAAC,GAAG,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;gBAChF,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC;gBACtC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,GAAqF,CAAC;gBAChG,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBACzB,kEAAkE;oBAClE,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;wBAC3D,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;oBAC/E,CAAC;oBACD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;wBAC9D,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;oBAC7D,CAAC;oBACD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC3D,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;oBACrF,CAAC;oBACD,MAAM,WAAW,CAAC;wBAChB,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,oBAAoB,CAAC;wBAC7C,MAAM,EAAG,CAAC,CAAC,MAA6B,IAAI,MAAM;wBAClD,YAAY,EAAE,CAAC,CAAC,OAA8B;wBAC9C,WAAW,EAAE,CAAC,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,EAAE,2BAA2B,CAAC,CAAC,CAAC,CAAC,SAAS;qBACpH,CAAC,CAAC;gBACL,CAAC;gBACD,MAAM,SAAS,EAAE,CAAC;YACpB,CAAC;iBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,EAAE,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO;YACT,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,yBAAyB,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5F,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAG,GAAa,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/commands/simplify.d.ts

@@ -0,0 +1,2 @@
+export declare function simplifyCommand(args: string[]): Promise<void>;
+//# sourceMappingURL=simplify.d.ts.map

package/dist/commands/simplify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"simplify.d.ts","sourceRoot":"","sources":["../../src/commands/simplify.ts"],"names":[],"mappings":"AAoBA,wBAAsB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAsFnE"}

package/dist/commands/simplify.js

@@ -0,0 +1,102 @@
+/* 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/. */
+/**
+ * ifc-lite simplify <file.ifc> --out light.ifc [--level 1..5] [--ids 1,2,3] [--json]
+ *
+ * Demesher (dev/testing surface for the DemeshSession SDK API): simplify
+ * element meshes — levels 1-4 drop enclosed cavities and decimate to
+ * 0.5/0.25/0.10/0.03 of the triangle count, level 5 collapses each element
+ * to its bounding box — and write a lighter IFC where each simplified
+ * element's representation is replaced by an IfcTriangulatedFaceSet.
+ * `--level` defaults to 1; without --ids every element that produced a mesh
+ * is simplified.
+ */
+import { readFile, writeFile } from 'node:fs/promises';
+import { getFlag, hasFlag, fatal, printJson } from '../output.js';
+import { DemeshSession } from '@ifc-lite/export';
+export async function simplifyCommand(args) {
+    const filePath = args.find((a) => !a.startsWith('-'));
+    if (!filePath) {
+        fatal('Usage: ifc-lite simplify <file.ifc> --out light.ifc [--level 1..5] [--ids 1,2,3] [--json]');
+    }
+    const levelStr = getFlag(args, '--level');
+    const outPath = getFlag(args, '--out');
+    const idsStr = getFlag(args, '--ids');
+    const jsonOutput = hasFlag(args, '--json');
+    const level = Number(levelStr ?? '1');
+    if (!Number.isInteger(level) || level < 1 || level > 5) {
+        fatal('--level must be an integer 1..5 (1-4 = decimation tiers, 5 = bounding box; default 1)');
+    }
+    if (!outPath)
+        fatal('--out is required. Specify output file path.');
+    const source = new Uint8Array(await readFile(filePath));
+    const session = new DemeshSession(source);
+    try {
+        let ids;
+        if (idsStr) {
+            // Strict: every token must be a positive decimal integer. parseInt
+            // would silently accept '12foo' as 12, and filtering bad tokens away
+            // would silently simplify a different selection than the user typed.
+            const tokens = idsStr.split(',').map((s) => s.trim()).filter((s) => s.length > 0);
+            if (tokens.length === 0 || tokens.some((s) => !/^\d+$/.test(s) || Number(s) < 1 || !Number.isSafeInteger(Number(s)))) {
+                fatal('--ids must be a comma-separated list of positive integer express ids');
+            }
+            ids = tokens.map((s) => Number(s));
+        }
+        else {
+            // Every element that produced geometry, heaviest first.
+            ids = (await session.heaviest(Number.MAX_SAFE_INTEGER)).map((e) => e.expressId);
+            if (ids.length === 0)
+                fatal('No element meshes produced from this file.');
+        }
+        const simplified = await session.simplify(ids, level);
+        if (simplified.elements.length === 0) {
+            fatal(`No elements could be simplified (${simplified.skipped.length} skipped).`);
+        }
+        const exported = await session.exportIfc();
+        // The export can still skip elements the mesh pass simplified (missing
+        // representation attribute, no geometric context, ...). The exported
+        // report is the authority on what the written IFC actually contains —
+        // and when NOTHING was replaced there is no lighter file to write.
+        const replaced = exported.report.replaced.length;
+        if (replaced === 0) {
+            fatal(`Simplified ${simplified.elements.length} meshes, but none could be applied to the IFC ` +
+                `(${exported.report.skipped.length} skipped at export); not writing ${outPath}.`);
+        }
+        await writeFile(outPath, exported.bytes);
+        const trisBefore = simplified.elements.reduce((s, e) => s + e.trisBefore, 0);
+        const trisAfter = simplified.elements.reduce((s, e) => s + e.trisAfter, 0);
+        if (jsonOutput) {
+            printJson({
+                level,
+                simplified: simplified.elements.length,
+                replaced,
+                skipped: simplified.skipped,
+                exportSkipped: exported.report.skipped,
+                trianglesBefore: trisBefore,
+                trianglesAfter: trisAfter,
+                cavitiesDropped: simplified.elements.reduce((s, e) => s + e.cavitiesDropped, 0),
+                prunedEntities: exported.report.prunedEntityCount,
+                strippedOpenings: exported.report.strippedOpeningCount,
+                upconverted: exported.upconverted,
+                bytesBefore: exported.bytesBefore,
+                bytesAfter: exported.bytesAfter,
+                output: outPath,
+            });
+        }
+        else {
+            process.stderr.write(`Simplified ${simplified.elements.length} meshes at level ${level} ` +
+                `(${simplified.skipped.length} skipped), ${replaced} representations replaced` +
+                `${exported.report.skipped.length > 0 ? ` (${exported.report.skipped.length} skipped at export)` : ''}\n` +
+                `Triangles: ${trisBefore} -> ${trisAfter}\n` +
+                `File size: ${exported.bytesBefore} -> ${exported.bytesAfter} bytes` +
+                `${exported.upconverted ? ' (upconverted IFC2X3 -> IFC4)' : ''}\n` +
+                `Written to ${outPath}\n`);
+        }
+    }
+    finally {
+        session.destroy();
+    }
+}
+//# sourceMappingURL=simplify.js.map

package/dist/commands/simplify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"simplify.js","sourceRoot":"","sources":["../../src/commands/simplify.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,IAAc;IAClD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,KAAK,CAAC,2FAA2F,CAAC,CAAC;IACrG,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,IAAI,GAAG,CAAC,CAAC;IACtC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACvD,KAAK,CAAC,uFAAuF,CAAC,CAAC;IACjG,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAEpE,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,QAAS,CAAC,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,IAAI,aAAa,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC;QACH,IAAI,GAAa,CAAC;QAClB,IAAI,MAAM,EAAE,CAAC;YACX,mEAAmE;YACnE,qEAAqE;YACrE,qEAAqE;YACrE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAClF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACrH,KAAK,CAAC,sEAAsE,CAAC,CAAC;YAChF,CAAC;YACD,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;aAAM,CAAC;YACN,wDAAwD;YACxD,GAAG,GAAG,CAAC,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YAChF,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,KAAK,CAAC,4CAA4C,CAAC,CAAC;QAC5E,CAAC;QAED,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtD,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,oCAAoC,UAAU,CAAC,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,SAAS,EAAE,CAAC;QAC3C,uEAAuE;QACvE,qEAAqE;QACrE,sEAAsE;QACtE,mEAAmE;QACnE,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC;QACjD,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACnB,KAAK,CACH,cAAc,UAAU,CAAC,QAAQ,CAAC,MAAM,gDAAgD;gBACxF,IAAI,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,oCAAoC,OAAO,GAAG,CACjF,CAAC;QACJ,CAAC;QACD,MAAM,SAAS,CAAC,OAAQ,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAE1C,MAAM,UAAU,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC7E,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;QAC3E,IAAI,UAAU,EAAE,CAAC;YACf,SAAS,CAAC;gBACR,KAAK;gBACL,UAAU,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM;gBACtC,QAAQ;gBACR,OAAO,EAAE,UAAU,CAAC,OAAO;gBAC3B,aAAa,EAAE,QAAQ,CAAC,MAAM,CAAC,OAAO;gBACtC,eAAe,EAAE,UAAU;gBAC3B,cAAc,EAAE,SAAS;gBACzB,eAAe,EAAE,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;gBAC/E,cAAc,EAAE,QAAQ,CAAC,MAAM,CAAC,iBAAiB;gBACjD,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,oBAAoB;gBACtD,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,UAAU,EAAE,QAAQ,CAAC,UAAU;gBAC/B,MAAM,EAAE,OAAO;aAChB,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,cAAc,UAAU,CAAC,QAAQ,CAAC,MAAM,oBAAoB,KAAK,GAAG;gBACpE,IAAI,UAAU,CAAC,OAAO,CAAC,MAAM,cAAc,QAAQ,2BAA2B;gBAC9E,GAAG,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,qBAAqB,CAAC,CAAC,CAAC,EAAE,IAAI;gBACzG,cAAc,UAAU,OAAO,SAAS,IAAI;gBAC5C,cAAc,QAAQ,CAAC,WAAW,OAAO,QAAQ,CAAC,UAAU,QAAQ;gBACpE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,+BAA+B,CAAC,CAAC,CAAC,EAAE,IAAI;gBAClE,cAAc,OAAO,IAAI,CAC1B,CAAC;QACJ,CAAC;IACH,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,OAAO,EAAE,CAAC;IACpB,CAAC;AACH,CAAC"}

package/dist/commands/validate.d.ts

@@ -1,2 +1,42 @@
+import { type IfcDataStore } from '@ifc-lite/parser';
+export interface ValidationIssue {
+    severity: 'error' | 'warning' | 'info';
+    rule: string;
+    message: string;
+    /** Referencing entity's expressId (set by per-reference rules like reference-integrity). */
+    entityId?: number;
+    /** Zero-based top-level attribute slot of the offending value within the referencing entity. */
+    attributeIndex?: number;
+    /** The referenced expressId that does not exist in the file. */
+    target?: number;
+}
+/** One `#N` reference whose target expressId does not exist in the file. */
+interface DanglingReference {
+    /** expressId of the entity containing the reference. */
+    entityId: number;
+    /** STEP type name of the referencing entity (UPPERCASE, as scanned). */
+    entityType: string;
+    /** Zero-based top-level attribute slot the reference sits in (nested refs report their containing slot). */
+    attributeIndex: number;
+    /** The missing expressId being referenced. */
+    target: number;
+}
+/**
+ * Walk every indexed entity record and collect `#N` references whose target
+ * does not exist in the file (rule `reference-integrity`). Uses the parsed
+ * entity index for both iteration and existence checks; entities held in the
+ * deferred index (lazily-parsed property entities) count as existing and are
+ * scanned too.
+ */
+export declare function collectDanglingReferences(store: IfcDataStore): DanglingReference[];
+/**
+ * Run the structural validation checks (required entities, storeys, GlobalId
+ * uniqueness, naming, schema version, quantity completeness, reference
+ * integrity) against an already-parsed store. Pulled out of
+ * {@link validateCommand} so other consumers (tests, harnesses) reuse the
+ * exact same rules instead of re-implementing them.
+ */
+export declare function computeValidationIssues(store: IfcDataStore): ValidationIssue[];
 export declare function validateCommand(args: string[]): Promise<void>;
+export {};
 //# sourceMappingURL=validate.d.ts.map

package/dist/commands/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AA0BA,wBAAsB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAgInE"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/commands/validate.ts"],"names":[],"mappings":"AAmBA,OAAO,EAAgC,KAAK,YAAY,EAAkB,MAAM,kBAAkB,CAAC;AAEnG,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,4FAA4F;IAC5F,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gGAAgG;IAChG,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gEAAgE;IAChE,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,4EAA4E;AAC5E,UAAU,iBAAiB;IACzB,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAC;IACjB,wEAAwE;IACxE,UAAU,EAAE,MAAM,CAAC;IACnB,4GAA4G;IAC5G,cAAc,EAAE,MAAM,CAAC;IACvB,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAC;CAChB;AAuFD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,YAAY,GAAG,iBAAiB,EAAE,CAmBlF;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,YAAY,GAAG,eAAe,EAAE,CA2H9E;AAED,wBAAsB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAmCnE"}