@inventarch/language 0.0.0-stage → 1.1.0

package/dist/compile/values.js

@@ -0,0 +1,48 @@
+export function compiledValue(value) {
+    switch (value.kind) {
+        case 'scalar':
+        case 'string':
+        case 'prose':
+            return { kind: value.kind, text: value.text };
+        case 'ref':
+            return {
+                kind: 'ref',
+                discriminator: value.discriminator,
+                name: value.name,
+                ...(value.fragment === undefined ? {} : { fragment: value.fragment }),
+            };
+        case 'list':
+            return { kind: 'list', items: value.items.map(compiledValue) };
+        case 'block':
+            return { kind: 'block' };
+        case 'none':
+            return { kind: 'none' };
+    }
+}
+/**
+ * The key rule (spec 2.1) resolved against spelled keys (spec 10.2). A line whose value is not a
+ * bare scalar keeps the parser's key: every word before the value. On an all-words line the longest
+ * spelling that starts the words is the key and the remaining words are the scalar; with no spelling
+ * the parser's first-word key stands. The assertive form keeps the parser's reading.
+ */
+export function resolveKey(field, spellings) {
+    if (field.assertive === true || field.value.kind !== 'scalar')
+        return { key: field.key, value: compiledValue(field.value) };
+    let best;
+    for (const spelling of spellings) {
+        if (spelling.length === 0 || spelling.length > field.words.length)
+            continue;
+        if (!spelling.every((word, index) => field.words[index] === word))
+            continue;
+        if (best === undefined || spelling.length > best.length)
+            best = spelling;
+    }
+    if (best === undefined)
+        return { key: field.key, value: compiledValue(field.value) };
+    const rest = field.words.slice(best.length);
+    return {
+        key: best.join(' '),
+        value: rest.length === 0 ? { kind: 'none' } : { kind: 'scalar', text: rest.join(' ') },
+    };
+}
+//# sourceMappingURL=values.js.map

package/dist/compile/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/compile/values.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAChD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;aACtE,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACjE,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;AACH,CAAC;AAKD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,KAAgB,EAChB,SAA8B;IAE9B,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC3D,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,IAAI,IAA0B,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;YAAE,SAAS;QAC5E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QAC5E,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;YAAE,IAAI,GAAG,QAAQ,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACrF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnB,KAAK,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;KACvF,CAAC;AACJ,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,22 @@
+/** Closed diagnostic inventory from spec section 11 and the colocated semantic contract. */
+export declare const LANG_CODES: readonly ["IA-LANG-PRAGMA-MISSING", "IA-LANG-VERSION-UNSUPPORTED", "IA-LANG-INDENT-TAB", "IA-LANG-INDENT-STEP", "IA-LANG-STRING-UNTERMINATED", "IA-LANG-PROSE-TRAILING", "IA-LANG-PROSE-UNTERMINATED", "IA-LANG-LIST-UNTERMINATED", "IA-LANG-HEADER-MALFORMED", "IA-LANG-HEAD-FIELD-AFTER-SECTION", "IA-LANG-TOPLEVEL-UNEXPECTED", "IA-LANG-DISCRIMINATOR-UNREGISTERED", "IA-LANG-FACET-UNDECLARED", "IA-LANG-IDENTITY-COLLISION", "IA-LANG-KEYWORD-RESERVED", "IA-LANG-SYSTEM-CYCLE", "IA-LANG-REGISTRATION-INCOMPLETE", "IA-LANG-KIND-UNKNOWN", "IA-LANG-CATEGORY-UNKNOWN", "IA-LANG-PREDICATE-UNKNOWN", "IA-LANG-SCHEMA-MISSING", "IA-LANG-SCHEMA-KIND-MISMATCH", "IA-LANG-DISCRIMINATOR-CONFLICT", "IA-LANG-SCHEMA-EDGE-AS-FIELD", "IA-LANG-SYSTEM-MISSING", "IA-LANG-SCHEMA-MALFORMED", "IA-LANG-CELL-MALFORMED", "IA-LANG-SELECTOR-MALFORMED", "IA-LANG-SELECTOR-AXIS-UNKNOWN", "IA-LANG-SELECTOR-VALUE-UNKNOWN", "IA-LANG-VERB-UNKNOWN", "IA-LANG-EDGE-MALFORMED", "IA-LANG-EDGE-TARGET-MISSING", "IA-LANG-EDGE-TARGET-AMBIGUOUS", "IA-LANG-EDGE-UNCONSENTED", "IA-LANG-CONDITION-TERM-UNKNOWN", "IA-LANG-CONDITION-MALFORMED", "IA-LANG-CONDITION-VALUE-UNKNOWN", "IA-LANG-CONDITION-MISPLACED", "IA-LANG-VARIANT-DUPLICATE", "IA-LANG-REQUIREMENT-DUPLICATE", "IA-LANG-REQUIREMENT-MALFORMED", "IA-LANG-CONTRACT-UNBOUND", "IA-LANG-CONTRACT-BINDS-RETIRED", "IA-LANG-CONTRACT-SCHEMA-SECTION", "IA-LANG-CASE-UNBOUND", "IA-LANG-CASE-MALFORMED", "IA-LANG-FORMAT-LOSSY", "IA-LANG-VALUE-TRAILING", "IA-LANG-LIST-MALFORMED", "IA-LANG-REF-MALFORMED", "IA-LANG-FIELD-KEY-MISSING"];
+export type LangCode = (typeof LANG_CODES)[number];
+export type Severity = 'error' | 'warning';
+export interface Diagnostic {
+    readonly code: LangCode;
+    readonly severity: Severity;
+    readonly path: string;
+    readonly line: number;
+    readonly endLine?: number;
+    readonly message: string;
+    readonly identity?: string;
+}
+export interface DiagOptions {
+    readonly severity?: Severity;
+    readonly endLine?: number;
+    readonly identity?: string;
+}
+/** Build a diagnostic. Severity defaults to error; a construct that produced one produced nothing else. */
+export declare function diag(code: LangCode, path: string, line: number, message: string, options?: DiagOptions): Diagnostic;
+export declare function isError(d: Diagnostic): boolean;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,eAAO,MAAM,UAAU,8/CAqDb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AACnD,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3C,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,2GAA2G;AAC3G,wBAAgB,IAAI,CAClB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,WAAgB,GACxB,UAAU,CAUZ;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,UAAU,GAAG,OAAO,CAE9C"}

package/dist/diagnostics.js

@@ -0,0 +1,71 @@
+/** Closed diagnostic inventory from spec section 11 and the colocated semantic contract. */
+export const LANG_CODES = [
+    'IA-LANG-PRAGMA-MISSING',
+    'IA-LANG-VERSION-UNSUPPORTED',
+    'IA-LANG-INDENT-TAB',
+    'IA-LANG-INDENT-STEP',
+    'IA-LANG-STRING-UNTERMINATED',
+    'IA-LANG-PROSE-TRAILING',
+    'IA-LANG-PROSE-UNTERMINATED',
+    'IA-LANG-LIST-UNTERMINATED',
+    'IA-LANG-HEADER-MALFORMED',
+    'IA-LANG-HEAD-FIELD-AFTER-SECTION',
+    'IA-LANG-TOPLEVEL-UNEXPECTED',
+    'IA-LANG-DISCRIMINATOR-UNREGISTERED',
+    'IA-LANG-FACET-UNDECLARED',
+    'IA-LANG-IDENTITY-COLLISION',
+    'IA-LANG-KEYWORD-RESERVED',
+    'IA-LANG-SYSTEM-CYCLE',
+    'IA-LANG-REGISTRATION-INCOMPLETE',
+    'IA-LANG-KIND-UNKNOWN',
+    'IA-LANG-CATEGORY-UNKNOWN',
+    'IA-LANG-PREDICATE-UNKNOWN',
+    'IA-LANG-SCHEMA-MISSING',
+    'IA-LANG-SCHEMA-KIND-MISMATCH',
+    'IA-LANG-DISCRIMINATOR-CONFLICT',
+    'IA-LANG-SCHEMA-EDGE-AS-FIELD',
+    'IA-LANG-SYSTEM-MISSING',
+    'IA-LANG-SCHEMA-MALFORMED',
+    'IA-LANG-CELL-MALFORMED',
+    'IA-LANG-SELECTOR-MALFORMED',
+    'IA-LANG-SELECTOR-AXIS-UNKNOWN',
+    'IA-LANG-SELECTOR-VALUE-UNKNOWN',
+    'IA-LANG-VERB-UNKNOWN',
+    'IA-LANG-EDGE-MALFORMED',
+    'IA-LANG-EDGE-TARGET-MISSING',
+    'IA-LANG-EDGE-TARGET-AMBIGUOUS',
+    'IA-LANG-EDGE-UNCONSENTED',
+    'IA-LANG-CONDITION-TERM-UNKNOWN',
+    'IA-LANG-CONDITION-MALFORMED',
+    'IA-LANG-CONDITION-VALUE-UNKNOWN',
+    'IA-LANG-CONDITION-MISPLACED',
+    'IA-LANG-VARIANT-DUPLICATE',
+    'IA-LANG-REQUIREMENT-DUPLICATE',
+    'IA-LANG-REQUIREMENT-MALFORMED',
+    'IA-LANG-CONTRACT-UNBOUND',
+    'IA-LANG-CONTRACT-BINDS-RETIRED',
+    'IA-LANG-CONTRACT-SCHEMA-SECTION',
+    'IA-LANG-CASE-UNBOUND',
+    'IA-LANG-CASE-MALFORMED',
+    'IA-LANG-FORMAT-LOSSY',
+    'IA-LANG-VALUE-TRAILING',
+    'IA-LANG-LIST-MALFORMED',
+    'IA-LANG-REF-MALFORMED',
+    'IA-LANG-FIELD-KEY-MISSING',
+];
+/** Build a diagnostic. Severity defaults to error; a construct that produced one produced nothing else. */
+export function diag(code, path, line, message, options = {}) {
+    return {
+        code,
+        severity: options.severity ?? 'error',
+        path,
+        line,
+        ...(options.endLine === undefined ? {} : { endLine: options.endLine }),
+        message,
+        ...(options.identity === undefined ? {} : { identity: options.identity }),
+    };
+}
+export function isError(d) {
+    return d.severity === 'error';
+}
+//# sourceMappingURL=diagnostics.js.map

package/dist/diagnostics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.js","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,wBAAwB;IACxB,6BAA6B;IAC7B,oBAAoB;IACpB,qBAAqB;IACrB,6BAA6B;IAC7B,wBAAwB;IACxB,4BAA4B;IAC5B,2BAA2B;IAC3B,0BAA0B;IAC1B,kCAAkC;IAClC,6BAA6B;IAC7B,oCAAoC;IACpC,0BAA0B;IAC1B,4BAA4B;IAC5B,0BAA0B;IAC1B,sBAAsB;IACtB,iCAAiC;IACjC,sBAAsB;IACtB,0BAA0B;IAC1B,2BAA2B;IAC3B,wBAAwB;IACxB,8BAA8B;IAC9B,gCAAgC;IAChC,8BAA8B;IAC9B,wBAAwB;IACxB,0BAA0B;IAC1B,wBAAwB;IACxB,4BAA4B;IAC5B,+BAA+B;IAC/B,gCAAgC;IAChC,sBAAsB;IACtB,wBAAwB;IACxB,6BAA6B;IAC7B,+BAA+B;IAC/B,0BAA0B;IAC1B,gCAAgC;IAChC,6BAA6B;IAC7B,iCAAiC;IACjC,6BAA6B;IAC7B,2BAA2B;IAC3B,+BAA+B;IAC/B,+BAA+B;IAC/B,0BAA0B;IAC1B,gCAAgC;IAChC,iCAAiC;IACjC,sBAAsB;IACtB,wBAAwB;IACxB,sBAAsB;IACtB,wBAAwB;IACxB,wBAAwB;IACxB,uBAAuB;IACvB,2BAA2B;CACnB,CAAC;AAqBX,2GAA2G;AAC3G,MAAM,UAAU,IAAI,CAClB,IAAc,EACd,IAAY,EACZ,IAAY,EACZ,OAAe,EACf,UAAuB,EAAE;IAEzB,OAAO;QACL,IAAI;QACJ,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,OAAO;QACrC,IAAI;QACJ,IAAI;QACJ,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC;QACtE,OAAO;QACP,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;KAC1E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,CAAa;IACnC,OAAO,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;AAChC,CAAC"}

package/dist/editor/index.d.ts

@@ -0,0 +1,49 @@
+import type { FileNode, RecordNode, Span } from '../ast.js';
+import type { TypedReference } from '../references.js';
+import type { Token } from '../scanner/tokens.js';
+import type { SchemaField, SchemaSection } from '../registry/types.js';
+export { format, checkFormatPreservation } from '../formatter.js';
+/** Minimal source serialization for a schema-backed form; admission remains a separate operation. */
+export declare function draftSource(discriminator: string, name: string, schema: {
+    readonly sections: readonly Pick<SchemaSection, 'name' | 'must'>[];
+    readonly fields: readonly Pick<SchemaField, 'section' | 'key' | 'type' | 'must'>[];
+}, values: Readonly<Record<string, string>>): string;
+export interface Position {
+    readonly line: number;
+    readonly character: number;
+}
+export interface Range {
+    readonly start: Position;
+    readonly end: Position;
+}
+export interface SourceToken {
+    readonly token: Token;
+    readonly range: Range;
+}
+export interface SourceReference extends TypedReference {
+    readonly range: Range;
+}
+export interface SourceProjection {
+    readonly ast: FileNode;
+    readonly tokens: readonly SourceToken[];
+    readonly references: readonly SourceReference[];
+    readonly supported: boolean;
+}
+export declare const contains: (range: Range, at: Position) => boolean;
+export declare function lineRange(source: string | readonly string[], span: Span): Range;
+export declare function recordsIn(ast: FileNode): readonly RecordNode[];
+/** Scanner columns exclude layout; restore physical UTF-16 positions without lexing again. */
+export declare function projectSource(source: string, path: string): SourceProjection;
+export interface CursorContext {
+    readonly slot: 'none' | 'header' | 'section' | 'field' | 'value' | 'reference' | 'fragment';
+    readonly range: Range;
+    readonly prefix: string;
+    readonly words: readonly string[];
+    readonly record?: RecordNode;
+    readonly section?: string;
+    readonly discriminator?: string;
+    readonly targetName?: string;
+}
+/** Recovery uses language scanner primitives and never supplies records for admission. */
+export declare function cursorContext(source: string, path: string, at: Position, projection?: SourceProjection): CursorContext;
+//# sourceMappingURL=index.d.ts.map

package/dist/editor/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/editor/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAI5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAIvD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAElE,qGAAqG;AACrG,wBAAgB,WAAW,CACzB,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE;IACN,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;IACnE,QAAQ,CAAC,MAAM,EAAE,SAAS,IAAI,CAAC,WAAW,EAAE,SAAS,GAAG,KAAK,GAAG,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC;CACpF,EACD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GACvC,MAAM,CA6BR;AAED,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AACD,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;CACxB;AACD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AACD,MAAM,WAAW,eAAgB,SAAQ,cAAc;IACrD,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AACD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,SAAS,eAAe,EAAE,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AACD,eAAO,MAAM,QAAQ,GAAI,OAAO,KAAK,EAAE,IAAI,QAAQ,KAAG,OAE6C,CAAC;AACpG,wBAAgB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,KAAK,CAK/E;AACD,wBAAgB,SAAS,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,UAAU,EAAE,CAI9D;AAED,8FAA8F;AAC9F,wBAAgB,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,gBAAgB,CA4C5E;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,GAAG,UAAU,CAAC;IAC5F,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AACD,0FAA0F;AAC1F,wBAAgB,aAAa,CAC3B,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,QAAQ,EACZ,UAAU,mBAA8B,GACvC,aAAa,CAgEf"}

package/dist/editor/index.js

@@ -0,0 +1,155 @@
+import { parse, SUPPORTED_VERSIONS } from '../parser/index.js';
+import { spell } from '../parser/values.js';
+import { references } from '../references.js';
+import { scan } from '../scanner/index.js';
+import { logicalLines, walk } from '../scanner/lines.js';
+import { tokenizeLine } from '../scanner/tokenize.js';
+export { format, checkFormatPreservation } from '../formatter.js';
+/** Minimal source serialization for a schema-backed form; admission remains a separate operation. */
+export function draftSource(discriminator, name, schema, values) {
+    if (!/^[a-z][a-z0-9-]*$/.test(discriminator) || !/^[A-Za-z][A-Za-z0-9-]*$/.test(name))
+        throw new Error('Invalid IA discriminator or record name');
+    const sections = new Map(), keys = new Set(schema.fields.map((f) => `${f.section}/${f.key}`));
+    if (Object.keys(values).some((key) => !keys.has(key)))
+        throw new Error('Draft contains an undeclared schema field');
+    for (const section of schema.sections)
+        if (section.must)
+            sections.set(section.name, []);
+    for (const field of schema.fields) {
+        const value = values[`${field.section}/${field.key}`];
+        if (value === undefined)
+            continue;
+        if (typeof value !== 'string' || /[\r\n]/.test(value))
+            throw new Error('Form fields must be single-line; use the source draft for multiline prose or structure');
+        // IA strings escape only quotes and backslashes. JSON escapes would change tabs and newlines into literal text.
+        const encoded = field.type === 'text' ? `"${value.replaceAll('\\', '\\\\').replaceAll('"', '\\"')}"` : value;
+        const rows = sections.get(field.section) ?? [];
+        rows.push(`${field.key} ${encoded}`);
+        sections.set(field.section, rows);
+    }
+    return (`#! ia 1.0\n\n@${discriminator} ${name}\n` +
+        [...sections]
+            .sort(([a], [b]) => (a === 'head' ? -1 : b === 'head' ? 1 : 0))
+            .map(([section, rows]) => section === '' || section === 'head'
+            ? rows.map((r) => `  ${r}\n`).join('')
+            : `  ${section}\n${rows.map((r) => `    ${r}\n`).join('')}`)
+            .join(''));
+}
+export const contains = (range, at) => (at.line > range.start.line || (at.line === range.start.line && at.character >= range.start.character)) &&
+    (at.line < range.end.line || (at.line === range.end.line && at.character <= range.end.character));
+export function lineRange(source, span) {
+    const lines = typeof source === 'string' ? source.split(/\r?\n/) : source, line = Math.max(0, Math.min(lines.length - 1, span.line - 1));
+    const end = Math.max(line, Math.min(lines.length - 1, span.endLine - 1));
+    return { start: { line, character: 0 }, end: { line: end, character: lines[end]?.length ?? 0 } };
+}
+export function recordsIn(ast) {
+    return ast.records.flatMap(function flatten(record) {
+        return [record, ...record.nested.flatMap(flatten)];
+    });
+}
+/** Scanner columns exclude layout; restore physical UTF-16 positions without lexing again. */
+export function projectSource(source, path) {
+    const parsed = parse(source, path), scanned = scan(source, path), lines = source.split(/\r?\n/);
+    const tokens = scanned.tokens.flatMap((token) => {
+        if (!('column' in token))
+            return [];
+        const line = token.line - 1, indent = /^[\t ]*/.exec(lines[line] ?? '')[0].length;
+        const start = { line, character: indent + token.column - 1 + (line === 0 && source.startsWith('\uFEFF') ? 1 : 0) };
+        const parts = spell(token).split('\n');
+        const end = {
+            line: line + parts.length - 1,
+            character: parts.length === 1 ? start.character + parts[0].length : parts.at(-1).length,
+        };
+        return [{ token, range: { start, end } }];
+    });
+    const byLine = new Map(), indexes = new Map();
+    tokens.forEach((t, index) => {
+        const row = byLine.get(t.token.line) ?? [];
+        row.push(t);
+        byLine.set(t.token.line, row);
+        indexes.set(t, index);
+    });
+    const uses = references(parsed.ast).flatMap((use) => {
+        const candidates = [];
+        for (let line = use.span.line; line <= use.span.endLine; line++)
+            candidates.push(...(byLine.get(line) ?? []));
+        if (use.reference.kind === 'identity') {
+            const value = use.reference.identity + (use.reference.fragment === undefined ? '' : `#${use.reference.fragment}`);
+            const found = candidates.find((t) => t.token.kind === 'word' && t.token.value === value);
+            return found === undefined ? [] : [{ ...use, range: found.range }];
+        }
+        const sigils = candidates.filter((t) => t.token.kind === 'sigil');
+        const sigil = sigils[use.index];
+        if (sigil === undefined)
+            return [];
+        const next = tokens[indexes.get(sigil) + 1];
+        return next?.token.kind === 'word' ? [{ ...use, range: { start: sigil.range.start, end: next.range.end } }] : [];
+    });
+    return {
+        ast: parsed.ast,
+        tokens,
+        references: uses,
+        supported: SUPPORTED_VERSIONS.includes(parsed.ast.version),
+    };
+}
+/** Recovery uses language scanner primitives and never supplies records for admission. */
+export function cursorContext(source, path, at, projection = projectSource(source, path)) {
+    const lines = source.split(/\r?\n/), line = lines[at.line] ?? '', prefixLine = line.slice(0, at.character);
+    const range = { start: at, end: at }, none = { slot: 'none', range, prefix: '', words: [] };
+    if (!projection.supported)
+        return none;
+    if (projection.tokens.some((t) => (t.token.kind === 'string' || t.token.kind === 'prose') &&
+        contains(t.range, at) &&
+        at.character !== t.range.end.character))
+        return none;
+    const prefixSource = [...lines.slice(0, at.line), prefixLine].join('\n');
+    const logical = logicalLines(prefixSource, path);
+    if (logical.diagnostics.some((d) => d.code === 'IA-LANG-PROSE-UNTERMINATED'))
+        return none;
+    const lexical = walk(prefixLine);
+    if (lexical.commentAt >= 0 || lexical.endsInString || lexical.endsInProse)
+        return none;
+    const indent = /^[ \t]*/.exec(prefixLine)[0].length;
+    const local = tokenizeLine(prefixLine.slice(indent), path, at.line + 1).tokens;
+    const last = local.at(-1), trailingSpace = /\s$/.test(prefixLine);
+    const prefix = !trailingSpace && last !== undefined ? spell(last) : '';
+    const replace = { start: { line: at.line, character: at.character - prefix.length }, end: at };
+    const words = local.filter((t) => t.kind === 'word' || t.kind === 'sigil').map((t) => t.value);
+    const records = recordsIn(projection.ast).filter((r) => r.span.line <= at.line + 1);
+    const record = records
+        .filter((r) => /^[ ]*/.exec(lines[r.span.line - 1] ?? '')[0].length < indent || r.span.line === at.line + 1)
+        .at(-1);
+    const section = record?.sections
+        .filter((s) => s.span.line <= at.line + 1 && /^[ ]*/.exec(lines[s.span.line - 1] ?? '')[0].length < indent)
+        .at(-1)?.name;
+    const base = {
+        range: replace,
+        prefix,
+        words,
+        ...(record === undefined ? {} : { record }),
+        ...(section === undefined ? {} : { section }),
+    };
+    if (prefixLine.slice(indent).startsWith('@'))
+        return { ...base, slot: local.length <= 1 && !trailingSpace ? 'header' : 'none' };
+    const sigilIndex = local.map((t) => t.kind).lastIndexOf('sigil');
+    if (sigilIndex >= 0) {
+        const sigil = local[sigilIndex], name = local[sigilIndex + 1];
+        if (sigil.kind === 'sigil' && (sigilIndex === local.length - 1 || sigilIndex === local.length - 2)) {
+            const hash = name?.kind === 'word' ? name.value.indexOf('#') : -1;
+            return {
+                ...base,
+                range: { start: { line: at.line, character: indent + sigil.column - 1 }, end: at },
+                slot: hash >= 0 ? 'fragment' : 'reference',
+                discriminator: sigil.value.slice(1),
+                ...(name?.kind === 'word' ? { targetName: hash >= 0 ? name.value.slice(0, hash) : name.value } : {}),
+            };
+        }
+    }
+    const recordIndent = record === undefined ? -1 : /^[ ]*/.exec(lines[record.span.line - 1] ?? '')[0].length;
+    if (record !== undefined && indent === recordIndent + 2 && local.length <= 1 && !trailingSpace)
+        return { ...base, slot: 'section' };
+    if (record === undefined)
+        return { ...base, slot: 'header' };
+    return { ...base, slot: local.length <= (trailingSpace ? 0 : 1) ? 'field' : 'value' };
+}
+//# sourceMappingURL=index.js.map

package/dist/editor/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/editor/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAC3C,OAAO,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGtD,OAAO,EAAE,MAAM,EAAE,uBAAuB,EAAE,MAAM,iBAAiB,CAAC;AAElE,qGAAqG;AACrG,MAAM,UAAU,WAAW,CACzB,aAAqB,EACrB,IAAY,EACZ,MAGC,EACD,MAAwC;IAExC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,EAC1C,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACpH,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,IAAI,OAAO,CAAC,IAAI;YAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IACxF,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;QACtD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC;YACnD,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;QAC5G,gHAAgH;QAChH,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QAC7G,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,OAAO,EAAE,CAAC,CAAC;QACrC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IACD,OAAO,CACL,iBAAiB,aAAa,IAAI,IAAI,IAAI;QAC1C,CAAC,GAAG,QAAQ,CAAC;aACV,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aAC9D,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CACvB,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,MAAM;YAClC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,CAAC,CAAC,KAAK,OAAO,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAC9D;aACA,IAAI,CAAC,EAAE,CAAC,CACZ,CAAC;AACJ,CAAC;AAuBD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,EAAY,EAAW,EAAE,CAC9D,CAAC,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACvG,CAAC,EAAE,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC;AACpG,MAAM,UAAU,SAAS,CAAC,MAAkC,EAAE,IAAU;IACtE,MAAM,KAAK,GAAG,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,EACvE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,IAAI,CAAC,EAAE,EAAE,CAAC;AACnG,CAAC;AACD,MAAM,UAAU,SAAS,CAAC,GAAa;IACrC,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,OAAO,CAAC,MAAM;QAChD,OAAO,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,IAAY;IACxD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,EAChC,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,EAC5B,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAChC,MAAM,MAAM,GAAkB,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7D,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,CAAC,EACzB,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACxD,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACnH,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG;YACV,IAAI,EAAE,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC;YAC7B,SAAS,EAAE,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,CAAC,MAAM;SAC1F,CAAC;QACF,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyB,EAC7C,OAAO,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC3C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC3C,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9B,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAqB,EAAE;QACrE,MAAM,UAAU,GAAkB,EAAE,CAAC;QACrC,KAAK,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE;YAAE,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC9G,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC;YAClH,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;YACzF,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAClE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,OAAO,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACnH,CAAC,CAAC,CAAC;IACH,OAAO;QACL,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,MAAM;QACN,UAAU,EAAE,IAAI;QAChB,SAAS,EAAG,kBAAwC,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;KAClF,CAAC;AACJ,CAAC;AAYD,0FAA0F;AAC1F,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,IAAY,EACZ,EAAY,EACZ,UAAU,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC;IAExC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,EACjC,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAC3B,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,EAClC,IAAI,GAAkB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;IACvE,IAAI,CAAC,UAAU,CAAC,SAAS;QAAE,OAAO,IAAI,CAAC;IACvC,IACE,UAAU,CAAC,MAAM,CAAC,IAAI,CACpB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;QACvD,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QACrB,EAAE,CAAC,SAAS,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CACzC;QAED,OAAO,IAAI,CAAC;IACd,MAAM,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,YAAY,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,4BAA4B,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;IACjC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,WAAW;QAAE,OAAO,IAAI,CAAC;IACvF,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACrD,MAAM,KAAK,GAAG,YAAY,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EACvB,aAAa,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,MAAM,MAAM,GAAG,CAAC,aAAa,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACvE,MAAM,OAAO,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,GAAG,MAAM,CAAC,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IAC/F,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;IACpF,MAAM,MAAM,GAAG,OAAO;SACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC;SAC5G,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACV,MAAM,OAAO,GAAG,MAAM,EAAE,QAAQ;SAC7B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC;SAC3G,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;IAChB,MAAM,IAAI,GAAG;QACX,KAAK,EAAE,OAAO;QACd,MAAM;QACN,KAAK;QACL,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;QAC3C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;KAC9C,CAAC;IACF,IAAI,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC;QAC1C,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACpF,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IACjE,IAAI,UAAU,IAAI,CAAC,EAAE,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,UAAU,CAAE,EAC9B,IAAI,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,UAAU,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;YACnG,MAAM,IAAI,GAAG,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClE,OAAO;gBACL,GAAG,IAAI;gBACP,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE;gBAClF,IAAI,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW;gBAC1C,aAAa,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACnC,GAAG,CAAC,IAAI,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACrG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,YAAY,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC5G,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,YAAY,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa;QAC5F,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACtC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC7D,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;AACxF,CAAC"}

package/dist/fold.d.ts

@@ -0,0 +1,8 @@
+/**
+ * Fold a prose (`"""`) value. Spec 2.4 as amended by plan 1: a line break plus the
+ * continuation line's leading indentation becomes one space; a blank line becomes one
+ * paragraph break (`\n`); runs of blank lines collapse to one; the whole is trimmed.
+ * Characters inside a line are never changed.
+ */
+export declare function foldProse(raw: string): string;
+//# sourceMappingURL=fold.d.ts.map

package/dist/fold.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.d.ts","sourceRoot":"","sources":["../src/fold.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAgB7C"}

package/dist/fold.js

@@ -0,0 +1,26 @@
+/**
+ * Fold a prose (`"""`) value. Spec 2.4 as amended by plan 1: a line break plus the
+ * continuation line's leading indentation becomes one space; a blank line becomes one
+ * paragraph break (`\n`); runs of blank lines collapse to one; the whole is trimmed.
+ * Characters inside a line are never changed.
+ */
+export function foldProse(raw) {
+    const lines = raw.split('\n').map((line) => line.trim());
+    const paragraphs = [];
+    let current = [];
+    for (const line of lines) {
+        if (line === '') {
+            if (current.length > 0) {
+                paragraphs.push(current.join(' '));
+                current = [];
+            }
+        }
+        else {
+            current.push(line);
+        }
+    }
+    if (current.length > 0)
+        paragraphs.push(current.join(' '));
+    return paragraphs.join('\n').trim();
+}
+//# sourceMappingURL=fold.js.map

package/dist/fold.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fold.js","sourceRoot":"","sources":["../src/fold.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACnC,OAAO,GAAG,EAAE,CAAC;YACf,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3D,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AACtC,CAAC"}

package/dist/formatter.d.ts

@@ -0,0 +1,10 @@
+import type { Diagnostic } from './diagnostics.js';
+export interface FormatResult {
+    readonly text: string | null;
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** A host may reuse this guard before writing a candidate. It verifies preservation, not registry validity. */
+export declare function checkFormatPreservation(source: string, output: string, path: string): readonly Diagnostic[];
+/** Scanner-driven whitespace formatting. Multiline values and physical trivia positions stay intact. */
+export declare function format(source: string, path: string): FormatResult;
+//# sourceMappingURL=formatter.d.ts.map

package/dist/formatter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.d.ts","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAKnD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAgCD,+GAA+G;AAC/G,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE,CAiB3G;AAED,wGAAwG;AACxG,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAmCjE"}

package/dist/formatter.js

@@ -0,0 +1,108 @@
+import { diag } from './diagnostics.js';
+import { parse } from './parser/index.js';
+import { scan } from './scanner/index.js';
+function inventories(scanned) {
+    return {
+        comments: scanned.tokens
+            .filter((t) => t.kind === 'comment')
+            .map((t) => [t.line, t.text])
+            .sort((a, b) => Number(a[0]) - Number(b[0])),
+        blanks: scanned.trivia.filter((t) => t.kind === 'blank').map((t) => t.line),
+        content: scanned.tokens.flatMap((t) => {
+            switch (t.kind) {
+                case 'comment':
+                case 'indent':
+                case 'dedent':
+                    return [];
+                case 'pragma':
+                    return [[t.kind, t.version]];
+                case 'newline':
+                    return [[t.kind, t.line, t.endLine, t.depth]];
+                case 'word':
+                case 'sigil':
+                    return [[t.kind, t.line, t.value]];
+                case 'string':
+                case 'prose':
+                    return [[t.kind, t.line, t.value, t.raw]];
+                default:
+                    return [[t.kind, t.line]];
+            }
+        }),
+    };
+}
+/** A host may reuse this guard before writing a candidate. It verifies preservation, not registry validity. */
+export function checkFormatPreservation(source, output, path) {
+    const input = scan(source, path);
+    const candidate = scan(output, path);
+    const before = inventories(input);
+    const after = inventories(candidate);
+    const changed = ['comments', 'blanks', 'content'].find((key) => JSON.stringify(before[key]) !== JSON.stringify(after[key]));
+    if (input.diagnostics.length === 0 && candidate.diagnostics.length === 0 && changed === undefined)
+        return [];
+    return [
+        diag('IA-LANG-FORMAT-LOSSY', path, 1, `${path}: formatting changed ${changed ?? 'scanner validity'}; no output may be written`),
+    ];
+}
+/** Scanner-driven whitespace formatting. Multiline values and physical trivia positions stay intact. */
+export function format(source, path) {
+    const parsed = parse(source, path);
+    if (parsed.diagnostics.length > 0)
+        return { text: null, diagnostics: parsed.diagnostics };
+    const scanned = scan(source, path);
+    const lines = source.replaceAll('\r\n', '\n').split('\n');
+    if (lines.at(-1) === '')
+        lines.pop();
+    let pending = [];
+    let comment;
+    for (const token of scanned.tokens) {
+        switch (token.kind) {
+            case 'pragma':
+                lines[0] = `#! ia ${token.version}`;
+                break;
+            case 'indent':
+            case 'dedent':
+                break;
+            case 'comment':
+                if (token.trailing)
+                    comment = token;
+                break;
+            case 'newline': {
+                // Preserve scanner-owned raw multiline layout, including list comments on any physical line.
+                if (token.line === token.endLine)
+                    lines[token.line - 1] =
+                        `${'  '.repeat(token.depth)}${render(pending)}${comment?.line === token.line ? ` ${comment.text}` : ''}`;
+                pending = [];
+                comment = undefined;
+                break;
+            }
+            default:
+                pending.push(token);
+        }
+    }
+    const text = `${lines.join('\n')}\n`;
+    const diagnostics = checkFormatPreservation(source, text, path);
+    return { text: diagnostics.length === 0 ? text : null, diagnostics };
+}
+function render(tokens) {
+    let output = '';
+    let previous;
+    for (const token of tokens) {
+        const text = token.kind === 'string' || token.kind === 'prose'
+            ? token.raw
+            : token.kind === 'list-open'
+                ? '['
+                : token.kind === 'list-close'
+                    ? ']'
+                    : token.kind === 'list-sep'
+                        ? ','
+                        : token.value;
+        const space = previous !== undefined &&
+            token.kind !== 'list-close' &&
+            token.kind !== 'list-sep' &&
+            previous.kind !== 'list-open';
+        output += `${space ? ' ' : ''}${text}`;
+        previous = token;
+    }
+    return output;
+}
+//# sourceMappingURL=formatter.js.map

package/dist/formatter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formatter.js","sourceRoot":"","sources":["../src/formatter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAExC,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAC1C,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAQ1C,SAAS,WAAW,CAAC,OAAmB;IACtC,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,MAAM;aACrB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;aAC5B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QAC3E,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE;YACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;gBACf,KAAK,SAAS,CAAC;gBACf,KAAK,QAAQ,CAAC;gBACd,KAAK,QAAQ;oBACX,OAAO,EAAE,CAAC;gBACZ,KAAK,QAAQ;oBACX,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;gBAC/B,KAAK,SAAS;oBACZ,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAChD,KAAK,MAAM,CAAC;gBACZ,KAAK,OAAO;oBACV,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBACrC,KAAK,QAAQ,CAAC;gBACd,KAAK,OAAO;oBACV,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC5C;oBACE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC,CAAC;KACH,CAAC;AACJ,CAAC;AAED,+GAA+G;AAC/G,MAAM,UAAU,uBAAuB,CAAC,MAAc,EAAE,MAAc,EAAE,IAAY;IAClF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,KAAK,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,OAAO,GAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,SAAS,CAAW,CAAC,IAAI,CAC/D,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CACpE,CAAC;IACF,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAC7G,OAAO;QACL,IAAI,CACF,sBAAsB,EACtB,IAAI,EACJ,CAAC,EACD,GAAG,IAAI,wBAAwB,OAAO,IAAI,kBAAkB,4BAA4B,CACzF;KACF,CAAC;AACJ,CAAC;AAED,wGAAwG;AACxG,MAAM,UAAU,MAAM,CAAC,MAAc,EAAE,IAAY;IACjD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnC,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,CAAC;IAC1F,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC1D,IAAI,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,KAAK,CAAC,GAAG,EAAE,CAAC;IACrC,IAAI,OAAO,GAAY,EAAE,CAAC;IAC1B,IAAI,OAA+E,CAAC;IACpF,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,QAAQ;gBACX,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,CAAC,OAAO,EAAE,CAAC;gBACpC,MAAM;YACR,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,KAAK,CAAC,QAAQ;oBAAE,OAAO,GAAG,KAAK,CAAC;gBACpC,MAAM;YACR,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,6FAA6F;gBAC7F,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,OAAO;oBAC9B,KAAK,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC;wBACnB,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,EAAE,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;gBAC7G,OAAO,GAAG,EAAE,CAAC;gBACb,OAAO,GAAG,SAAS,CAAC;gBACpB,MAAM;YACR,CAAC;YACD;gBACE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACrC,MAAM,WAAW,GAAG,uBAAuB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAChE,OAAO,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,CAAC;AACvE,CAAC;AAED,SAAS,MAAM,CAAC,MAAwB;IACtC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,QAA2B,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GACR,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAC/C,CAAC,CAAC,KAAK,CAAC,GAAG;YACX,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,WAAW;gBAC1B,CAAC,CAAC,GAAG;gBACL,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY;oBAC3B,CAAC,CAAC,GAAG;oBACL,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,UAAU;wBACzB,CAAC,CAAC,GAAG;wBACL,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QACxB,MAAM,KAAK,GACT,QAAQ,KAAK,SAAS;YACtB,KAAK,CAAC,IAAI,KAAK,YAAY;YAC3B,KAAK,CAAC,IAAI,KAAK,UAAU;YACzB,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC;QACvC,QAAQ,GAAG,KAAK,CAAC;IACnB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/identity.d.ts

@@ -0,0 +1,31 @@
+import type { RecordNode } from './ast.js';
+import type { Diagnostic } from './diagnostics.js';
+import type { Registration } from './registry/types.js';
+import type { Band, Kind } from './taxonomy.js';
+/** The four slots of spec 3.1 and their rendering. */
+export interface Identity {
+    readonly identity: string;
+    readonly system: string;
+    readonly kind: Kind;
+    readonly facet: string;
+    readonly name: string;
+    readonly displayName: string;
+}
+export declare function renderIdentity(system: string, kind: string, facet: string, name: string): string;
+/** Spec 3.1: the facet is the `facet` head field or the registration's first facet; the name is lowercased; the authored spelling is kept. */
+export declare function identityOf(record: RecordNode, registration: Registration, path: string): {
+    readonly identity: Identity | undefined;
+    readonly diagnostics: readonly Diagnostic[];
+};
+export interface IdentityOccurrence {
+    readonly identity: string;
+    readonly path: string;
+    readonly line: number;
+    readonly band: Band;
+}
+/** Spec 3.2 and 3.3: one identity twice at one band is a collision on both; across bands the graph's authority rule decides. */
+export declare function collisions(occurrences: readonly IdentityOccurrence[]): {
+    readonly refused: ReadonlySet<IdentityOccurrence>;
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=identity.d.ts.map

package/dist/identity.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../src/identity.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE3C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,eAAe,CAAC;AAEhD,sDAAsD;AACtD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhG;AAED,8IAA8I;AAC9I,wBAAgB,UAAU,CACxB,MAAM,EAAE,UAAU,EAClB,YAAY,EAAE,YAAY,EAC1B,IAAI,EAAE,MAAM,GACX;IAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAkC1F;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,gIAAgI;AAChI,wBAAgB,UAAU,CAAC,WAAW,EAAE,SAAS,kBAAkB,EAAE,GAAG;IACtE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,kBAAkB,CAAC,CAAC;IAClD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CA8BA"}