@logixjs/core 0.0.1

package/dist/ReadQuery.js

@@ -0,0 +1,14 @@
+import {
+  compile,
+  isReadQuery,
+  make
+} from "./chunk-TKZ7MEIA.js";
+import "./chunk-CW6T36TN.js";
+import "./chunk-GMPEOUP2.js";
+import "./chunk-PZ5AY32C.js";
+export {
+  compile,
+  isReadQuery,
+  make
+};
+//# sourceMappingURL=ReadQuery.js.map

package/dist/ReadQuery.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"mappings":"","names":[]}

package/dist/Reflection-CQnKwPXj.d.ts

@@ -0,0 +1,182 @@
+import * as effect from 'effect';
+import { Layer, Effect } from 'effect';
+import { h as AnyModuleShape, l as ModuleRuntime, k as ModuleImpl } from './module-k7m3txak.js';
+import { A as AnyModule } from './Module-DnzluX2J.js';
+import { S as StaticIr } from './ir-DUOz6H-5.js';
+import { J as JsonValue, K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-cY4kLn0S.js';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-CnGE1Fyk.js';
+
+type ManifestDiffSeverity = 'BREAKING' | 'RISKY' | 'INFO';
+type ManifestDiffVerdict = 'PASS' | 'WARN' | 'FAIL';
+interface ModuleManifestDiffChange {
+    readonly severity: ManifestDiffSeverity;
+    readonly code: string;
+    readonly message?: string;
+    readonly pointer?: string;
+    readonly details?: JsonValue;
+}
+interface ModuleManifestDiffSummary {
+    readonly breaking: number;
+    readonly risky: number;
+    readonly info: number;
+}
+interface ModuleManifestDiff {
+    readonly version: string;
+    readonly moduleId: string;
+    readonly before: {
+        readonly digest: string;
+        readonly manifestVersion?: string;
+    };
+    readonly after: {
+        readonly digest: string;
+        readonly manifestVersion?: string;
+    };
+    readonly verdict: ManifestDiffVerdict;
+    readonly changes: ReadonlyArray<ModuleManifestDiffChange>;
+    readonly summary: ModuleManifestDiffSummary;
+}
+interface DiffManifestOptions {
+    /**
+     * metaAllowlist：
+     * - When omitted: diff all meta keys (defaults to treating all changes as RISKY).
+     * - When provided: only diff allowlisted keys (others are ignored).
+     */
+    readonly metaAllowlist?: ReadonlyArray<string>;
+}
+
+type KernelContractVerdict = 'PASS' | 'FAIL';
+interface KernelContractAnchor {
+    readonly instanceId: string;
+    readonly txnSeq: number;
+    readonly opSeq: number;
+}
+interface KernelContractRunSummary {
+    readonly ok: boolean;
+    readonly kernelImplementationRef: KernelImplementationRef;
+    readonly runtimeServicesEvidence?: JsonValue;
+    readonly trace: {
+        readonly digest: string;
+        readonly opCount: number;
+    };
+    readonly error?: {
+        readonly name: string;
+        readonly message: string;
+    };
+}
+type KernelContractDiffChangeCode = 'op.added' | 'op.removed' | 'op.changed' | 'run.failure';
+interface KernelContractDiffChange {
+    readonly code: KernelContractDiffChangeCode;
+    readonly anchor?: KernelContractAnchor;
+    readonly before?: JsonValue;
+    readonly after?: JsonValue;
+}
+interface KernelContractVerificationResult {
+    readonly version: string;
+    readonly verdict: KernelContractVerdict;
+    readonly before: KernelContractRunSummary;
+    readonly after: KernelContractRunSummary;
+    readonly changes: ReadonlyArray<KernelContractDiffChange>;
+    readonly summary: {
+        readonly added: number;
+        readonly removed: number;
+        readonly changed: number;
+    };
+}
+interface KernelContractRunOptions<Sh extends AnyModuleShape> {
+    readonly runId?: string;
+    readonly layer?: Layer.Layer<any, any, any>;
+    readonly runtimeServicesInstanceOverrides?: RuntimeServicesOverrides;
+    readonly interaction?: (runtime: ModuleRuntime<any, any>) => Effect.Effect<void, any, any>;
+}
+interface VerifyKernelContractOptions<Sh extends AnyModuleShape> {
+    readonly before?: KernelContractRunOptions<Sh>;
+    readonly after?: KernelContractRunOptions<Sh>;
+    readonly diagnosticsLevel?: DiagnosticsLevel;
+    readonly maxEvents?: number;
+}
+
+interface KernelContractAllowedDiff {
+    readonly metaKey: string;
+    readonly count: number;
+    readonly reason?: string;
+}
+interface FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> {
+    readonly runId?: string;
+    readonly layer?: Layer.Layer<any, any, any>;
+    readonly runtimeServicesInstanceOverrides?: RuntimeServicesOverrides$1;
+    readonly interaction?: (runtime: any) => Effect.Effect<void, any, any>;
+}
+interface VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> extends VerifyKernelContractOptions<Sh> {
+    readonly mode?: FullCutoverGateMode;
+    /**
+     * Evidence trimming level for gate evaluation:
+     * - `off`: minimal summary (must still be runnable)
+     * - `light` / `full`: add explainable details
+     */
+    readonly gateDiagnosticsLevel?: DiagnosticsLevel;
+    /**
+     * Contract diff allowlist (disabled by default).
+     * - Only allows specific op meta keys (by metaKey); the SSoT is code (KernelContractMetaAllowlist).
+     */
+    readonly enableContractMetaAllowlist?: boolean;
+    /**
+     * After-run options used for gate evaluation; defaults to `options.after`.
+     *
+     * Only used to read runtimeServicesEvidence/kernelRef; does not rely on debug logs.
+     */
+    readonly gateAfter?: FullCutoverGateTrialRunOptions<Sh>;
+}
+interface FullCutoverGateVerificationResult {
+    readonly version: 'v1';
+    readonly verdict: 'PASS' | 'FAIL';
+    readonly gate: FullCutoverGateResult;
+    readonly contract: KernelContractVerificationResult;
+    readonly contractVerdict: 'PASS' | 'FAIL';
+    readonly allowedDiffs?: ReadonlyArray<KernelContractAllowedDiff>;
+}
+/**
+ * Reflection.extractManifest
+ *
+ * Extracts a platform-consumable Manifest IR (JSON, diffable) from the final module object (`AnyModule` / `ModuleImpl`).
+ */
+declare const extractManifest: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule, options?: ExtractManifestOptions) => ModuleManifest;
+/**
+ * Reflection.diffManifest
+ *
+ * Diffs two Manifests and produces a stable, machine-readable summary (CI contract guard / UI reuse).
+ */
+declare const diffManifest: (before: ModuleManifest, after: ModuleManifest, options?: DiffManifestOptions) => ModuleManifestDiff;
+/**
+ * Reflection.exportStaticIr
+ *
+ * If the module contains a StateTrait program, exports canonical StaticIR (same shape and digest as StateTrait.exportStaticIr).
+ */
+declare const exportStaticIr: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule) => StaticIr | undefined;
+/**
+ * Reflection.verifyKernelContract
+ *
+ * Runs two trial-runs (with optional different Layers/overrides) and exports a stable, machine-readable kernel contract diff report.
+ */
+declare const verifyKernelContract: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyKernelContractOptions<Sh>) => effect.Effect.Effect<KernelContractVerificationResult, never, any>;
+declare const verifyFullCutoverGate: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyFullCutoverGateOptions<Sh>) => Effect.Effect<FullCutoverGateVerificationResult, never, any>;
+
+type Reflection_DiffManifestOptions = DiffManifestOptions;
+declare const Reflection_ExtractManifestOptions: typeof ExtractManifestOptions;
+type Reflection_FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> = FullCutoverGateTrialRunOptions<Sh>;
+type Reflection_FullCutoverGateVerificationResult = FullCutoverGateVerificationResult;
+type Reflection_KernelContractAllowedDiff = KernelContractAllowedDiff;
+type Reflection_KernelContractVerificationResult = KernelContractVerificationResult;
+declare const Reflection_ModuleManifest: typeof ModuleManifest;
+type Reflection_ModuleManifestDiff = ModuleManifestDiff;
+type Reflection_VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> = VerifyFullCutoverGateOptions<Sh>;
+type Reflection_VerifyKernelContractOptions<Sh extends AnyModuleShape> = VerifyKernelContractOptions<Sh>;
+declare const Reflection_diffManifest: typeof diffManifest;
+declare const Reflection_exportStaticIr: typeof exportStaticIr;
+declare const Reflection_extractManifest: typeof extractManifest;
+declare const Reflection_verifyFullCutoverGate: typeof verifyFullCutoverGate;
+declare const Reflection_verifyKernelContract: typeof verifyKernelContract;
+declare namespace Reflection {
+  export { type Reflection_DiffManifestOptions as DiffManifestOptions, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
+}
+
+export { type DiffManifestOptions as D, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type KernelContractAllowedDiff as a, type VerifyFullCutoverGateOptions as b, type FullCutoverGateVerificationResult as c, diffManifest as d, extractManifest as e, exportStaticIr as f, verifyFullCutoverGate as g, verifyKernelContract as v };

package/dist/Reflection-Kabo1mlU.d.cts

@@ -0,0 +1,182 @@
+import * as effect from 'effect';
+import { Layer, Effect } from 'effect';
+import { h as AnyModuleShape, l as ModuleRuntime, k as ModuleImpl } from './module-B8CBqIZ_.cjs';
+import { A as AnyModule } from './Module-B_0xRDMR.cjs';
+import { S as StaticIr } from './ir-BMP7yxJJ.cjs';
+import { J as JsonValue, K as KernelImplementationRef, b as RuntimeServicesOverrides, D as DiagnosticsLevel, E as ExtractManifestOptions, M as ModuleManifest } from './Observability-COqEvp2C.cjs';
+import { R as RuntimeServicesOverrides$1, F as FullCutoverGateMode, a as FullCutoverGateResult } from './Kernel-8kC-jOda.cjs';
+
+type ManifestDiffSeverity = 'BREAKING' | 'RISKY' | 'INFO';
+type ManifestDiffVerdict = 'PASS' | 'WARN' | 'FAIL';
+interface ModuleManifestDiffChange {
+    readonly severity: ManifestDiffSeverity;
+    readonly code: string;
+    readonly message?: string;
+    readonly pointer?: string;
+    readonly details?: JsonValue;
+}
+interface ModuleManifestDiffSummary {
+    readonly breaking: number;
+    readonly risky: number;
+    readonly info: number;
+}
+interface ModuleManifestDiff {
+    readonly version: string;
+    readonly moduleId: string;
+    readonly before: {
+        readonly digest: string;
+        readonly manifestVersion?: string;
+    };
+    readonly after: {
+        readonly digest: string;
+        readonly manifestVersion?: string;
+    };
+    readonly verdict: ManifestDiffVerdict;
+    readonly changes: ReadonlyArray<ModuleManifestDiffChange>;
+    readonly summary: ModuleManifestDiffSummary;
+}
+interface DiffManifestOptions {
+    /**
+     * metaAllowlist：
+     * - When omitted: diff all meta keys (defaults to treating all changes as RISKY).
+     * - When provided: only diff allowlisted keys (others are ignored).
+     */
+    readonly metaAllowlist?: ReadonlyArray<string>;
+}
+
+type KernelContractVerdict = 'PASS' | 'FAIL';
+interface KernelContractAnchor {
+    readonly instanceId: string;
+    readonly txnSeq: number;
+    readonly opSeq: number;
+}
+interface KernelContractRunSummary {
+    readonly ok: boolean;
+    readonly kernelImplementationRef: KernelImplementationRef;
+    readonly runtimeServicesEvidence?: JsonValue;
+    readonly trace: {
+        readonly digest: string;
+        readonly opCount: number;
+    };
+    readonly error?: {
+        readonly name: string;
+        readonly message: string;
+    };
+}
+type KernelContractDiffChangeCode = 'op.added' | 'op.removed' | 'op.changed' | 'run.failure';
+interface KernelContractDiffChange {
+    readonly code: KernelContractDiffChangeCode;
+    readonly anchor?: KernelContractAnchor;
+    readonly before?: JsonValue;
+    readonly after?: JsonValue;
+}
+interface KernelContractVerificationResult {
+    readonly version: string;
+    readonly verdict: KernelContractVerdict;
+    readonly before: KernelContractRunSummary;
+    readonly after: KernelContractRunSummary;
+    readonly changes: ReadonlyArray<KernelContractDiffChange>;
+    readonly summary: {
+        readonly added: number;
+        readonly removed: number;
+        readonly changed: number;
+    };
+}
+interface KernelContractRunOptions<Sh extends AnyModuleShape> {
+    readonly runId?: string;
+    readonly layer?: Layer.Layer<any, any, any>;
+    readonly runtimeServicesInstanceOverrides?: RuntimeServicesOverrides;
+    readonly interaction?: (runtime: ModuleRuntime<any, any>) => Effect.Effect<void, any, any>;
+}
+interface VerifyKernelContractOptions<Sh extends AnyModuleShape> {
+    readonly before?: KernelContractRunOptions<Sh>;
+    readonly after?: KernelContractRunOptions<Sh>;
+    readonly diagnosticsLevel?: DiagnosticsLevel;
+    readonly maxEvents?: number;
+}
+
+interface KernelContractAllowedDiff {
+    readonly metaKey: string;
+    readonly count: number;
+    readonly reason?: string;
+}
+interface FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> {
+    readonly runId?: string;
+    readonly layer?: Layer.Layer<any, any, any>;
+    readonly runtimeServicesInstanceOverrides?: RuntimeServicesOverrides$1;
+    readonly interaction?: (runtime: any) => Effect.Effect<void, any, any>;
+}
+interface VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> extends VerifyKernelContractOptions<Sh> {
+    readonly mode?: FullCutoverGateMode;
+    /**
+     * Evidence trimming level for gate evaluation:
+     * - `off`: minimal summary (must still be runnable)
+     * - `light` / `full`: add explainable details
+     */
+    readonly gateDiagnosticsLevel?: DiagnosticsLevel;
+    /**
+     * Contract diff allowlist (disabled by default).
+     * - Only allows specific op meta keys (by metaKey); the SSoT is code (KernelContractMetaAllowlist).
+     */
+    readonly enableContractMetaAllowlist?: boolean;
+    /**
+     * After-run options used for gate evaluation; defaults to `options.after`.
+     *
+     * Only used to read runtimeServicesEvidence/kernelRef; does not rely on debug logs.
+     */
+    readonly gateAfter?: FullCutoverGateTrialRunOptions<Sh>;
+}
+interface FullCutoverGateVerificationResult {
+    readonly version: 'v1';
+    readonly verdict: 'PASS' | 'FAIL';
+    readonly gate: FullCutoverGateResult;
+    readonly contract: KernelContractVerificationResult;
+    readonly contractVerdict: 'PASS' | 'FAIL';
+    readonly allowedDiffs?: ReadonlyArray<KernelContractAllowedDiff>;
+}
+/**
+ * Reflection.extractManifest
+ *
+ * Extracts a platform-consumable Manifest IR (JSON, diffable) from the final module object (`AnyModule` / `ModuleImpl`).
+ */
+declare const extractManifest: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule, options?: ExtractManifestOptions) => ModuleManifest;
+/**
+ * Reflection.diffManifest
+ *
+ * Diffs two Manifests and produces a stable, machine-readable summary (CI contract guard / UI reuse).
+ */
+declare const diffManifest: (before: ModuleManifest, after: ModuleManifest, options?: DiffManifestOptions) => ModuleManifestDiff;
+/**
+ * Reflection.exportStaticIr
+ *
+ * If the module contains a StateTrait program, exports canonical StaticIR (same shape and digest as StateTrait.exportStaticIr).
+ */
+declare const exportStaticIr: (module: ModuleImpl<any, AnyModuleShape, any> | AnyModule) => StaticIr | undefined;
+/**
+ * Reflection.verifyKernelContract
+ *
+ * Runs two trial-runs (with optional different Layers/overrides) and exports a stable, machine-readable kernel contract diff report.
+ */
+declare const verifyKernelContract: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyKernelContractOptions<Sh>) => effect.Effect.Effect<KernelContractVerificationResult, never, any>;
+declare const verifyFullCutoverGate: <Sh extends AnyModuleShape>(module: ModuleImpl<any, Sh, any> | AnyModule, options?: VerifyFullCutoverGateOptions<Sh>) => Effect.Effect<FullCutoverGateVerificationResult, never, any>;
+
+type Reflection_DiffManifestOptions = DiffManifestOptions;
+declare const Reflection_ExtractManifestOptions: typeof ExtractManifestOptions;
+type Reflection_FullCutoverGateTrialRunOptions<Sh extends AnyModuleShape> = FullCutoverGateTrialRunOptions<Sh>;
+type Reflection_FullCutoverGateVerificationResult = FullCutoverGateVerificationResult;
+type Reflection_KernelContractAllowedDiff = KernelContractAllowedDiff;
+type Reflection_KernelContractVerificationResult = KernelContractVerificationResult;
+declare const Reflection_ModuleManifest: typeof ModuleManifest;
+type Reflection_ModuleManifestDiff = ModuleManifestDiff;
+type Reflection_VerifyFullCutoverGateOptions<Sh extends AnyModuleShape> = VerifyFullCutoverGateOptions<Sh>;
+type Reflection_VerifyKernelContractOptions<Sh extends AnyModuleShape> = VerifyKernelContractOptions<Sh>;
+declare const Reflection_diffManifest: typeof diffManifest;
+declare const Reflection_exportStaticIr: typeof exportStaticIr;
+declare const Reflection_extractManifest: typeof extractManifest;
+declare const Reflection_verifyFullCutoverGate: typeof verifyFullCutoverGate;
+declare const Reflection_verifyKernelContract: typeof verifyKernelContract;
+declare namespace Reflection {
+  export { type Reflection_DiffManifestOptions as DiffManifestOptions, Reflection_ExtractManifestOptions as ExtractManifestOptions, type Reflection_FullCutoverGateTrialRunOptions as FullCutoverGateTrialRunOptions, type Reflection_FullCutoverGateVerificationResult as FullCutoverGateVerificationResult, type Reflection_KernelContractAllowedDiff as KernelContractAllowedDiff, type Reflection_KernelContractVerificationResult as KernelContractVerificationResult, Reflection_ModuleManifest as ModuleManifest, type Reflection_ModuleManifestDiff as ModuleManifestDiff, type Reflection_VerifyFullCutoverGateOptions as VerifyFullCutoverGateOptions, type Reflection_VerifyKernelContractOptions as VerifyKernelContractOptions, Reflection_diffManifest as diffManifest, Reflection_exportStaticIr as exportStaticIr, Reflection_extractManifest as extractManifest, Reflection_verifyFullCutoverGate as verifyFullCutoverGate, Reflection_verifyKernelContract as verifyKernelContract };
+}
+
+export { type DiffManifestOptions as D, type FullCutoverGateTrialRunOptions as F, type KernelContractVerificationResult as K, type ModuleManifestDiff as M, Reflection as R, type VerifyKernelContractOptions as V, type KernelContractAllowedDiff as a, type VerifyFullCutoverGateOptions as b, type FullCutoverGateVerificationResult as c, diffManifest as d, extractManifest as e, exportStaticIr as f, verifyFullCutoverGate as g, verifyKernelContract as v };