@astrale-os/kernel-core 0.9.0-beta.6 → 0.9.0-beta.60

package/dist/schema/kernel/projection/project.js

@@ -1,5 +1,5 @@
-import { Key } from '@astrale-os/kernel-dsl/v1';
-import { ClassPath as ClassPathValue } from '#graph/class';
+import { Key, } from '@astrale-os/kernel-dsl/v1';
+import { ClassKey as ClassKeyValue } from '@astrale-os/kernel-dsl/v1/addressing';
 import { LocalBinding as LocalBindingValue } from '#graph/graph';
 import { NodePath as NodePathValue, Path as PathValue } from '#graph/path';
 import { normalizeProperties } from '#graph/properties';
@@ -8,9 +8,32 @@ import { projectedMethodPath } from './callables.js';
 import { ProjectionError } from './diagnostics.js';
 import { coreKeys, managedKeys } from './keys.js';
 const EMPTY_PROPERTIES = normalizeProperties({});
+const NO_PAYLOAD = Object.freeze({});
 /** Project a Domain into an installation-independent symbolic graph. */
 export function project(domain) {
-    const domainSchema = domain.$.schema;
+    const projected = walk(domain, (properties) => ({ props: properties() }));
+    return Object.freeze({
+        origin: projected.origin,
+        revision: projected.revision,
+        managed: Object.freeze({
+            graph: Object.freeze({ nodes: projected.managed.nodes, edges: projected.managed.edges }),
+            paths: projected.managed.paths,
+        }),
+        core: Object.freeze({
+            graph: Object.freeze({ nodes: projected.core.nodes, edges: projected.core.edges }),
+            paths: projected.core.paths,
+            locators: projected.core.locators,
+        }),
+    });
+}
+/** Project only symbolic ownership, retaining every declaration and structural check. */
+export function projectTopology(domain) {
+    return walk(domain, () => NO_PAYLOAD);
+}
+function walk(domain, payload) {
+    // Consume payloads in argument position, before addNode's duplicate/binding checks and
+    // addEdge's Class conversion, preserving the full projection's original error order.
+    const domainSchema = domain.source;
     const managedLocations = projectionLocations(managedKeys(domain));
     const coreLocations = projectionLocations(coreKeys(domain));
     const managedNodes = new Map();
@@ -18,120 +41,128 @@ export function project(domain) {
     const coreNodes = new Map();
     const coreEdges = [];
     const locators = [];
-    const domainPath = PathValue.domain(domain.$.origin).raw;
+    const domainPath = PathValue.domain(domain.origin).raw;
     const domainEndpoint = endpoint(domainPath, managedLocations);
     const persistedDomainEndpoint = Object.freeze({ path: NodePathValue(domainPath) });
-    addNode(managedNodes, domainPath, ClassPathValue.from(K.Domain), domainPropertiesFor(domain), managedLocations);
-    for (const definition of domain.$.definitions.values()) {
-        if (definition.origin !== domain.$.origin || definition.path === undefined)
+    addNode(managedNodes, domainPath, ClassKeyValue.of(K.classes.Domain.ref), payload(() => domainPropertiesFor(domain)), managedLocations);
+    for (const definition of domain.definitions()) {
+        if (definition.ref.origin !== domain.origin)
             continue;
         const projectedClass = projectionClassFor(definition);
         if (projectedClass === undefined)
             continue;
-        const definitionEndpoint = addNode(managedNodes, definition.path.raw, projectedClass, definitionPropertiesFor(definition), managedLocations);
-        addEdge(managedEdges, definitionEndpoint, domainEndpoint, K.of_domain, normalizeProperties({
-            [K.of_domain.$.property('member').key]: memberKey(definition),
-        }));
+        const definitionPath = PathValue.project(definition.ref).raw;
+        const definitionEndpoint = addNode(managedNodes, definitionPath, projectedClass, payload(() => definitionPropertiesFor(definition)), managedLocations);
+        addEdge(managedEdges, definitionEndpoint, domainEndpoint, K.classes.of_domain.ref, payload(() => normalizeProperties({
+            [K.classes.of_domain.self.properties.member.key]: memberKey(definition),
+        })));
     }
-    for (const definition of domain.$.definitions.values()) {
-        if (definition.origin !== domain.$.origin || definition.path === undefined)
+    for (const definition of domain.definitions()) {
+        if (definition.ref.origin !== domain.origin)
             continue;
         const projectedClass = projectionClassFor(definition);
         if (projectedClass === undefined)
             continue;
-        projectDefinitionRelations(domain, definition, endpoint(definition.path.raw, managedLocations), managedLocations, managedEdges);
+        projectDefinitionRelations(domain, definition, endpoint(PathValue.project(definition.ref).raw, managedLocations), managedLocations, managedEdges, payload);
     }
     const methods = new Map();
-    for (const definition of domain.$.definitions.values()) {
-        if (definition.origin !== domain.$.origin)
-            continue;
-        for (const method of definition.methods.values()) {
-            if (method.owner.origin === domain.$.origin && method.definition.inheritance !== 'abstract') {
+    for (const definition of Object.values(domain.classes)) {
+        for (const method of [...definition.methods, ...definition.static.methods]) {
+            if (method.owner.ref.origin === domain.origin && method.executable) {
                 methods.set(method.key, method);
             }
         }
     }
     for (const method of methods.values()) {
         const methodPath = projectedMethodPath(domain, method);
-        const methodEndpoint = addNode(managedNodes, methodPath, ClassPathValue.from(K.$.class('Function')), callablePropertiesFor(method.definition), managedLocations);
-        const ownerPath = domain.$.inspect(method.owner).path;
-        if (ownerPath === undefined) {
-            throw new ProjectionError('PROJECTION_INVALID', `Method owner ${method.owner.name} has no projected Path.`);
-        }
-        addEdge(managedEdges, methodEndpoint, endpoint(ownerPath.raw, managedLocations), K.method_of, normalizeProperties({
-            [K.method_of.$.property('name').key]: method.name,
-            [K.method_of.$.property('static').key]: method.definition.static,
-        }));
+        const methodEndpoint = addNode(managedNodes, methodPath, ClassKeyValue.of(K.classes.Function.ref), payload(() => callablePropertiesFor(method.definition)), managedLocations);
+        const ownerPath = PathValue.project(method.owner.ref);
+        addEdge(managedEdges, methodEndpoint, endpoint(ownerPath.raw, managedLocations), K.classes.method_of.ref, payload(() => normalizeProperties({
+            [K.classes.method_of.self.properties.name.key]: method.name,
+            [K.classes.method_of.self.properties.static.key]: method.definition.static,
+        })));
+        // This structural check must also execute when no Property payload is requested.
+        const member = callableMemberKey(domain, method);
+        addEdge(managedEdges, methodEndpoint, domainEndpoint, K.classes.of_domain.ref, payload(() => normalizeProperties({
+            [K.classes.of_domain.self.properties.member.key]: member,
+        })));
     }
     for (const [slug, declaration] of Object.entries(domainSchema.core.nodes)) {
-        const path = PathValue.project({ origin: domain.$.origin, kind: 'core', name: slug }).raw;
-        const created = addNode(coreNodes, path, ClassPathValue.from(declaration.class), domain.$.properties({ ...declaration.class }, declaration.properties), coreLocations);
-        addEdge(locators, created, persistedDomainEndpoint, K.of_domain, normalizeProperties({ [K.of_domain.$.property('member').key]: `core.${slug}` }));
+        assertIdentityAuthenticationUnowned(domain, declaration.class, declaration.properties, slug);
+        const path = PathValue.project({ origin: domain.origin, kind: 'core', name: slug }).raw;
+        const created = addNode(coreNodes, path, ClassKeyValue.of(declaration.class), payload(() => declaration.properties), coreLocations);
+        addEdge(locators, created, persistedDomainEndpoint, K.classes.of_domain.ref, payload(() => normalizeProperties({
+            [K.classes.of_domain.self.properties.member.key]: `core.${slug}`,
+        })));
     }
-    for (const declaration of domainSchema.core.edges) {
-        addEdge(coreEdges, coreEndpoint(declaration.source, domain, persistedDomainEndpoint, coreLocations), coreEndpoint(declaration.target, domain, persistedDomainEndpoint, coreLocations), declaration.class, domain.$.properties({ ...declaration.class }, declaration.properties));
+    // Resolved edges carry each endpoint's own identity; the source IR only names it.
+    for (const edge of domain.core.edges) {
+        addEdge(coreEdges, coreEndpoint(edge.source, domain, persistedDomainEndpoint, coreLocations), coreEndpoint(edge.target, domain, persistedDomainEndpoint, coreLocations), edge.class.ref, payload(() => edge.properties));
     }
     return Object.freeze({
-        origin: domain.$.origin,
-        revision: domain.$.revision,
+        origin: domain.origin,
+        revision: domain.revision,
         managed: Object.freeze({
-            graph: Object.freeze({
-                nodes: Object.freeze([...managedNodes.values()]),
-                edges: Object.freeze(managedEdges),
-            }),
+            nodes: Object.freeze([...managedNodes.values()]),
+            edges: Object.freeze(managedEdges),
             paths: invert(managedLocations),
         }),
         core: Object.freeze({
-            graph: Object.freeze({
-                nodes: Object.freeze([...coreNodes.values()]),
-                edges: Object.freeze(coreEdges),
-            }),
+            nodes: Object.freeze([...coreNodes.values()]),
+            edges: Object.freeze(coreEdges),
             paths: invert(coreLocations),
             locators: Object.freeze(locators),
         }),
     });
 }
+function assertIdentityAuthenticationUnowned(domain, classRef, properties, slug) {
+    const definition = domain.definition(classRef);
+    if (definition?.ref.kind !== 'class' ||
+        definition.kind !== 'node' ||
+        !definition.satisfies(K.classes.Identity)) {
+        return;
+    }
+    const hasIssuer = Object.hasOwn(properties, K.classes.Identity.properties.iss.key);
+    const hasSubject = Object.hasOwn(properties, K.classes.Identity.properties.sub.key);
+    if (hasIssuer || hasSubject) {
+        throw new ProjectionError('PROJECTION_INVALID', `Core Identity ${domain.origin}:core.${slug} cannot declare protected Authentication properties iss or sub.`);
+    }
+}
 function projectionLocations(paths) {
     return new Map(paths.map((path, index) => [NodePathValue(path), LocalBindingValue(`n${index}`)]));
 }
 function invert(locations) {
     return new Map([...locations].map(([path, binding]) => [binding, path]));
 }
+/**
+ * A Core Node binds inside the Core part; every other local Definition is already projected as a
+ * managed declaration, so it is addressed by its canonical Path exactly like the owning Domain.
+ */
 function coreEndpoint(value, domain, domainEndpoint, locations) {
-    if (value.kind === 'domain')
-        return domainEndpoint;
-    return endpoint(PathValue.project({ origin: domain.$.origin, kind: 'core', name: value.name }).raw, locations);
+    if ('ref' in value)
+        return endpoint(PathValue.project(value.ref).raw, locations);
+    if ('owner' in value)
+        return endpoint(projectedMethodPath(domain, value), locations);
+    return domainEndpoint;
 }
-function projectDefinitionRelations(domain, definition, definitionEndpoint, locations, edges) {
-    if (definition.kind === 'class') {
-        for (const parent of definition.definition.implements) {
-            const path = domain.$.inspect({ ...parent }).path;
-            if (path === undefined)
-                continue;
-            addEdge(edges, definitionEndpoint, endpoint(path.raw, locations), K.implements, EMPTY_PROPERTIES);
-        }
-    }
-    else if (definition.kind === 'interface') {
+function projectDefinitionRelations(domain, definition, definitionEndpoint, locations, edges, payload) {
+    if (isResolvedClass(definition)) {
         for (const parent of definition.definition.extends) {
-            const path = domain.$.inspect({ ...parent }).path;
-            if (path === undefined)
-                continue;
-            addEdge(edges, definitionEndpoint, endpoint(path.raw, locations), K.extends, EMPTY_PROPERTIES);
+            const path = PathValue.project(parent);
+            addEdge(edges, definitionEndpoint, endpoint(path.raw, locations), K.classes.extends.ref, payload(() => EMPTY_PROPERTIES));
         }
     }
-    if (definition.kind === 'class') {
+    if (isResolvedClass(definition)) {
         const declaration = definition.definition;
-        const assignments = declaration.family === 'node'
-            ? [
-                ['read', declaration.policies.read],
-                ['traverse', declaration.policies.traverse],
-            ]
-            : [['traverse', declaration.policies.traverse]];
+        const assignments = [
+            ['read', declaration.policies.read],
+            ['traverse', declaration.policies.traverse],
+        ];
         const policies = new Map();
         for (const [operation, policy] of assignments) {
             if (policy === undefined)
                 continue;
-            const key = Key.fromSchema(policy);
+            const key = Key.of(policy);
             const existing = policies.get(key);
             if (existing === undefined) {
                 policies.set(key, { policy, operations: new Set([operation]) });
@@ -141,34 +172,41 @@ function projectDefinitionRelations(domain, definition, definitionEndpoint, loca
             }
         }
         for (const { policy, operations } of policies.values()) {
-            addEdge(edges, definitionEndpoint, endpoint(PathValue.project(policy).raw, locations), K.governed_by, normalizeProperties({
-                [K.governed_by.$.property('operations').key]: Object.freeze(['read', 'traverse'].filter((operation) => operations.has(operation))),
-            }));
+            addEdge(edges, definitionEndpoint, endpoint(PathValue.project(policy).raw, locations), K.classes.governed_by.ref, payload(() => normalizeProperties({
+                [K.classes.governed_by.self.properties.operations.key]: Object.freeze(['read', 'traverse'].filter((operation) => operations.has(operation))),
+            })));
         }
     }
-    if (definition.kind === 'view') {
+    if (isResolvedView(definition)) {
         const target = definition.definition.target;
         const paths = target.kind === 'domain'
-            ? [PathValue.domain(domain.$.origin)]
-            : target.definitions.map((reference) => PathValue.project(reference));
+            ? [PathValue.domain(domain.origin)]
+            : target.definitions.map((reference) => {
+                if (reference.kind !== 'class') {
+                    throw new ProjectionError('PROJECTION_INVALID', `View target ${reference.origin}:${reference.kind}.${reference.name} is not a Class.`);
+                }
+                return PathValue.project({
+                    origin: reference.origin,
+                    kind: 'class',
+                    name: reference.name,
+                });
+            });
         for (const path of paths) {
-            addEdge(edges, definitionEndpoint, endpoint(path.raw, locations), K.view_for, EMPTY_PROPERTIES);
+            addEdge(edges, definitionEndpoint, endpoint(path.raw, locations), K.classes.view_for.ref, payload(() => EMPTY_PROPERTIES));
         }
     }
 }
 function projectionClassFor(definition) {
-    if (definition.kind === 'class')
-        return ClassPathValue.from(K.Class);
-    if (definition.kind === 'interface')
-        return ClassPathValue.from(K.Interface);
-    switch (definition.kind) {
+    if (definition.ref.kind === 'class')
+        return ClassKeyValue.of(K.classes.Class.ref);
+    switch (definition.ref.kind) {
         case 'function':
-            return ClassPathValue.from(K.$.class('Function'));
+            return ClassKeyValue.of(K.classes.Function.ref);
         case 'policy':
-            return ClassPathValue.from(K.Policy);
+            return ClassKeyValue.of(K.classes.Policy.ref);
         case 'view':
-            return ClassPathValue.from(K.View);
-        case 'type':
+            return ClassKeyValue.of(K.classes.View.ref);
+        case 'core':
             return undefined;
         default:
             return undefined;
@@ -177,48 +215,52 @@ function projectionClassFor(definition) {
 function definitionPropertiesFor(definition) {
     const description = declarationDescription(definition);
     const metadata = descriptionProperties(description);
-    if (definition.kind === 'class') {
+    if (isResolvedClass(definition)) {
         const declaration = definition.definition;
-        const icon = definition.family === 'node' ? declaration.icon : undefined;
-        return normalizeProperties({
-            ...metadata,
-            [K.Class.$.property('family').key]: definition.family,
-            ...(icon !== undefined ? { [K.$.interface('Iconable').$.property('icon').key]: icon } : {}),
-        });
-    }
-    if (definition.kind === 'interface') {
+        const icon = declaration.kind === 'node' ? declaration.icon : undefined;
         return normalizeProperties({
             ...metadata,
-            [K.Interface.$.property('family').key]: definition.family,
+            [K.classes.Class.self.properties.kind.key]: declaration.kind,
+            [K.classes.Class.self.properties.abstract.key]: declaration.abstract,
+            ...(icon !== undefined ? { [K.classes.Iconable.self.properties.icon.key]: icon } : {}),
         });
     }
-    if (definition.kind === 'function') {
+    if (isResolvedFunction(definition)) {
         return callablePropertiesFor(definition.definition);
     }
-    if (definition.kind === 'view') {
+    if (definition.ref.kind === 'view') {
         return normalizeProperties(metadata);
     }
-    if (definition.kind === 'policy')
+    if (definition.ref.kind === 'policy')
         return normalizeProperties(metadata);
     return EMPTY_PROPERTIES;
 }
+function isResolvedClass(definition) {
+    return definition.ref.kind === 'class';
+}
+function isResolvedFunction(definition) {
+    return definition.ref.kind === 'function';
+}
+function isResolvedView(definition) {
+    return definition.ref.kind === 'view';
+}
 function callablePropertiesFor(declaration) {
     const method = 'static' in declaration;
     return normalizeProperties({
         ...descriptionProperties(declaration.description),
-        [K.$.interface('Function').$.property('kind').key]: method ? 'method' : 'function',
-        [K.$.interface('Function').$.property('input').key]: declaration.input,
-        [K.$.interface('Function').$.property('output').key]: declaration.output,
-        [K.$.interface('Function').$.property('auth').key]: declaration.auth,
+        [K.classes.Function.self.properties.kind.key]: method ? 'method' : 'function',
+        [K.classes.Function.self.properties.input.key]: declaration.input,
+        [K.classes.Function.self.properties.output.key]: declaration.output,
+        [K.classes.Function.self.properties.auth.key]: declaration.auth,
         ...(declaration.policy === undefined
             ? {}
             : {
-                [K.$.interface('Function').$.property('policy').key]: declaration.policy,
+                [K.classes.Function.self.properties.policy.key]: declaration.policy,
             }),
         ...(method
             ? {
-                [K.$.interface('Function').$.property('static').key]: declaration.static,
-                [K.$.interface('Function').$.property('inheritance').key]: declaration.inheritance,
+                [K.classes.Function.self.properties.static.key]: declaration.static,
+                [K.classes.Function.self.properties.abstract.key]: declaration.abstract,
             }
             : {}),
     });
@@ -226,33 +268,36 @@ function callablePropertiesFor(declaration) {
 function descriptionProperties(description) {
     if (description === undefined)
         return {};
-    return { [K.$.interface('Descriptable').$.property('description').key]: description };
+    return { [K.classes.Descriptable.self.properties.description.key]: description };
 }
 function declarationDescription(definition) {
-    if (definition.kind === 'type')
+    if (definition.ref.kind === 'core')
         return undefined;
     return definition.definition.description;
 }
 function memberKey(definition) {
-    if (definition.kind.endsWith('-class'))
-        return `class.${definition.name}`;
-    if (definition.kind.endsWith('-interface'))
-        return `interface.${definition.name}`;
-    return `${definition.kind}.${definition.name}`;
+    return `${definition.ref.kind}.${definition.ref.name}`;
+}
+function callableMemberKey(domain, method) {
+    const prefix = `${domain.origin}:`;
+    if (!method.key.startsWith(prefix)) {
+        throw new ProjectionError('PROJECTION_INVALID', 'Method key belongs to another Domain.');
+    }
+    return method.key.slice(prefix.length);
 }
 /** Identity properties are supplied atomically by trusted lifecycle materialization. */
 function domainPropertiesFor(domain) {
     return normalizeProperties({
-        [K.Domain.$.property('origin').key]: domain.$.origin,
-        [K.Domain.$.property('schema').key]: domain.$.schema,
-        [K.Domain.$.property('schemaRevision').key]: domain.$.revision,
+        [K.classes.Domain.self.properties.origin.key]: domain.origin,
+        [K.classes.Domain.self.properties.schema.key]: domain.source,
+        [K.classes.Domain.self.properties.schemaRevision.key]: domain.revision,
     });
 }
 function endpoint(path, locations) {
     const created = locations.get(path);
     return created === undefined ? Object.freeze({ path }) : Object.freeze({ created });
 }
-function addNode(nodes, path, classPath, props, locations) {
+function addNode(nodes, path, classKey, payload, locations) {
     const existing = nodes.get(path);
     if (existing !== undefined)
         return Object.freeze({ created: existing.as });
@@ -260,15 +305,14 @@ function addNode(nodes, path, classPath, props, locations) {
     if (as === undefined) {
         throw new ProjectionError('PROJECTION_INVALID', `Projection has no binding for ${path}.`);
     }
-    nodes.set(path, Object.freeze({ as, class: classPath, props }));
+    nodes.set(path, Object.freeze({ as, class: classKey, ...payload }));
     return Object.freeze({ created: as });
 }
-function addEdge(edges, source, target, classRef, props) {
+function addEdge(edges, source, target, classRef, payload) {
     edges.push(Object.freeze({
         source,
         target,
-        class: ClassPathValue.from(classRef),
-        props,
+        class: ClassKeyValue.of(classRef),
+        ...payload,
     }));
 }
-//# sourceMappingURL=project.js.map

package/dist/schema/kernel/projection/types.d.ts

@@ -1,5 +1,6 @@
-import type { Key, schema } from '@astrale-os/kernel-dsl/v1';
-import type { GraphSpec, GraphSpecEdge, LocalBinding } from '#graph/graph';
+import type { Key, Revision } from '@astrale-os/kernel-dsl/v1';
+import type { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
+import type { GraphSpec, GraphSpecEdge, GraphSpecEndpoint, LocalBinding } from '#graph/graph';
 import type { NodePath } from '#graph/path';
 export interface ProjectionPart {
     readonly graph: GraphSpec;
@@ -12,8 +13,32 @@ export interface CoreProjection extends ProjectionPart {
 }
 export interface Projection {
     readonly origin: Key.Origin;
-    readonly revision: schema.Revision;
+    readonly revision: Revision;
     readonly managed: ProjectionPart;
     readonly core: CoreProjection;
 }
-//# sourceMappingURL=types.d.ts.map
+/** Declaration identity only; this is not a Graph Node with absent or defaulted Properties. */
+export interface ProjectionTopologyNode {
+    readonly as: LocalBinding;
+    readonly class: ClassKey;
+}
+export interface ProjectionTopologyEdge {
+    readonly source: GraphSpecEndpoint;
+    readonly target: GraphSpecEndpoint;
+    readonly class: ClassKey;
+}
+export interface ProjectionTopologyPart {
+    readonly paths: ReadonlyMap<LocalBinding, NodePath>;
+    readonly nodes: readonly ProjectionTopologyNode[];
+    readonly edges: readonly ProjectionTopologyEdge[];
+}
+export interface CoreProjectionTopology extends ProjectionTopologyPart {
+    readonly locators: readonly ProjectionTopologyEdge[];
+}
+/** Symbolic ownership coordinates without materialized schema Property payloads. */
+export interface ProjectionTopology {
+    readonly origin: Key.Origin;
+    readonly revision: Revision;
+    readonly managed: ProjectionTopologyPart;
+    readonly core: CoreProjectionTopology;
+}

package/dist/schema/kernel/projection/types.js

@@ -1,2 +1 @@
 export {};
-//# sourceMappingURL=types.js.map