@ifc-lite/cli 0.17.2 → 0.18.0

package/dist/commands/layer-publish.d.ts

@@ -0,0 +1,67 @@
+import type { AuthorKind, IfcxFile, ProvenanceCheck } from '@ifc-lite/ifcx';
+import { type LayerStore } from './layer-store.js';
+/** A derived op descriptor with the entity path kept for diagnostics. */
+export interface DerivedScopeOp {
+    path: string;
+    capability: string;
+    ifcType?: string;
+}
+/**
+ * Derive op descriptors from a delta's nodes against the base state:
+ * tombstones → `model.delete`, new entities → `model.create`, everything
+ * else `model.mutate:<target>` per attribute (target = Pset/Qto name when
+ * present in the key, else the last `::` segment).
+ */
+export declare function deriveScopeOps(delta: IfcxFile, baseLayers: readonly IfcxFile[]): DerivedScopeOp[];
+export interface ScopeVerification {
+    verified: boolean;
+    violations: DerivedScopeOp[];
+}
+/**
+ * Verify derived ops against declared claims. An empty claim list skips
+ * verification (claims are optional); parse errors throw.
+ */
+export declare function verifyScopeClaims(claims: readonly string[], ops: readonly DerivedScopeOp[]): ScopeVerification;
+export interface PublishInit {
+    delta: IfcxFile;
+    /** Base ref name; null when published against nothing ('-'). */
+    baseRef: string | null;
+    intent: string;
+    scope?: string[];
+    principal?: string;
+    kind?: AuthorKind;
+    created?: string;
+    /** Abort (throw ScopeViolationError) instead of storing a flagged layer. */
+    strictScope?: boolean;
+    /** Verified check evidence to stamp into the manifest (see parseCheckEvidence). */
+    checks?: ProvenanceCheck[];
+}
+/** Thrown under `strictScope` before any side effect; CLI maps it to exit 4. */
+export declare class ScopeViolationError extends Error {
+    readonly violations: DerivedScopeOp[];
+    constructor(violations: DerivedScopeOp[]);
+}
+export interface PublishResult {
+    layerId: string;
+    file: IfcxFile;
+    opCount: number;
+    scopeVerified: boolean;
+    violations: DerivedScopeOp[];
+}
+/** Build provenance, content-address, scope-verify and store a delta. */
+export declare function publishLayer(store: LayerStore, init: PublishInit): PublishResult;
+/**
+ * Parse `--check <spec.ids>=<report.json>` flags into manifest evidence.
+ *
+ * The report must be the JSON written by `ifc-lite ids <model> <rules.ids>
+ * --json`; pass/fail is derived from its summary — never asserted by the
+ * caller — and both files are content-addressed so a registry (or a merge
+ * reviewer) can verify the evidence byte-for-byte. In-process IDS
+ * execution over the composed IFCX state is L3 roadmap work; until then
+ * this is the one honest producer of `manifest.checks`.
+ */
+export declare function parseCheckEvidence(flags: readonly string[]): ProvenanceCheck[];
+export declare function layerPublishCommand(args: string[]): Promise<void>;
+export declare function layerCreateCommand(args: string[]): Promise<void>;
+export declare function layerStatusCommand(args: string[]): Promise<void>;
+//# sourceMappingURL=layer-publish.d.ts.map

package/dist/commands/layer-publish.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-publish.d.ts","sourceRoot":"","sources":["../../src/commands/layer-publish.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAkB,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAa5F,OAAO,EAWL,KAAK,UAAU,EAChB,MAAM,kBAAkB,CAAC;AAK1B,yEAAyE;AACzE,MAAM,WAAW,cAAc;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAeD;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,QAAQ,EAAE,GAAG,cAAc,EAAE,CAqCjG;AAkBD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,cAAc,EAAE,CAAC;CAC9B;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,SAAS,MAAM,EAAE,EACzB,GAAG,EAAE,SAAS,cAAc,EAAE,GAC7B,iBAAiB,CASnB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,QAAQ,CAAC;IAChB,gEAAgE;IAChE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IACvB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC;IACjB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,UAAU,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,4EAA4E;IAC5E,WAAW,CAAC,EAAE,OAAO,CAAC;IACtB,mFAAmF;IACnF,MAAM,CAAC,EAAE,eAAe,EAAE,CAAC;CAC5B;AAED,gFAAgF;AAChF,qBAAa,mBAAoB,SAAQ,KAAK;IAC5C,QAAQ,CAAC,UAAU,EAAE,cAAc,EAAE,CAAC;gBAC1B,UAAU,EAAE,cAAc,EAAE;CAKzC;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,OAAO,CAAC;IACvB,UAAU,EAAE,cAAc,EAAE,CAAC;CAC9B;AAED,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,GAAG,aAAa,CA6BhF;AAMD;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,eAAe,EAAE,CAkB9E;AAgCD,wBAAsB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CA8DvE;AAED,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAiBtE;AAED,wBAAsB,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAsBtE"}

package/dist/commands/layer-publish.js

@@ -0,0 +1,299 @@
+/* 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 layer publish|create|status` — publish a delta document as a
+ * content-addressed layer, with publish-time scope verification
+ * (07-security.md §7.2), plus the draft descriptor workflow.
+ */
+import { readFileSync } from 'node:fs';
+import { basename } from 'node:path';
+import { ATTR, IFCLITE_ATTR, blake3Digest, computeLayerId, computeStackHash, createProvenanceManifest, setProvenance, } from '@ifc-lite/ifcx';
+import { extractStackState } from '@ifc-lite/merge';
+import { findCoveringClaim, parseScopeClaims } from '@ifc-lite/extensions';
+import { getAllFlags, getFlag, hasFlag, printJson } from '../output.js';
+import { deleteDraft, defaultPrincipal, loadRefLayers, readDraft, readIfcxFile, refStackHash, requireRef, storeFromArgs, storeLayer, writeDraft, } from './layer-store.js';
+const PSET_QTO_RE = /(?:^|::)((?:Pset|Qto)_[A-Za-z0-9_]+)(?:::|$)/;
+const AUTHOR_KINDS = ['human', 'agent', 'hybrid'];
+function classCodeOf(value) {
+    if (typeof value === 'object' && value !== null) {
+        const code = value.code;
+        if (typeof code === 'string')
+            return code;
+    }
+    return undefined;
+}
+function ifcTypeFor(node, baseEntity) {
+    const baseClass = baseEntity?.components.get('attr:class');
+    return classCodeOf(baseClass?.[ATTR.CLASS]) ?? classCodeOf(node.attributes?.[ATTR.CLASS]);
+}
+/**
+ * Derive op descriptors from a delta's nodes against the base state:
+ * tombstones → `model.delete`, new entities → `model.create`, everything
+ * else `model.mutate:<target>` per attribute (target = Pset/Qto name when
+ * present in the key, else the last `::` segment).
+ */
+export function deriveScopeOps(delta, baseLayers) {
+    const baseState = extractStackState(baseLayers);
+    const ops = [];
+    for (const node of delta.data) {
+        const baseEntity = baseState.get(node.path);
+        const ifcType = ifcTypeFor(node, baseEntity);
+        const push = (capability) => {
+            const op = { path: node.path, capability };
+            if (ifcType !== undefined)
+                op.ifcType = ifcType;
+            ops.push(op);
+        };
+        if (node.attributes?.[IFCLITE_ATTR.DELETED] === true) {
+            push('model.delete');
+            continue;
+        }
+        if (baseEntity === undefined || baseEntity.deleted) {
+            push('model.create');
+            continue;
+        }
+        for (const key of Object.keys(node.attributes ?? {})) {
+            if (key === IFCLITE_ATTR.DELETED || key.startsWith(IFCLITE_ATTR.DERIVED))
+                continue;
+            const setMatch = PSET_QTO_RE.exec(key);
+            const target = setMatch ? setMatch[1] : key.split('::').pop() ?? key;
+            push(`model.mutate:${target}`);
+        }
+        // Structural edits are write capabilities too: a delta that only
+        // touches children/inherits must not bypass scope verification.
+        if (hierarchyChanged(node.children, baseEntity.children)) {
+            push('model.mutate:children');
+        }
+        if (hierarchyChanged(node.inherits, baseEntity.inherits)) {
+            push('model.mutate:inherits');
+        }
+    }
+    return ops;
+}
+/** True when a children/inherits delta differs from the base slots. */
+function hierarchyChanged(delta, base) {
+    if (!delta)
+        return false;
+    for (const [role, target] of Object.entries(delta)) {
+        if (target === null) {
+            if (base.has(role))
+                return true;
+        }
+        else if (base.get(role) !== target) {
+            return true;
+        }
+    }
+    return false;
+}
+/**
+ * Verify derived ops against declared claims. An empty claim list skips
+ * verification (claims are optional); parse errors throw.
+ */
+export function verifyScopeClaims(claims, ops) {
+    if (claims.length === 0)
+        return { verified: true, violations: [] };
+    const parsed = parseScopeClaims(claims);
+    if (!parsed.ok) {
+        const detail = parsed.errors.map((e) => e.message).join('; ');
+        throw new Error(`Invalid scope claim(s): ${detail}`);
+    }
+    const violations = ops.filter((op) => findCoveringClaim(parsed.value, op) === undefined);
+    return { verified: violations.length === 0, violations };
+}
+/** Thrown under `strictScope` before any side effect; CLI maps it to exit 4. */
+export class ScopeViolationError extends Error {
+    violations;
+    constructor(violations) {
+        super(`scope claim mismatch: ${violations.length} op(s) outside the declared claims`);
+        this.name = 'ScopeViolationError';
+        this.violations = violations;
+    }
+}
+/** Build provenance, content-address, scope-verify and store a delta. */
+export function publishLayer(store, init) {
+    const baseLayers = init.baseRef === null ? [] : loadRefLayers(store, init.baseRef);
+    const base = init.baseRef === null
+        ? null
+        : { kind: 'stack', id: computeStackHash(requireRef(store, init.baseRef).layers) };
+    const scope = init.scope ?? [];
+    const manifest = createProvenanceManifest({
+        author: { kind: init.kind ?? 'human', principal: init.principal ?? defaultPrincipal() },
+        intent: init.intent,
+        base,
+        created: init.created,
+        scope_claim: scope,
+        checks: init.checks ?? [],
+    });
+    // Verify before any side effect: a strict-scope failure must leave the
+    // store (and the draft) untouched and never print success output.
+    const ops = deriveScopeOps(init.delta, baseLayers);
+    const { verified, violations } = verifyScopeClaims(scope, ops);
+    if (!verified && init.strictScope) {
+        throw new ScopeViolationError(violations);
+    }
+    const withManifest = setProvenance(init.delta, manifest);
+    const layerId = computeLayerId(withManifest);
+    const file = { ...withManifest, header: { ...withManifest.header, id: layerId } };
+    storeLayer(store, file);
+    return { layerId, file, opCount: ops.length, scopeVerified: verified, violations };
+}
+// ---------------------------------------------------------------------------
+// check evidence
+// ---------------------------------------------------------------------------
+/**
+ * Parse `--check <spec.ids>=<report.json>` flags into manifest evidence.
+ *
+ * The report must be the JSON written by `ifc-lite ids <model> <rules.ids>
+ * --json`; pass/fail is derived from its summary — never asserted by the
+ * caller — and both files are content-addressed so a registry (or a merge
+ * reviewer) can verify the evidence byte-for-byte. In-process IDS
+ * execution over the composed IFCX state is L3 roadmap work; until then
+ * this is the one honest producer of `manifest.checks`.
+ */
+export function parseCheckEvidence(flags) {
+    return flags.map((raw) => {
+        const eq = raw.indexOf('=');
+        if (eq <= 0 || eq === raw.length - 1) {
+            throw new Error(`--check expects <spec.ids>=<report.json>, got "${raw}"`);
+        }
+        const specPath = raw.slice(0, eq);
+        const reportPath = raw.slice(eq + 1);
+        const specContent = readFileSync(specPath, 'utf-8');
+        const reportContent = readFileSync(reportPath, 'utf-8');
+        return {
+            tool: '@ifc-lite/ids',
+            spec: basename(specPath),
+            specDigest: blake3Digest(specContent),
+            result: checkResultOf(reportContent, reportPath),
+            report: blake3Digest(reportContent),
+        };
+    });
+}
+/** Derive pass/fail from an `ifc-lite ids --json` report's summary. */
+function checkResultOf(reportContent, label) {
+    let parsed;
+    try {
+        parsed = JSON.parse(reportContent);
+    }
+    catch (err) {
+        throw new Error(`Check report ${label} is not valid JSON: ${err instanceof Error ? err.message : String(err)}`);
+    }
+    const summary = parsed.summary;
+    const failed = summary?.failedSpecifications;
+    if (typeof failed !== 'number') {
+        throw new Error(`Check report ${label} has no summary.failedSpecifications — expected the JSON written by \`ifc-lite ids <model> <rules.ids> --json\``);
+    }
+    return failed === 0 ? 'pass' : 'fail';
+}
+// ---------------------------------------------------------------------------
+// commands
+// ---------------------------------------------------------------------------
+function parseKind(raw) {
+    if (raw === undefined)
+        return 'human';
+    if (AUTHOR_KINDS.includes(raw))
+        return raw;
+    throw new Error(`--kind must be one of ${AUTHOR_KINDS.join(' | ')}, got "${raw}"`);
+}
+export async function layerPublishCommand(args) {
+    const store = storeFromArgs(args);
+    const deltaPath = args[0];
+    if (!deltaPath || deltaPath.startsWith('-')) {
+        throw new Error('Usage: ifc-lite layer publish <delta.ifcx> --base <ref|-> --intent "<text>" [--scope <claim>]... [--check <spec.ids>=<report.json>]... [--principal <id>] [--kind human|agent|hybrid] [--strict-scope] [--json]');
+    }
+    const draft = readDraft(store);
+    const baseFlag = getFlag(args, '--base') ?? draft?.base;
+    if (baseFlag === undefined) {
+        throw new Error('Missing --base <ref|-> (no draft.json to default from)');
+    }
+    const intent = getFlag(args, '--intent') ?? draft?.intent;
+    if (intent === undefined) {
+        throw new Error('Missing --intent (no draft.json to default from)');
+    }
+    const scopeFlags = getAllFlags(args, '--scope');
+    const scope = scopeFlags.length > 0 ? scopeFlags : draft?.scope ?? [];
+    let result;
+    try {
+        result = publishLayer(store, {
+            delta: readIfcxFile(deltaPath),
+            baseRef: baseFlag === '-' ? null : baseFlag,
+            intent,
+            scope,
+            principal: getFlag(args, '--principal'),
+            kind: parseKind(getFlag(args, '--kind')),
+            strictScope: hasFlag(args, '--strict-scope'),
+            checks: parseCheckEvidence(getAllFlags(args, '--check')),
+        });
+    }
+    catch (error) {
+        if (error instanceof ScopeViolationError) {
+            // Nothing was stored and the draft is kept for retry.
+            process.stderr.write('Scope claim mismatch — ops outside the declared claims:\n');
+            for (const op of error.violations) {
+                const type = op.ifcType ? ` (${op.ifcType})` : '';
+                process.stderr.write(`  ${op.path}: ${op.capability}${type}\n`);
+            }
+            process.exit(4);
+        }
+        throw error;
+    }
+    if (!result.scopeVerified) {
+        process.stderr.write('Warning: scope claim mismatch — ops outside the declared claims:\n');
+        for (const op of result.violations) {
+            const type = op.ifcType ? ` (${op.ifcType})` : '';
+            process.stderr.write(`  ${op.path}: ${op.capability}${type}\n`);
+        }
+    }
+    if (draft)
+        deleteDraft(store);
+    if (hasFlag(args, '--json')) {
+        printJson({ id: result.layerId, opCount: result.opCount, scope_verified: result.scopeVerified });
+    }
+    else {
+        process.stdout.write(`${result.layerId}\n`);
+        process.stderr.write(`Published ${result.opCount} op(s) to ${store.dir}\n`);
+    }
+}
+export async function layerCreateCommand(args) {
+    const store = storeFromArgs(args);
+    const baseRef = getFlag(args, '--base');
+    const intent = getFlag(args, '--intent');
+    if (!baseRef || !intent) {
+        throw new Error('Usage: ifc-lite layer create --base <ref> --intent "<text>" [--scope <claim>]...');
+    }
+    const draft = {
+        base: baseRef,
+        baseStackHash: baseRef === '-' ? computeStackHash([]) : refStackHash(store, baseRef),
+        intent,
+        scope: getAllFlags(args, '--scope'),
+        created: new Date().toISOString(),
+    };
+    writeDraft(store, draft);
+    if (hasFlag(args, '--json'))
+        printJson(draft);
+    else
+        process.stderr.write(`Draft recorded at ${store.dir}/draft.json (base ${baseRef})\n`);
+}
+export async function layerStatusCommand(args) {
+    const store = storeFromArgs(args);
+    const draft = readDraft(store);
+    if (!draft) {
+        process.stderr.write(`No draft in ${store.dir} — run 'ifc-lite layer create' first.\n`);
+        process.exit(1);
+    }
+    const currentHash = draft.base === '-' ? computeStackHash([]) : refStackHash(store, draft.base);
+    const baseMoved = currentHash !== draft.baseStackHash;
+    if (hasFlag(args, '--json')) {
+        printJson({ ...draft, baseMoved, currentBaseStackHash: currentHash });
+        return;
+    }
+    process.stdout.write(`base:    ${draft.base}\n`);
+    process.stdout.write(`intent:  ${draft.intent}\n`);
+    process.stdout.write(`scope:   ${draft.scope.length > 0 ? draft.scope.join(', ') : '(none)'}\n`);
+    process.stdout.write(`created: ${draft.created}\n`);
+    process.stdout.write(baseMoved
+        ? `base ref has MOVED since the draft was created (${draft.baseStackHash} → ${currentHash})\n`
+        : 'base ref has not moved\n');
+}
+//# sourceMappingURL=layer-publish.js.map

package/dist/commands/layer-publish.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-publish.js","sourceRoot":"","sources":["../../src/commands/layer-publish.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;GAIG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AAErC,OAAO,EACL,IAAI,EACJ,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,gBAAgB,EAChB,wBAAwB,EACxB,aAAa,GACd,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,iBAAiB,EAAoB,MAAM,iBAAiB,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACxE,OAAO,EACL,WAAW,EACX,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,YAAY,EACZ,YAAY,EACZ,UAAU,EACV,aAAa,EACb,UAAU,EACV,UAAU,GAEX,MAAM,kBAAkB,CAAC;AAE1B,MAAM,WAAW,GAAG,8CAA8C,CAAC;AACnE,MAAM,YAAY,GAA0B,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;AASzE,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,GAAI,KAA4B,CAAC,IAAI,CAAC;QAChD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;IAC5C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,UAAU,CAAC,IAA8B,EAAE,UAAmC;IACrF,MAAM,SAAS,GAAG,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;IAC3D,OAAO,WAAW,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,KAAe,EAAE,UAA+B;IAC7E,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAChD,MAAM,GAAG,GAAqB,EAAE,CAAC;IAEjC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,UAAU,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,UAAkB,EAAQ,EAAE;YACxC,MAAM,EAAE,GAAmB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,CAAC;YAC3D,IAAI,OAAO,KAAK,SAAS;gBAAE,EAAE,CAAC,OAAO,GAAG,OAAO,CAAC;YAChD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,CAAC,CAAC;QAEF,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC;YACrD,IAAI,CAAC,cAAc,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;YACnD,IAAI,CAAC,cAAc,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;YACrD,IAAI,GAAG,KAAK,YAAY,CAAC,OAAO,IAAI,GAAG,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC;gBAAE,SAAS;YACnF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC;YACrE,IAAI,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAC;QACjC,CAAC;QACD,iEAAiE;QACjE,gEAAgE;QAChE,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzD,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,uEAAuE;AACvE,SAAS,gBAAgB,CACvB,KAAgD,EAChD,IAAyB;IAEzB,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAClC,CAAC;aAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;YACrC,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAOD;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAyB,EACzB,GAA8B;IAE9B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;IACnE,MAAM,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACxC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,2BAA2B,MAAM,EAAE,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC,CAAC;IACzF,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC;AAC3D,CAAC;AAiBD,gFAAgF;AAChF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,UAAU,CAAmB;IACtC,YAAY,UAA4B;QACtC,KAAK,CAAC,yBAAyB,UAAU,CAAC,MAAM,oCAAoC,CAAC,CAAC;QACtF,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;IAC/B,CAAC;CACF;AAUD,yEAAyE;AACzE,MAAM,UAAU,YAAY,CAAC,KAAiB,EAAE,IAAiB;IAC/D,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;IACnF,MAAM,IAAI,GACR,IAAI,CAAC,OAAO,KAAK,IAAI;QACnB,CAAC,CAAC,IAAI;QACN,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;IAEtF,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;IAC/B,MAAM,QAAQ,GAAG,wBAAwB,CAAC;QACxC,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,IAAI,gBAAgB,EAAE,EAAE;QACvF,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,IAAI;QACJ,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,WAAW,EAAE,KAAK;QAClB,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;KAC1B,CAAC,CAAC;IACH,uEAAuE;IACvE,kEAAkE;IAClE,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IACnD,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,MAAM,IAAI,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC;IAC7C,MAAM,IAAI,GAAa,EAAE,GAAG,YAAY,EAAE,MAAM,EAAE,EAAE,GAAG,YAAY,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,CAAC;IAC5F,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACxB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;AACrF,CAAC;AAED,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAwB;IACzD,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACvB,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,KAAK,CAAC,kDAAkD,GAAG,GAAG,CAAC,CAAC;QAC5E,CAAC;QACD,MAAM,QAAQ,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,UAAU,GAAG,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACpD,MAAM,aAAa,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACxD,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC;YACxB,UAAU,EAAE,YAAY,CAAC,WAAW,CAAC;YACrC,MAAM,EAAE,aAAa,CAAC,aAAa,EAAE,UAAU,CAAC;YAChD,MAAM,EAAE,YAAY,CAAC,aAAa,CAAC;SACpC,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,uEAAuE;AACvE,SAAS,aAAa,CAAC,aAAqB,EAAE,KAAa;IACzD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,gBAAgB,KAAK,uBAAuB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAC/F,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAI,MAA2D,CAAC,OAAO,CAAC;IACrF,MAAM,MAAM,GAAG,OAAO,EAAE,oBAAoB,CAAC;IAC7C,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACb,gBAAgB,KAAK,iHAAiH,CACvI,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;AACxC,CAAC;AAED,8EAA8E;AAC9E,WAAW;AACX,8EAA8E;AAE9E,SAAS,SAAS,CAAC,GAAuB;IACxC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACtC,IAAK,YAAkC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,OAAO,GAAiB,CAAC;IAChF,MAAM,IAAI,KAAK,CAAC,yBAAyB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,IAAc;IACtD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CACb,iNAAiN,CAClN,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,KAAK,EAAE,IAAI,CAAC;IACxD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,KAAK,EAAE,MAAM,CAAC;IAC1D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,UAAU,GAAG,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,EAAE,KAAK,IAAI,EAAE,CAAC;IAEtE,IAAI,MAAM,CAAC;IACX,IAAI,CAAC;QACH,MAAM,GAAG,YAAY,CAAC,KAAK,EAAE;YAC3B,KAAK,EAAE,YAAY,CAAC,SAAS,CAAC;YAC9B,OAAO,EAAE,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ;YAC3C,MAAM;YACN,KAAK;YACL,SAAS,EAAE,OAAO,CAAC,IAAI,EAAE,aAAa,CAAC;YACvC,IAAI,EAAE,SAAS,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACxC,WAAW,EAAE,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC;YAC5C,MAAM,EAAE,kBAAkB,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,mBAAmB,EAAE,CAAC;YACzC,sDAAsD;YACtD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,2DAA2D,CAAC,CAAC;YAClF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;gBAClC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,CAAC,CAAC;YAClE,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;QAC1B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oEAAoE,CAAC,CAAC;QAC3F,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAClD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,GAAG,IAAI,IAAI,CAAC,CAAC;QAClE,CAAC;IACH,CAAC;IAED,IAAI,KAAK;QAAE,WAAW,CAAC,KAAK,CAAC,CAAC;IAE9B,IAAI,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5B,SAAS,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC;IACnG,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC;QAC5C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,MAAM,CAAC,OAAO,aAAa,KAAK,CAAC,GAAG,IAAI,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACzC,IAAI,CAAC,OAAO,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,KAAK,GAAG;QACZ,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,OAAO,CAAC;QACpF,MAAM;QACN,KAAK,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC;QACnC,OAAO,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAClC,CAAC;IACF,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,IAAI,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;QAAE,SAAS,CAAC,KAAK,CAAC,CAAC;;QACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,qBAAqB,KAAK,CAAC,GAAG,qBAAqB,OAAO,KAAK,CAAC,CAAC;AAC7F,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,IAAc;IACrD,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,GAAG,yCAAyC,CAAC,CAAC;QACxF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAChG,MAAM,SAAS,GAAG,WAAW,KAAK,KAAK,CAAC,aAAa,CAAC;IACtD,IAAI,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5B,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,SAAS,EAAE,oBAAoB,EAAE,WAAW,EAAE,CAAC,CAAC;QACtE,OAAO;IACT,CAAC;IACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;IACjD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC;IACnD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC;IACjG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,SAAS;QACP,CAAC,CAAC,mDAAmD,KAAK,CAAC,aAAa,MAAM,WAAW,KAAK;QAC9F,CAAC,CAAC,0BAA0B,CAC/B,CAAC;AACJ,CAAC"}

package/dist/commands/layer-store.d.ts

@@ -0,0 +1,59 @@
+import type { IfcxFile } from '@ifc-lite/ifcx';
+import type { RefEntry } from '@ifc-lite/merge';
+export type { RefEntry, RefPolicy } from '@ifc-lite/merge';
+export interface RefsFile {
+    refs: Record<string, RefEntry>;
+}
+/** Draft descriptor recorded by `ifc-lite layer create`. */
+export interface DraftDescriptor {
+    /** Base ref name ('-' for none). */
+    base: string;
+    /** Stack hash of the base ref at draft-creation time. */
+    baseStackHash: string;
+    intent: string;
+    scope: string[];
+    created: string;
+}
+export interface LayerStore {
+    dir: string;
+}
+/** Open (without creating) a store rooted at `dir` or `<cwd>/.ifc-lite`. */
+export declare function openStore(dir?: string): LayerStore;
+/** Store from CLI args: honours the `--store <dir>` override. */
+export declare function storeFromArgs(args: string[]): LayerStore;
+export declare function readRefs(store: LayerStore): RefsFile;
+export declare function writeRefs(store: LayerStore, refs: RefsFile): void;
+export declare function getRef(store: LayerStore, name: string): RefEntry | undefined;
+export declare function requireRef(store: LayerStore, name: string): RefEntry;
+export declare function setRef(store: LayerStore, name: string, entry: RefEntry): void;
+/** Stack hash of a ref's current layer list. */
+export declare function refStackHash(store: LayerStore, name: string): string;
+/** Persist a published layer; `file.header.id` must be its blake3 id. */
+export declare function storeLayer(store: LayerStore, file: IfcxFile): string;
+export declare function hasLayer(store: LayerStore, layerId: string): boolean;
+/** Resolve a full id, bare hex, or unique hex prefix to a full layer id. */
+export declare function resolveLayerId(store: LayerStore, idOrPrefix: string): string;
+export declare function loadLayer(store: LayerStore, layerId: string): IfcxFile;
+/** Load a ref's layer documents, ordered weakest first. */
+export declare function loadRefLayers(store: LayerStore, name: string): IfcxFile[];
+export declare function readDraft(store: LayerStore): DraftDescriptor | undefined;
+export declare function writeDraft(store: LayerStore, draft: DraftDescriptor): void;
+export declare function deleteDraft(store: LayerStore): void;
+export declare function parseIfcxJson(text: string, label: string): IfcxFile;
+export declare function readIfcxFile(path: string): IfcxFile;
+export interface ResolvedSide {
+    kind: 'ref' | 'layer' | 'file';
+    /** Ordered layer documents (a ref's stack, or a single document). */
+    layers: IfcxFile[];
+    label: string;
+}
+/**
+ * Resolve a `<layer-id|ref|file.ifcx>` argument to an ordered layer list:
+ * refs win over layer ids, layer ids over file paths.
+ */
+export declare function resolveSide(store: LayerStore, spec: string): ResolvedSide;
+/** Short display form of a `blake3:<hex>` id. */
+export declare function shortId(layerId: string): string;
+/** Default principal for provenance authorship. */
+export declare function defaultPrincipal(): string;
+//# sourceMappingURL=layer-store.d.ts.map

package/dist/commands/layer-store.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"layer-store.d.ts","sourceRoot":"","sources":["../../src/commands/layer-store.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAiBhD,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAE3D,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;CAChC;AAED,4DAA4D;AAC5D,MAAM,WAAW,eAAe;IAC9B,oCAAoC;IACpC,IAAI,EAAE,MAAM,CAAC;IACb,yDAAyD;IACzD,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,EAAE,MAAM,CAAC;CACb;AAED,4EAA4E;AAC5E,wBAAgB,SAAS,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,UAAU,CAElD;AAED,iEAAiE;AACjE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAExD;AAkBD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,GAAG,QAAQ,CAmCpD;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,GAAG,IAAI,CAGjE;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAE5E;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAIpE;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,GAAG,IAAI,CAI7E;AAED,gDAAgD;AAChD,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEpE;AAUD,yEAAyE;AACzE,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAQpE;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEpE;AAED,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,CAY5E;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,QAAQ,CAiBtE;AAED,2DAA2D;AAC3D,wBAAgB,aAAa,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,EAAE,CAEzE;AAMD,wBAAgB,SAAS,CAAC,KAAK,EAAE,UAAU,GAAG,eAAe,GAAG,SAAS,CAOxE;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,eAAe,GAAG,IAAI,CAG1E;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAEnD;AAMD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAiBnE;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,CAEnD;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,KAAK,GAAG,OAAO,GAAG,MAAM,CAAC;IAC/B,qEAAqE;IACrE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnB,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAczE;AAED,iDAAiD;AACjD,wBAAgB,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAE/C;AAED,mDAAmD;AACnD,wBAAgB,gBAAgB,IAAI,MAAM,CAEzC"}