gentle-pi 2.1.2 → 2.2.0

package/tests/fixtures/native-review-cli/v2.1.2/sdd-status.json

@@ -1,200 +0,0 @@
-{
-  "schemaName": "gentle-ai.sdd-status",
-  "schemaVersion": 1,
-  "changeName": "native-review-authority-parity",
-  "artifactStore": "openspec",
-  "planningHome": {
-    "mode": "repo-local",
-    "path": "/tmp/gentle-ai-v212-contract-9XGIB4/openspec"
-  },
-  "changeRoot": "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity",
-  "artifactPaths": {
-    "proposal": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/proposal.md"
-    ],
-    "specs": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/specs/review/spec.md"
-    ],
-    "design": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/design.md"
-    ],
-    "tasks": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/tasks.md"
-    ],
-    "applyProgress": [],
-    "verifyReport": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/verify-report.md"
-    ],
-    "reviewPolicy": [],
-    "reviewLedger": [],
-    "reviewReceipt": [],
-    "reviewBundle": [],
-    "reviewContext": [],
-    "reviewState": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/reviews/transaction.json"
-    ]
-  },
-  "contextFiles": {
-    "proposal": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/proposal.md"
-    ],
-    "specs": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/specs/review/spec.md"
-    ],
-    "design": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/design.md"
-    ],
-    "tasks": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/tasks.md"
-    ],
-    "applyProgress": [],
-    "verifyReport": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/verify-report.md"
-    ],
-    "reviewPolicy": [],
-    "reviewLedger": [],
-    "reviewReceipt": [],
-    "reviewBundle": [],
-    "reviewContext": [],
-    "reviewState": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4/openspec/changes/native-review-authority-parity/reviews/transaction.json"
-    ]
-  },
-  "artifacts": {
-    "applyProgress": "missing",
-    "design": "done",
-    "proposal": "done",
-    "reviewBundle": "missing",
-    "reviewContext": "missing",
-    "reviewLedger": "missing",
-    "reviewReceipt": "missing",
-    "reviewState": "done",
-    "specs": "done",
-    "tasks": "done",
-    "verifyReport": "done"
-  },
-  "taskProgress": {
-    "total": 1,
-    "completed": 1,
-    "pending": 0,
-    "allComplete": true
-  },
-  "dependencies": {
-    "proposal": "all_done",
-    "specs": "all_done",
-    "design": "all_done",
-    "tasks": "all_done",
-    "apply": "all_done",
-    "verify": "all_done",
-    "archive": "ready"
-  },
-  "applyState": "all_done",
-  "actionContext": {
-    "mode": "repo-local",
-    "workspaceRoot": "/tmp/gentle-ai-v212-contract-9XGIB4",
-    "allowedEditRoots": [
-      "/tmp/gentle-ai-v212-contract-9XGIB4"
-    ]
-  },
-  "relationships": {
-    "dependsOn": [],
-    "supersedes": [],
-    "amends": [],
-    "conflictsWith": [],
-    "sameDomainActiveChanges": []
-  },
-  "remediationState": {
-    "required": false,
-    "complete": false,
-    "failedEvidenceRevision": "",
-    "lineageId": "",
-    "generation": 0,
-    "fixBatch": 0,
-    "reason": ""
-  },
-  "reviewGate": {
-    "result": "allow",
-    "reason": "explicit bound compact authority exactly matches the current repository"
-  },
-  "reviewTransaction": {
-    "schema": "gentle-ai.review-transaction/v1",
-    "lineage_id": "issue-1099-corrected-candidate-review-20260710",
-    "mode": "ordinary_4r",
-    "generation": 1,
-    "state": "reviewing",
-    "snapshot": {
-      "kind": "current-changes",
-      "base_tree": "ba040f17cdcd2a5960361971eaff79684c48847a",
-      "candidate_tree": "5bc2f4bdd086d064bc3ada255f16c631facc6839",
-      "paths_digest": "sha256:4a52771035fe6ef25f0155b11c052a661879b1cd1af4bbe5cd337118a9dd29dd",
-      "intended_untracked": [
-        "assets/agents/gentle-ai-explore.md",
-        "assets/agents/gentle-ai-verify.md"
-      ],
-      "intended_untracked_proof": "sha256:ea65650186e3d14ed53ae4912a2a30127863fe9aec0e4c14050e4fa154b0bfa3",
-      "paths": [
-        "assets/agents/gentle-ai-explore.md",
-        "assets/agents/gentle-ai-verify.md",
-        "assets/orchestrator-delegation.md",
-        "assets/orchestrator.md",
-        "tests/package-manifest.test.ts",
-        "tests/sdd-agent-tools.test.ts"
-      ],
-      "identity": "sha256:d88627d276b790d1ed58abc44118d1d95a9620d9755d5e61c8fbda0f97cea53c"
-    },
-    "base_tree": "ba040f17cdcd2a5960361971eaff79684c48847a",
-    "paths_digest": "sha256:4a52771035fe6ef25f0155b11c052a661879b1cd1af4bbe5cd337118a9dd29dd",
-    "initial_review_tree": "5bc2f4bdd086d064bc3ada255f16c631facc6839",
-    "final_candidate_tree": "5bc2f4bdd086d064bc3ada255f16c631facc6839",
-    "fix_delta_hash": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
-    "policy_hash": "sha256:9197a98b8c5ceac34da4e8d213908d68023f215e891ecb85dfe9fb0b355f9482",
-    "ledger_hash": "",
-    "ledger_findings_hash": "",
-    "evidence_hash": "",
-    "judge_proofs": [],
-    "counters": {
-      "full_reviews": 1,
-      "refuter_batches": 0,
-      "fix_batches": 0,
-      "scoped_fix_validations": 0,
-      "final_verifications": 0,
-      "fix_rounds": 0,
-      "scoped_rejudgments": 0,
-      "judge_executions": 0
-    },
-    "findings": [],
-    "classifications": {},
-    "outcomes": {},
-    "fix_finding_ids": [],
-    "pending_refuter_ids": [],
-    "fix_caused_findings": [],
-    "follow_ups": []
-  },
-  "phaseInstructions": {
-    "apply": [
-      "Change: native-review-authority-parity",
-      "State: all_done",
-      "Read proposal, specs, design, and tasks before editing.",
-      "Implement only unchecked tasks and update tasks.md checkboxes as work completes."
-    ],
-    "verify": [
-      "Change: native-review-authority-parity",
-      "State: all_done",
-      "Verify implementation against proposal, specs, design, and task completion.",
-      "Run final verification only after every task is complete; apply-progress never makes final verification ready."
-    ],
-    "remediate": [
-      "Change: native-review-authority-parity",
-      "Remediation is allowed only when the persisted review transaction has remaining mode-specific budget.",
-      "Bind focused tests, runtime harness evidence, and rollback evidence to the exact failed evidence revision.",
-      "A bare remediation envelope or stale failed revision never completes remediation."
-    ],
-    "archive": [
-      "Change: native-review-authority-parity",
-      "State: ready",
-      "Archive only when verify-report.md exists and every task checkbox is complete."
-    ]
-  },
-  "nextRecommended": "archive",
-  "blockedReasons": []
-}

package/tests/fixtures/native-review-cli/v2.1.2/start.json

@@ -1,12 +0,0 @@
-{
-  "operation": "review/start",
-  "lineage_id": "lineage-1",
-  "state": "reviewing",
-  "risk_level": "medium",
-  "selected_lenses": [
-    "review-reliability"
-  ],
-  "changed_files": 1,
-  "changed_lines": 2,
-  "correction_budget": 1
-}

package/tests/fixtures/native-review-cli/v2.1.2/validate-allow.json

@@ -1,24 +0,0 @@
-{
-  "schema": "gentle-ai.review-gate-result/v1",
-  "result": "allow",
-  "allowed": true,
-  "action": "continue",
-  "reason": "authoritative transaction, current repository target, and content-bound artifacts match",
-  "context": {
-    "gate": "post-apply",
-    "lineage_id": "issue136-contract-runtime",
-    "generation": 1,
-    "store_revision": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "genesis_revision": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "chain_identity": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "bundle_digest": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "base_tree": "cb234a1435871ed095db961750b8bb944fadbd43",
-    "candidate_tree": "3f8acce95a176230e45398698722eaee3091d625",
-    "paths_digest": "sha256:0cc3964e29bb296c5f17bc496325961ed0df989b5333ac20d05770776a34be52",
-    "fix_delta_hash": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
-    "policy_hash": "sha256:34fb63d7f29f8613cd4431382b1057398a4816f8a4c20fc34677fffc80a184f6",
-    "ledger_hash": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
-    "evidence_hash": "sha256:2fa17828f842a4043ff7be11e4f439f40c6b06e1275538b6b4c800a27446f9d9",
-    "base_relationship_valid": true
-  }
-}

package/tests/fixtures/native-review-cli/v2.1.2/validate-deny-empty-context.json

@@ -1,20 +0,0 @@
-{
-  "schema": "gentle-ai.review-gate-result/v1",
-  "result": "invalidated",
-  "allowed": false,
-  "action": "explicit-maintainer-action",
-  "reason": "compact gate inputs cannot be derived: configured upstream is missing or ambiguous; pass --base-ref \u003cremote\u003e/\u003cbranch\u003e",
-  "context": {
-    "gate": "",
-    "lineage_id": "",
-    "generation": 0,
-    "base_tree": "",
-    "candidate_tree": "",
-    "paths_digest": "",
-    "fix_delta_hash": "",
-    "policy_hash": "",
-    "ledger_hash": "",
-    "evidence_hash": "",
-    "base_relationship_valid": false
-  }
-}

package/tests/fixtures/native-review-cli/v2.1.2/validate-deny.json

@@ -1,28 +0,0 @@
-{
-  "schema": "gentle-ai.review-gate-result/v1",
-  "result": "scope-changed",
-  "allowed": false,
-  "action": "create-new-lineage",
-  "reason": "current repository target no longer matches the reviewed scope",
-  "context": {
-    "gate": "post-apply",
-    "lineage_id": "issue136-contract-runtime",
-    "generation": 1,
-    "store_revision": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "genesis_revision": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "chain_identity": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "bundle_digest": "sha256:521b6a12b67ed75dd68b9ddb5543822c88da97a88e7257fd780b37dbedc35f8c",
-    "base_tree": "cb234a1435871ed095db961750b8bb944fadbd43",
-    "candidate_tree": "115773e92c079a714c37dad42ff672cdcc715d8c",
-    "paths_digest": "sha256:0cc3964e29bb296c5f17bc496325961ed0df989b5333ac20d05770776a34be52",
-    "fix_delta_hash": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
-    "policy_hash": "sha256:34fb63d7f29f8613cd4431382b1057398a4816f8a4c20fc34677fffc80a184f6",
-    "ledger_hash": "sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
-    "evidence_hash": "sha256:2fa17828f842a4043ff7be11e4f439f40c6b06e1275538b6b4c800a27446f9d9",
-    "base_relationship_valid": true,
-    "denial": {
-      "stage": "receipt-binding",
-      "code": "candidate-or-paths-mismatch"
-    }
-  }
-}

package/tests/review-compact.test.ts

@@ -1,243 +0,0 @@
-import assert from "node:assert/strict";
-import test from "node:test";
-import {
-	CAUSAL_DISPOSITION,
-	COMPACT_EVIDENCE_CLASS,
-	COMPACT_REVIEW_STATE,
-	completeCompactCorrection,
-	completeCompactReview,
-	completeCompactVerification,
-	beginCompactCorrection,
-	createCompactRefuterRequest,
-	createCompactValidatorRequest,
-	createCompactReceipt,
-	freezeCompactValidatorRequest,
-	createCompactReviewState,
-} from "../lib/review-compact.ts";
-import { REVIEW_RISK_TIER } from "../lib/review-risk.ts";
-import {
-	REVIEW_MODE,
-	REVIEW_PROJECTION,
-	type SnapshotV1,
-} from "../lib/review-snapshot.ts";
-import { REVIEW_LENS, REVIEW_ROUTE } from "../lib/review-triggers.ts";
-
-function snapshot(): SnapshotV1 {
-	return {
-		schema: "gentle-ai.review-snapshot/v1",
-		mode: REVIEW_MODE.ORDINARY,
-		repository_root: "/repo",
-		base_tree: "1".repeat(40),
-		complete_snapshot_tree: "2".repeat(40),
-		review_projection: { kind: REVIEW_PROJECTION.COMPLETE },
-		initial_review_tree: "2".repeat(40),
-		genesis_paths: ["src/value.ts"],
-		intended_untracked: [],
-		diff_evidence: {
-			event: "ordinary-start",
-			changedLines: 10,
-			triviality: "unproven",
-			evidenceComplete: true,
-			executableChanged: true,
-			configurationChanged: false,
-			hotPathChanged: false,
-			riskSignal: false,
-			resilienceSignal: false,
-			reliabilitySignal: false,
-		},
-		route: REVIEW_ROUTE.STANDARD,
-		lenses: [REVIEW_LENS.READABILITY],
-		risk_tier: REVIEW_RISK_TIER.MEDIUM,
-		original_changed_lines: 10,
-		correction_budget: 5,
-		policy_hash: "a".repeat(64),
-		object_store: {
-			snapshot_directory: "/tmp/snapshot",
-			object_directory: "/tmp/snapshot/objects",
-			alternate_object_directory: "/repo/.git/objects",
-			metadata_path: "/tmp/snapshot/snapshot.json",
-			sensitivity: "workspace-content",
-			cleanup_trigger: "lineage-terminal",
-			cleanup_action: "delete-isolated-object-store",
-		},
-	};
-}
-
-test("causal review assigns missing IDs and admits only proven candidate-caused severe findings", () => {
-	const reviewing = createCompactReviewState({
-		lineageId: "compact-causal",
-		snapshot: snapshot(),
-		policyHash: "a".repeat(64),
-	});
-	const completed = completeCompactReview(reviewing, {
-		lens_results: [{
-			findings: [
-				{
-					location: "src/value.ts:2",
-					severity: "CRITICAL",
-					claim: "The candidate activates an invalid branch.",
-					evidence_class: COMPACT_EVIDENCE_CLASS.DETERMINISTIC,
-					causal_disposition: CAUSAL_DISPOSITION.BEHAVIOR_ACTIVATED,
-					proof_refs: ["changed-hunk:src/value.ts:2"],
-				},
-				{
-					location: "src/value.ts:1",
-					severity: "BLOCKER",
-					claim: "The base already contains a separate defect.",
-					evidence_class: COMPACT_EVIDENCE_CLASS.DETERMINISTIC,
-					causal_disposition: CAUSAL_DISPOSITION.PRE_EXISTING,
-					proof_refs: ["before-after:base-and-candidate"],
-				},
-			],
-			evidence: ["reviewed exact candidate tree"],
-		}],
-	});
-
-	assert.equal(completed.state, COMPACT_REVIEW_STATE.CORRECTION_REQUIRED);
-	assert.deepEqual(completed.correction_ids, ["READABILITY-002"]);
-	assert.equal(completed.follow_ups.length, 1);
-	assert.equal(completed.follow_ups[0]?.finding_id, "READABILITY-001");
-});
-
-test("unknown, malformed, insufficient, and incomplete inferential severe claims escalate", () => {
-	const reviewing = createCompactReviewState({
-		lineageId: "compact-escalation",
-		snapshot: snapshot(),
-		policyHash: "a".repeat(64),
-	});
-	const lensResults = [{
-			findings: [{
-				location: "src/value.ts:2",
-				severity: "CRITICAL",
-				claim: "The candidate may activate an invalid branch.",
-				evidence_class: COMPACT_EVIDENCE_CLASS.INFERENTIAL,
-				causal_disposition: CAUSAL_DISPOSITION.INTRODUCED,
-				proof_refs: ["differential-test:tests/value.test.ts"],
-			}],
-			evidence: [],
-		}];
-	const completed = completeCompactReview(reviewing, {
-		lens_results: lensResults,
-		refuter_request_hash: createCompactRefuterRequest(reviewing, lensResults)?.request_hash,
-	});
-	assert.equal(completed.state, COMPACT_REVIEW_STATE.ESCALATED);
-	assert.match(completed.escalation_reasons.join("\n"), /complete refuter batch/i);
-});
-
-test("refuter request assigns native IDs and rejects incomplete or foreign batches", () => {
-	const input = { lens_results: [{ findings: [{
-		location: "src/value.ts:2", severity: "CRITICAL", claim: "The branch may fail.",
-		evidence_class: "inferential", causal_disposition: "introduced",
-		proof_refs: ["differential-test:tests/value.test.ts"],
-	}], evidence: [] }] };
-	for (const rows of [[], [
-		{ finding_id: "READABILITY-001", outcome: "refuted", proof_refs: ["before-after:proof"] },
-		{ finding_id: "READABILITY-001", outcome: "refuted", proof_refs: ["before-after:proof"] },
-	], [{ finding_id: "FOREIGN-001", outcome: "refuted", proof_refs: ["before-after:proof"] }]]) {
-		const reviewing = createCompactReviewState({ lineageId: `refuter-${rows.length}-${rows[0]?.finding_id ?? "empty"}`, snapshot: snapshot(), policyHash: "a".repeat(64) });
-		const request = createCompactRefuterRequest(reviewing, input.lens_results);
-		assert.deepEqual(request?.findings.map(({ id }) => id), ["READABILITY-001"]);
-		const completed = completeCompactReview(reviewing, { ...input, refuter_request_hash: request?.request_hash, refuter_results: rows });
-		assert.equal(completed.state, COMPACT_REVIEW_STATE.ESCALATED);
-	}
-});
-
-test("informational malformed and duplicate IDs are replaced without escalation", () => {
-	const completed = completeCompactReview(createCompactReviewState({ lineageId: "informational-ids", snapshot: snapshot(), policyHash: "a".repeat(64) }), {
-		lens_results: [{ findings: [
-			{ id: "bad", location: "src/value.ts:1", severity: "WARNING", claim: "Info.", proof_refs: [] },
-			{ id: "READABILITY-010", location: "src/value.ts:2", severity: "WARNING", claim: "Info.", proof_refs: [] },
-			{ id: "READABILITY-010", location: "src/value.ts:3", severity: "SUGGESTION", claim: "Info.", proof_refs: [] },
-			{ id: "also-bad", location: "src/value.ts:4", severity: "CRITICAL", claim: "Severe.", evidence_class: "deterministic", causal_disposition: "introduced", proof_refs: ["changed-hunk:src/value.ts:4"] },
-		], evidence: [] }],
-	});
-	assert.equal(completed.state, COMPACT_REVIEW_STATE.ESCALATED);
-	assert.equal(completed.escalation_reasons.length, 1);
-	assert.match(completed.escalation_reasons[0] ?? "", /ALSO-BAD/);
-	for (const finding of completed.findings.filter(({ severity }) => severity === "WARNING" || severity === "SUGGESTION")) {
-		assert.equal(completed.outcomes[finding.id], "info");
-	}
-});
-
-test("one forecast, one repository-sized correction, one targeted validator, and final evidence close the lineage", () => {
-	const reviewed = completeCompactReview(createCompactReviewState({
-		lineageId: "compact-correction",
-		snapshot: snapshot(),
-		policyHash: "a".repeat(64),
-	}), {
-		lens_results: [{
-			findings: [{
-				id: "READABILITY-009",
-				location: "src/value.ts:2",
-				severity: "BLOCKER",
-				claim: "The candidate removes the required guard.",
-				evidence_class: "deterministic",
-				causal_disposition: "introduced",
-				proof_refs: ["changed-hunk:src/value.ts:2"],
-			}],
-			evidence: [],
-		}],
-	});
-	const forecast = beginCompactCorrection(reviewed, 3);
-	const correction = {
-		candidate_tree: "3".repeat(40),
-		changed_paths: ["src/value.ts"],
-		changed_lines: 3,
-		fix_diff: "diff --git a/src/value.ts b/src/value.ts",
-		fix_diff_hash: "b".repeat(64),
-	};
-	const proof = {
-		original_criteria: { passed: true, evidence: ["original suite passed"] },
-		correction_regression: { passed: true, evidence: ["guard regression passed"] },
-	};
-	const request = createCompactValidatorRequest(forecast, correction);
-	const frozen = freezeCompactValidatorRequest(forecast, request);
-	const validation = { request_hash: request.request_hash, correction_ids: ["READABILITY-009"], ...proof, fix_caused_findings: [], follow_ups: [] };
-	assert.throws(() => completeCompactCorrection(frozen, { ...correction, candidate_tree: "4".repeat(40) }, [], validation), /frozen validator request/i);
-	assert.equal(completeCompactCorrection(frozen, correction, [], { ...validation, original_criteria: { passed: false, evidence: ["independent acceptance failure"] } }).state, COMPACT_REVIEW_STATE.ESCALATED);
-	const corrected = completeCompactCorrection(frozen, correction, [], validation);
-	assert.equal(corrected.state, COMPACT_REVIEW_STATE.VALIDATING);
-	const terminal = completeCompactVerification(corrected, "full suite passed", true);
-	assert.equal(terminal.state, COMPACT_REVIEW_STATE.APPROVED);
-	const receipt = createCompactReceipt(terminal, "c".repeat(64));
-	assert.equal(receipt.body.original_changed_lines, 10);
-	assert.equal(receipt.body.correction_budget, 5);
-	assert.deepEqual(receipt.body.correction_ids, ["READABILITY-009"]);
-	assert.match(receipt.body.evidence_hash, /^[0-9a-f]{64}$/);
-});
-
-test("correction forecast and actual repository evidence cannot exceed the frozen budget", () => {
-	const reviewed = completeCompactReview(createCompactReviewState({
-		lineageId: "compact-budget",
-		snapshot: snapshot(),
-		policyHash: "a".repeat(64),
-	}), {
-		lens_results: [{
-			findings: [{
-				location: "src/value.ts:2",
-				severity: "BLOCKER",
-				claim: "The candidate removes the required guard.",
-				evidence_class: "deterministic",
-				causal_disposition: "introduced",
-				proof_refs: ["changed-hunk:src/value.ts:2"],
-			}],
-			evidence: [],
-		}],
-	});
-	assert.throws(() => beginCompactCorrection(reviewed, 0), /positive/);
-	const overBudget = beginCompactCorrection(reviewed, 6);
-	assert.equal(overBudget.state, COMPACT_REVIEW_STATE.ESCALATED);
-	const forecast = beginCompactCorrection(reviewed, 5);
-	assert.throws(() => completeCompactCorrection(forecast, {
-		candidate_tree: "3".repeat(40),
-		changed_paths: ["src/value.ts"],
-		changed_lines: 6,
-		fix_diff: "diff",
-		fix_diff_hash: "b".repeat(64),
-	}, [], {
-		correction_ids: forecast.correction_ids,
-		original_criteria: { passed: true, evidence: ["passed"] },
-		correction_regression: { passed: true, evidence: ["passed"] },
-		follow_ups: [],
-	}), /exceeding frozen budget/i);
-});

package/tests/review-refuter-adapter.test.ts

@@ -1,89 +0,0 @@
-import assert from "node:assert/strict";
-import test from "node:test";
-import { normalizeRefuterBatch } from "../lib/review-refuter-adapter.ts";
-import type { CompactRefuterRequest } from "../lib/review-compact.ts";
-
-const request: CompactRefuterRequest = {
-	request_hash: "a".repeat(64),
-	findings: [
-		{
-			id: "READABILITY-001",
-			lens: "review-readability",
-			location: "lib/value.ts:1",
-			severity: "CRITICAL",
-			claim: "The value may be invalid.",
-			evidence_class: "inferential",
-			causal_disposition: "introduced",
-			proof_refs: ["changed-hunk:lib/value.ts:1"],
-		},
-	],
-};
-
-test("refuter adapter normalizes only the exact complete frozen batch", () => {
-	const normalized = normalizeRefuterBatch(request, {
-		schema: "gentle-ai.refuter-result-batch/v1",
-		request_hash: request.request_hash,
-		results: [{
-			finding_id: "READABILITY-001",
-			outcome: "refuted",
-			proof_refs: ["changed-hunk:lib/value.ts:1"],
-		}],
-	});
-
-	assert.deepEqual(normalized, {
-		status: "normalized",
-		refuter_request_hash: request.request_hash,
-		refuter_results: [{
-			finding_id: "READABILITY-001",
-			outcome: "refuted",
-			proof_refs: ["changed-hunk:lib/value.ts:1"],
-		}],
-	});
-});
-
-test("refuter adapter preserves published inconclusive outcomes", () => {
-	const normalized = normalizeRefuterBatch(request, {
-		schema: "gentle-ai.refuter-result-batch/v1",
-		request_hash: request.request_hash,
-		results: [{ finding_id: "READABILITY-001", outcome: "inconclusive", proof_refs: ["changed-hunk:lib/value.ts:1"] }],
-	});
-	assert.equal(normalized.status, "normalized");
-	assert.equal(normalized.status === "normalized" && normalized.refuter_results[0]?.outcome, "inconclusive");
-});
-
-test("refuter adapter accepts independent concrete refuter proof", () => {
-	const normalized = normalizeRefuterBatch(request, {
-		schema: "gentle-ai.refuter-result-batch/v1",
-		request_hash: request.request_hash,
-		results: [{
-			finding_id: "READABILITY-001",
-			outcome: "refuted",
-			proof_refs: ["differential-test:independent reproduction passes"],
-		}],
-	});
-
-	assert.equal(normalized.status, "normalized");
-	assert.deepEqual(normalized.status === "normalized" && normalized.refuter_results[0]?.proof_refs, [
-		"differential-test:independent reproduction passes",
-	]);
-});
-
-test("refuter adapter rejects prose, aliases, invalid outcomes, and empty or malformed proof", () => {
-	for (const batch of [
-		`prose ${JSON.stringify({ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [] })}`,
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [{ id: "READABILITY-001", resolution: "refuted", proof_refs: ["changed-hunk:lib/value.ts:1"] }] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [{ finding_id: "READABILITY-001", outcome: "refuted", proof_refs: [] }] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [{ finding_id: "READABILITY-001", outcome: "refuted", proof_refs: [""] }] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [{ finding_id: "READABILITY-001", outcome: "refuted", proof_refs: [" untrimmed proof"] }] },
-	]) assert.equal(normalizeRefuterBatch(request, batch).status, "invalid");
-});
-
-test("refuter adapter rejects wrong hashes and incomplete, duplicate, or extra frozen IDs", () => {
-	const row = { finding_id: "READABILITY-001", outcome: "refuted", proof_refs: ["changed-hunk:lib/value.ts:1"] };
-	for (const batch of [
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: "b".repeat(64), results: [row] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [row, row] },
-		{ schema: "gentle-ai.refuter-result-batch/v1", request_hash: request.request_hash, results: [{ ...row, finding_id: "READABILITY-002" }] },
-	]) assert.equal(normalizeRefuterBatch(request, batch).status, "invalid");
-});