@lamentis/naome 1.3.1 → 1.3.3

package/Cargo.lock

@@ -76,7 +76,7 @@ checksum = "f8ca58f447f06ed17d5fc4043ce1b10dd205e060fb3ce5b979b8ed8e59ff3f79"
 
 [[package]]
 name = "naome-cli"
-version = "1.3.1"
+version = "1.3.3"
 dependencies = [
  "naome-core",
  "serde_json",
@@ -84,7 +84,7 @@ dependencies = [
 
 [[package]]
 name = "naome-core"
-version = "1.3.1"
+version = "1.3.3"
 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.3"
 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.3"
 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/src/lib.rs

@@ -14,6 +14,7 @@ mod task_ledger;
 mod task_state;
 mod verification;
 mod verification_contract;
+mod verification_contract_policy;
 mod workflow;
 
 pub use context::{

package/crates/naome-core/src/route/quality_gate_config.rs

@@ -98,6 +98,7 @@ pub(super) fn user_diff_check_ids(
             "No quality checks are configured for these changed paths.",
         ));
     }
+    enforce_repository_semantic_companion(&mut ids, checks)?;
 
     Ok(ids)
 }
@@ -124,3 +125,20 @@ fn push_unique_string(values: &mut Vec<String>, value: &str) {
         values.push(value.to_string());
     }
 }
+
+fn enforce_repository_semantic_companion(
+    ids: &mut Vec<String>,
+    checks: &HashMap<&str, QualityCheck>,
+) -> Result<(), NaomeError> {
+    if !ids.iter().any(|item| item == "repository-quality-check") {
+        return Ok(());
+    }
+    if checks.contains_key("repository-semantic-check") {
+        push_unique_string(ids, "repository-semantic-check");
+        return Ok(());
+    }
+
+    Err(NaomeError::new(
+        "repository-quality-check requires repository-semantic-check so semantic findings are mandatory quality-gate failures.",
+    ))
+}

package/crates/naome-core/src/task_state/diff.rs

@@ -6,7 +6,7 @@ use serde_json::Value;
 use crate::models::NaomeError;
 
 use super::git_io::read_git_changed_entries;
-use super::types::{is_control_state_path, ChangedEntry, TaskDiff};
+use super::types::{is_control_state_path, is_local_runtime_path, ChangedEntry, TaskDiff};
 use super::util::{matches_any_pattern, normalize_path, string_array};
 pub(super) fn validate_changed_paths(
     active_task: &Value,
@@ -80,7 +80,7 @@ pub(super) fn task_diff_from_entries(active_task: &Value, entries: &[ChangedEntr
     let diff_paths: Vec<String> = entries
         .iter()
         .map(|entry| entry.path.clone())
-        .filter(|path| !is_control_state_path(path))
+        .filter(|path| !is_control_state_path(path) && !is_local_runtime_path(path))
         .collect();
     let outside_paths = diff_paths
         .iter()

package/crates/naome-core/src/task_state/git_io.rs

@@ -6,7 +6,7 @@ use crate::models::NaomeError;
 
 pub(super) use super::git_parse::{parse_name_status_output, split_nul, upsert_changed_entry};
 pub(super) use super::git_refs::{command_output, git_commit_exists, read_git_head, run_git};
-use super::types::ChangedEntry;
+use super::types::{is_local_runtime_path, ChangedEntry};
 use super::util::normalize_path;
 pub(super) fn read_git_changed_paths(root: &Path) -> Result<Vec<String>, NaomeError> {
     Ok(read_git_changed_entries(root)?
@@ -55,6 +55,9 @@ pub(super) fn read_git_changed_entries(root: &Path) -> Result<Vec<ChangedEntry>,
         }
 
         for entry in parse_name_status_output(&output.stdout) {
+            if is_local_runtime_path(&entry.path) {
+                continue;
+            }
             upsert_changed_entry(&mut entries, entry);
         }
     }
@@ -69,7 +72,7 @@ pub(super) fn read_git_changed_entries(root: &Path) -> Result<Vec<ChangedEntry>,
 
     for token in split_nul(&untracked.stdout) {
         let path = normalize_path(token.trim());
-        if !path.is_empty() {
+        if !path.is_empty() && !is_local_runtime_path(&path) {
             upsert_changed_entry(
                 &mut entries,
                 ChangedEntry {

package/crates/naome-core/src/task_state/types.rs

@@ -97,6 +97,10 @@ pub(super) fn is_control_state_path(path: &str) -> bool {
     path == CONTROL_STATE_PATH || path.starts_with(TASK_LEDGER_PATH_PREFIX)
 }
 
+pub(super) fn is_local_runtime_path(path: &str) -> bool {
+    path == ".naome/tmp" || path.starts_with(".naome/tmp/")
+}
+
 pub(super) fn read_complete_active_task(root: &Path) -> Result<Option<(Value, Value)>, NaomeError> {
     let Some(task_state) = read_task_state_projection(root)? else {
         return Ok(None);

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

@@ -5,6 +5,7 @@ use std::path::Path;
 use serde_json::Value;
 
 use crate::models::NaomeError;
+use crate::verification_contract_policy::validate_semantic_quality_gate_policy;
 
 const REQUIRED_TESTING_HEADINGS: &[&str] = &[
     "# Testing And Verification",
@@ -29,7 +30,7 @@ const ALLOWED_TOP_LEVEL_KEYS: &[&str] = &[
 const MAX_CHECKS: usize = 20;
 const MAX_PHASES: usize = 8;
 const MAX_CHANGE_TYPES: usize = 12;
-const MAX_RELEASE_GATES: usize = 10;
+const MAX_RELEASE_GATES: usize = 12;
 
 pub fn validate_verification_contract(root: &Path) -> Result<Vec<String>, NaomeError> {
     let mut errors = Vec::new();
@@ -135,6 +136,7 @@ fn validate_contract_shape(contract: &Value, errors: &mut Vec<String>) {
     }
     validate_change_types(change_types, &check_ids, errors);
     validate_release_gates(release_gates, &check_ids, errors);
+    validate_semantic_quality_gate_policy(change_types, release_gates, &check_ids, errors);
 
     if status == Some("ready") && contains_example_placeholders(contract) {
         errors.push(

package/crates/naome-core/src/verification_contract_policy.rs

@@ -0,0 +1,52 @@
+use std::collections::HashSet;
+
+use serde_json::Value;
+
+pub(crate) fn validate_semantic_quality_gate_policy(
+    change_types: &[Value],
+    release_gates: &[Value],
+    check_ids: &HashSet<String>,
+    errors: &mut Vec<String>,
+) {
+    if check_ids.contains("repository-quality-check")
+        && !check_ids.contains("repository-semantic-check")
+    {
+        errors.push(
+            "checks must include repository-semantic-check whenever repository-quality-check is configured.".to_string(),
+        );
+    }
+
+    for (index, change_type) in change_types.iter().enumerate() {
+        let Some(required_checks) = change_type
+            .get("requiredChecks")
+            .and_then(Value::as_array)
+        else {
+            continue;
+        };
+        let has_quality = contains_string(required_checks, "repository-quality-check");
+        let has_semantic = contains_string(required_checks, "repository-semantic-check");
+        if has_quality && !has_semantic {
+            errors.push(format!(
+                "changeTypes[{index}].requiredChecks must include repository-semantic-check whenever repository-quality-check is required."
+            ));
+        }
+    }
+
+    let has_quality_release_gate = release_gates.iter().any(|gate| {
+        gate.get("checkId").and_then(Value::as_str) == Some("repository-quality-check")
+    });
+    let has_semantic_release_gate = release_gates.iter().any(|gate| {
+        gate.get("checkId").and_then(Value::as_str) == Some("repository-semantic-check")
+    });
+    if has_quality_release_gate && !has_semantic_release_gate {
+        errors.push(
+            "releaseGates must include repository-semantic-check whenever repository-quality-check is a release gate.".to_string(),
+        );
+    }
+}
+
+fn contains_string(values: &[Value], expected: &str) -> bool {
+    values
+        .iter()
+        .any(|value| value.as_str() == Some(expected))
+}