@astrale-os/kernel-dsl 0.1.5 → 0.2.0-beta.2

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

@@ -0,0 +1,255 @@
+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';
+export class BuilderContext {
+    origin;
+    ownership = new OwnershipCapture();
+    localDefinitions = new Map();
+    localDefinitionFamilies = 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 = schemaRefIndex(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.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);
+    }
+    resolveDefinition(input, allowed, families, pointer) {
+        const value = resolveLazy(input, pointer);
+        const ref = isDefinitionRef(value)
+            ? value
+            : 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'}.`);
+        }
+        this.assertVisible(ref, pointer);
+        return { ...ref };
+    }
+    resolveNodeDefinition(input, pointer) {
+        return this.resolveDefinition(input, ['interface', 'class'], ['node'], pointer);
+    }
+    resolveNodeClass(input, pointer) {
+        return this.resolveDefinition(input, ['class'], ['node'], pointer);
+    }
+    resolveEdgeClass(input, pointer) {
+        return this.resolveDefinition(input, ['class'], ['edge'], pointer);
+    }
+    resolveInterface(input, families, pointer) {
+        return this.resolveDefinition(input, ['interface'], families, 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(schemaRefIndex(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 (isDomainRef(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) => left.origin.localeCompare(right.origin));
+    }
+    valueRegistry(currentTypes) {
+        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,
+            types: schema.types,
+            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),
+            },
+            directDependencies: [...this.#dependencies.values()].map(({ schema, dependency }) => ({
+                ...registryDomain(schema, dependency.revision),
+            })),
+            transitiveDependencies: [...closure.values()].map((schema) => registryDomain(schema, revisionOfDomainSchema(schema))),
+            graphNodePath: graphNodePathSchema,
+        };
+    }
+    noteDomainReferences(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))) {
+                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);
+    }
+    definitionFamily(ref) {
+        if (ref.origin === this.origin)
+            return this.localDefinitionFamilies.get(schemaRefIndex(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;
+    }
+    capturePolicyObject(value, ref) {
+        this.policyObjects.set(value, ref);
+        this.policyObjectRefs.add(schemaRefIndex(ref));
+    }
+}
+function isDomainRef(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 === 'interface' || 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 === 'interface' ||
+            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.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')
+            refs.push({ origin: schema.origin, kind: 'class', name });
+    }
+    return refs.sort(compareSchemaRefs);
+}
+function familyOfAuthoring(value) {
+    if (value.definitionKind === 'interface')
+        return value.config.family;
+    return value.definitionKind === 'node-class' ? 'node' : 'edge';
+}
+//# sourceMappingURL=schema.context.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.context.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/schema.context.ts"],"names":[],"mappings":"AAcA,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAA;AACxE,OAAO,EACL,cAAc,EACd,iBAAiB,GAalB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AACzE,OAAO,EAAE,yBAAyB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mDAAmD,CAAA;AACvF,OAAO,EAAE,WAAW,EAAa,MAAM,+BAA+B,CAAA;AACtE,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAChD,OAAO,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAA;AAExD,MAAM,OAAO,cAAc;IAed,MAAM;IAdR,SAAS,GAAG,IAAI,gBAAgB,EAAE,CAAA;IAClC,gBAAgB,GAAG,IAAI,GAAG,EAAyB,CAAA;IACnD,uBAAuB,GAAG,IAAI,GAAG,EAAkB,CAAA;IACnD,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,KAA0B,EAAE,GAAkB,EAAE,OAAe;QAC/E,MAAM,GAAG,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;QAC/B,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,uBAAuB,CAAC,GAAG,CAAC,GAAG,EAAE,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAA;QAC/D,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,iBAAiB,CACf,KAA+B,EAC/B,OAAkC,EAClC,QAA2B,EAC3B,OAAe;QAEf,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,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;gBAC3C,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC;gBAClC,CAAC,CAAC,SAAS,CAAA;QACf,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CACF,2BAA2B,EAC3B,OAAO,EACP,oDAAoD,CACrD,CAAA;QACH,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,IAAI,CACF,wBAAwB,EACxB,OAAO,EACP,YAAY,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,CAAC,IAAI,GAAG,CAC1D,CAAA;QACH,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAA;QACzC,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACvD,IAAI,CACF,wBAAwB,EACxB,OAAO,EACP,YAAY,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,MAAM,IAAI,sBAAsB,GAAG,CAC1F,CAAA;QACH,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;QAChC,OAAO,EAAE,GAAG,GAAG,EAAE,CAAA;IACnB,CAAC;IAED,qBAAqB,CAAC,KAAmC,EAAE,OAAe;QACxE,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAA;IACjF,CAAC;IAED,gBAAgB,CAAC,KAA+B,EAAE,OAAe;QAC/D,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,CAAa,CAAA;IAChF,CAAC;IAED,gBAAgB,CAAC,KAA+B,EAAE,OAAe;QAC/D,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,CAAa,CAAA;IAChF,CAAC;IAED,gBAAgB,CACd,KAA+B,EAC/B,QAA2B,EAC3B,OAAe;QAEf,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,CAAC,WAAW,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAiB,CAAA;IACxF,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,cAAc,CAAC,GAAG,CAAC,CAAC,EAC/C,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,WAAW,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QACjD,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,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;IACnE,CAAC;IAED,aAAa,CAAC,YAAkD;QAC9D,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,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,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,KAAK,EAAE,YAAY;gBACnB,eAAe,EAAE,CAAC,GAAG,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,CAAC;qBACjD,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC;qBACjF,IAAI,CAAC,iBAAiB,CAAC;aAC3B;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,oBAAoB,CAAC,MAAsB;QACzC,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,cAAc,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBACpD,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,gBAAgB,CAAC,GAAkB;QACzC,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;QAC5F,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,GAAG,CAAC,IAAI,KAAK,OAAO;YACzB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM;YAClC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACzC,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,cAAc,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,CAAC;CACF;AAED,SAAS,WAAW,CAAC,KAAc;IACjC,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,CAAC,SAAS,CAAC,IAAI,KAAK,WAAW,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,CAAC,CAC/D,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,WAAW;YAC7B,SAAS,CAAC,IAAI,KAAK,OAAO;YAC1B,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,GAAoB,EAAE,CAAA;IAChC,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACpE,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAA;IAClG,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACjE,IAAI,WAAW,CAAC,MAAM,KAAK,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;AACrC,CAAC;AAED,SAAS,iBAAiB,CAAC,KAA0B;IACnD,IAAI,KAAK,CAAC,cAAc,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAA;IACpE,OAAO,KAAK,CAAC,cAAc,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAA;AAChE,CAAC"}

package/dist/v1/builder/compiler/schema.d.ts

@@ -0,0 +1,10 @@
+import type { DomainSchema } from '../../schema/domain.ir.js';
+import type { DomainSchemaInput } from '../schema.input.js';
+/**
+ * Compile the V1 TypeScript builder graph through the same semantic acceptance
+ * path used for untrusted decoded schemas.
+ *
+ * This is the private implementation behind defineSchema.
+ */
+export declare function compileSchema<const Origin extends string, const Input extends DomainSchemaInput>(origin: Origin, input: Input): DomainSchema<Origin, Input>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/v1/builder/compiler/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/schema.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAkB,MAAM,2BAA2B,CAAA;AAC7E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAA;AAmB3D;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,KAAK,CAAC,KAAK,SAAS,iBAAiB,EAC9F,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,GACX,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAQ7B"}

package/dist/v1/builder/compiler/schema.js

@@ -0,0 +1,90 @@
+import { canonicalizeDomainSchema } from '../../schema/canonical/domain.js';
+import { deepFreeze } from '../../schema/canonical/freeze.js';
+import { acceptDomainSchema } from '../../schema/domain.accept.js';
+import { MemoryDomainSchemaLookup } from '../../schema/domain.lookup.js';
+import { lookupEntriesForDependencies } from '../../schema/resolution/closure.js';
+import { parseDomainSchemaStructure } from '../../schema/validation/domain.structure.js';
+import { assertKnownKeys, escapeToken } from '../internal/diagnostic.js';
+import { V1CallableCompiler } from './callable.js';
+import { compileCore } from './core.js';
+import { canonicalizeCorePropertyKeys } from './core.properties.js';
+import { V1DefinitionCompiler } from './definition.js';
+import { assertPolicyCompositionAcyclic, V1PolicyCompiler } from './policy.js';
+import { captureSchema, commitSchemaOwnership } from './schema.capture.js';
+import { BuilderContext } from './schema.context.js';
+import { BuilderValueSchemas } from './value.js';
+import { V1ViewCompiler } from './view.js';
+/**
+ * Compile the V1 TypeScript builder graph through the same semantic acceptance
+ * path used for untrusted decoded schemas.
+ *
+ * This is the private implementation behind defineSchema.
+ */
+export function compileSchema(origin, input) {
+    const lookup = new MemoryDomainSchemaLookup(lookupEntriesForDependencies(input.dependencies ?? []));
+    const candidate = assembleDomainSchema(origin, input, lookup);
+    const accepted = acceptDomainSchema(candidate, lookup);
+    commitSchemaOwnership(input, origin);
+    return accepted;
+}
+/** Structural assembly before whole-Domain semantic acceptance. */
+function assembleDomainSchema(origin, input, lookup) {
+    assertKnownKeys(input, [
+        'dependencies',
+        'types',
+        'interfaces',
+        'classes',
+        'functions',
+        'policies',
+        'views',
+        'core',
+    ]);
+    if (input.core !== undefined)
+        assertKnownKeys(input.core, ['nodes', 'edges'], '/core');
+    const context = new BuilderContext(origin, input.dependencies ?? []);
+    captureSchema(input, context);
+    const values = new BuilderValueSchemas(input.types ?? {}, context);
+    const policyCompiler = new V1PolicyCompiler(context);
+    const callableCompiler = new V1CallableCompiler(context, values);
+    const definitionCompiler = new V1DefinitionCompiler(context, values, callableCompiler, policyCompiler);
+    const viewCompiler = new V1ViewCompiler(context);
+    const interfaces = mapRecord(input.interfaces ?? {}, (value, name) => definitionCompiler.compileInterface(value, `/interfaces/${escapeToken(name)}`));
+    const classes = mapRecord(input.classes ?? {}, (value, name) => definitionCompiler.compileClass(value, `/classes/${escapeToken(name)}`));
+    const functions = mapRecord(input.functions ?? {}, (value, name) => callableCompiler.compile(value, {
+        kind: 'function',
+        pointer: `/functions/${escapeToken(name)}`,
+    }));
+    const policies = mapRecord(input.policies ?? {}, (value, name) => policyCompiler.compile(value, `/policies/${escapeToken(name)}`));
+    assertPolicyCompositionAcyclic(policies, origin);
+    const views = mapRecord(input.views ?? {}, (value, name) => viewCompiler.compile(value, `/views/${escapeToken(name)}`));
+    const core = compileCore(input.core, context);
+    const semanticContent = {
+        format: 'astrale.dsl',
+        version: 'v1',
+        origin,
+        dependencies: [],
+        types: values.types,
+        interfaces,
+        classes,
+        functions,
+        policies,
+        views,
+        core,
+    };
+    context.noteDomainReferences(semanticContent);
+    const candidate = {
+        ...semanticContent,
+        dependencies: context.dependencies(),
+    };
+    const lowered = {
+        ...candidate,
+        core: canonicalizeCorePropertyKeys(candidate, lookup),
+    };
+    const structured = parseDomainSchemaStructure(lowered);
+    const canonical = parseDomainSchemaStructure(canonicalizeDomainSchema(structured));
+    return deepFreeze(canonical);
+}
+function mapRecord(record, map) {
+    return Object.fromEntries(Object.entries(record).map(([name, value]) => [name, map(value, name)]));
+}
+//# sourceMappingURL=schema.js.map

package/dist/v1/builder/compiler/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/schema.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAA;AAC3E,OAAO,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAA;AAC7D,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,+BAA+B,CAAA;AACxE,OAAO,EAAE,4BAA4B,EAAE,MAAM,oCAAoC,CAAA;AACjF,OAAO,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAA;AACxF,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAA;AACxE,OAAO,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAA;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AACvC,OAAO,EAAE,4BAA4B,EAAE,MAAM,sBAAsB,CAAA;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAA;AACtD,OAAO,EAAE,8BAA8B,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAC9E,OAAO,EAAE,aAAa,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC1E,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAA;AAE1C;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,KAAY;IAEZ,MAAM,MAAM,GAAG,IAAI,wBAAwB,CACzC,4BAA4B,CAAC,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CACvD,CAAA;IACD,MAAM,SAAS,GAAG,oBAAoB,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;IAC7D,MAAM,QAAQ,GAAG,kBAAkB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAA;IACtD,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IACpC,OAAO,QAAuC,CAAA;AAChD,CAAC;AAED,mEAAmE;AACnE,SAAS,oBAAoB,CAC3B,MAAc,EACd,KAAwB,EACxB,MAAgC;IAEhC,eAAe,CAAC,KAAK,EAAE;QACrB,cAAc;QACd,OAAO;QACP,YAAY;QACZ,SAAS;QACT,WAAW;QACX,UAAU;QACV,OAAO;QACP,MAAM;KACP,CAAC,CAAA;IACF,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,eAAe,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAA;IAEtF,MAAM,OAAO,GAAG,IAAI,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE,CAAC,CAAA;IACpE,aAAa,CAAC,KAAK,EAAE,OAAO,CAAC,CAAA;IAE7B,MAAM,MAAM,GAAG,IAAI,mBAAmB,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,OAAO,CAAC,CAAA;IAClE,MAAM,cAAc,GAAG,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAA;IACpD,MAAM,gBAAgB,GAAG,IAAI,kBAAkB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IAChE,MAAM,kBAAkB,GAAG,IAAI,oBAAoB,CACjD,OAAO,EACP,MAAM,EACN,gBAAgB,EAChB,cAAc,CACf,CAAA;IACD,MAAM,YAAY,GAAG,IAAI,cAAc,CAAC,OAAO,CAAC,CAAA;IAEhD,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACnE,kBAAkB,CAAC,gBAAgB,CAAC,KAAK,EAAE,eAAe,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAC/E,CAAA;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAC7D,kBAAkB,CAAC,YAAY,CAAC,KAAK,EAAE,YAAY,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CACxE,CAAA;IACD,MAAM,SAAS,GAAG,SAAS,CACzB,KAAK,CAAC,SAAS,IAAI,EAAE,EACrB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACd,gBAAgB,CAAC,OAAO,CAAC,KAAK,EAAE;QAC9B,IAAI,EAAE,UAAU;QAChB,OAAO,EAAE,cAAc,WAAW,CAAC,IAAI,CAAC,EAAE;KAC3C,CAAwB,CAC5B,CAAA;IACD,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CAC/D,cAAc,CAAC,OAAO,CAAC,KAAK,EAAE,aAAa,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAChE,CAAA;IACD,8BAA8B,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAChD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,CACzD,YAAY,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAC3D,CAAA;IACD,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAE7C,MAAM,eAAe,GAAmB;QACtC,MAAM,EAAE,aAAsB;QAC9B,OAAO,EAAE,IAAa;QACtB,MAAM;QACN,YAAY,EAAE,EAAE;QAChB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU;QACV,OAAO;QACP,SAAS;QACT,QAAQ;QACR,KAAK;QACL,IAAI;KACL,CAAA;IACD,OAAO,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAA;IAC7C,MAAM,SAAS,GAAmB;QAChC,GAAG,eAAe;QAClB,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE;KACrC,CAAA;IAED,MAAM,OAAO,GAAmB;QAC9B,GAAG,SAAS;QACZ,IAAI,EAAE,4BAA4B,CAAC,SAAS,EAAE,MAAM,CAAC;KACtD,CAAA;IAED,MAAM,UAAU,GAAG,0BAA0B,CAAC,OAAO,CAAC,CAAA;IACtD,MAAM,SAAS,GAAG,0BAA0B,CAAC,wBAAwB,CAAC,UAAU,CAAC,CAAC,CAAA;IAClF,OAAO,UAAU,CAAC,SAAS,CAAmB,CAAA;AAChD,CAAC;AAED,SAAS,SAAS,CAChB,MAAmC,EACnC,GAAkC;IAElC,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAA;AACpG,CAAC"}

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

@@ -0,0 +1,9 @@
+import type { DefinitionRef } from '../../schema/reference.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=schema.ownership.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.ownership.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/schema.ownership.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAA;AAO9D,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/compiler/schema.ownership.js

@@ -0,0 +1,30 @@
+import { fail } from '../internal/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=schema.ownership.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schema.ownership.js","sourceRoot":"","sources":["../../../../v1/builder/compiler/schema.ownership.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,IAAI,EAAE,MAAM,2BAA2B,CAAA;AAEhD,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/compiler/value.d.ts

@@ -0,0 +1,26 @@
+import type { ValueSchemaRegistry } from '../../schema/value/registry.js';
+import type { JsonSchema, PropertyObjectSchema, ValueSchemaContext } from '../../schema/value/schema.js';
+import type { PropertyRecordInput, ValueSchemaInput } from '../property.js';
+import type { BuilderContext } from './schema.context.js';
+export declare class BuilderValueSchemas {
+    readonly context: BuilderContext;
+    readonly types: Record<string, JsonSchema>;
+    readonly registry: ValueSchemaRegistry;
+    constructor(inputs: Readonly<Record<string, ValueSchemaInput>>, context: BuilderContext);
+    schema(input: ValueSchemaInput, placement: ValueSchemaContext, pointer: string): JsonSchema;
+    properties(input: PropertyRecordInput | undefined, pointer: string): {
+        readonly properties: PropertyObjectSchema;
+        readonly propertyMetadata: Readonly<Record<string, {
+            readonly visibility: 'public' | 'private';
+            readonly auto?: {
+                readonly on: readonly ('create' | 'update')[];
+                readonly set: 'instant';
+            };
+        }>>;
+    };
+    private facet;
+    private lower;
+    private resolvePathAccepts;
+    private assertValid;
+}
+//# sourceMappingURL=value.d.ts.map

package/dist/v1/builder/compiler/value.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../../../v1/builder/compiler/value.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gCAAgC,CAAA;AACzE,OAAO,KAAK,EACV,UAAU,EACV,oBAAoB,EACpB,kBAAkB,EACnB,MAAM,8BAA8B,CAAA;AAErC,OAAO,KAAK,EAIV,mBAAmB,EACnB,gBAAgB,EACjB,MAAM,gBAAgB,CAAA;AACvB,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAWzD,qBAAa,mBAAmB;IAM5B,QAAQ,CAAC,OAAO,EAAE,cAAc;IALlC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IAC1C,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAA;IAEtC,YACE,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,EACzC,OAAO,EAAE,cAAc,EAYjC;IAED,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,GAAG,UAAU,CAI1F;IAED,UAAU,CACR,KAAK,EAAE,mBAAmB,GAAG,SAAS,EACtC,OAAO,EAAE,MAAM,GACd;QACD,QAAQ,CAAC,UAAU,EAAE,oBAAoB,CAAA;QACzC,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CACjC,MAAM,CACJ,MAAM,EACN;YACE,QAAQ,CAAC,UAAU,EAAE,QAAQ,GAAG,SAAS,CAAA;YACzC,QAAQ,CAAC,IAAI,CAAC,EAAE;gBAAE,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,QAAQ,GAAG,QAAQ,CAAC,EAAE,CAAC;gBAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAA;aAAE,CAAA;SAC3F,CACF,CACF,CAAA;KACF,CAwBA;IAED,OAAO,CAAC,KAAK;IA+Bb,OAAO,CAAC,KAAK;IA0Bb,OAAO,CAAC,kBAAkB;IAsB1B,OAAO,CAAC,WAAW;CAIpB"}

package/dist/v1/builder/compiler/value.js

@@ -0,0 +1,160 @@
+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';
+export class BuilderValueSchemas {
+    context;
+    types;
+    registry;
+    constructor(inputs, 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;
+    }
+    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 = this.facet(fields, 'property-facet', pointer);
+        const metadata = {};
+        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 }),
+                };
+            }
+        }
+        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);
+    }
+    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 DomainSchemaError(converted.diagnostics);
+            schema = closeZodObjects(converted.schema);
+        }
+        else {
+            schema = acceptJsonValue(input);
+        }
+        return schema;
+    }
+    resolvePathAccepts(inputs, pointer) {
+        const refs = inputs.map((input, index) => this.context.resolveNodeDefinition(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(compareSchemaRefs);
+    }
+    assertValid(schema, placement, pointer) {
+        const diagnostics = validateValueSchema(schema, placement, this.registry, pointer);
+        if (diagnostics.length > 0)
+            throw new DomainSchemaError(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=value.js.map