@lamentis/naome 1.3.1 → 1.3.2

package/Cargo.lock

@@ -76,7 +76,7 @@ checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
 
 [[package]]
 name = "naome-cli"
-version = "1.3.1"
+version = "1.3.2"
 dependencies = [
  "naome-core",
  "serde_json",
@@ -84,7 +84,7 @@ dependencies = [
 
 [[package]]
 name = "naome-core"
-version = "1.3.1"
+version = "1.3.2"
 dependencies = [
  "serde",
  "serde_json",

package/crates/naome-cli/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "naome-cli"
-version = "1.3.1"
+version = "1.3.2"
 edition.workspace = true
 license.workspace = true
 repository.workspace = true

package/crates/naome-core/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "naome-core"
-version = "1.3.1"
+version = "1.3.2"
 edition.workspace = true
 license.workspace = true
 repository.workspace = true

package/crates/naome-core/src/intent/resolver_catalog/active.rs

@@ -0,0 +1,38 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_ACTIVE_BLOCKED: Policy = (
+    "block_unowned_diff",
+    false,
+    "The active task is blocked by out-of-scope changes.",
+    "Resolve the scope blocker before interpreting new work.",
+);
+pub(crate) const POLICY_ACTIVE_CANCEL: Policy = (
+    "cancel_current_task",
+    false,
+    "The prompt asks to cancel the active task.",
+    "Cancel or review the active task before starting another.",
+);
+pub(crate) const POLICY_ACTIVE_CONTINUE: Policy = (
+    "continue_current_task",
+    true,
+    "A task is active and the prompt appears to continue or finish it.",
+    "Continue the current task and keep proof current.",
+);
+pub(crate) const POLICY_ACTIVE_NEW_BLOCK: Policy = (
+    "block_ambiguous_intent",
+    false,
+    "A task is already active and the prompt appears to ask for a distinct new goal.",
+    "Complete, revise, or cancel the active task before starting another.",
+);
+pub(crate) const POLICY_ACTIVE_NO_COMMIT: Policy = (
+    "continue_current_task_without_commit",
+    true,
+    "A task is active and the prompt blocks committing.",
+    "Continue the active task without baselining.",
+);
+pub(crate) const POLICY_ACTIVE_REVIEW: Policy = (
+    "review_current_task_diff",
+    false,
+    "The prompt asks to review the active task diff.",
+    "Review the active task before mutating it further.",
+);

package/crates/naome-core/src/intent/resolver_catalog/baseline.rs

@@ -0,0 +1,44 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_BASELINE_BLOCK: Policy = (
+    "block_unowned_diff",
+    false,
+    "Setup, upgrade, or repair changes must be resolved before task routing.",
+    "Resolve the harness baseline decision before accepting feature work.",
+);
+pub(crate) const POLICY_BASELINE_CANCEL: Policy = (
+    "cancel_upgrade_baseline",
+    false,
+    "The prompt explicitly asks to cancel setup, upgrade, or repair changes.",
+    "Cancel or review the NAOME diff before feature work.",
+);
+pub(crate) const POLICY_BASELINE_COMMIT_UPGRADE: Policy = (
+    "commit_upgrade_baseline",
+    true,
+    "The prompt asks to baseline pending setup, upgrade, or repair changes.",
+    "Run the appropriate NAOME baseline flow before feature work.",
+);
+pub(crate) const POLICY_BASELINE_NEW_REFRESH: Policy = (
+    "auto_commit_harness_refresh_then_create_new_task",
+    true,
+    "The prompt asks for a new goal and the only blocker is a deterministic harness refresh.",
+    "Baseline the harness refresh automatically, rerun admission, then create the new task in the same worktree.",
+);
+pub(crate) const POLICY_BASELINE_NEW_UPGRADE: Policy = (
+    "auto_commit_upgrade_baseline_then_create_new_task",
+    true,
+    "The prompt asks for a new goal and the only blocker is a completed NAOME setup, upgrade, or repair diff.",
+    "Baseline the NAOME diff automatically, rerun admission, then create the new task.",
+);
+pub(crate) const POLICY_BASELINE_NO_COMMIT: Policy = (
+    "block_auto_baseline_due_to_no_commit",
+    false,
+    "The prompt explicitly blocks committing, so NAOME will not auto-baseline setup or repair changes.",
+    "Review, cancel, or manually resolve the setup diff before feature work.",
+);
+pub(crate) const POLICY_BASELINE_REVIEW: Policy = (
+    "review_diff_first",
+    false,
+    "The prompt explicitly asks to review setup, upgrade, or repair changes.",
+    "Review the NAOME diff before any baseline or new task.",
+);

package/crates/naome-core/src/intent/resolver_catalog/completed.rs

@@ -0,0 +1,56 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_COMPLETED_CANCEL: Policy = (
+    "cancel_task_changes",
+    false,
+    "The prompt explicitly asks to cancel the completed task changes.",
+    "Cancel or review the completed task diff before any new task.",
+);
+pub(crate) const POLICY_COMPLETED_COMMIT: Policy = (
+    "commit_task_baseline",
+    true,
+    "The prompt asks to baseline the completed task diff.",
+    "Run the NAOME commit baseline flow for the completed task.",
+);
+pub(crate) const POLICY_COMPLETED_NEW_INVALID: Policy = (
+    "block_unsafe_intent",
+    false,
+    "The prompt asks for a new task, but the current completed task is not safe to auto-baseline.",
+    "Review the completed diff and proof before starting new work.",
+);
+pub(crate) const POLICY_COMPLETED_NEW_ISOLATED: Policy = (
+    "auto_commit_completed_task_then_create_isolated_task_worktree",
+    true,
+    "The completed task is valid, and unrelated user edits are present.",
+    "Baseline only the completed task paths, preserve unrelated user edits, and create an isolated worktree for the next task.",
+);
+pub(crate) const POLICY_COMPLETED_NEW_REFRESH: Policy = (
+    "auto_commit_harness_refresh_then_completed_task_then_create_new_task",
+    true,
+    "The completed task is valid after separating deterministic harness refresh changes.",
+    "Baseline the harness refresh first, then baseline the completed task and create the next task.",
+);
+pub(crate) const POLICY_COMPLETED_NEW_VALID: Policy = (
+    "auto_commit_completed_task_then_create_new_task",
+    true,
+    "The completed task is valid and the prompt asks for a distinct new goal.",
+    "Baseline the completed task first, then create the next task.",
+);
+pub(crate) const POLICY_COMPLETED_NO_COMMIT: Policy = (
+    "block_auto_baseline_due_to_no_commit",
+    false,
+    "The prompt explicitly blocks committing, so NAOME will not auto-baseline the completed task.",
+    "Review, revise, cancel, or manually resolve the completed task diff.",
+);
+pub(crate) const POLICY_COMPLETED_REVIEW: Policy = (
+    "review_task_diff",
+    false,
+    "The prompt explicitly asks to review the completed task diff.",
+    "Review the completed task diff before any baseline or new task.",
+);
+pub(crate) const POLICY_COMPLETED_REVISION: Policy = (
+    "reopen_completed_task_revision",
+    true,
+    "The prompt refers to follow-up correction on the unbaselined completed task.",
+    "Reopen the same task as a revision and mark proof stale before editing.",
+);

package/crates/naome-core/src/intent/resolver_catalog/dirty.rs

@@ -0,0 +1,32 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_DIRTY_BLOCK: Policy = (
+    "block_unowned_diff",
+    false,
+    "The repository has unowned changes that must be resolved first.",
+    "NAOME will not commit unowned changes. Review them, or route a new task so NAOME can isolate task work in a separate worktree.",
+);
+pub(crate) const POLICY_DIRTY_COMMIT_USER: Policy = (
+    "commit_user_diff_with_quality_gate",
+    true,
+    "The prompt asks to commit unowned user changes.",
+    "Run NAOME's user-diff quality gate, then commit only the current changed paths if every required check passes.",
+);
+pub(crate) const POLICY_DIRTY_NEW_ISOLATED: Policy = (
+    "auto_commit_harness_refresh_then_create_isolated_task_worktree",
+    true,
+    "The repository has deterministic harness refresh changes plus unrelated user edits.",
+    "Baseline only the harness refresh first, then create an isolated task worktree without touching user edits.",
+);
+pub(crate) const POLICY_DIRTY_NEW_REFRESH: Policy = (
+    "auto_commit_harness_refresh_then_create_new_task",
+    true,
+    "The repository has only deterministic harness refresh changes.",
+    "Baseline the harness refresh first, then create the next task in the same worktree.",
+);
+pub(crate) const POLICY_DIRTY_NEW_WORKTREE: Policy = (
+    "create_isolated_task_worktree",
+    true,
+    "The repository has unrelated user changes, and the prompt asks for a new task.",
+    "Create an isolated NAOME task worktree so the new task can proceed without touching those user changes.",
+);

package/crates/naome-core/src/intent/resolver_catalog/ready.rs

@@ -0,0 +1,32 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_READY_COMMIT_BLOCK: Policy = (
+    "block_ambiguous_intent",
+    false,
+    "The repository is already ready for work; there is no open task diff to baseline.",
+    "Ask for the next concrete task or inspect status.",
+);
+pub(crate) const POLICY_READY_NEW: Policy = (
+    "create_new_task",
+    true,
+    "The repository is clean and the prompt asks for a new goal.",
+    "Create a NAOME task for the new request.",
+);
+pub(crate) const POLICY_READY_NO_COMMIT: Policy = (
+    "create_new_task_without_auto_baseline",
+    true,
+    "The repository is clean, so no commit is needed before the new task.",
+    "Create a NAOME task for the new request.",
+);
+pub(crate) const POLICY_READY_REVIEW_STATUS: Policy = (
+    "answer_status_only",
+    true,
+    "The prompt asks for review, but there is no open task diff.",
+    "Answer from the current NAOME status without editing files.",
+);
+pub(crate) const POLICY_READY_REVISION_BLOCK: Policy = (
+    "block_ambiguous_intent",
+    false,
+    "The prompt sounds like a correction, but there is no open task diff.",
+    "Ask whether this is a new task or a status question.",
+);

package/crates/naome-core/src/intent/resolver_catalog/system.rs

@@ -0,0 +1,20 @@
+use super::super::resolver_shared::Policy;
+
+pub(crate) const POLICY_FIRST_RUN: Policy = (
+    "run_first_run_protocol",
+    false,
+    "First-run intake must finish before feature work.",
+    "Run the NAOME first-run protocol.",
+);
+pub(crate) const POLICY_HARNESS_UNHEALTHY: Policy = (
+    "repair_harness_only",
+    false,
+    "The harness is unhealthy, so normal task work is blocked.",
+    "Repair or review the harness before accepting feature work.",
+);
+pub(crate) const POLICY_UPGRADE: Policy = (
+    "run_upgrade_protocol",
+    false,
+    "A NAOME upgrade is pending before feature work.",
+    "Run the NAOME upgrade protocol.",
+);

package/crates/naome-core/src/intent/resolver_catalog.rs

@@ -1,167 +1,13 @@
-use super::resolver_shared::Policy;
+mod active;
+mod baseline;
+mod completed;
+mod dirty;
+mod ready;
+mod system;
 
-pub(crate) const POLICY_ACTIVE_BLOCKED: Policy = (
-    "block_unowned_diff",
-    false,
-    "The active task is blocked by out-of-scope changes.",
-    "Resolve the scope blocker before interpreting new work.",
-);
-pub(crate) const POLICY_ACTIVE_CANCEL: Policy = (
-    "cancel_current_task",
-    false,
-    "The prompt asks to cancel the active task.",
-    "Cancel or review the active task before starting another.",
-);
-pub(crate) const POLICY_ACTIVE_CONTINUE: Policy = (
-    "continue_current_task",
-    true,
-    "A task is active and the prompt appears to continue or finish it.",
-    "Continue the current task and keep proof current.",
-);
-pub(crate) const POLICY_ACTIVE_NEW_BLOCK: Policy = (
-    "block_ambiguous_intent",
-    false,
-    "A task is already active and the prompt appears to ask for a distinct new goal.",
-    "Complete, revise, or cancel the active task before starting another.",
-);
-pub(crate) const POLICY_ACTIVE_NO_COMMIT: Policy = (
-    "continue_current_task_without_commit",
-    true,
-    "A task is active and the prompt blocks committing.",
-    "Continue the active task without baselining.",
-);
-pub(crate) const POLICY_ACTIVE_REVIEW: Policy = (
-    "review_current_task_diff",
-    false,
-    "The prompt asks to review the active task diff.",
-    "Review the active task before mutating it further.",
-);
-pub(crate) const POLICY_BASELINE_BLOCK: Policy = (
-    "block_unowned_diff",
-    false,
-    "Setup, upgrade, or repair changes must be resolved before task routing.",
-    "Resolve the harness baseline decision before accepting feature work.",
-);
-pub(crate) const POLICY_BASELINE_CANCEL: Policy = (
-    "cancel_upgrade_baseline",
-    false,
-    "The prompt explicitly asks to cancel setup, upgrade, or repair changes.",
-    "Cancel or review the NAOME diff before feature work.",
-);
-pub(crate) const POLICY_BASELINE_COMMIT_UPGRADE: Policy = (
-    "commit_upgrade_baseline",
-    true,
-    "The prompt asks to baseline pending setup, upgrade, or repair changes.",
-    "Run the appropriate NAOME baseline flow before feature work.",
-);
-pub(crate) const POLICY_BASELINE_NEW_REFRESH: Policy = ("auto_commit_harness_refresh_then_create_new_task", true, "The prompt asks for a new goal and the only blocker is a deterministic harness refresh.", "Baseline the harness refresh automatically, rerun admission, then create the new task in the same worktree.");
-pub(crate) const POLICY_BASELINE_NEW_UPGRADE: Policy = ("auto_commit_upgrade_baseline_then_create_new_task", true, "The prompt asks for a new goal and the only blocker is a completed NAOME setup, upgrade, or repair diff.", "Baseline the NAOME diff automatically, rerun admission, then create the new task.");
-pub(crate) const POLICY_BASELINE_NO_COMMIT: Policy = ("block_auto_baseline_due_to_no_commit", false, "The prompt explicitly blocks committing, so NAOME will not auto-baseline setup or repair changes.", "Review, cancel, or manually resolve the setup diff before feature work.");
-pub(crate) const POLICY_BASELINE_REVIEW: Policy = (
-    "review_diff_first",
-    false,
-    "The prompt explicitly asks to review setup, upgrade, or repair changes.",
-    "Review the NAOME diff before any baseline or new task.",
-);
-pub(crate) const POLICY_COMPLETED_CANCEL: Policy = (
-    "cancel_task_changes",
-    false,
-    "The prompt explicitly asks to cancel the completed task changes.",
-    "Cancel or review the completed task diff before any new task.",
-);
-pub(crate) const POLICY_COMPLETED_COMMIT: Policy = (
-    "commit_task_baseline",
-    true,
-    "The prompt asks to baseline the completed task diff.",
-    "Run the NAOME commit baseline flow for the completed task.",
-);
-pub(crate) const POLICY_COMPLETED_NEW_INVALID: Policy = (
-    "block_unsafe_intent",
-    false,
-    "The prompt asks for a new task, but the current completed task is not safe to auto-baseline.",
-    "Review the completed diff and proof before starting new work.",
-);
-pub(crate) const POLICY_COMPLETED_NEW_ISOLATED: Policy = ("auto_commit_completed_task_then_create_isolated_task_worktree", true, "The completed task is valid, and unrelated user edits are present.", "Baseline only the completed task paths, preserve unrelated user edits, and create an isolated worktree for the next task.");
-pub(crate) const POLICY_COMPLETED_NEW_REFRESH: Policy = ("auto_commit_harness_refresh_then_completed_task_then_create_new_task", true, "The completed task is valid after separating deterministic harness refresh changes.", "Baseline the harness refresh first, then baseline the completed task and create the next task.");
-pub(crate) const POLICY_COMPLETED_NEW_VALID: Policy = (
-    "auto_commit_completed_task_then_create_new_task",
-    true,
-    "The completed task is valid and the prompt asks for a distinct new goal.",
-    "Baseline the completed task first, then create the next task.",
-);
-pub(crate) const POLICY_COMPLETED_NO_COMMIT: Policy = (
-    "block_auto_baseline_due_to_no_commit",
-    false,
-    "The prompt explicitly blocks committing, so NAOME will not auto-baseline the completed task.",
-    "Review, revise, cancel, or manually resolve the completed task diff.",
-);
-pub(crate) const POLICY_COMPLETED_REVIEW: Policy = (
-    "review_task_diff",
-    false,
-    "The prompt explicitly asks to review the completed task diff.",
-    "Review the completed task diff before any baseline or new task.",
-);
-pub(crate) const POLICY_COMPLETED_REVISION: Policy = (
-    "reopen_completed_task_revision",
-    true,
-    "The prompt refers to follow-up correction on the unbaselined completed task.",
-    "Reopen the same task as a revision and mark proof stale before editing.",
-);
-pub(crate) const POLICY_DIRTY_BLOCK: Policy = ("block_unowned_diff", false, "The repository has unowned changes that must be resolved first.", "NAOME will not commit unowned changes. Review them, or route a new task so NAOME can isolate task work in a separate worktree.");
-pub(crate) const POLICY_DIRTY_COMMIT_USER: Policy = ("commit_user_diff_with_quality_gate", true, "The prompt asks to commit unowned user changes.", "Run NAOME's user-diff quality gate, then commit only the current changed paths if every required check passes.");
-pub(crate) const POLICY_DIRTY_NEW_ISOLATED: Policy = ("auto_commit_harness_refresh_then_create_isolated_task_worktree", true, "The repository has deterministic harness refresh changes plus unrelated user edits.", "Baseline only the harness refresh first, then create an isolated task worktree without touching user edits.");
-pub(crate) const POLICY_DIRTY_NEW_REFRESH: Policy = (
-    "auto_commit_harness_refresh_then_create_new_task",
-    true,
-    "The repository has only deterministic harness refresh changes.",
-    "Baseline the harness refresh first, then create the next task in the same worktree.",
-);
-pub(crate) const POLICY_DIRTY_NEW_WORKTREE: Policy = ("create_isolated_task_worktree", true, "The repository has unrelated user changes, and the prompt asks for a new task.", "Create an isolated NAOME task worktree so the new task can proceed without touching those user changes.");
-pub(crate) const POLICY_FIRST_RUN: Policy = (
-    "run_first_run_protocol",
-    false,
-    "First-run intake must finish before feature work.",
-    "Run the NAOME first-run protocol.",
-);
-pub(crate) const POLICY_HARNESS_UNHEALTHY: Policy = (
-    "repair_harness_only",
-    false,
-    "The harness is unhealthy, so normal task work is blocked.",
-    "Repair or review the harness before accepting feature work.",
-);
-pub(crate) const POLICY_READY_COMMIT_BLOCK: Policy = (
-    "block_ambiguous_intent",
-    false,
-    "The repository is already ready for work; there is no open task diff to baseline.",
-    "Ask for the next concrete task or inspect status.",
-);
-pub(crate) const POLICY_READY_NEW: Policy = (
-    "create_new_task",
-    true,
-    "The repository is clean and the prompt asks for a new goal.",
-    "Create a NAOME task for the new request.",
-);
-pub(crate) const POLICY_READY_NO_COMMIT: Policy = (
-    "create_new_task_without_auto_baseline",
-    true,
-    "The repository is clean, so no commit is needed before the new task.",
-    "Create a NAOME task for the new request.",
-);
-pub(crate) const POLICY_READY_REVIEW_STATUS: Policy = (
-    "answer_status_only",
-    true,
-    "The prompt asks for review, but there is no open task diff.",
-    "Answer from the current NAOME status without editing files.",
-);
-pub(crate) const POLICY_READY_REVISION_BLOCK: Policy = (
-    "block_ambiguous_intent",
-    false,
-    "The prompt sounds like a correction, but there is no open task diff.",
-    "Ask whether this is a new task or a status question.",
-);
-pub(crate) const POLICY_UPGRADE: Policy = (
-    "run_upgrade_protocol",
-    false,
-    "A NAOME upgrade is pending before feature work.",
-    "Run the NAOME upgrade protocol.",
-);
+pub(crate) use active::*;
+pub(crate) use baseline::*;
+pub(crate) use completed::*;
+pub(crate) use dirty::*;
+pub(crate) use ready::*;
+pub(crate) use system::*;

package/crates/naome-core/tests/harness_health.rs

@@ -156,50 +156,13 @@ impl HarnessFixture {
         write_file(
             &root,
             ".naome/manifest.json",
-            &format!(
-                "{}\n",
-                serde_json::to_string_pretty(&json!({
-                    "name": "naome",
-                    "harnessVersion": "0.6.1",
-                    "profile": "standard",
-                    "installedAt": "2026-05-05T00:00:00.000Z",
-                    "machineOwned": MACHINE_OWNED_PATHS,
-                    "projectOwned": PROJECT_OWNED_PATHS,
-                    "integrity": integrity
-                }))
-                .unwrap()
-            ),
-        );
-        write_file(
-            &root,
-            ".naome/task-state.json",
-            &format!(
-                "{}\n",
-                serde_json::to_string_pretty(&json!({
-                    "schema": "naome.task-state.v1",
-                    "version": 1,
-                    "status": "idle",
-                    "activeTask": null,
-                    "blocker": null,
-                    "updatedAt": null
-                }))
-                .unwrap()
-            ),
+            &pretty_json(manifest_fixture(&integrity)),
         );
+        write_file(&root, ".naome/task-state.json", "{}\n");
         write_file(
             &root,
             ".naome/upgrade-state.json",
-            &format!(
-                "{}\n",
-                serde_json::to_string_pretty(&json!({
-                    "status": "complete",
-                    "fromVersion": null,
-                    "toVersion": "0.6.1",
-                    "pending": [],
-                    "completed": []
-                }))
-                .unwrap()
-            ),
+            &pretty_json(complete_upgrade_state_fixture()),
         );
 
         Self { root, integrity }
@@ -214,6 +177,32 @@ impl HarnessFixture {
     }
 }
 
+fn manifest_fixture(integrity: &HashMap<String, String>) -> serde_json::Value {
+    json!({
+        "name": "naome",
+        "harnessVersion": "0.6.1",
+        "profile": "standard",
+        "installedAt": "2026-05-05T00:00:00.000Z",
+        "machineOwned": MACHINE_OWNED_PATHS,
+        "projectOwned": PROJECT_OWNED_PATHS,
+        "integrity": integrity
+    })
+}
+
+fn complete_upgrade_state_fixture() -> serde_json::Value {
+    json!({
+        "status": "complete",
+        "fromVersion": null,
+        "toVersion": "0.6.1",
+        "pending": [],
+        "completed": []
+    })
+}
+
+fn pretty_json(value: serde_json::Value) -> String {
+    format!("{}\n", serde_json::to_string_pretty(&value).unwrap())
+}
+
 fn machine_content(relative_path: &str) -> String {
     match relative_path {
         "AGENTS.md" => [

package/crates/naome-core/tests/repo_support/mod.rs

@@ -14,7 +14,9 @@ pub use routes::{
     try_route_readme_task,
 };
 pub use verification_values::{
-    change_type, diff_check, quality_check, repository_quality_config_source,
+    change_type, check_missing_last_verified_fixture, diff_check,
+    placeholder_verification_contract_fixture, quality_check, repo_docs_verification_fixture,
+    repository_quality_config_source,
     repository_quality_config_value, semantic_repository_quality_fixture_source,
     verification_value,
 };

package/crates/naome-core/tests/repo_support/verification_values.rs

@@ -1,4 +1,4 @@
-use serde_json::json;
+use serde_json::{json, Value};
 
 pub fn completed_task_state(admission_head: &str) -> serde_json::Value {
     json!({
@@ -67,6 +67,7 @@ pub fn verification_value(
         "schema": "naome.verification.v1",
         "version": 1,
         "status": status,
+        "lastUpdated": null,
         "checks": checks,
         "changeTypes": change_types,
         "releaseGates": []
@@ -118,6 +119,97 @@ pub fn change_type(
     })
 }
 
+pub fn repo_docs_verification_fixture() -> Value {
+    json!({
+        "schema": "naome.verification.v1",
+        "version": 1,
+        "status": "ready",
+        "lastUpdated": "2026-05-05",
+        "checks": [
+            {
+                "id": "repo-docs",
+                "command": "npm run docs:test",
+                "cwd": ".",
+                "purpose": "Validate repository documentation.",
+                "cost": "fast",
+                "source": "repository intake",
+                "evidence": ["package.json"],
+                "lastVerified": null
+            }
+        ],
+        "changeTypes": [
+            {
+                "id": "repo-docs",
+                "description": "Repository documentation changes.",
+                "paths": ["docs/**"],
+                "requiredChecks": ["repo-docs"],
+                "recommendedChecks": [],
+                "humanReview": false
+            }
+        ],
+        "releaseGates": [
+            {
+                "checkId": "repo-docs",
+                "requiredWhen": "Before merging repository documentation changes."
+            }
+        ]
+    })
+}
+
+pub fn placeholder_verification_contract_fixture() -> Value {
+    json!({
+        "schema": "naome.verification.v1",
+        "version": 1,
+        "status": "ready",
+        "lastUpdated": "2026-05-05",
+        "checks": [
+            {
+                "id": "example-check",
+                "command": "replace with real command",
+                "cwd": ".",
+                "purpose": "Replace with what this proves.",
+                "cost": "fast",
+                "source": "replace with evidence source",
+                "evidence": [],
+                "lastVerified": null
+            }
+        ],
+        "changeTypes": [
+            {
+                "id": "docs",
+                "description": "Documentation changes.",
+                "paths": ["docs/**"],
+                "requiredChecks": ["missing-check"],
+                "recommendedChecks": [],
+                "humanReview": false
+            }
+        ],
+        "releaseGates": []
+    })
+}
+
+pub fn check_missing_last_verified_fixture() -> Value {
+    json!({
+        "schema": "naome.verification.v1",
+        "version": 1,
+        "status": "uninitialized",
+        "lastUpdated": null,
+        "checks": [
+            {
+                "id": "diff-check",
+                "command": "git diff --check",
+                "cwd": ".",
+                "purpose": "Reject whitespace errors.",
+                "cost": "fast",
+                "source": "git",
+                "evidence": []
+            }
+        ],
+        "changeTypes": [],
+        "releaseGates": []
+    })
+}
+
 pub fn quality_check(
     id: &str,
     command: &str,

package/crates/naome-core/tests/task_state.rs

@@ -8,8 +8,8 @@ use naome_core::{
 };
 use serde_json::json;
 use task_state_support::{
-    active_task, complete_task_state, idle_task_state, strict_health_options, successful_admission,
-    successful_proof, TaskFixture,
+    active_task, complete_task_state, idle_task_state, ready_empty_verification_fixture,
+    strict_health_options, successful_admission, successful_proof, TaskFixture,
 };
 
 #[test]
@@ -137,15 +137,7 @@ fn commit_gate_allows_install_baseline_with_gitignore_and_project_owned_paths()
     repo.write("docs/naome/testing.md", "# Testing\n");
     repo.write_json(
         ".naome/verification.json",
-        json!({
-            "schema": "naome.verification.v1",
-            "version": 1,
-            "status": "ready",
-            "lastUpdated": "2026-05-05",
-            "checks": [],
-            "changeTypes": [],
-            "releaseGates": []
-        }),
+        ready_empty_verification_fixture(),
     );
 
     let report = commit_gate_report(&repo);
@@ -292,7 +284,7 @@ fn commit_gate_ignores_unstaged_user_edits_outside_completed_task_scope() {
 
 #[test]
 fn progress_accepts_implementing_task_with_scoped_diff_without_proof() {
-    let repo = TaskFixture::new(implementing_readme_task());
+    let repo = TaskFixture::new(implementing_readme_task_fixture());
     repo.init_git();
     repo.write("README.md", "# In progress\n");
 
@@ -303,7 +295,7 @@ fn progress_accepts_implementing_task_with_scoped_diff_without_proof() {
 
 #[test]
 fn progress_rejects_in_flight_work_outside_scope() {
-    let repo = TaskFixture::new(implementing_readme_task());
+    let repo = TaskFixture::new(implementing_readme_task_fixture());
     repo.init_git();
     repo.write("src/session.js", "export const session = null;\n");
 
@@ -417,7 +409,7 @@ fn progress_report(repo: &TaskFixture) -> TaskStateReport {
     .unwrap()
 }
 
-fn implementing_readme_task() -> serde_json::Value {
+fn implementing_readme_task_fixture() -> serde_json::Value {
     json!({
         "schema": "naome.task-state.v1",
         "version": 1,

package/crates/naome-core/tests/task_state_support/mod.rs

@@ -11,7 +11,8 @@ use naome_core::{HarnessHealthOptions, MACHINE_OWNED_PATHS, PROJECT_OWNED_PATHS}
 use serde_json::{json, Value};
 use sha2::{Digest, Sha256};
 pub use states::{
-    active_task, complete_task_state, idle_task_state, successful_admission, successful_proof,
+    active_task, complete_task_state, idle_task_state, ready_empty_verification_fixture,
+    successful_admission, successful_proof,
 };
 
 static FIXTURE_COUNTER: AtomicU64 = AtomicU64::new(0);

package/crates/naome-core/tests/task_state_support/states.rs

@@ -1,24 +1,25 @@
 use serde_json::{json, Value};
 
 pub fn idle_task_state() -> Value {
-    json!({
-        "schema": "naome.task-state.v1",
-        "version": 1,
-        "status": "idle",
-        "activeTask": null,
-        "blocker": null,
-        "updatedAt": null
-    })
+    task_state_record("idle", Value::Null, Value::Null)
 }
 
 pub fn complete_task_state(overrides: Value) -> Value {
+    task_state_record(
+        "complete",
+        active_task(overrides),
+        json!("2026-05-04T12:00:00.000Z"),
+    )
+}
+
+fn task_state_record(status: &str, active_task: Value, updated_at: Value) -> Value {
     json!({
         "schema": "naome.task-state.v1",
         "version": 1,
-        "status": "complete",
-        "activeTask": active_task(overrides),
+        "status": status,
+        "activeTask": active_task,
         "blocker": null,
-        "updatedAt": "2026-05-04T12:00:00.000Z"
+        "updatedAt": updated_at
     })
 }
 
@@ -71,6 +72,22 @@ pub fn successful_proof(overrides: Value) -> Value {
     proof
 }
 
+pub fn ready_empty_verification_fixture() -> Value {
+    serde_json::from_str(
+        r#"{
+  "schema": "naome.verification.v1",
+  "version": 1,
+  "status": "ready",
+  "lastUpdated": "2026-05-05",
+  "checks": [],
+  "changeTypes": [],
+  "releaseGates": [],
+  "phases": []
+}"#,
+    )
+    .unwrap()
+}
+
 fn merge_object(target: &mut Value, overrides: Value) {
     let Some(target_object) = target.as_object_mut() else {
         return;

package/crates/naome-core/tests/verification.rs

@@ -2,30 +2,12 @@ use naome_core::seed_builtin_verification_checks;
 
 mod repo_support;
 
-use repo_support::{change_type, quality_check, verification_value, TestRepo};
+use repo_support::{repo_docs_verification_fixture, TestRepo};
 
 #[test]
 fn seeds_builtin_checks_without_removing_repo_specific_checks() {
     let repo = TestRepo::new("verification-seed");
-    repo.write_naome_json(
-        "verification.json",
-        verification_value(
-            "ready",
-            vec![quality_check(
-                "repo-docs",
-                "npm run docs:test",
-                "Validate repository documentation.",
-                "fast",
-                vec!["package.json"],
-            )],
-            vec![change_type(
-                "repo-docs",
-                "Repository documentation changes.",
-                vec!["docs/**"],
-                vec!["repo-docs"],
-            )],
-        ),
-    );
+    repo.write_naome_json("verification.json", repo_docs_verification_fixture());
 
     let changed = seed_builtin_verification_checks(repo.path()).unwrap();
 

package/crates/naome-core/tests/verification_contract.rs

@@ -3,7 +3,10 @@ use serde_json::json;
 
 mod repo_support;
 
-use repo_support::{change_type, diff_check, verification_value, TestRepo};
+use repo_support::{
+    change_type, check_missing_last_verified_fixture, diff_check,
+    placeholder_verification_contract_fixture, verification_value, TestRepo,
+};
 
 #[test]
 fn accepts_valid_contract_and_testing_map() {
@@ -39,35 +42,7 @@ fn rejects_missing_check_references_and_ready_placeholders() {
     repo.write_testing_markdown(default_testing_markdown());
     repo.write_naome_json(
         "verification.json",
-        json!({
-            "schema": "naome.verification.v1",
-            "version": 1,
-            "status": "ready",
-            "lastUpdated": "2026-05-05",
-            "checks": [
-                {
-                    "id": "example-check",
-                    "command": "replace with real command",
-                    "cwd": ".",
-                    "purpose": "Replace with what this proves.",
-                    "cost": "fast",
-                    "source": "replace with evidence source",
-                    "evidence": [],
-                    "lastVerified": null
-                }
-            ],
-            "changeTypes": [
-                {
-                    "id": "docs",
-                    "description": "Documentation changes.",
-                    "paths": ["docs/**"],
-                    "requiredChecks": ["missing-check"],
-                    "recommendedChecks": [],
-                    "humanReview": false
-                }
-            ],
-            "releaseGates": []
-        }),
+        placeholder_verification_contract_fixture(),
     );
 
     let errors = validate_verification_contract(repo.path()).unwrap();
@@ -81,28 +56,7 @@ fn rejects_missing_check_references_and_ready_placeholders() {
 fn rejects_checks_without_explicit_last_verified_value() {
     let repo = TestRepo::new("verification-contract-last-verified");
     repo.write_testing_markdown(default_testing_markdown());
-    repo.write_naome_json(
-        "verification.json",
-        json!({
-            "schema": "naome.verification.v1",
-            "version": 1,
-            "status": "uninitialized",
-            "lastUpdated": null,
-            "checks": [
-                {
-                    "id": "diff-check",
-                    "command": "git diff --check",
-                    "cwd": ".",
-                    "purpose": "Reject whitespace errors.",
-                    "cost": "fast",
-                    "source": "git",
-                    "evidence": []
-                }
-            ],
-            "changeTypes": [],
-            "releaseGates": []
-        }),
-    );
+    repo.write_naome_json("verification.json", check_missing_last_verified_fixture());
 
     let errors = validate_verification_contract(repo.path()).unwrap();
     let joined = errors.join("\n");

package/crates/naome-core/tests/workflow_integrity.rs

@@ -5,8 +5,7 @@ use std::fs;
 use naome_core::{
     refresh_integrity, summarize_command_output, verification_phase_plan, CommandCheckResult,
 };
-use serde_json::json;
-use workflow_support::{check, phase, WorkflowFixture};
+use workflow_support::{phased_verification_fixture, WorkflowFixture};
 
 #[test]
 fn refresh_integrity_is_idempotent_and_repairs_manifest_hash() {
@@ -29,24 +28,7 @@ fn refresh_integrity_is_idempotent_and_repairs_manifest_hash() {
 #[test]
 fn failed_early_phase_withholds_expensive_recommendations() {
     let repo = WorkflowFixture::new("verification-phases");
-    repo.write_verification(json!({
-        "schema": "naome.verification.v1",
-        "version": 1,
-        "status": "ready",
-        "lastUpdated": "2026-05-07",
-        "checks": [
-            check("naome-harness-health", "node .naome/bin/check-harness-health.js", "fast"),
-            check("repository-quality-check", "node .naome/bin/naome.js quality check --changed", "fast"),
-            check("package-dry-run", "npm run pack:dry-run", "medium")
-        ],
-        "phases": [
-            phase("shape-health", 10, ["naome-harness-health"]),
-            phase("quality", 20, ["repository-quality-check"]),
-            phase("package-release", 50, ["package-dry-run"])
-        ],
-        "changeTypes": [],
-        "releaseGates": []
-    }));
+    repo.write_verification(phased_verification_fixture());
 
     let plan = verification_phase_plan(
         repo.path(),

package/crates/naome-core/tests/workflow_support/mod.rs

@@ -80,17 +80,10 @@ impl WorkflowFixture {
             checks,
             git_text(&self.root, &["rev-parse", "HEAD"]),
         );
-        self.write(
-            ".naome/task-state.json",
-            &pretty(json!({
-                "schema": "naome.task-state.v2",
-                "version": 2,
-                "status": status,
-                "activeTask": active_task,
-                "blocker": null,
-                "updatedAt": "2026-05-07T12:00:00.000Z"
-            })),
-        );
+        let mut task_state = task_state_template_fixture();
+        task_state["status"] = json!(status);
+        task_state["activeTask"] = active_task;
+        self.write(".naome/task-state.json", &pretty(task_state));
     }
 
     pub fn write_verification(&self, value: serde_json::Value) {
@@ -113,15 +106,32 @@ impl Drop for WorkflowFixture {
 }
 
 pub fn default_verification() -> serde_json::Value {
-    json!({
-        "schema": "naome.verification.v1",
-        "version": 1,
-        "status": "ready",
-        "lastUpdated": "2026-05-07",
-        "checks": [check("diff-check", "git diff --check", "fast")],
-        "changeTypes": [],
-        "releaseGates": []
-    })
+    let mut value = verification_template_fixture();
+    value["checks"] = json!([check("diff-check", "git diff --check", "fast")]);
+    value
+}
+
+pub fn phased_verification_fixture() -> serde_json::Value {
+    let mut value = verification_template_fixture();
+    value["checks"] = json!([
+        check(
+            "naome-harness-health",
+            "node .naome/bin/check-harness-health.js",
+            "fast"
+        ),
+        check(
+            "repository-quality-check",
+            "node .naome/bin/naome.js quality check --changed",
+            "fast"
+        ),
+        check("package-dry-run", "npm run pack:dry-run", "medium")
+    ]);
+    value["phases"] = json!([
+        phase("shape-health", 10, ["naome-harness-health"]),
+        phase("quality", 20, ["repository-quality-check"]),
+        phase("package-release", 50, ["package-dry-run"])
+    ]);
+    value
 }
 
 pub fn check(id: &str, command: &str, cost: &str) -> serde_json::Value {
@@ -159,6 +169,35 @@ fn active_task_state(
     })
 }
 
+fn task_state_template_fixture() -> serde_json::Value {
+    serde_json::from_str(
+        r#"{
+  "schema": "naome.task-state.v2",
+  "version": 2,
+  "status": null,
+  "activeTask": null,
+  "blocker": null,
+  "updatedAt": "2026-05-07T12:00:00.000Z"
+}"#,
+    )
+    .unwrap()
+}
+
+fn verification_template_fixture() -> serde_json::Value {
+    serde_json::from_str(
+        r#"{
+  "schema": "naome.verification.v1",
+  "version": 1,
+  "status": "ready",
+  "lastUpdated": "2026-05-07",
+  "checks": [],
+  "changeTypes": [],
+  "releaseGates": []
+}"#,
+    )
+    .unwrap()
+}
+
 fn admission_record(git_head: String) -> serde_json::Value {
     json!({
         "command": "node .naome/bin/check-task-state.js --admission",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@lamentis/naome",
-  "version": "1.3.1",
+  "version": "1.3.2",
   "description": "Native-first CLI for the NAOME agent harness.",
   "license": "Apache-2.0",
   "type": "module",