project-tiny-context-harness 0.2.83 → 0.2.84

package/dist/lib/superpowers-task-unregistered-evidence.js

@@ -0,0 +1,72 @@
+import path from "node:path";
+import { listFiles, readText } from "./fs.js";
+import { isRecord } from "./superpowers-task-state-schema.js";
+export async function scanUnregisteredAssertionEvidence(workdir, state) {
+    const registeredPaths = new Set();
+    for (const evidence of state.evidence ?? []) {
+        for (const candidate of [evidence.artifact_path, ...(evidence.artifact_paths ?? []), ...(evidence.assertion_result?.artifacts ?? [])]) {
+            if (candidate) {
+                registeredPaths.add(slash(candidate));
+                registeredPaths.add(slash(path.join(workdir, candidate)));
+            }
+        }
+    }
+    const ignored = [];
+    for (const file of await listFiles(workdir)) {
+        if (!/\.json$/i.test(file)) {
+            continue;
+        }
+        const relative = slash(path.relative(workdir, file));
+        if (registeredPaths.has(relative) || registeredPaths.has(slash(file))) {
+            continue;
+        }
+        const parsed = await readJson(file);
+        const assertion = assertionRecord(parsed);
+        if (!assertion) {
+            continue;
+        }
+        const status = String(assertion.status ?? "");
+        if (status !== "passed") {
+            continue;
+        }
+        ignored.push({
+            path: relative,
+            status,
+            target_ac_ids: asStringArray(assertion.target_ac_ids),
+            target_proof_layers: asStringArray(assertion.target_proof_layers)
+        });
+    }
+    return {
+        ignored,
+        errors: ignored.map((item) => `ignored_unregistered_evidence: unregistered assertion JSON ${item.path} status=passed is not proof`)
+    };
+}
+async function readJson(file) {
+    try {
+        return JSON.parse(await readText(file));
+    }
+    catch {
+        return undefined;
+    }
+}
+function assertionRecord(value) {
+    if (!isRecord(value)) {
+        return undefined;
+    }
+    if (looksLikeAssertion(value)) {
+        return value;
+    }
+    if (isRecord(value.assertion_result) && looksLikeAssertion(value.assertion_result)) {
+        return value.assertion_result;
+    }
+    return undefined;
+}
+function looksLikeAssertion(value) {
+    return /assertion-result-v\d+/i.test(String(value.schema_version ?? "")) || (typeof value.status === "string" && Array.isArray(value.target_ac_ids));
+}
+function asStringArray(value) {
+    return Array.isArray(value) ? value.map(String).filter(Boolean) : [];
+}
+function slash(value) {
+    return value.replace(/\\/g, "/");
+}

package/dist/lib/superpowers-task-validator.js

@@ -12,6 +12,7 @@ import { loadSuperpowersState, sha256 } from "./superpowers-task-state.js";
 import { validateCanonicalStatuses } from "./superpowers-task-status.js";
 import { isRecord } from "./superpowers-task-state-schema.js";
 import { evaluateProofLayerAssertions, isUiBrowserLayer, proofLayerName } from "./superpowers-task-assertions.js";
+import { completionOutputContractFromState, completionPhraseFindingMessages, scanGeneratedCompletionOutputSurfaces } from "./superpowers-task-completion-output.js";
 export async function validateSuperpowersState(projectRoot, args = []) {
     const info = [];
     const warnings = [];
@@ -47,12 +48,49 @@ export async function validateSuperpowersState(projectRoot, args = []) {
     validateAuditor(state, errors);
     validateFinalCompletion(state, errors);
     errors.push(...(await derivedMatchesState(targetDir, state)));
+    await validateCompletionOutputConsistency(targetDir, state, errors);
     info.push(`checked superpowers task state ${repoRelative(projectRoot, targetDir)} plan_items=${Object.keys(state.graph?.plan_items ?? {}).length} acs=${Object.keys(state.graph?.acceptance_criteria ?? {}).length} evidence=${state.evidence?.length ?? 0}`);
     if (errors.length === 0) {
         info.push("Superpowers task state validation passed");
     }
     return { info, warnings, hygiene, errors };
 }
+async function validateCompletionOutputConsistency(workdir, state, errors) {
+    const contract = completionOutputContractFromState(state);
+    const finalRecord = state.final;
+    const gate = isRecord(state.gates?.final_gate) ? state.gates.final_gate : {};
+    const storedStatus = finalRecord.completion_output_status ?? (typeof gate.completion_output_status === "string" ? gate.completion_output_status : undefined);
+    if (storedStatus && storedStatus !== contract.completion_output_status) {
+        errors.push(`completion_output_status mismatch: expected ${contract.completion_output_status}, found ${storedStatus}`);
+    }
+    if (contract.completion_output_status === "accept" && state.final.product_goal_complete !== true) {
+        errors.push("completion_output_status=accept but product_goal_complete is not true");
+    }
+    if (finalRecord.final_answer_allowed !== undefined && finalRecord.final_answer_allowed !== contract.final_answer_allowed) {
+        errors.push(`final_answer_allowed mismatch: expected ${contract.final_answer_allowed}, found ${finalRecord.final_answer_allowed}`);
+    }
+    if (finalRecord.required_user_visible_status && finalRecord.required_user_visible_status !== contract.required_user_visible_status) {
+        errors.push(`required_user_visible_status mismatch: expected ${contract.required_user_visible_status}, found ${finalRecord.required_user_visible_status}`);
+    }
+    if (finalRecord.exit_code !== undefined && finalRecord.exit_code !== contract.exit_code) {
+        errors.push(`completion output exit_code mismatch: expected ${contract.exit_code}, found ${finalRecord.exit_code}`);
+    }
+    errors.push(...completionPhraseFindingMessages(await scanGeneratedCompletionOutputSurfaces(workdir, contract)));
+    await validateMarkdownCompletionStatus(workdir, contract.completion_output_status, errors);
+}
+async function validateMarkdownCompletionStatus(workdir, expectedStatus, errors) {
+    for (const relative of ["derived/final-summary.md", "derived/final-card.md", "derived/local-audit.md"]) {
+        const file = path.join(workdir, ...relative.split("/"));
+        if (!(await pathExists(file))) {
+            continue;
+        }
+        const text = await readText(file);
+        const match = /^completion_output_status:\s*(\S+)\s*$/im.exec(text);
+        if (match && match[1] !== expectedStatus) {
+            errors.push(`${relative} completion_output_status mismatch: expected ${expectedStatus}, found ${match[1]}`);
+        }
+    }
+}
 async function validateSourceHashes(workdir, state, errors) {
     for (const [key, source] of Object.entries(state.sources ?? {})) {
         const file = path.join(workdir, source.path);

package/package.json

@@ -1,69 +1,69 @@
-{
-  "name": "project-tiny-context-harness",
-  "version": "0.2.83",
-  "description": "Minimal project memory and validation harness for AI coding agents.",
-  "license": "MIT",
-  "author": "Seven128",
-  "homepage": "https://github.com/Seven128/project-tiny-context-harness#readme",
-  "repository": {
-    "type": "git",
-    "url": "git+https://github.com/Seven128/project-tiny-context-harness.git",
-    "directory": "packages/ty-context"
-  },
-  "bugs": {
-    "url": "https://github.com/Seven128/project-tiny-context-harness/issues"
-  },
-  "keywords": [
-    "ai-agents",
-    "coding-agent",
-    "codex",
-    "claude-code",
-    "cursor",
-    "gemini-cli",
-    "opencode",
-    "agent-context",
-    "context-engineering",
-    "context-management",
-    "agents-md",
-    "project-memory",
-    "agent-memory",
-    "ai-coding",
-    "multi-agent",
-    "llm",
-    "developer-tools",
-    "developer-productivity",
-    "cli",
-    "ty-context",
-    "workflow"
-  ],
-  "type": "module",
-  "bin": {
-    "ty-context": "dist/cli.js"
-  },
-  "files": [
-    "README.md",
-    "dist",
-    "assets",
-    "migrations",
-    "source-mappings.yaml"
-  ],
-  "scripts": {
-    "build": "node -e \"require('node:fs').rmSync('dist',{recursive:true,force:true})\" && tsc -p tsconfig.json",
-    "typecheck": "tsc -p tsconfig.json --noEmit",
-    "test:built": "node --test ../../tests/ty-context/*.test.mjs",
-    "test": "npm run build && node --test ../../tests/ty-context/*.test.mjs",
-    "prepack": "npm run build"
-  },
-  "engines": {
-    "node": ">=24"
-  },
-  "dependencies": {
-    "@google/design.md": "^0.3.0",
-    "impeccable": "^3.1.0",
-    "yaml": "^2.9.0"
-  },
-  "devDependencies": {
-    "@types/node": "^26.0.0",
-    "typescript": "^5.5.0"
-  }
-}
+{
+  "name": "project-tiny-context-harness",
+  "version": "0.2.84",
+  "description": "Minimal project memory and validation harness for AI coding agents.",
+  "license": "MIT",
+  "author": "Seven128",
+  "homepage": "https://github.com/Seven128/project-tiny-context-harness#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/Seven128/project-tiny-context-harness.git",
+    "directory": "packages/ty-context"
+  },
+  "bugs": {
+    "url": "https://github.com/Seven128/project-tiny-context-harness/issues"
+  },
+  "keywords": [
+    "ai-agents",
+    "coding-agent",
+    "codex",
+    "claude-code",
+    "cursor",
+    "gemini-cli",
+    "opencode",
+    "agent-context",
+    "context-engineering",
+    "context-management",
+    "agents-md",
+    "project-memory",
+    "agent-memory",
+    "ai-coding",
+    "multi-agent",
+    "llm",
+    "developer-tools",
+    "developer-productivity",
+    "cli",
+    "ty-context",
+    "workflow"
+  ],
+  "type": "module",
+  "bin": {
+    "ty-context": "dist/cli.js"
+  },
+  "files": [
+    "README.md",
+    "dist",
+    "assets",
+    "migrations",
+    "source-mappings.yaml"
+  ],
+  "scripts": {
+    "build": "node -e \"require('node:fs').rmSync('dist',{recursive:true,force:true})\" && tsc -p tsconfig.json",
+    "typecheck": "tsc -p tsconfig.json --noEmit",
+    "test:built": "node --test ../../tests/ty-context/*.test.mjs",
+    "test": "npm run build && node --test ../../tests/ty-context/*.test.mjs",
+    "prepack": "npm run build"
+  },
+  "engines": {
+    "node": ">=24"
+  },
+  "dependencies": {
+    "@google/design.md": "^0.3.0",
+    "impeccable": "^3.1.0",
+    "yaml": "^2.9.0"
+  },
+  "devDependencies": {
+    "@types/node": "^26.0.0",
+    "typescript": "^5.5.0"
+  }
+}