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

package/README.md

@@ -1,3 +1,470 @@
-# Temporary Holding Version
+# @ifc-lite/ids-authoring
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Headless authoring core for IDS (buildingSMART Information Delivery
+Specification) documents. A UI, an AI agent, an import or the CLI changes an
+IDS only through the typed, invertible operations defined here. Every
+operation passes a grounding gate first, which checks names against the IFC
+schema tables of `@ifc-lite/data`.
+
+- **`StudioDocument`**: the `@ifc-lite/ids` `IDSDocument`, plus a stable UUID
+  for every node (specification, applicability facet, requirement and
+  constraint) and the Studio sidecar (`meta`).
+- **Operation vocabulary v1**: plain JSON ops. One JSON Schema is used both
+  to validate ops at runtime and as the tool schema handed to AI agents.
+- **Reducer**: `apply(doc, ops)` is pure and records the exact inverse of
+  every op, so undo restores a deep-equal document.
+- **Grounding gate**: `checkOps(ops, doc, ctx)` returns issues as data
+  (`code`, `path`, `message`, ranked `candidates`). It never throws on bad
+  input.
+- **History**: transactions and undo/redo, plus a `PersistenceAdapter`
+  interface.
+- **Sidecar**: `studio.json` and `.idsz` bundles.
+- **Re-identification** of externally edited IDS files.
+- **Plain-language rendering** of facets in English, German and French.
+
+## Quick example
+
+```ts
+import {
+  checkOps,
+  commit,
+  createGateContext,
+  createStudioDocument,
+  createStudioState,
+  undo,
+  uuidv7,
+  type StudioOp,
+} from '@ifc-lite/ids-authoring';
+
+const ctx = await createGateContext();
+let state = createStudioState(createStudioDocument({ title: 'Fire safety' }));
+
+const specId = uuidv7();
+const ops: StudioOp[] = [
+  { kind: 'spec.add', opId: uuidv7(), payload: { specId, name: 'Doors', ifcVersions: ['IFC4'] } },
+  {
+    kind: 'facet.add',
+    opId: uuidv7(),
+    payload: { specId, section: 'applicability', facetId: uuidv7(), facet: { type: 'entity', name: { kind: 'equals', value: 'IfcDoor' } } },
+  },
+  {
+    kind: 'facet.add',
+    opId: uuidv7(),
+    payload: {
+      specId,
+      section: 'requirements',
+      facetId: uuidv7(),
+      facet: {
+        type: 'property',
+        propertySet: { kind: 'equals', value: 'Pset_DoorCommon' },
+        baseName: { kind: 'equals', value: 'FireRatng' }, // typo
+      },
+    },
+  },
+];
+
+const gate = checkOps(ops, state.doc, ctx);
+// gate.ok === false
+// gate.issues[0] → { code: 'GATE-PROP-001', path: 'ops[2].payload.facet.baseName',
+//                    candidates: [{ value: 'FireRating', … }], … }
+
+if (gate.ok) {
+  state = commit(state, ops, { source: { by: 'user' } }).state; // one history entry
+  state = undo(state); // reverts all three ops
+}
+```
+
+## Operations (opsVersion 1)
+
+All ops have the shape `{ kind, opId, payload }`. `getOpJsonSchema()` returns
+the full JSON Schema and `validateOp(value)` checks an untrusted value
+against it.
+
+| Group | Kinds |
+|---|---|
+| Document | `doc.setInfo` |
+| Specification | `spec.add`, `spec.remove`, `spec.duplicate`, `spec.move`, `spec.set`, `spec.setCardinality`, `spec.setIfcVersions` |
+| Facet | `facet.add`, `facet.remove`, `facet.move`, `facet.replace`, `facet.setField`, `facet.setRelation`, `facet.setUri` |
+| Requirement | `requirement.setOptionality`, `requirement.set` |
+| Value | `value.set`, `value.addEnumValue`, `value.removeEnumValue` |
+| Sidecar | `meta.custom.declarePset`, `meta.custom.removePset`, `meta.custom.declareUserDefinedType`, `meta.custom.removeUserDefinedType`, `meta.suppress`, `meta.unsuppress` |
+| Comments | `meta.comment.add`, `meta.comment.reply`, `meta.comment.resolve`, `meta.comment.removeThread`, plus the inverses `meta.comment.removeReply` and `meta.comment.restoreThread` (sidecar only) |
+| Test suites | `meta.test.add`, `meta.test.remove`, `meta.test.setExpectation`, plus the inverse `meta.test.restore` (sidecar only) |
+| Compound | `bulk.renameProperty`, `bulk.retargetEntity`, `bulk.applyTemplate`, `bulk.fromBsddClass` (each expands to primitive ops and undoes in one step) |
+| Fidelity | `spec.restore`, `spec.patch`, `facet.restore`, `facet.patch` (emitted as exact inverses; they carry raw IDS content and node ids) |
+
+Values are written as a `ConstraintDraft`, which the reducer normalises into
+an `IDSConstraint`:
+
+- `any`, `equals`, `oneOf`, `pattern`;
+- `range`, with an optional `unit` that is converted to SI;
+- `length`, `digits`;
+- `all`, a conjunction of the above;
+- `{ kind: 'raw', constraint }`, a verbatim `IDSConstraint`.
+
+Literal entity names and data types are stored in upper case, as they appear
+in IDS XML.
+
+## Gate codes
+
+| Code | Meaning |
+|---|---|
+| `GATE-OP-001` / `-002` | Malformed op / bad template parameters |
+| `GATE-ENT-001` | Entity does not exist in every IFC version of the spec (also partOf entities) |
+| `GATE-PDT-001` | Predefined type not in the entity's enumeration (user-defined values must be declared) |
+| `GATE-ATT-001` | Attribute not on the applicability entity (inherited attributes included) |
+| `GATE-PSET-001` | `Pset_`/`Qto_` name is not a standard set (`Qto_` is unverifiable for IFC2X3/IFC4 and accepted until P-01's IDS-009 schema rows exist) |
+| `GATE-PROP-001` | Property not in the standard set |
+| `GATE-ENUM-001` | Value not in the standard property's enumeration |
+| `GATE-DT-001` | Unknown data type, or inconsistent with the standard property |
+| `GATE-CUST-001…004` | Undeclared custom set / reserved prefix on a custom set / property not declared / nothing to remove |
+| `GATE-SUP-001…003` | Suppressions: rule is not a lint code or wildcard / blank reason / nothing to remove |
+| `GATE-STR-001…009` | Structure: unknown or duplicate node, required field, requirement-only data in applicability, partOf without entity, restricted dataType, index range, empty name or duplicate versions, optional entity requirement, `uri` outside a requirement |
+| `GATE-VAL-001…009` | Values: draft error, min > max, pattern does not compile, ReDoS guard, length/digit facets, literal invalid for its base, author/date, enumeration edit on a non-enumeration, `uri` not absolute |
+| `GATE-BSDD-001` | A facet `uri` the bSDD URI index knows to be unresolvable (blocking) or inactive (`severity: 'warning'`, not blocking). Unchecked URIs pass. |
+
+Patterns on names (for example `Pset_.*Common`) are valid IDS and are never
+blocked. Only literal names are grounded.
+
+## Lint
+
+The audit in `@ifc-lite/ids` answers "is this a valid IDS 1.0 file?". Lint
+answers "does it mean what the author intends?". `createLinter(ctx)` runs the
+rule catalogue over a `StudioDocument` and returns `Diagnostic[]` (stable
+`IDSL-<AREA>-<nnn>` code, severity, node id, message, rationale, docs URL,
+quick fixes).
+
+```ts
+import { checkQuickFix, createLintContext, createLinter, type StudioDocument } from '@ifc-lite/ids-authoring';
+
+declare const doc: StudioDocument;
+const ctx = await createLintContext();
+const linter = createLinter(ctx); // keep one per open document
+const { diagnostics, suppressed } = linter.lint(doc);
+const fix = diagnostics[0]?.fixes?.[0];
+if (fix && checkQuickFix(doc, fix, ctx.gate).ok) {
+  // commit(state, fix.ops) like any other edit; fixes are never auto-applied
+}
+```
+
+- **Incremental.** Specification-level findings are cached; a later pass
+  re-runs only the specifications whose content changed (pass the reducer's
+  `touched` set as a hint if you have it).
+- **Quick fixes** are op batches. Every fix the catalogue offers passes the
+  grounding gate on the document it was computed for.
+- **Suppressions** live in the sidecar, `meta.suppressions[nodeId]`, as
+  `{ rule, reason, by?, at }`. A suppression applies to the node and
+  everything below it, `rule` may be an area wildcard (`IDSL-SPEC-*`), and
+  one without a reason is ignored. Write them with the ops
+  `meta.suppress { nodeId, suppression, index? }` (a second suppression of
+  the same rule on the same node replaces the first) and
+  `meta.unsuppress { nodeId, rule }`. Both undo exactly. The gate refuses an
+  unknown node (`GATE-STR-001`), a rule that is not `IDSL-<AREA>-<nnn>`,
+  `IDSL-<AREA>-*` or `IDSL-*` (`GATE-SUP-001`) and a blank reason
+  (`GATE-SUP-002`). Removing a suppression that is not there is
+  `GATE-SUP-003`.
+- **Severity.** Defaults are per rule; `createLinter(ctx, { severity: { code: 'off' | … } })`
+  overrides them. Rules that rest on an unverified IDS semantic ship at
+  `info`.
+- **Opt-in rules** (`IDSL-ENT-003`, `IDSL-SPEC-008`) are off by default
+  because they fire on most real documents. Enable one by giving it a
+  severity (`severity: { 'IDSL-SPEC-008': 'info' }`) or by naming it in
+  `rules`.
+- `explainXsdPattern(pattern)` explains an XSD pattern part by part.
+
+Per-rule pages: `docs/guide/ids-lint/` (generated by
+`scripts/generate-lint-docs.mjs`).
+
+| Code | Severity | Rule | Quick fix |
+|---|---|---|---|
+| `IDSL-ENT-001` | error | Abstract entity in an entity facet | yes |
+| `IDSL-ENT-002` | info | Entity removed in IFC4X3 | yes |
+| `IDSL-ENT-003` | info (opt-in) | Entity has subtypes the author may also mean | yes |
+| `IDSL-ENT-004` | warning | Type entity where an occurrence is meant | yes |
+| `IDSL-ENT-005` | warning | Entity name not in upper case | yes |
+| `IDSL-PDT-001` | error | Predefined type not in the entity enumeration | yes |
+| `IDSL-PDT-002` | info | USERDEFINED predefined type without an ObjectType requirement | yes |
+| `IDSL-PDT-003` | info | Undeclared user-defined predefined type | yes |
+| `IDSL-ATT-001` | error | Attribute not defined on the entity | yes |
+| `IDSL-ATT-002` | warning | Value check on an entity-typed attribute | yes |
+| `IDSL-PSET-001` | warning | Standard property set not applicable to the entity | yes |
+| `IDSL-PSET-002` | error | Custom property set with a reserved prefix | yes |
+| `IDSL-PSET-003` | warning | Quantity set with a non-measure data type or value | yes |
+| `IDSL-PROP-001` | error | Property not in the standard property set | yes |
+| `IDSL-PROP-002` | warning | Data type differs from the standard property | yes |
+| `IDSL-PROP-003` | info | Numeric constraint without a data type | yes |
+| `IDSL-VAL-001` | error | Value not in the standard enumeration | yes |
+| `IDSL-VAL-002` | warning | Restriction base incompatible with the data type | yes |
+| `IDSL-VAL-003` | warning | Simple value that looks like a list | yes |
+| `IDSL-VAL-004` | warning | Simple value that looks like a comparison | yes |
+| `IDSL-VAL-005` | warning | Boolean literal in a form IDS does not accept | yes |
+| `IDSL-VAL-006` | info | Leading or trailing whitespace, or invisible characters | yes |
+| `IDSL-VAL-008` | info | Exact match on a real number | no |
+| `IDSL-UNIT-001` | warning | Magnitude suggests a non-SI unit | yes |
+| `IDSL-REGEX-001` | warning | ^ or $ in an XSD pattern | yes |
+| `IDSL-REGEX-002` | warning | Pattern that is a plain value or matches everything | yes |
+| `IDSL-REGEX-003` | warning | Construct not supported by XSD regex | yes |
+| `IDSL-REGEX-004` | error | Catastrophic backtracking risk | no |
+| `IDSL-CARD-001` | warning | Prohibited requirement with a value or data type | yes |
+| `IDSL-CARD-002` | info | Optional requirement that checks nothing | yes |
+| `IDSL-CARD-003` | warning | Prohibited specification with requirements | yes |
+| `IDSL-CARD-004` | info | Required specification with a narrow applicability | yes |
+| `IDSL-SPEC-001` | warning | Requirement that can never fail | yes |
+| `IDSL-SPEC-002` | error | Contradictory requirements | no |
+| `IDSL-SPEC-003` | warning | Applicability that can never match | no |
+| `IDSL-SPEC-005` | warning | Duplicate specification | yes |
+| `IDSL-SPEC-006` | warning | Overlapping specifications with conflicting requirements | no |
+| `IDSL-SPEC-007` | info | Specification without requirements | no |
+| `IDSL-SPEC-008` | info (opt-in) | Specification without description or instructions | no |
+| `IDSL-SPEC-009` | warning | Duplicate identifier | yes |
+| `IDSL-DOC-001` | error | Author is not an e-mail address, or date is not xs:date | yes |
+| `IDSL-VER-001` | warning | Name valid in only some IFC versions of the specification | yes |
+| `IDSL-PART-001` | info | Unlikely partOf relation for these entities | yes |
+| `IDSL-BSDD-001` | warning | bSDD URI not found or inactive | yes |
+| `IDSL-BSDD-002` | info | Classification system differs from the bSDD dictionary name | yes |
+| `IDSL-BSDD-003` | warning | Value outside the allowed values bSDD publishes | yes |
+
+## bSDD
+
+The buildingSMART Data Dictionary feeds the pickers, inserts and
+generators; only search terms and URIs are sent to it, never model data.
+Everything that changes the document goes through `bulk.fromBsddClass`
+and the gate.
+
+- **Source.** `createHttpBsddSource({ apiBase, fetch })` speaks the public
+  bSDD API v1 (in the viewer, `apiBase` is the `/api/bsdd` proxy). Any
+  object implementing `BsddSource` works.
+- **Picker.** `initialPickerFilters` pre-fills the related IFC entity from
+  the specification; `createBsddSearch` debounces (250 ms), drops
+  superseded responses and hides inactive classes; `cardFromClass` /
+  `cardFromSummary` give the result cards.
+- **Insert.** `snapshotBsddClass` + `bsddInsertOp` build a
+  `bulk.fromBsddClass` op: classification facet (`system` = dictionary
+  name, `value` = code, `uri` on a requirement), entity facet (bSDD's
+  `IfcWallSOLIDWALL` split into entity and predefined type), and property
+  requirements through the mapping table.
+- **Mapping table.** `mapBsddProperty` maps a bSDD property to a property
+  requirement: data type (refined to a measure by dimension or unit),
+  allowed values, bounds (converted to SI), pattern, uri, required or
+  optional. What it cannot map faithfully is left out and reported as a
+  note.
+- **Dictionary → IDS.** `loadClassesWithAncestors`, `buildClassTree`,
+  `planDictionaryIds` (one spec per class or per entity, inherited
+  properties, required/all scope) and `previewDictionaryIds` (gate, counts,
+  lint summary on a dry run). Commit the plan's ops as one transaction.
+- **URI health.** `checkUriHealth` resolves the document's bSDD URIs
+  (`collectDocUris`) one at a time, pausing between requests, into a
+  `BsddUriIndex`; records stay fresh for 24 h, and an offline or
+  rate-limited answer stops the run. Pass the index to
+  `createLintContext({ bsdd })` / `createGateContext({ bsdd })` for
+  IDSL-BSDD-001…003 and GATE-BSDD-001.
+- **Offline.** `createCachedBsddSource(source, { store })` caches searches,
+  classes, dictionaries and URI records (fresh for 24 h). When bSDD cannot
+  be reached it serves what it has, however old, and throws
+  `BsddUnavailableError` for the rest. `createIndexedDbBsddStore()` is the
+  browser store; `loadUriIndex(store)` restores the last URI-health results.
+
+```ts
+import {
+  bsddInsertOp,
+  checkOps,
+  createGateContext,
+  createHttpBsddSource,
+  snapshotBsddClass,
+  type StudioDocument,
+} from '@ifc-lite/ids-authoring';
+
+declare const doc: StudioDocument;
+declare const specId: string;
+const source = createHttpBsddSource({ apiBase: '/api/bsdd' });
+const gate = await createGateContext();
+const cls = await source.getClass('https://identifier.buildingsmart.org/uri/buildingsmart/ifc/4.3/class/IfcWall');
+if (cls) {
+  const op = bsddInsertOp({
+    classes: [snapshotBsddClass(cls, { dictionaryName: 'IFC', gate })],
+    target: { specId },
+    mode: 'both',
+    properties: { select: ['IsExternal'] },
+  });
+  const result = checkOps([op], doc, gate); // then commit([op]) when result.ok
+}
+```
+
+## Diff and changelog
+
+`diffDocuments(a, b)` compares two documents in IDS terms. Nodes are paired
+with the same matcher as re-identification: by node id when both are
+revisions of one Studio document (same `docId`), otherwise by identifier,
+then name and applicability signature, then similarity.
+
+```ts
+import { changelog, diffDocuments, diffToOps, type StudioDocument } from '@ifc-lite/ids-authoring';
+
+declare const before: StudioDocument;
+declare const after: StudioDocument;
+const diff = diffDocuments(before, after);
+// diff.entries: spec.added / spec.changed / facet.valueChanged / requirement.changed / …
+// diff.specs:   the side-by-side alignment (a row per spec and facet)
+for (const line of changelog(diff, { locale: 'en' })) console.log(line.text);
+// "Doors: FireRating (Pset_DoorCommon) changed from optional to required"
+const ops = diffToOps(before, diff); // primitive ops that turn `before` into `after`
+```
+
+- Every entry carries the data needed to reproduce it, so `diffToOps`
+  rebuilds `after` from `before` exactly. The tests use this as the diff's
+  completeness oracle on corpus revisions.
+- A reorder is reported only for nodes off the longest run that kept its
+  order: moving one specification to the top is one move.
+- `changelogMarkdown(diff)` groups the sentences by specification (for
+  `ids diff --md`). Sentences exist in English, German, French and Italian; facet
+  and value wording comes from `@ifc-lite/ids`.
+
+## Three-way merge
+
+`mergeDocuments(base, ours, theirs)` merges two revisions of one Studio
+document at the op level. Each side's diff entries are change units with a
+key (a field of a node, a node's existence or place). Units only one side
+changed merge automatically; identical changes merge once. The rest are
+conflicts: `field` (both changed one field differently) or `deleteEdit`
+(one side removed a node, or replaced a facet, that the other changed).
+
+```ts
+import { conflictView, mergeDocuments, resolveConflict, type StudioDocument } from '@ifc-lite/ids-authoring';
+
+declare const base: StudioDocument;
+declare const ours: StudioDocument;
+declare const theirs: StudioDocument;
+let result = mergeDocuments(base, ours, theirs);
+const view = conflictView(result); // cards with "ours" / "theirs" sentences
+if (view.cards.length) {
+  const resolutions = resolveConflict(view.resolutions, view.cards[0].id, 'theirs');
+  result = mergeDocuments(base, ours, theirs, { resolutions });
+}
+// result.doc, result.ops (base → doc), result.clean
+```
+
+- An unresolved conflict keeps the base value.
+- Order is settled per list: the side that reordered wins; when both did,
+  theirs wins and `MERGE-ORDER-001` is reported.
+- Pass `{ gate }` to re-check the merged ops with the grounding gate
+  (`MERGE-GATE-001`), e.g. one side narrowed the IFC versions while the
+  other added an entity that only exists in the old ones.
+- `mergeOps(base, oursOps, theirsOps)` merges two op sequences.
+
+## Revisions and sign-off
+
+A `RevisionLog` holds immutable snapshots chained by SHA-256: each
+revision's hash covers its record and its parent's hash, and its
+`contentHash` covers the normative content (IDS content without node ids,
+custom declarations, test suites). Sign-offs are chained the same way.
+Sign-off is an attestation, not a qualified electronic signature.
+
+```ts
+import { commitRevision, createRevisionLog, signOff, verifyRevisionLog, type StudioDocument } from '@ifc-lite/ids-authoring';
+
+declare const doc: StudioDocument;
+let log = createRevisionLog(doc.docId);
+const released = commitRevision(log, doc, { author: 'lead@example.com', label: 'released', message: 'v1.0' });
+log = signOff(released.log, released.revision.revId, { by: 'Client', role: 'Reviewer', statement: 'Accepted' }).log;
+verifyRevisionLog(log); // { ok: true, problems: [] }; any edit of a stored record is reported
+```
+
+- A released revision is read-only: a later revision with different
+  content on top of it must be a `draft`.
+- `revisionTimeline(log)` is the view model for a revision list (labels,
+  sign-offs, plain-language changes against the parent, verification).
+
+## Test suites
+
+IDS test suites are "unit tests for information requirements": each
+specification can carry cases (`meta.tests[specId]`), each an IFC fixture
+and the verdict the specification must give on it (`pass`, `fail`, or
+`notApplicable`; a `fail` case may name exactly the requirements that
+fail). Fixtures are `synthetic` (a recipe for `@ifc-lite/ids-testgen`),
+`snapshot` (a subset pinned from a real model) or `file`.
+
+```ts
+import { junitXml, outcomeFromSpecResult, runTestSuites, testSuitesView, type CaseEvaluator, type StudioDocument } from '@ifc-lite/ids-authoring';
+
+declare const doc: StudioDocument;
+declare const evaluate: CaseEvaluator; // e.g. from @ifc-lite/ids-testgen, or a viewer worker
+const report = await runTestSuites(doc, evaluate);
+// report.summary: { total, passed, failed, error, skipped }
+const xml = junitXml(report); // for CI
+const panel = testSuitesView(doc, report); // rows per specification, with verdicts
+void outcomeFromSpecResult; // maps a validateIDS specification result onto an outcome
+```
+
+The runner does the bookkeeping; the host's `evaluate` turns a fixture
+into a validator verdict. Test suites change only through `meta.test.*`
+ops and outlive the specification they belong to (undo brings them back).
+
+## Comments
+
+Comment threads live in the sidecar (`meta.comments[nodeId]`) and change
+only through `meta.comment.*` ops, so they undo like any other edit and
+never touch the IDS XML. A thread is opened on a live node but outlives
+it: removing a specification keeps its discussion, and undo re-anchors it.
+`commentThreads(doc)` is the view model (anchor, orphan flag, participants,
+`@name` mentions, unresolved badges per node). In a three-way merge,
+threads merge additively: new threads and replies from both sides are kept.
+Lint suppressions and test cases merge per record (node and rule, or test id):
+the side that changed a record relative to the base wins, theirs when both did.
+
+## Sidecar, bundles, re-identification
+
+`parseSidecar` checks the node index and the metadata structures consumed by the
+authoring core before attachment. Malformed same-format data throws with its
+field path; `readIdsz` uses the same check for bundled `studio.json`. Valid
+metadata, extension fields and opaque later-pitch payloads remain intact.
+
+- `createSidecar(doc, xml)` and `attachSidecar(parsed, sidecar, { previous })`
+  persist node ids and `meta` next to the XML, never inside it.
+- `studio.json` embeds a content snapshot (`snapshot: { version: 1, ids }`)
+  by default, so a standalone `.idsz` whose XML was edited elsewhere is
+  re-identified on its own (`binding: 'reidentified'`, `basis: 'snapshot'`).
+  An explicit `previous` document still wins. The field is additive and
+  versioned separately from `schemaVersion`: sidecars without it load as
+  before (an external edit then gives fresh ids), and a snapshot of a later
+  version is kept but ignored. `createSidecar(doc, xml, { snapshot: false })`
+  leaves it out.
+- `writeIdsz` and `readIdsz` build a plain zip containing `ids.xml`,
+  `studio.json`, `fixtures/*` and `appendix.pdf`. The XML is stored byte for
+  byte.
+- `reidentify(previous, incoming)` matches nodes by identifier, then by name
+  and signature, then by similarity. Comments and provenance therefore
+  survive a revised IDS sent back by a client.
+
+## Headless helpers
+
+For the CLI, MCP server, SDK and Flow nodes, which hold no state between
+calls:
+
+- `readStudioDocument(xml)` derives node ids from the content, so reading
+  the same XML twice gives the same ids. An agent can read a document in one
+  call and address its nodes in the next.
+- `parseStudioDocument(json)` accepts a document that crossed a process
+  boundary. It checks the shape and the node index and throws on anything
+  else.
+- `writeStudioDocument(doc, writer)`, `writeIdsChecked(ids, writer)` and
+  `formatIds(xml, writer)` write through an injected `IdsWriter`, normally
+  `writeIdsXml` from `@ifc-lite/ids`. They then parse the output again
+  and return `{ ok: false, reason: 'lossy', lost }` when a value did not
+  survive, instead of handing back XML with less content. A writer that
+  refuses the document gives `{ ok: false, reason: 'refused', message }`.
+- `nodePath(doc, nodeId)` gives a node's XML path, e.g.
+  `specifications[0].requirements[1].baseName`.
+
+```ts
+import { writeIdsXml } from '@ifc-lite/ids';
+import { formatIds } from '@ifc-lite/ids-authoring';
+
+declare const xml: string;
+const out = formatIds(xml, writeIdsXml);
+if (out.ok === false) console.error(out.message, out.lost ?? []);
+else if (out.changed) console.log(out.xml);
+```
+
+## License
+
+MPL-2.0.

package/dist/bsdd/cache.d.ts

@@ -0,0 +1,37 @@
+import { type BsddSource } from './types.js';
+import { type BsddUriIndex } from './uri-health.js';
+export declare const BSDD_CACHE_VERSION = 1;
+export type BsddCacheKind = 'dictionaries' | 'dictionary' | 'classes' | 'search' | 'class' | 'uri';
+export interface BsddCacheEntry {
+    v: number;
+    kind: BsddCacheKind;
+    /** Epoch milliseconds. */
+    storedAt: number;
+    value: unknown;
+}
+/** Persistent key/value storage for the cache. */
+export interface BsddCacheStore {
+    /** The stored value, unchecked (`undefined` when absent). */
+    get(key: string): Promise<unknown>;
+    put(key: string, entry: BsddCacheEntry): Promise<void>;
+    delete(key: string): Promise<void>;
+    /** Keys starting with `prefix`. */
+    keys(prefix: string): Promise<string[]>;
+}
+export declare function createMemoryBsddStore(): BsddCacheStore;
+export interface CachedBsddSourceOptions {
+    store: BsddCacheStore;
+    /** How long an entry is served without asking bSDD. Default 24 h. */
+    ttlMs?: number;
+    now?: () => number;
+}
+export interface CachedBsddSource extends BsddSource {
+    /** True when the last request was answered from the cache because bSDD was unreachable. */
+    readonly offline: boolean;
+}
+/** A failure that says "bSDD is not reachable right now", as opposed to a definitive answer. */
+export declare function isTransportFailure(err: unknown): boolean;
+export declare function createCachedBsddSource(source: BsddSource, options: CachedBsddSourceOptions): CachedBsddSource;
+/** A URI index holding every URI record in the store (e.g. the last session's URI health). */
+export declare function loadUriIndex(store: BsddCacheStore): Promise<BsddUriIndex>;
+//# sourceMappingURL=cache.d.ts.map

package/dist/bsdd/cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.d.ts","sourceRoot":"","sources":["../../src/bsdd/cache.ts"],"names":[],"mappings":"AAeA,OAAO,EAAuC,KAAK,UAAU,EAAsB,MAAM,YAAY,CAAC;AACtG,OAAO,EAAsB,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAExE,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG,YAAY,GAAG,SAAS,GAAG,QAAQ,GAAG,OAAO,GAAG,KAAK,CAAC;AAEnG,MAAM,WAAW,cAAc;IAC7B,CAAC,EAAE,MAAM,CAAC;IACV,IAAI,EAAE,aAAa,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,kDAAkD;AAClD,MAAM,WAAW,cAAc;IAC7B,6DAA6D;IAC7D,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACnC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,mCAAmC;IACnC,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CACzC;AAED,wBAAgB,qBAAqB,IAAI,cAAc,CAQtD;AAED,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,cAAc,CAAC;IACtB,qEAAqE;IACrE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,gBAAiB,SAAQ,UAAU;IAClD,2FAA2F;IAC3F,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B;AAED,gGAAgG;AAChG,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,OAAO,GAAG,OAAO,CAGxD;AAoBD,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,uBAAuB,GAAG,gBAAgB,CA6D7G;AAED,8FAA8F;AAC9F,wBAAsB,YAAY,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,YAAY,CAAC,CAO/E"}

package/dist/bsdd/cache.js

@@ -0,0 +1,116 @@
+/* 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/. */
+/**
+ * Offline cache for bSDD (05-bsdd.md §4, IDS-074). `createCachedBsddSource`
+ * wraps any `BsddSource` with a read-through cache over a persistent
+ * `BsddCacheStore` (IndexedDB in the browser, `createIndexedDbBsddStore`;
+ * memory in tests and on the CLI): search results, class details,
+ * dictionaries and URI records. When bSDD cannot be reached, a cached entry
+ * is served even past its freshness, so known classes stay usable offline;
+ * an uncached request fails with `BsddUnavailableError`.
+ */
+import { isRecord } from './contract.js';
+import { BsddHttpError, BsddUnavailableError } from './types.js';
+import { createBsddUriIndex } from './uri-health.js';
+export const BSDD_CACHE_VERSION = 1;
+export function createMemoryBsddStore() {
+    const map = new Map();
+    return {
+        get: async (key) => map.get(key),
+        put: async (key, entry) => void map.set(key, entry),
+        delete: async (key) => void map.delete(key),
+        keys: async (prefix) => [...map.keys()].filter((k) => k.startsWith(prefix)),
+    };
+}
+/** A failure that says "bSDD is not reachable right now", as opposed to a definitive answer. */
+export function isTransportFailure(err) {
+    if (err instanceof BsddHttpError)
+        return err.status === 429 || err.status >= 500;
+    return err instanceof TypeError || (err instanceof Error && err.name === 'AbortError');
+}
+function isCacheEntry(v) {
+    return isRecord(v) && v.v === BSDD_CACHE_VERSION && typeof v.kind === 'string' && typeof v.storedAt === 'number' && 'value' in v;
+}
+function isUriRecord(v) {
+    return isRecord(v) && typeof v.uri === 'string' && typeof v.state === 'string' && typeof v.checkedAt === 'number';
+}
+/** Shape checks for what the cache gives back: an entry from an older build or a damaged store is a miss, not a crash. */
+const VALID = {
+    dictionaries: (v) => Array.isArray(v) && v.every((d) => isRecord(d) && typeof d.uri === 'string'),
+    dictionary: (v) => v === null || (isRecord(v) && typeof v.uri === 'string' && typeof v.name === 'string'),
+    classes: (v) => Array.isArray(v) && v.every((c) => isRecord(c) && typeof c.uri === 'string' && typeof c.code === 'string'),
+    search: (v) => isRecord(v) && Array.isArray(v.classes) && typeof v.total === 'number',
+    class: (v) => v === null || (isRecord(v) && typeof v.uri === 'string' && Array.isArray(v.properties) && Array.isArray(v.relatedIfcEntityNames)),
+    uri: isUriRecord,
+};
+export function createCachedBsddSource(source, options) {
+    const { store } = options;
+    const ttl = options.ttlMs ?? 24 * 60 * 60 * 1000;
+    const now = options.now ?? Date.now;
+    let offline = false;
+    async function read(key, kind) {
+        try {
+            const hit = await store.get(key);
+            return isCacheEntry(hit) && hit.kind === kind && VALID[kind](hit.value) ? hit : undefined;
+        }
+        catch (err) {
+            // A broken store degrades to "not cached"; the network answer still flows.
+            console.warn('[bsdd-cache] read failed', key, err);
+            return undefined;
+        }
+    }
+    async function write(key, kind, value) {
+        try {
+            await store.put(key, { v: BSDD_CACHE_VERSION, kind, storedAt: now(), value });
+        }
+        catch (err) {
+            console.warn('[bsdd-cache] write failed', key, err);
+        }
+    }
+    /** Read through the cache. `T` is what `fetcher` returns; the cached copy passed the shape check of `kind`. */
+    async function through(kind, key, fetcher) {
+        const hit = await read(key, kind);
+        if (hit && now() - hit.storedAt < ttl) {
+            offline = false;
+            return hit.value;
+        }
+        try {
+            const value = await fetcher();
+            offline = false;
+            await write(key, kind, value);
+            return value;
+        }
+        catch (err) {
+            if (!isTransportFailure(err))
+                throw err;
+            if (hit) {
+                offline = true;
+                return hit.value;
+            }
+            throw new BsddUnavailableError(key, { cause: err });
+        }
+    }
+    return {
+        get offline() {
+            return offline;
+        },
+        listDictionaries: () => through('dictionaries', 'dictionaries', () => source.listDictionaries()),
+        getDictionary: (uri) => through('dictionary', `dictionary:${uri}`, () => source.getDictionary(uri)),
+        listClasses: (uri) => through('classes', `classes:${uri}`, () => source.listClasses(uri)),
+        searchClasses: (q) => through('search', `search:${JSON.stringify([q.text.trim().toLowerCase(), [...(q.dictionaryUris ?? [])].sort(), q.relatedIfcEntity ?? '', q.languageCode ?? '', q.offset ?? 0, q.limit ?? 50])}`, () => source.searchClasses(q)),
+        getClass: (uri, opts) => through('class', `class:${opts?.languageCode ?? ''}:${uri}`, () => source.getClass(uri, opts)),
+        resolveUri: (uri) => through('uri', `uri:${uri}`, () => source.resolveUri(uri)),
+    };
+}
+/** A URI index holding every URI record in the store (e.g. the last session's URI health). */
+export async function loadUriIndex(store) {
+    const records = [];
+    for (const key of await store.keys('uri:')) {
+        const entry = await store.get(key);
+        if (isCacheEntry(entry) && isUriRecord(entry.value))
+            records.push(entry.value);
+    }
+    return createBsddUriIndex(records);
+}
+//# sourceMappingURL=cache.js.map

package/dist/bsdd/cache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.js","sourceRoot":"","sources":["../../src/bsdd/cache.ts"],"names":[],"mappings":"AAAA;;+DAE+D;AAE/D;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,oBAAoB,EAAuC,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,kBAAkB,EAAqB,MAAM,iBAAiB,CAAC;AAExE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAsBpC,MAAM,UAAU,qBAAqB;IACnC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC9C,OAAO;QACL,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC;QAChC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC;QACnD,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC;QAC3C,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;KAC5E,CAAC;AACJ,CAAC;AAcD,gGAAgG;AAChG,MAAM,UAAU,kBAAkB,CAAC,GAAY;IAC7C,IAAI,GAAG,YAAY,aAAa;QAAE,OAAO,GAAG,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC;IACjF,OAAO,GAAG,YAAY,SAAS,IAAI,CAAC,GAAG,YAAY,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAkB,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,CAAC;AACnI,CAAC;AAED,SAAS,WAAW,CAAC,CAAU;IAC7B,OAAO,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,CAAC;AACpH,CAAC;AAED,0HAA0H;AAC1H,MAAM,KAAK,GAAmD;IAC5D,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,CAAC;IACjG,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;IACzG,OAAO,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;IAC1H,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;IACrF,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC;IAC/I,GAAG,EAAE,WAAW;CACjB,CAAC;AAEF,MAAM,UAAU,sBAAsB,CAAC,MAAkB,EAAE,OAAgC;IACzF,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAC1B,MAAM,GAAG,GAAG,OAAO,CAAC,KAAK,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;IACjD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACpC,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,KAAK,UAAU,IAAI,CAAC,GAAW,EAAE,IAAmB;QAClD,IAAI,CAAC;YACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACjC,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,2EAA2E;YAC3E,OAAO,CAAC,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YACnD,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,KAAK,UAAU,KAAK,CAAC,GAAW,EAAE,IAAmB,EAAE,KAAc;QACnE,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,kBAAkB,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,+GAA+G;IAC/G,KAAK,UAAU,OAAO,CAAI,IAAmB,EAAE,GAAW,EAAE,OAAyB;QACnF,MAAM,GAAG,GAAG,MAAM,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAClC,IAAI,GAAG,IAAI,GAAG,EAAE,GAAG,GAAG,CAAC,QAAQ,GAAG,GAAG,EAAE,CAAC;YACtC,OAAO,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,CAAC,KAAU,CAAC;QACxB,CAAC;QACD,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,MAAM,OAAO,EAAE,CAAC;YAC9B,OAAO,GAAG,KAAK,CAAC;YAChB,MAAM,KAAK,CAAC,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC;gBAAE,MAAM,GAAG,CAAC;YACxC,IAAI,GAAG,EAAE,CAAC;gBACR,OAAO,GAAG,IAAI,CAAC;gBACf,OAAO,GAAG,CAAC,KAAU,CAAC;YACxB,CAAC;YACD,MAAM,IAAI,oBAAoB,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACtD,CAAC;IACH,CAAC;IAED,OAAO;QACL,IAAI,OAAO;YACT,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,gBAAgB,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;QAChG,aAAa,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,cAAc,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QACnG,WAAW,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,WAAW,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;QACzF,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CACnB,OAAO,CAAC,QAAQ,EAAE,UAAU,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,GAAG,EAAE,CACpM,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CACxB;QACH,QAAQ,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,SAAS,IAAI,EAAE,YAAY,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvH,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,EAAE,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;KAChF,CAAC;AACJ,CAAC;AAED,8FAA8F;AAC9F,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,KAAqB;IACtD,MAAM,OAAO,GAAoB,EAAE,CAAC;IACpC,KAAK,MAAM,GAAG,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnC,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,kBAAkB,CAAC,OAAO,CAAC,CAAC;AACrC,CAAC"}