blitzstrike 1.0.54 → 1.0.55

package/CHANGELOG.md

@@ -5,6 +5,21 @@ All notable changes to Blitz Strike are documented here.
 The format follows [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/).
 
+## [1.0.55] — 2026-09-13
+
+### Added — Autonomous Security Engine (phase 15: termination engine)
+
+- **Termination Engine** (`src/mission/termination.ts`, §24):
+  - `evaluateTermination()` — ordered hard stops: user_interrupted →
+    budget_exhausted → safety_violation → scope_violation → max_iterations →
+    no_progress.
+  - `objectiveComplete()` — all tasks in a terminal non-failed state.
+  - `applyTermination()` — records the reason + detail into `decision_log` and
+    sets `completed`/`terminated`.
+  - `NO_PROGRESS_LIMIT` — iterations without progress before declaring stuck.
+- Mission Control now terminates on ANY traceable reason (not just budget) and
+  logs the termination decision with detail.
+
 ## [1.0.54] — 2026-09-13
 
 ### Added — Autonomous Security Engine (phase 14: budget controller)

package/dist/index.js

@@ -19182,6 +19182,52 @@ function consumeTasks(budget, tasks, requests) {
   };
 }
 
+// src/mission/termination.ts
+function evaluateTermination(mission, state) {
+  if (state.user_interrupted) {
+    return { terminate: true, reason: "user_interrupted", detail: "user requested stop" };
+  }
+  const overrun = budgetOverrun(mission.budget);
+  if (overrun.overrun) {
+    return { terminate: true, reason: "budget_exhausted", detail: overrun.reason ?? "budget limit" };
+  }
+  if (state.safety_violated) {
+    return { terminate: true, reason: "safety_violation", detail: "a safety invariant was violated" };
+  }
+  if (state.scope_violated) {
+    return { terminate: true, reason: "scope_violation", detail: "an agent attempted to leave scope" };
+  }
+  if (state.iterations >= state.max_iterations) {
+    return { terminate: true, reason: "max_iterations", detail: `reached ${state.max_iterations} iterations` };
+  }
+  if (state.iterations - state.last_progress_iteration >= NO_PROGRESS_LIMIT) {
+    return { terminate: true, reason: "no_progress", detail: `no progress for ${NO_PROGRESS_LIMIT} iterations` };
+  }
+  return { terminate: false, reason: null, detail: "" };
+}
+function objectiveComplete(mission) {
+  const done = mission.tasks.every((t) => t.status === "success" || t.status === "skipped" || t.status === "cancelled");
+  if (done && mission.tasks.length > 0) {
+    return { terminate: true, reason: "objective_complete", detail: "all tasks resolved" };
+  }
+  return { terminate: false, reason: null, detail: "" };
+}
+function applyTermination(mission, decision) {
+  if (!decision.reason)
+    return mission;
+  return {
+    ...mission,
+    status: decision.reason === "objective_complete" ? "completed" : "terminated",
+    termination_reason: decision.reason,
+    decision_log: [
+      ...mission.decision_log,
+      { at: new Date().toISOString(), agent: "termination", decision: `${decision.reason}: ${decision.detail}` }
+    ]
+  };
+}
+var NO_PROGRESS_LIMIT = 3;
+var init_termination = () => {};
+
 // src/mission/control.ts
 import { existsSync as existsSync8, statSync as statSync4 } from "node:fs";
 function scopeAllowed(mission) {
@@ -19251,12 +19297,6 @@ async function executeTask(task, mission, scope) {
     return { task, ok: false, output: {}, hypotheses: [], graph: { nodes: [], edges: [] }, error: String(e) };
   }
 }
-function budgetExhausted(mission) {
-  return budgetOverrun(mission.budget).overrun;
-}
-function budgetReason(mission) {
-  return budgetOverrun(mission.budget).reason ?? "budget_exhausted";
-}
 async function runMission(mission) {
   if (/^https?:\/\//i.test(mission.target) && !scopeAllowed(mission)) {
     return saveMission({ ...mission, status: "terminated", termination_reason: "scope_required" });
@@ -19272,11 +19312,13 @@ async function runMission(mission) {
   m = saveMission(m);
   const scope = m.scope.join(",");
   let iterations = 0;
+  let lastProgress = 0;
   const maxIterations = m.budget.max_tasks + 10;
   while (iterations < maxIterations) {
     iterations += 1;
-    if (budgetExhausted(m)) {
-      m = { ...m, termination_reason: budgetReason(m) };
+    const hard = evaluateTermination(m, { iterations, max_iterations: maxIterations, last_progress_iteration: lastProgress });
+    if (hard.terminate && hard.reason) {
+      m = applyTermination(m, hard);
       break;
     }
     const { ready, blocked } = schedule(m.tasks);
@@ -19287,8 +19329,13 @@ async function runMission(mission) {
         m = saveMission(m);
         continue;
       }
-      if (blocked.length > 0) {
-        m = { ...m, termination_reason: `blocked: ${blocked.length} task(s) with failed dependencies` };
+      const done = objectiveComplete(m);
+      if (done.terminate) {
+        m = applyTermination(m, done);
+      } else if (blocked.length > 0) {
+        m = applyTermination(m, { terminate: true, reason: "no_progress", detail: `blocked: ${blocked.length} task(s) with failed dependencies` });
+      } else {
+        m = applyTermination(m, { terminate: true, reason: "objective_complete", detail: "no ready tasks remain" });
       }
       break;
     }
@@ -19338,16 +19385,17 @@ async function runMission(mission) {
       }
     }
     m.budget = consumeTasks(m.budget, batch.length, 0);
+    if (results.some((r) => r.ok))
+      lastProgress = iterations;
     m = saveMission(m);
   }
   return finalize2(m);
 }
 function finalize2(mission) {
   let m = mission;
-  if (budgetExhausted(m)) {
-    m = { ...m, status: "terminated", termination_reason: budgetReason(m) };
-  } else {
-    m = { ...m, status: "completed", termination_reason: "all tasks resolved" };
+  if (!m.termination_reason) {
+    const done = objectiveComplete(m);
+    m = done.terminate ? applyTermination(m, done) : applyTermination(m, { terminate: true, reason: "max_iterations", detail: "iteration cap reached" });
   }
   m.coverage.dimensions = {
     ...m.coverage.dimensions,
@@ -19384,6 +19432,7 @@ var init_control = __esm(() => {
   init_recovery();
   init_memory2();
   init_router();
+  init_termination();
   MODE_PROFILES = {
     web: { agents: ["recon", "web", "api", "auth", "validator", "reviewer", "reporter"], verify: true, risk: "medium" },
     api: { agents: ["recon", "api", "auth", "validator", "reviewer", "reporter"], verify: true, risk: "medium" },

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "blitzstrike",
-  "version": "1.0.54",
+  "version": "1.0.55",
   "description": "Blitz Strike — a universal MCP security-audit toolbelt. BLITZ sweeps the attack surface, EAGLE-EYE traces source-to-sink, STRIKE verifies live. 57 attack chains, 130-tool catalog, intelligence data layer. One server, every agent.",
   "type": "module",
   "bin": {