@astrale-os/kernel-dsl 0.2.0-beta.4 → 0.2.0-beta.6

package/dist/v1/schema/validation/policy/uses.js

@@ -0,0 +1,259 @@
+import { Key } from '../../../addressing/index.js';
+import { definitionRefIndex } from '../../../addressing/ordering.js';
+import { normalizePolicyChecks } from '../../../language/policy/normalization/normalize.js';
+import { GRAPH_NODE_PATH_SCHEMA_ID } from '../../../language/value/syntax/node-path/schema.js';
+import { MAX_BRANCHES, MAX_CHECK_DEPTH, MAX_CHECK_LEAVES, measureChecks } from './budgets.js';
+import { escapePointer } from './context.js';
+import { contractOfNodeDefinition } from './typing.js';
+const formatDefinitionRef = Key.of;
+const KERNEL_ORIGIN = 'kernel.astrale.ai';
+const PROJECTION_CLASS = nodeClassRef('Class');
+const PROJECTION_FUNCTION = nodeClassRef('Function');
+const PROJECTION_POLICY = nodeClassRef('Policy');
+const PROJECTION_VIEW = nodeClassRef('View');
+export function validateReadUses(context, typing) {
+    for (const [name, declaration] of Object.entries(context.environment.candidate.classes)) {
+        if (declaration.kind !== 'node' || declaration.policies.read === undefined) {
+            continue;
+        }
+        const pointer = `/classes/${escapePointer(name)}/policies/read`;
+        const ref = declaration.policies.read;
+        if (!context.resolvePolicy(ref, pointer))
+            continue;
+        const object = {
+            kind: 'exact',
+            ref: { origin: context.environment.candidate.origin, kind: 'class', name },
+        };
+        if (!typing.policyAccepts(ref.name, object)) {
+            context.add('PL_USE', pointer, `${formatDefinitionRef(ref)} is not valid for every normalized branch of protected Class ${name}.`, formatDefinitionRef(ref));
+        }
+    }
+}
+export function validateTraverseUses(context, typing) {
+    for (const [name, declaration] of Object.entries(context.environment.candidate.classes)) {
+        const ref = declaration.policies.traverse;
+        if (ref === undefined)
+            continue;
+        const pointer = `/classes/${escapePointer(name)}/policies/traverse`;
+        if (!context.resolvePolicy(ref, pointer))
+            continue;
+        if (declaration.kind === 'node') {
+            const object = {
+                kind: 'exact',
+                ref: { origin: context.environment.candidate.origin, kind: 'class', name },
+            };
+            if (!typing.policyAccepts(ref.name, object)) {
+                context.add('PL_USE', pointer, `${formatDefinitionRef(ref)} is not valid for every normalized branch of traversed Node Class ${name}.`, formatDefinitionRef(ref));
+            }
+            continue;
+        }
+        const endpoints = declaration.orientation === 'directed'
+            ? [declaration.endpoints.source, declaration.endpoints.target]
+            : declaration.endpoints;
+        const sources = typing.concreteEndpointClasses(endpoints[0].accepts);
+        const targets = typing.concreteEndpointClasses(endpoints[1].accepts);
+        let accepted = true;
+        for (const source of sources) {
+            for (const target of targets) {
+                if (!typing.policyAcceptsEdge(ref.name, { kind: 'exact', ref: source }, { kind: 'exact', ref: target })) {
+                    accepted = false;
+                    break;
+                }
+            }
+            if (!accepted)
+                break;
+        }
+        if (!accepted) {
+            context.add('PL_USE', pointer, `${formatDefinitionRef(ref)} is not valid for every concrete source/target pair of traversed Edge Class ${name}.`, formatDefinitionRef(ref));
+        }
+    }
+}
+export function validateCallableUses(context, typing) {
+    for (const [name, declaration] of Object.entries(context.environment.candidate.functions)) {
+        if (declaration.policy === undefined)
+            continue;
+        validateChecks(context, typing, declaration.policy, {
+            pointer: `/functions/${escapePointer(name)}/policy`,
+            input: declaration.input,
+            instanceMethod: false,
+        });
+    }
+    for (const [name, declaration] of Object.entries(context.environment.candidate.classes)) {
+        if (declaration.kind !== 'node')
+            continue;
+        validateDeclaredMethods(context, typing, 'classes', name, declaration.methods, {
+            origin: context.environment.candidate.origin,
+            kind: 'class',
+            name,
+        });
+    }
+}
+function validateDeclaredMethods(context, typing, namespace, name, methods, receiver) {
+    const ownerAnalysis = context.analysis.definitions.get(definitionRefIndex(receiver));
+    for (const [methodName, method] of Object.entries(methods)) {
+        if (method.policy === undefined)
+            continue;
+        // Definition analysis is the authority for the effective callable. A
+        // missing entry is already a definition diagnostic, so avoid inventing a
+        // second Policy interpretation for it.
+        if (ownerAnalysis !== undefined && !ownerAnalysis.methods.has(methodName))
+            continue;
+        validateChecks(context, typing, method.policy, {
+            pointer: `/${namespace}/${escapePointer(name)}/methods/${escapePointer(methodName)}/policy`,
+            input: method.input,
+            receiver,
+            instanceMethod: !method.static,
+        });
+    }
+}
+function validateChecks(validation, typing, expression, context) {
+    const normalized = normalizePolicyChecks(expression);
+    const measure = measureChecks(normalized);
+    if (measure.depth > MAX_CHECK_DEPTH ||
+        measure.branches > MAX_BRANCHES ||
+        measure.leaves > MAX_CHECK_LEAVES) {
+        validation.add('PL_BUDGET', context.pointer, `Callable checks require depth <= ${MAX_CHECK_DEPTH}, branches <= ${MAX_BRANCHES}, and leaves <= ${MAX_CHECK_LEAVES}; got ${measure.depth}, ${measure.branches}, ${measure.leaves}.`);
+    }
+    visitChecks(validation, typing, normalized, context, context.pointer);
+}
+function visitChecks(validation, typing, expression, context, pointer) {
+    if ('check' in expression) {
+        if (!validation.resolvePolicy(expression.check, `${pointer}/check`))
+            return;
+        const objectPointer = `${pointer}/object`;
+        const contracts = expression.object.kind === 'self'
+            ? selfContracts(validation, context, objectPointer)
+            : expression.object.kind === 'input'
+                ? inputContracts(validation, context, expression.object.field, objectPointer)
+                : referenceContracts(validation, expression.object.ref, objectPointer);
+        if (contracts === undefined)
+            return;
+        for (const contract of contracts) {
+            if (!typing.policyAccepts(expression.check.name, contract)) {
+                validation.add('PL_USE', pointer, `${formatDefinitionRef(expression.check)} is incompatible with the callable object contract.`, formatDefinitionRef(expression.check));
+                break;
+            }
+        }
+        return;
+    }
+    const { key, values } = checkOperands(expression);
+    if (values.length === 0) {
+        validation.add('PL_COMPOSITION', `${pointer}/${key}`, `${key} must be non-empty.`);
+    }
+    values.forEach((child, index) => visitChecks(validation, typing, child, context, `${pointer}/${key}/${index}`));
+}
+function referenceContracts(validation, ref, pointer) {
+    const candidate = validation.environment.candidate;
+    if (ref.origin !== candidate.origin)
+        return invalidPolicyObjectRef(validation, ref, pointer);
+    switch (ref.kind) {
+        case 'class': {
+            const resolved = validation.environment.resolve(ref);
+            return resolved?.ref.kind === ref.kind
+                ? [{ kind: 'exact', ref: PROJECTION_CLASS }]
+                : invalidPolicyObjectRef(validation, ref, pointer);
+        }
+        case 'function':
+            return candidate.functions[ref.name] === undefined
+                ? invalidPolicyObjectRef(validation, ref, pointer)
+                : [{ kind: 'exact', ref: PROJECTION_FUNCTION }];
+        case 'policy':
+            return candidate.policies[ref.name] === undefined
+                ? invalidPolicyObjectRef(validation, ref, pointer)
+                : [{ kind: 'exact', ref: PROJECTION_POLICY }];
+        case 'view':
+            return candidate.views[ref.name] === undefined
+                ? invalidPolicyObjectRef(validation, ref, pointer)
+                : [{ kind: 'exact', ref: PROJECTION_VIEW }];
+        case 'core': {
+            const node = candidate.core.nodes[ref.name];
+            if (node === undefined)
+                return invalidPolicyObjectRef(validation, ref, pointer);
+            const resolved = validation.environment.resolve(node.class);
+            const analyzed = validation.analysis.definitions.get(definitionRefIndex(node.class));
+            // Core validation owns invalid Core Class diagnostics. Avoid adding Policy noise for
+            // a Node that cannot materialize in the first place.
+            if (node.class.origin !== candidate.origin ||
+                resolved?.ref.kind !== 'class' ||
+                resolved.kind !== 'node' ||
+                analyzed === undefined) {
+                return undefined;
+            }
+            return [contractOfNodeDefinition(node.class)];
+        }
+    }
+    return invalidPolicyObjectRef(validation, ref, pointer);
+}
+function invalidPolicyObjectRef(validation, ref, pointer) {
+    validation.add('PL_REF', `${pointer}/ref`, `${formatDefinitionRef(ref)} is not an exact local projected Policy object.`, formatDefinitionRef(ref));
+    return undefined;
+}
+function selfContracts(validation, context, pointer) {
+    if (!context.instanceMethod || context.receiver === undefined) {
+        validation.add('PL_USE', pointer, 'self is valid only for a Node instance Method.');
+        return undefined;
+    }
+    return [contractOfNodeDefinition(context.receiver)];
+}
+function inputContracts(validation, context, field, pointer) {
+    const input = asRecord(context.input);
+    const properties = asRecord(input?.properties);
+    const fieldSchema = asRecord(properties?.[field]);
+    const required = input?.required;
+    const rootValid = input?.type === 'object' &&
+        properties !== undefined &&
+        Array.isArray(required) &&
+        required.includes(field) &&
+        input.additionalProperties === false &&
+        !hasCombinator(input);
+    const annotation = asRecord(fieldSchema?.['x-astrale-path']);
+    const fieldValid = rootValid &&
+        fieldSchema?.$ref === GRAPH_NODE_PATH_SCHEMA_ID &&
+        !hasCombinator(fieldSchema) &&
+        annotation?.target === 'node' &&
+        annotation.cardinality === 'one' &&
+        Array.isArray(annotation.accepts) &&
+        annotation.accepts.length > 0;
+    if (!fieldValid) {
+        validation.add('PL_USE', pointer, `input.${field} must be one direct required single-Node x-astrale-path field of a closed object input.`);
+        return undefined;
+    }
+    const contracts = [];
+    for (const ref of annotation.accepts) {
+        if (!isDefinitionRef(ref)) {
+            validation.add('PL_USE', pointer, `input.${field} has a non-Node acceptance ref.`);
+            return undefined;
+        }
+        const resolved = validation.environment.resolve(ref);
+        if (resolved === undefined || resolved.ref.kind !== 'class' || resolved.kind !== 'node') {
+            validation.add('PL_USE', pointer, `input.${field} ref ${formatDefinitionRef(ref)} does not resolve as an allowed Node Definition.`, formatDefinitionRef(ref));
+            return undefined;
+        }
+        contracts.push(contractOfNodeDefinition(ref));
+    }
+    return contracts;
+}
+function asRecord(value) {
+    return value !== null && typeof value === 'object' && !Array.isArray(value)
+        ? value
+        : undefined;
+}
+function hasCombinator(value) {
+    return ['allOf', 'anyOf', 'oneOf', 'not', 'if', 'then', 'else'].some((key) => Object.hasOwn(value, key));
+}
+function isDefinitionRef(value) {
+    const record = asRecord(value);
+    return (record !== undefined &&
+        typeof record.origin === 'string' &&
+        record.kind === 'class' &&
+        typeof record.name === 'string');
+}
+function checkOperands(value) {
+    return 'allOf' in value
+        ? { key: 'allOf', values: value.allOf }
+        : { key: 'anyOf', values: value.anyOf };
+}
+function nodeClassRef(name) {
+    return { origin: KERNEL_ORIGIN, kind: 'class', name };
+}
+//# sourceMappingURL=uses.js.map

package/dist/v1/schema/validation/policy/uses.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uses.js","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/uses.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,GAAG,EAAiB,MAAM,8BAA8B,CAAA;AACjE,OAAO,EAAE,kBAAkB,EAAE,MAAM,iCAAiC,CAAA;AACpE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qDAAqD,CAAA;AAC3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,oDAAoD,CAAA;AAC9F,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC7F,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,wBAAwB,EAA0C,MAAM,aAAa,CAAA;AAE9F,MAAM,mBAAmB,GAAG,GAAG,CAAC,EAAE,CAAA;AASlC,MAAM,aAAa,GAAG,mBAAmB,CAAA;AACzC,MAAM,gBAAgB,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;AAC9C,MAAM,mBAAmB,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;AACpD,MAAM,iBAAiB,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;AAChD,MAAM,eAAe,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;AAE5C,MAAM,UAAU,gBAAgB,CAAC,OAAgC,EAAE,MAAoB;IACrF,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACxF,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3E,SAAQ;QACV,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAA;QAC/D,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAA;QACrC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,SAAQ;QAClD,MAAM,MAAM,GAAmB;YAC7B,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;SAC3E,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5C,OAAO,CAAC,GAAG,CACT,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,gEAAgE,IAAI,GAAG,EAClG,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAgC,EAAE,MAAoB;IACzF,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACxF,MAAM,GAAG,GAAG,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAA;QACzC,IAAI,GAAG,KAAK,SAAS;YAAE,SAAQ;QAC/B,MAAM,OAAO,GAAG,YAAY,aAAa,CAAC,IAAI,CAAC,oBAAoB,CAAA;QACnE,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC;YAAE,SAAQ;QAElD,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAChC,MAAM,MAAM,GAAmB;gBAC7B,IAAI,EAAE,OAAO;gBACb,GAAG,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;aAC3E,CAAA;YACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;gBAC5C,OAAO,CAAC,GAAG,CACT,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,qEAAqE,IAAI,GAAG,EACvG,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;YACH,CAAC;YACD,SAAQ;QACV,CAAC;QAED,MAAM,SAAS,GACb,WAAW,CAAC,WAAW,KAAK,UAAU;YACpC,CAAC,CAAE,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,CAAW;YACzE,CAAC,CAAC,WAAW,CAAC,SAAS,CAAA;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACpE,MAAM,OAAO,GAAG,MAAM,CAAC,uBAAuB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACpE,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,IACE,CAAC,MAAM,CAAC,iBAAiB,CACvB,GAAG,CAAC,IAAI,EACR,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,EAC9B,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAC/B,EACD,CAAC;oBACD,QAAQ,GAAG,KAAK,CAAA;oBAChB,MAAK;gBACP,CAAC;YACH,CAAC;YACD,IAAI,CAAC,QAAQ;gBAAE,MAAK;QACtB,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CACT,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,GAAG,CAAC,+EAA+E,IAAI,GAAG,EACjH,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,OAAgC,EAAE,MAAoB;IACzF,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1F,IAAI,WAAW,CAAC,MAAM,KAAK,SAAS;YAAE,SAAQ;QAC9C,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE;YAClD,OAAO,EAAE,cAAc,aAAa,CAAC,IAAI,CAAC,SAAS;YACnD,KAAK,EAAE,WAAW,CAAC,KAAK;YACxB,cAAc,EAAE,KAAK;SACtB,CAAC,CAAA;IACJ,CAAC;IAED,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACxF,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QACzC,uBAAuB,CAAC,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,CAAC,OAAO,EAAE;YAC7E,MAAM,EAAE,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,MAAM;YAC5C,IAAI,EAAE,OAAO;YACb,IAAI;SACL,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAgC,EAChC,MAAoB,EACpB,SAAoB,EACpB,IAAY,EACZ,OAAmD,EACnD,QAAkB;IAElB,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAA;IACpF,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;YAAE,SAAQ;QACzC,qEAAqE;QACrE,yEAAyE;QACzE,uCAAuC;QACvC,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAQ;QACnF,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;YAC7C,OAAO,EAAE,IAAI,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC,YAAY,aAAa,CAAC,UAAU,CAAC,SAAS;YAC3F,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,QAAQ;YACR,cAAc,EAAE,CAAC,MAAM,CAAC,MAAM;SAC/B,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CACrB,UAAmC,EACnC,MAAoB,EACpB,UAAiC,EACjC,OAAqB;IAErB,MAAM,UAAU,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAA;IACpD,MAAM,OAAO,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IACE,OAAO,CAAC,KAAK,GAAG,eAAe;QAC/B,OAAO,CAAC,QAAQ,GAAG,YAAY;QAC/B,OAAO,CAAC,MAAM,GAAG,gBAAgB,EACjC,CAAC;QACD,UAAU,CAAC,GAAG,CACZ,WAAW,EACX,OAAO,CAAC,OAAO,EACf,oCAAoC,eAAe,iBAAiB,YAAY,mBAAmB,gBAAgB,SAAS,OAAO,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,MAAM,GAAG,CACrL,CAAA;IACH,CAAC;IACD,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;AACvE,CAAC;AAED,SAAS,WAAW,CAClB,UAAmC,EACnC,MAAoB,EACpB,UAAiC,EACjC,OAAqB,EACrB,OAAe;IAEf,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;QAC1B,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,OAAO,QAAQ,CAAC;YAAE,OAAM;QAC3E,MAAM,aAAa,GAAG,GAAG,OAAO,SAAS,CAAA;QACzC,MAAM,SAAS,GACb,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM;YAC/B,CAAC,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,aAAa,CAAC;YACnD,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBAClC,CAAC,CAAC,cAAc,CAAC,UAAU,EAAE,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,aAAa,CAAC;gBAC7E,CAAC,CAAC,kBAAkB,CAAC,UAAU,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,CAAA;QAC5E,IAAI,SAAS,KAAK,SAAS;YAAE,OAAM;QACnC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;gBAC3D,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,OAAO,EACP,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,qDAAqD,EAC7F,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,CACtC,CAAA;gBACD,MAAK;YACP,CAAC;QACH,CAAC;QACD,OAAM;IACR,CAAC;IACD,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,aAAa,CAAC,UAAU,CAAC,CAAA;IACjD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,UAAU,CAAC,GAAG,CAAC,gBAAgB,EAAE,GAAG,OAAO,IAAI,GAAG,EAAE,EAAE,GAAG,GAAG,qBAAqB,CAAC,CAAA;IACpF,CAAC;IACD,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC9B,WAAW,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,OAAO,IAAI,GAAG,IAAI,KAAK,EAAE,CAAC,CAC9E,CAAA;AACH,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAmC,EACnC,GAAoB,EACpB,OAAe;IAEf,MAAM,SAAS,GAAG,UAAU,CAAC,WAAW,CAAC,SAAS,CAAA;IAClD,IAAI,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;QAAE,OAAO,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;IAE5F,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO,EAAE,CAAC;YACb,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YACpD,OAAO,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI;gBACpC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,EAAE,CAAC;gBAC5C,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;QACtD,CAAC;QACD,KAAK,UAAU;YACb,OAAO,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;gBAChD,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,mBAAmB,EAAE,CAAC,CAAA;QACnD,KAAK,QAAQ;YACX,OAAO,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;gBAC/C,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,iBAAiB,EAAE,CAAC,CAAA;QACjD,KAAK,MAAM;YACT,OAAO,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,SAAS;gBAC5C,CAAC,CAAC,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC;gBAClD,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,eAAe,EAAE,CAAC,CAAA;QAC/C,KAAK,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC3C,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;YAC/E,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YAC3D,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;YACpF,qFAAqF;YACrF,qDAAqD;YACrD,IACE,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;gBACtC,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,OAAO;gBAC9B,QAAQ,CAAC,IAAI,KAAK,MAAM;gBACxB,QAAQ,KAAK,SAAS,EACtB,CAAC;gBACD,OAAO,SAAS,CAAA;YAClB,CAAC;YACD,OAAO,CAAC,wBAAwB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;QAC/C,CAAC;IACH,CAAC;IACD,OAAO,sBAAsB,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;AACzD,CAAC;AAED,SAAS,sBAAsB,CAC7B,UAAmC,EACnC,GAAoB,EACpB,OAAe;IAEf,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,GAAG,OAAO,MAAM,EAChB,GAAG,mBAAmB,CAAC,GAAG,CAAC,iDAAiD,EAC5E,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,aAAa,CACpB,UAAmC,EACnC,OAAqB,EACrB,OAAe;IAEf,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC9D,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,gDAAgD,CAAC,CAAA;QACnF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;AACrD,CAAC;AAED,SAAS,cAAc,CACrB,UAAmC,EACnC,OAAqB,EACrB,KAAa,EACb,OAAe;IAEf,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;IAC9C,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACjD,MAAM,QAAQ,GAAG,KAAK,EAAE,QAAQ,CAAA;IAChC,MAAM,SAAS,GACb,KAAK,EAAE,IAAI,KAAK,QAAQ;QACxB,UAAU,KAAK,SAAS;QACxB,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;QACvB,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC;QACxB,KAAK,CAAC,oBAAoB,KAAK,KAAK;QACpC,CAAC,aAAa,CAAC,KAAK,CAAC,CAAA;IACvB,MAAM,UAAU,GAAG,QAAQ,CAAC,WAAW,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAA;IAC5D,MAAM,UAAU,GACd,SAAS;QACT,WAAW,EAAE,IAAI,KAAK,yBAAyB;QAC/C,CAAC,aAAa,CAAC,WAAW,CAAC;QAC3B,UAAU,EAAE,MAAM,KAAK,MAAM;QAC7B,UAAU,CAAC,WAAW,KAAK,KAAK;QAChC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QACjC,UAAU,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;IAC/B,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,OAAO,EACP,SAAS,KAAK,yFAAyF,CACxG,CAAA;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,SAAS,GAAqB,EAAE,CAAA;IACtC,KAAK,MAAM,GAAG,IAAI,UAAU,CAAC,OAA6B,EAAE,CAAC;QAC3D,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1B,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,EAAE,SAAS,KAAK,iCAAiC,CAAC,CAAA;YAClF,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,QAAQ,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QACpD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACxF,UAAU,CAAC,GAAG,CACZ,QAAQ,EACR,OAAO,EACP,SAAS,KAAK,QAAQ,mBAAmB,CAAC,GAAG,CAAC,kDAAkD,EAChG,mBAAmB,CAAC,GAAG,CAAC,CACzB,CAAA;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,SAAS,CAAC,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QACzE,CAAC,CAAE,KAAiC;QACpC,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,SAAS,aAAa,CAAC,KAAwC;IAC7D,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAC1B,CAAA;AACH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,OAAO,CACL,MAAM,KAAK,SAAS;QACpB,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ;QACjC,MAAM,CAAC,IAAI,KAAK,OAAO;QACvB,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAChC,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAkE;IAIvF,OAAO,OAAO,IAAI,KAAK;QACrB,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE;QACvC,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,KAAK,EAAE,CAAA;AAC3C,CAAC;AAED,SAAS,YAAY,CAAC,IAAY;IAChC,OAAO,EAAE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAA;AACvD,CAAC"}

package/dist/v1/schema/validation/policy/validate.d.ts

@@ -0,0 +1,12 @@
+import type { DefinitionAnalysisResult } from '../../analysis/class.js';
+import type { SchemaDiagnostic } from '../../diagnostic.js';
+import type { DomainResolutionContext } from '../../resolution/context.js';
+/**
+ * Validates the closed V1 Policy language after structural parsing.
+ *
+ * This pass is deliberately backend-independent and never throws for semantic
+ * failure. Environment and definition diagnostics are owned by their respective
+ * validators and are therefore not repeated here.
+ */
+export declare function validatePolicies(environment: DomainResolutionContext, analysis: DefinitionAnalysisResult): readonly SchemaDiagnostic[];
+//# sourceMappingURL=validate.d.ts.map

package/dist/v1/schema/validation/policy/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/validate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAA;AACvE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,6BAA6B,CAAA;AAQ1E;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,WAAW,EAAE,uBAAuB,EACpC,QAAQ,EAAE,wBAAwB,GACjC,SAAS,gBAAgB,EAAE,CAU7B"}

package/dist/v1/schema/validation/policy/validate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../../../v1/schema/validation/policy/validate.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAA;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAC1C,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,WAAW,CAAA;AAExF;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAC9B,WAAoC,EACpC,QAAkC;IAElC,MAAM,OAAO,GAAG,IAAI,uBAAuB,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAA;IAClE,wBAAwB,CAAC,OAAO,CAAC,CAAA;IACjC,qBAAqB,CAAC,OAAO,CAAC,CAAA;IAC9B,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,OAAO,CAAC,CAAA;IACxC,MAAM,CAAC,gBAAgB,EAAE,CAAA;IACzB,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACjC,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACrC,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACrC,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;AAC3C,CAAC"}

package/dist/v1/schema/validation/value-api.d.ts

@@ -0,0 +1,14 @@
+/** The exact V1 value-schema grammar embedded in DomainSchema declarations. */
+import type { Diagnostic } from '../../language/validation/diagnostic.js';
+import type { JsonSchema } from '../../language/value/model/schema.js';
+import type { OrderingKind } from '../../language/value/ordering.js';
+import type { DomainSchema } from '../model/schema.js';
+export { VALUE_SCHEMA_DIALECT as DIALECT, VALUE_SCHEMA_VOCABULARY as VOCABULARY, } from '../../language/value/model/schema.js';
+export type { JsonSchema as Schema, JsonSchemaObject as SchemaObject, PathAnnotation, PropertyObjectSchema as PropertySchema, ValueSchemaContext as Context, } from '../../language/value/model/schema.js';
+export { instant } from '../../language/value/model/instant.js';
+export type { OrderingKind } from '../../language/value/ordering.js';
+/** Validate one complete JSON value under the exact accepted schema that owns the contract. */
+export declare function validate(owner: DomainSchema, contract: JsonSchema, input: unknown, pointer?: string): readonly Diagnostic[];
+/** Return the one portable scalar ordering domain admitted by a property schema, if any. */
+export declare function classifyOrdering(owner: DomainSchema, contract: JsonSchema): OrderingKind | undefined;
+//# sourceMappingURL=value-api.d.ts.map

package/dist/v1/schema/validation/value-api.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-api.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/value-api.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yCAAyC,CAAA;AACzE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAA;AACtE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAA;AAEpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAQtD,OAAO,EACL,oBAAoB,IAAI,OAAO,EAC/B,uBAAuB,IAAI,UAAU,GACtC,MAAM,sCAAsC,CAAA;AAC7C,YAAY,EACV,UAAU,IAAI,MAAM,EACpB,gBAAgB,IAAI,YAAY,EAChC,cAAc,EACd,oBAAoB,IAAI,cAAc,EACtC,kBAAkB,IAAI,OAAO,GAC9B,MAAM,sCAAsC,CAAA;AAC7C,OAAO,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAA;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAA;AAEpE,+FAA+F;AAC/F,wBAAgB,QAAQ,CACtB,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,UAAU,EACpB,KAAK,EAAE,OAAO,EACd,OAAO,SAAK,GACX,SAAS,UAAU,EAAE,CAEvB;AAED,4FAA4F;AAC5F,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,UAAU,GACnB,YAAY,GAAG,SAAS,CAE1B"}

package/dist/v1/schema/validation/value-api.js

@@ -0,0 +1,24 @@
+/** The exact V1 value-schema grammar embedded in DomainSchema declarations. */
+import { validateJsonInstance } from '../../language/value/evaluate/validate.js';
+import { classifyOrdering as classifyOrderingWithRegistry } from '../../language/value/ordering.js';
+import { createDomainValueSchemaRegistry } from '../resolution/value.registry.js';
+const registries = new WeakMap();
+export { VALUE_SCHEMA_DIALECT as DIALECT, VALUE_SCHEMA_VOCABULARY as VOCABULARY, } from '../../language/value/model/schema.js';
+export { instant } from '../../language/value/model/instant.js';
+/** Validate one complete JSON value under the exact accepted schema that owns the contract. */
+export function validate(owner, contract, input, pointer = '') {
+    return validateJsonInstance(contract, input, registryFor(owner), pointer);
+}
+/** Return the one portable scalar ordering domain admitted by a property schema, if any. */
+export function classifyOrdering(owner, contract) {
+    return classifyOrderingWithRegistry(contract, registryFor(owner));
+}
+function registryFor(owner) {
+    let registry = registries.get(owner);
+    if (registry === undefined) {
+        registry = createDomainValueSchemaRegistry(owner);
+        registries.set(owner, registry);
+    }
+    return registry;
+}
+//# sourceMappingURL=value-api.js.map

package/dist/v1/schema/validation/value-api.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value-api.js","sourceRoot":"","sources":["../../../../v1/schema/validation/value-api.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAQ/E,OAAO,EAAE,oBAAoB,EAAE,MAAM,2CAA2C,CAAA;AAChF,OAAO,EAAE,gBAAgB,IAAI,4BAA4B,EAAE,MAAM,kCAAkC,CAAA;AACnG,OAAO,EAAE,+BAA+B,EAAE,MAAM,iCAAiC,CAAA;AAEjF,MAAM,UAAU,GAAG,IAAI,OAAO,EAAqC,CAAA;AAEnE,OAAO,EACL,oBAAoB,IAAI,OAAO,EAC/B,uBAAuB,IAAI,UAAU,GACtC,MAAM,sCAAsC,CAAA;AAQ7C,OAAO,EAAE,OAAO,EAAE,MAAM,uCAAuC,CAAA;AAG/D,+FAA+F;AAC/F,MAAM,UAAU,QAAQ,CACtB,KAAmB,EACnB,QAAoB,EACpB,KAAc,EACd,OAAO,GAAG,EAAE;IAEZ,OAAO,oBAAoB,CAAC,QAAQ,EAAE,KAAc,EAAE,WAAW,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AACpF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,gBAAgB,CAC9B,KAAmB,EACnB,QAAoB;IAEpB,OAAO,4BAA4B,CAAC,QAAQ,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAA;AACnE,CAAC;AAED,SAAS,WAAW,CAAC,KAAmB;IACtC,IAAI,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,QAAQ,GAAG,+BAA+B,CAAC,KAAK,CAAC,CAAA;QACjD,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC"}

package/dist/v1/schema/validation/value.d.ts

@@ -1,5 +1,5 @@
-import type { DomainDiagnostic } from '../diagnostic.js';
-import type { DomainSchemaIR } from '../domain.ir.js';
-import type { ValueSchemaRegistry } from '../value/registry.js';
-export declare function validateEmbeddedValueSchemas(schema: DomainSchemaIR, registry: ValueSchemaRegistry): readonly DomainDiagnostic[];
+import type { ValueSchemaRegistry } from '../../language/value/reference/registry.js';
+import type { SchemaDiagnostic } from '../diagnostic.js';
+import type { DomainSchemaIR } from '../model/schema.js';
+export declare function validateEmbeddedValueSchemas(schema: DomainSchemaIR, registry: ValueSchemaRegistry): readonly SchemaDiagnostic[];
 //# sourceMappingURL=value.d.ts.map

package/dist/v1/schema/validation/value.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/value.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AACrD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAK/D,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,mBAAmB,GAC5B,SAAS,gBAAgB,EAAE,CAiB7B"}
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/value.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,4CAA4C,CAAA;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAA;AAKxD,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,mBAAmB,GAC5B,SAAS,gBAAgB,EAAE,CAW7B"}

package/dist/v1/schema/validation/value.js

@@ -1,13 +1,7 @@
+import { validateValueSchema } from '../../language/value/profile/validate.js';
 import { diagnostic } from '../diagnostic.js';
-import { validateValueSchema } from '../value/profile/validate.js';
 export function validateEmbeddedValueSchemas(schema, registry) {
     const diagnostics = [];
-    for (const [name, value] of Object.entries(schema.types)) {
-        validate(value, 'named-type', `/types/${escapePointer(name)}`, registry, diagnostics);
-    }
-    for (const [name, declaration] of Object.entries(schema.interfaces)) {
-        validateDefinition(declaration, `/interfaces/${escapePointer(name)}`, registry, diagnostics);
-    }
     for (const [name, declaration] of Object.entries(schema.classes)) {
         validateDefinition(declaration, `/classes/${escapePointer(name)}`, registry, diagnostics);
     }
@@ -17,7 +11,9 @@ export function validateEmbeddedValueSchemas(schema, registry) {
     return Object.freeze(diagnostics);
 }
 function validateDefinition(declaration, pointer, registry, diagnostics) {
-    validate(declaration.properties, 'property-facet', `${pointer}/properties`, registry, diagnostics);
+    for (const [name, property] of Object.entries(declaration.properties)) {
+        validate(property.schema, 'property-facet', `${pointer}/properties/${escapePointer(name)}/schema`, registry, diagnostics);
+    }
     if ('methods' in declaration) {
         for (const [name, method] of Object.entries(declaration.methods)) {
             validateCallable(method, `${pointer}/methods/${escapePointer(name)}`, registry, diagnostics);

package/dist/v1/schema/validation/value.js.map

@@ -1 +1 @@
-{"version":3,"file":"value.js","sourceRoot":"","sources":["../../../../v1/schema/validation/value.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAA;AAElE,MAAM,UAAU,4BAA4B,CAC1C,MAAsB,EACtB,QAA6B;IAE7B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACzD,QAAQ,CAAC,KAAK,EAAE,YAAY,EAAE,UAAU,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACvF,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,kBAAkB,CAAC,WAAW,EAAE,eAAe,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC9F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,kBAAkB,CAAC,WAAW,EAAE,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC3F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACnE,gBAAgB,CAAC,WAAW,EAAE,cAAc,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC3F,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,kBAAkB,CACzB,WAAoD,EACpD,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,OAAO,aAAa,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAClG,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,gBAAgB,CAAC,MAAM,EAAE,GAAG,OAAO,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;QAC9F,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAoD,EACpD,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,OAAO,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACxF,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,QAAQ,CACN,WAAW,CAAC,MAAM,CAAC,MAAM,EACzB,iBAAiB,EACjB,GAAG,OAAO,gBAAgB,EAC1B,QAAQ,EACR,WAAW,CACZ,CAAA;IACH,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChD,QAAQ,CACN,WAAW,CAAC,MAAM,CAAC,IAAI,EACvB,iBAAiB,EACjB,GAAG,OAAO,cAAc,EACxB,QAAQ,EACR,WAAW,CACZ,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CACf,MAAiD,EACjD,OAAkD,EAClD,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,KAAK,MAAM,OAAO,IAAI,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,OAAO,CAAC,OAAO,EACf,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,EACtC,OAAO,CAAC,GAAG,CACZ,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../../../v1/schema/validation/value.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,mBAAmB,EAAE,MAAM,0CAA0C,CAAA;AAC9E,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,MAAM,UAAU,4BAA4B,CAC1C,MAAsB,EACtB,QAA6B;IAE7B,MAAM,WAAW,GAAuB,EAAE,CAAA;IAE1C,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,kBAAkB,CAAC,WAAW,EAAE,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC3F,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC;QACnE,gBAAgB,CAAC,WAAW,EAAE,cAAc,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC3F,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,kBAAkB,CACzB,WAA4B,EAC5B,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,KAAK,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;QACtE,QAAQ,CACN,QAAQ,CAAC,MAAM,EACf,gBAAgB,EAChB,GAAG,OAAO,eAAe,aAAa,CAAC,IAAI,CAAC,SAAS,EACrD,QAAQ,EACR,WAAW,CACZ,CAAA;IACH,CAAC;IACD,IAAI,SAAS,IAAI,WAAW,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;YACjE,gBAAgB,CAAC,MAAM,EAAE,GAAG,OAAO,YAAY,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;QAC9F,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,WAAkD,EAClD,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,QAAQ,CAAC,WAAW,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,OAAO,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACxF,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACxC,QAAQ,CACN,WAAW,CAAC,MAAM,CAAC,MAAM,EACzB,iBAAiB,EACjB,GAAG,OAAO,gBAAgB,EAC1B,QAAQ,EACR,WAAW,CACZ,CAAA;IACH,CAAC;SAAM,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAChD,QAAQ,CACN,WAAW,CAAC,MAAM,CAAC,IAAI,EACvB,iBAAiB,EACjB,GAAG,OAAO,cAAc,EACxB,QAAQ,EACR,WAAW,CACZ,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CACf,MAAiD,EACjD,OAAkD,EAClD,OAAe,EACf,QAA6B,EAC7B,WAA+B;IAE/B,KAAK,MAAM,OAAO,IAAI,mBAAmB,CAAC,MAAM,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9E,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,OAAO,CAAC,OAAO,EACf,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,OAAO,EAAE,EACtC,OAAO,CAAC,GAAG,CACZ,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

package/dist/v1/schema/validation/view.d.ts

@@ -0,0 +1,4 @@
+import type { SchemaDiagnostic } from '../diagnostic.js';
+import type { DomainResolutionContext } from '../resolution/context.js';
+export declare function validateViews(environment: DomainResolutionContext): readonly SchemaDiagnostic[];
+//# sourceMappingURL=view.d.ts.map

package/dist/v1/schema/validation/view.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.d.ts","sourceRoot":"","sources":["../../../../v1/schema/validation/view.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAA;AACxD,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AAOvE,wBAAgB,aAAa,CAAC,WAAW,EAAE,uBAAuB,GAAG,SAAS,gBAAgB,EAAE,CA6B/F"}

package/dist/v1/schema/validation/view.js

@@ -0,0 +1,30 @@
+import { Key } from '../../addressing/key.js';
+import { diagnostic } from '../diagnostic.js';
+const formatDefinitionRef = Key.of;
+export function validateViews(environment) {
+    const diagnostics = [];
+    for (const [name, view] of Object.entries(environment.candidate.views)) {
+        const pointer = `/views/${escapePointer(name)}`;
+        const ref = { origin: environment.candidate.origin, kind: 'view', name };
+        if (!sameRef(view.ref, ref)) {
+            diagnostics.push(diagnostic('DV_REF_RESOLVES', `${pointer}/ref`, `View ref must be exactly ${formatDefinitionRef(ref)}.`, formatDefinitionRef(view.ref)));
+        }
+        if (view.target.kind === 'definition') {
+            view.target.definitions.forEach((ref, index) => validateDefinitionTarget(environment, ref, `${pointer}/target/definitions/${index}`, diagnostics));
+        }
+    }
+    return Object.freeze(diagnostics);
+}
+function sameRef(left, right) {
+    return left.origin === right.origin && left.kind === right.kind && left.name === right.name;
+}
+function validateDefinitionTarget(environment, ref, pointer, diagnostics) {
+    const target = environment.resolve(ref);
+    if (target === undefined || target.ref.kind !== 'class' || target.kind !== 'node') {
+        diagnostics.push(diagnostic('DV_VIEW_TARGET', pointer, `Definition target ${formatDefinitionRef(ref)} does not resolve to a Node Class.`, formatDefinitionRef(ref)));
+    }
+}
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=view.js.map

package/dist/v1/schema/validation/view.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"view.js","sourceRoot":"","sources":["../../../../v1/schema/validation/view.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,GAAG,EAAE,MAAM,yBAAyB,CAAA;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE7C,MAAM,mBAAmB,GAAG,GAAG,CAAC,EAAE,CAAA;AAElC,MAAM,UAAU,aAAa,CAAC,WAAoC;IAChE,MAAM,WAAW,GAAuB,EAAE,CAAA;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,UAAU,aAAa,CAAC,IAAI,CAAC,EAAE,CAAA;QAC/C,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,WAAW,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAA;QACjF,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CACd,UAAU,CACR,iBAAiB,EACjB,GAAG,OAAO,MAAM,EAChB,4BAA4B,mBAAmB,CAAC,GAAG,CAAC,GAAG,EACvD,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAC9B,CACF,CAAA;QACH,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACtC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAC7C,wBAAwB,CACtB,WAAW,EACX,GAAG,EACH,GAAG,OAAO,uBAAuB,KAAK,EAAE,EACxC,WAAW,CACZ,CACF,CAAA;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,OAAO,CAAC,IAAmB,EAAE,KAAoB;IACxD,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAA;AAC7F,CAAC;AAED,SAAS,wBAAwB,CAC/B,WAAoC,EACpC,GAAkB,EAClB,OAAe,EACf,WAA+B;IAE/B,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACvC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAClF,WAAW,CAAC,IAAI,CACd,UAAU,CACR,gBAAgB,EAChB,OAAO,EACP,qBAAqB,mBAAmB,CAAC,GAAG,CAAC,oCAAoC,EACjF,mBAAmB,CAAC,GAAG,CAAC,CACzB,CACF,CAAA;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

package/dist/v1/value/full-match.d.ts

@@ -0,0 +1,3 @@
+/** Narrow public runtime owner for the portable full-string matcher. */
+export { fullMatch, type FullMatch } from '../language/value/syntax/full-match.js';
+//# sourceMappingURL=full-match.d.ts.map

package/dist/v1/value/full-match.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"full-match.d.ts","sourceRoot":"","sources":["../../../v1/value/full-match.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,OAAO,EAAE,SAAS,EAAE,KAAK,SAAS,EAAE,MAAM,wCAAwC,CAAA"}

package/dist/v1/value/full-match.js

@@ -0,0 +1,3 @@
+/** Narrow public runtime owner for the portable full-string matcher. */
+export { fullMatch } from '../language/value/syntax/full-match.js';
+//# sourceMappingURL=full-match.js.map

package/dist/v1/value/full-match.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"full-match.js","sourceRoot":"","sources":["../../../v1/value/full-match.ts"],"names":[],"mappings":"AAAA,wEAAwE;AACxE,OAAO,EAAE,SAAS,EAAkB,MAAM,wCAAwC,CAAA"}

package/dist/v1.d.ts

@@ -1,3 +1,3 @@
-/** Compatibility source facade; the explicit V1 module is owned by `./v1/index.ts`. */
+/** Source facade for the governing V1 module. */
 export * from './v1/index.js';
 //# sourceMappingURL=v1.d.ts.map

package/dist/v1.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"v1.d.ts","sourceRoot":"","sources":["../v1.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,cAAc,eAAe,CAAA"}
+{"version":3,"file":"v1.d.ts","sourceRoot":"","sources":["../v1.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,cAAc,eAAe,CAAA"}

package/dist/v1.js

@@ -1,3 +1,3 @@
-/** Compatibility source facade; the explicit V1 module is owned by `./v1/index.ts`. */
+/** Source facade for the governing V1 module. */
 export * from './v1/index.js';
 //# sourceMappingURL=v1.js.map

package/dist/v1.js.map

@@ -1 +1 @@
-{"version":3,"file":"v1.js","sourceRoot":"","sources":["../v1.ts"],"names":[],"mappings":"AAAA,uFAAuF;AACvF,cAAc,eAAe,CAAA"}
+{"version":3,"file":"v1.js","sourceRoot":"","sources":["../v1.ts"],"names":[],"mappings":"AAAA,iDAAiD;AACjD,cAAc,eAAe,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrale-os/kernel-dsl",
-  "version": "0.2.0-beta.4",
+  "version": "0.2.0-beta.6",
   "description": "Astrale Kernel DSL - Schema authoring, inference, and IR serialization",
   "license": "Apache-2.0",
   "repository": {
@@ -27,25 +27,45 @@
       "types": "./dist/v1/addressing/index.d.ts",
       "import": "./dist/v1/addressing/index.js"
     },
+    "./v1/builder": {
+      "types": "./dist/v1/builder/index.d.ts",
+      "import": "./dist/v1/builder/index.js"
+    },
     "./v1/bundle": {
       "types": "./dist/v1/bundle/index.d.ts",
       "import": "./dist/v1/bundle/index.js"
     },
+    "./v1/bundle/transport": {
+      "types": "./dist/v1/bundle/transport.d.ts",
+      "import": "./dist/v1/bundle/transport.js"
+    },
+    "./v1/compiled": {
+      "types": "./dist/v1/compiled/index.d.ts",
+      "import": "./dist/v1/compiled/index.js"
+    },
+    "./v1/compiled/loader": {
+      "types": "./dist/v1/compiled/loader/index.d.ts",
+      "import": "./dist/v1/compiled/loader/index.js"
+    },
+    "./v1/domain": {
+      "types": "./dist/v1/domain/index.d.ts",
+      "import": "./dist/v1/domain/index.js"
+    },
+    "./v1/language": {
+      "types": "./dist/v1/language/index.d.ts",
+      "import": "./dist/v1/language/index.js"
+    },
     "./v1/schema": {
       "types": "./dist/v1/schema/index.d.ts",
       "import": "./dist/v1/schema/index.js"
     },
-    "./v1/schema/full-match": {
-      "types": "./dist/v1/schema/value/full-match.d.ts",
-      "import": "./dist/v1/schema/value/full-match.js"
-    },
     "./v1/schema/revision": {
-      "types": "./dist/v1/schema/domain.revision.d.ts",
-      "import": "./dist/v1/schema/domain.revision.js"
+      "types": "./dist/v1/schema/revision.d.ts",
+      "import": "./dist/v1/schema/revision.js"
     },
-    "./v1/schema/validator": {
-      "types": "./dist/v1/schema/compiled/validator.d.ts",
-      "import": "./dist/v1/schema/compiled/validator.js"
+    "./v1/value/full-match": {
+      "types": "./dist/v1/value/full-match.d.ts",
+      "import": "./dist/v1/value/full-match.js"
     },
     "./value": {
       "types": "./dist/value/index.d.ts",
@@ -57,30 +77,33 @@
     "access": "public"
   },
   "dependencies": {
-    "@noble/hashes": "2.2.0",
+    "@noble/hashes": "2.3.0",
     "jsonc-parser": "3.3.1",
     "zod": "4.4.3"
   },
   "devDependencies": {
     "@astrale/typescript-config": "npm:@jsr/astrale__typescript-config@~1.1.0",
-    "@typescript/native-preview": "latest",
+    "@typescript/native-preview": "7.0.0-dev.20260707.2",
     "ajv": "^8.20.0",
     "re2js": "2.8.6",
-    "typescript": "~6.0.1-rc",
-    "vitest": "^4.0.18",
+    "typescript": "~6.0.3",
+    "vitest": "^4.1.10",
     "yaml": "2.9.0"
   },
   "peerDependencies": {
-    "typescript": "~6.0.1-rc"
+    "typescript": "~6.0.3"
   },
   "scripts": {
     "build": "tsgo",
     "clean": "rm -rf dist",
+    "conformance": "pnpm run spec:typecheck && tsgo --noEmit -p tsconfig.types.json && node scripts/check-public-api.mjs",
     "generate:value-schema-validator": "node scripts/generate-value-schema-meta-validator.mjs",
+    "layout:check": "node scripts/check-layout.mjs",
+    "spec:typecheck": "tsgo --noEmit -p tsconfig.spec.json",
     "typecheck": "tsgo --noEmit && tsgo --noEmit -p tsconfig.types.json",
-    "test": "node ../node_modules/@astrale-os/codegraph/dist/cli.js verify . && vitest run",
+    "test": "pnpm run conformance && pnpm run layout:check && vitest run",
     "test:file": "vitest run",
-    "test:semantic-lock": "node ../node_modules/@astrale-os/codegraph/dist/cli.js verify . --require-pass",
+    "test:semantic-lock": "pnpm run conformance && pnpm run layout:check && vitest run",
     "test:watch": "vitest",
     "preinstall": "node -e \"try{require('./.check-workspace.cjs')}catch{}\""
   }