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

package/dist/v1/builder/lowering/schema/context.js

@@ -0,0 +1,243 @@
+import { compareDefinitionRefs, compareUnicode, definitionRefIndex, } from '../../../addressing/ordering.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();
+    localClassKinds = new Map();
+    policies = new Map();
+    coreNodes = new Map();
+    policyObjects = new Map();
+    policyObjectRefs = new Set();
+    usedForeignOrigins = new Set();
+    #dependencies = new Map();
+    constructor(origin, dependencies) {
+        this.origin = origin;
+        for (const schema of dependencies) {
+            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.`);
+            }
+            this.#dependencies.set(schema.origin, { schema, dependency });
+        }
+    }
+    captureDefinition(value, ref, pointer) {
+        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.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.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.coreNodes.set(value, ref);
+        this.capturePolicyObject(value, ref);
+    }
+    captureFunction(value, ref, pointer) {
+        this.ownership.capture(value, `${ref.origin}:function.${ref.name}`, pointer);
+        this.capturePolicyObject(value, ref);
+    }
+    captureView(value, ref, pointer) {
+        this.ownership.capture(value, `${ref.origin}:view.${ref.name}`, pointer);
+        this.capturePolicyObject(value, ref);
+    }
+    resolveClass(input, kind, pointer) {
+        const value = resolveLazy(input, pointer);
+        const ref = isDefinitionRef(value)
+            ? value
+            : 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 (ref.kind !== 'class') {
+            fail('BUILDER_REFERENCE_KIND', pointer, `Expected class, received ${ref.kind}.`);
+        }
+        const resolvedKind = this.classKind(ref);
+        if (resolvedKind !== kind) {
+            fail('BUILDER_REFERENCE_KIND', pointer, `Expected ${kind} Class, received ${resolvedKind ?? 'an unresolved Class'}.`);
+        }
+        this.assertVisible(ref, pointer);
+        return { ...ref };
+    }
+    resolveNodeClass(input, pointer) {
+        return this.resolveClass(input, 'node', pointer);
+    }
+    resolveEdgeClass(input, pointer) {
+        return this.resolveClass(input, 'edge', pointer);
+    }
+    resolvePolicy(input, pointer) {
+        const value = resolveLazy(input, pointer);
+        if (typeof value !== 'object' || value === null) {
+            fail('BUILDER_UNOWNED_REFERENCE', pointer, 'Policy reference has no captured local owner.');
+        }
+        const ref = this.policies.get(value);
+        if (ref === undefined) {
+            fail('BUILDER_FOREIGN_POLICY', pointer, 'V1 Policy references must name a local Policy.');
+        }
+        return { ...ref };
+    }
+    resolvePolicyObject(input, pointer) {
+        const value = resolveLazy(input, pointer);
+        const ref = isPolicyObjectRef(value)
+            ? value
+            : typeof value === 'object' && value !== null
+                ? this.policyObjects.get(value)
+                : undefined;
+        if (ref === undefined ||
+            ref.origin !== this.origin ||
+            !this.policyObjectRefs.has(definitionRefIndex(ref))) {
+            fail('BUILDER_POLICY_REF', pointer, 'Policy ref(...) must name one registered local Definition, Function, Policy, View, or Core Node.');
+        }
+        return { ...ref };
+    }
+    resolveCoreEndpoint(value, pointer) {
+        if (isDomainEndpointRef(value))
+            return { kind: 'domain' };
+        const ref = isCoreRef(value) ? value : this.coreNodes.get(value);
+        if (ref === undefined || ref.origin !== this.origin) {
+            fail('BUILDER_CORE_REF', pointer, 'A Core reference must name a registered local Core Node.');
+        }
+        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) => compareUnicode(left.origin, right.origin));
+    }
+    valueRegistry() {
+        const directOrigins = new Set(this.#dependencies.keys());
+        const closure = new Map();
+        for (const { schema } of this.#dependencies.values()) {
+            for (const entry of requireDomainClosure(schema)) {
+                if (!directOrigins.has(entry.schema.origin))
+                    closure.set(entry.schema.origin, entry.schema);
+            }
+        }
+        const registryDomain = (schema, revision) => ({
+            origin: schema.origin,
+            ...(revision === undefined ? {} : { revision }),
+            dependencies: schema.dependencies,
+            nodeDefinitions: definitionRefsOf(schema),
+        });
+        return {
+            current: {
+                origin: this.origin,
+                dependencies: [...this.#dependencies.values()].map(({ dependency }) => dependency),
+                nodeDefinitions: [...this.localDefinitions.values()]
+                    .filter((ref) => ref.kind === 'class' && this.localClassKinds.get(definitionRefIndex(ref)) === 'node')
+                    .sort(compareDefinitionRefs),
+            },
+            directDependencies: [...this.#dependencies.values()].map(({ schema, dependency }) => ({
+                ...registryDomain(schema, dependency.revision),
+            })),
+            transitiveDependencies: [...closure.values()].map((schema) => registryDomain(schema, revisionOfDomainSchema(schema))),
+            graphNodePath: graphNodePathSchema,
+        };
+    }
+    noteDomainEndpointReferences(schema) {
+        for (const origin of collectUsedForeignOrigins(schema))
+            this.usedForeignOrigins.add(origin);
+    }
+    assertVisible(ref, pointer) {
+        if (ref.origin === this.origin) {
+            if (!this.localDefinitions.has(definitionRefIndex(ref))) {
+                fail('BUILDER_REFERENCE_MISSING', pointer, `Local Definition ${ref.kind}.${ref.name} is not declared.`);
+            }
+            return;
+        }
+        if (!this.#dependencies.has(ref.origin)) {
+            fail('BUILDER_DEPENDENCY_DIRECT', pointer, `Foreign Definition ${ref.origin}:${ref.kind}.${ref.name} is not in a direct dependency.`);
+        }
+        this.usedForeignOrigins.add(ref.origin);
+    }
+    classKind(ref) {
+        if (ref.origin === this.origin)
+            return this.localClassKinds.get(definitionRefIndex(ref));
+        const schema = this.#dependencies.get(ref.origin)?.schema;
+        if (schema === undefined)
+            return undefined;
+        return schema.classes[ref.name]?.kind;
+    }
+    capturePolicyObject(value, ref) {
+        this.policyObjects.set(value, ref);
+        this.policyObjectRefs.add(definitionRefIndex(ref));
+    }
+}
+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;
+    return candidate.kind === 'domain' && Object.keys(candidate).length === 1;
+}
+function isDefinitionRef(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const candidate = value;
+    return (typeof candidate.origin === 'string' &&
+        typeof candidate.name === 'string' &&
+        candidate.kind === 'class');
+}
+function isCoreRef(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const candidate = value;
+    return (typeof candidate.origin === 'string' &&
+        candidate.kind === 'core' &&
+        typeof candidate.name === 'string');
+}
+function isPolicyObjectRef(value) {
+    if (typeof value !== 'object' || value === null)
+        return false;
+    const candidate = value;
+    return (typeof candidate.origin === 'string' &&
+        typeof candidate.name === 'string' &&
+        (candidate.kind === 'class' ||
+            candidate.kind === 'function' ||
+            candidate.kind === 'policy' ||
+            candidate.kind === 'view' ||
+            candidate.kind === 'core'));
+}
+function definitionRefsOf(schema) {
+    const refs = [];
+    for (const [name, declaration] of Object.entries(schema.classes)) {
+        if (declaration.kind === 'node')
+            refs.push({ origin: schema.origin, kind: 'class', name });
+    }
+    return refs.sort(compareDefinitionRefs);
+}
+//# sourceMappingURL=context.js.map

package/dist/v1/builder/lowering/schema/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../../../v1/builder/lowering/schema/context.ts"],"names":[],"mappings":"AAqBA,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,kBAAkB,GACnB,MAAM,iCAAiC,CAAA;AACxC,OAAO,EAAE,mBAAmB,EAAE,MAAM,oDAAoD,CAAA;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAA;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAC5E,OAAO,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAA;AACjF,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAA;AACjD,OAAO,EAAE,WAAW,EAAa,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAA;AAEjD,MAAM,OAAO,cAAc;IAed,MAAM;IAdR,SAAS,GAAG,IAAI,gBAAgB,EAAE,CAAA;IAClC,gBAAgB,GAAG,IAAI,GAAG,EAAyB,CAAA;IACnD,eAAe,GAAG,IAAI,GAAG,EAAqB,CAAA;IAC9C,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAA;IACvC,SAAS,GAAG,IAAI,GAAG,EAA8B,CAAA;IACjD,aAAa,GAAG,IAAI,GAAG,EAA2B,CAAA;IAClD,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,aAAa,GAAG,IAAI,GAAG,EAG7B,CAAA;IAEH,YACW,MAAc,EACvB,YAAqC;sBAD5B,MAAM;QAGf,KAAK,MAAM,MAAM,IAAI,YAAY,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG;gBACjB,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,QAAQ,EAAE,sBAAsB,CAAC,MAAM,CAAC;aAChC,CAAA;YACV,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;YACtD,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,KAAK,UAAU,CAAC,QAAQ,EAAE,CAAC;gBACnF,IAAI,CACF,6BAA6B,EAC7B,eAAe,EACf,cAAc,MAAM,CAAC,MAAM,2CAA2C,CACvE,CAAA;YACH,CAAC;YACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;QAC/D,CAAC;IACH,CAAC;IAED,iBAAiB,CAAC,KAAqB,EAAE,GAAa,EAAE,OAAe;QACrE,MAAM,GAAG,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAA;QACnC,IAAI,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,0BAA0B,EAAE,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,iBAAiB,CAAC,CAAA;QAChG,CAAC;QACD,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QACnC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QACzC,IAAI,CAAC,SAAS,CAAC,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAAE,OAAO,CAAC,CAAA;QACrD,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAED,aAAa,CAAC,KAAa,EAAE,GAAc,EAAE,OAAe;QAC1D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,WAAW,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;QAC1E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC7B,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAED,eAAe,CAAC,KAAwB,EAAE,IAAY,EAAE,OAAe;QACrE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,MAAM,SAAS,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;QACrE,MAAM,GAAG,GAAY,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAA;QACtE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAC9B,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAED,eAAe,CAAC,KAAwB,EAAE,GAAgB,EAAE,OAAe;QACzE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,aAAa,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;QAC5E,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAED,WAAW,CAAC,KAAoB,EAAE,GAAY,EAAE,OAAe;QAC7D,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;QACxE,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACtC,CAAC;IAED,YAAY,CAAC,KAA0B,EAAE,IAAe,EAAE,OAAe;QACvE,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QACzC,MAAM,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC;YAChC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC;gBACtB,CAAC,CAAC,KAAK,CAAC,GAAG;gBACX,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;oBAC3C,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;oBAClC,CAAC,CAAC,SAAS,CAAA;QACjB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CACF,2BAA2B,EAC3B,OAAO,EACP,oDAAoD,CACrD,CAAA;QACH,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,IAAI,CAAC,wBAAwB,EAAE,OAAO,EAAE,4BAA4B,GAAG,CAAC,IAAI,GAAG,CAAC,CAAA;QAClF,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAe,CAAC,CAAA;QACpD,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;YAC1B,IAAI,CACF,wBAAwB,EACxB,OAAO,EACP,YAAY,IAAI,oBAAoB,YAAY,IAAI,qBAAqB,GAAG,CAC7E,CAAA;QACH,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;QAChC,OAAO,EAAE,GAAG,GAAG,EAAc,CAAA;IAC/B,CAAC;IAED,gBAAgB,CAAC,KAA0B,EAAE,OAAe;QAC1D,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;IAClD,CAAC;IAED,gBAAgB,CAAC,KAA0B,EAAE,OAAe;QAC1D,OAAO,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;IAClD,CAAC;IAED,aAAa,CAAC,KAAoB,EAAE,OAAe;QACjD,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YAChD,IAAI,CAAC,2BAA2B,EAAE,OAAO,EAAE,+CAA+C,CAAC,CAAA;QAC7F,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CAAC,wBAAwB,EAAE,OAAO,EAAE,gDAAgD,CAAC,CAAA;QAC3F,CAAC;QACD,OAAO,EAAE,GAAG,GAAG,EAAE,CAAA;IACnB,CAAC;IAED,mBAAmB,CACjB,KAA0C,EAC1C,OAAe;QAEf,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;QACzC,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,CAAC;YAClC,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;gBAC3C,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC;gBAC/B,CAAC,CAAC,SAAS,CAAA;QACf,IACE,GAAG,KAAK,SAAS;YACjB,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAC1B,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EACnD,CAAC;YACD,IAAI,CACF,oBAAoB,EACpB,OAAO,EACP,kGAAkG,CACnG,CAAA;QACH,CAAC;QACD,OAAO,EAAE,GAAG,GAAG,EAAE,CAAA;IACnB,CAAC;IAED,mBAAmB,CACjB,KAA0C,EAC1C,OAAe;QAEf,IAAI,mBAAmB,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACzD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAChE,IAAI,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACpD,IAAI,CAAC,kBAAkB,EAAE,OAAO,EAAE,0DAA0D,CAAC,CAAA;QAC/F,CAAC;QACD,OAAO,EAAE,GAAG,GAAG,EAAE,CAAA;IACnB,CAAC;IAED,YAAY;QACV,OAAO,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC;aAChC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YACd,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;YAC7C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,IAAI,CACF,2BAA2B,EAC3B,eAAe,EACf,kBAAkB,MAAM,iDAAiD,CAC1E,CAAA;YACH,CAAC;YACD,OAAO,MAAM,CAAC,UAAU,CAAA;QAC1B,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IACrE,CAAC;IAED,aAAa;QACX,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAA;QACxD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAA;QAC/C,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;YACrD,KAAK,MAAM,KAAK,IAAI,oBAAoB,CAAC,MAAsB,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAA;YAC7F,CAAC;QACH,CAAC;QACD,MAAM,cAAc,GAAG,CAAC,MAAsB,EAAE,QAAuC,EAAE,EAAE,CAAC,CAAC;YAC3F,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;YAC/C,YAAY,EAAE,MAAM,CAAC,YAAY;YACjC,eAAe,EAAE,gBAAgB,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAA;QACF,OAAO;YACL,OAAO,EAAE;gBACP,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,YAAY,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC;gBAClF,eAAe,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;qBACjD,MAAM,CACL,CAAC,GAAG,EAAmB,EAAE,CACvB,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,CACvF;qBACA,IAAI,CAAC,qBAAqB,CAAC;aAC/B;YACD,kBAAkB,EAAE,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;gBACpF,GAAG,cAAc,CAAC,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC;aAC/C,CAAC,CAAC;YACH,sBAAsB,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAC3D,cAAc,CAAC,MAAM,EAAE,sBAAsB,CAAC,MAAM,CAAC,CAAC,CACvD;YACD,aAAa,EAAE,mBAAmB;SACnC,CAAA;IACH,CAAC;IAED,4BAA4B,CAAC,MAAsB;QACjD,KAAK,MAAM,MAAM,IAAI,yBAAyB,CAAC,MAAM,CAAC;YAAE,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IAC7F,CAAC;IAEO,aAAa,CAAC,GAAkB,EAAE,OAAe;QACvD,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACxD,IAAI,CACF,2BAA2B,EAC3B,OAAO,EACP,oBAAoB,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,mBAAmB,CAC5D,CAAA;YACH,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACxC,IAAI,CACF,2BAA2B,EAC3B,OAAO,EACP,sBAAsB,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,iCAAiC,CAC1F,CAAA;QACH,CAAC;QACD,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;IACzC,CAAC;IAEO,SAAS,CAAC,GAAa;QAC7B,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;QACxF,MAAM,MAAM,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;QACzD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACvC,CAAC;IAEO,mBAAmB,CAAC,KAAa,EAAE,GAAoB;QAC7D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;QAClC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAA;IACpD,CAAC;CACF;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,SAAS,GAAG,KAA4D,CAAA;IAC9E,OAAO,eAAe,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAAA;AACnG,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,SAAS,GAAG,KAAgC,CAAA;IAClD,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC,CAAA;AAC3E,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACrC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,SAAS,GAAG,KAAgC,CAAA;IAClD,OAAO,CACL,OAAO,SAAS,CAAC,MAAM,KAAK,QAAQ;QACpC,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ;QAClC,SAAS,CAAC,IAAI,KAAK,OAAO,CAC3B,CAAA;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAc;IAC/B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,SAAS,GAAG,KAAgC,CAAA;IAClD,OAAO,CACL,OAAO,SAAS,CAAC,MAAM,KAAK,QAAQ;QACpC,SAAS,CAAC,IAAI,KAAK,MAAM;QACzB,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ,CACnC,CAAA;AACH,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,KAAK,CAAA;IAC7D,MAAM,SAAS,GAAG,KAAgC,CAAA;IAClD,OAAO,CACL,OAAO,SAAS,CAAC,MAAM,KAAK,QAAQ;QACpC,OAAO,SAAS,CAAC,IAAI,KAAK,QAAQ;QAClC,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO;YACzB,SAAS,CAAC,IAAI,KAAK,UAAU;YAC7B,SAAS,CAAC,IAAI,KAAK,QAAQ;YAC3B,SAAS,CAAC,IAAI,KAAK,MAAM;YACzB,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,CAC7B,CAAA;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAsB;IAC9C,MAAM,IAAI,GAAe,EAAE,CAAA;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IAC5F,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;AACzC,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { DefinitionRef } from '../../../addressing/index.js';
+export declare class OwnershipCapture {
+    #private;
+    captureDefinition(value: object, ref: DefinitionRef, pointer: string): void;
+    capture(value: object, owner: string, pointer: string): void;
+    definition(value: object): DefinitionRef | undefined;
+    commit(): void;
+}
+//# sourceMappingURL=ownership.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.d.ts","sourceRoot":"","sources":["../../../../../v1/builder/lowering/schema/ownership.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,8BAA8B,CAAA;AAOjE,qBAAa,gBAAgB;;IAI3B,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAG1E;IAED,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAY3D;IAED,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAEnD;IAED,MAAM,IAAI,IAAI,CAGb;CACF"}

package/dist/v1/builder/lowering/schema/ownership.js

@@ -0,0 +1,30 @@
+import { fail } from '../../schema/diagnostic.js';
+const definitionOwners = new WeakMap();
+const semanticOwners = new WeakMap();
+export class OwnershipCapture {
+    #definitions = new Map();
+    #owners = new Map();
+    captureDefinition(value, ref, pointer) {
+        this.capture(value, `${ref.origin}:${ref.kind}.${ref.name}`, pointer);
+        this.#definitions.set(value, ref);
+    }
+    capture(value, owner, pointer) {
+        const staged = this.#owners.get(value);
+        const stable = semanticOwners.get(value);
+        const previous = staged ?? stable;
+        if (previous !== undefined && previous !== owner) {
+            fail('BUILDER_AMBIGUOUS_OWNERSHIP', pointer, `One detached builder value cannot be owned by both ${previous} and ${owner}.`);
+        }
+        this.#owners.set(value, owner);
+    }
+    definition(value) {
+        return this.#definitions.get(value) ?? definitionOwners.get(value);
+    }
+    commit() {
+        for (const [value, owner] of this.#owners)
+            semanticOwners.set(value, owner);
+        for (const [value, ref] of this.#definitions)
+            definitionOwners.set(value, ref);
+    }
+}
+//# sourceMappingURL=ownership.js.map

package/dist/v1/builder/lowering/schema/ownership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ownership.js","sourceRoot":"","sources":["../../../../../v1/builder/lowering/schema/ownership.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAA;AAEjD,MAAM,gBAAgB,GAAG,IAAI,OAAO,EAAyB,CAAA;AAC7D,MAAM,cAAc,GAAG,IAAI,OAAO,EAAkB,CAAA;AAEpD,MAAM,OAAO,gBAAgB;IAClB,YAAY,GAAG,IAAI,GAAG,EAAyB,CAAA;IAC/C,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE5C,iBAAiB,CAAC,KAAa,EAAE,GAAkB,EAAE,OAAe;QAClE,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;QACrE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IACnC,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,KAAa,EAAE,OAAe;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACtC,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACxC,MAAM,QAAQ,GAAG,MAAM,IAAI,MAAM,CAAA;QACjC,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACjD,IAAI,CACF,6BAA6B,EAC7B,OAAO,EACP,sDAAsD,QAAQ,QAAQ,KAAK,GAAG,CAC/E,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAChC,CAAC;IAED,UAAU,CAAC,KAAa;QACtB,OAAO,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpE,CAAC;IAED,MAAM;QACJ,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,OAAO;YAAE,cAAc,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;QAC3E,KAAK,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,YAAY;YAAE,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAA;IAChF,CAAC;CACF"}

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

@@ -0,0 +1,16 @@
+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;
+}
+//# sourceMappingURL=compile.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/compile.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2CAA2C,CAAA;AAC/E,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAA;AAC7F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAA;AAExF,OAAO,KAAK,EAIV,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAY1D,qBAAa,mBAAmB;IAGlB,QAAQ,CAAC,OAAO,EAAE,cAAc;IAF5C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAA;IAEtC,YAAqB,OAAO,EAAE,cAAc,EAE3C;IAED,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU,CAI1F;IAED,UAAU,CAAC,KAAK,EAAE,mBAAmB,GAAG,SAAS,EAAE,OAAO,EAAE,MAAM,GAAG,cAAc,CA6BlF;IAED,OAAO,CAAC,KAAK;IA0Bb,OAAO,CAAC,kBAAkB;IAsB1B,OAAO,CAAC,WAAW;CAIpB"}

package/dist/v1/builder/lowering/value/compile.js

@@ -0,0 +1,137 @@
+import { accept as acceptJsonValue } from '@astrale-os/kernel-dsl/value';
+import { z } 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;
+    registry;
+    constructor(context) {
+        this.context = context;
+        this.registry = context.valueRegistry();
+    }
+    schema(input, placement, pointer) {
+        const schema = this.lower(input, 'callable-output', pointer);
+        this.assertValid(schema, placement, pointer);
+        return canonicalizeValueSchema(schema, placement, this.registry);
+    }
+    properties(input, pointer) {
+        const fields = input ?? {};
+        const compiled = {};
+        for (const [name, value] of Object.entries(fields)) {
+            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),
+                visibility: authoredInput?.options.visibility ?? 'public',
+                ...(autoInput === undefined ? {} : { auto: autoInput.options }),
+                ...(authoredInput?.options.description === undefined
+                    ? {}
+                    : { description: authoredInput.options.description }),
+            };
+        }
+        return compiled;
+    }
+    lower(input, conversionContext, pointer, zodPosition = 'value') {
+        let schema;
+        if (input instanceof z.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 BuilderError(converted.diagnostics);
+            schema = closeZodObjects(converted.schema);
+        }
+        else {
+            schema = acceptJsonValue(input);
+        }
+        return schema;
+    }
+    resolvePathAccepts(inputs, pointer) {
+        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}`;
+            if (seen.has(key)) {
+                fail('BUILDER_PATH_DUPLICATE', `${pointer}/x-astrale-path/accepts`, 'path(...) repeats one Node Definition.');
+            }
+            seen.add(key);
+        }
+        return refs.sort(compareDefinitionRefs);
+    }
+    assertValid(schema, placement, pointer) {
+        const diagnostics = validateValueSchema(schema, placement, this.registry, pointer);
+        if (diagnostics.length > 0)
+            throw new BuilderError(diagnostics);
+    }
+}
+function closeZodObjects(schema) {
+    if (schema === null || typeof schema !== 'object' || Array.isArray(schema))
+        return schema;
+    const result = { ...schema };
+    for (const keyword of ['$defs', 'dependentSchemas', 'patternProperties', 'properties']) {
+        const value = result[keyword];
+        if (value === null || typeof value !== 'object' || Array.isArray(value))
+            continue;
+        result[keyword] = Object.fromEntries(Object.entries(value).map(([name, nested]) => [name, closeZodObjects(nested)]));
+    }
+    for (const keyword of ['allOf', 'anyOf', 'oneOf', 'prefixItems']) {
+        const value = result[keyword];
+        if (Array.isArray(value))
+            result[keyword] = value.map((nested) => closeZodObjects(nested));
+    }
+    for (const keyword of [
+        'additionalProperties',
+        'contains',
+        'contentSchema',
+        'else',
+        'if',
+        'items',
+        'not',
+        'propertyNames',
+        'then',
+        'unevaluatedItems',
+        'unevaluatedProperties',
+    ]) {
+        const value = result[keyword];
+        if (typeof value === 'boolean' ||
+            (value !== null && typeof value === 'object' && !Array.isArray(value))) {
+            result[keyword] = closeZodObjects(value);
+        }
+    }
+    if (result.type === 'object' &&
+        result.properties !== null &&
+        typeof result.properties === 'object' &&
+        !Array.isArray(result.properties) &&
+        !Object.hasOwn(result, 'additionalProperties')) {
+        result.additionalProperties = false;
+    }
+    return result;
+}
+function isProperty(value) {
+    return isAuthoringValue(value, 'property');
+}
+function isAutoProperty(value) {
+    return isAuthoringValue(value, 'auto');
+}
+function isRequired(value) {
+    if (!(value instanceof z.ZodType))
+        return true;
+    return !zodObjectPropertyIsOptional(value);
+}
+//# sourceMappingURL=compile.js.map

package/dist/v1/builder/lowering/value/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/compile.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,IAAI,eAAe,EAAE,MAAM,8BAA8B,CAAA;AACxE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAgBvB,OAAO,EAAE,qBAAqB,EAAE,MAAM,iCAAiC,CAAA;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iDAAiD,CAAA;AACzF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6CAA6C,CAAA;AACjF,OAAO,EAAE,0BAA0B,EAAE,sBAAsB,EAAE,MAAM,yBAAyB,CAAA;AAC5F,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AACzD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAA;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAA;AACzD,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,EAAE,uBAAuB,EAAE,2BAA2B,EAAE,MAAM,UAAU,CAAA;AAE/E,MAAM,OAAO,mBAAmB;IAGT,OAAO;IAFnB,QAAQ,CAAqB;IAEtC,YAAqB,OAAuB;uBAAvB,OAAO;QAC1B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,aAAa,EAAE,CAAA;IACzC,CAAC;IAED,MAAM,CAAC,KAAuB,EAAE,SAA6B,EAAE,OAAe;QAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,iBAAiB,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAA;QAC5C,OAAO,uBAAuB,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IAClE,CAAC;IAED,UAAU,CAAC,KAAsC,EAAE,OAAe;QAChE,MAAM,MAAM,GAAG,KAAK,IAAI,EAAE,CAAA;QAC1B,MAAM,QAAQ,GAA2C,EAAE,CAAA;QAC3D,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YACnD,MAAM,IAAI,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;YACtD,MAAM,SAAS,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,CAAA;YACnF,MAAM,QAAQ,GAAG,SAAS,EAAE,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAC/E,MAAM,aAAa,GAAG,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAA;YAC3F,MAAM,eAAe,GAAG,GAAG,OAAO,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAA;YACzD,MAAM,WAAW,GACf,aAAa,KAAK,SAAS,CAAC,CAAC,CAAE,KAA0B,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAA;YAClF,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,WAAW,EACX,iBAAiB,EACjB,GAAG,eAAe,SAAS,EAC3B,iBAAiB,CAClB,CAAA;YACD,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,gBAAgB,EAAE,GAAG,eAAe,SAAS,CAAC,CAAA;YACvE,QAAQ,CAAC,IAAI,CAAC,GAAG;gBACf,MAAM,EAAE,uBAAuB,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC;gBACxE,QAAQ,EAAE,aAAa,EAAE,OAAO,CAAC,QAAQ,IAAI,UAAU,CAAC,WAAW,CAAC;gBACpE,UAAU,EAAE,aAAa,EAAE,OAAO,CAAC,UAAU,IAAI,QAAQ;gBACzD,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,CAAC;gBAC/D,GAAG,CAAC,aAAa,EAAE,OAAO,CAAC,WAAW,KAAK,SAAS;oBAClD,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC,EAAE,WAAW,EAAE,aAAa,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;aACxD,CAAA;QACH,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;IAEO,KAAK,CACX,KAAuB,EACvB,iBAAqC,EACrC,OAAe,EACf,WAAW,GAAgC,OAAO;QAElD,IAAI,MAAkB,CAAA;QACtB,IAAI,KAAK,YAAY,CAAC,CAAC,OAAO,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,uBAAuB,CAAC,KAAK,EAAE,iBAAiB,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE;gBAC1F,QAAQ,EAAE,WAAW;gBACrB,QAAQ,EAAE,KAAK;gBACf,QAAQ,EAAE,CAAC,OAAO,EAAE,EAAE,CACpB,eAAe,CACb,OAAO,EACP,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,OAAO,EAAE,aAAa,CAAC,EAC3E,OAAO,CACR;aACJ,CAAC,CAAA;YACF,IAAI,CAAC,SAAS,CAAC,EAAE;gBAAE,MAAM,IAAI,YAAY,CAAC,SAAS,CAAC,WAAW,CAAC,CAAA;YAChE,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;QAC5C,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,eAAe,CAAC,KAAK,CAAe,CAAA;QAC/C,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAEO,kBAAkB,CACxB,MAA0C,EAC1C,OAAe;QAEf,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACvC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,EAAE,GAAG,OAAO,2BAA2B,KAAK,EAAE,CAAC,CACnF,CAAA;QACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,GAAG,GAAG,CAAC,MAAM,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,EAAE,CAAA;YAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,IAAI,CACF,wBAAwB,EACxB,GAAG,OAAO,yBAAyB,EACnC,wCAAwC,CACzC,CAAA;YACH,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACf,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;IACzC,CAAC;IAEO,WAAW,CAAC,MAAkB,EAAE,SAA6B,EAAE,OAAe;QACpF,MAAM,WAAW,GAAG,mBAAmB,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAClF,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,IAAI,YAAY,CAAC,WAAW,CAAC,CAAA;IACjE,CAAC;CACF;AAED,SAAS,eAAe,CAAC,MAAkB;IACzC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;QAAE,OAAO,MAAM,CAAA;IACzF,MAAM,MAAM,GAAG,EAAE,GAAG,MAAM,EAA+B,CAAA;IACzD,KAAK,MAAM,OAAO,IAAI,CAAC,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,YAAY,CAAC,EAAE,CAAC;QACvF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,SAAQ;QACjF,MAAM,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,WAAW,CAClC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,eAAe,CAAC,MAAoB,CAAC,CAAC,CAAC,CAC7F,CAAA;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,CAAC;QACjE,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YACtB,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,MAAoB,CAAC,CAAC,CAAA;IAClF,CAAC;IACD,KAAK,MAAM,OAAO,IAAI;QACpB,sBAAsB;QACtB,UAAU;QACV,eAAe;QACf,MAAM;QACN,IAAI;QACJ,OAAO;QACP,KAAK;QACL,eAAe;QACf,MAAM;QACN,kBAAkB;QAClB,uBAAuB;KACxB,EAAE,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QAC7B,IACE,OAAO,KAAK,KAAK,SAAS;YAC1B,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EACtE,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,GAAG,eAAe,CAAC,KAAmB,CAAC,CAAA;QACxD,CAAC;IACH,CAAC;IACD,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;QACrC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC;QACjC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAC9C,CAAC;QACD,MAAM,CAAC,oBAAoB,GAAG,KAAK,CAAA;IACrC,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,UAAU,CAAC,KAAyB;IAC3C,OAAO,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;AAC5C,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB;IAC/C,OAAO,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;AACxC,CAAC;AAED,SAAS,UAAU,CAAC,KAAuB;IACzC,IAAI,CAAC,CAAC,KAAK,YAAY,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,IAAI,CAAA;IAC9C,OAAO,CAAC,2BAA2B,CAAC,KAAK,CAAC,CAAA;AAC5C,CAAC"}

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

@@ -0,0 +1,4 @@
+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;
+//# sourceMappingURL=path.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"path.d.ts","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/path.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAA;AACvE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAA;AAI7D,wBAAgB,eAAe,CAC7B,OAAO,EAAE,6BAA6B,EACtC,cAAc,EAAE,CACd,MAAM,EAAE,SAAS,uBAAuB,EAAE,EAC1C,OAAO,EAAE,MAAM,KACZ,SAAS,OAAO,EAAE,EACvB,OAAO,EAAE,MAAM,GACd,IAAI,CAgBN"}

package/dist/v1/builder/lowering/value/path.js

@@ -0,0 +1,21 @@
+import { pathAccepts } from '../../value/path-metadata.js';
+export function lowerPathSchema(context, resolveAccepts, pointer) {
+    const inputs = pathAccepts(context.zodSchema);
+    if (inputs === undefined)
+        return;
+    const location = context.path.reduce((current, segment) => `${current}/${escapeToken(String(segment))}`, pointer);
+    for (const key of Object.keys(context.jsonSchema))
+        delete context.jsonSchema[key];
+    Object.assign(context.jsonSchema, {
+        $ref: 'https://schemas.astrale.ai/graph/1/node-path',
+        'x-astrale-path': {
+            target: 'node',
+            cardinality: 'one',
+            accepts: resolveAccepts(inputs, location),
+        },
+    });
+}
+function escapeToken(value) {
+    return value.replaceAll('~', '~0').replaceAll('/', '~1');
+}
+//# sourceMappingURL=path.js.map

package/dist/v1/builder/lowering/value/path.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"path.js","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/path.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,8BAA8B,CAAA;AAE1D,MAAM,UAAU,eAAe,CAC7B,OAAsC,EACtC,cAGuB,EACvB,OAAe;IAEf,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAM;IAChC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAClC,CAAC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,OAAO,IAAI,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,EAAE,EAClE,OAAO,CACR,CAAA;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IACjF,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE;QAChC,IAAI,EAAE,8CAA8C;QACpD,gBAAgB,EAAE;YAChB,MAAM,EAAE,MAAM;YACd,WAAW,EAAE,KAAK;YAClB,OAAO,EAAE,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC;SAC1C;KACF,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;AAC1D,CAAC"}

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

@@ -0,0 +1,33 @@
+import { z } 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 BuilderDiagnostic[];
+};
+export interface ZodValueSchemaConversionOptions {
+    /** Undefined is representable only as absence at a containing object-property boundary. */
+    readonly position?: 'value' | 'object-property';
+    /** Builder-only lowering hook keyed by the original Zod schema identity. */
+    readonly override?: (context: ZodValueSchemaOverrideContext) => void;
+    /** The builder validates the lowered schema once its final placement is known. */
+    readonly validate?: boolean;
+}
+export interface ZodValueSchemaOverrideContext {
+    readonly zodSchema: z.ZodType;
+    readonly jsonSchema: Record<string, unknown>;
+    readonly path: readonly (string | number)[];
+}
+/**
+ * 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;
+/** Whether explicit Zod optionality makes a containing object property absent-able. */
+export declare function zodObjectPropertyIsOptional(schema: z.ZodType): boolean;
+//# sourceMappingURL=zod.d.ts.map

package/dist/v1/builder/lowering/value/zod.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zod.d.ts","sourceRoot":"","sources":["../../../../../v1/builder/lowering/value/zod.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,KAAK,EAAE,UAAU,EAAE,kBAAkB,EAAE,MAAM,yCAAyC,CAAA;AAC7F,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,+CAA+C,CAAA;AACxF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAA;AASnE,MAAM,MAAM,wBAAwB,GAChC;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,EAAE,CAAA;CAAE,GACrF;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,iBAAiB,EAAE,CAAA;CAAE,CAAA;AAE9E,MAAM,WAAW,+BAA+B;IAC9C,2FAA2F;IAC3F,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,GAAG,iBAAiB,CAAA;IAC/C,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,OAAO,EAAE,6BAA6B,KAAK,IAAI,CAAA;IACpE,kFAAkF;IAClF,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAA;CAC5B;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAC5C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;CAC5C;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,CAAC,CAAC,OAAO,EACpB,OAAO,EAAE,kBAAkB,EAC3B,QAAQ,EAAE,mBAAmB,EAC7B,OAAO,SAAK,EACZ,OAAO,GAAE,+BAAoC,GAC5C,wBAAwB,CAsD1B;AAwBD,uFAAuF;AACvF,wBAAgB,2BAA2B,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,GAAG,OAAO,CAEtE"}