@plures/praxis 1.4.0 → 2.0.0

package/dist/node/integrations/svelte.d.cts

@@ -1,6 +1,7 @@
-import { L as LogicEngine } from '../reactive-engine.svelte-Cg0Yc2Hs.cjs';
-export { R as ReactiveEngineOptions, a as ReactiveLogicEngine, c as createReactiveEngine } from '../reactive-engine.svelte-Cg0Yc2Hs.cjs';
+import { L as LogicEngine } from '../reactive-engine.svelte-Cbq_V20o.cjs';
+export { R as ReactiveEngineOptions, a as ReactiveLogicEngine, c as createReactiveEngine } from '../reactive-engine.svelte-Cbq_V20o.cjs';
 import { P as PraxisState, a as PraxisEvent } from '../protocol-DcyGMmWY.cjs';
+import '../rule-result-B9GMivAn.cjs';
 
 /**
  * Svelte v5 Integration

package/dist/node/integrations/svelte.d.ts

@@ -1,6 +1,7 @@
-import { L as LogicEngine } from '../reactive-engine.svelte-DekxqFu0.js';
-export { R as ReactiveEngineOptions, a as ReactiveLogicEngine, c as createReactiveEngine } from '../reactive-engine.svelte-DekxqFu0.js';
+import { L as LogicEngine } from '../reactive-engine.svelte-BBZLMzus.js';
+export { R as ReactiveEngineOptions, a as ReactiveLogicEngine, c as createReactiveEngine } from '../reactive-engine.svelte-BBZLMzus.js';
 import { P as PraxisState, a as PraxisEvent } from '../protocol-DcyGMmWY.js';
+import '../rule-result-Bo3sFMmN.js';
 
 /**
  * Svelte v5 Integration

package/dist/node/integrations/svelte.js

@@ -1,9 +1,10 @@
 import {
   ReactiveLogicEngine,
   createReactiveEngine
-} from "../chunk-7M3HV4XR.js";
-import "../chunk-KMJWAFZV.js";
+} from "../chunk-WFRHXZBP.js";
 import "../chunk-TEMFJOIH.js";
+import "../chunk-JZDJU2DO.js";
+import "../chunk-IG5BJ2MT.js";
 import "../chunk-QGM4M3NI.js";
 
 // src/integrations/svelte.ts

package/dist/node/{reactive-engine.svelte-DekxqFu0.d.ts → reactive-engine.svelte-BBZLMzus.d.ts}

@@ -1,4 +1,5 @@
-import { b as PraxisFact, P as PraxisState, a as PraxisEvent, c as PraxisStepResult, d as PraxisStepConfig, e as PraxisDiagnostics } from './protocol-DcyGMmWY.js';
+import { P as PraxisState, a as PraxisEvent, b as PraxisFact, c as PraxisStepResult, d as PraxisStepConfig, e as PraxisDiagnostics } from './protocol-DcyGMmWY.js';
+import { R as RuleResult } from './rule-result-Bo3sFMmN.js';
 
 /**
  * Decision Ledger - Contract Types
@@ -162,83 +163,6 @@ interface ValidationReport {
     timestamp: string;
 }
 
-/**
- * The result of evaluating a rule. Every rule MUST return one of:
- * - `RuleResult.emit(facts)` — rule produced facts
- * - `RuleResult.noop(reason?)` — rule evaluated but had nothing to say
- * - `RuleResult.skip(reason?)` — rule decided to skip (preconditions not met)
- * - `RuleResult.retract(tags)` — rule retracts previously emitted facts
- */
-declare class RuleResult {
-    /** The kind of result */
-    readonly kind: 'emit' | 'noop' | 'skip' | 'retract';
-    /** Facts produced (only for 'emit') */
-    readonly facts: PraxisFact[];
-    /** Fact tags to retract (only for 'retract') */
-    readonly retractTags: string[];
-    /** Optional reason (for noop/skip/retract — useful for debugging) */
-    readonly reason?: string;
-    /** The rule ID that produced this result (set by engine) */
-    ruleId?: string;
-    private constructor();
-    /**
-     * Rule produced facts.
-     *
-     * @example
-     * return RuleResult.emit([
-     *   { tag: 'sprint.behind', payload: { deficit: 5 } }
-     * ]);
-     */
-    static emit(facts: PraxisFact[]): RuleResult;
-    /**
-     * Rule evaluated but had nothing to report.
-     * Unlike returning [], this is explicit and traceable.
-     *
-     * @example
-     * if (ctx.completedHours >= expectedHours) {
-     *   return RuleResult.noop('Sprint is on pace');
-     * }
-     */
-    static noop(reason?: string): RuleResult;
-    /**
-     * Rule decided to skip because preconditions were not met.
-     * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
-     *
-     * @example
-     * if (!ctx.sprintName) {
-     *   return RuleResult.skip('No active sprint');
-     * }
-     */
-    static skip(reason?: string): RuleResult;
-    /**
-     * Rule retracts previously emitted facts by tag.
-     * Used when a condition that previously produced facts is no longer true.
-     *
-     * @example
-     * // Sprint was behind, but caught up
-     * if (ctx.completedHours >= expectedHours) {
-     *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
-     * }
-     */
-    static retract(tags: string[], reason?: string): RuleResult;
-    /** Whether this result produced facts */
-    get hasFacts(): boolean;
-    /** Whether this result retracts facts */
-    get hasRetractions(): boolean;
-}
-/**
- * A rule function that returns a typed RuleResult.
- * New API — replaces the old PraxisFact[] return type.
- */
-type TypedRuleFn<TContext = unknown> = (state: PraxisState & {
-    context: TContext;
-    events: PraxisEvent[];
-}, events: PraxisEvent[]) => RuleResult;
-/**
- * Convenience: create a fact object (just a shorthand)
- */
-declare function fact(tag: string, payload: unknown): PraxisFact;
-
 /**
  * Rules and Constraints System
  *
@@ -634,4 +558,4 @@ declare class ReactiveLogicEngine<TContext extends object> {
  */
 declare function createReactiveEngine<TContext extends object>(options: ReactiveEngineOptions<TContext>): ReactiveLogicEngine<TContext>;
 
-export { type Assumption as A, type ConstraintDescriptor as C, type DefineContractOptions as D, type Example as E, LogicEngine as L, type MissingArtifact as M, PraxisRegistry as P, type ReactiveEngineOptions as R, type Severity as S, type TypedRuleFn as T, type ValidationReport as V, ReactiveLogicEngine as a, type RuleDescriptor as b, createReactiveEngine as c, type ConstraintFn as d, type Contract as e, type RuleFn as f, type PraxisModule as g, type ConstraintId as h, type ContractGap as i, type PraxisEngineOptions as j, type Reference as k, type RuleId as l, RuleResult as m, createPraxisEngine as n, defineContract as o, fact as p, getContract as q, isContract as r };
+export { type Assumption as A, type ConstraintDescriptor as C, type DefineContractOptions as D, type Example as E, LogicEngine as L, type MissingArtifact as M, PraxisRegistry as P, type ReactiveEngineOptions as R, type Severity as S, type ValidationReport as V, ReactiveLogicEngine as a, type RuleDescriptor as b, createReactiveEngine as c, type ConstraintFn as d, type Contract as e, type RuleFn as f, type PraxisModule as g, type ConstraintId as h, type ContractGap as i, type PraxisEngineOptions as j, type Reference as k, type RuleId as l, createPraxisEngine as m, defineContract as n, getContract as o, isContract as p };

package/dist/node/{reactive-engine.svelte-Cg0Yc2Hs.d.cts → reactive-engine.svelte-Cbq_V20o.d.cts}

@@ -1,4 +1,5 @@
-import { b as PraxisFact, P as PraxisState, a as PraxisEvent, c as PraxisStepResult, d as PraxisStepConfig, e as PraxisDiagnostics } from './protocol-DcyGMmWY.cjs';
+import { P as PraxisState, a as PraxisEvent, b as PraxisFact, c as PraxisStepResult, d as PraxisStepConfig, e as PraxisDiagnostics } from './protocol-DcyGMmWY.cjs';
+import { R as RuleResult } from './rule-result-B9GMivAn.cjs';
 
 /**
  * Decision Ledger - Contract Types
@@ -162,83 +163,6 @@ interface ValidationReport {
     timestamp: string;
 }
 
-/**
- * The result of evaluating a rule. Every rule MUST return one of:
- * - `RuleResult.emit(facts)` — rule produced facts
- * - `RuleResult.noop(reason?)` — rule evaluated but had nothing to say
- * - `RuleResult.skip(reason?)` — rule decided to skip (preconditions not met)
- * - `RuleResult.retract(tags)` — rule retracts previously emitted facts
- */
-declare class RuleResult {
-    /** The kind of result */
-    readonly kind: 'emit' | 'noop' | 'skip' | 'retract';
-    /** Facts produced (only for 'emit') */
-    readonly facts: PraxisFact[];
-    /** Fact tags to retract (only for 'retract') */
-    readonly retractTags: string[];
-    /** Optional reason (for noop/skip/retract — useful for debugging) */
-    readonly reason?: string;
-    /** The rule ID that produced this result (set by engine) */
-    ruleId?: string;
-    private constructor();
-    /**
-     * Rule produced facts.
-     *
-     * @example
-     * return RuleResult.emit([
-     *   { tag: 'sprint.behind', payload: { deficit: 5 } }
-     * ]);
-     */
-    static emit(facts: PraxisFact[]): RuleResult;
-    /**
-     * Rule evaluated but had nothing to report.
-     * Unlike returning [], this is explicit and traceable.
-     *
-     * @example
-     * if (ctx.completedHours >= expectedHours) {
-     *   return RuleResult.noop('Sprint is on pace');
-     * }
-     */
-    static noop(reason?: string): RuleResult;
-    /**
-     * Rule decided to skip because preconditions were not met.
-     * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
-     *
-     * @example
-     * if (!ctx.sprintName) {
-     *   return RuleResult.skip('No active sprint');
-     * }
-     */
-    static skip(reason?: string): RuleResult;
-    /**
-     * Rule retracts previously emitted facts by tag.
-     * Used when a condition that previously produced facts is no longer true.
-     *
-     * @example
-     * // Sprint was behind, but caught up
-     * if (ctx.completedHours >= expectedHours) {
-     *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
-     * }
-     */
-    static retract(tags: string[], reason?: string): RuleResult;
-    /** Whether this result produced facts */
-    get hasFacts(): boolean;
-    /** Whether this result retracts facts */
-    get hasRetractions(): boolean;
-}
-/**
- * A rule function that returns a typed RuleResult.
- * New API — replaces the old PraxisFact[] return type.
- */
-type TypedRuleFn<TContext = unknown> = (state: PraxisState & {
-    context: TContext;
-    events: PraxisEvent[];
-}, events: PraxisEvent[]) => RuleResult;
-/**
- * Convenience: create a fact object (just a shorthand)
- */
-declare function fact(tag: string, payload: unknown): PraxisFact;
-
 /**
  * Rules and Constraints System
  *
@@ -634,4 +558,4 @@ declare class ReactiveLogicEngine<TContext extends object> {
  */
 declare function createReactiveEngine<TContext extends object>(options: ReactiveEngineOptions<TContext>): ReactiveLogicEngine<TContext>;
 
-export { type Assumption as A, type ConstraintDescriptor as C, type DefineContractOptions as D, type Example as E, LogicEngine as L, type MissingArtifact as M, PraxisRegistry as P, type ReactiveEngineOptions as R, type Severity as S, type TypedRuleFn as T, type ValidationReport as V, ReactiveLogicEngine as a, type RuleDescriptor as b, createReactiveEngine as c, type ConstraintFn as d, type Contract as e, type RuleFn as f, type PraxisModule as g, type ConstraintId as h, type ContractGap as i, type PraxisEngineOptions as j, type Reference as k, type RuleId as l, RuleResult as m, createPraxisEngine as n, defineContract as o, fact as p, getContract as q, isContract as r };
+export { type Assumption as A, type ConstraintDescriptor as C, type DefineContractOptions as D, type Example as E, LogicEngine as L, type MissingArtifact as M, PraxisRegistry as P, type ReactiveEngineOptions as R, type Severity as S, type ValidationReport as V, ReactiveLogicEngine as a, type RuleDescriptor as b, createReactiveEngine as c, type ConstraintFn as d, type Contract as e, type RuleFn as f, type PraxisModule as g, type ConstraintId as h, type ContractGap as i, type PraxisEngineOptions as j, type Reference as k, type RuleId as l, createPraxisEngine as m, defineContract as n, getContract as o, isContract as p };

package/dist/node/rule-result-B9GMivAn.d.cts

@@ -0,0 +1,80 @@
+import { b as PraxisFact, P as PraxisState, a as PraxisEvent } from './protocol-DcyGMmWY.cjs';
+
+/**
+ * The result of evaluating a rule. Every rule MUST return one of:
+ * - `RuleResult.emit(facts)` — rule produced facts
+ * - `RuleResult.noop(reason?)` — rule evaluated but had nothing to say
+ * - `RuleResult.skip(reason?)` — rule decided to skip (preconditions not met)
+ * - `RuleResult.retract(tags)` — rule retracts previously emitted facts
+ */
+declare class RuleResult {
+    /** The kind of result */
+    readonly kind: 'emit' | 'noop' | 'skip' | 'retract';
+    /** Facts produced (only for 'emit') */
+    readonly facts: PraxisFact[];
+    /** Fact tags to retract (only for 'retract') */
+    readonly retractTags: string[];
+    /** Optional reason (for noop/skip/retract — useful for debugging) */
+    readonly reason?: string;
+    /** The rule ID that produced this result (set by engine) */
+    ruleId?: string;
+    private constructor();
+    /**
+     * Rule produced facts.
+     *
+     * @example
+     * return RuleResult.emit([
+     *   { tag: 'sprint.behind', payload: { deficit: 5 } }
+     * ]);
+     */
+    static emit(facts: PraxisFact[]): RuleResult;
+    /**
+     * Rule evaluated but had nothing to report.
+     * Unlike returning [], this is explicit and traceable.
+     *
+     * @example
+     * if (ctx.completedHours >= expectedHours) {
+     *   return RuleResult.noop('Sprint is on pace');
+     * }
+     */
+    static noop(reason?: string): RuleResult;
+    /**
+     * Rule decided to skip because preconditions were not met.
+     * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
+     *
+     * @example
+     * if (!ctx.sprintName) {
+     *   return RuleResult.skip('No active sprint');
+     * }
+     */
+    static skip(reason?: string): RuleResult;
+    /**
+     * Rule retracts previously emitted facts by tag.
+     * Used when a condition that previously produced facts is no longer true.
+     *
+     * @example
+     * // Sprint was behind, but caught up
+     * if (ctx.completedHours >= expectedHours) {
+     *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
+     * }
+     */
+    static retract(tags: string[], reason?: string): RuleResult;
+    /** Whether this result produced facts */
+    get hasFacts(): boolean;
+    /** Whether this result retracts facts */
+    get hasRetractions(): boolean;
+}
+/**
+ * A rule function that returns a typed RuleResult.
+ * New API — replaces the old PraxisFact[] return type.
+ */
+type TypedRuleFn<TContext = unknown> = (state: PraxisState & {
+    context: TContext;
+    events: PraxisEvent[];
+}, events: PraxisEvent[]) => RuleResult;
+/**
+ * Convenience: create a fact object (just a shorthand)
+ */
+declare function fact(tag: string, payload: unknown): PraxisFact;
+
+export { RuleResult as R, type TypedRuleFn as T, fact as f };

package/dist/node/rule-result-Bo3sFMmN.d.ts

@@ -0,0 +1,80 @@
+import { b as PraxisFact, P as PraxisState, a as PraxisEvent } from './protocol-DcyGMmWY.js';
+
+/**
+ * The result of evaluating a rule. Every rule MUST return one of:
+ * - `RuleResult.emit(facts)` — rule produced facts
+ * - `RuleResult.noop(reason?)` — rule evaluated but had nothing to say
+ * - `RuleResult.skip(reason?)` — rule decided to skip (preconditions not met)
+ * - `RuleResult.retract(tags)` — rule retracts previously emitted facts
+ */
+declare class RuleResult {
+    /** The kind of result */
+    readonly kind: 'emit' | 'noop' | 'skip' | 'retract';
+    /** Facts produced (only for 'emit') */
+    readonly facts: PraxisFact[];
+    /** Fact tags to retract (only for 'retract') */
+    readonly retractTags: string[];
+    /** Optional reason (for noop/skip/retract — useful for debugging) */
+    readonly reason?: string;
+    /** The rule ID that produced this result (set by engine) */
+    ruleId?: string;
+    private constructor();
+    /**
+     * Rule produced facts.
+     *
+     * @example
+     * return RuleResult.emit([
+     *   { tag: 'sprint.behind', payload: { deficit: 5 } }
+     * ]);
+     */
+    static emit(facts: PraxisFact[]): RuleResult;
+    /**
+     * Rule evaluated but had nothing to report.
+     * Unlike returning [], this is explicit and traceable.
+     *
+     * @example
+     * if (ctx.completedHours >= expectedHours) {
+     *   return RuleResult.noop('Sprint is on pace');
+     * }
+     */
+    static noop(reason?: string): RuleResult;
+    /**
+     * Rule decided to skip because preconditions were not met.
+     * Distinct from noop: skip means "I can't evaluate", noop means "I evaluated and found nothing".
+     *
+     * @example
+     * if (!ctx.sprintName) {
+     *   return RuleResult.skip('No active sprint');
+     * }
+     */
+    static skip(reason?: string): RuleResult;
+    /**
+     * Rule retracts previously emitted facts by tag.
+     * Used when a condition that previously produced facts is no longer true.
+     *
+     * @example
+     * // Sprint was behind, but caught up
+     * if (ctx.completedHours >= expectedHours) {
+     *   return RuleResult.retract(['sprint.behind'], 'Sprint caught up');
+     * }
+     */
+    static retract(tags: string[], reason?: string): RuleResult;
+    /** Whether this result produced facts */
+    get hasFacts(): boolean;
+    /** Whether this result retracts facts */
+    get hasRetractions(): boolean;
+}
+/**
+ * A rule function that returns a typed RuleResult.
+ * New API — replaces the old PraxisFact[] return type.
+ */
+type TypedRuleFn<TContext = unknown> = (state: PraxisState & {
+    context: TContext;
+    events: PraxisEvent[];
+}, events: PraxisEvent[]) => RuleResult;
+/**
+ * Convenience: create a fact object (just a shorthand)
+ */
+declare function fact(tag: string, payload: unknown): PraxisFact;
+
+export { RuleResult as R, type TypedRuleFn as T, fact as f };

package/dist/node/{server-SYZPDULV.js → server-FKLVY57V.js}

@@ -6,9 +6,11 @@ import {
   getContractFromDescriptor
 } from "./chunk-PGVSB6NR.js";
 import {
-  LogicEngine,
+  LogicEngine
+} from "./chunk-JZDJU2DO.js";
+import {
   RuleResult
-} from "./chunk-KMJWAFZV.js";
+} from "./chunk-IG5BJ2MT.js";
 import "./chunk-QGM4M3NI.js";
 
 // src/mcp/server.ts