@inventarch/compliance 0.0.0-stage → 1.0.0

package/dist/projections.js

@@ -0,0 +1,124 @@
+import { assess } from './types.js';
+import { cite, text } from './record-text.js';
+export { cite, fieldText, governanceClauses, text } from './record-text.js';
+export { LEGACY_STEWARD_TOOLS, REQUIRE_STEWARD_PROFILES, STEWARD_HOST_TABLE } from './steward-profile.js';
+export const PROJECTION_MARKER = '<!-- Generated by tools/projections/generate.ts; edit the cited native records. -->';
+const word = /^[a-z][a-z0-9-]*$/;
+export const invalidAssessment = (message) => Object.freeze({
+    assessment: assess('COMP-PROJECTIONS', 'repository', [
+        { code: 'IA-COMP-PROJECTION-INVALID', severity: 'error', path: '.ia/src/systems', line: 1, message },
+    ]),
+    artifacts: Object.freeze([]),
+});
+/**
+ * Spec §6.1: the refusal conditions every host renderer shares. Checks, in order: a fresh, matching revision;
+ * a portable, non-aliased, correctly rooted membership covering every admitted source; unique record identities;
+ * and, per admitted non-floor system, a single unfragmented steward ref resolving to a uniquely named agent
+ * declared under that system's own membership root. Callers render artifacts from the returned admission.
+ */
+export function admittedStewards(records, revision, membership) {
+    if (!revision.trim() || membership.revision !== revision)
+        return invalidAssessment('Projection membership revision is stale');
+    const sources = new Set(records.map((r) => r.source.path)), byPath = new Map(), aliases = new Set();
+    const portable = (path) => path === path.normalize('NFC') &&
+        !/[\\\u0000-\u001f<>:"|?*]/.test(path) &&
+        path
+            .split('/')
+            .every((part) => !!part &&
+            part !== '.' &&
+            part !== '..' &&
+            !/[. ]$/.test(part) &&
+            !/^(con|prn|aux|nul|com[0-9]|lpt[0-9])(?:\.|$)/i.test(part));
+    for (const member of membership.members) {
+        const key = member.path.toLowerCase();
+        if (!sources.has(member.path) || aliases.has(key) || !portable(member.path))
+            return invalidAssessment('Invalid or conflicting projection membership');
+        if (member.system === null
+            ? member.root !== null
+            : !word.test(member.system) ||
+                member.root === null ||
+                !portable(member.root) ||
+                !member.root.endsWith('/' + member.system) ||
+                !member.path.startsWith(member.root + '/'))
+            return invalidAssessment('Invalid or conflicting projection membership');
+        aliases.add(key);
+        byPath.set(member.path, member);
+    }
+    if (records.some((r) => !byPath.has(r.source.path)))
+        return invalidAssessment('Projection source membership is unavailable');
+    const occurrences = new Set();
+    for (const record of records) {
+        if (occurrences.has(record.identity))
+            return invalidAssessment('Projection requires unique admitted record identities');
+        occurrences.add(record.identity);
+    }
+    const systemRecords = records
+        .filter((r) => r.discriminator === 'system' && !r.source.path.startsWith('.ia/src/floor/'))
+        .sort((a, b) => (a.name < b.name ? -1 : 1));
+    if (systemRecords.length === 0)
+        return invalidAssessment('No admitted native systems');
+    const names = new Set(), systems = [];
+    for (const system of systemRecords) {
+        const member = byPath.get(system.source.path);
+        const refs = system.head.filter((f) => f.key === 'steward').map((f) => f.value), ref = refs.length === 1 ? refs[0] : undefined;
+        const found = ref?.kind === 'ref' && ref.discriminator === 'agent' && ref.fragment === undefined
+            ? records.filter((r) => r.discriminator === 'agent' && r.name === ref.name && byPath.get(r.source.path)?.system === system.name)
+            : [];
+        const agent = found.length === 1 ? found[0] : undefined;
+        if (!word.test(system.name) ||
+            member?.system !== system.name ||
+            system.source.path !== member.root + '/system.ia' ||
+            agent === undefined ||
+            !word.test(agent.name) ||
+            names.has(agent.name))
+            return invalidAssessment(`Invalid or nonunique host steward for ${system.name}`);
+        names.add(agent.name);
+        systems.push({ system, member, agent });
+    }
+    return { byPath, systems };
+}
+/** C22: interpret admitted semantic products; no filesystem or source parser. */
+export function renderHostArtifacts(records, revision, membership, _modes, _options = {}) {
+    if (!revision.trim())
+        return invalidAssessment('Projection requires a corpus revision');
+    // Legacy callers retain their authored-only contract. Adopted callers supply the
+    // database's observations; this package neither discovers mounts nor imports db.
+    const resolved = membership ?? {
+        revision,
+        members: [...new Set(records.map((r) => r.source.path))].flatMap((path) => {
+            const match = /^(\.ia\/src\/systems\/([a-z][a-z0-9-]*))\//.exec(path);
+            return [{ path, system: match?.[2] ?? null, root: match?.[1] ?? null }];
+        }),
+    };
+    const admitted = admittedStewards(records, revision, resolved);
+    if ('artifacts' in admitted)
+        return admitted;
+    const { systems } = admitted;
+    const artifacts = [], rows = [];
+    for (const { system, agent } of systems) {
+        const meaning = agent.sections
+            .filter((section) => section.name === 'meaning')
+            .flatMap((section) => section.fields)
+            .filter((field) => 'key' in field && field.key === 'says')
+            .map((field) => ('value' in field ? text(field.value) : ''))
+            .join('\n');
+        const attribution = `${PROJECTION_MARKER}\n\nSource revision: ${revision}\n\nSources: ${cite(system)}; ${cite(agent)}.`;
+        artifacts.push({
+            path: `.claude/agents/${agent.name}.md`,
+            text: `---\nname: ${agent.name}\ndescription: ${JSON.stringify('Language reference for ' + system.name)}\n---\n\n${attribution}\n\n${meaning}\n\nRead docs/reference/language/vocabulary.json for canonical words and schemas. Validate required fields and references. An admitted declaration does not prove execution or grant authority. Adopted source paths are immutable references.\n`,
+        });
+        rows.push(`- ${system.name}: ${cite(system)}; ${cite(agent)}.`);
+    }
+    artifacts.push({
+        path: 'CLAUDE.md',
+        text: `${PROJECTION_MARKER}\n\n# IA language\n\nSource revision: ${revision}\n\nRead docs/reference/language/README.md and vocabulary.json for language contracts.\n\n${rows.join('\n')}\n`,
+    });
+    const skill = `---\nname: ia-authoring\ndescription: Author records against the public IA language contracts.\n---\n\n${PROJECTION_MARKER}\n\nRead docs/reference/language/README.md and vocabulary.json. Select the word matching the intended representation, satisfy its canonical schema, and validate references. Execution requires a separately supplied evaluator or host.\n`;
+    for (const host of ['.agents', '.claude'])
+        artifacts.push({ path: `${host}/skills/ia-authoring/SKILL.md`, text: skill });
+    return Object.freeze({
+        assessment: assess('COMP-PROJECTIONS', 'repository', []),
+        artifacts: Object.freeze(artifacts.map((artifact) => Object.freeze(artifact))),
+    });
+}
+//# sourceMappingURL=projections.js.map

package/dist/projections.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"projections.js","sourceRoot":"","sources":["../src/projections.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEpC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,iBAAiB,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAC5E,OAAO,EAAE,oBAAoB,EAAE,wBAAwB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AAE1G,MAAM,CAAC,MAAM,iBAAiB,GAAG,qFAAqF,CAAC;AAyBvH,MAAM,IAAI,GAAG,mBAAmB,CAAC;AACjC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,OAAe,EAAiB,EAAE,CAClE,MAAM,CAAC,MAAM,CAAC;IACZ,UAAU,EAAE,MAAM,CAAC,kBAAkB,EAAE,YAAY,EAAE;QACnD,EAAE,IAAI,EAAE,4BAA4B,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE;KACrG,CAAC;IACF,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;CAC7B,CAAC,CAAC;AACL;;;;;GAKG;AACH,MAAM,UAAU,gBAAgB,CAC9B,OAAkC,EAClC,QAAgB,EAChB,UAAgC;IAEhC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,UAAU,CAAC,QAAQ,KAAK,QAAQ;QACtD,OAAO,iBAAiB,CAAC,yCAAyC,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EACxD,MAAM,GAAG,IAAI,GAAG,EAAkB,EAClC,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAW,EAAE,CACzC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC;QAC9B,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC;QACtC,IAAI;aACD,KAAK,CAAC,GAAG,CAAC;aACV,KAAK,CACJ,CAAC,IAAI,EAAE,EAAE,CACP,CAAC,CAAC,IAAI;YACN,IAAI,KAAK,GAAG;YACZ,IAAI,KAAK,IAAI;YACb,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACnB,CAAC,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC,CAC9D,CAAC;IACN,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YACzE,OAAO,iBAAiB,CAAC,8CAA8C,CAAC,CAAC;QAC3E,IACE,MAAM,CAAC,MAAM,KAAK,IAAI;YACpB,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;YACtB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBACzB,MAAM,CAAC,IAAI,KAAK,IAAI;gBACpB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACtB,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC1C,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,GAAG,GAAG,CAAC;YAE9C,OAAO,iBAAiB,CAAC,8CAA8C,CAAC,CAAC;QAC3E,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjD,OAAO,iBAAiB,CAAC,6CAA6C,CAAC,CAAC;IAC1E,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;YAClC,OAAO,iBAAiB,CAAC,uDAAuD,CAAC,CAAC;QACpF,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,aAAa,GAAG,OAAO;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;SAC1F,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iBAAiB,CAAC,4BAA4B,CAAC,CAAC;IACvF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,EAC7B,OAAO,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,MAAM,IAAI,aAAa,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAC7E,GAAG,GAAG,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAChD,MAAM,KAAK,GACT,GAAG,EAAE,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,aAAa,KAAK,OAAO,IAAI,GAAG,CAAC,QAAQ,KAAK,SAAS;YAChF,CAAC,CAAC,OAAO,CAAC,MAAM,CACZ,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,aAAa,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,MAAM,CAAC,IAAI,CAC1G;YACH,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACxD,IACE,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;YACvB,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,IAAI;YAC9B,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,GAAG,YAAY;YACjD,KAAK,KAAK,SAAS;YACnB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;YACtB,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAErB,OAAO,iBAAiB,CAAC,yCAAyC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QACnF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAKD,iFAAiF;AACjF,MAAM,UAAU,mBAAmB,CACjC,OAAkC,EAClC,QAAgB,EAChB,UAAiC,EACjC,MAA6E,EAC7E,WAA0B,EAAE;IAE5B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE;QAAE,OAAO,iBAAiB,CAAC,uCAAuC,CAAC,CAAC;IACxF,iFAAiF;IACjF,iFAAiF;IACjF,MAAM,QAAQ,GAAyB,UAAU,IAAI;QACnD,QAAQ;QACR,OAAO,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;YACxE,MAAM,KAAK,GAAG,4CAA4C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtE,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC;KACH,CAAC;IACF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC/D,IAAI,WAAW,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7C,MAAM,EAAE,OAAO,EAAE,GAAG,QAAQ,CAAC;IAC7B,MAAM,SAAS,GAAmB,EAAE,EAClC,IAAI,GAAa,EAAE,CAAC;IACtB,KAAK,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ;aAC3B,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC;aAC/C,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;aACpC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC;aACzD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aAC3D,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,WAAW,GAAG,GAAG,iBAAiB,wBAAwB,QAAQ,gBAAgB,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;QACxH,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,kBAAkB,KAAK,CAAC,IAAI,KAAK;YACvC,IAAI,EAAE,cAAc,KAAK,CAAC,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,yBAAyB,GAAG,MAAM,CAAC,IAAI,CAAC,YAAY,WAAW,OAAO,OAAO,kPAAkP;SAC/X,CAAC,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAClE,CAAC;IACD,SAAS,CAAC,IAAI,CAAC;QACb,IAAI,EAAE,WAAW;QACjB,IAAI,EAAE,GAAG,iBAAiB,yCAAyC,QAAQ,6FAA6F,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;KAC5L,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,0GAA0G,iBAAiB,4OAA4O,CAAC;IACtX,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC;QACvC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,IAAI,+BAA+B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAChF,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC,kBAAkB,EAAE,YAAY,EAAE,EAAE,CAAC;QACxD,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;KAC/E,CAAC,CAAC;AACL,CAAC"}

package/dist/record-text.d.ts

@@ -0,0 +1,26 @@
+import type { CompiledField, CompiledRecord, CompiledValue } from '@inventarch/language';
+/** Inline text of one compiled value. A block carries its content in its field's children; use fieldText for it. */
+export declare function text(value: CompiledValue): string;
+export declare function cite(record: CompiledRecord): string;
+/** A field's rendered value: inline values as text, a block as one `- ` bullet per nonempty item or nested field. */
+export declare function fieldText(field: CompiledField): string;
+/** The first field `key` directly under the record's `section`. */
+export declare function fieldOf(record: CompiledRecord, section: string, key: string): CompiledField | undefined;
+/** The fields directly under the record's `section`, in authored order. */
+export declare function fieldsOf(record: CompiledRecord, section: string): readonly CompiledField[];
+export declare function says(record: CompiledRecord): string;
+export type Clauses = {
+    readonly ok: true;
+    readonly text: string;
+} | {
+    readonly ok: false;
+    readonly key: string;
+};
+/**
+ * Unconditional governance variants named by `keys`, in authored order, as `key: value` or, for a block, `key:` over
+ * a bulleted list. An inline empty list (`applies []`) authors "none" and is skipped like an absent clause, never
+ * projected as a literal `key: []`. Any other clause that renders empty is refused rather than projected as a bare
+ * `key:` line, so content the renderer cannot express is never dropped silently.
+ */
+export declare function governanceClauses(record: CompiledRecord, keys: readonly string[]): Clauses;
+//# sourceMappingURL=record-text.d.ts.map

package/dist/record-text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-text.d.ts","sourceRoot":"","sources":["../src/record-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAiB,aAAa,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAExG,oHAAoH;AACpH,wBAAgB,IAAI,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAKjD;AACD,wBAAgB,IAAI,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAEnD;AAMD,qHAAqH;AACrH,wBAAgB,SAAS,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAOtD;AACD,mEAAmE;AACnE,wBAAgB,OAAO,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAKvG;AACD,2EAA2E;AAC3E,wBAAgB,QAAQ,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,GAAG,SAAS,aAAa,EAAE,CAK1F;AACD,wBAAgB,IAAI,CAAC,MAAM,EAAE,cAAc,GAAG,MAAM,CAKnD;AACD,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAClH;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAe1F"}

package/dist/record-text.js

@@ -0,0 +1,73 @@
+/** Inline text of one compiled value. A block carries its content in its field's children; use fieldText for it. */
+export function text(value) {
+    if (value.kind === 'scalar' || value.kind === 'string' || value.kind === 'prose')
+        return value.text;
+    if (value.kind === 'list')
+        return value.items.length === 0 ? '[]' : value.items.map(text).join(', ');
+    if (value.kind === 'ref')
+        return `@${value.discriminator} ${value.name}`;
+    return '';
+}
+export function cite(record) {
+    return `@${record.discriminator} ${record.name} (${record.source.path}:${record.source.line})`;
+}
+function childLine(child) {
+    if ('item' in child)
+        return text(child.item);
+    const value = fieldText(child);
+    return !value ? '' : child.value.kind === 'block' ? `${child.key}:\n${value}` : `${child.key}: ${value}`;
+}
+/** A field's rendered value: inline values as text, a block as one `- ` bullet per nonempty item or nested field. */
+export function fieldText(field) {
+    if (field.value.kind !== 'block')
+        return text(field.value);
+    return (field.fields ?? [])
+        .map(childLine)
+        .filter((line) => line.trim() !== '')
+        .map((line) => '- ' + line.replace(/\n/g, '\n  '))
+        .join('\n');
+}
+/** The first field `key` directly under the record's `section`. */
+export function fieldOf(record, section, key) {
+    return record.sections
+        .filter((s) => s.name === section)
+        .flatMap((s) => s.fields)
+        .find((f) => 'key' in f && f.key === key);
+}
+/** The fields directly under the record's `section`, in authored order. */
+export function fieldsOf(record, section) {
+    return record.sections
+        .filter((s) => s.name === section)
+        .flatMap((s) => s.fields)
+        .filter((f) => 'key' in f);
+}
+export function says(record) {
+    return fieldsOf(record, 'meaning')
+        .filter((f) => f.key === 'says')
+        .map(fieldText)
+        .join('\n');
+}
+/**
+ * Unconditional governance variants named by `keys`, in authored order, as `key: value` or, for a block, `key:` over
+ * a bulleted list. An inline empty list (`applies []`) authors "none" and is skipped like an absent clause, never
+ * projected as a literal `key: []`. Any other clause that renders empty is refused rather than projected as a bare
+ * `key:` line, so content the renderer cannot express is never dropped silently.
+ */
+export function governanceClauses(record, keys) {
+    const governance = fieldsOf(record, 'governance'), rendered = [];
+    for (const variant of record.variants) {
+        if (variant.condition !== undefined || !keys.includes(variant.key))
+            continue;
+        if (variant.value.kind === 'list' && variant.value.items.length === 0)
+            continue;
+        const field = variant.value.kind === 'block'
+            ? governance.find((f) => f.key === variant.key && f.span.line === variant.span.line)
+            : undefined;
+        const value = field === undefined ? text(variant.value) : fieldText(field);
+        if (value.trim() === '')
+            return { ok: false, key: variant.key };
+        rendered.push(variant.value.kind === 'block' ? `${variant.key}:\n${value}` : `${variant.key}: ${value}`);
+    }
+    return { ok: true, text: rendered.join('\n\n') };
+}
+//# sourceMappingURL=record-text.js.map

package/dist/record-text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"record-text.js","sourceRoot":"","sources":["../src/record-text.ts"],"names":[],"mappings":"AAEA,oHAAoH;AACpH,MAAM,UAAU,IAAI,CAAC,KAAoB;IACvC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IACpG,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrG,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,IAAI,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;IACzE,OAAO,EAAE,CAAC;AACZ,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,MAAsB;IACzC,OAAO,IAAI,MAAM,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC;AACjG,CAAC;AACD,SAAS,SAAS,CAAC,KAAoB;IACrC,IAAI,MAAM,IAAI,KAAK;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC;AAC3G,CAAC;AACD,qHAAqH;AACrH,MAAM,UAAU,SAAS,CAAC,KAAoB;IAC5C,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3D,OAAO,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;SACxB,GAAG,CAAC,SAAS,CAAC;SACd,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;SACpC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;SACjD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AACD,mEAAmE;AACnE,MAAM,UAAU,OAAO,CAAC,MAAsB,EAAE,OAAe,EAAE,GAAW;IAC1E,OAAO,MAAM,CAAC,QAAQ;SACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;SACjC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,IAAI,CAAC,CAAC,CAAC,EAAsB,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;AAClE,CAAC;AACD,2EAA2E;AAC3E,MAAM,UAAU,QAAQ,CAAC,MAAsB,EAAE,OAAe;IAC9D,OAAO,MAAM,CAAC,QAAQ;SACnB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC;SACjC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;SACxB,MAAM,CAAC,CAAC,CAAC,EAAsB,EAAE,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;AACnD,CAAC;AACD,MAAM,UAAU,IAAI,CAAC,MAAsB;IACzC,OAAO,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;SAC/B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC;SAC/B,GAAG,CAAC,SAAS,CAAC;SACd,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAAE,IAAuB;IAC/E,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,EAC/C,QAAQ,GAAa,EAAE,CAAC;IAC1B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC7E,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChF,MAAM,KAAK,GACT,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;YAC5B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YACpF,CAAC,CAAC,SAAS,CAAC;QAChB,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC3E,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QAChE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,KAAK,KAAK,EAAE,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;AACnD,CAAC"}

package/dist/report.d.ts

@@ -0,0 +1,25 @@
+import type { Diagnostic } from '@inventarch/language';
+import type { Coordinate, Graph, Shadow } from '@inventarch/graph';
+import type { AdoptionEvaluators } from './adoption.js';
+import type { EvaluatorCatalog } from './catalog.js';
+import type { SystemFolder } from './systems.js';
+import type { Assessment, Finding, Verdict } from './types.js';
+export interface ReportOptions {
+    readonly admission?: readonly Assessment[];
+    readonly sourceDiagnostics?: readonly Diagnostic[];
+    readonly folders?: readonly SystemFolder[];
+    readonly evidence?: ReadonlyMap<'COMP-KERNEL' | 'COMP-FIXTURES', Verdict>;
+    readonly adoptionEvaluators?: AdoptionEvaluators;
+    readonly coordinate?: Coordinate;
+    /** Trusted evaluator catalog (C26). Absent: built-in-only COMP-CHECK, unchanged. */
+    readonly catalog?: EvaluatorCatalog;
+}
+export interface Report {
+    readonly revision: string;
+    readonly outcome: Assessment['outcome'];
+    readonly verdicts: readonly Verdict[];
+    readonly findings: readonly Finding[];
+    readonly shadows: readonly Shadow[];
+}
+export declare function evaluate(graph: Graph, options?: ReportOptions): Report;
+//# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGnE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAExD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAYrD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAGjD,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE/D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IAC3C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,aAAa,GAAG,eAAe,EAAE,OAAO,CAAC,CAAC;IAC1E,QAAQ,CAAC,kBAAkB,CAAC,EAAE,kBAAkB,CAAC;IACjD,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,oFAAoF;IACpF,QAAQ,CAAC,OAAO,CAAC,EAAE,gBAAgB,CAAC;CACrC;AACD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC;AAKD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,GAAE,aAAkB,GAAG,MAAM,CAiF1E"}

package/dist/report.js

@@ -0,0 +1,80 @@
+import { stableSerialize } from '@inventarch/graph';
+import { validateAdoption } from './adoption.js';
+import { assertCatalog } from './catalog.js';
+import { validateCheck, validateConsent, validateCoverage, validateFragments, validateGraphSchema, validateIdentity, validateParse, validateSelectors, } from './graph-checks.js';
+import { validateSystems } from './systems.js';
+import { validateVariants } from './variants.js';
+import { assess, verdict } from './types.js';
+const compare = (a, b) => (a < b ? -1 : a > b ? 1 : 0);
+function unavailable(check, message) {
+    return assess(check, 'graph', [{ code: 'IA-COMP-NOT-EVALUATED', severity: 'warning', path: '', line: 1, message }]);
+}
+export function evaluate(graph, options = {}) {
+    if (options.catalog !== undefined)
+        assertCatalog(options.catalog);
+    const nodes = [...graph.nodes.values()];
+    const sourceDiagnostics = options.sourceDiagnostics?.filter((d) => d.code !== 'IA-LANG-EDGE-TARGET-MISSING' ||
+        !graph.edges.some((edge) => edge.assertions.some((a) => a.source.path === d.path && a.source.line === d.line)));
+    const assessments = [
+        validateParse(sourceDiagnostics),
+        validateConsent(graph),
+        validateIdentity(graph),
+        validateFragments(graph),
+        ...validateSystems(options.folders?.map((folder) => ({
+            ...folder,
+            records: nodes.filter((node) => (folder.roots ?? [folder.path]).some((root) => node.source.path.startsWith(root + '/'))),
+        })) ?? [], graph.registry, nodes),
+        ...validateAdoption(graph, options.adoptionEvaluators, options.coordinate),
+    ];
+    assessments.push(...(options.admission?.filter((a) => a.outcome !== 'pass') ?? []));
+    if (options.folders === undefined)
+        for (const check of ['COMP-SYSTEM', 'COMP-STEWARD'])
+            assessments.push(unavailable(check, 'System folder discovery observations were not supplied'));
+    for (const node of nodes) {
+        assessments.push(validateGraphSchema(node, graph), validateSelectors(node), validateVariants(node));
+        if (node.discriminator === 'contract')
+            assessments.push(validateCoverage(node, graph));
+        if (node.discriminator === 'check')
+            assessments.push(validateCheck(node, options.catalog));
+    }
+    for (const diagnostic of graph.diagnostics)
+        if (diagnostic.code === 'IA-GRAPH-DIMENSION-UNKNOWN')
+            assessments.push(assess('COMP-SCHEMA', `${diagnostic.path}:${diagnostic.line}`, [diagnostic]));
+    for (const check of ['COMP-KERNEL', 'COMP-FIXTURES']) {
+        const evidence = options.evidence?.get(check);
+        assessments.push(evidence === undefined || evidence.revision !== graph.revision || evidence.check !== check
+            ? unavailable(check, `${check}: matching-revision verification evidence was not supplied`)
+            : evidence);
+    }
+    const grouped = new Map();
+    const rank = { pass: 0, 'not-evaluated': 1, fail: 2 };
+    for (const assessment of assessments) {
+        const key = stableSerialize([assessment.check, assessment.scope]), previous = grouped.get(key);
+        if (previous === undefined) {
+            grouped.set(key, assessment);
+            continue;
+        }
+        const findings = new Map([...previous.findings, ...assessment.findings].map((f) => [stableSerialize(f), f]));
+        const outcome = rank[assessment.outcome] > rank[previous.outcome] ? assessment.outcome : previous.outcome;
+        grouped.set(key, { ...assess(assessment.check, assessment.scope, [...findings.values()]), outcome });
+    }
+    const verdicts = Object.freeze([...grouped.values()]
+        .map((a) => verdict(a, graph.revision))
+        .sort((a, b) => compare(a.check, b.check) || compare(a.scope, b.scope)));
+    const findings = new Map();
+    for (const result of verdicts)
+        for (const item of result.findings)
+            findings.set(stableSerialize(item), item);
+    return Object.freeze({
+        revision: graph.revision,
+        outcome: verdicts.some((v) => v.outcome === 'fail')
+            ? 'fail'
+            : verdicts.some((v) => v.outcome === 'not-evaluated')
+                ? 'not-evaluated'
+                : 'pass',
+        verdicts,
+        findings: Object.freeze([...findings.values()].sort((a, b) => compare(a.path, b.path) || a.line - b.line || compare(a.code, b.code) || compare(a.message, b.message))),
+        shadows: graph.shadows,
+    });
+}
+//# sourceMappingURL=report.js.map

package/dist/report.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.js","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EACL,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,gBAAgB,EAChB,aAAa,EACb,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAoB7C,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC/E,SAAS,WAAW,CAAC,KAAa,EAAE,OAAe;IACjD,OAAO,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,uBAAuB,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;AACtH,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,UAAyB,EAAE;IAChE,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAAE,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACxC,MAAM,iBAAiB,GAAG,OAAO,CAAC,iBAAiB,EAAE,MAAM,CACzD,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,6BAA6B;QACxC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CACjH,CAAC;IACF,MAAM,WAAW,GAAiB;QAChC,aAAa,CAAC,iBAAiB,CAAC;QAChC,eAAe,CAAC,KAAK,CAAC;QACtB,gBAAgB,CAAC,KAAK,CAAC;QACvB,iBAAiB,CAAC,KAAK,CAAC;QACxB,GAAG,eAAe,CAChB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChC,GAAG,MAAM;YACT,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAC7B,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC,CACxF;SACF,CAAC,CAAC,IAAI,EAAE,EACT,KAAK,CAAC,QAAQ,EACd,KAAK,CACN;QACD,GAAG,gBAAgB,CAAC,KAAK,EAAE,OAAO,CAAC,kBAAkB,EAAE,OAAO,CAAC,UAAU,CAAC;KAC3E,CAAC;IACF,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS;QAC/B,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,cAAc,CAAC;YACjD,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,wDAAwD,CAAC,CAAC,CAAC;IACnG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QACpG,IAAI,IAAI,CAAC,aAAa,KAAK,UAAU;YAAE,WAAW,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QACvF,IAAI,IAAI,CAAC,aAAa,KAAK,OAAO;YAAE,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,WAAW;QACxC,IAAI,UAAU,CAAC,IAAI,KAAK,4BAA4B;YAClD,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACnG,KAAK,MAAM,KAAK,IAAI,CAAC,aAAa,EAAE,eAAe,CAAU,EAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC9C,WAAW,CAAC,IAAI,CACd,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,KAAK;YACxF,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,GAAG,KAAK,4DAA4D,CAAC;YAC1F,CAAC,CAAC,QAAQ,CACb,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAW,CAAC;IAC/D,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,eAAe,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,EAC/D,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YAC7B,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7G,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC;QAC1G,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAC1E,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC5C,KAAK,MAAM,MAAM,IAAI,QAAQ;QAAE,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,QAAQ;YAAE,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;IAC7G,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC;YACjD,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,eAAe,CAAC;gBACnD,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,MAAM;QACZ,QAAQ;QACR,QAAQ,EAAE,MAAM,CAAC,MAAM,CACrB,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CACzG,CACF;QACD,OAAO,EAAE,KAAK,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,23 @@
+import type { CompiledEdge, CompiledRecord, EdgeReference, FrozenRegistry, ResolutionCandidate, SchemaDeclaration, SchemaEdge, Span } from '@inventarch/language';
+import type { Assessment, CompCode, Finding } from './types.js';
+/** Whether a typed reference field names at least one admitted record (W0-L2). Absent, no `IA-COMP-FIELD-REF-MISSING` warning is raised. */
+export type ReferenceLookup = (reference: EdgeReference) => boolean;
+/**
+ * One lookup per pool array, built on first use and kept for the pool's lifetime, over language's `indexedResolver`:
+ * the whole pool is validated once on first use (an inconsistent candidate anywhere in it faults that first lookup),
+ * then each reference resolves against the candidates of its own name only, so a lookup is O(1) per reference.
+ * `subject` also resolves when it is not in the pool.
+ */
+export declare function poolLookup(registry: FrozenRegistry, pool: readonly ResolutionCandidate[], subject?: ResolutionCandidate): ReferenceLookup;
+export declare function validateSchema(record: CompiledRecord, registry: FrozenRegistry, pool: readonly CompiledRecord[]): Assessment;
+/** Shared structural checks; graph supplies its own admitted active relationships. */
+export declare function schemaStructure(record: CompiledRecord, registry: FrozenRegistry, exists?: ReferenceLookup): {
+    findings: Finding[];
+    schema?: SchemaDeclaration;
+};
+export declare function schemaReporter(record: CompiledRecord, findings: Finding[]): Add;
+type Add = (code: CompCode, span: Span, message: string, warning?: boolean) => void;
+export declare function matchesTarget(record: CompiledRecord, rule: SchemaEdge): boolean;
+export declare function couldMatch(edge: CompiledEdge, rule: SchemaEdge, registry: FrozenRegistry): boolean;
+export {};
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,YAAY,EAEZ,cAAc,EAGd,aAAa,EACb,cAAc,EACd,mBAAmB,EACnB,iBAAiB,EACjB,UAAU,EAEV,IAAI,EACL,MAAM,sBAAsB,CAAC;AAG9B,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEhE,4IAA4I;AAC5I,MAAM,MAAM,eAAe,GAAG,CAAC,SAAS,EAAE,aAAa,KAAK,OAAO,CAAC;AACpE;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,mBAAmB,EAAE,EACpC,OAAO,CAAC,EAAE,mBAAmB,GAC5B,eAAe,CAejB;AAQD,wBAAgB,cAAc,CAC5B,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,cAAc,EAAE,GAC9B,UAAU,CAgDZ;AAED,sFAAsF;AACtF,wBAAgB,eAAe,CAC7B,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,cAAc,EACxB,MAAM,CAAC,EAAE,eAAe,GACvB;IAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,iBAAiB,CAAA;CAAE,CAcrD;AACD,wBAAgB,cAAc,CAAC,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,GAAG,CAW/E;AAED,KAAK,GAAG,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,KAAK,IAAI,CAAC;AAiJpF,wBAAgB,aAAa,CAAC,MAAM,EAAE,cAAc,EAAE,IAAI,EAAE,UAAU,GAAG,OAAO,CAE/E;AACD,wBAAgB,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,cAAc,GAAG,OAAO,CAclG"}

package/dist/schema.js

@@ -0,0 +1,229 @@
+import { DIMENSION_PATHS, indexedResolver, isKind, resolveTarget } from '@inventarch/language';
+import { isListType, matchesForm, matchesType } from './values.js';
+import { assess } from './types.js';
+/**
+ * One lookup per pool array, built on first use and kept for the pool's lifetime, over language's `indexedResolver`:
+ * the whole pool is validated once on first use (an inconsistent candidate anywhere in it faults that first lookup),
+ * then each reference resolves against the candidates of its own name only, so a lookup is O(1) per reference.
+ * `subject` also resolves when it is not in the pool.
+ */
+export function poolLookup(registry, pool, subject) {
+    let byRegistry = lookups.get(pool);
+    if (byRegistry === undefined) {
+        byRegistry = new WeakMap();
+        lookups.set(pool, byRegistry);
+    }
+    let indexed = byRegistry.get(registry);
+    if (indexed === undefined) {
+        indexed = lazily(() => indexedResolver(registry, pool));
+        byRegistry.set(registry, indexed);
+    }
+    const resolver = indexed;
+    return (reference) => resolver()(reference).kind !== 'missing' ||
+        (subject !== undefined && resolveTarget(reference, registry, [subject]).kind !== 'missing');
+}
+const lookups = new WeakMap();
+function lazily(build) {
+    let built;
+    return () => (built ??= { value: build() }).value;
+}
+export function validateSchema(record, registry, pool) {
+    const all = [record, ...pool.filter((r) => !sameOccurrence(r, record))];
+    const { findings, schema } = schemaStructure(record, registry, poolLookup(registry, pool, record));
+    const add = schemaReporter(record, findings);
+    if (schema !== undefined) {
+        for (const rule of schema.edges) {
+            const targets = new Set();
+            let uncertain = false;
+            for (const author of all)
+                for (const edge of author.edges) {
+                    if (edge.predicate !== rule.predicate)
+                        continue;
+                    if (sameOccurrence(author, record) && edge.direction === 'out') {
+                        const resolved = edge.target === null ? [] : all.filter((r) => r.identity === edge.target);
+                        if (resolved.length === 1) {
+                            const target = resolved[0];
+                            if (!matchesTarget(target, rule))
+                                continue;
+                            if (edge.condition !== undefined)
+                                uncertain = true;
+                            else
+                                targets.add(`${target.identity}#${edge.fragment ?? ''}`);
+                        }
+                        else if (couldMatch(edge, rule, registry))
+                            uncertain = true;
+                    }
+                    else if (edge.direction === 'in' && matchesTarget(author, rule)) {
+                        // Inbound assertion on another record: subject -> author in active direction.
+                        const refersHere = edge.target === record.identity ||
+                            (edge.target === null && resolveTarget(edge.reference, registry, [record]).kind === 'resolved');
+                        if (!refersHere)
+                            continue;
+                        if (edge.target === null || edge.condition !== undefined)
+                            uncertain = true;
+                        else
+                            targets.add(`${author.identity}#`);
+                    }
+                }
+            const minimum = rule.must && rule.cardinality !== 'optional' ? 1 : 0;
+            const maximum = rule.cardinality === 'one-or-more' ? Infinity : 1;
+            if (targets.size > maximum || (targets.size < minimum && !uncertain)) {
+                add('IA-COMP-EDGE-CARDINALITY', record.source, `${rule.predicate} ${rule.target} requires ${rule.must ? 'must' : 'may'} ${rule.cardinality}; found ${targets.size} definite targets`);
+            }
+            else if (uncertain && (targets.size < minimum || maximum !== Infinity)) {
+                add('IA-COMP-EDGE-UNRESOLVED', record.source, `${rule.predicate} ${rule.target} ${rule.cardinality} cannot be decided with unresolved targets or conditions`, true);
+            }
+        }
+    }
+    return assess('COMP-SCHEMA', record.identity, findings);
+}
+/** Shared structural checks; graph supplies its own admitted active relationships. */
+export function schemaStructure(record, registry, exists) {
+    const findings = [], add = schemaReporter(record, findings);
+    const registration = registry.registrations.get(record.discriminator);
+    const schema = registration === undefined ? undefined : registry.schemas.get(registration.schema);
+    if (schema === undefined)
+        add('IA-COMP-SCHEMA-MISSING', record.source, `no schema is available for '${record.discriminator}'`);
+    else if (schema.kind !== record.kind || registration?.kind !== record.kind)
+        add('IA-COMP-SCHEMA-KIND-MISMATCH', record.source, `@schema ${schema.name} does not lower to ${record.kind}`);
+    else {
+        validateFields(record, schema, add, exists);
+        return { findings, schema };
+    }
+    return { findings };
+}
+export function schemaReporter(record, findings) {
+    return (code, span, message, warning = false) => {
+        findings.push({
+            code,
+            severity: warning ? 'warning' : 'error',
+            path: record.source.path,
+            ...span,
+            identity: record.identity,
+            message: `${record.source.path}:${span.line}: ${record.identity}: ${message}`,
+        });
+    };
+}
+const fieldsOnly = (children) => children.filter((c) => 'key' in c);
+/** Floor grammar sections the language reads itself: their children lower to edges, cells and selectors, never to ordinary fields. */
+const GRAMMAR_SECTIONS = ['relationships', 'cognition', 'activation'];
+/** The two floor dialect words: the body of a `@schema` or `@system` record is the dialect the language reads (spec 4.2, 4.3), not fields. */
+const DIALECT_WORDS = ['schema', 'system'];
+/** `section.key` paths the graph reads as kernel dimension coordinates (today `governance.severity`); the bare head paths never match a body field. */
+const DIMENSION_FIELDS = new Set(Object.values(DIMENSION_PATHS));
+const spanKey = (span) => `${span.line}:${span.endLine}`;
+function validateFields(record, schema, add, exists) {
+    const missingSections = new Set();
+    for (const rule of schema.sections) {
+        if (rule.must && rule.name !== 'head' && !record.sections.some((s) => s.name === rule.name)) {
+            missingSections.add(rule.name);
+            add('IA-COMP-SECTION-MISSING', record.source, `@schema ${schema.name} requires section '${rule.name}'`);
+        }
+    }
+    if (schema.closed)
+        for (const section of record.sections) {
+            if (['cognition', 'activation'].includes(section.name))
+                continue;
+            if (!schema.sections.some((r) => r.name === section.name))
+                add('IA-COMP-SECTION-UNKNOWN', section.span, `closed @schema ${schema.name} does not admit section '${section.name}'`);
+            else
+                validateKeys(record, schema, section, add);
+        }
+    for (const rule of schema.fields) {
+        if (missingSections.has(rule.section))
+            continue;
+        const sections = record.sections.filter((s) => s.name === rule.section);
+        if (rule.section !== 'head' &&
+            sections.length === 0 &&
+            schema.sections.some((s) => s.name === rule.section && !s.must))
+            continue;
+        const roots = rule.section === 'head' ? record.head : sections.flatMap((s) => fieldsOnly(s.fields));
+        const matches = roots.filter((field) => field.key === rule.key);
+        if (matches.length === 0 && rule.must)
+            add('IA-COMP-FIELD-MISSING', sections[0]?.span ?? record.source, `@schema ${schema.name} requires '${rule.section}.${rule.key}'`);
+        // D3: a declared non-list key is exactly one field; `list of T` is the only type a key may carry more than once. One finding per rule, at the second occurrence.
+        else if (matches.length > 1 && !isListType(rule.type))
+            add('IA-COMP-FIELD-DUPLICATE', matches[1].span, `'${rule.section}.${rule.key}' is declared once by @schema ${schema.name}; found ${matches.length} occurrences`);
+        for (const field of matches) {
+            if (!matchesType(field.value, rule.type))
+                add('IA-COMP-FIELD-TYPE', field.span, `'${rule.section}.${rule.key}' requires ${rule.type}; found ${field.value.kind}`);
+            else
+                validateNarrowing(field, rule, add, exists);
+        }
+    }
+}
+/**
+ * D1 (W0-L4, work-system design O-6, 2026-09-25): under `closed`, a declared body section admits only the keys the schema
+ * declares for it; every other ordinary field is `IA-COMP-FIELD-UNKNOWN` at its own span, nested children folded into
+ * their block's one finding. An ordinary field is a compiled field the compiler left as a field. It is not one when:
+ *  - its section is floor grammar (`relationships` lower to edges, `cognition` to cells, `activation` to selectors),
+ *    which the language reads and refuses itself;
+ *  - the compiler consumed it as a semantic product: a governance variant clause (its span is one of `record.variants`;
+ *    `readVariants` takes every `governance` field except `severity` and `when`) or a contract requirement clause
+ *    (its span is one of `record.requirements`, the `REQ-*` lines under inputs, outputs, failures and their kin);
+ *  - its `section.key` path is a kernel dimension (`DIMENSION_PATHS`, today `governance.severity`), which the graph
+ *    reads as a coordinate, not a field.
+ * Records of the two floor dialect words are exempt: a `@schema` body (`sections.must have`, `fields.may have`,
+ * `edges.may`, `closed`) and a `@system` body are the dialect the language reads itself, not fields; `@schema schema`
+ * is closed and declares no field. The head is a virtual section and stays open here.
+ */
+function validateKeys(record, schema, section, add) {
+    if (DIALECT_WORDS.includes(record.discriminator) || GRAMMAR_SECTIONS.includes(section.name))
+        return;
+    const consumed = new Set([...record.variants, ...record.requirements].map((product) => spanKey(product.span)));
+    for (const field of fieldsOnly(section.fields)) {
+        if (schema.fields.some((rule) => rule.section === section.name && rule.key === field.key))
+            continue;
+        if (DIMENSION_FIELDS.has(`${section.name}.${field.key}`) || consumed.has(spanKey(field.span)))
+            continue;
+        add('IA-COMP-FIELD-UNKNOWN', field.span, `closed @schema ${schema.name} does not declare '${section.name}.${field.key}'`);
+    }
+}
+/** The W0 narrowings over a value that already matches its type; one finding per field and narrowing, list items included. */
+function validateNarrowing(field, rule, add, exists) {
+    const path = `'${rule.section}.${rule.key}'`;
+    const items = field.value.kind === 'list' ? field.value.items : [field.value];
+    const texts = items.filter((item) => 'text' in item);
+    if (rule.values !== undefined) {
+        const outside = texts.filter((item) => !rule.values.includes(item.text));
+        if (outside.length > 0)
+            add('IA-COMP-FIELD-VALUE', field.span, `${path} admits one of ${rule.values.join(', ')}; found ${outside.map((item) => JSON.stringify(item.text)).join(', ')}`);
+    }
+    if (rule.target !== undefined) {
+        const references = items.filter((item) => item.kind === 'ref');
+        const foreign = references.find((reference) => reference.discriminator !== rule.target);
+        if (foreign !== undefined)
+            add('IA-COMP-FIELD-REF-TARGET', field.span, `${path} requires ref to ${rule.target}; found @${foreign.discriminator} ${foreign.name}`);
+        else if (exists !== undefined) {
+            const missing = references.find((reference) => !exists({ kind: 'ref', discriminator: reference.discriminator, name: reference.name }));
+            if (missing !== undefined)
+                add('IA-COMP-FIELD-REF-MISSING', field.span, `${path} names @${missing.discriminator} ${missing.name}, which no admitted record declares`, true);
+        }
+    }
+    if (rule.form !== undefined) {
+        const malformed = texts.filter((item) => !matchesForm(item.text, rule.form));
+        if (malformed.length > 0)
+            add('IA-COMP-FIELD-FORM', field.span, `${path} requires text form ${rule.form}; found ${malformed.map((item) => JSON.stringify(item.text)).join(', ')}`);
+    }
+}
+function sameOccurrence(a, b) {
+    return a.identity === b.identity && a.source.path === b.source.path && a.source.line === b.source.line;
+}
+export function matchesTarget(record, rule) {
+    return isKind(rule.target) ? record.kind === rule.target : record.discriminator === rule.target;
+}
+export function couldMatch(edge, rule, registry) {
+    if (edge.reference.kind === 'ref') {
+        const registration = registry.registrations.get(edge.reference.discriminator);
+        return isKind(rule.target) ? registration?.kind === rule.target : edge.reference.discriminator === rule.target;
+    }
+    const [system, kind, facet] = edge.reference.identity.split('/');
+    if (isKind(rule.target))
+        return kind === rule.target;
+    const registration = registry.registrations.get(rule.target);
+    return (registration !== undefined &&
+        registration.system === system &&
+        registration.kind === kind &&
+        registration.facets.includes(facet ?? ''));
+}
+//# sourceMappingURL=schema.js.map