@astrale-os/kernel-dsl 1.0.0-beta.15 → 1.0.0-beta.16

package/dist/v1/schema/validation/domain.js

@@ -15,7 +15,7 @@ export function validateDomainSchemaSemantics(schema, lookup) {
     const diagnostics = [
         ...context.diagnostics,
         ...validateEmbeddedValueSchemas(schema, registry),
-        ...validateDefinitions(context, analysis),
+        ...validateDefinitions(context, analysis, registry),
         ...validateContracts(schema, registry),
         ...validatePolicies(context, analysis),
         ...validateViews(context),

package/dist/v1/schema/validation/policy/context.d.ts

@@ -22,8 +22,7 @@ export declare class PolicyValidationContext implements PolicyTypingScope {
     edgeDeclaration(ref: ClassRef): Extract<ClassDefinition, {
         readonly kind: 'edge';
     }> | undefined;
-    /** Return true when candidate is the required Class or a same-kind descendant. */
-    classExtends(candidate: ClassRef, required: ClassRef): boolean;
+    resolveClass(ref: ClassRef): ClassDefinition | undefined;
     /** The contract a Policy pattern reference types, reporting an invalid one under `/policies`. */
     referenceContract(ref: PolicyObjectRef): ObjectContract | undefined;
     add(code: SchemaDiagnosticCode, pointer: string, message: string, ref?: string): void;

package/dist/v1/schema/validation/policy/context.js

@@ -1,6 +1,5 @@
 import { Key } from '../../../addressing/index.js';
 import { definitionRefIndex } from '../../../addressing/ordering.js';
-import { classSatisfies } from '../../../language/class/inheritance.js';
 import { diagnostic } from '../../diagnostic.js';
 import { referenceContracts } from './objects.js';
 const formatDefinitionRef = Key.of;
@@ -63,12 +62,8 @@ export class PolicyValidationContext {
         }
         return resolved.declaration;
     }
-    /** Return true when candidate is the required Class or a same-kind descendant. */
-    classExtends(candidate, required) {
-        const resolve = (ref) => this.environment.resolveAny(ref)?.declaration;
-        const actual = resolve(candidate);
-        const target = resolve(required);
-        return actual !== undefined && target !== undefined && classSatisfies(actual, target, resolve);
+    resolveClass(ref) {
+        return this.environment.resolveAny(ref)?.declaration;
     }
     /** The contract a Policy pattern reference types, reporting an invalid one under `/policies`. */
     referenceContract(ref) {

package/dist/v1/schema/validation/value-api.d.ts

@@ -10,6 +10,8 @@ export type { BlobOptions, BlobReceipt, BlobRef, BlobSchema, } from '../../langu
 export type { JsonSchema as Schema, JsonSchemaObject as SchemaObject, PathAnnotation, PropertyObjectSchema as PropertySchema, ValueSchemaContext as Context, } from '../../language/value/model/schema.js';
 export { instant } from '../../language/value/model/instant.js';
 export type { OrderingKind } from '../../language/value/ordering.js';
+export { VALUE_KINDS } from '../../language/value/ordering.js';
+export { GRAPH_NODE_PATH_SCHEMA_ID as NODE_PATH } from '../../language/value/syntax/node-path/schema.js';
 export { DECLARED_VALUE_KINDS as DECLARED_KINDS, FORBIDDEN_KEYWORDS, SUBSCHEMA_KEYWORDS, VALUE_KEYWORDS as KEYWORDS, } from '../../language/value/profile/vocabulary.js';
 export type { DeclaredValueKind as DeclaredKind, ValueKeyword as Keyword, } from '../../language/value/profile/vocabulary.js';
 export { VALUE_RULES as RULES } from '../../language/validation/rule.js';

package/dist/v1/schema/validation/value-api.js

@@ -8,6 +8,8 @@ const registries = new WeakMap();
 export { VALUE_SCHEMA_DIALECT as DIALECT, VALUE_SCHEMA_VOCABULARY as VOCABULARY, } from '../../language/value/model/schema.js';
 export { blob, isBlobValueSchema as isBlob } from '../../language/value/model/blob.js';
 export { instant } from '../../language/value/model/instant.js';
+export { VALUE_KINDS } from '../../language/value/ordering.js';
+export { GRAPH_NODE_PATH_SCHEMA_ID as NODE_PATH } from '../../language/value/syntax/node-path/schema.js';
 export { DECLARED_VALUE_KINDS as DECLARED_KINDS, FORBIDDEN_KEYWORDS, SUBSCHEMA_KEYWORDS, VALUE_KEYWORDS as KEYWORDS, } from '../../language/value/profile/vocabulary.js';
 export { VALUE_RULES as RULES } from '../../language/validation/rule.js';
 /** Validate one complete JSON value under the exact accepted schema that owns the contract. */

package/dist/v1/schema/validation/value.json-schema.d.ts

@@ -13,7 +13,7 @@ export declare const valueSchemaRules: {
     readonly 'value-path': {
         readonly code: 'DV_VALUE_SCHEMA';
         readonly valueCode: 'VS_PATH_EXTENSION';
-        readonly statement: 'x-astrale-path annotates only a direct Property of a callable input object, beside exactly the $ref of the graph NodePath schema, and reads target node, cardinality one and a non-empty set of Node Class refs it accepts.';
+        readonly statement: 'x-astrale-path annotates only a direct Property of a callable input object, beside exactly the $ref of the graph NodePath schema.';
     };
     readonly 'value-recursion': {
         readonly code: 'DV_VALUE_SCHEMA';
@@ -40,8 +40,8 @@ export type ValueSchemaRule = keyof typeof valueSchemaRules;
 /**
  * The value language in JSON Schema, for the document that embeds value schemas: `root` constrains
  * the `value-schema` definition with the published dialect and what the profile adds to it,
- * `definitions` holds the locations it reaches, and `nodeProperty` constrains a Node Property
- * definition. A named check leaves `x-astrale-rule` at the positions it constrains.
+ * `definitions` holds the locations it reaches and the members of the Path annotation, and
+ * `nodeProperty` constrains a Node Property definition. A named check leaves `x-astrale-rule` at the positions it constrains.
  */
 export declare function valueSchemaJsonSchema(): {
     readonly root: readonly JsonSchema[];

package/dist/v1/schema/validation/value.json-schema.js

@@ -10,10 +10,11 @@ export const valueSchemaRules = {
         valueCode: 'VS_VALUE_KIND',
         statement: 'A blob is declared only by the whole schema of a Property, exactly as values.blob writes it.',
     },
+    // Its members are stated (`path-annotation`); where it stands is named.
     'value-path': {
         code: 'DV_VALUE_SCHEMA',
         valueCode: 'VS_PATH_EXTENSION',
-        statement: 'x-astrale-path annotates only a direct Property of a callable input object, beside exactly the $ref of the graph NodePath schema, and reads target node, cardinality one and a non-empty set of Node Class refs it accepts.',
+        statement: 'x-astrale-path annotates only a direct Property of a callable input object, beside exactly the $ref of the graph NodePath schema.',
     },
     'value-recursion': {
         code: 'DV_VALUE_SCHEMA',
@@ -39,11 +40,12 @@ export const valueSchemaRules = {
 const KIND = 'x-astrale-value-kind';
 const LOCATION = '#/$defs/value-location';
 const SUBSCHEMA = '#/$defs/value-subschema';
+const PATH = '#/$defs/path-annotation';
 /**
  * The value language in JSON Schema, for the document that embeds value schemas: `root` constrains
  * the `value-schema` definition with the published dialect and what the profile adds to it,
- * `definitions` holds the locations it reaches, and `nodeProperty` constrains a Node Property
- * definition. A named check leaves `x-astrale-rule` at the positions it constrains.
+ * `definitions` holds the locations it reaches and the members of the Path annotation, and
+ * `nodeProperty` constrains a Node Property definition. A named check leaves `x-astrale-rule` at the positions it constrains.
  */
 export function valueSchemaJsonSchema() {
     return {
@@ -79,7 +81,7 @@ export function valueSchemaJsonSchema() {
                     enum: { type: 'array', uniqueItems: true },
                     fullMatch: { type: 'string', 'x-astrale-rule': 'value-regexp' },
                     pattern: { type: 'string', 'x-astrale-rule': 'value-regexp' },
-                    'x-astrale-path': { type: 'object', 'x-astrale-rule': 'value-path' },
+                    'x-astrale-path': { $ref: PATH, 'x-astrale-rule': 'value-path' },
                     ...Object.fromEntries(SUBSCHEMA_KEYWORDS.single.map((keyword) => [keyword, { $ref: SUBSCHEMA }])),
                     ...Object.fromEntries(SUBSCHEMA_KEYWORDS.array.map((keyword) => [
                         keyword,
@@ -99,6 +101,22 @@ export function valueSchemaJsonSchema() {
                 // oxlint-disable-next-line unicorn/no-thenable -- the JSON Schema keyword
                 then: { required: ['type'], properties: { type: { const: 'string' } } },
             }),
+            // The Path annotation: the one Node a Path field resolves, of a Node Class it accepts.
+            'path-annotation': {
+                type: 'object',
+                properties: {
+                    target: { type: 'string', const: 'node' },
+                    cardinality: { type: 'string', const: 'one' },
+                    accepts: {
+                        type: 'array',
+                        minItems: 1,
+                        uniqueItems: true,
+                        items: { $ref: '#/$defs/class-ref', 'x-astrale-rule': 'value-reference-resolution' },
+                    },
+                },
+                required: ['target', 'cardinality', 'accepts'],
+                additionalProperties: false,
+            },
             // A location below the root: no $schema, and no blob.
             'value-subschema': {
                 allOf: [

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@astrale-os/kernel-dsl",
-  "version": "1.0.0-beta.15",
+  "version": "1.0.0-beta.16",
   "description": "Astrale Kernel DSL - Schema authoring, inference, and IR serialization",
   "license": "Apache-2.0",
   "repository": {
@@ -81,6 +81,7 @@
     },
     "./v1/schema/domain-schema.schema.json": "./dist/v1/schema/.spec/schemas/domain-schema.schema.json",
     "./v1/schema/value-schema.schema.json": "./dist/v1/language/.spec/schemas/value-schema.schema.json",
+    "./v1/schema/draft-2020-12.schema.json": "./dist/v1/language/.spec/schemas/draft-2020-12.schema.json",
     "./v1/value/full-match": {
       "types": "./dist/v1/value/full-match.d.ts",
       "import": "./dist/v1/value/full-match.js"