@astrale-os/kernel-core 0.9.0-beta.64 → 0.9.0-beta.66

package/dist/graph/mutate/result/index.d.ts

@@ -1,7 +1,7 @@
 import type { NodeId } from '../../node/index.js';
-import type { LocalBinding } from '../language/index.js';
+import type { LocalAlias } from '../language/index.js';
 export type MutationResult = {
-    readonly createdNodes: Readonly<Record<LocalBinding, NodeId>>;
+    readonly createdNodes: Readonly<Record<LocalAlias, NodeId>>;
 };
 export declare const MutationResult: {
     decode(input: unknown): MutationResult;
@@ -12,5 +12,5 @@ export { MutationResultDecodeError } from './error.js';
 export { mutationResultSchema } from './wire.js';
 /** Re-admit one mutation result before it crosses a trust or transport boundary. */
 export declare function encodeMutationResult(input: MutationResult): MutationResult;
-/** Decode unknown JSON into immutable admitted LocalBinding-to-NodeId results. */
+/** Decode unknown JSON into immutable admitted LocalAlias-to-NodeId results. */
 export declare function decodeMutationResult(input: unknown): MutationResult;

package/dist/graph/mutate/result/index.js

@@ -1,5 +1,5 @@
 import * as portable from '@astrale-os/kernel-dsl/value';
-import { isLocalBinding, LocalBinding as LocalBindingValue } from '#graph/graph';
+import { isLocalAlias, LocalAlias as LocalAliasValue } from '#graph/graph';
 import { NodeId as nodeId } from '../../node/index.js';
 import { decodeWire } from '../../wire.js';
 import { MutationResultDecodeError } from './error.js';
@@ -8,7 +8,7 @@ export const MutationResult = Object.freeze({
     decode: decodeMutationResult,
     encode: encodeMutationResult,
     createdNode(result, binding) {
-        return result.createdNodes[LocalBindingValue(binding)];
+        return result.createdNodes[LocalAliasValue(binding)];
     },
 });
 export { MutationResultDecodeError } from './error.js';
@@ -17,7 +17,7 @@ export { mutationResultSchema } from './wire.js';
 export function encodeMutationResult(input) {
     return decodeMutationResult(input);
 }
-/** Decode unknown JSON into immutable admitted LocalBinding-to-NodeId results. */
+/** Decode unknown JSON into immutable admitted LocalAlias-to-NodeId results. */
 export function decodeMutationResult(input) {
     try {
         const encoded = decodeWire(mutationResultSchema, portable.accept(input), invalid).createdNodes;
@@ -46,8 +46,8 @@ export function decodeMutationResult(input) {
     }
 }
 function requireBinding(value, path) {
-    if (!isLocalBinding(value))
-        invalid(path, 'Invalid LocalBinding');
+    if (!isLocalAlias(value))
+        invalid(path, 'Invalid LocalAlias');
 }
 function escapePointer(value) {
     return value.replaceAll('~', '~0').replaceAll('/', '~1');

package/dist/graph/node/identity/id.d.ts

@@ -11,7 +11,4 @@ export declare class NodeIdError extends TypeError {
 /** Admit opaque 1-255 character ASCII NodeId text without repair or format-specific semantics. */
 export declare function NodeId(input: string): NodeId;
 export declare function isNodeId(input: unknown): input is NodeId;
-export declare const nodeIdSchema: import("zod").ZodPipe<import("zod").ZodString & import("zod").ZodType<NodeId, string, import("zod/v4/core").$ZodTypeInternals<NodeId, string>>, import("zod").ZodTransform<NodeId, string & {
-    readonly [NODE_ID_BRAND]: true;
-}>>;
 export {};

package/dist/graph/node/identity/id.js

@@ -1,4 +1,3 @@
-import { string } from 'zod';
 const NODE_ID_MAX_LENGTH = 255;
 const NODE_ID_INVALID_CHARACTER = /[^A-Za-z0-9._-]/u;
 const NODE_ID_ERROR_MESSAGE = 'NodeId must be 1-255 ASCII characters drawn from [A-Za-z0-9._-].';
@@ -23,6 +22,3 @@ export function isNodeId(input) {
         input.length <= NODE_ID_MAX_LENGTH &&
         !NODE_ID_INVALID_CHARACTER.test(input));
 }
-export const nodeIdSchema = string()
-    .refine(isNodeId, NODE_ID_ERROR_MESSAGE)
-    .transform((value) => value);

package/dist/graph/query/language/codec.js

@@ -1,7 +1,7 @@
 import { patterns, PropertyKey } from '@astrale-os/kernel-dsl/v1/addressing';
 import { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
 import * as portable from '@astrale-os/kernel-dsl/value';
-import { LocalBinding } from '../../graph/index.js';
+import { LocalAlias } from '../../graph/index.js';
 import { NodeId } from '../../node/index.js';
 import { NodePath } from '../../path/index.js';
 import { decodeWire } from '../../wire.js';
@@ -237,7 +237,7 @@ function decodeClass(input, path) {
 function introduce(input, kind, path, symbols) {
     let name;
     try {
-        name = LocalBinding(input);
+        name = LocalAlias(input);
     }
     catch (cause) {
         invalid(path, 'Invalid binding name', cause);
@@ -250,7 +250,7 @@ function introduce(input, kind, path, symbols) {
 function reference(input, expected, path, symbols) {
     let name;
     try {
-        name = LocalBinding(input);
+        name = LocalAlias(input);
     }
     catch (cause) {
         invalid(path, 'Invalid binding name', cause);

package/dist/graph/query/language/model.d.ts

@@ -1,7 +1,7 @@
 import type { ClassRef, PropertyKey } from '@astrale-os/kernel-dsl/v1';
 import type * as portable from '@astrale-os/kernel-dsl/value';
 import type { EdgeKey } from '../../edge/index.js';
-import type { LocalBinding } from '../../graph/index.js';
+import type { LocalAlias } from '../../graph/index.js';
 import type { NodeId } from '../../node/index.js';
 import type { NodePath } from '../../path/index.js';
 export declare const QUERY_AST_FORMAT: 'astrale.graph.query';
@@ -20,10 +20,10 @@ export type QueryUnrankedPlacement = 'first' | 'last';
 export type QueryFingerprint = `sha256:${string}`;
 declare const NODE_BINDING: unique symbol;
 declare const EDGE_BINDING: unique symbol;
-export type NodeBinding = LocalBinding & {
+export type NodeBinding = LocalAlias & {
     readonly [NODE_BINDING]: true;
 };
-export type EdgeBinding = LocalBinding & {
+export type EdgeBinding = LocalAlias & {
     readonly [EDGE_BINDING]: true;
 };
 export type QueryBinding = NodeBinding | EdgeBinding;

package/dist/graph/reconcile/condition/model.d.ts

@@ -1,13 +1,13 @@
 import type { PropertyKey } from '@astrale-os/kernel-dsl/v1';
 import type { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
 import type { EdgeKey, EdgeSlug } from '../../edge/index.js';
-import type { LocalBinding, MergeConflict as GraphMergeConflict } from '../../graph/index.js';
+import type { LocalAlias, MergeConflict as GraphMergeConflict } from '../../graph/index.js';
 import type { NodeId } from '../../node/index.js';
 import type { DesiredProperties } from '../../properties/index.js';
 import type { QueryEdgeAST, QueryNodeAST } from '../../query/index.js';
 declare const DESIRED_BRAND: unique symbol;
 export type DesiredNodeRef = NodeId | {
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 };
 export interface DesiredEdgeRef {
     readonly source: DesiredNodeRef;

package/dist/graph/reconcile/condition/references.d.ts

@@ -2,7 +2,6 @@ import type { DesiredEdge, DesiredEdgeRef, DesiredNode, DesiredNodeRef, Expectat
 import { type EdgeKey, type EdgeSlug } from '../../edge/index.js';
 export declare function admitDesiredNode(node: DesiredNode): DesiredNode;
 export declare function admitDesiredEdge(edge: DesiredEdge): DesiredEdge;
-export declare function admitNodeRef(ref: DesiredNodeRef): DesiredNodeRef;
 export declare function admitEdgeRef(ref: DesiredEdgeRef | EdgeKey): DesiredEdgeRef;
 export declare function equalExpectation(left: Expectation<EdgeSlug>, right: Expectation<EdgeSlug>): boolean;
 export declare function encodeDesiredNodeRef(ref: DesiredNodeRef): string;

package/dist/graph/reconcile/condition/references.js

@@ -1,6 +1,6 @@
 import { ClassKey } from '@astrale-os/kernel-dsl/v1/addressing';
 import { isEdgeSlug } from '../../edge/index.js';
-import { LocalBinding, isLocalBinding } from '../../graph/index.js';
+import { LocalAlias, isLocalAlias } from '../../graph/index.js';
 import { isNodeId } from '../../node/index.js';
 export function admitDesiredNode(node) {
     const ref = admitNodeRef(node.node);
@@ -29,14 +29,14 @@ export function admitDesiredEdge(edge) {
         properties: edge.properties,
     });
 }
-export function admitNodeRef(ref) {
+function admitNodeRef(ref) {
     if (typeof ref === 'string') {
         requireNodeId(ref);
         return ref;
     }
-    if (!isLocalBinding(ref.desired))
+    if (!isLocalAlias(ref.desired))
         throw new TypeError(`Invalid desired Node binding.`);
-    return Object.freeze({ desired: LocalBinding(ref.desired) });
+    return Object.freeze({ desired: LocalAlias(ref.desired) });
 }
 export function admitEdgeRef(ref) {
     if (!ClassKey.is(ref.class))

package/dist/graph/reconcile/correspondence.d.ts

@@ -1,8 +1,8 @@
-import type { LocalBinding } from '../graph/index.js';
+import type { LocalAlias } from '../graph/index.js';
 import type { NodeId } from '../node/index.js';
 import type { QueryObservation } from './evidence.js';
 export type CorrespondenceEntry = {
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
     readonly kind: 'present';
     readonly node: NodeId;
     readonly observation: Extract<QueryObservation, {
@@ -11,7 +11,7 @@ export type CorrespondenceEntry = {
         };
     }>;
 } | {
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
     readonly kind: 'absent';
     readonly observation: Extract<QueryObservation, {
         readonly selection: {
@@ -24,18 +24,19 @@ export interface Correspondence {
 }
 export type CorrespondenceConflict = {
     readonly kind: 'correspondence-duplicate';
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 } | {
     readonly kind: 'correspondence-noninjective';
     readonly node: NodeId;
-    readonly desired: readonly LocalBinding[];
+    readonly desired: readonly LocalAlias[];
 } | {
     readonly kind: 'correspondence-observation-invalid';
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 };
-export interface CorrespondenceAnalysis {
-    readonly entries: ReadonlyMap<LocalBinding, CorrespondenceEntry>;
+interface CorrespondenceAnalysis {
+    readonly entries: ReadonlyMap<LocalAlias, CorrespondenceEntry>;
     readonly conflicts: readonly CorrespondenceConflict[];
 }
 /** Canonically index correspondence and classify duplicate or non-injective mappings. */
 export declare function analyzeCorrespondence(entries: readonly CorrespondenceEntry[]): CorrespondenceAnalysis;
+export {};

package/dist/graph/reconcile/evidence.d.ts

@@ -1,10 +1,10 @@
-import type { LocalBinding } from '../graph/index.js';
+import type { LocalAlias } from '../graph/index.js';
 import type { NodeId } from '../node/index.js';
 import type { QueryEdgeAST, QueryNodeAST, QuerySelection } from '../query/index.js';
 import { type EdgeKey } from '../edge/index.js';
 export type ObservationRequirement = {
     readonly kind: 'correspondence';
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 } | {
     readonly kind: 'selection';
     readonly query: QueryNodeAST | QueryEdgeAST;

package/dist/graph/reconcile/mutation/assess.d.ts

@@ -4,7 +4,7 @@ export type QueryPremise = Extract<ReconciliationPlan['premises'][number], {
     kind: 'query';
 }>;
 export type PointPremise = Exclude<ReconciliationPlan['premises'][number], QueryPremise>;
-export type MutationAssessment = {
+type MutationAssessment = {
     readonly kind: 'supported';
     readonly pointPremises: readonly PointPremise[];
     readonly queryPremises: readonly QueryPremise[];
@@ -14,3 +14,4 @@ export type MutationAssessment = {
 };
 /** Classify whether one complete semantic plan fits the target's atomic Mutation profile. */
 export declare function assess(plan: ReconciliationPlan, profile: MutationRealizationProfile): MutationAssessment;
+export {};

package/dist/graph/reconcile/observation.d.ts

@@ -1,4 +1,4 @@
-import type { GraphData, LocalBinding } from '../graph/index.js';
+import type { GraphData, LocalAlias } from '../graph/index.js';
 import type { Node, NodeId } from '../node/index.js';
 import type { Correspondence, CorrespondenceEntry } from './correspondence.js';
 import type { EvidenceRequirement, ObservationEvidence } from './evidence.js';
@@ -16,11 +16,12 @@ export type ObservationConflict = {
     readonly kind: 'observation-evidence-contradiction';
     readonly requirement: EvidenceRequirement;
 };
-export interface ObservationAnalysis {
+interface ObservationAnalysis {
     readonly nodes: ReadonlyMap<NodeId, Node>;
     readonly edges: ReadonlyMap<string, Edge>;
     readonly evidence: readonly ObservationEvidence[];
     readonly conflicts: readonly ObservationConflict[];
 }
 /** Index finite facts and classify contradictory or duplicate evidence. */
-export declare function analyzeObservation(observation: Observation, correspondence: ReadonlyMap<LocalBinding, CorrespondenceEntry>): ObservationAnalysis;
+export declare function analyzeObservation(observation: Observation, correspondence: ReadonlyMap<LocalAlias, CorrespondenceEntry>): ObservationAnalysis;
+export {};

package/dist/graph/reconcile/planning/context.d.ts

@@ -2,15 +2,15 @@ import { type CorrespondenceEntry } from '#graph/reconcile/correspondence';
 import { type ObservationEvidence, type ObservationRequirement } from '#graph/reconcile/evidence';
 import { type Observation } from '#graph/reconcile/observation';
 import type { Edge } from '../../edge/index.js';
-import type { LocalBinding } from '../../graph/index.js';
+import type { LocalAlias } from '../../graph/index.js';
 import type { Node, NodeId } from '../../node/index.js';
 import type { Effect, PlanningBlocker, PlanningConflict, Premise } from './model.js';
 import { type DesiredProperties } from '../../properties/index.js';
 export interface PlanningContext {
     readonly nodes: ReadonlyMap<NodeId, Node>;
     readonly edges: ReadonlyMap<string, Edge>;
-    readonly correspondence: ReadonlyMap<LocalBinding, CorrespondenceEntry>;
-    readonly created: Set<LocalBinding>;
+    readonly correspondence: ReadonlyMap<LocalAlias, CorrespondenceEntry>;
+    readonly created: Set<LocalAlias>;
     readonly evidence: readonly ObservationEvidence[];
     readonly premises: Premise[];
     readonly effects: Effect[];

package/dist/graph/reconcile/planning/model.d.ts

@@ -3,12 +3,12 @@ import type { CorrespondenceConflict } from '#graph/reconcile/correspondence';
 import type { ObservationRequirement, QueryObservation } from '#graph/reconcile/evidence';
 import type { ObservationConflict } from '#graph/reconcile/observation';
 import type { EdgeKey, EdgeSlug } from '../../edge/index.js';
-import type { LocalBinding } from '../../graph/index.js';
+import type { LocalAlias } from '../../graph/index.js';
 import type { NodeId } from '../../node/index.js';
 import type { Delta, DesiredProperties, Properties } from '../../properties/index.js';
 import type { DesiredFingerprint, DesiredSelection, Expectation, ReconcileConflict } from '../condition/index.js';
 export type ResolvedNodeRef = NodeId | {
-    readonly created: LocalBinding;
+    readonly created: LocalAlias;
 };
 export interface ResolvedEdgeRef {
     readonly source: ResolvedNodeRef;
@@ -35,7 +35,7 @@ export interface QueryPremise {
 }
 export type Effect = {
     readonly op: 'node.create';
-    readonly as: LocalBinding;
+    readonly as: LocalAlias;
     readonly class: ClassKey;
     readonly properties: Properties;
 } | {
@@ -63,7 +63,7 @@ export type Effect = {
 };
 export type PlanningConflict = ReconcileConflict | CorrespondenceConflict | ObservationConflict | {
     readonly kind: 'desired-binding-uncreated';
-    readonly desired: LocalBinding;
+    readonly desired: LocalAlias;
 } | {
     readonly kind: 'node-class-observed';
     readonly node: NodeId;

package/dist/schema/callables/{view-for.d.ts → entrypoint.d.ts}

@@ -1,5 +1,5 @@
 import { type builder } from '@astrale-os/kernel-dsl/v1';
-export declare const ViewFor: builder.DirectedEdgeClass<{
+export declare const Entrypoint: builder.DirectedEdgeClass<{
     readonly depth: 1;
     readonly abstract: false;
     readonly extends: readonly [builder.ClassReferenceProjection<"edge", {
@@ -19,12 +19,14 @@ export declare const ViewFor: builder.DirectedEdgeClass<{
     readonly properties: never;
     readonly source: {
         readonly as: "view";
-        readonly outgoing: "1..*";
+        readonly outgoing: "0..1";
     };
     readonly target: {
-        readonly as: "target";
-        readonly incoming: "0..*";
+        readonly as: "domain";
+        readonly incoming: "0..1";
+    };
+    readonly constraints: {
+        readonly noSelf: true;
     };
-    readonly constraints: Record<never, never>;
     readonly effectiveProperties: never;
 }>;

package/dist/schema/callables/entrypoint.js

@@ -0,0 +1,12 @@
+import { edgeClass } from '@astrale-os/kernel-dsl/v1';
+import { Domain } from '../domain/index.js';
+import { Edge } from '../meta/index.js';
+import { View } from './view.js';
+export const Entrypoint = edgeClass.directed({
+    abstract: false,
+    source: { as: 'view', accepts: [View], outgoing: '0..1' },
+    target: { as: 'domain', accepts: [Domain], incoming: '0..1' },
+    description: 'The one View a Domain opens by default; a Domain declares at most one.',
+    extends: [Edge],
+    constraints: { noSelf: true },
+});