@plures/praxis 1.2.0 → 1.2.10

package/dist/node/index.d.cts

@@ -1,11 +1,12 @@
 import { P as PraxisState, a as PraxisEvent, b as PraxisFact } from './protocol-Qek7ebBl.cjs';
 export { g as PRAXIS_PROTOCOL_VERSION, e as PraxisDiagnostics, d as PraxisStepConfig, f as PraxisStepFn, c as PraxisStepResult } from './protocol-Qek7ebBl.cjs';
-import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as ConstraintFn, f as PraxisModule } from './reactive-engine.svelte-1M4m_C_v.cjs';
-export { h as ConstraintId, i as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, g as RuleId, j as createPraxisEngine, c as createReactiveEngine } from './reactive-engine.svelte-1M4m_C_v.cjs';
-import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-CDzxoLKR.cjs';
-export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, i as PluresDBPraxisAdapter, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, h as createInMemoryDB, e as createMockExecutor, j as createPluresDB, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-CDzxoLKR.cjs';
+import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as Contract, f as ConstraintFn, g as PraxisModule, M as MissingArtifact, S as Severity, V as ValidationReport, A as Assumption } from './reactive-engine.svelte-BFIZfawz.cjs';
+export { i as ConstraintId, p as ContractGap, D as DefineContractOptions, E as Example, j as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, o as Reference, h as RuleId, k as createPraxisEngine, c as createReactiveEngine, l as defineContract, m as getContract, n as isContract } from './reactive-engine.svelte-BFIZfawz.cjs';
+import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-BQSIF5bf.cjs';
+export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, j as PluresDBPraxisAdapter, h as PraxisLocalFirstOptions, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, i as createInMemoryDB, e as createMockExecutor, k as createPluresDB, l as createPraxisLocalFirst, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-BQSIF5bf.cjs';
 import { PraxisSchema, ValidationResult, ModelDefinition, FieldDefinition, ComponentDefinition, LogicDefinition } from './schema.cjs';
 export { NodeBindings, NodeDefinition, OrchestrationDefinition, TerminalNodeProps, ValidationError, createSchemaTemplate, validateSchema } from './schema.cjs';
+import '@plures/pluresdb/local-first';
 
 /**
  * Praxis Reactive Logic Engine
@@ -440,6 +441,7 @@ interface DefineRuleOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: RuleFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -466,6 +468,7 @@ interface DefineConstraintOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: ConstraintFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -530,6 +533,257 @@ declare function findFact<TTag extends string, TPayload>(facts: PraxisFact[], de
     payload: TPayload;
 }) | undefined;
 
+/**
+ * Fact: ContractMissing
+ *
+ * Indicates that a rule or constraint is missing contract artifacts.
+ */
+declare const ContractMissing: FactDefinition<"ContractMissing", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    severity: Severity;
+    message?: string;
+}>;
+/**
+ * Fact: ContractValidated
+ *
+ * Indicates that a rule or constraint has been validated and has a complete contract.
+ */
+declare const ContractValidated: FactDefinition<"ContractValidated", {
+    ruleId: string;
+    version: string;
+    timestamp: string;
+}>;
+/**
+ * Event: ACKNOWLEDGE_CONTRACT_GAP
+ *
+ * Acknowledges a known contract gap with justification.
+ */
+declare const AcknowledgeContractGap: EventDefinition<"ACKNOWLEDGE_CONTRACT_GAP", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    justification: string;
+    expiresAt?: string;
+}>;
+/**
+ * Event: VALIDATE_CONTRACTS
+ *
+ * Triggers validation of all registered contracts.
+ */
+declare const ValidateContracts: EventDefinition<"VALIDATE_CONTRACTS", {
+    strict?: boolean;
+}>;
+/**
+ * Fact: ContractGapAcknowledged
+ *
+ * Records that a contract gap has been acknowledged.
+ */
+declare const ContractGapAcknowledged: FactDefinition<"ContractGapAcknowledged", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    justification: string;
+    acknowledgedAt: string;
+    expiresAt?: string;
+}>;
+/**
+ * Event: CONTRACT_ADDED
+ *
+ * Emitted when a contract is added to a rule or constraint.
+ */
+declare const ContractAdded: EventDefinition<"CONTRACT_ADDED", {
+    ruleId: string;
+    version: string;
+}>;
+/**
+ * Event: CONTRACT_UPDATED
+ *
+ * Emitted when a contract is updated.
+ */
+declare const ContractUpdated: EventDefinition<"CONTRACT_UPDATED", {
+    ruleId: string;
+    previousVersion: string;
+    newVersion: string;
+}>;
+
+/**
+ * Decision Ledger - Validation
+ *
+ * Contract validation logic for rules and constraints.
+ */
+
+/**
+ * Options for contract validation.
+ */
+interface ValidateOptions {
+    /** Treat missing contracts as errors instead of warnings */
+    strict?: boolean;
+    /** Severity for missing contracts (default: 'warning') */
+    missingSeverity?: Severity;
+    /** Severity for incomplete contracts (default: 'warning') */
+    incompleteSeverity?: Severity;
+    /** Required contract fields */
+    requiredFields?: Array<'behavior' | 'examples' | 'invariants'>;
+    /** Optional index of artifacts for test/spec presence */
+    artifactIndex?: ArtifactIndex;
+}
+/**
+ * Artifact index for contract compliance checks.
+ */
+interface ArtifactIndex {
+    /** Rule IDs that have associated tests */
+    tests?: Set<string>;
+    /** Rule IDs that have associated specs (e.g., TLA+) */
+    spec?: Set<string>;
+    /** Optional mapping of rule IDs to contract versions (for drift detection) */
+    contractVersions?: Map<string, string>;
+}
+/**
+ * Validate contracts in a registry.
+ *
+ * @param registry The registry to validate
+ * @param options Validation options
+ * @returns Validation report
+ */
+declare function validateContracts<TContext = unknown>(registry: PraxisRegistry<TContext>, options?: ValidateOptions): ValidationReport;
+/**
+ * Format validation report as human-readable text.
+ *
+ * @param report The validation report
+ * @returns Formatted string
+ */
+declare function formatValidationReport(report: ValidationReport): string;
+/**
+ * Format validation report as JSON.
+ *
+ * @param report The validation report
+ * @returns JSON string
+ */
+declare function formatValidationReportJSON(report: ValidationReport): string;
+/**
+ * Format validation report as SARIF (Static Analysis Results Interchange Format).
+ *
+ * @param report The validation report
+ * @returns SARIF JSON string
+ */
+declare function formatValidationReportSARIF(report: ValidationReport): string;
+
+/**
+ * Decision Ledger - Ledger Storage
+ *
+ * Immutable, append-only ledger for tracking contract history.
+ */
+
+/**
+ * Status of a ledger entry.
+ */
+type LedgerEntryStatus = 'active' | 'superseded' | 'deprecated';
+/**
+ * A single entry in the behavior ledger.
+ */
+interface LedgerEntry {
+    /** Unique identifier for this ledger entry */
+    id: string;
+    /** Timestamp of entry creation */
+    timestamp: string;
+    /** Status of this entry */
+    status: LedgerEntryStatus;
+    /** Author or system that created this entry */
+    author: string;
+    /** The contract being recorded */
+    contract: Contract;
+    /** ID of the entry this supersedes (if any) */
+    supersedes?: string;
+    /** Reason for this entry (e.g., 'initial', 'assumption-revised', 'behavior-updated') */
+    reason?: string;
+}
+/**
+ * Immutable, append-only behavior ledger.
+ */
+declare class BehaviorLedger {
+    private entries;
+    private entryMap;
+    /**
+     * Append a new entry to the ledger.
+     *
+     * @param entry The entry to append
+     * @throws Error if entry ID already exists
+     */
+    append(entry: LedgerEntry): void;
+    /**
+     * Get an entry by ID.
+     *
+     * @param id The entry ID
+     * @returns The entry, or undefined if not found
+     */
+    getEntry(id: string): LedgerEntry | undefined;
+    /**
+     * Get all entries (in order of append) with current status.
+     *
+     * @returns Array of all entries with current status from the map
+     */
+    getAllEntries(): LedgerEntry[];
+    /**
+     * Get entries for a specific rule ID.
+     *
+     * @param ruleId The rule ID
+     * @returns Array of entries for this rule with current status
+     */
+    getEntriesForRule(ruleId: string): LedgerEntry[];
+    /**
+     * Get the latest active entry for a rule.
+     *
+     * @param ruleId The rule ID
+     * @returns The latest active entry, or undefined if none
+     */
+    getLatestEntry(ruleId: string): LedgerEntry | undefined;
+    /**
+     * Get all active assumptions across all entries.
+     *
+     * @returns Map of assumption ID to assumption
+     */
+    getActiveAssumptions(): Map<string, Assumption>;
+    /**
+     * Find assumptions that impact a specific artifact type.
+     *
+     * @param impactType The artifact type ('spec', 'tests', 'code')
+     * @returns Array of assumptions
+     */
+    findAssumptionsByImpact(impactType: 'spec' | 'tests' | 'code'): Assumption[];
+    /**
+     * Get ledger statistics.
+     */
+    getStats(): {
+        totalEntries: number;
+        activeEntries: number;
+        supersededEntries: number;
+        deprecatedEntries: number;
+        uniqueRules: number;
+    };
+    /**
+     * Export ledger as JSON.
+     *
+     * @returns JSON string with current entry status
+     */
+    toJSON(): string;
+    /**
+     * Import ledger from JSON.
+     *
+     * Note: The JSON must contain entries in the order they were originally appended.
+     * If a superseding entry appears before the entry it supersedes, the superseding
+     * logic will not work correctly. The toJSON method preserves this order.
+     *
+     * @param json The JSON string
+     * @returns A new BehaviorLedger instance
+     */
+    static fromJSON(json: string): BehaviorLedger;
+}
+/**
+ * Create a new behavior ledger.
+ *
+ * @returns A new empty ledger
+ */
+declare function createBehaviorLedger(): BehaviorLedger;
+
 /**
  * Praxis Schema Loader (Common/Browser Compatible)
  *
@@ -2798,4 +3052,4 @@ declare function attachAllIntegrations<TContext = unknown>(engine: LogicEngine<T
     dispose: () => void;
 }>;
 
-export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };
+export { AcknowledgeContractGap, type ActivityState, type Actor, ActorManager, Assumption, BehaviorLedger, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, Contract, ContractAdded, ContractGapAcknowledged, ContractMissing, ContractUpdated, ContractValidated, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LedgerEntry, type LedgerEntryStatus, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, MissingArtifact, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, Severity, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidateContracts, type ValidateOptions, ValidationReport, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createBehaviorLedger, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, formatValidationReport, formatValidationReportJSON, formatValidationReportSARIF, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateContracts, validateForGeneration, validateWithGuardian };

package/dist/node/index.d.ts

@@ -1,11 +1,12 @@
 import { P as PraxisState, a as PraxisEvent, b as PraxisFact } from './protocol-Qek7ebBl.js';
 export { g as PRAXIS_PROTOCOL_VERSION, e as PraxisDiagnostics, d as PraxisStepConfig, f as PraxisStepFn, c as PraxisStepResult } from './protocol-Qek7ebBl.js';
-import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as ConstraintFn, f as PraxisModule } from './reactive-engine.svelte-ChNFn4Hj.js';
-export { h as ConstraintId, i as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, g as RuleId, j as createPraxisEngine, c as createReactiveEngine } from './reactive-engine.svelte-ChNFn4Hj.js';
-import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-CWka-yL8.js';
-export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, i as PluresDBPraxisAdapter, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, h as createInMemoryDB, e as createMockExecutor, j as createPluresDB, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-CWka-yL8.js';
+import { L as LogicEngine, P as PraxisRegistry, b as RuleDescriptor, C as ConstraintDescriptor, d as RuleFn, e as Contract, f as ConstraintFn, g as PraxisModule, M as MissingArtifact, S as Severity, V as ValidationReport, A as Assumption } from './reactive-engine.svelte-CRNqHlbv.js';
+export { i as ConstraintId, p as ContractGap, D as DefineContractOptions, E as Example, j as PraxisEngineOptions, a as ReactiveEngineOptions, R as ReactiveLogicEngine, o as Reference, h as RuleId, k as createPraxisEngine, c as createReactiveEngine, l as defineContract, m as getContract, n as isContract } from './reactive-engine.svelte-CRNqHlbv.js';
+import { P as PraxisDB, U as UnsubscribeFn$1 } from './terminal-adapter-B-UK_Vdz.js';
+export { C as CommandExecutor, I as InMemoryPraxisDB, g as PluresDBAdapterConfig, f as PluresDBInstance, j as PluresDBPraxisAdapter, h as PraxisLocalFirstOptions, T as TerminalAdapter, d as TerminalAdapterOptions, a as TerminalExecutionResult, b as TerminalNodeState, i as createInMemoryDB, e as createMockExecutor, k as createPluresDB, l as createPraxisLocalFirst, c as createTerminalAdapter, r as runTerminalCommand } from './terminal-adapter-B-UK_Vdz.js';
 import { PraxisSchema, ValidationResult, ModelDefinition, FieldDefinition, ComponentDefinition, LogicDefinition } from './schema.js';
 export { NodeBindings, NodeDefinition, OrchestrationDefinition, TerminalNodeProps, ValidationError, createSchemaTemplate, validateSchema } from './schema.js';
+import '@plures/pluresdb/local-first';
 
 /**
  * Praxis Reactive Logic Engine
@@ -440,6 +441,7 @@ interface DefineRuleOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: RuleFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -466,6 +468,7 @@ interface DefineConstraintOptions<TContext = unknown> {
     id: string;
     description: string;
     impl: ConstraintFn<TContext>;
+    contract?: Contract;
     meta?: Record<string, unknown>;
 }
 /**
@@ -530,6 +533,257 @@ declare function findFact<TTag extends string, TPayload>(facts: PraxisFact[], de
     payload: TPayload;
 }) | undefined;
 
+/**
+ * Fact: ContractMissing
+ *
+ * Indicates that a rule or constraint is missing contract artifacts.
+ */
+declare const ContractMissing: FactDefinition<"ContractMissing", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    severity: Severity;
+    message?: string;
+}>;
+/**
+ * Fact: ContractValidated
+ *
+ * Indicates that a rule or constraint has been validated and has a complete contract.
+ */
+declare const ContractValidated: FactDefinition<"ContractValidated", {
+    ruleId: string;
+    version: string;
+    timestamp: string;
+}>;
+/**
+ * Event: ACKNOWLEDGE_CONTRACT_GAP
+ *
+ * Acknowledges a known contract gap with justification.
+ */
+declare const AcknowledgeContractGap: EventDefinition<"ACKNOWLEDGE_CONTRACT_GAP", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    justification: string;
+    expiresAt?: string;
+}>;
+/**
+ * Event: VALIDATE_CONTRACTS
+ *
+ * Triggers validation of all registered contracts.
+ */
+declare const ValidateContracts: EventDefinition<"VALIDATE_CONTRACTS", {
+    strict?: boolean;
+}>;
+/**
+ * Fact: ContractGapAcknowledged
+ *
+ * Records that a contract gap has been acknowledged.
+ */
+declare const ContractGapAcknowledged: FactDefinition<"ContractGapAcknowledged", {
+    ruleId: string;
+    missing: MissingArtifact[];
+    justification: string;
+    acknowledgedAt: string;
+    expiresAt?: string;
+}>;
+/**
+ * Event: CONTRACT_ADDED
+ *
+ * Emitted when a contract is added to a rule or constraint.
+ */
+declare const ContractAdded: EventDefinition<"CONTRACT_ADDED", {
+    ruleId: string;
+    version: string;
+}>;
+/**
+ * Event: CONTRACT_UPDATED
+ *
+ * Emitted when a contract is updated.
+ */
+declare const ContractUpdated: EventDefinition<"CONTRACT_UPDATED", {
+    ruleId: string;
+    previousVersion: string;
+    newVersion: string;
+}>;
+
+/**
+ * Decision Ledger - Validation
+ *
+ * Contract validation logic for rules and constraints.
+ */
+
+/**
+ * Options for contract validation.
+ */
+interface ValidateOptions {
+    /** Treat missing contracts as errors instead of warnings */
+    strict?: boolean;
+    /** Severity for missing contracts (default: 'warning') */
+    missingSeverity?: Severity;
+    /** Severity for incomplete contracts (default: 'warning') */
+    incompleteSeverity?: Severity;
+    /** Required contract fields */
+    requiredFields?: Array<'behavior' | 'examples' | 'invariants'>;
+    /** Optional index of artifacts for test/spec presence */
+    artifactIndex?: ArtifactIndex;
+}
+/**
+ * Artifact index for contract compliance checks.
+ */
+interface ArtifactIndex {
+    /** Rule IDs that have associated tests */
+    tests?: Set<string>;
+    /** Rule IDs that have associated specs (e.g., TLA+) */
+    spec?: Set<string>;
+    /** Optional mapping of rule IDs to contract versions (for drift detection) */
+    contractVersions?: Map<string, string>;
+}
+/**
+ * Validate contracts in a registry.
+ *
+ * @param registry The registry to validate
+ * @param options Validation options
+ * @returns Validation report
+ */
+declare function validateContracts<TContext = unknown>(registry: PraxisRegistry<TContext>, options?: ValidateOptions): ValidationReport;
+/**
+ * Format validation report as human-readable text.
+ *
+ * @param report The validation report
+ * @returns Formatted string
+ */
+declare function formatValidationReport(report: ValidationReport): string;
+/**
+ * Format validation report as JSON.
+ *
+ * @param report The validation report
+ * @returns JSON string
+ */
+declare function formatValidationReportJSON(report: ValidationReport): string;
+/**
+ * Format validation report as SARIF (Static Analysis Results Interchange Format).
+ *
+ * @param report The validation report
+ * @returns SARIF JSON string
+ */
+declare function formatValidationReportSARIF(report: ValidationReport): string;
+
+/**
+ * Decision Ledger - Ledger Storage
+ *
+ * Immutable, append-only ledger for tracking contract history.
+ */
+
+/**
+ * Status of a ledger entry.
+ */
+type LedgerEntryStatus = 'active' | 'superseded' | 'deprecated';
+/**
+ * A single entry in the behavior ledger.
+ */
+interface LedgerEntry {
+    /** Unique identifier for this ledger entry */
+    id: string;
+    /** Timestamp of entry creation */
+    timestamp: string;
+    /** Status of this entry */
+    status: LedgerEntryStatus;
+    /** Author or system that created this entry */
+    author: string;
+    /** The contract being recorded */
+    contract: Contract;
+    /** ID of the entry this supersedes (if any) */
+    supersedes?: string;
+    /** Reason for this entry (e.g., 'initial', 'assumption-revised', 'behavior-updated') */
+    reason?: string;
+}
+/**
+ * Immutable, append-only behavior ledger.
+ */
+declare class BehaviorLedger {
+    private entries;
+    private entryMap;
+    /**
+     * Append a new entry to the ledger.
+     *
+     * @param entry The entry to append
+     * @throws Error if entry ID already exists
+     */
+    append(entry: LedgerEntry): void;
+    /**
+     * Get an entry by ID.
+     *
+     * @param id The entry ID
+     * @returns The entry, or undefined if not found
+     */
+    getEntry(id: string): LedgerEntry | undefined;
+    /**
+     * Get all entries (in order of append) with current status.
+     *
+     * @returns Array of all entries with current status from the map
+     */
+    getAllEntries(): LedgerEntry[];
+    /**
+     * Get entries for a specific rule ID.
+     *
+     * @param ruleId The rule ID
+     * @returns Array of entries for this rule with current status
+     */
+    getEntriesForRule(ruleId: string): LedgerEntry[];
+    /**
+     * Get the latest active entry for a rule.
+     *
+     * @param ruleId The rule ID
+     * @returns The latest active entry, or undefined if none
+     */
+    getLatestEntry(ruleId: string): LedgerEntry | undefined;
+    /**
+     * Get all active assumptions across all entries.
+     *
+     * @returns Map of assumption ID to assumption
+     */
+    getActiveAssumptions(): Map<string, Assumption>;
+    /**
+     * Find assumptions that impact a specific artifact type.
+     *
+     * @param impactType The artifact type ('spec', 'tests', 'code')
+     * @returns Array of assumptions
+     */
+    findAssumptionsByImpact(impactType: 'spec' | 'tests' | 'code'): Assumption[];
+    /**
+     * Get ledger statistics.
+     */
+    getStats(): {
+        totalEntries: number;
+        activeEntries: number;
+        supersededEntries: number;
+        deprecatedEntries: number;
+        uniqueRules: number;
+    };
+    /**
+     * Export ledger as JSON.
+     *
+     * @returns JSON string with current entry status
+     */
+    toJSON(): string;
+    /**
+     * Import ledger from JSON.
+     *
+     * Note: The JSON must contain entries in the order they were originally appended.
+     * If a superseding entry appears before the entry it supersedes, the superseding
+     * logic will not work correctly. The toJSON method preserves this order.
+     *
+     * @param json The JSON string
+     * @returns A new BehaviorLedger instance
+     */
+    static fromJSON(json: string): BehaviorLedger;
+}
+/**
+ * Create a new behavior ledger.
+ *
+ * @returns A new empty ledger
+ */
+declare function createBehaviorLedger(): BehaviorLedger;
+
 /**
  * Praxis Schema Loader (Common/Browser Compatible)
  *
@@ -2798,4 +3052,4 @@ declare function attachAllIntegrations<TContext = unknown>(engine: LogicEngine<T
     dispose: () => void;
 }>;
 
-export { type ActivityState, type Actor, ActorManager, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateForGeneration, validateWithGuardian };
+export { AcknowledgeContractGap, type ActivityState, type Actor, ActorManager, Assumption, BehaviorLedger, type CanvasDocument, type CanvasEdge, type CanvasEdgeStyle, type CanvasEditorConfig, type CanvasNode, type CanvasNodeStyle, ComponentDefinition, ConstraintDescriptor, ConstraintFn, type ConstraintNode, type ConstraintSchema, Contract, ContractAdded, ContractGapAcknowledged, ContractMissing, ContractUpdated, ContractValidated, type DefineConstraintOptions, type DefineModuleOptions, type DefineRuleOptions, type EventDefinition, type EventStreamEntry, type FactDefinition, ReactiveLogicEngine as FrameworkAgnosticReactiveEngine, type ReactiveEngineOptions as FrameworkAgnosticReactiveEngineOptions, type GeneratedDoc, type GeneratedPluresDBFile, type GraphEdge, type GuardianError, type GuardianResult, type GuardianWarning, type LedgerEntry, type LedgerEntryStatus, type LifecycleState, type LoaderOptions, type LoaderResult, LogicDefinition, LogicEngine, MissingArtifact, ModelDefinition, PRAXIS_PATHS, type PluresDBAdapter, type PluresDBAdapterOptions, PluresDBGenerator, type PluresDBGeneratorOptions, PraxisDB, PraxisDBStore, type PraxisDBStoreOptions, PraxisEvent, PraxisFact, PraxisModule, PraxisRegistry, PraxisSchema, PraxisSchemaRegistry, PraxisState, type RegistryGraph, RegistryIntrospector, type RegistrySchema, type RegistryStats, RuleDescriptor, RuleFn, type RuleNode, type RuleSchema, Severity, type StateChangeCallback, type StateDoc, type StateDocsConfig, StateDocsGenerator, type StateMachineDoc, type StoredSchema, type TauriAppConfig, type TauriBridge, type TauriCommand, type TauriEvent, type TauriFS, type TauriFileEntry, type TauriMenuItem, type TauriNotification, type TauriNotificationOptions, type TauriPlugin, type TauriPraxisAdapter, type TauriSecurityConfig, type TauriTray, type TauriUpdateConfig, type TauriUpdateInfo, type TauriWindowConfig, type TransitionDoc, type UnifiedApp, type UnifiedAppConfig, UnsubscribeFn$1 as UnsubscribeFn, type UnumAdapter, type UnumAdapterConfig, type UnumChannel, type UnumIdentity, type UnumMessage, type UnumStore, ValidateContracts, type ValidateOptions, ValidationReport, ValidationResult, attachAllIntegrations, attachTauriToEngine, attachToEngine, attachUnumToEngine, canvasToMermaid, canvasToSchema, canvasToYaml, createBehaviorLedger, createCanvasEditor, createReactiveEngine as createFrameworkAgnosticReactiveEngine, createIntrospector, createMockTauriBridge, createPluresDBAdapter, createPluresDBGenerator, createPraxisDBStore, createSchemaRegistry, createStateDocsGenerator, createTauriPraxisAdapter, createTimerActor, createUnifiedApp, createUnumAdapter, defineConstraint, defineEvent, defineFact, defineModule, defineRule, filterEvents, filterFacts, findEvent, findFact, formatValidationReport, formatValidationReportJSON, formatValidationReportSARIF, generateDocs, generateId, generateTauriConfig, getEventPath, getFactPath, getSchemaPath, loadSchema, loadSchemaFromFile, loadSchemaFromJson, loadSchemaFromYaml, registerSchema, schemaToCanvas, validateContracts, validateForGeneration, validateWithGuardian };