@manya-os/contracts 1.0.0

package/dist/types/boundaries/index.d.ts

@@ -0,0 +1,3 @@
+export { enforceBoundary, detectViolations, matchRule, isPolicySatisfied, } from './boundaries.js';
+export type { BoundaryResult, CallEdge, BoundaryViolation } from './boundaries.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/boundaries/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/boundaries/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,eAAe,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,GAChE,MAAM,iBAAiB,CAAC;AACzB,YAAY,EAAE,cAAc,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/types/compatibility/compatibility.d.ts

@@ -0,0 +1,58 @@
+/**
+ * @manya-os/contracts — version compatibility.
+ *
+ * Provides semver parsing (`parseSemver`), ordering (`compareSemver`), range
+ * satisfaction (`satisfies`), and structural backward-compatibility checking
+ * (`checkBackwardCompat`) between two versions of an `InterfaceSchema`.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+import type { BreakingChange, InterfaceSchema, SemverVersion } from '../types.js';
+/** Returns `true` iff `v` is a valid semver string. */
+export declare function isSemver(v: string): boolean;
+/**
+ * Parses a semver string into a `SemverVersion`. Throws `CompatibilityError`
+ * on invalid input.
+ */
+export declare function parseSemver(v: string): SemverVersion;
+/**
+ * Compares two semver strings. Returns -1 if `a < b`, 0 if `a === b`, 1 if
+ * `a > b`. Throws `CompatibilityError` if either is invalid.
+ *
+ * Prerelease handling follows semver.org §11: a version with a prerelease is
+ * lower than the same version without one; prerelease identifiers compare
+ * numerically when both are numeric, lexically otherwise, and numeric
+ * identifiers are lower than alphanumeric ones.
+ */
+export declare function compareSemver(a: string, b: string): -1 | 0 | 1;
+/** Compares two parsed `SemverVersion` values. */
+export declare function compareParsedSemver(a: SemverVersion, b: SemverVersion): -1 | 0 | 1;
+/**
+ * Returns `true` iff `version` satisfies `range`. Supported range forms:
+ *   - `*`              — any version.
+ *   - `^1.2.3`         — compatible-with: `>=1.2.3 <2.0.0` (or `<1.3.0` if major is 0).
+ *   - `~1.2.3`         — patch-level: `>=1.2.3 <1.3.0`.
+ *   - `1.2.3`          — exact match.
+ *   - `>=1.2.3`, `>1.2.3`, `<=1.2.3`, `<1.2.3` — comparison.
+ *
+ * Throws `CompatibilityError` on malformed input.
+ */
+export declare function satisfies(version: string, range: string): boolean;
+/**
+ * Checks whether `newSchema` is backward-compatible with `oldSchema`.
+ *
+ * A breaking change is any of:
+ *   - `field_removed` — a field present in `oldSchema` is missing in `newSchema`.
+ *   - `type_changed`  — a field's `type` changed between versions.
+ *   - `required_added` — a new field is marked `required: true`.
+ *   - `enum_value_removed` — an `enum` field lost one or more allowed values.
+ *
+ * Returns `{ compatible, breakingChanges }` where `compatible === true` iff
+ * `breakingChanges.length === 0`.
+ */
+export declare function checkBackwardCompat(oldSchema: InterfaceSchema, newSchema: InterfaceSchema): {
+    compatible: boolean;
+    breakingChanges: BreakingChange[];
+};
+//# sourceMappingURL=compatibility.d.ts.map

package/dist/types/compatibility/compatibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compatibility.d.ts","sourceRoot":"","sources":["../../../src/compatibility/compatibility.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAOlF,uDAAuD;AACvD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAE3C;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,GAAG,aAAa,CAgBpD;AAED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAI9D;AAED,kDAAkD;AAClD,wBAAgB,mBAAmB,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAYlF;AA2BD;;;;;;;;;GASG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAqCjE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,eAAe,EAC1B,SAAS,EAAE,eAAe,GACzB;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,eAAe,EAAE,cAAc,EAAE,CAAA;CAAE,CAuD5D"}

package/dist/types/compatibility/index.d.ts

@@ -0,0 +1,2 @@
+export { isSemver, parseSemver, compareSemver, compareParsedSemver, satisfies, checkBackwardCompat, } from './compatibility.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/compatibility/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/compatibility/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,mBAAmB,EACzD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,oBAAoB,CAAC"}

package/dist/types/errors.d.ts

@@ -0,0 +1,65 @@
+/**
+ * @manya-os/contracts — typed error hierarchy.
+ *
+ * Every public @manya-os/contracts API throws a subclass of `ContractsError`.
+ * Errors carry a stable `code` string for programmatic discrimination; for
+ * `ManifestError`, the constructor accepts an explicit `code` so that each
+ * failure mode (invalid name, invalid version, invalid dependency, ...) has
+ * its own stable code while still being an instance of `ManifestError`.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+/** Base class for all @manya-os/contracts errors. */
+export declare class ContractsError extends Error {
+    readonly code: string;
+    readonly cause?: unknown;
+    constructor(message: string, code?: string, cause?: unknown);
+}
+/** Raised when a schema definition cannot be compiled or is structurally invalid. */
+export declare class SchemaError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+/**
+ * Raised when a manifest is structurally invalid. Accepts an explicit `code`
+ * so each failure mode (`MANIFEST_INVALID_NAME`, `MANIFEST_INVALID_VERSION`,
+ * `MANIFEST_INVALID_DEPENDENCY`, `MANIFEST_MISSING_FIELD`,
+ * `MANIFEST_INVALID_EXPORTS`, `MANIFEST_INVALID_IMPORTS`,
+ * `MANIFEST_INVALID_CAPABILITIES`) is distinguishable while still being an
+ * instance of `ManifestError`.
+ */
+export declare class ManifestError extends ContractsError {
+    constructor(message: string, code?: string, cause?: unknown);
+}
+/** Stable `ManifestError` codes — one per failure mode. */
+export declare const MANIFEST_ERROR_CODES: {
+    readonly INVALID_NAME: "MANIFEST_INVALID_NAME";
+    readonly INVALID_VERSION: "MANIFEST_INVALID_VERSION";
+    readonly INVALID_DEPENDENCY: "MANIFEST_INVALID_DEPENDENCY";
+    readonly MISSING_FIELD: "MANIFEST_MISSING_FIELD";
+    readonly INVALID_EXPORTS: "MANIFEST_INVALID_EXPORTS";
+    readonly INVALID_IMPORTS: "MANIFEST_INVALID_IMPORTS";
+    readonly INVALID_CAPABILITIES: "MANIFEST_INVALID_CAPABILITIES";
+    readonly INVALID_DEPENDENCIES: "MANIFEST_INVALID_DEPENDENCIES";
+};
+/** Raised when version compatibility checks fail. */
+export declare class CompatibilityError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+/** Raised when an API request or response fails validation. */
+export declare class ApiValidationError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+/** Raised when schema synchronization cannot proceed (e.g. unresolvable conflict). */
+export declare class SyncError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+/** Raised when a boundary policy is violated or structurally invalid. */
+export declare class BoundaryError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+/** Raised when a validation report cannot be built, aggregated, or serialized. */
+export declare class ReportingError extends ContractsError {
+    constructor(message: string, cause?: unknown);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/types/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,qDAAqD;AACrD,qBAAa,cAAe,SAAQ,KAAK;IACvC,SAAgB,IAAI,EAAE,MAAM,CAAC;IAC7B,SAAyB,KAAK,CAAC,EAAE,OAAO,CAAC;gBAC7B,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAO5D;AAED,qFAAqF;AACrF,qBAAa,WAAY,SAAQ,cAAc;gBACjC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C;AAED;;;;;;;GAOG;AACH,qBAAa,aAAc,SAAQ,cAAc;gBACnC,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAG5D;AAED,2DAA2D;AAC3D,eAAO,MAAM,oBAAoB;;;;;;;;;CASvB,CAAC;AAEX,qDAAqD;AACrD,qBAAa,kBAAmB,SAAQ,cAAc;gBACxC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C;AAED,+DAA+D;AAC/D,qBAAa,kBAAmB,SAAQ,cAAc;gBACxC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C;AAED,sFAAsF;AACtF,qBAAa,SAAU,SAAQ,cAAc;gBAC/B,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C;AAED,yEAAyE;AACzE,qBAAa,aAAc,SAAQ,cAAc;gBACnC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C;AAED,kFAAkF;AAClF,qBAAa,cAAe,SAAQ,cAAc;gBACpC,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,OAAO;CAC7C"}

package/dist/types/index.d.ts

@@ -0,0 +1,34 @@
+/**
+ * @manya-os/contracts — universal contract and schema validation.
+ *
+ * Public API surface for @manya-os/contracts. Everything exported here is part
+ * of the stable, semver-bound public API.
+ *
+ * Capabilities:
+ *   - Schema definition language (`compileSchema`, `validateValue`).
+ *   - Manifest validation (`validateManifest`).
+ *   - Semver parsing/comparison/range checks and backward-compat analysis.
+ *   - API request/response contract validation.
+ *   - Schema diffing and merging with conflict detection.
+ *   - Module boundary enforcement.
+ *   - Validation report aggregation and serialization.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Conceived, directed, and owned by Uviwe Menyiwe (Azura Daemon), founder
+ * of the Manya Hael Foundation.
+ *
+ * Licensed under the Apache License, Version 2.0.
+ */
+export * from './types.js';
+export * from './errors.js';
+export { Logger, LogLevel, ConsoleLogger, SilentLogger, scrubMetadata, shouldScrubField, SCRUBBED_FIELD_NAMES, } from './logging.js';
+export { compileSchema, validateValue, describeType, SCHEMA_TYPES, } from './schema/schema.js';
+export type { SchemaDefinition, SchemaFieldDefinition } from './schema/schema.js';
+export { validateManifest, assertManifest, isValidManifest, } from './manifest/manifest.js';
+export { isSemver, parseSemver, compareSemver, compareParsedSemver, satisfies, checkBackwardCompat, } from './compatibility/compatibility.js';
+export { findEndpoint, validateRequest, validateResponse, assertValidContract, } from './api/api.js';
+export { diffSchemas, mergeSchemas, fieldsEqual, } from './sync/sync.js';
+export { enforceBoundary, detectViolations, matchRule, isPolicySatisfied, } from './boundaries/boundaries.js';
+export type { BoundaryResult, CallEdge, BoundaryViolation } from './boundaries/boundaries.js';
+export { buildReport, aggregateReports, serializeReport, summarizeReport, } from './reporting/reporting.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAG5B,OAAO,EACL,MAAM,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY,EAC7C,aAAa,EAAE,gBAAgB,EAAE,oBAAoB,GACtD,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,GACzD,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAC;AAGlF,OAAO,EACL,gBAAgB,EAAE,cAAc,EAAE,eAAe,GAClD,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EACL,QAAQ,EAAE,WAAW,EAAE,aAAa,EAAE,mBAAmB,EACzD,SAAS,EAAE,mBAAmB,GAC/B,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,mBAAmB,GACrE,MAAM,cAAc,CAAC;AAGtB,OAAO,EACL,WAAW,EAAE,YAAY,EAAE,WAAW,GACvC,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,eAAe,EAAE,gBAAgB,EAAE,SAAS,EAAE,iBAAiB,GAChE,MAAM,4BAA4B,CAAC;AACpC,YAAY,EAAE,cAAc,EAAE,QAAQ,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAG9F,OAAO,EACL,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,GAChE,MAAM,0BAA0B,CAAC"}

package/dist/types/logging.d.ts

@@ -0,0 +1,38 @@
+/**
+ * @manya-os/contracts — structured logging (mirrors @manya-os/keyring pattern).
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+export interface Logger {
+    debug(msg: string, meta?: Record<string, unknown>): void;
+    info(msg: string, meta?: Record<string, unknown>): void;
+    warn(msg: string, meta?: Record<string, unknown>): void;
+    error(msg: string, meta?: Record<string, unknown>): void;
+}
+export type LogLevel = 'debug' | 'info' | 'warn' | 'error' | 'silent';
+/** Field names that are scrubbed from log metadata before emission. */
+export declare const SCRUBBED_FIELD_NAMES: readonly ["secret", "token", "apiKey", "password", "authorization", "privateKey", "accessToken", "refreshToken"];
+/** Returns `true` if a field name should be scrubbed from logs. */
+export declare function shouldScrubField(name: string): boolean;
+/** Deeply scrubs sensitive fields from log metadata. */
+export declare function scrubMetadata(meta: unknown): unknown;
+/** Logger that emits JSON lines to stdout/stderr with secret scrubbing. */
+export declare class ConsoleLogger implements Logger {
+    private readonly level;
+    private readonly levelRank;
+    constructor(level?: LogLevel);
+    debug(msg: string, meta?: Record<string, unknown>): void;
+    info(msg: string, meta?: Record<string, unknown>): void;
+    warn(msg: string, meta?: Record<string, unknown>): void;
+    error(msg: string, meta?: Record<string, unknown>): void;
+    private emit;
+}
+/** Logger that discards everything. */
+export declare class SilentLogger implements Logger {
+    debug(): void;
+    info(): void;
+    warn(): void;
+    error(): void;
+}
+//# sourceMappingURL=logging.d.ts.map

package/dist/types/logging.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logging.d.ts","sourceRoot":"","sources":["../../src/logging.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,MAAM;IACrB,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACzD,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACxD,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;IACxD,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;CAC1D;AAED,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,CAAC;AAMtE,uEAAuE;AACvE,eAAO,MAAM,oBAAoB,kHAGvB,CAAC;AAEX,mEAAmE;AACnE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAQtD;AAED,wDAAwD;AACxD,wBAAgB,aAAa,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAWpD;AAED,2EAA2E;AAC3E,qBAAa,aAAc,YAAW,MAAM;IAE9B,OAAO,CAAC,QAAQ,CAAC,KAAK;IADlC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;gBACN,KAAK,GAAE,QAAiB;IAGrD,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IACxD,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IACvD,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IACvD,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI;IACxD,OAAO,CAAC,IAAI;CASb;AAED,uCAAuC;AACvC,qBAAa,YAAa,YAAW,MAAM;IACzC,KAAK,IAAI,IAAI;IACb,IAAI,IAAI,IAAI;IACZ,IAAI,IAAI,IAAI;IACZ,KAAK,IAAI,IAAI;CACd"}

package/dist/types/manifest/index.d.ts

@@ -0,0 +1,2 @@
+export { validateManifest, assertManifest, isValidManifest, } from './manifest.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/manifest/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/manifest/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,gBAAgB,EAAE,cAAc,EAAE,eAAe,GAClD,MAAM,eAAe,CAAC"}

package/dist/types/manifest/manifest.d.ts

@@ -0,0 +1,24 @@
+/**
+ * @manya-os/contracts — manifest validation.
+ *
+ * Validates a `Manifest` describing a package's name, version, dependencies,
+ * exports, imports, and capabilities. Each failure mode carries a stable code
+ * (see `MANIFEST_ERROR_CODES`) so callers can react programmatically.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+import type { Manifest, ValidationResult } from '../types.js';
+/**
+ * Validates a manifest structurally. Returns `{ valid, errors }` where each
+ * error's `code` is one of `MANIFEST_ERROR_CODES.*`.
+ */
+export declare function validateManifest(manifest: unknown): ValidationResult;
+/**
+ * Throws a `ManifestError` (with the first error's code) if the manifest is
+ * invalid. Convenience for callers that prefer exception-based control flow.
+ */
+export declare function assertManifest(manifest: unknown): asserts manifest is Manifest;
+/** Returns `true` iff `v` is a structurally valid manifest. */
+export declare function isValidManifest(manifest: unknown): manifest is Manifest;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/types/manifest/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../../../src/manifest/manifest.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAmB,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAU/E;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,OAAO,GAAG,gBAAgB,CAqFpE;AA+BD;;;GAGG;AACH,wBAAgB,cAAc,CAAC,QAAQ,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,IAAI,QAAQ,CAS9E;AAED,+DAA+D;AAC/D,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,QAAQ,IAAI,QAAQ,CAEvE"}

package/dist/types/reporting/index.d.ts

@@ -0,0 +1,2 @@
+export { buildReport, aggregateReports, serializeReport, summarizeReport, } from './reporting.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/reporting/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/reporting/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAAE,gBAAgB,EAAE,eAAe,EAAE,eAAe,GAChE,MAAM,gBAAgB,CAAC"}

package/dist/types/reporting/reporting.d.ts

@@ -0,0 +1,37 @@
+/**
+ * @manya-os/contracts — validation reports.
+ *
+ * Aggregates per-section validation results into a single `ValidationReport`,
+ * serializes reports to JSON, and produces one-line summaries for log lines
+ * and dashboards.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+import type { ValidationReport, ValidationReportSection } from '../types.js';
+/**
+ * Builds a `ValidationReport` from a name and a list of section results.
+ * `passed` is computed as the AND of every section's `passed`. `generatedAt`
+ * is set to the current ISO timestamp unless provided.
+ */
+export declare function buildReport(name: string, sections: ValidationReportSection[], generatedAt?: string): ValidationReport;
+/**
+ * Aggregates multiple `ValidationReport`s into a single report. The merged
+ * report is named `aggregate` (or the provided `name`), its `passed` flag is
+ * the AND of all input reports' `passed` flags, and its `sections` array is
+ * the concatenation of every input's sections (prefixed with the source
+ * report name to keep section names unique). `generatedAt` is set to now.
+ */
+export declare function aggregateReports(reports: ReadonlyArray<ValidationReport>, name?: string): ValidationReport;
+/**
+ * Serializes a `ValidationReport` to a stable, indented JSON string. Throws
+ * `ReportingError` if the report contains a value that JSON cannot encode.
+ */
+export declare function serializeReport(report: ValidationReport): string;
+/**
+ * Returns a single-line summary of a `ValidationReport`, e.g.
+ *   `my-contract: PASS (3/3 sections) at 2024-01-15T12:34:56.000Z`
+ *   `my-contract: FAIL (1/3 sections, 4 errors) at 2024-01-15T12:34:56.000Z`
+ */
+export declare function summarizeReport(report: ValidationReport): string;
+//# sourceMappingURL=reporting.d.ts.map

package/dist/types/reporting/reporting.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reporting.d.ts","sourceRoot":"","sources":["../../../src/reporting/reporting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAG7E;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,uBAAuB,EAAE,EACnC,WAAW,CAAC,EAAE,MAAM,GACnB,gBAAgB,CAclB;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAC9B,OAAO,EAAE,aAAa,CAAC,gBAAgB,CAAC,EACxC,IAAI,SAAc,GACjB,gBAAgB,CAqBlB;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAMhE;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,MAAM,CAUhE"}

package/dist/types/schema/index.d.ts

@@ -0,0 +1,3 @@
+export { compileSchema, validateValue, describeType, SCHEMA_TYPES, } from './schema.js';
+export type { SchemaDefinition, SchemaFieldDefinition } from './schema.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/schema/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schema/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EAAE,aAAa,EAAE,YAAY,EAAE,YAAY,GACzD,MAAM,aAAa,CAAC;AACrB,YAAY,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC"}

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

@@ -0,0 +1,77 @@
+/**
+ * @manya-os/contracts — schema definition language.
+ *
+ * Provides a JSON-ish schema definition language centered on the
+ * `InterfaceSchema` type. `compileSchema` normalizes a definition (either an
+ * already-compiled `InterfaceSchema` or a raw definition object) into a
+ * canonical `InterfaceSchema`; `validateValue` validates any JavaScript value
+ * against a compiled schema, returning a `ValidationResult`.
+ *
+ * Supported field types:
+ *   - `string` / `number` / `boolean` / `null` — JSON primitives.
+ *   - `object` — nested record (use `fields`).
+ *   - `array` — homogeneous list (use `of`).
+ *   - `enum` — one of a fixed set (use `enum`).
+ *   - `ref` — reference to another schema by name (use `ref`).
+ *   - `union` — one of several (use `oneOf`).
+ *   - `intersection` — all of several (use `allOf`).
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+import type { InterfaceSchema, SchemaField, SchemaType, ValidationResult } from '../types.js';
+/** Set of all valid `SchemaType` literal names. */
+export declare const SCHEMA_TYPES: ReadonlySet<string>;
+/**
+ * A raw schema definition accepted by `compileSchema`. Either an
+ * already-compiled `InterfaceSchema` or a JSON-ish object whose `fields` may
+ * be a record mapping field name → field definition (with `required` defaulted
+ * to `true` when absent).
+ */
+export type SchemaDefinition = InterfaceSchema | {
+    name: string;
+    version: string;
+    description?: string;
+    fields?: SchemaField[] | Record<string, SchemaFieldDefinition>;
+};
+/** A raw field definition (a partial `SchemaField` minus the name). */
+export interface SchemaFieldDefinition {
+    type?: SchemaType | string;
+    required?: boolean;
+    description?: string;
+    default?: unknown;
+    enum?: unknown[];
+    of?: SchemaFieldDefinition | SchemaField;
+    ref?: string;
+    oneOf?: Array<SchemaFieldDefinition | SchemaField>;
+    allOf?: Array<SchemaFieldDefinition | SchemaField>;
+    fields?: SchemaField[] | Record<string, SchemaFieldDefinition>;
+}
+/**
+ * Compiles a raw schema definition into a normalized `InterfaceSchema`.
+ *
+ * Accepted inputs:
+ *   - an already-compiled `InterfaceSchema` (returned as a defensive copy).
+ *   - a definition object whose `fields` may be a record (in which case
+ *     `required` defaults to `true`).
+ *
+ * Throws `SchemaError` on malformed input.
+ */
+export declare function compileSchema(definition: SchemaDefinition): InterfaceSchema;
+/**
+ * Validates a JavaScript value against a compiled `InterfaceSchema`.
+ *
+ * Returns a `ValidationResult` with `valid: true` iff the value satisfies
+ * every field's type, `required`, and `enum` constraints. Composite types
+ * (`object`, `array`, `union`, `intersection`, `ref`) are recursively
+ * validated; `ref` fields are matched purely by name and treated as opaque
+ * (a referenced schema is considered satisfied when present in `refs`).
+ *
+ * @param schema Compiled interface schema.
+ * @param value Value to validate.
+ * @param refs Optional map of referenced interface schemas (for `ref` fields).
+ */
+export declare function validateValue(schema: InterfaceSchema, value: unknown, refs?: Record<string, InterfaceSchema>): ValidationResult;
+/** Returns a short, human-readable description of a value's type. */
+export declare function describeType(value: unknown): string;
+//# sourceMappingURL=schema.d.ts.map

package/dist/types/schema/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../../../src/schema/schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EACV,eAAe,EAAE,WAAW,EAAE,UAAU,EAAmB,gBAAgB,EAC5E,MAAM,aAAa,CAAC;AAGrB,mDAAmD;AACnD,eAAO,MAAM,YAAY,EAAE,WAAW,CAAC,MAAM,CAI3C,CAAC;AAEH;;;;;GAKG;AACH,MAAM,MAAM,gBAAgB,GACxB,eAAe,GACf;IACE,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CAChE,CAAC;AAEN,uEAAuE;AACvE,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,EAAE,UAAU,GAAG,MAAM,CAAC;IAC3B,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;IACjB,EAAE,CAAC,EAAE,qBAAqB,GAAG,WAAW,CAAC;IACzC,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,KAAK,CAAC,qBAAqB,GAAG,WAAW,CAAC,CAAC;IACnD,KAAK,CAAC,EAAE,KAAK,CAAC,qBAAqB,GAAG,WAAW,CAAC,CAAC;IACnD,MAAM,CAAC,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;CAChE;AAED;;;;;;;;;GASG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,gBAAgB,GAAG,eAAe,CAuB3E;AA+ED;;;;;;;;;;;;GAYG;AACH,wBAAgB,aAAa,CAC3B,MAAM,EAAE,eAAe,EACvB,KAAK,EAAE,OAAO,EACd,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,GACrC,gBAAgB,CAIlB;AAoKD,qEAAqE;AACrE,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAKnD"}

package/dist/types/sync/index.d.ts

@@ -0,0 +1,2 @@
+export { diffSchemas, mergeSchemas, fieldsEqual, } from './sync.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/types/sync/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/sync/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,WAAW,EAAE,YAAY,EAAE,WAAW,GACvC,MAAM,WAAW,CAAC"}

package/dist/types/sync/sync.d.ts

@@ -0,0 +1,36 @@
+/**
+ * @manya-os/contracts — schema synchronization.
+ *
+ * Diffs two `InterfaceSchema`s (`diffSchemas`) and merges two schemas with
+ * conflict detection (`mergeSchemas`). Conflicting fields carry a
+ * `SchemaConflict` descriptor with a `resolution` hint.
+ *
+ * Copyright 2024 Manya Hael Foundation. All rights reserved.
+ * Licensed under the Apache License, Version 2.0.
+ */
+import type { InterfaceSchema, SchemaConflict, SchemaDiff, SchemaField } from '../types.js';
+/**
+ * Computes the diff between two schemas. `removed` is a list of field names
+ * that existed in `oldSchema` but not `newSchema`; `added` and `changed`
+ * carry full field descriptors.
+ */
+export declare function diffSchemas(oldSchema: InterfaceSchema, newSchema: InterfaceSchema): SchemaDiff;
+/**
+ * Merges `local` and `remote` schemas into a single schema. Fields present in
+ * only one schema are included verbatim. Fields present in both with the same
+ * type are kept from `local`; fields present in both with different types
+ * produce a `SchemaConflict` and are resolved in favour of `local`.
+ *
+ * The merged schema inherits `local.name` and the higher of the two versions
+ * (per `compareSemver`); if `local` and `remote` have different names, a
+ * `SyncError` is thrown — schema sync is name-scoped.
+ *
+ * @returns `{ schema, conflicts }` — the merged schema and any conflicts.
+ */
+export declare function mergeSchemas(local: InterfaceSchema, remote: InterfaceSchema): {
+    schema: InterfaceSchema;
+    conflicts: SchemaConflict[];
+};
+/** Returns `true` iff two fields are structurally equivalent. */
+export declare function fieldsEqual(a: SchemaField, b: SchemaField): boolean;
+//# sourceMappingURL=sync.d.ts.map

package/dist/types/sync/sync.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sync.d.ts","sourceRoot":"","sources":["../../../src/sync/sync.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAI5F;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,SAAS,EAAE,eAAe,EAC1B,SAAS,EAAE,eAAe,GACzB,UAAU,CAuBZ;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,YAAY,CAC1B,KAAK,EAAE,eAAe,EACtB,MAAM,EAAE,eAAe,GACtB;IAAE,MAAM,EAAE,eAAe,CAAC;IAAC,SAAS,EAAE,cAAc,EAAE,CAAA;CAAE,CAsD1D;AAED,iEAAiE;AACjE,wBAAgB,WAAW,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO,CAgBnE"}