@intutic/shared-types 1.0.1

package/dist/sop.d.ts

@@ -0,0 +1,387 @@
+/**
+ * SOP (Standard Operating Procedure) registry types.
+ *
+ * These types correspond to the `sop_registry` table and the
+ * SOP proof tree structures used by the SSL (Self-Supervised Learning)
+ * synthesis pipeline.
+ *
+ * HLD §3.4 (SOP Registry), LLD 01-data-architecture §3.1, LLD #6
+ *
+ * @module
+ */
+import type { ChangeClassification, ComplexityTier, RiskLevel, SopLifecycleState } from './enums.js';
+/**
+ * A Standard Operating Procedure in the registry.
+ *
+ * SOPs are the governance documents that define expected agent behavior.
+ * They are versioned, classified by risk/complexity, and follow a
+ * lifecycle from hypothesis through validation to deprecation.
+ *
+ * LLD §3.1 — sop_registry table
+ */
+export interface Sop {
+    /** Unique SOP identifier — `newId('sp')`. */
+    sopId: string;
+    /** Workspace this SOP belongs to — FK to `workspaces`. */
+    workspaceId: string;
+    /** Human-readable title of the SOP. */
+    title: string;
+    /** Semantic version string (e.g., '1.0.0'). */
+    version: string;
+    /** Full markdown content of the SOP document. CONFIDENTIAL. */
+    markdownContent: string;
+    /** Risk severity tier assigned to this SOP. */
+    riskTier: RiskLevel;
+    /** Task complexity tier for routing. */
+    complexityTier: ComplexityTier;
+    /** Whether this SOP version is currently active. */
+    isActive: boolean;
+    /** Current lifecycle state. */
+    lifecycleState: SopLifecycleState;
+    /** Optional when it was created. */
+    createdAt?: string;
+    /** Optional when it was updated. */
+    updatedAt?: string;
+    /** Optional SHA-256 hash of markdown content. */
+    contentHash?: string;
+    /** Optional SOP IDs this SOP depends on. */
+    dependencies?: string[];
+    /** Optional author/creator who registered the SOP. */
+    createdBy?: string;
+    /** Optional connector credentials ID. */
+    connectorId?: string;
+    /** Optional external source identifier. */
+    externalId?: string;
+    /** Version counter for optimistic locking. */
+    versionCounter?: number;
+}
+/**
+ * A proof tree produced by the SSL bottom-up synthesis pipeline.
+ *
+ * Proof trees capture the formal verification structure of an SOP,
+ * including the synthesis score (Family B metric) that measures
+ * how well the SOP has been validated against real-world execution traces.
+ *
+ * HLD §3.4 — SSL Skill Graph, Family B synthesis metrics
+ */
+export interface SopProofTree {
+    /** Unique tree identifier — `newId('pt')`. */
+    treeId: string;
+    /** SOP this proof tree belongs to — FK to `sop_registry`. */
+    sopId: string;
+    /** Monotonically increasing version number. */
+    version: number;
+    /** The proof tree structure (JSON). */
+    treeJson: Record<string, unknown>;
+    /** Bottom-up synthesis score (0.0–1.0). */
+    synthesisScore: number;
+}
+/**
+ * Audit record for a SOP lifecycle state transition.
+ *
+ * Every transition through the 7-state FSM is logged in the
+ * `sop_lifecycle_transitions` table for governance auditability.
+ *
+ * @see HLD §3.4 — SOP Lifecycle FSM
+ */
+export interface SopLifecycleTransition {
+    /** Unique transition identifier — `newId('lt')`. */
+    transitionId: string;
+    /** SOP that transitioned — FK to `sop_registry`. */
+    sopId: string;
+    /** Workspace scope — FK to `workspaces`. */
+    workspaceId: string;
+    /** State before the transition. */
+    fromState: SopLifecycleState;
+    /** State after the transition. */
+    toState: SopLifecycleState;
+    /** How the change affects the prior version (anti-gaming gate). */
+    changeClassification?: ChangeClassification;
+    /** User or system actor who triggered the transition. */
+    actorId: string;
+    /** Explanation for the transition (required for WEAKEN). */
+    rationale?: string;
+    /** Anti-gaming gate evaluation result. */
+    antiGamingResult?: {
+        gatePassed: boolean;
+        classificationConfidence: number;
+        reviewRequired: boolean;
+    };
+    /** When the transition occurred. */
+    createdAt: string;
+}
+/**
+ * Aggregated health metrics snapshot for a SOP.
+ *
+ * Computed by `sopHealthService.computeHealthMetrics()` and cached
+ * in Valkey at `v2:sop:health:{sop_id}` with a 5-minute TTL.
+ *
+ * @see HLD §3.4 — SOP Health Dashboard
+ */
+export interface SopHealthMetrics {
+    /** SOP identifier. */
+    sopId: string;
+    /** Workspace identifier. */
+    workspaceId: string;
+    /** Last time this SOP was matched by an execution trace. */
+    lastMatchAt: string | null;
+    /** Last time this SOP was edited. */
+    lastEditAt: string | null;
+    /** Number of matches in the last 30 days. */
+    matchCount30d: number;
+    /** Average compliance score across recent traces (0.0–1.0). */
+    avgCompliance: number;
+    /** Number of behavioral drift events detected. */
+    driftEventCount: number;
+    /** Total accumulated cost in USD attributed to this SOP. */
+    totalCostUsd: number;
+    /** Whether this SOP is stale (no matches in SOP_STALENESS_DAYS). */
+    isStale: boolean;
+}
+/**
+ * A queued item in the Dream Cycle processing pipeline.
+ *
+ * Items originate from capability misses (LLD #5), decision mining
+ * entries, or drift signals. Phase 1: queue management only.
+ * Phase 3: LLM synthesis consumes the queue.
+ *
+ * @see HLD §3.4.6 — Dream Cycle
+ */
+export interface DreamCycleQueueItem {
+    /** Unique queue item identifier — `newId('dq')`. */
+    queueItemId: string;
+    /** Workspace scope — FK to `workspaces`. */
+    workspaceId: string;
+    /** Origin of the queue item. */
+    sourceType: 'CAPABILITY_MISS' | 'DECISION_MINING' | 'DRIFT_SIGNAL';
+    /** Source entity ID (FK to originating table). */
+    sourceId: string;
+    /** Priority (lower = higher priority). Default: 100. */
+    priority: number;
+    /** Queue item status. */
+    status: 'PENDING' | 'PROCESSING' | 'COMPLETED' | 'FAILED';
+    /** Resulting SOP ID (populated on COMPLETED). */
+    resultSopId?: string;
+    /** Error message (populated on FAILED). */
+    errorMessage?: string;
+    /** When the item was enqueued. */
+    enqueuedAt: string;
+    /** When processing started. */
+    startedAt?: string;
+    /** When processing completed or failed. */
+    completedAt?: string;
+}
+/**
+ * Input for enqueuing a Dream Cycle item.
+ *
+ * @see HLD §3.4.6 — Dream Cycle
+ */
+export interface DreamCycleEnqueueInput {
+    /** Workspace to enqueue in. */
+    workspaceId: string;
+    /** Origin of the queue item. */
+    sourceType: 'CAPABILITY_MISS' | 'DECISION_MINING' | 'DRIFT_SIGNAL';
+    /** Source entity ID. */
+    sourceId: string;
+    /** Priority override. Default: 100. */
+    priority?: number;
+}
+/**
+ * Result of a Gödel completeness probe evaluation.
+ *
+ * Evaluates a SOP against the 13-category quality rubric (HLD §3.7).
+ * Distinct from the 12-category runtime anomaly taxonomy (LLD #5).
+ *
+ * @see HLD §3.7 — Gödel Completeness Probe
+ */
+export interface GodelProbeResult {
+    /** Unique result identifier — `newId('gp')`. */
+    resultId: string;
+    /** SOP that was evaluated. */
+    sopId: string;
+    /** Workspace scope. */
+    workspaceId: string;
+    /** Weighted aggregate score (0.0–1.0). */
+    aggregateScore: number;
+    /** Per-category scores (13 categories). */
+    categoryScores: Record<string, number>;
+    /** Probe version used for evaluation. */
+    probeVersion: string;
+    /** When the evaluation was performed. */
+    evaluatedAt: string;
+}
+/**
+ * Partial content update for forking a new SOP version.
+ *
+ * @see HLD §3.4.8 — Version chain
+ */
+export interface SopContentUpdate {
+    /** Updated title. */
+    title?: string;
+    /** Updated markdown content. */
+    markdownContent?: string;
+    /** Updated risk tier. */
+    riskTier?: RiskLevel;
+    /** Updated complexity tier. */
+    complexityTier?: ComplexityTier;
+}
+/**
+ * Result of a lifecycle state transition attempt.
+ */
+export interface SopLifecycleTransitionResult {
+    /** Whether the transition succeeded. */
+    success: boolean;
+    /** SOP that was (or was not) transitioned. */
+    sopId: string;
+    /** State before the transition. */
+    fromState: SopLifecycleState;
+    /** Requested target state. */
+    toState: SopLifecycleState;
+    /** Reason for failure (undefined on success). */
+    reason?: string;
+}
+/**
+ * The 10 valid lifecycle transitions in the 7-state FSM.
+ *
+ * @see HLD §3.4 — SOP Lifecycle
+ */
+export declare const VALID_SOP_TRANSITIONS: ReadonlyArray<{
+    from: SopLifecycleState;
+    to: SopLifecycleState;
+    description: string;
+}>;
+/**
+ * Maps lifecycle state to enforcement mode.
+ */
+export declare const ENFORCEMENT_BY_STATE: Record<SopLifecycleState, 'NONE' | 'SHADOW' | 'ACTIVE'>;
+/** Edge types in the SOP dependency graph. */
+export type SopEdgeType = 'DEPENDS_ON' | 'DERIVES_FROM' | 'VALIDATES';
+/** An edge in the SOP dependency graph. */
+export interface SopGraphEdge {
+    fromId: string;
+    toId: string;
+    edgeType: SopEdgeType;
+    metadata?: Record<string, unknown>;
+}
+/** Preview of cascade invalidation impact (read-only). */
+export interface CascadeImpactResult {
+    rootSopId: string;
+    affectedSopIds: string[];
+    affectedCount: number;
+    depth: number;
+}
+/** Result of an executed cascade invalidation. */
+export interface CascadeInvalidationResult {
+    rootSopId: string;
+    invalidatedSopIds: string[];
+    invalidatedCount: number;
+    depth: number;
+}
+/** Result of anti-gaming analysis on a SOP change. */
+export interface AntiGamingResult {
+    changeClassification: ChangeClassification;
+    requiresElevatedApproval: boolean;
+    impactSummary: string;
+}
+/** Deviation types during plan execution. */
+export type DeviationType = 'TOOL_SUBSTITUTION' | 'STEP_SKIP' | 'STEP_REORDER' | 'EXTRA_STEP' | 'PARAMETER_DRIFT';
+/** A single deviation from a stored plan. */
+export interface PlanDeviation {
+    stepIndex: number;
+    deviationType: DeviationType;
+    expectedTool?: string;
+    actualTool?: string;
+    details?: string;
+}
+/** Adherence score for a stored plan. */
+export interface PlanAdherenceScore {
+    planId: string;
+    totalSteps: number;
+    completedSteps: number;
+    deviationCount: number;
+    adherencePercent: number;
+}
+/** A stored plan artifact. */
+export interface StoredPlan {
+    planId: string;
+    workspaceId: string;
+    sopId: string | null;
+    createdBy: string;
+    approvedBy: string | null;
+    approvalTimestamp: string | null;
+    harnessType: string;
+    lifecycleState: string;
+    steps: Record<string, unknown>[];
+    executionOutcome: string | null;
+    deviationLog: PlanDeviation[];
+    approvalRationale: string | null;
+}
+/** Recommendation types from decision mining analysis. */
+export type DecisionRecommendation = 'THRESHOLD_RELAXATION' | 'AUTO_KILL_UPGRADE' | 'SOP_REFINEMENT' | 'NO_ACTION';
+/** Aggregated decision mining analysis. */
+export interface DecisionMiningAnalysis {
+    sopId: string | null;
+    totalDecisions: number;
+    approvedRate: number;
+    rejectedRate: number;
+    recommendation: DecisionRecommendation;
+}
+/** Gate result from Gödel scoring. */
+export type GodelGateResult = 'BLOCKED' | 'PENDING_REVIEW' | 'GENERATED';
+/** Score result from the 13-category Gödel rubric. */
+export interface GodelScore {
+    totalScore: number;
+    categories: Record<string, number>;
+    gateResult: GodelGateResult;
+}
+/** Diff between two proof tree versions. */
+export interface ProofTreeDiff {
+    fromVersion: number;
+    toVersion: number;
+    addedNodes: string[];
+    removedNodes: string[];
+    modifiedNodes: string[];
+}
+/** Summary row of an SOP for lists in the UI. */
+export interface SopSummary {
+    sopId: string;
+    title: string;
+    version: string;
+    lifecycleState: SopLifecycleState | string;
+    riskTier: RiskLevel | string;
+    complexityTier: ComplexityTier | string;
+    contentHash?: string;
+    isActive?: boolean;
+    createdAt?: string;
+    updatedAt?: string;
+}
+/** Paginated result from SOP listing. */
+export interface SopListResult {
+    items: SopSummary[];
+    total: number;
+    page: number;
+    limit: number;
+}
+/** Filters for SOP query. */
+export interface SopFilters {
+    page?: number;
+    limit?: number;
+    lifecycle_state?: string;
+    risk_tier?: string;
+    all_versions?: boolean;
+}
+export interface DecisionEntry {
+    entry_id: string;
+    session_id: string;
+    workspace_id: string;
+    original_tool_call: string;
+    hijacked_tool_call: string;
+    rationale: string;
+    status: 'PENDING_REVIEW' | 'APPROVED' | 'REJECTED' | 'PROMOTED' | string;
+    created_at: string | null;
+}
+export interface DecisionListResult {
+    items: DecisionEntry[];
+    total: number;
+}
+//# sourceMappingURL=sop.d.ts.map

package/dist/sop.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sop.d.ts","sourceRoot":"","sources":["../src/sop.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,cAAc,EACd,SAAS,EACT,iBAAiB,EAClB,MAAM,YAAY,CAAA;AAInB;;;;;;;;GAQG;AACH,MAAM,WAAW,GAAG;IAClB,6CAA6C;IAC7C,KAAK,EAAE,MAAM,CAAA;IAEb,0DAA0D;IAC1D,WAAW,EAAE,MAAM,CAAA;IAEnB,uCAAuC;IACvC,KAAK,EAAE,MAAM,CAAA;IAEb,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IAEf,+DAA+D;IAC/D,eAAe,EAAE,MAAM,CAAA;IAEvB,+CAA+C;IAC/C,QAAQ,EAAE,SAAS,CAAA;IAEnB,wCAAwC;IACxC,cAAc,EAAE,cAAc,CAAA;IAE9B,oDAAoD;IACpD,QAAQ,EAAE,OAAO,CAAA;IAEjB,+BAA+B;IAC/B,cAAc,EAAE,iBAAiB,CAAA;IAEjC,oCAAoC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,oCAAoC;IACpC,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,iDAAiD;IACjD,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB,4CAA4C;IAC5C,YAAY,CAAC,EAAE,MAAM,EAAE,CAAA;IAEvB,sDAAsD;IACtD,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,yCAAyC;IACzC,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,CAAA;IAEnB,8CAA8C;IAC9C,cAAc,CAAC,EAAE,MAAM,CAAA;CACxB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,8CAA8C;IAC9C,MAAM,EAAE,MAAM,CAAA;IAEd,6DAA6D;IAC7D,KAAK,EAAE,MAAM,CAAA;IAEb,+CAA+C;IAC/C,OAAO,EAAE,MAAM,CAAA;IAEf,uCAAuC;IACvC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;IAEjC,2CAA2C;IAC3C,cAAc,EAAE,MAAM,CAAA;CACvB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,sBAAsB;IACrC,oDAAoD;IACpD,YAAY,EAAE,MAAM,CAAA;IAEpB,oDAAoD;IACpD,KAAK,EAAE,MAAM,CAAA;IAEb,4CAA4C;IAC5C,WAAW,EAAE,MAAM,CAAA;IAEnB,mCAAmC;IACnC,SAAS,EAAE,iBAAiB,CAAA;IAE5B,kCAAkC;IAClC,OAAO,EAAE,iBAAiB,CAAA;IAE1B,mEAAmE;IACnE,oBAAoB,CAAC,EAAE,oBAAoB,CAAA;IAE3C,yDAAyD;IACzD,OAAO,EAAE,MAAM,CAAA;IAEf,4DAA4D;IAC5D,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,0CAA0C;IAC1C,gBAAgB,CAAC,EAAE;QACjB,UAAU,EAAE,OAAO,CAAA;QACnB,wBAAwB,EAAE,MAAM,CAAA;QAChC,cAAc,EAAE,OAAO,CAAA;KACxB,CAAA;IAED,oCAAoC;IACpC,SAAS,EAAE,MAAM,CAAA;CAClB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,sBAAsB;IACtB,KAAK,EAAE,MAAM,CAAA;IAEb,4BAA4B;IAC5B,WAAW,EAAE,MAAM,CAAA;IAEnB,4DAA4D;IAC5D,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;IAE1B,qCAAqC;IACrC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IAEzB,6CAA6C;IAC7C,aAAa,EAAE,MAAM,CAAA;IAErB,+DAA+D;IAC/D,aAAa,EAAE,MAAM,CAAA;IAErB,kDAAkD;IAClD,eAAe,EAAE,MAAM,CAAA;IAEvB,4DAA4D;IAC5D,YAAY,EAAE,MAAM,CAAA;IAEpB,oEAAoE;IACpE,OAAO,EAAE,OAAO,CAAA;CACjB;AAID;;;;;;;;GAQG;AACH,MAAM,WAAW,mBAAmB;IAClC,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAA;IAEnB,4CAA4C;IAC5C,WAAW,EAAE,MAAM,CAAA;IAEnB,gCAAgC;IAChC,UAAU,EAAE,iBAAiB,GAAG,iBAAiB,GAAG,cAAc,CAAA;IAElE,kDAAkD;IAClD,QAAQ,EAAE,MAAM,CAAA;IAEhB,wDAAwD;IACxD,QAAQ,EAAE,MAAM,CAAA;IAEhB,yBAAyB;IACzB,MAAM,EAAE,SAAS,GAAG,YAAY,GAAG,WAAW,GAAG,QAAQ,CAAA;IAEzD,iDAAiD;IACjD,WAAW,CAAC,EAAE,MAAM,CAAA;IAEpB,2CAA2C;IAC3C,YAAY,CAAC,EAAE,MAAM,CAAA;IAErB,kCAAkC;IAClC,UAAU,EAAE,MAAM,CAAA;IAElB,+BAA+B;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAA;IAElB,2CAA2C;IAC3C,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,sBAAsB;IACrC,+BAA+B;IAC/B,WAAW,EAAE,MAAM,CAAA;IAEnB,gCAAgC;IAChC,UAAU,EAAE,iBAAiB,GAAG,iBAAiB,GAAG,cAAc,CAAA;IAElE,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAA;IAEhB,uCAAuC;IACvC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAID;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gDAAgD;IAChD,QAAQ,EAAE,MAAM,CAAA;IAEhB,8BAA8B;IAC9B,KAAK,EAAE,MAAM,CAAA;IAEb,uBAAuB;IACvB,WAAW,EAAE,MAAM,CAAA;IAEnB,0CAA0C;IAC1C,cAAc,EAAE,MAAM,CAAA;IAEtB,2CAA2C;IAC3C,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAEtC,yCAAyC;IACzC,YAAY,EAAE,MAAM,CAAA;IAEpB,yCAAyC;IACzC,WAAW,EAAE,MAAM,CAAA;CACpB;AAID;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,qBAAqB;IACrB,KAAK,CAAC,EAAE,MAAM,CAAA;IAEd,gCAAgC;IAChC,eAAe,CAAC,EAAE,MAAM,CAAA;IAExB,yBAAyB;IACzB,QAAQ,CAAC,EAAE,SAAS,CAAA;IAEpB,+BAA+B;IAC/B,cAAc,CAAC,EAAE,cAAc,CAAA;CAChC;AAID;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,wCAAwC;IACxC,OAAO,EAAE,OAAO,CAAA;IAChB,8CAA8C;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,mCAAmC;IACnC,SAAS,EAAE,iBAAiB,CAAA;IAC5B,8BAA8B;IAC9B,OAAO,EAAE,iBAAiB,CAAA;IAC1B,iDAAiD;IACjD,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,iBAAiB,CAAC;IAAC,EAAE,EAAE,iBAAiB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAW/G,CAAA;AAEV;;GAEG;AACH,eAAO,MAAM,oBAAoB,EAAE,MAAM,CAAC,iBAAiB,EAAE,MAAM,GAAG,QAAQ,GAAG,QAAQ,CAQxF,CAAA;AAID,8CAA8C;AAC9C,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,cAAc,GAAG,WAAW,CAAA;AAErE,2CAA2C;AAC3C,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,WAAW,CAAA;IACrB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACnC;AAID,0DAA0D;AAC1D,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAA;IACjB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,aAAa,EAAE,MAAM,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CACd;AAED,kDAAkD;AAClD,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAA;IACjB,iBAAiB,EAAE,MAAM,EAAE,CAAA;IAC3B,gBAAgB,EAAE,MAAM,CAAA;IACxB,KAAK,EAAE,MAAM,CAAA;CACd;AAID,sDAAsD;AACtD,MAAM,WAAW,gBAAgB;IAC/B,oBAAoB,EAAE,oBAAoB,CAAA;IAC1C,wBAAwB,EAAE,OAAO,CAAA;IACjC,aAAa,EAAE,MAAM,CAAA;CACtB;AAID,6CAA6C;AAC7C,MAAM,MAAM,aAAa,GACrB,mBAAmB,GACnB,WAAW,GACX,cAAc,GACd,YAAY,GACZ,iBAAiB,CAAA;AAErB,6CAA6C;AAC7C,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAA;IACjB,aAAa,EAAE,aAAa,CAAA;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,yCAAyC;AACzC,MAAM,WAAW,kBAAkB;IACjC,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,cAAc,EAAE,MAAM,CAAA;IACtB,cAAc,EAAE,MAAM,CAAA;IACtB,gBAAgB,EAAE,MAAM,CAAA;CACzB;AAED,8BAA8B;AAC9B,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,EAAE,MAAM,CAAA;IACnB,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAA;IAChC,WAAW,EAAE,MAAM,CAAA;IACnB,cAAc,EAAE,MAAM,CAAA;IACtB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAA;IAChC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,YAAY,EAAE,aAAa,EAAE,CAAA;IAC7B,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAA;CACjC;AAID,0DAA0D;AAC1D,MAAM,MAAM,sBAAsB,GAC9B,sBAAsB,GACtB,mBAAmB,GACnB,gBAAgB,GAChB,WAAW,CAAA;AAEf,2CAA2C;AAC3C,MAAM,WAAW,sBAAsB;IACrC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,cAAc,EAAE,MAAM,CAAA;IACtB,YAAY,EAAE,MAAM,CAAA;IACpB,YAAY,EAAE,MAAM,CAAA;IACpB,cAAc,EAAE,sBAAsB,CAAA;CACvC;AAID,sCAAsC;AACtC,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,gBAAgB,GAAG,WAAW,CAAA;AAExE,sDAAsD;AACtD,MAAM,WAAW,UAAU;IACzB,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAClC,UAAU,EAAE,eAAe,CAAA;CAC5B;AAID,4CAA4C;AAC5C,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,MAAM,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB,UAAU,EAAE,MAAM,EAAE,CAAA;IACpB,YAAY,EAAE,MAAM,EAAE,CAAA;IACtB,aAAa,EAAE,MAAM,EAAE,CAAA;CACxB;AAID,iDAAiD;AACjD,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,iBAAiB,GAAG,MAAM,CAAA;IAC1C,QAAQ,EAAE,SAAS,GAAG,MAAM,CAAA;IAC5B,cAAc,EAAE,cAAc,GAAG,MAAM,CAAA;IACvC,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB;AAED,yCAAyC;AACzC,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;CACd;AAED,6BAA6B;AAC7B,MAAM,WAAW,UAAU;IACzB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,eAAe,CAAC,EAAE,MAAM,CAAA;IACxB,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,EAAE,MAAM,CAAA;IAChB,UAAU,EAAE,MAAM,CAAA;IAClB,YAAY,EAAE,MAAM,CAAA;IACpB,kBAAkB,EAAE,MAAM,CAAA;IAC1B,kBAAkB,EAAE,MAAM,CAAA;IAC1B,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,gBAAgB,GAAG,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAA;IACxE,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;CAC1B;AAED,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,aAAa,EAAE,CAAA;IACtB,KAAK,EAAE,MAAM,CAAA;CACd"}

package/dist/sop.js

@@ -0,0 +1,44 @@
+"use strict";
+/**
+ * SOP (Standard Operating Procedure) registry types.
+ *
+ * These types correspond to the `sop_registry` table and the
+ * SOP proof tree structures used by the SSL (Self-Supervised Learning)
+ * synthesis pipeline.
+ *
+ * HLD §3.4 (SOP Registry), LLD 01-data-architecture §3.1, LLD #6
+ *
+ * @module
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ENFORCEMENT_BY_STATE = exports.VALID_SOP_TRANSITIONS = void 0;
+/**
+ * The 10 valid lifecycle transitions in the 7-state FSM.
+ *
+ * @see HLD §3.4 — SOP Lifecycle
+ */
+exports.VALID_SOP_TRANSITIONS = [
+    { from: 'DRAFT', to: 'PENDING_REVIEW', description: 'Submit for review' },
+    { from: 'PENDING_REVIEW', to: 'GENERATED', description: 'Gödel score passes threshold' },
+    { from: 'PENDING_REVIEW', to: 'DRAFT', description: 'Return to draft for edits' },
+    { from: 'GENERATED', to: 'HYPOTHESIZED', description: 'Deploy in shadow mode' },
+    { from: 'HYPOTHESIZED', to: 'REFINED', description: 'Refine based on shadow results' },
+    { from: 'HYPOTHESIZED', to: 'INVALIDATED', description: 'Hypothesis disproved' },
+    { from: 'REFINED', to: 'VALIDATED', description: 'Promote to active enforcement' },
+    { from: 'REFINED', to: 'INVALIDATED', description: 'Refinement failed' },
+    { from: 'VALIDATED', to: 'INVALIDATED', description: 'Invalidated by cascade or manual' },
+    { from: 'VALIDATED', to: 'PENDING_REVIEW', description: 'Cascade invalidation triggers re-review' },
+];
+/**
+ * Maps lifecycle state to enforcement mode.
+ */
+exports.ENFORCEMENT_BY_STATE = {
+    DRAFT: 'NONE',
+    PENDING_REVIEW: 'NONE',
+    GENERATED: 'NONE',
+    HYPOTHESIZED: 'SHADOW',
+    REFINED: 'SHADOW',
+    VALIDATED: 'ACTIVE',
+    INVALIDATED: 'NONE',
+};
+//# sourceMappingURL=sop.js.map

package/dist/sop.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sop.js","sourceRoot":"","sources":["../src/sop.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;GAUG;;;AAmUH;;;;GAIG;AACU,QAAA,qBAAqB,GAA2F;IAC3H,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW,EAAE,mBAAmB,EAAE;IACzE,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,8BAA8B,EAAE;IACxF,EAAE,IAAI,EAAE,gBAAgB,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE;IACjF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,cAAc,EAAE,WAAW,EAAE,uBAAuB,EAAE;IAC/E,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,WAAW,EAAE,gCAAgC,EAAE;IACtF,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,sBAAsB,EAAE;IAChF,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,EAAE,+BAA+B,EAAE;IAClF,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,mBAAmB,EAAE;IACxE,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,aAAa,EAAE,WAAW,EAAE,kCAAkC,EAAE;IACzF,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,gBAAgB,EAAE,WAAW,EAAE,yCAAyC,EAAE;CAC3F,CAAA;AAEV;;GAEG;AACU,QAAA,oBAAoB,GAA4D;IAC3F,KAAK,EAAE,MAAM;IACb,cAAc,EAAE,MAAM;IACtB,SAAS,EAAE,MAAM;IACjB,YAAY,EAAE,QAAQ;IACtB,OAAO,EAAE,QAAQ;IACjB,SAAS,EAAE,QAAQ;IACnB,WAAW,EAAE,MAAM;CACpB,CAAA"}