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

package/dist/v1/schema/canonical/revision.js

@@ -0,0 +1,18 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { asDomainSchema } from '../model/schema.js';
+import { digestDomainSchemaBytes } from './domain.digest.js';
+import { canonicalizeDomainSchema } from './domain.js';
+export function canonicalDomainSchema(value) {
+    return canonicalDomainSchemaAfterValidation(value);
+}
+/** Internal acceptance seam. The caller must establish whole-Domain validity first. */
+export function canonicalDomainSchemaAfterValidation(value) {
+    const schema = asDomainSchema(canonicalizeDomainSchema(value));
+    const bytes = json.encode(schema);
+    const revision = digestDomainSchemaBytes(bytes);
+    return Object.freeze({ schema, bytes, revision });
+}
+export function revisionOfDomainSchema(schema) {
+    return canonicalDomainSchema(schema).revision;
+}
+//# sourceMappingURL=revision.js.map

package/dist/v1/schema/canonical/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../../../../v1/schema/canonical/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAInD,OAAO,EAAE,cAAc,EAA0C,MAAM,oBAAoB,CAAA;AAC3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAA;AAC5D,OAAO,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAQtD,MAAM,UAAU,qBAAqB,CAAC,KAAmB;IACvD,OAAO,oCAAoC,CAAC,KAAK,CAAC,CAAA;AACpD,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,oCAAoC,CAAC,KAAqB;IACxE,MAAM,MAAM,GAAG,cAAc,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;IACjC,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,CAAA;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,MAAoB;IACzD,OAAO,qBAAqB,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAA;AAC/C,CAAC"}

package/dist/v1/schema/codec/header.d.ts

@@ -0,0 +1,18 @@
+import type { Key } from '../../addressing/index.js';
+import type { DomainDependency } from '../../addressing/index.js';
+/**
+ * Structurally trusted routing information used to discover an exact
+ * dependency closure before whole-Domain semantic acceptance is possible.
+ *
+ * This is deliberately not a DomainSchema: callers must still load the
+ * declared revisions and pass the original document to acceptDomainSchema.
+ */
+export interface DomainSchemaHeader {
+    readonly format: 'astrale.dsl';
+    readonly version: 'v1';
+    readonly origin: Key.Origin;
+    readonly dependencies: readonly DomainDependency[];
+}
+/** Decode detached Schema bytes or text and retain only validated closure-routing identity. */
+export declare function header(input: string | Uint8Array): DomainSchemaHeader;
+//# sourceMappingURL=header.d.ts.map

package/dist/v1/schema/codec/header.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"header.d.ts","sourceRoot":"","sources":["../../../../v1/schema/codec/header.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,2BAA2B,CAAA;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAA;AAKjE;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAA;IAC9B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAA;IAC3B,QAAQ,CAAC,YAAY,EAAE,SAAS,gBAAgB,EAAE,CAAA;CACnD;AAED,+FAA+F;AAC/F,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,kBAAkB,CAkBrE"}

package/dist/v1/schema/codec/header.js

@@ -0,0 +1,24 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { SchemaError, diagnostic } from '../diagnostic.js';
+import { routeDomainSchema } from '../validation/domain.route.js';
+/** Decode detached Schema bytes or text and retain only validated closure-routing identity. */
+export function header(input) {
+    let decoded;
+    try {
+        decoded = json.decode(input);
+    }
+    catch (error) {
+        if (error instanceof json.DecodeError) {
+            throw new SchemaError([diagnostic('DV_JSON_VALUE', '', error.message)]);
+        }
+        throw error;
+    }
+    const structured = routeDomainSchema(decoded);
+    return Object.freeze({
+        format: structured.format,
+        version: structured.version,
+        dependencies: Object.freeze([...structured.dependencies]),
+        origin: structured.origin,
+    });
+}
+//# sourceMappingURL=header.js.map

package/dist/v1/schema/codec/header.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"header.js","sourceRoot":"","sources":["../../../../v1/schema/codec/header.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAKnD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,+BAA+B,CAAA;AAgBjE,+FAA+F;AAC/F,MAAM,UAAU,MAAM,CAAC,KAA0B;IAC/C,IAAI,OAAO,CAAA;IACX,IAAI,CAAC;QACH,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,MAAM,IAAI,WAAW,CAAC,CAAC,UAAU,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC7C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;QACzD,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B,CAAC,CAAA;AACJ,CAAC"}

package/dist/v1/schema/codec/schema.d.ts

@@ -0,0 +1,6 @@
+import type { DomainSchemaLookup } from '../dependency/lookup.js';
+import type { DomainSchema } from '../model/schema.js';
+export declare function decodeDomainSchema(input: string | Uint8Array, lookup?: DomainSchemaLookup): DomainSchema;
+export declare function serializeDomainSchema(schema: DomainSchema): string;
+export declare function encodeDomainSchema(schema: DomainSchema): Uint8Array;
+//# sourceMappingURL=schema.d.ts.map

package/dist/v1/schema/codec/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../../v1/schema/codec/schema.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAMtD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,MAAM,GAAG,UAAU,EAC1B,MAAM,GAAE,kBAA8C,GACrD,YAAY,CASd;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAElE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAEnE"}

package/dist/v1/schema/codec/schema.js

@@ -0,0 +1,22 @@
+import { json } from '@astrale-os/kernel-dsl/value';
+import { acceptDomainSchema } from '../admission/accept.js';
+import { emptyDomainSchemaLookup } from '../dependency/lookup.js';
+import { SchemaError, diagnostic } from '../diagnostic.js';
+export function decodeDomainSchema(input, lookup = emptyDomainSchemaLookup()) {
+    try {
+        return acceptDomainSchema(json.decode(input), lookup);
+    }
+    catch (error) {
+        if (error instanceof json.DecodeError) {
+            throw new SchemaError([diagnostic('DV_JSON_VALUE', '', error.message)]);
+        }
+        throw error;
+    }
+}
+export function serializeDomainSchema(schema) {
+    return json.serialize(schema);
+}
+export function encodeDomainSchema(schema) {
+    return json.encode(schema);
+}
+//# sourceMappingURL=schema.js.map

package/dist/v1/schema/codec/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../../../../v1/schema/codec/schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAA;AAKnD,OAAO,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAA;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AACjE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAE1D,MAAM,UAAU,kBAAkB,CAChC,KAA0B,EAC1B,MAAM,GAAuB,uBAAuB,EAAE;IAEtD,IAAI,CAAC;QACH,OAAO,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CAAA;IACvD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAI,KAAK,YAAY,IAAI,CAAC,WAAW,EAAE,CAAC;YACtC,MAAM,IAAI,WAAW,CAAC,CAAC,UAAU,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;QACzE,CAAC;QACD,MAAM,KAAK,CAAA;IACb,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAoB;IACxD,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;AAC/B,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,MAAoB;IACrD,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;AAC5B,CAAC"}

package/dist/v1/schema/compatibility/meaning.d.ts

@@ -0,0 +1,30 @@
+import type { Key as SemanticKey } from '../../addressing/index.js';
+import type { Revision } from '../../addressing/index.js';
+import type { DomainSchema } from '../model/schema.js';
+import { Key } from '../../addressing/index.js';
+export type DependencyMeaningChangeKind = 'missing' | 'changed';
+export type MeaningFingerprint = `sha256:${string}`;
+export interface DependencyMeaningChange {
+    readonly key: SemanticKey;
+    readonly kind: DependencyMeaningChangeKind;
+    readonly sourceFingerprint: MeaningFingerprint;
+    readonly targetFingerprint?: MeaningFingerprint;
+}
+export interface DependencyMeaningComparison {
+    readonly version: 1;
+    readonly dependency: Key.Origin;
+    readonly source: Revision;
+    readonly target: Revision;
+    readonly footprint: readonly SemanticKey[];
+    readonly changes: readonly DependencyMeaningChange[];
+    readonly fingerprint: MeaningFingerprint;
+}
+/**
+ * Compare the exact V1 meaning one accepted Domain used from a retained dependency with a
+ * candidate revision of that same dependency origin. This operation is pure and makes no
+ * lifecycle-compatibility decision.
+ */
+export declare function compareDependencyMeaning(dependent: DomainSchema, target: DomainSchema): DependencyMeaningComparison;
+/** Compare one explicit non-empty source member surface and its reachable V1 meaning. */
+export declare function compareMemberMeaning(source: DomainSchema, target: DomainSchema, roots: readonly [SemanticKey, ...SemanticKey[]]): DependencyMeaningComparison;
+//# sourceMappingURL=meaning.d.ts.map

package/dist/v1/schema/compatibility/meaning.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"meaning.d.ts","sourceRoot":"","sources":["../../../../v1/schema/compatibility/meaning.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,GAAG,IAAI,WAAW,EAEnB,MAAM,2BAA2B,CAAA;AAClC,OAAO,KAAK,EAAoC,QAAQ,EAAE,MAAM,2BAA2B,CAAA;AAW3F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAA;AAEtD,OAAO,EAAE,GAAG,EAA0B,MAAM,2BAA2B,CAAA;AAyBvE,MAAM,MAAM,2BAA2B,GAAG,SAAS,GAAG,SAAS,CAAA;AAC/D,MAAM,MAAM,kBAAkB,GAAG,UAAU,MAAM,EAAE,CAAA;AAEnD,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,2BAA2B,CAAA;IAC1C,QAAQ,CAAC,iBAAiB,EAAE,kBAAkB,CAAA;IAC9C,QAAQ,CAAC,iBAAiB,CAAC,EAAE,kBAAkB,CAAA;CAChD;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC,MAAM,CAAA;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAA;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,uBAAuB,EAAE,CAAA;IACpD,QAAQ,CAAC,WAAW,EAAE,kBAAkB,CAAA;CACzC;AA6CD;;;;GAIG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,YAAY,EACvB,MAAM,EAAE,YAAY,GACnB,2BAA2B,CAoB7B;AAED,yFAAyF;AACzF,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,YAAY,EACpB,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,SAAS,CAAC,WAAW,EAAE,GAAG,WAAW,EAAE,CAAC,GAC9C,2BAA2B,CA6B7B"}