@plures/praxis 1.3.0 → 1.4.4

package/src/factory/types.ts

@@ -0,0 +1,64 @@
+/**
+ * Praxis Rules Factory — Types
+ *
+ * Configuration types for predefined rule module factories.
+ */
+
+// ─── Input Rules ────────────────────────────────────────────────────────────
+
+export type SanitizationType = 'sql-injection' | 'xss' | 'path-traversal' | 'command-injection';
+
+export interface InputRulesConfig {
+  /** Sanitization checks to apply */
+  sanitize?: SanitizationType[];
+  /** Maximum input length (0 = unlimited) */
+  maxLength?: number;
+  /** Whether the input is required (non-empty) */
+  required?: boolean;
+  /** Custom field name for facts/events (default: 'input') */
+  fieldName?: string;
+}
+
+// ─── Toast Rules ────────────────────────────────────────────────────────────
+
+export interface ToastRulesConfig {
+  /** Only show toast if there's a meaningful diff */
+  requireDiff?: boolean;
+  /** Auto-dismiss after N milliseconds (0 = no auto-dismiss) */
+  autoDismissMs?: number;
+  /** Prevent duplicate toasts with same message */
+  deduplicate?: boolean;
+}
+
+// ─── Form Rules ─────────────────────────────────────────────────────────────
+
+export interface FormRulesConfig {
+  /** Validate fields on blur */
+  validateOnBlur?: boolean;
+  /** Gate form submission on validation passing */
+  submitGate?: boolean;
+  /** Custom form name for namespacing facts */
+  formName?: string;
+}
+
+// ─── Navigation Rules ───────────────────────────────────────────────────────
+
+export interface NavigationRulesConfig {
+  /** Warn/block navigation when form has unsaved changes */
+  dirtyGuard?: boolean;
+  /** Require authentication for navigation */
+  authRequired?: boolean;
+}
+
+// ─── Data Rules ─────────────────────────────────────────────────────────────
+
+export interface DataRulesConfig {
+  /** Enable optimistic UI updates */
+  optimisticUpdate?: boolean;
+  /** Rollback optimistic updates on error */
+  rollbackOnError?: boolean;
+  /** Invalidate relevant caches on data change */
+  cacheInvalidation?: boolean;
+  /** Custom entity name for facts */
+  entityName?: string;
+}

package/src/index.browser.ts

@@ -220,3 +220,86 @@ export {
 // Unified Integration Helpers
 export type { UnifiedAppConfig, UnifiedApp } from './integrations/unified.js';
 export { createUnifiedApp, attachAllIntegrations } from './integrations/unified.js';
+
+// ── Rule Result (typed rule returns — no empty arrays) ──────────────────────
+export { RuleResult, fact } from './core/rule-result.js';
+export type { TypedRuleFn } from './core/rule-result.js';
+
+// ── UI Rules (predefined, lightweight, separate from business logic) ────────
+export {
+  uiModule,
+  createUIModule,
+  loadingGateRule,
+  errorDisplayRule,
+  offlineIndicatorRule,
+  dirtyGuardRule,
+  initGateRule,
+  viewportRule,
+  noInteractionWhileLoadingConstraint,
+  mustBeInitializedConstraint,
+  uiStateChanged,
+  navigationRequest,
+  resizeEvent,
+} from './core/ui-rules.js';
+export type { UIContext } from './core/ui-rules.js';
+
+// ── Completeness Analysis ───────────────────────────────────────────────────
+export { auditCompleteness, formatReport } from './core/completeness.js';
+export type { LogicBranch, StateField, StateTransition, CompletenessReport, CompletenessConfig } from './core/completeness.js';
+
+// ── Expectations DSL (behavioral declarations) ─────────────────────────────
+export {
+  Expectation,
+  ExpectationSet,
+  expectBehavior,
+  verify,
+  formatVerificationReport,
+} from './expectations/index.js';
+export type {
+  ExpectationCondition,
+  ConditionStatus,
+  ConditionResult,
+  ExpectationResult,
+  VerificationReport,
+  ExpectationSetOptions,
+  VerifiableRegistry,
+  VerifiableDescriptor,
+} from './expectations/index.js';
+
+// ── Rules Factory (predefined modules) ─────────────────────────────────────
+export {
+  inputRules,
+  toastRules,
+  formRules,
+  navigationRules,
+  dataRules,
+} from './factory/index.js';
+export type {
+  InputRulesConfig,
+  ToastRulesConfig,
+  FormRulesConfig,
+  NavigationRulesConfig,
+  DataRulesConfig,
+  SanitizationType,
+} from './factory/index.js';
+
+// ── Project Logic (developer workflow) ──────────────────────────────────────
+export {
+  defineGate,
+  semverContract,
+  commitFromState,
+  branchRules,
+  lintGate,
+  formatGate,
+  expectationGate,
+} from './project/index.js';
+export type {
+  GateConfig,
+  GateState,
+  GateStatus,
+  SemverContractConfig,
+  SemverReport,
+  PraxisDiff,
+  BranchRulesConfig,
+  PredefinedGateConfig,
+} from './project/index.js';

package/src/index.ts

@@ -155,6 +155,51 @@ export type {
   LedgerEntryStatus,
 } from './decision-ledger/index.js';
 
+// Decision Ledger — Analyzer Engine
+export {
+  analyzeDependencyGraph,
+  findDeadRules,
+  findUnreachableStates,
+  findShadowedRules,
+  findContradictions,
+  findGaps,
+  traceDerivation,
+  traceImpact,
+  verifyContractExamples,
+  verifyInvariants,
+  findContractGaps,
+  crossReferenceContracts,
+  suggest,
+  suggestAll,
+  generateLedger,
+  formatLedger,
+  formatBuildOutput,
+  diffLedgers,
+} from './decision-ledger/index.js';
+export type {
+  FactNode,
+  DependencyEdge,
+  DependencyGraph,
+  DerivationStep,
+  DerivationChain,
+  DeadRule,
+  UnreachableState,
+  ShadowedRule,
+  Contradiction,
+  Gap,
+  ImpactReport,
+  ExampleVerification,
+  ContractVerificationResult,
+  InvariantCheck,
+  ContractCoverageGap,
+  CrossReference,
+  FindingType,
+  Suggestion,
+  AnalysisReport,
+  LedgerDiffEntry,
+  LedgerDiff,
+} from './decision-ledger/index.js';
+
 // Terminal Node Runtime
 export type {
   TerminalExecutionResult,
@@ -353,3 +398,92 @@ export type { UIContext } from './core/ui-rules.js';
 export { auditCompleteness, formatReport } from './core/completeness.js';
 export type { LogicBranch, StateField, StateTransition, CompletenessReport, CompletenessConfig } from './core/completeness.js';
 
+// ── Expectations DSL (behavioral declarations) ─────────────────────────────
+export {
+  Expectation,
+  ExpectationSet,
+  expectBehavior,
+  verify,
+  formatVerificationReport,
+} from './expectations/index.js';
+export type {
+  ExpectationCondition,
+  ConditionStatus,
+  ConditionResult,
+  ExpectationResult,
+  VerificationReport,
+  ExpectationSetOptions,
+  VerifiableRegistry,
+  VerifiableDescriptor,
+} from './expectations/index.js';
+
+// ── Rules Factory (predefined modules) ─────────────────────────────────────
+export {
+  inputRules,
+  toastRules,
+  formRules,
+  navigationRules,
+  dataRules,
+} from './factory/index.js';
+export type {
+  InputRulesConfig,
+  ToastRulesConfig,
+  FormRulesConfig,
+  NavigationRulesConfig,
+  DataRulesConfig,
+  SanitizationType,
+} from './factory/index.js';
+
+// ── Project Logic (developer workflow) ──────────────────────────────────────
+export {
+  defineGate,
+  semverContract,
+  commitFromState,
+  branchRules,
+  lintGate,
+  formatGate,
+  expectationGate,
+} from './project/index.js';
+export type {
+  GateConfig,
+  GateState,
+  GateStatus,
+  SemverContractConfig,
+  SemverReport,
+  PraxisDiff,
+  BranchRulesConfig,
+  PredefinedGateConfig,
+} from './project/index.js';
+
+// ── Chronos Project-Level Chronicle ─────────────────────────────────────────
+export {
+  ProjectChronicle,
+  createProjectChronicle,
+  Timeline,
+  createTimeline,
+  enableProjectChronicle,
+  recordAudit,
+  diffRegistries,
+  diffContracts,
+  diffExpectations,
+  formatDelta,
+  formatCommitMessage as formatBehavioralCommit,
+  formatReleaseNotes,
+} from './chronos/index.js';
+export type {
+  ProjectEvent,
+  ProjectEventKind,
+  ProjectChronicleOptions,
+  TimelineFilter,
+  BehavioralDelta,
+  ChronicleHandle,
+  EnableChronicleOptions,
+  RegistrySnapshot,
+  RegistryDiff,
+  ContractCoverage,
+  ContractDiff,
+  ExpectationSnapshot,
+  ExpectationDiff,
+  FullBehavioralDiff,
+} from './chronos/index.js';
+

package/src/mcp/index.ts

@@ -0,0 +1,33 @@
+/**
+ * Praxis MCP Module
+ *
+ * Public API for the MCP (Model Context Protocol) server.
+ * Exposes Praxis engine operations as AI-consumable tools.
+ *
+ * @example
+ * ```ts
+ * import { createPraxisMcpServer } from '@plures/praxis/mcp';
+ * ```
+ */
+
+export { createPraxisMcpServer } from './server.js';
+export type {
+  PraxisMcpServerOptions,
+  InspectInput,
+  InspectOutput,
+  RuleInfo,
+  ConstraintInfo,
+  EvaluateInput,
+  EvaluateOutput,
+  AuditInput,
+  AuditOutput,
+  SuggestInput,
+  SuggestOutput,
+  StepInput,
+  StepOutput,
+  FactsOutput,
+  ContractsInput,
+  ContractsOutput,
+  ContractInfo,
+  GatesInput,
+} from './types.js';