@astrale-os/kernel-dsl 0.2.0-beta.3 → 0.2.0-beta.30

package/dist/v1/builder/{compiler/schema.context.js → lowering/schema/context.js}

@@ -1,16 +1,17 @@
-import { revisionOfDomainSchema } from '../../schema/domain.revision.js';
-import { schemaRefIndex, compareSchemaRefs, } from '../../schema/reference.js';
-import { requireDomainClosure } from '../../schema/resolution/closure.js';
-import { collectUsedForeignOrigins } from '../../schema/resolution/origins.js';
-import { graphNodePathSchema } from '../../schema/value/extensions/node-path/schema.js';
-import { resolveLazy } from '../internal/authoring.lazy.js';
-import { fail } from '../internal/diagnostic.js';
-import { OwnershipCapture } from './schema.ownership.js';
+import { compareDefinitionRefs, compareUnicode, definitionRefIndex, } from '../../../addressing/ordering.js';
+import { DEPENDENCY_ALIAS_PATTERN } from '../../../addressing/patterns.js';
+import { graphNodePathSchema } from '../../../language/value/syntax/node-path/schema.js';
+import { revisionOfDomainSchema } from '../../../schema/canonical/revision.js';
+import { requireDomainClosure } from '../../../schema/resolution/closure.js';
+import { collectUsedForeignOrigins } from '../../../schema/resolution/origins.js';
+import { fail } from '../../schema/diagnostic.js';
+import { resolveLazy } from '../../schema/lazy.js';
+import { OwnershipCapture } from './ownership.js';
 export class BuilderContext {
     origin;
     ownership = new OwnershipCapture();
     localDefinitions = new Map();
-    localDefinitionFamilies = new Map();
+    localClassKinds = new Map();
     policies = new Map();
     coreNodes = new Map();
     policyObjects = new Map();
@@ -19,78 +20,81 @@ export class BuilderContext {
     #dependencies = new Map();
     constructor(origin, dependencies) {
         this.origin = origin;
-        for (const schema of dependencies) {
+        for (const [alias, schema] of Object.entries(dependencies)) {
+            const pointer = `/dependencies/${escapePointer(alias)}`;
+            if (!DEPENDENCY_ALIAS_PATTERN.test(alias)) {
+                fail('BUILDER_DEPENDENCY_ALIAS', pointer, `Dependency alias ${JSON.stringify(alias)} must be an ASCII lower-camel identifier.`);
+            }
+            if (alias === '__proto__' || alias === 'prototype' || alias === 'constructor') {
+                fail('BUILDER_DEPENDENCY_ALIAS', pointer, `Dependency alias ${JSON.stringify(alias)} is reserved.`);
+            }
             const dependency = {
                 origin: schema.origin,
                 revision: revisionOfDomainSchema(schema),
             };
             const previous = this.#dependencies.get(schema.origin);
-            if (previous !== undefined && previous.dependency.revision !== dependency.revision) {
-                fail('BUILDER_DEPENDENCY_CONFLICT', '/dependencies', `Dependency ${schema.origin} was supplied at two different revisions.`);
+            if (previous !== undefined) {
+                fail('BUILDER_DEPENDENCY_CONFLICT', pointer, `Dependency origin ${schema.origin} is already declared as alias ${previous.alias}.`);
             }
-            this.#dependencies.set(schema.origin, { schema, dependency });
+            this.#dependencies.set(schema.origin, { alias, schema, dependency });
         }
     }
     captureDefinition(value, ref, pointer) {
-        const key = schemaRefIndex(ref);
+        const key = definitionRefIndex(ref);
         if (this.localDefinitions.has(key)) {
             fail('BUILDER_DUPLICATE_MEMBER', pointer, `Definition ${ref.kind}.${ref.name} is duplicated.`);
         }
         this.localDefinitions.set(key, ref);
-        this.localDefinitionFamilies.set(key, familyOfAuthoring(value));
+        this.localClassKinds.set(key, value.kind);
         this.ownership.captureDefinition(value, ref, pointer);
         this.capturePolicyObject(value, ref);
     }
     capturePolicy(value, ref, pointer) {
-        this.ownership.capture(value, `${ref.origin}:policy.${ref.name}`, pointer);
+        this.ownership.captureDefinition(value, ref, pointer);
         this.policies.set(value, ref);
         this.capturePolicyObject(value, ref);
     }
     captureCoreNode(value, slug, pointer) {
-        this.ownership.capture(value, `${this.origin}:core.${slug}`, pointer);
         const ref = { origin: this.origin, kind: 'core', name: slug };
+        this.ownership.captureDefinition(value, ref, pointer);
         this.coreNodes.set(value, ref);
         this.capturePolicyObject(value, ref);
     }
     captureFunction(value, ref, pointer) {
-        this.ownership.capture(value, `${ref.origin}:function.${ref.name}`, pointer);
+        this.ownership.captureDefinition(value, ref, pointer);
         this.capturePolicyObject(value, ref);
     }
     captureView(value, ref, pointer) {
-        this.ownership.capture(value, `${ref.origin}:view.${ref.name}`, pointer);
+        this.ownership.captureDefinition(value, ref, pointer);
         this.capturePolicyObject(value, ref);
     }
-    resolveDefinition(input, allowed, families, pointer) {
+    resolveClass(input, kind, pointer) {
         const value = resolveLazy(input, pointer);
         const ref = isDefinitionRef(value)
             ? value
-            : typeof value === 'object' && value !== null
-                ? this.ownership.definition(value)
-                : undefined;
+            : isResolvedClass(value)
+                ? value.ref
+                : typeof value === 'object' && value !== null
+                    ? this.ownership.definition(value)
+                    : undefined;
         if (ref === undefined) {
             fail('BUILDER_UNOWNED_REFERENCE', pointer, 'Definition reference has no captured Domain owner.');
         }
-        if (!allowed.includes(ref.kind)) {
-            fail('BUILDER_REFERENCE_KIND', pointer, `Expected ${allowed.join(' or ')}, received ${ref.kind}.`);
-        }
-        const family = this.definitionFamily(ref);
-        if (family === undefined || !families.includes(family)) {
-            fail('BUILDER_REFERENCE_KIND', pointer, `Expected ${families.join(' or ')} family, received ${family ?? 'an unresolved family'}.`);
+        if (ref.kind !== 'class') {
+            fail('BUILDER_REFERENCE_KIND', pointer, `Expected class, received ${ref.kind}.`);
         }
         this.assertVisible(ref, pointer);
+        const resolvedKind = this.classKind(ref);
+        if (resolvedKind !== kind) {
+            fail('BUILDER_REFERENCE_KIND', pointer, `Expected ${kind} Class, received ${resolvedKind ?? 'an unresolved Class'}.`);
+        }
         return { ...ref };
     }
-    resolveNodeDefinition(input, pointer) {
-        return this.resolveDefinition(input, ['interface', 'class'], ['node'], pointer);
-    }
     resolveNodeClass(input, pointer) {
-        return this.resolveDefinition(input, ['class'], ['node'], pointer);
+        return this.resolveClass(input, 'node', pointer);
     }
     resolveEdgeClass(input, pointer) {
-        return this.resolveDefinition(input, ['class'], ['edge'], pointer);
-    }
-    resolveInterface(input, families, pointer) {
-        return this.resolveDefinition(input, ['interface'], families, pointer);
+        return this.resolveClass(input, 'edge', pointer);
     }
     resolvePolicy(input, pointer) {
         const value = resolveLazy(input, pointer);
@@ -108,17 +112,22 @@ export class BuilderContext {
         const ref = isPolicyObjectRef(value)
             ? value
             : typeof value === 'object' && value !== null
-                ? this.policyObjects.get(value)
+                ? (this.policyObjects.get(value) ?? this.ownership.definition(value))
                 : undefined;
-        if (ref === undefined ||
-            ref.origin !== this.origin ||
-            !this.policyObjectRefs.has(schemaRefIndex(ref))) {
-            fail('BUILDER_POLICY_REF', pointer, 'Policy ref(...) must name one registered local Definition, Function, Policy, View, or Core Node.');
+        const dependency = ref === undefined ? undefined : this.#dependencies.get(ref.origin)?.schema;
+        const admitted = ref !== undefined &&
+            (ref.origin === this.origin
+                ? this.policyObjectRefs.has(definitionRefIndex(ref))
+                : dependency !== undefined && hasPolicyObject(dependency, ref));
+        if (!admitted || ref === undefined) {
+            fail('BUILDER_POLICY_REF', pointer, 'Policy ref(...) must name one registered local or direct-dependency Definition, Function, Policy, View, or Core Node.');
         }
+        if (ref.origin !== this.origin)
+            this.usedForeignOrigins.add(ref.origin);
         return { ...ref };
     }
     resolveCoreEndpoint(value, pointer) {
-        if (isDomainRef(value))
+        if (isDomainEndpointRef(value))
             return { kind: 'domain' };
         const ref = isCoreRef(value) ? value : this.coreNodes.get(value);
         if (ref === undefined || ref.origin !== this.origin) {
@@ -127,17 +136,11 @@ export class BuilderContext {
         return { ...ref };
     }
     dependencies() {
-        return [...this.usedForeignOrigins]
-            .map((origin) => {
-            const source = this.#dependencies.get(origin);
-            if (source === undefined) {
-                fail('BUILDER_DEPENDENCY_DIRECT', '/dependencies', `Foreign origin ${origin} is not supplied as an exact direct dependency.`);
-            }
-            return source.dependency;
-        })
-            .sort((left, right) => left.origin.localeCompare(right.origin));
+        return Object.fromEntries([...this.#dependencies.values()]
+            .sort((left, right) => compareUnicode(left.alias, right.alias))
+            .map(({ alias, dependency }) => [alias, dependency]));
     }
-    valueRegistry(currentTypes) {
+    valueRegistry() {
         const directOrigins = new Set(this.#dependencies.keys());
         const closure = new Map();
         for (const { schema } of this.#dependencies.values()) {
@@ -149,18 +152,16 @@ export class BuilderContext {
         const registryDomain = (schema, revision) => ({
             origin: schema.origin,
             ...(revision === undefined ? {} : { revision }),
-            dependencies: schema.dependencies,
-            types: schema.types,
+            dependencies: Object.values(schema.dependencies),
             nodeDefinitions: definitionRefsOf(schema),
         });
         return {
             current: {
                 origin: this.origin,
                 dependencies: [...this.#dependencies.values()].map(({ dependency }) => dependency),
-                types: currentTypes,
                 nodeDefinitions: [...this.localDefinitions.values()]
-                    .filter((ref) => this.localDefinitionFamilies.get(schemaRefIndex(ref)) === 'node')
-                    .sort(compareSchemaRefs),
+                    .filter((ref) => ref.kind === 'class' && this.localClassKinds.get(definitionRefIndex(ref)) === 'node')
+                    .sort(compareDefinitionRefs),
             },
             directDependencies: [...this.#dependencies.values()].map(({ schema, dependency }) => ({
                 ...registryDomain(schema, dependency.revision),
@@ -169,13 +170,13 @@ export class BuilderContext {
             graphNodePath: graphNodePathSchema,
         };
     }
-    noteDomainReferences(schema) {
+    noteDomainEndpointReferences(schema) {
         for (const origin of collectUsedForeignOrigins(schema))
             this.usedForeignOrigins.add(origin);
     }
     assertVisible(ref, pointer) {
         if (ref.origin === this.origin) {
-            if (!this.localDefinitions.has(schemaRefIndex(ref))) {
+            if (!this.localDefinitions.has(definitionRefIndex(ref))) {
                 fail('BUILDER_REFERENCE_MISSING', pointer, `Local Definition ${ref.kind}.${ref.name} is not declared.`);
             }
             return;
@@ -185,22 +186,29 @@ export class BuilderContext {
         }
         this.usedForeignOrigins.add(ref.origin);
     }
-    definitionFamily(ref) {
+    classKind(ref) {
         if (ref.origin === this.origin)
-            return this.localDefinitionFamilies.get(schemaRefIndex(ref));
+            return this.localClassKinds.get(definitionRefIndex(ref));
         const schema = this.#dependencies.get(ref.origin)?.schema;
         if (schema === undefined)
             return undefined;
-        return ref.kind === 'class'
-            ? schema.classes[ref.name]?.family
-            : schema.interfaces[ref.name]?.family;
+        return schema.classes[ref.name]?.kind;
     }
     capturePolicyObject(value, ref) {
         this.policyObjects.set(value, ref);
-        this.policyObjectRefs.add(schemaRefIndex(ref));
+        this.policyObjectRefs.add(definitionRefIndex(ref));
     }
 }
-function isDomainRef(value) {
+function escapePointer(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+function isResolvedClass(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const candidate = value;
+    return isDefinitionRef(candidate.ref) && (candidate.kind === 'node' || candidate.kind === 'edge');
+}
+function isDomainEndpointRef(value) {
     if (typeof value !== 'object' || value === null)
         return false;
     const candidate = value;
@@ -212,7 +220,7 @@ function isDefinitionRef(value) {
     const candidate = value;
     return (typeof candidate.origin === 'string' &&
         typeof candidate.name === 'string' &&
-        (candidate.kind === 'interface' || candidate.kind === 'class'));
+        candidate.kind === 'class');
 }
 function isCoreRef(value) {
     if (typeof value !== 'object' || value === null)
@@ -228,8 +236,7 @@ function isPolicyObjectRef(value) {
     const candidate = value;
     return (typeof candidate.origin === 'string' &&
         typeof candidate.name === 'string' &&
-        (candidate.kind === 'interface' ||
-            candidate.kind === 'class' ||
+        (candidate.kind === 'class' ||
             candidate.kind === 'function' ||
             candidate.kind === 'policy' ||
             candidate.kind === 'view' ||
@@ -237,19 +244,23 @@ function isPolicyObjectRef(value) {
 }
 function definitionRefsOf(schema) {
     const refs = [];
-    for (const [name, declaration] of Object.entries(schema.interfaces)) {
-        if (declaration.family === 'node')
-            refs.push({ origin: schema.origin, kind: 'interface', name });
-    }
     for (const [name, declaration] of Object.entries(schema.classes)) {
-        if (declaration.family === 'node')
+        if (declaration.kind === 'node')
             refs.push({ origin: schema.origin, kind: 'class', name });
     }
-    return refs.sort(compareSchemaRefs);
+    return refs.sort(compareDefinitionRefs);
 }
-function familyOfAuthoring(value) {
-    if (value.definitionKind === 'interface')
-        return value.config.family;
-    return value.definitionKind === 'node-class' ? 'node' : 'edge';
+function hasPolicyObject(schema, ref) {
+    switch (ref.kind) {
+        case 'class':
+            return Object.hasOwn(schema.classes, ref.name);
+        case 'function':
+            return Object.hasOwn(schema.functions, ref.name);
+        case 'policy':
+            return Object.hasOwn(schema.policies, ref.name);
+        case 'view':
+            return Object.hasOwn(schema.views, ref.name);
+        case 'core':
+            return Object.hasOwn(schema.core.nodes, ref.name);
+    }
 }
-//# sourceMappingURL=schema.context.js.map

package/dist/v1/builder/lowering/schema/ownership.d.ts

@@ -0,0 +1,8 @@
+import type { PolicyObjectRef } from '../../../language/policy/model/policy.js';
+export declare class OwnershipCapture {
+    #private;
+    captureDefinition(value: object, ref: PolicyObjectRef, pointer: string): void;
+    capture(value: object, owner: string, pointer: string): void;
+    definition(value: object): PolicyObjectRef | undefined;
+    commit(): void;
+}

package/dist/v1/builder/{compiler/schema.ownership.js → lowering/schema/ownership.js}

@@ -1,4 +1,4 @@
-import { fail } from '../internal/diagnostic.js';
+import { fail } from '../../schema/diagnostic.js';
 const definitionOwners = new WeakMap();
 const semanticOwners = new WeakMap();
 export class OwnershipCapture {
@@ -27,4 +27,3 @@ export class OwnershipCapture {
             definitionOwners.set(value, ref);
     }
 }
-//# sourceMappingURL=schema.ownership.js.map

package/dist/v1/builder/lowering/value/compile.d.ts

@@ -0,0 +1,15 @@
+import type { PropertyRecord } from '../../../language/class/model/property.js';
+import type { JsonSchema, ValueSchemaContext } from '../../../language/value/model/schema.js';
+import type { ValueSchemaRegistry } from '../../../language/value/reference/registry.js';
+import type { PropertyRecordInput, ValueSchemaInput } from '../../class/property.js';
+import type { BuilderContext } from '../schema/context.js';
+export declare class BuilderValueSchemas {
+    readonly context: BuilderContext;
+    readonly registry: ValueSchemaRegistry;
+    constructor(context: BuilderContext);
+    schema(input: ValueSchemaInput, placement: ValueSchemaContext, pointer: string): JsonSchema;
+    properties(input: PropertyRecordInput | undefined, pointer: string): PropertyRecord;
+    private lower;
+    private resolvePathAccepts;
+    private assertValid;
+}

package/dist/v1/builder/{compiler/value.js → lowering/value/compile.js}

@@ -1,29 +1,20 @@
 import { accept as acceptJsonValue } from '@astrale-os/kernel-dsl/value';
-import { z } from 'zod';
-import { DomainSchemaError } from '../../schema/diagnostic.js';
-import { compareSchemaRefs } from '../../schema/reference.js';
-import { canonicalizeValueSchema } from '../../schema/value/profile/canonicalize.js';
-import { validateValueSchema } from '../../schema/value/profile/validate.js';
-import { isAuthoringValue } from '../internal/authoring.js';
-import { escapeToken, fail } from '../internal/diagnostic.js';
-import { lowerPathSchema } from './value.path.js';
-import { convertZodToValueSchema, zodObjectPropertyIsOptional } from './value.zod.js';
+import { ZodType } from 'zod';
+import { compareDefinitionRefs } from '../../../addressing/ordering.js';
+import { canonicalizeValueSchema } from '../../../language/value/profile/canonicalize.js';
+import { validateValueSchema } from '../../../language/value/profile/validate.js';
+import { autoPropertyAuthoringInput, propertyAuthoringInput } from '../../class/property.js';
+import { BuilderError } from '../../schema/diagnostic.js';
+import { escapeToken, fail } from '../../schema/diagnostic.js';
+import { isAuthoringValue } from '../../schema/handle.js';
+import { lowerPathSchema } from './path.js';
+import { convertZodToValueSchema, zodObjectPropertyIsOptional } from './zod.js';
 export class BuilderValueSchemas {
     context;
-    types;
     registry;
-    constructor(inputs, context) {
+    constructor(context) {
         this.context = context;
-        const provisional = {};
-        this.registry = context.valueRegistry(provisional);
-        for (const [name, input] of Object.entries(inputs)) {
-            provisional[name] = this.lower(input, 'callable-output', `/types/${escapeToken(name)}`);
-        }
-        for (const [name, schema] of Object.entries(provisional)) {
-            this.assertValid(schema, 'named-type', `/types/${escapeToken(name)}`);
-            provisional[name] = canonicalizeValueSchema(schema, 'named-type', this.registry);
-        }
-        this.types = provisional;
+        this.registry = context.valueRegistry();
     }
     schema(input, placement, pointer) {
         const schema = this.lower(input, 'callable-output', pointer);
@@ -32,52 +23,45 @@ export class BuilderValueSchemas {
     }
     properties(input, pointer) {
         const fields = input ?? {};
-        const compiled = this.facet(fields, 'property-facet', pointer);
-        const metadata = {};
+        const compiled = {};
         for (const [name, value] of Object.entries(fields)) {
-            const automatic = isAutoProperty(value) ? value : undefined;
-            const authored = automatic?.property ?? (isProperty(value) ? value : undefined);
-            if (authored !== undefined &&
-                (authored.visibility === 'private' || automatic !== undefined)) {
-                metadata[name] = {
-                    visibility: authored.visibility,
-                    ...(automatic === undefined ? {} : { auto: automatic.options }),
-                };
-            }
+            const auto = isAutoProperty(value) ? value : undefined;
+            const autoInput = auto === undefined ? undefined : autoPropertyAuthoringInput(auto);
+            const authored = autoInput?.property ?? (isProperty(value) ? value : undefined);
+            const authoredInput = authored === undefined ? undefined : propertyAuthoringInput(authored);
+            const propertyPointer = `${pointer}/${escapeToken(name)}`;
+            const schemaInput = authoredInput === undefined ? value : authoredInput.schema;
+            const schema = this.lower(schemaInput, 'callable-output', `${propertyPointer}/schema`, 'object-property');
+            this.assertValid(schema, 'property-facet', `${propertyPointer}/schema`);
+            compiled[name] = {
+                schema: canonicalizeValueSchema(schema, 'property-facet', this.registry),
+                required: authoredInput?.options.required ?? isRequired(schemaInput),
+                ...(autoInput === undefined ? {} : { auto: autoInput.options }),
+                ...(authoredInput?.options.description === undefined
+                    ? {}
+                    : { description: authoredInput.options.description }),
+                ...(authoredInput?.machine === undefined
+                    ? {}
+                    : {
+                        state: {
+                            initial: authoredInput.machine.initial,
+                            transitions: authoredInput.machine.transitions,
+                        },
+                    }),
+            };
         }
-        return { properties: compiled, propertyMetadata: metadata };
-    }
-    facet(fields, placement, pointer) {
-        const properties = {};
-        const required = [];
-        for (const [name, input] of Object.entries(fields)) {
-            const propertyPointer = `${pointer}/properties/${escapeToken(name)}`;
-            const automatic = isAutoProperty(input) ? input : undefined;
-            const authoring = automatic?.property ?? (isProperty(input) ? input : undefined);
-            const schemaInput = authoring === undefined ? input : authoring.schema;
-            properties[name] = this.lower(schemaInput, 'callable-output', propertyPointer, 'object-property');
-            if (authoring?.required ?? isRequired(schemaInput))
-                required.push(name);
-        }
-        const schema = {
-            type: 'object',
-            properties,
-            required,
-            additionalProperties: false,
-        };
-        this.assertValid(schema, placement, pointer);
-        return canonicalizeValueSchema(schema, placement, this.registry);
+        return compiled;
     }
     lower(input, conversionContext, pointer, zodPosition = 'value') {
         let schema;
-        if (input instanceof z.ZodType) {
+        if (input instanceof ZodType) {
             const converted = convertZodToValueSchema(input, conversionContext, this.registry, pointer, {
                 position: zodPosition,
                 validate: false,
                 override: (context) => lowerPathSchema(context, (accepts, markerPointer) => this.resolvePathAccepts(accepts, markerPointer), pointer),
             });
             if (!converted.ok)
-                throw new DomainSchemaError(converted.diagnostics);
+                throw new BuilderError(converted.diagnostics);
             schema = closeZodObjects(converted.schema);
         }
         else {
@@ -86,7 +70,7 @@ export class BuilderValueSchemas {
         return schema;
     }
     resolvePathAccepts(inputs, pointer) {
-        const refs = inputs.map((input, index) => this.context.resolveNodeDefinition(input, `${pointer}/x-astrale-path/accepts/${index}`));
+        const refs = inputs.map((input, index) => this.context.resolveNodeClass(input, `${pointer}/x-astrale-path/accepts/${index}`));
         const seen = new Set();
         for (const ref of refs) {
             const key = `${ref.origin}\u0000${ref.kind}\u0000${ref.name}`;
@@ -95,12 +79,12 @@ export class BuilderValueSchemas {
             }
             seen.add(key);
         }
-        return refs.sort(compareSchemaRefs);
+        return refs.sort(compareDefinitionRefs);
     }
     assertValid(schema, placement, pointer) {
         const diagnostics = validateValueSchema(schema, placement, this.registry, pointer);
         if (diagnostics.length > 0)
-            throw new DomainSchemaError(diagnostics);
+            throw new BuilderError(diagnostics);
     }
 }
 function closeZodObjects(schema) {
@@ -153,8 +137,7 @@ function isAutoProperty(value) {
     return isAuthoringValue(value, 'auto');
 }
 function isRequired(value) {
-    if (!(value instanceof z.ZodType))
+    if (!(value instanceof ZodType))
         return true;
     return !zodObjectPropertyIsOptional(value);
 }
-//# sourceMappingURL=value.js.map

package/dist/v1/builder/lowering/value/path.d.ts

@@ -0,0 +1,3 @@
+import type { NodeClassReferenceInput } from '../../class/authoring.js';
+import type { ZodValueSchemaOverrideContext } from './zod.js';
+export declare function lowerPathSchema(context: ZodValueSchemaOverrideContext, resolveAccepts: (inputs: readonly NodeClassReferenceInput[], pointer: string) => readonly unknown[], pointer: string): void;

package/dist/v1/builder/{compiler/value.path.js → lowering/value/path.js}

@@ -1,4 +1,4 @@
-import { pathAccepts } from '../internal/path.metadata.js';
+import { pathAccepts } from '../../value/path-metadata.js';
 export function lowerPathSchema(context, resolveAccepts, pointer) {
     const inputs = pathAccepts(context.zodSchema);
     if (inputs === undefined)
@@ -18,4 +18,3 @@ export function lowerPathSchema(context, resolveAccepts, pointer) {
 function escapeToken(value) {
     return value.replaceAll('~', '~0').replaceAll('/', '~1');
 }
-//# sourceMappingURL=value.path.js.map

package/dist/v1/builder/{compiler/value.zod.d.ts → lowering/value/zod.d.ts}

@@ -1,14 +1,14 @@
-import { z } from 'zod';
-import type { DomainDiagnostic } from '../../schema/diagnostic.js';
-import type { ValueSchemaRegistry } from '../../schema/value/registry.js';
-import type { JsonSchema, ValueSchemaContext } from '../../schema/value/schema.js';
+import { ZodType } from 'zod';
+import type { JsonSchema, ValueSchemaContext } from '../../../language/value/model/schema.js';
+import type { ValueSchemaRegistry } from '../../../language/value/reference/registry.js';
+import type { BuilderDiagnostic } from '../../schema/diagnostic.js';
 export type ZodValueSchemaConversion = {
     readonly ok: true;
     readonly schema: JsonSchema;
     readonly diagnostics: readonly [];
 } | {
     readonly ok: false;
-    readonly diagnostics: readonly DomainDiagnostic[];
+    readonly diagnostics: readonly BuilderDiagnostic[];
 };
 export interface ZodValueSchemaConversionOptions {
     /** Undefined is representable only as absence at a containing object-property boundary. */
@@ -19,7 +19,7 @@ export interface ZodValueSchemaConversionOptions {
     readonly validate?: boolean;
 }
 export interface ZodValueSchemaOverrideContext {
-    readonly zodSchema: z.ZodType;
+    readonly zodSchema: ZodType;
     readonly jsonSchema: Record<string, unknown>;
     readonly path: readonly (string | number)[];
 }
@@ -27,7 +27,6 @@ export interface ZodValueSchemaOverrideContext {
  * Converts only Zod contracts whose JSON-value acceptance is represented
  * without coercion, effects, custom predicates, or format assertions.
  */
-export declare function convertZodToValueSchema(zodSchema: z.ZodType, context: ValueSchemaContext, registry: ValueSchemaRegistry, pointer?: string, options?: ZodValueSchemaConversionOptions): ZodValueSchemaConversion;
+export declare function convertZodToValueSchema(zodSchema: ZodType, context: ValueSchemaContext, registry: ValueSchemaRegistry, pointer?: string, options?: ZodValueSchemaConversionOptions): ZodValueSchemaConversion;
 /** Whether explicit Zod optionality makes a containing object property absent-able. */
-export declare function zodObjectPropertyIsOptional(schema: z.ZodType): boolean;
-//# sourceMappingURL=value.zod.d.ts.map
+export declare function zodObjectPropertyIsOptional(schema: ZodType): boolean;

package/dist/v1/builder/{compiler/value.zod.js → lowering/value/zod.js}

@@ -1,10 +1,10 @@
-import { z } from 'zod';
+import { ZodObject, ZodType, toJSONSchema } from 'zod';
+import { VALUE_SCHEMA_DIALECT } from '../../../language/value/model/schema.js';
+import { canonicalizeValueSchema } from '../../../language/value/profile/canonicalize.js';
+import { validateValueSchema } from '../../../language/value/profile/validate.js';
+import { isIRegexp } from '../../../language/value/regexp/syntax.js';
+import { fullMatchSource } from '../../../language/value/syntax/full-match.js';
 import { diagnostic } from '../../schema/diagnostic.js';
-import { fullMatchSource } from '../../schema/index.js';
-import { canonicalizeValueSchema } from '../../schema/value/profile/canonicalize.js';
-import { validateValueSchema } from '../../schema/value/profile/validate.js';
-import { isIRegexp } from '../../schema/value/regexp/syntax.js';
-import { VALUE_SCHEMA_DIALECT } from '../../schema/value/schema.js';
 /**
  * Converts only Zod contracts whose JSON-value acceptance is represented
  * without coercion, effects, custom predicates, or format assertions.
@@ -15,19 +15,19 @@ export function convertZodToValueSchema(zodSchema, context, registry, pointer =
         return { ok: false, diagnostics };
     let converted;
     try {
-        const raw = z.toJSONSchema(zodSchema, {
+        const raw = toJSONSchema(zodSchema, {
             target: 'draft-2020-12',
             unrepresentable: 'throw',
             io: 'input',
             cycles: 'ref',
             reused: 'inline',
             override: ({ zodSchema: source, jsonSchema, path }) => {
-                if (source instanceof z.ZodObject) {
+                if (source instanceof ZodObject) {
                     jsonSchema.required = Object.entries(source.shape)
                         .filter(([, property]) => !zodObjectPropertyIsOptional(property))
                         .map(([name]) => name);
                 }
-                if (source instanceof z.ZodType) {
+                if (source instanceof ZodType) {
                     lowerFullMatchChecks(source, jsonSchema);
                     options.override?.({
                         jsonSchema: jsonSchema,
@@ -284,7 +284,7 @@ function getCheckDefinition(value) {
     return isPlainRecord(internals?.def) ? internals.def : undefined;
 }
 function isZodType(value) {
-    return value instanceof z.ZodType;
+    return value instanceof ZodType;
 }
 function escapePointerToken(value) {
     return value.replaceAll('~', '~0').replaceAll('/', '~1');
@@ -340,4 +340,3 @@ const UNREPRESENTABLE_TYPES = new Set([
 function errorMessage(error) {
     return error instanceof Error ? error.message : String(error);
 }
-//# sourceMappingURL=value.zod.js.map

package/dist/v1/builder/lowering/view.d.ts

@@ -0,0 +1,11 @@
+import type { ViewDefinition } from '../../language/view/model/view.js';
+import type { View } from '../view/authoring.js';
+import type { BuilderContext } from './schema/context.js';
+export interface ViewCompiler {
+    compile(value: View, name: string, pointer: string): ViewDefinition;
+}
+export declare class V1ViewCompiler implements ViewCompiler {
+    readonly context: BuilderContext;
+    constructor(context: BuilderContext);
+    compile(value: View, name: string, pointer: string): ViewDefinition;
+}