archgraph-argo 0.20.9 → 0.21.0

package/argo/rules/archgraph.instructions.md

@@ -23,6 +23,7 @@ Non-negotiable red lines (MUST). Never skip, simplify, or silently violate them;
 7. Retrieve KG-first and semantic-first. See `<QueryPriorityGuideline>`.
 8. Store content KG-first. See `<ContentStoragePolicy>`.
 9. Never duplicate: reuse is the default; a create blocked as an exact or semantic duplicate must be reused, or explicitly overridden with `onConflict: "allowDuplicate"` + justification. See `<GraphDeduplication>`.
+10. Reason critically: challenge the human partner with evidence — your native knowledge, the repository, and the intent graph — instead of agreeing by default; never silently comply with an unsound request. See `<CriticalReasoningGuideline>`.
 </CoreRules>
 
 <Ontology>
@@ -31,6 +32,15 @@ Your architecture is ArchiMate 3.2 plus ARGO extensions. Reference files live un
 2. Element/relationship type definitions: ~/.argo/schema/archimate3.2.md
 </Ontology>
 
+<CriticalReasoningGuideline>
+Be a critical peer, not a compliant assistant: your duty is to the evidence, not to the human partner's preferences. Do not be sycophantic.
+1. Evaluate before agreeing: never accept a question's premise, a request, or a proposal just because the human asserts it. First check it against evidence from three sources — your native model knowledge, the repository (code, docs, tests, history), and the intent graph. Endorsement without evidence is a failure.
+2. Challenge with evidence: when the evidence contradicts the human, say so plainly and cite it (a file path + line/commit, a graph element id, or a named fact), then offer the corrected alternative. Say what evidence would change your mind, so the challenge is falsifiable.
+3. Separate facts from preferences: facts (correctness, behavior, constraints, feasibility) are decided by evidence and MUST be contested when wrong; preferences (taste, priority, scope, risk appetite) belong to the human — accept them and state the trade-off instead of dressing a preference up as a fact.
+4. Do not cave to pressure: revise a conclusion only for new evidence or a better argument — never for repetition, tone, urgency, or authority. Agreeing to please is a defect, not politeness.
+5. Refuse the wrong part, offer the right path: when a request conflicts with evidence or a CoreRule, neither silently comply nor merely refuse — name the conflict with evidence and propose the compliant alternative.
+</CriticalReasoningGuideline>
+
 <ExplorationGuideline>
 0. KG-first retrieval: for ANY retrieval, query the intent graph through ARGO MCP before searching files, code, or web. See `<QueryPriorityGuideline>`.
 1. Explore in small steps: keep each query shallow, then decide the next step from the result.

package/argo/scripts/graph-rag/mcpCrashDiagnostics.js

@@ -40,11 +40,13 @@ function appendCrash(entry) {
       at: new Date().toISOString(),
       pid: process.pid,
       uptimeMs: Date.now() - startedAt,
-      phase: currentPhase,
+      phase: entry && entry.phase !== undefined ? entry.phase : currentPhase,
       kind: entry && entry.kind,
       ...(entry && entry.origin ? { origin: entry.origin } : {}),
       ...(entry && entry.code !== undefined ? { code: entry.code } : {}),
       ...(entry && entry.signal !== undefined ? { signal: entry.signal } : {}),
+      ...(entry && entry.previousPid !== undefined ? { previousPid: entry.previousPid } : {}),
+      ...(entry && entry.previousAt !== undefined ? { previousAt: entry.previousAt } : {}),
       ...(error ? {
         category: error.category,
         message: String(error.message || error).slice(0, 1000),
@@ -57,10 +59,33 @@ function appendCrash(entry) {
   }
 }
 
+// A native abort never fires a JS handler, so the ONLY record of the crash-time
+// phase is the synchronously-written phase file. A restart would overwrite it;
+// preserve the previous run's last phase into the (append-only) crash log first.
+function capturePreviousRun() {
+  if (!phasePath || !crashLogPath) {
+    return;
+  }
+  try {
+    const previous = JSON.parse(fs.readFileSync(phasePath, 'utf8'));
+    if (previous && previous.pid !== undefined && previous.pid !== process.pid) {
+      appendCrash({
+        kind: 'previous-run-phase',
+        phase: previous.phase,
+        previousPid: previous.pid,
+        previousAt: previous.at,
+      });
+    }
+  } catch {
+    // no previous phase file
+  }
+}
+
 function installCrashDiagnostics(workspaceRoot) {
   if (workspaceRoot) {
     crashLogPath = tempPath(workspaceRoot, 'mcp-crash.log');
     phasePath = tempPath(workspaceRoot, 'mcp-phase.json');
+    capturePreviousRun();
     markPhase(currentPhase);
   }
   if (installed) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "archgraph-argo",
-  "version": "0.20.9",
+  "version": "0.21.0",
   "description": "Deploy the ArchGraph ARGO toolchain, skills, and rules (schema, scripts, argo-init skill, global rule) with one command.",
   "license": "MIT",
   "bin": {