blitzstrike 2.4.172 → 2.4.174

package/CHANGELOG.md

@@ -5,6 +5,26 @@ 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/).
 
+## [2.4.174] — 2026-10-11
+
+### Added — observation ledger + lineage (third write-back channel)
+
+- New `facts` engine + 3 tools: `record_fact` (record an exploration observation
+  with observed/inferred confidence + optional parent_ids), `list_facts`, and
+  `lineage` (trace a fact's ancestors up + descendants down).
+- Completes the three write-back channels: findings (vulns), assets (asset_discovery),
+  and facts (neutral/negative observations that would otherwise be lost).
+
+## [2.4.173] — 2026-10-11
+
+### Added — goal tracking + prove_goal (completion signal)
+
+- New `goals` engine + 3 tools: `goal_set` (register free-text goals + optional
+  quantitative condition), `prove_goal` (mark met with evidence + reason), and
+  `goal_status` (list goals + `all_met` — the task's completion signal).
+- A goal with a quantitative condition must have its measured value verified before
+  proving it met; the task is complete only when `all_met` is true.
+
 ## [2.4.172] — 2026-10-11
 
 ### Added — operation constraint registry (deterministic red lines)

package/dist/index.js

@@ -63918,6 +63918,81 @@ function checkConstraint(action, target) {
   return { allowed: true, mode: "denylist", matched: null, reason: "denylist mode: no deny rule matches — default allow" };
 }
 
+// src/goals.ts
+var goals = [];
+var counter2 = 0;
+function nextId2() {
+  counter2 += 1;
+  return `G-${String(counter2).padStart(3, "0")}`;
+}
+function setGoals(texts) {
+  for (const t of texts) {
+    const text = typeof t === "string" ? t : t.text;
+    const condition = typeof t === "string" ? undefined : t.condition;
+    const now = new Date().toISOString();
+    goals.push({ id: nextId2(), text, condition, status: "pending", created: now, updated: now });
+  }
+  return [...goals];
+}
+function proveGoal(id, evidence, reason) {
+  const g = goals.find((x) => x.id === id);
+  if (!g)
+    return { ok: false, error: `no goal '${id}'` };
+  g.status = "met";
+  g.met_evidence = evidence;
+  g.met_reason = reason;
+  g.updated = new Date().toISOString();
+  return { ok: true, goal: { ...g } };
+}
+function goalStatus() {
+  const met = goals.filter((g) => g.status === "met").length;
+  return { goals: [...goals], all_met: goals.length > 0 && met === goals.length, met, total: goals.length };
+}
+
+// src/facts.ts
+var facts = [];
+var counter3 = 0;
+function nextId3() {
+  counter3 += 1;
+  return `FACT-${String(counter3).padStart(3, "0")}`;
+}
+function recordFact(input) {
+  const fact = {
+    id: nextId3(),
+    text: input.text,
+    confidence: input.confidence,
+    target: input.target,
+    parent_ids: input.parent_ids ?? [],
+    created: new Date().toISOString()
+  };
+  facts.push(fact);
+  return fact;
+}
+function listFacts() {
+  return [...facts];
+}
+function lineage(id) {
+  const fact = facts.find((f) => f.id === id);
+  if (!fact)
+    return { error: `no fact '${id}'` };
+  const ancestors = [];
+  const seen = new Set([id]);
+  const queue = [...fact.parent_ids];
+  while (queue.length) {
+    const pid = queue.shift();
+    if (seen.has(pid))
+      continue;
+    seen.add(pid);
+    const p = facts.find((f) => f.id === pid);
+    if (p) {
+      ancestors.push(p);
+      queue.push(...p.parent_ids);
+    }
+  }
+  const descendants = facts.filter((f) => f.parent_ids.includes(id));
+  return { fact, ancestors, descendants };
+}
+
 // src/sibling-scan.ts
 var SIBLING_SUFFIXES = [
   "export",
@@ -65854,6 +65929,64 @@ ${statusLine}` : statusLine },
   }, async ({ id }) => {
     return { content: [{ type: "text", text: JSON.stringify({ removed: clearConstraint(id), id }) }] };
   });
+  server.registerTool("goal_set", {
+    title: "Register engagement goals",
+    description: "GOALS: register one or more free-text goals (each with an optional quantitative condition like 'coverage >= 80%'). goal_status then tracks which are met; the task is COMPLETE only when all_met is true. Use before planning routes so every route traces back to a goal.",
+    inputSchema: {
+      goals: array(object2({ text: string2(), condition: string2().optional() })).describe("Goals to register (text + optional quantitative condition)")
+    }
+  }, async ({ goals }) => {
+    setGoals(goals);
+    return { content: [{ type: "text", text: JSON.stringify(goalStatus()) }] };
+  });
+  server.registerTool("prove_goal", {
+    title: "Mark a goal met with evidence",
+    description: "GOALS: mark a goal met, citing the evidence that proved it + a reason. Before proving a goal with a QUANTITATIVE condition, verify the measured value (coverage %, findings count, privilege) actually meets it — never stamp a goal met early. When the last pending goal is proven, the task is complete.",
+    inputSchema: {
+      id: string2().describe("Goal id (G-XXX) from goal_status"),
+      evidence: string2().describe("Evidence id / artifact that proved this goal (e.g. finding id, coverage value)"),
+      reason: string2().describe("Why this goal is met")
+    }
+  }, async ({ id, evidence, reason }) => {
+    const r = proveGoal(id, evidence, reason);
+    return { content: [{ type: "text", text: JSON.stringify({ ...r, ...goalStatus() }) }] };
+  });
+  server.registerTool("goal_status", {
+    title: "List goals + completion state",
+    description: "GOALS: return every goal with its status + all_met flag (true when every goal is met — the task's completion signal). Check this before declaring the engagement complete; any pending goal means the work is not done.",
+    inputSchema: {}
+  }, async () => {
+    return { content: [{ type: "text", text: JSON.stringify(goalStatus()) }] };
+  });
+  server.registerTool("record_fact", {
+    title: "Record an exploration observation (fact)",
+    description: "FACTS: record an observation/conclusion that is NOT a vuln (finding_create) and NOT an asset (asset_discovery) — e.g. 'admin panel is behind SSO', 'upload strips .php', 'param id is reflected'. Pass text, confidence (observed = you triggered it; inferred = deduced from a fingerprint/diff — never report inferred as confirmed), optional target, and optional parent_ids (facts this derives from). Use this so negative/neutral observations are written down instead of lost.",
+    inputSchema: {
+      text: string2().describe("The observation/conclusion"),
+      confidence: _enum(["observed", "inferred"]).describe("observed (directly triggered) or inferred (deduced, not yet triggered)"),
+      target: string2().optional().describe("Optional host/endpoint/param the fact is about"),
+      parent_ids: array(string2()).optional().describe("Optional ids of facts this one derives from")
+    }
+  }, async ({ text, confidence, target, parent_ids }) => {
+    const fact = recordFact({ text, confidence, target, parent_ids });
+    return { content: [{ type: "text", text: JSON.stringify(fact) }] };
+  });
+  server.registerTool("list_facts", {
+    title: "List all recorded facts",
+    description: "FACTS: return every recorded observation with its confidence + lineage parent_ids. Use before re-testing a direction — a solid observed fact (or a recorded dead-end) saves re-probing the same thing.",
+    inputSchema: {}
+  }, async () => {
+    return { content: [{ type: "text", text: JSON.stringify(listFacts()) }] };
+  });
+  server.registerTool("lineage", {
+    title: "Trace a fact's lineage (ancestors + descendants)",
+    description: "FACTS: walk a fact's lineage — its ancestors (the facts it derived from, up the parent chain) and descendants (facts derived from it). Use to understand where a conclusion came from and what it enabled.",
+    inputSchema: {
+      id: string2().describe("Fact id (FACT-XXX) to trace")
+    }
+  }, async ({ id }) => {
+    return { content: [{ type: "text", text: JSON.stringify(lineage(id)) }] };
+  });
   server.registerTool("hunting_doctrine", {
     title: "High-ROI hunting doctrine (sibling rule, A→B, follow-the-money)",
     description: "Return the hunting doctrine — the high-ROI heuristics the agent applies while selecting targets/endpoints/classes: the Sibling Rule (check every sibling endpoint — ~30% of paid IDOR/auth bugs), A→B Signal Method, impact-first, follow-the-money, less-saturated classes, new==unreviewed, two-account IDOR test, PoC escalation, credential-proof, CI/CD + SAML/SSO attack surface, 20-minute rotation, plus the always-rejected kill-list. Use when deciding WHAT to hunt next.",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "blitzstrike",
-  "version": "2.4.172",
+  "version": "2.4.174",
   "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": {