@inventarch/compliance 0.0.0-stage → 1.0.0

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,wBAAwB;IACxB,8BAA8B;IAC9B,yBAAyB;IACzB,yBAAyB;IACzB,uBAAuB;IACvB,uBAAuB;IACvB,yBAAyB;IACzB,oBAAoB;IACpB,qBAAqB;IACrB,0BAA0B;IAC1B,2BAA2B;IAC3B,oBAAoB;IACpB,0BAA0B;IAC1B,yBAAyB;IACzB,0BAA0B;IAC1B,+BAA+B;IAC/B,yBAAyB;IACzB,yBAAyB;IACzB,uBAAuB;IACvB,6BAA6B;IAC7B,yBAAyB;IACzB,0BAA0B;IAC1B,0BAA0B;IAC1B,uBAAuB;IACvB,0BAA0B;IAC1B,uBAAuB;IACvB,2BAA2B;IAC3B,yBAAyB;IACzB,uBAAuB;IACvB,0BAA0B;IAC1B,4BAA4B;CACpB,CAAC;AAEX;qHACqH;AACrH,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC;IAC1C,yBAAyB;IACzB,+BAA+B;IAC/B,wBAAwB;IACxB,2BAA2B;IAC3B,iCAAiC;IACjC,kCAAkC;IAClC,+BAA+B;IAC/B,+BAA+B;IAC/B,2BAA2B;IAC3B,+BAA+B;IAC/B,kCAAkC;IAClC,+BAA+B;IAC/B,6BAA6B;IAC7B,iCAAiC;IACjC,6BAA6B;IAC7B,2BAA2B;IAC3B,4BAA4B;IAC5B,+BAA+B;IAC/B,yBAAyB;IACzB,yBAAyB;IACzB,uBAAuB;IACvB,sBAAsB;IACtB,2BAA2B;IAC3B,2BAA2B;IAC3B,yBAAyB;IACzB,yBAAyB;IACzB,2BAA2B;IAC3B,2BAA2B;CACnB,CAAC,CAAC;AAcZ,MAAM,UAAU,OAAO,CAAC,UAAsB,EAAE,QAAgB;IAC9D,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE;QAAE,MAAM,IAAI,SAAS,CAAC,kDAAkD,CAAC,CAAC;IACpG,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,UAAU;QACb,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChF,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AACD,MAAM,UAAU,MAAM,CAAC,KAAa,EAAE,KAAa,EAAE,QAA4B,EAAE,WAAW,GAAG,KAAK;IACpG,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK;QACL,KAAK;QACL,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC;YACnD,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,WAAW,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,yBAAyB,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,CAAC;gBAC/G,CAAC,CAAC,eAAe;gBACjB,CAAC,CAAC,MAAM;QACZ,QAAQ,EAAE,MAAM,CAAC,MAAM,CACrB,QAAQ;aACL,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;aACnC,IAAI,CACH,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,CACJ;KACF,CAAC,CAAC;AACL,CAAC;AACD,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS;IACnC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/values.d.ts

@@ -0,0 +1,8 @@
+import type { CompiledValue, FieldType, TextForm } from '@inventarch/language';
+/** Whether a schema field type is `list of T`: the one family a key may carry more than once (D3). */
+export declare function isListType(type: FieldType): boolean;
+/** Type predicates over already parsed values, never over IA source. */
+export declare function matchesType(value: CompiledValue, type: FieldType): boolean;
+/** Text-form predicates (W0-L5) over already type-checked text. `iso-date` is `YYYY-MM-DD` and a real calendar date. */
+export declare function matchesForm(text: string, form: TextForm): boolean;
+//# sourceMappingURL=values.d.ts.map

package/dist/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,QAAQ,EAAa,MAAM,sBAAsB,CAAC;AAE1F,sGAAsG;AACtG,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAEnD;AACD,wEAAwE;AACxE,wBAAgB,WAAW,CAAC,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,SAAS,GAAG,OAAO,CAK1E;AAmBD,wHAAwH;AACxH,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,GAAG,OAAO,CAajE"}

package/dist/values.js

@@ -0,0 +1,47 @@
+import { isId, isKind } from '@inventarch/language';
+/** Whether a schema field type is `list of T`: the one family a key may carry more than once (D3). */
+export function isListType(type) {
+    return type.startsWith('list of ');
+}
+/** Type predicates over already parsed values, never over IA source. */
+export function matchesType(value, type) {
+    if (isListType(type)) {
+        return value.kind === 'list' && value.items.every((item) => matchesScalar(item, type.slice(8)));
+    }
+    return matchesScalar(value, type);
+}
+function matchesScalar(value, type) {
+    if (type === 'ref')
+        return value.kind === 'ref';
+    if (type === 'flag')
+        return value.kind === 'none' || (value.kind === 'scalar' && ['true', 'false'].includes(value.text));
+    if (type === 'text')
+        return value.kind === 'scalar' || value.kind === 'string' || value.kind === 'prose';
+    if (value.kind !== 'scalar' && value.kind !== 'string')
+        return false;
+    switch (type) {
+        case 'id':
+            return isId(value.text);
+        case 'number':
+            return /^[+-]?(?:\d+(?:\.\d+)?|\.\d+)(?:[eE][+-]?\d+)?$/.test(value.text) && Number.isFinite(Number(value.text));
+        case 'qname': {
+            const slots = value.text.split('/');
+            return slots.length === 4 && slots.every((slot) => /^[a-z][a-z0-9-]*$/.test(slot)) && isKind(slots[1]);
+        }
+    }
+}
+/** Text-form predicates (W0-L5) over already type-checked text. `iso-date` is `YYYY-MM-DD` and a real calendar date. */
+export function matchesForm(text, form) {
+    switch (form) {
+        case 'iso-date': {
+            const match = /^(\d{4})-(\d{2})-(\d{2})$/.exec(text);
+            if (match === null)
+                return false;
+            const year = Number(match[1]), month = Number(match[2]), day = Number(match[3]);
+            const leap = year % 4 === 0 && (year % 100 !== 0 || year % 400 === 0);
+            const days = [31, leap ? 29 : 28, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31][month - 1];
+            return days !== undefined && day >= 1 && day <= days;
+        }
+    }
+}
+//# sourceMappingURL=values.js.map

package/dist/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../src/values.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAGpD,sGAAsG;AACtG,MAAM,UAAU,UAAU,CAAC,IAAe;IACxC,OAAO,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AACrC,CAAC;AACD,wEAAwE;AACxE,MAAM,UAAU,WAAW,CAAC,KAAoB,EAAE,IAAe;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC,CAAC,CAAC;IAC/G,CAAC;IACD,OAAO,aAAa,CAAC,KAAK,EAAE,IAAiB,CAAC,CAAC;AACjD,CAAC;AACD,SAAS,aAAa,CAAC,KAAoB,EAAE,IAAe;IAC1D,IAAI,IAAI,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC;IAChD,IAAI,IAAI,KAAK,MAAM;QACjB,OAAO,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IACtG,IAAI,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC;IACzG,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,IAAI;YACP,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,KAAK,QAAQ;YACX,OAAO,iDAAiD,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QACnH,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC;QAC1G,CAAC;IACH,CAAC;AACH,CAAC;AAED,wHAAwH;AACxH,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,IAAc;IACtD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YACjC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAC3B,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EACxB,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC;YACtE,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACrF,OAAO,IAAI,KAAK,SAAS,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,IAAI,CAAC;QACvD,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/variants.d.ts

@@ -0,0 +1,4 @@
+import type { Node } from '@inventarch/graph';
+import type { Assessment } from './types.js';
+export declare function validateVariants(node: Node): Assessment;
+//# sourceMappingURL=variants.d.ts.map

package/dist/variants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.d.ts","sourceRoot":"","sources":["../src/variants.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAc,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAG1D,OAAO,KAAK,EAAE,UAAU,EAAW,MAAM,YAAY,CAAC;AAoDtD,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,CA8CvD"}

package/dist/variants.js

@@ -0,0 +1,82 @@
+import { CONDITION_AXES, valuesFor } from '@inventarch/language';
+import { conditionHolds } from '@inventarch/graph';
+import { finding } from './graph-checks.js';
+import { assess } from './types.js';
+function constraint(variant, node) {
+    const cube = new Map();
+    for (const term of variant.condition ?? []) {
+        if (term.axis === 'provenance' || term.axis === 'artifact-set') {
+            if (!conditionHolds([term], node.dimensions, {}))
+                return undefined;
+        }
+        else if (term.axis === 'severity') {
+            const values = [undefined, ...valuesFor('severity')].filter((value) => conditionHolds([term], node.dimensions, value === undefined ? {} : { severity: value }));
+            if (values.length === 0)
+                return undefined;
+            cube.set('severity', values);
+        }
+        else
+            cube.set(term.axis, [term.value]);
+    }
+    return cube;
+}
+const intersects = (a, b) => a.some((value) => b.includes(value));
+/** Find a point in base outside the union of stronger clause cubes. Each split
+ * strictly reduces a finite domain; no Cartesian-product allocation or cutoff. */
+function uncovered(base, stronger) {
+    const overlaps = stronger.filter((cube) => [...cube].every(([axis, values]) => intersects(base.get(axis), values)));
+    if (overlaps.length === 0)
+        return Object.freeze(Object.fromEntries([...base].filter(([, values]) => values[0] !== undefined).map(([axis, values]) => [axis, values[0]])));
+    if (overlaps.some((cube) => [...cube].every(([axis, values]) => base.get(axis).every((value) => values.includes(value)))))
+        return undefined;
+    for (const [axis, values] of overlaps[0]) {
+        const domain = base.get(axis);
+        const inside = domain.filter((value) => values.includes(value)), outside = domain.filter((value) => !values.includes(value));
+        if (inside.length === 0 || outside.length === 0)
+            continue;
+        for (const part of [outside, inside]) {
+            const narrowed = new Map(base);
+            narrowed.set(axis, part);
+            const witness = uncovered(narrowed, overlaps);
+            if (witness !== undefined)
+                return witness;
+        }
+        return undefined;
+    }
+    throw new Error('Finite ambiguity search failed to refine an overlapping region');
+}
+export function validateVariants(node) {
+    const families = new Map(), findings = [];
+    for (const variant of node.variants) {
+        const group = families.get(variant.key) ?? [];
+        group.push(variant);
+        families.set(variant.key, group);
+    }
+    for (const [key, family] of [...families].sort(([a], [b]) => (a < b ? -1 : a > b ? 1 : 0))) {
+        const clauses = family
+            .map((variant) => ({ variant, cube: constraint(variant, node), specificity: variant.condition?.length ?? 0 }))
+            .filter((entry) => entry.cube !== undefined)
+            .sort((a, b) => a.variant.span.line - b.variant.span.line);
+        const axes = CONDITION_AXES.filter((axis) => clauses.some((clause) => clause.cube.has(axis)));
+        let found = false;
+        for (let i = 0; i < clauses.length && !found; i++)
+            for (let j = i + 1; j < clauses.length && !found; j++) {
+                const a = clauses[i], b = clauses[j];
+                if (a.specificity !== b.specificity)
+                    continue;
+                const base = new Map(axes.map((axis) => [
+                    axis,
+                    [undefined, ...valuesFor(axis)].filter((value) => (a.cube.get(axis)?.includes(value) ?? true) && (b.cube.get(axis)?.includes(value) ?? true)),
+                ]));
+                if ([...base.values()].some((values) => values.length === 0))
+                    continue;
+                const witness = uncovered(base, clauses.filter((clause) => clause.specificity > a.specificity).map((clause) => clause.cube));
+                if (witness === undefined)
+                    continue;
+                findings.push(finding('IA-COMP-VARIANT-AMBIGUOUS', node, `${key} ties at maximum specificity ${a.specificity} between lines ${a.variant.span.line} and ${b.variant.span.line}; coordinate ${JSON.stringify(witness)}`, a.variant.span.line));
+                found = true;
+            }
+    }
+    return assess('COMP-VARIANT', node.identity, findings);
+}
+//# sourceMappingURL=variants.js.map

package/dist/variants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.js","sourceRoot":"","sources":["../src/variants.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAEnD,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAKpC,SAAS,UAAU,CAAC,OAAgB,EAAE,IAAU;IAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmC,CAAC;IACxD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YAC/D,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;gBAAE,OAAO,SAAS,CAAC;QACrE,CAAC;aAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACpC,MAAM,MAAM,GAAG,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,UAAU,CAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACrE,cAAc,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,UAAU,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CACxF,CAAC;YACF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC1C,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;;YAAM,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AACD,MAAM,UAAU,GAAG,CAAC,CAAmB,EAAE,CAAmB,EAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAE/G;kFACkF;AAClF,SAAS,SAAS,CAAC,IAAU,EAAE,QAAyB;IACtD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IACrH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,WAAW,CAChB,CAAC,GAAG,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CACrG,CACF,CAAC;IACJ,IACE,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CACrB,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAC9F;QAED,OAAO,SAAS,CAAC;IACnB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAC7D,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC1D,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YACzB,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC9C,IAAI,OAAO,KAAK,SAAS;gBAAE,OAAO,OAAO,CAAC;QAC5C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;AACpF,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAqB,EAC3C,QAAQ,GAAc,EAAE,CAAC;IAC3B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,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,EAAE,CAAC;QAC3F,MAAM,OAAO,GAAG,MAAM;aACnB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC,CAAC;aAC7G,MAAM,CAAC,CAAC,KAAK,EAA0C,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;aACnF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,IAAI,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9F,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE;YAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtD,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,EACnB,CAAC,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;gBAClB,IAAI,CAAC,CAAC,WAAW,KAAK,CAAC,CAAC,WAAW;oBAAE,SAAS;gBAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,CAClB,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;oBACjB,IAAI;oBACJ,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,IAAI,CAAE,CAAC,CAAC,MAAM,CACrC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,CACtG;iBACF,CAAC,CACH,CAAC;gBACF,IAAI,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC;oBAAE,SAAS;gBACvE,MAAM,OAAO,GAAG,SAAS,CACvB,IAAI,EACJ,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAC5F,CAAC;gBACF,IAAI,OAAO,KAAK,SAAS;oBAAE,SAAS;gBACpC,QAAQ,CAAC,IAAI,CACX,OAAO,CACL,2BAA2B,EAC3B,IAAI,EACJ,GAAG,GAAG,gCAAgC,CAAC,CAAC,WAAW,kBAAkB,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,gBAAgB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,EAC5J,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CACpB,CACF,CAAC;gBACF,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC,cAAc,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AACzD,CAAC"}

package/dist/workspace-projection.d.ts

@@ -0,0 +1,22 @@
+import type { CompiledRecord } from '@inventarch/language';
+import type { HostArtifacts, ProjectionMembership } from './projections.js';
+export declare const WORKSPACE_PROJECTION_MARKER = "<!-- Generated by ia host; edit the cited native records. -->";
+export interface WorkspaceProjectionInput {
+    readonly host: 'claude' | 'codex';
+    /** HOST_MODES rows from @inventarch/distribution/host-modes, rendered with the literal `<cache>` placeholder. */
+    readonly modes: readonly {
+        readonly invocation: string;
+        readonly meaning: string;
+    }[];
+    readonly distributions: readonly {
+        readonly id: string;
+        readonly version: string;
+    }[];
+    readonly operations: readonly string[];
+}
+/**
+ * Spec §6.1: systems, stewards, distributions, door, launcher modes. No named procedure is required.
+ * Shares every refusal condition with renderHostArtifacts through admittedStewards (projections.ts).
+ */
+export declare function renderWorkspaceProjection(records: readonly CompiledRecord[], revision: string, membership: ProjectionMembership, input: WorkspaceProjectionInput): HostArtifacts;
+//# sourceMappingURL=workspace-projection.d.ts.map

package/dist/workspace-projection.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-projection.d.ts","sourceRoot":"","sources":["../src/workspace-projection.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAI3D,OAAO,KAAK,EAAgB,aAAa,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAE1F,eAAO,MAAM,2BAA2B,kEAAkE,CAAC;AAC3G,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC;IAClC,iHAAiH;IACjH,QAAQ,CAAC,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrF,QAAQ,CAAC,aAAa,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrF,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;CACxC;AACD;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,oBAAoB,EAChC,KAAK,EAAE,wBAAwB,GAC9B,aAAa,CA2Df"}

package/dist/workspace-projection.js

@@ -0,0 +1,68 @@
+import { assess } from './types.js';
+import { admittedStewards, cite, governanceClauses, invalidAssessment } from './projections.js';
+import { says } from './record-text.js';
+export const WORKSPACE_PROJECTION_MARKER = '<!-- Generated by ia host; edit the cited native records. -->';
+/**
+ * Spec §6.1: systems, stewards, distributions, door, launcher modes. No named procedure is required.
+ * Shares every refusal condition with renderHostArtifacts through admittedStewards (projections.ts).
+ */
+export function renderWorkspaceProjection(records, revision, membership, input) {
+    const admitted = admittedStewards(records, revision, membership);
+    if ('artifacts' in admitted)
+        return admitted;
+    const rows = [], agents = [];
+    for (const { system, member, agent } of admitted.systems) {
+        rows.push(`- ${system.name}: steward ${agent.name}; ${cite(system)}; ${cite(agent)}.`);
+        // Host plugin distribution spec §10 (amends M5.3 §6.2): a steward follows its system into the workspace, authored
+        // or installed; admittedStewards already excludes the floor, so every file here has records to ground on.
+        if (input.host === 'claude') {
+            // A list-form (block) clause renders as bullets; an empty clause is refused, as in renderHostArtifacts.
+            const rendered = governanceClauses(agent, ['applies', 'requires']);
+            if (!rendered.ok)
+                return invalidAssessment(`Steward ${agent.name}: empty ${rendered.key} clause`);
+            const clauses = rendered.text;
+            // C24, as projections.ts marks adopted sources: a steward whose system is installed or adopted cannot repair its
+            // definitions (the steward guard refuses those paths), so it reviews them and authors only local contributions.
+            const local = member.root === `.ia/src/systems/${system.name}`;
+            const description = local
+                ? `Use for authoring, reviewing or repairing records owned by ${system.name}.`
+                : `Use for reviewing records owned by ${system.name} and for authoring its permitted local contributions.`;
+            const immutable = local
+                ? ''
+                : '\nInstalled or adopted definition sources are immutable. Author permitted project contributions in the local system folder; do not edit the cited source paths.\n';
+            agents.push({
+                path: `.claude/agents/${agent.name}.md`,
+                text: `---\nname: ${agent.name}\ndescription: ${JSON.stringify(description)}\n---\n\n${WORKSPACE_PROJECTION_MARKER}\n\nSource revision: ${revision}\n\nSources: ${cite(system)}; ${cite(agent)}.\n\n# ${agent.name}\n\n${says(agent)}\n${clauses ? '\n' + clauses + '\n' : ''}${immutable}`,
+            });
+        }
+    }
+    const distributions = input.distributions.length
+        ? input.distributions
+            .slice()
+            .sort((a, b) => (a.id < b.id ? -1 : 1))
+            .map((d) => `- ${d.id} ${d.version}`)
+            .join('\n')
+        : '- none';
+    const modes = input.modes.map((m) => `- \`${m.invocation}\`: ${m.meaning}`).join('\n');
+    // Operator decision 2026-09-23: Claude is the host that registers the steward guard; the sentence states its rule, not that it ran.
+    const guard = input.host === 'claude'
+        ? `\n\nWhen the steward guard is registered, edits under .ia/src/systems/<name>/ are accepted only from that system's steward subagent.`
+        : '';
+    const instructions = `${WORKSPACE_PROJECTION_MARKER}\n\n# IA workspace\n\nSource revision: ${revision}\n\n## Systems and stewards\n\n${rows.join('\n')}${guard}\n\n## Installed distributions\n\n${distributions}\n\n## Reaching the door\n\nThe MCP server \`ia-workspace\` serves this workspace read-only. For one-shot queries run \`ia <operation> --root <workspace>\`, where the operation is one of: ${input.operations.join(', ')}.\n\n## Launcher modes\n\n\`ia doctor\` reports the path of \`<cache>\`.\n\n${modes}\n\n\n## User-level state\n\n~/.ia is the user-level IA home, not a workspace; ia doctor reports it.\n\nThis file is a projection of records. Adding text to it creates no rule; rules are authored records.\n`;
+    const skill = `---\nname: ia-authoring\ndescription: Author or review IA records in this workspace.\n---\n\n${WORKSPACE_PROJECTION_MARKER}\n\nSource revision: ${revision}\n\nFind a word and its schema with \`ia vocabulary <word> --schema\`. Check records with \`ia validate\`. Inspect an admitted record with \`ia inspect <identity>\`. Validation establishes conformance to the declared schemas, not design quality.\n`;
+    const artifacts = input.host === 'claude'
+        ? [
+            { path: '.claude/rules/ia-workspace.md', text: instructions },
+            { path: '.claude/skills/ia-authoring/SKILL.md', text: skill },
+            ...agents,
+        ]
+        : [
+            { path: 'AGENTS.md', text: instructions },
+            { path: '.agents/skills/ia-authoring/SKILL.md', text: skill },
+        ];
+    return Object.freeze({
+        assessment: assess('COMP-PROJECTIONS', 'repository', []),
+        artifacts: Object.freeze(artifacts.map((a) => Object.freeze(a))),
+    });
+}
+//# sourceMappingURL=workspace-projection.js.map

package/dist/workspace-projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace-projection.js","sourceRoot":"","sources":["../src/workspace-projection.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACpC,OAAO,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAChG,OAAO,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAGxC,MAAM,CAAC,MAAM,2BAA2B,GAAG,+DAA+D,CAAC;AAQ3G;;;GAGG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAkC,EAClC,QAAgB,EAChB,UAAgC,EAChC,KAA+B;IAE/B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC;IACjE,IAAI,WAAW,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC7C,MAAM,IAAI,GAAa,EAAE,EACvB,MAAM,GAAmB,EAAE,CAAC;IAC9B,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,IAAI,aAAa,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACvF,kHAAkH;QAClH,0GAA0G;QAC1G,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,wGAAwG;YACxG,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;YACnE,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAAE,OAAO,iBAAiB,CAAC,WAAW,KAAK,CAAC,IAAI,WAAW,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC;YAClG,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC9B,iHAAiH;YACjH,gHAAgH;YAChH,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,KAAK,mBAAmB,MAAM,CAAC,IAAI,EAAE,CAAC;YAC/D,MAAM,WAAW,GAAG,KAAK;gBACvB,CAAC,CAAC,8DAA8D,MAAM,CAAC,IAAI,GAAG;gBAC9E,CAAC,CAAC,sCAAsC,MAAM,CAAC,IAAI,uDAAuD,CAAC;YAC7G,MAAM,SAAS,GAAG,KAAK;gBACrB,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,mKAAmK,CAAC;YACxK,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB,KAAK,CAAC,IAAI,KAAK;gBACvC,IAAI,EAAE,cAAc,KAAK,CAAC,IAAI,kBAAkB,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,YAAY,2BAA2B,wBAAwB,QAAQ,gBAAgB,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,UAAU,KAAK,CAAC,IAAI,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,GAAG,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE;aAC5R,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM;QAC9C,CAAC,CAAC,KAAK,CAAC,aAAa;aAChB,KAAK,EAAE;aACP,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACtC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;aACpC,IAAI,CAAC,IAAI,CAAC;QACf,CAAC,CAAC,QAAQ,CAAC;IACb,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,UAAU,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,oIAAoI;IACpI,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,KAAK,QAAQ;QACrB,CAAC,CAAC,sIAAsI;QACxI,CAAC,CAAC,EAAE,CAAC;IACT,MAAM,YAAY,GAAG,GAAG,2BAA2B,0CAA0C,QAAQ,kCAAkC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,qCAAqC,aAAa,+LAA+L,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,+EAA+E,KAAK,gNAAgN,CAAC;IAC/sB,MAAM,KAAK,GAAG,gGAAgG,2BAA2B,wBAAwB,QAAQ,yPAAyP,CAAC;IACna,MAAM,SAAS,GACb,KAAK,CAAC,IAAI,KAAK,QAAQ;QACrB,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,+BAA+B,EAAE,IAAI,EAAE,YAAY,EAAE;YAC7D,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,KAAK,EAAE;YAC7D,GAAG,MAAM;SACV;QACH,CAAC,CAAC;YACE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE;YACzC,EAAE,IAAI,EAAE,sCAAsC,EAAE,IAAI,EAAE,KAAK,EAAE;SAC9D,CAAC;IACR,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,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;KACjE,CAAC,CAAC;AACL,CAAC"}

package/fixtures/language/cases/fail/duplicate-given.diagnostics.json

@@ -0,0 +1,10 @@
+[
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 61
+  },
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 65
+  }
+]

package/fixtures/language/cases/fail/duplicate-given.ia

@@ -0,0 +1,72 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+    given "again"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/given-scalar.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 61
+  }
+]

package/fixtures/language/cases/fail/given-scalar.ia

@@ -0,0 +1,71 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@case example
+  scenario
+    kind success
+    given bare
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/head-verdict.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 59
+  }
+]

package/fixtures/language/cases/fail/head-verdict.ia

@@ -0,0 +1,72 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@case example
+  verdict "pass"
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+    evaluator "reviewer"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/missing-evaluator.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 59
+  }
+]

package/fixtures/language/cases/fail/missing-evaluator.ia

@@ -0,0 +1,70 @@
+#! ia 1.0
+@system fixture-system
+  provider "conformance"
+  version "1.0.0"
+  discriminators
+    playbook lowers to governance
+      category process
+      facets [head]
+      schema @schema playbook
+    law lowers to governance
+      category process
+      facets [head]
+      schema @schema law
+    contract lowers to contract
+      category process
+      facets [head]
+      schema @schema contract
+    case lowers to check
+      category process
+      facets [head]
+      schema @schema case
+  edges
+    govern * using *
+    enforce * using *
+    ground * using *
+    constrain * using *
+    implement * using *
+    produce * using *
+    consume * using *
+    record-lineage-from * using *
+    grant-access-to * using *
+    run-before * using *
+    trigger * using *
+    cite * using *
+    supersede * using *
+    require * using *
+    use * using *
+    forbid * using *
+    route * using *
+    land * using *
+@schema playbook
+  lowers to governance
+  sections
+    open
+@schema law
+  lowers to governance
+  sections
+    open
+@schema contract
+  lowers to contract
+  sections
+    open
+@schema case
+  lowers to check
+  sections
+    open
+@playbook target
+@case example
+  scenario
+    kind success
+    given "input"
+    request "act"
+    expected "output"
+  relationships
+    implements @contract signature#REQ-A
+@contract signature
+  relationships
+    governs @playbook target
+  inputs
+    REQ-A "text"

package/fixtures/language/cases/fail/missing-expected.diagnostics.json

@@ -0,0 +1,6 @@
+[
+  {
+    "code": "IA-LANG-CASE-MALFORMED",
+    "line": 59
+  }
+]