@10et/cli 1.0.0

package/dist/lib/setup/invariant-bridge.js

@@ -0,0 +1,384 @@
+/**
+ * @purpose Bridge between TLA+ invariants and runtime InvariantMonitor
+ *
+ * Phase 2: Generate InvariantMonitor rules from:
+ * 1. TLA+ invariant definitions (spec-generator)
+ * 2. TLC violation counterexamples (jfl verify output)
+ * 3. PlanningLoop invariant gates
+ *
+ * Phase 3: Generate negative training tuples from TLC violations
+ * for PolicyHead training (the model learns to avoid unsafe actions).
+ */
+import { existsSync, readFileSync, writeFileSync, mkdirSync } from "fs";
+import { join } from "path";
+// ============================================================================
+// Phase 2: Generate Runtime Rules from TLA+ Model
+// ============================================================================
+/**
+ * Generate InvariantMonitor rules from a SystemModel's planning loop gates
+ * and TLA+ invariant definitions.
+ */
+export function generateRuntimeRules(model) {
+    const rules = [];
+    // From planning loop invariant gates
+    if (model.planningLoop) {
+        for (const gate of model.planningLoop.invariantGates) {
+            rules.push(gateToRule(gate));
+        }
+    }
+    // From TLA+ invariant definitions
+    for (const inv of model.invariants) {
+        rules.push({
+            id: `tla_${inv.name}`,
+            name: inv.name,
+            description: inv.description,
+            severity: inv.severity === "info" ? "warning" : inv.severity,
+            source: "tla+",
+            condition: {
+                stateFields: extractStateFields(inv.formula),
+                expression: inv.description,
+                predicate: tlaToTSPredicate(inv.name, inv.formula),
+            },
+            action: inv.severity === "critical" ? "VETO" : "WARN",
+            recovery: `Address ${inv.name} violation — ${inv.description}`,
+            tlaFormula: inv.formula,
+        });
+    }
+    return rules;
+}
+/**
+ * Convert a PlanningLoop InvariantGate to a RuntimeInvariantRule
+ */
+function gateToRule(gate) {
+    return {
+        id: `gate_${gate.name}`,
+        name: gate.name,
+        description: gate.condition,
+        severity: gate.action === "VETO" ? "critical" : gate.action === "THROTTLE" ? "error" : "warning",
+        source: "planning_gate",
+        condition: {
+            stateFields: extractStateFields(gate.tlaFormula),
+            expression: gate.condition,
+            predicate: gateToPredicate(gate),
+        },
+        action: gate.action,
+        recovery: `Resolve ${gate.name}: ${gate.condition}`,
+        tlaFormula: gate.tlaFormula,
+    };
+}
+/**
+ * Extract state field names from a TLA+ formula
+ */
+function extractStateFields(formula) {
+    const fields = [];
+    const patterns = {
+        hubStatus: "systemState.hubConnections",
+        serviceStatus: "systemState.hubConnections",
+        agentStatus: "systemState.activeAgents",
+        repoLocks: "systemState.fileLocks",
+        cpuTemp: "systemState.cpuTemp",
+        memoryPressure: "systemState.memoryPressure",
+        humanEditing: "contextState.humanActivity",
+        trainingBuffer: "systemState.pendingEvals",
+        planningPhase: "planningPhase",
+        selectedTool: "selectedTool",
+        rolloutCount: "rolloutCount",
+    };
+    for (const [tlaVar, stateField] of Object.entries(patterns)) {
+        if (formula.includes(tlaVar)) {
+            fields.push(stateField);
+        }
+    }
+    return [...new Set(fields)];
+}
+/**
+ * Convert a TLA+ invariant name to a TypeScript predicate
+ * Returns a function body string that takes (state: WorldState)
+ */
+function tlaToTSPredicate(name, formula) {
+    const predicates = {
+        NoParallelEdits: `
+      const locks = state.systemState.fileLocks;
+      const uniqueLocks = new Set(locks);
+      return uniqueLocks.size < locks.length; // violation if duplicates`,
+        HubRequiredForScheduling: `
+      const hubDown = state.systemState.hubConnections === 0;
+      const hasActive = state.systemState.activeAgents.length > 0;
+      return hubDown && hasActive; // violation if hub down with active agents`,
+        LockIntegrity: `
+      const active = Object.entries(state.systemState.worktreeAllocation)
+        .filter(([, path]) => path !== "none");
+      return active.length > 0 && state.systemState.fileLocks.length === 0;
+      // violation if active agents without locks`,
+    };
+    return predicates[name] || `return false; // TODO: implement check for ${name}`;
+}
+/**
+ * Convert a PlanningLoop gate to a TypeScript predicate string
+ */
+function gateToPredicate(gate) {
+    const predicates = {
+        NoAgentStranding: `return state.systemState.hubConnections === 0 && state.systemState.activeAgents.length > 0`,
+        HumanAgentIsolation: `return state.contextState.humanActivity === true`,
+        WorktreeExclusivity: `
+      const allocs = Object.values(state.systemState.worktreeAllocation).filter(p => p !== "none");
+      return allocs.length !== new Set(allocs).size`,
+        ProposalRequired: `return proposals.length === 0`,
+        InvariantCheckRequired: `return !allProposalsChecked`,
+        RolloutBeforeSelect: `return rolloutCount === 0`,
+        AuthorityRespected: `return false; // enforced by planning loop structure`,
+        ThermalSafety: `return (state.systemState as any).cpuTemp > 85`,
+        MemoryBound: `return (state.systemState as any).memoryPressure > 80`,
+    };
+    return predicates[gate.name] || `return false; // TODO: implement ${gate.name}`;
+}
+// ============================================================================
+// Phase 2: Generate Rules from TLC Violations
+// ============================================================================
+/**
+ * Read TLC violation results and generate runtime rules from counterexamples.
+ * Each counterexample becomes a rule that prevents the specific state transition
+ * that led to the violation.
+ */
+export function generateRulesFromViolations(projectRoot) {
+    const violationsPath = join(projectRoot, ".jfl", "specs", "violations.json");
+    if (!existsSync(violationsPath))
+        return [];
+    const data = JSON.parse(readFileSync(violationsPath, "utf-8"));
+    const rules = [];
+    for (const spec of data.specs || []) {
+        for (const violation of spec.violations || []) {
+            const trace = violation.trace || [];
+            if (trace.length === 0)
+                continue;
+            // The violation action is the last step that broke the invariant
+            const triggerStep = trace[trace.length - 1];
+            const prevStep = trace.length > 1 ? trace[trace.length - 2] : null;
+            rules.push({
+                id: `tlc_${violation.invariant}_${trace.length}`,
+                name: `TLC: ${violation.invariant}`,
+                description: `TLC found ${violation.invariant} violation via ${triggerStep?.action || "unknown"} at depth ${trace.length}`,
+                severity: "critical",
+                source: "tlc_violation",
+                condition: {
+                    stateFields: Object.keys(triggerStep?.state || {}),
+                    expression: `${triggerStep?.action || "Action"} while ${formatViolationCondition(prevStep, violation.invariant)}`,
+                    predicate: generateViolationPredicate(violation.invariant, trace),
+                },
+                action: "VETO",
+                recovery: `Prevent ${triggerStep?.action} when ${formatViolationCondition(prevStep, violation.invariant)}`,
+                tlaFormula: violation.invariant,
+                counterexample: {
+                    steps: trace,
+                    depth: trace.length,
+                    invariantViolated: violation.invariant,
+                },
+            });
+        }
+    }
+    return rules;
+}
+function formatViolationCondition(prevStep, invariant) {
+    if (!prevStep?.state)
+        return `${invariant} preconditions hold`;
+    const conditions = [];
+    for (const [key, val] of Object.entries(prevStep.state)) {
+        if (key === "serviceStatus" && val.includes("down")) {
+            conditions.push("service is down");
+        }
+        if (key === "agentStatus" && val.includes("running")) {
+            conditions.push("agents are running");
+        }
+        if (key === "repoLocks" && val.includes("{")) {
+            conditions.push("repo locks are held");
+        }
+    }
+    return conditions.length > 0 ? conditions.join(" and ") : `${invariant} preconditions`;
+}
+function generateViolationPredicate(invariant, trace) {
+    // Generate a predicate that detects the preconditions of the violation
+    const lastStep = trace[trace.length - 1];
+    const action = lastStep?.action || "";
+    if (invariant === "HubRequiredForScheduling") {
+        return `
+      // TLC violation: hub crashed while agent was scheduled/running
+      const hubDown = state.systemState.hubConnections === 0;
+      const hasActive = state.systemState.activeAgents.length > 0;
+      return hubDown && hasActive;`;
+    }
+    if (invariant === "NoParallelEdits") {
+        return `
+      // TLC violation: two agents editing same files
+      const locks = state.systemState.fileLocks;
+      return locks.length !== new Set(locks).size;`;
+    }
+    if (invariant === "LockIntegrity") {
+        return `
+      // TLC violation: agent running without proper lock
+      const active = state.systemState.activeAgents.filter(a =>
+        !state.systemState.fileLocks.some(l => l.includes(a)));
+      return active.length > 0;`;
+    }
+    return `return false; // TODO: implement check for ${invariant} (action: ${action})`;
+}
+// ============================================================================
+// Phase 3: Generate Training Tuples from Violations
+// ============================================================================
+/**
+ * Convert TLC violation counterexamples into negative training tuples
+ * for the PolicyHead. Each violation trace becomes a (state, action, negative_reward)
+ * tuple that teaches the model to avoid unsafe actions.
+ */
+export function generateViolationTrainingTuples(projectRoot) {
+    const violationsPath = join(projectRoot, ".jfl", "specs", "violations.json");
+    if (!existsSync(violationsPath))
+        return [];
+    const data = JSON.parse(readFileSync(violationsPath, "utf-8"));
+    const tuples = [];
+    for (const spec of data.specs || []) {
+        for (const violation of spec.violations || []) {
+            const trace = violation.trace || [];
+            if (trace.length < 2)
+                continue;
+            // Each step in the trace that leads toward the violation is a negative example
+            for (let i = 1; i < trace.length; i++) {
+                const step = trace[i];
+                const prevStep = trace[i - 1];
+                const action = step.action || "unknown";
+                // Map TLC action names to v2 tool names
+                const toolName = tlcActionToTool(action);
+                if (!toolName)
+                    continue;
+                // Build state text from the TLC state
+                const stateText = buildStateTextFromTLC(prevStep.state, spec.specName);
+                // Build goal text from the invariant being violated
+                const goalText = `${invariantToGoal(violation.invariant)}. Context: ${action} was attempted.`;
+                tuples.push({
+                    state_text: stateText,
+                    goal_text: goalText,
+                    action_type: toolName,
+                    outcome: "regressed",
+                    invariant: violation.invariant,
+                    source: "tlc_violation",
+                });
+            }
+        }
+    }
+    return tuples;
+}
+/**
+ * Map TLC action names to v2 PolicyHead tool names
+ */
+function tlcActionToTool(tlcAction) {
+    const mapping = {
+        ScheduleAgent: "run_experiment",
+        AgentStart: "run_experiment",
+        AgentEval: "run_experiment",
+        AgentComplete: "run_experiment",
+        AgentReset: "update_config",
+        AgentRecover: "fix_bug",
+        ServiceCrash: "add_monitoring",
+        ServiceRestart: "fix_bug",
+        PHPropose: "run_experiment",
+        DMSimulate: "run_experiment",
+        IMCheck: "add_monitoring",
+        SelectAction: "run_experiment",
+        Execute: "run_experiment",
+    };
+    return mapping[tlcAction] || null;
+}
+/**
+ * Build a PolicyHead-compatible state text from TLC state variables
+ */
+function buildStateTextFromTLC(state, specName) {
+    // Extract meaningful signals from TLC state
+    const hubDown = state.serviceStatus?.includes('"down"') ?? false;
+    const activeAgents = (state.agentStatus?.match(/"running"|"eval"|"scheduled"/g) || []).length;
+    const totalAgents = (state.agentStatus?.match(/"/g) || []).length / 2;
+    const composite = hubDown ? 0.3 : (activeAgents > 0 ? 0.6 : 0.8);
+    const testRate = hubDown ? 0.5 : 0.9;
+    const buildHealth = hubDown ? 0.0 : 0.9;
+    return [
+        `Agent: ${specName}`,
+        `Composite: ${composite.toFixed(4)}`,
+        `Tests: ${Math.round(testRate * 20)}/${20}`,
+        `Trajectory: ${activeAgents}`,
+        `Dimensions: test_pass_rate=${testRate.toFixed(4)}, build_health=${buildHealth.toFixed(4)}, hub_health=${hubDown ? "0.0000" : "1.0000"}`,
+        `Recent deltas: ${hubDown ? "-0.5000" : "+0.0100"}`,
+    ].join("\n");
+}
+/**
+ * Convert an invariant name to a natural language goal
+ */
+function invariantToGoal(invariant) {
+    const goals = {
+        HubRequiredForScheduling: "Ensure agents don't run when the hub is unavailable",
+        NoParallelEdits: "Prevent concurrent file edits that could cause merge conflicts",
+        LockIntegrity: "Maintain worktree lock consistency for running agents",
+        BoundedConcurrency: "Keep concurrent agent count within safe limits",
+        BufferBounded: "Prevent training buffer overflow",
+        NoExecutionWithoutIMApproval: "Ensure all actions pass invariant checks before execution",
+        VetoedNeverExecuted: "Never execute an action that was vetoed by safety checks",
+        HubRequiredForExecution: "Block action execution when hub is down",
+        SimulationBeforeSelection: "Require DM rollout before selecting an action",
+        AuthorityHierarchy: "Respect the IM > RO > WO > PH authority chain",
+    };
+    return goals[invariant] || `Maintain ${invariant} system invariant`;
+}
+// ============================================================================
+// Write to Disk
+// ============================================================================
+/**
+ * Write generated runtime rules to .jfl/invariant-rules.json
+ * These are loaded by the InvariantMonitor at runtime.
+ */
+export function writeRuntimeRules(projectRoot, rules) {
+    const rulesPath = join(projectRoot, ".jfl", "invariant-rules.json");
+    writeFileSync(rulesPath, JSON.stringify(rules, null, 2));
+    return rulesPath;
+}
+/**
+ * Write violation training tuples to the training buffer
+ * (appended to existing training-buffer.jsonl)
+ */
+export function writeViolationTuples(projectRoot, tuples) {
+    if (tuples.length === 0)
+        return 0;
+    const bufferPath = join(projectRoot, ".jfl", "training-buffer.jsonl");
+    mkdirSync(join(projectRoot, ".jfl"), { recursive: true });
+    const lines = tuples.map(t => JSON.stringify({
+        v: 1,
+        ts: new Date().toISOString(),
+        session: "tlc-violation-mining",
+        state: {
+            composite_score: 0.3,
+            dimension_scores: { hub_health: 0, build_health: 0 },
+            tests_passing: 0,
+            tests_total: 1,
+            trajectory_length: 0,
+            recent_deltas: [-0.5],
+            agent: "system",
+        },
+        action: {
+            type: t.action_type,
+            description: t.goal_text,
+            files_affected: [],
+            scope: "medium",
+        },
+        outcome: {
+            improved: false,
+            delta: -0.1,
+            reward: -1.0,
+        },
+        meta: {
+            source: t.source,
+            invariant: t.invariant,
+            state_text: t.state_text,
+            goal_text: t.goal_text,
+        },
+    }));
+    const existing = existsSync(bufferPath) ? readFileSync(bufferPath, "utf-8") : "";
+    writeFileSync(bufferPath, existing + lines.join("\n") + "\n");
+    return tuples.length;
+}
+//# sourceMappingURL=invariant-bridge.js.map

package/dist/lib/setup/invariant-bridge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariant-bridge.js","sourceRoot":"","sources":["../../../src/lib/setup/invariant-bridge.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,IAAI,CAAA;AACvE,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAoE3B,+EAA+E;AAC/E,kDAAkD;AAClD,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAkB;IACrD,MAAM,KAAK,GAA2B,EAAE,CAAA;IAExC,qCAAqC;IACrC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,CAAC;YACrD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC;YACT,EAAE,EAAE,OAAO,GAAG,CAAC,IAAI,EAAE;YACrB,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,WAAW,EAAE,GAAG,CAAC,WAAW;YAC5B,QAAQ,EAAE,GAAG,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ;YAC5D,MAAM,EAAE,MAAM;YACd,SAAS,EAAE;gBACT,WAAW,EAAE,kBAAkB,CAAC,GAAG,CAAC,OAAO,CAAC;gBAC5C,UAAU,EAAE,GAAG,CAAC,WAAW;gBAC3B,SAAS,EAAE,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC;aACnD;YACD,MAAM,EAAE,GAAG,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM;YACrD,QAAQ,EAAE,WAAW,GAAG,CAAC,IAAI,gBAAgB,GAAG,CAAC,WAAW,EAAE;YAC9D,UAAU,EAAE,GAAG,CAAC,OAAO;SACxB,CAAC,CAAA;IACJ,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;GAEG;AACH,SAAS,UAAU,CAAC,IAAmB;IACrC,OAAO;QACL,EAAE,EAAE,QAAQ,IAAI,CAAC,IAAI,EAAE;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,WAAW,EAAE,IAAI,CAAC,SAAS;QAC3B,QAAQ,EAAE,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;QAChG,MAAM,EAAE,eAAe;QACvB,SAAS,EAAE;YACT,WAAW,EAAE,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;YAChD,UAAU,EAAE,IAAI,CAAC,SAAS;YAC1B,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC;SACjC;QACD,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,WAAW,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,EAAE;QACnD,UAAU,EAAE,IAAI,CAAC,UAAU;KAC5B,CAAA;AACH,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CAAC,OAAe;IACzC,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,QAAQ,GAA2B;QACvC,SAAS,EAAE,4BAA4B;QACvC,aAAa,EAAE,4BAA4B;QAC3C,WAAW,EAAE,0BAA0B;QACvC,SAAS,EAAE,uBAAuB;QAClC,OAAO,EAAE,qBAAqB;QAC9B,cAAc,EAAE,4BAA4B;QAC5C,YAAY,EAAE,4BAA4B;QAC1C,cAAc,EAAE,0BAA0B;QAC1C,aAAa,EAAE,eAAe;QAC9B,YAAY,EAAE,cAAc;QAC5B,YAAY,EAAE,cAAc;KAC7B,CAAA;IAED,KAAK,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5D,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IAED,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAA;AAC7B,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CAAC,IAAY,EAAE,OAAe;IACrD,MAAM,UAAU,GAA2B;QACzC,eAAe,EAAE;;;yEAGoD;QAErE,wBAAwB,EAAE;;;+EAGiD;QAE3E,aAAa,EAAE;;;;kDAI+B;KAC/C,CAAA;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,8CAA8C,IAAI,EAAE,CAAA;AACjF,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,IAAmB;IAC1C,MAAM,UAAU,GAA2B;QACzC,gBAAgB,EAAE,4FAA4F;QAC9G,mBAAmB,EAAE,kDAAkD;QACvE,mBAAmB,EAAE;;oDAE2B;QAChD,gBAAgB,EAAE,+BAA+B;QACjD,sBAAsB,EAAE,6BAA6B;QACrD,mBAAmB,EAAE,2BAA2B;QAChD,kBAAkB,EAAE,sDAAsD;QAC1E,aAAa,EAAE,gDAAgD;QAC/D,WAAW,EAAE,uDAAuD;KACrE,CAAA;IAED,OAAO,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oCAAoC,IAAI,CAAC,IAAI,EAAE,CAAA;AACjF,CAAC;AAED,+EAA+E;AAC/E,8CAA8C;AAC9C,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,UAAU,2BAA2B,CAAC,WAAmB;IAC7D,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5E,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,CAAA;IAE1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAA;IAC9D,MAAM,KAAK,GAA2B,EAAE,CAAA;IAExC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,EAAE,CAAA;YACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YAEhC,iEAAiE;YACjE,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC3C,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;YAElE,KAAK,CAAC,IAAI,CAAC;gBACT,EAAE,EAAE,OAAO,SAAS,CAAC,SAAS,IAAI,KAAK,CAAC,MAAM,EAAE;gBAChD,IAAI,EAAE,QAAQ,SAAS,CAAC,SAAS,EAAE;gBACnC,WAAW,EAAE,aAAa,SAAS,CAAC,SAAS,kBAAkB,WAAW,EAAE,MAAM,IAAI,SAAS,aAAa,KAAK,CAAC,MAAM,EAAE;gBAC1H,QAAQ,EAAE,UAAU;gBACpB,MAAM,EAAE,eAAe;gBACvB,SAAS,EAAE;oBACT,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE,CAAC;oBAClD,UAAU,EAAE,GAAG,WAAW,EAAE,MAAM,IAAI,QAAQ,UAAU,wBAAwB,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE;oBACjH,SAAS,EAAE,0BAA0B,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC;iBAClE;gBACD,MAAM,EAAE,MAAM;gBACd,QAAQ,EAAE,WAAW,WAAW,EAAE,MAAM,SAAS,wBAAwB,CAAC,QAAQ,EAAE,SAAS,CAAC,SAAS,CAAC,EAAE;gBAC1G,UAAU,EAAE,SAAS,CAAC,SAAS;gBAC/B,cAAc,EAAE;oBACd,KAAK,EAAE,KAAK;oBACZ,KAAK,EAAE,KAAK,CAAC,MAAM;oBACnB,iBAAiB,EAAE,SAAS,CAAC,SAAS;iBACvC;aACF,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,QAAmC,EAAE,SAAiB;IACtF,IAAI,CAAC,QAAQ,EAAE,KAAK;QAAE,OAAO,GAAG,SAAS,qBAAqB,CAAA;IAE9D,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,IAAI,GAAG,KAAK,eAAe,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACpD,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACpC,CAAC;QACD,IAAI,GAAG,KAAK,aAAa,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACrD,UAAU,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;QACvC,CAAC;QACD,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAC7C,UAAU,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;QACxC,CAAC;IACH,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,gBAAgB,CAAA;AACxF,CAAC;AAED,SAAS,0BAA0B,CAAC,SAAiB,EAAE,KAA2B;IAChF,uEAAuE;IACvE,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACxC,MAAM,MAAM,GAAG,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAA;IAErC,IAAI,SAAS,KAAK,0BAA0B,EAAE,CAAC;QAC7C,OAAO;;;;mCAIwB,CAAA;IACjC,CAAC;IAED,IAAI,SAAS,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO;;;mDAGwC,CAAA;IACjD,CAAC;IAED,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;QAClC,OAAO;;;;gCAIqB,CAAA;IAC9B,CAAC;IAED,OAAO,8CAA8C,SAAS,aAAa,MAAM,GAAG,CAAA;AACtF,CAAC;AAED,+EAA+E;AAC/E,oDAAoD;AACpD,+EAA+E;AAE/E;;;;GAIG;AACH,MAAM,UAAU,+BAA+B,CAAC,WAAmB;IACjE,MAAM,cAAc,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,CAAC,CAAA;IAC5E,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,OAAO,EAAE,CAAA;IAE1C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC,CAAA;IAC9D,MAAM,MAAM,GAA6B,EAAE,CAAA;IAE3C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;QACpC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,EAAE,CAAA;YACnC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAQ;YAE9B,+EAA+E;YAC/E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;gBACrB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;gBAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAA;gBAEvC,wCAAwC;gBACxC,MAAM,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,CAAA;gBACxC,IAAI,CAAC,QAAQ;oBAAE,SAAQ;gBAEvB,sCAAsC;gBACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAEtE,oDAAoD;gBACpD,MAAM,QAAQ,GAAG,GAAG,eAAe,CAAC,SAAS,CAAC,SAAS,CAAC,cAAc,MAAM,iBAAiB,CAAA;gBAE7F,MAAM,CAAC,IAAI,CAAC;oBACV,UAAU,EAAE,SAAS;oBACrB,SAAS,EAAE,QAAQ;oBACnB,WAAW,EAAE,QAAQ;oBACrB,OAAO,EAAE,WAAW;oBACpB,SAAS,EAAE,SAAS,CAAC,SAAS;oBAC9B,MAAM,EAAE,eAAe;iBACxB,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,SAAiB;IACxC,MAAM,OAAO,GAA2B;QACtC,aAAa,EAAE,gBAAgB;QAC/B,UAAU,EAAE,gBAAgB;QAC5B,SAAS,EAAE,gBAAgB;QAC3B,aAAa,EAAE,gBAAgB;QAC/B,UAAU,EAAE,eAAe;QAC3B,YAAY,EAAE,SAAS;QACvB,YAAY,EAAE,gBAAgB;QAC9B,cAAc,EAAE,SAAS;QACzB,SAAS,EAAE,gBAAgB;QAC3B,UAAU,EAAE,gBAAgB;QAC5B,OAAO,EAAE,gBAAgB;QACzB,YAAY,EAAE,gBAAgB;QAC9B,OAAO,EAAE,gBAAgB;KAC1B,CAAA;IACD,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,IAAI,CAAA;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAAC,KAA6B,EAAE,QAAgB;IAC5E,4CAA4C;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAA;IAChE,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,+BAA+B,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAA;IAC7F,MAAM,WAAW,GAAG,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAErE,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;IACpC,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAA;IAEvC,OAAO;QACL,UAAU,QAAQ,EAAE;QACpB,cAAc,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;QACpC,UAAU,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QAC3C,eAAe,YAAY,EAAE;QAC7B,8BAA8B,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,EAAE;QACxI,kBAAkB,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,EAAE;KACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACd,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,SAAiB;IACxC,MAAM,KAAK,GAA2B;QACpC,wBAAwB,EAAE,qDAAqD;QAC/E,eAAe,EAAE,gEAAgE;QACjF,aAAa,EAAE,uDAAuD;QACtE,kBAAkB,EAAE,gDAAgD;QACpE,aAAa,EAAE,kCAAkC;QACjD,4BAA4B,EAAE,2DAA2D;QACzF,mBAAmB,EAAE,0DAA0D;QAC/E,uBAAuB,EAAE,yCAAyC;QAClE,yBAAyB,EAAE,+CAA+C;QAC1E,kBAAkB,EAAE,+CAA+C;KACpE,CAAA;IACD,OAAO,KAAK,CAAC,SAAS,CAAC,IAAI,YAAY,SAAS,mBAAmB,CAAA;AACrE,CAAC;AAED,+EAA+E;AAC/E,gBAAgB;AAChB,+EAA+E;AAE/E;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmB,EAAE,KAA6B;IAClF,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,sBAAsB,CAAC,CAAA;IACnE,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;IACxD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAAC,WAAmB,EAAE,MAAgC;IACxF,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,CAAC,CAAA;IAEjC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAA;IACrE,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAEzD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC;QAC3C,CAAC,EAAE,CAAC;QACJ,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAC5B,OAAO,EAAE,sBAAsB;QAC/B,KAAK,EAAE;YACL,eAAe,EAAE,GAAG;YACpB,gBAAgB,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE;YACpD,aAAa,EAAE,CAAC;YAChB,WAAW,EAAE,CAAC;YACd,iBAAiB,EAAE,CAAC;YACpB,aAAa,EAAE,CAAC,CAAC,GAAG,CAAC;YACrB,KAAK,EAAE,QAAQ;SAChB;QACD,MAAM,EAAE;YACN,IAAI,EAAE,CAAC,CAAC,WAAW;YACnB,WAAW,EAAE,CAAC,CAAC,SAAS;YACxB,cAAc,EAAE,EAAE;YAClB,KAAK,EAAE,QAAQ;SAChB;QACD,OAAO,EAAE;YACP,QAAQ,EAAE,KAAK;YACf,KAAK,EAAE,CAAC,GAAG;YACX,MAAM,EAAE,CAAC,GAAG;SACb;QACD,IAAI,EAAE;YACJ,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,UAAU,EAAE,CAAC,CAAC,UAAU;YACxB,SAAS,EAAE,CAAC,CAAC,SAAS;SACvB;KACF,CAAC,CAAC,CAAA;IAEH,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAChF,aAAa,CAAC,UAAU,EAAE,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;IAE7D,OAAO,MAAM,CAAC,MAAM,CAAA;AACtB,CAAC"}

package/dist/lib/setup/smart-eval-generator.d.ts

@@ -0,0 +1,38 @@
+/**
+ * @purpose Generate real eval scripts from TLC violations + journal patterns
+ *
+ * Instead of bash templates with TODOs, this:
+ * 1. Analyzes the TLC violation trace to understand WHAT broke
+ * 2. Reads journal patterns to understand HOW it manifests in practice
+ * 3. Reads the actual codebase to find real endpoints/files to test
+ * 4. Optionally uses Stratus to reason about the best eval strategy
+ * 5. Generates eval scripts that test against the REAL system
+ */
+export interface ViolationContext {
+    invariant: string;
+    trace: TraceStep[];
+    stateVars: string[];
+    services: string[];
+    concurrencyPatterns: string[];
+}
+export interface TraceStep {
+    step: number;
+    action: string;
+    state: Record<string, string>;
+}
+export interface EvalStrategy {
+    type: "http" | "process" | "file" | "git" | "composite";
+    checks: EvalCheck[];
+    setup?: string;
+    teardown?: string;
+}
+export interface EvalCheck {
+    name: string;
+    description: string;
+    command: string;
+    scoreExtractor: string;
+    weight: number;
+}
+export declare function generateSmartEval(projectRoot: string, violation: ViolationContext): string;
+export declare function generateSmartEvalWithStratus(projectRoot: string, violation: ViolationContext): Promise<string>;
+//# sourceMappingURL=smart-eval-generator.d.ts.map

package/dist/lib/setup/smart-eval-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-eval-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/setup/smart-eval-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAKH,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE,SAAS,EAAE,CAAA;IAClB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAA;IAClB,mBAAmB,EAAE,MAAM,EAAE,CAAA;CAC9B;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9B;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,KAAK,GAAG,WAAW,CAAA;IACvD,MAAM,EAAE,SAAS,EAAE,CAAA;IACnB,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,QAAQ,CAAC,EAAE,MAAM,CAAA;CAClB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,MAAM,EAAE,MAAM,CAAA;CACf;AAMD,wBAAgB,iBAAiB,CAC/B,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,gBAAgB,GAC1B,MAAM,CAGR;AAgSD,wBAAsB,4BAA4B,CAChD,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,gBAAgB,GAC1B,OAAO,CAAC,MAAM,CAAC,CAqCjB"}