@lamentis/naome 1.3.0 → 1.3.1

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

@@ -1,3 +1,4 @@
+mod context;
 mod decision;
 mod git;
 mod harness_health;
@@ -7,12 +8,18 @@ mod journal;
 mod models;
 mod paths;
 mod quality;
+mod repository_model;
 mod route;
+mod task_ledger;
 mod task_state;
 mod verification;
 mod verification_contract;
 mod workflow;
 
+pub use context::{
+    select_context_for_changed_paths, select_context_for_prompt, ContextBudgetLedger,
+    ContextCapsule, ContextItem, ContextSelection,
+};
 pub use decision::{evaluate_decision, format_decision, EvaluationOptions};
 pub use harness_health::{validate_harness_health, HarnessHealthOptions};
 pub use install_plan::{install_plan, InstallPlan};
@@ -21,15 +28,27 @@ pub use intent::{evaluate_intent, format_intent, IntentDecision, PromptEvidence}
 pub use journal::{append_task_journal, TaskJournalEntry};
 pub use models::{Decision, NaomeError};
 pub use quality::{
-    check_repository_quality, check_semantic_legacy, explain_repository_structure,
-    clear_quality_cache, init_repository_quality, init_repository_quality_with_mode,
-    plan_quality_cleanup, quality_cache_status, route_quality_cleanup,
-    semantic_route_for_finding, QualityCacheStatus, QualityCleanupPlan, QualityCleanupRoute,
-    QualityCleanupTask, QualityInitMode, QualityInitResult, QualityMode, QualityReport,
+    check_repository_quality, check_repository_quality_paths, check_semantic_legacy,
+    check_semantic_legacy_paths,
+    clear_quality_cache, explain_repository_structure, init_repository_quality,
+    init_repository_quality_with_mode, plan_quality_cleanup, quality_cache_status,
+    reconcile_repository_quality, route_quality_cleanup, semantic_route_for_finding,
+    QualityCacheStatus, QualityCleanupPlan, QualityCleanupRoute, QualityCleanupTask,
+    QualityInitMode, QualityInitResult, QualityMode, QualityReconcileReport, QualityReport,
     QualitySummary, QualityViolation, RepositoryQualityConfig, RepositoryStructureConfig,
     SemanticFinding, SemanticReport, StructurePathExplanation,
 };
+pub use repository_model::{
+    explain_repository_model_path, refresh_repository_model, repository_model_drift,
+    RepositoryEntity, RepositoryFact, RepositoryModel, RepositoryModelDrift,
+    RepositoryModelRefresh, RepositoryPathExplanation, RepositoryPathFact, RepositoryRoot,
+    RepositoryVerificationCheck, RepositoryWorldSignal,
+};
 pub use route::{evaluate_route, explain_route, ExplainDecision, RouteDecision, RouteOptions};
+pub use task_ledger::{
+    migrate_task_state_to_ledger, read_task_state_projection, render_task_state_from_ledger,
+    TaskLedgerProjection, TaskLedgerStatus,
+};
 pub use task_state::{
     completed_task_commit_paths, validate_task_state, TaskStateMode, TaskStateOptions,
     TaskStateReport,
@@ -37,9 +56,13 @@ pub use task_state::{
 pub use verification::seed_builtin_verification_checks;
 pub use verification_contract::validate_verification_contract;
 pub use workflow::{
-    classify_mutations, doctor_report, refresh_integrity, safe_rg_args, summarize_command_output,
-    tracked_process_report, validate_read_boundaries, validate_search_command,
-    verification_phase_plan, CommandCheckResult, CommandOutputSummary, DoctorReport, DoctorSection,
-    IntegrityRefreshReport, MutationClassification, ProcessReport, ReadActivity,
-    RepositoryPolicySection, VerificationPhasePlan, WorkflowFinding,
+    agent_run_plan, classify_mutations, context_delta_report, decision_gate, doctor_report,
+    edit_session_watchdog, proof_plan_for_task, refresh_integrity, repository_capability_graph,
+    safe_rg_args, summarize_command_output, tracked_process_report, validate_read_boundaries,
+    validate_search_command, verification_phase_plan, AgentRunPlan, CapabilityGraph,
+    CapabilityRoot, CommandCheckResult, CommandOutputSummary, ContextDeltaReport, DecisionGate,
+    DoctorReport, DoctorSection, EditSessionWatchdog, ExecutionPlanLedger, ExecutionPlanStep,
+    IntegrityRefreshReport, MutationClassification, ProcessReport, ProofPlan, ReadActivity,
+    RepositoryCapability, RepositoryPolicySection, VerificationEdge, VerificationPhasePlan,
+    WorkflowFinding,
 };

package/crates/naome-core/src/quality/adapter_ios.rs

@@ -0,0 +1,131 @@
+use super::adapters::{path_rule, test_file_limits};
+use super::types::{QualityLimitOverrides, QualityPathRule};
+
+pub(super) fn swift_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "swift-source",
+        &["**/*.swift"],
+        source_limits(450, 300, 180, 100, 30, 10, 0.9),
+        &[],
+    )]
+}
+
+pub(super) fn xctest_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "xctest-tests",
+        &[
+            "**/*Tests.swift",
+            "**/*UITests.swift",
+            "Tests/**/*.swift",
+            "**/Tests/**/*.swift",
+            "**/*Tests/**/*.swift",
+            "**/*UITests/**/*.swift",
+        ],
+        test_file_limits(80),
+        &[],
+    )]
+}
+
+pub(super) fn swiftui_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "swiftui-views",
+        &[
+            "**/*View.swift",
+            "**/Views/**/*.swift",
+            "**/Preview Content/**",
+        ],
+        source_limits(360, 240, 160, 80, 24, 10, 0.92),
+        &[],
+    )]
+}
+
+pub(super) fn ios_app_structure_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "ios-app-entrypoints",
+        &[
+            "**/*App.swift",
+            "**/AppDelegate.swift",
+            "**/SceneDelegate.swift",
+            "**/Info.plist",
+            "**/*.entitlements",
+        ],
+        source_limits(300, 220, 140, 80, 20, 10, 0.92),
+        &[],
+    )]
+}
+
+pub(super) fn swift_package_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "swift-package-layout",
+        &["Package.swift", "Sources/**/*.swift", "Tests/**/*.swift"],
+        source_limits(450, 300, 180, 100, 30, 10, 0.9),
+        &[],
+    )]
+}
+
+pub(super) fn ios_resource_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "ios-resources",
+        &[
+            "**/*.xcassets/**",
+            "**/*.strings",
+            "**/*.stringsdict",
+            "**/*.plist",
+            "**/*.entitlements",
+            "**/*.storyboard",
+            "**/*.xib",
+        ],
+        source_limits(700, 350, 250, 120, 80, 14, 0.96),
+        &["top-level-symbols", "function-length"],
+    )]
+}
+
+pub(super) fn generated_ios_path_rules() -> Vec<QualityPathRule> {
+    vec![path_rule(
+        "generated-ios",
+        GENERATED_IOS_PATHS,
+        source_limits(2_000, 2_000, 2_000, 300, 300, 30, 1.0),
+        &[
+            "file-length",
+            "new-file-length",
+            "diff-size",
+            "function-length",
+            "top-level-symbols",
+            "duplicate-blocks",
+            "near-duplicate-functions",
+        ],
+    )]
+}
+
+pub(super) const GENERATED_IOS_PATHS: &[&str] = &[
+    "Generated/**",
+    "**/Generated/**",
+    "SwiftGen/**",
+    "**/SwiftGen/**",
+    "Sourcery/**",
+    "**/Sourcery/**",
+    "**/*.generated.swift",
+    "**/*.pb.swift",
+    "**/*.grpc.swift",
+    "**/R.generated.swift",
+];
+
+fn source_limits(
+    max_file_lines: usize,
+    max_new_file_lines: usize,
+    max_diff_added_lines: usize,
+    max_function_lines: usize,
+    max_top_level_symbols: usize,
+    duplicate_block_lines: usize,
+    near_duplicate_similarity: f64,
+) -> QualityLimitOverrides {
+    QualityLimitOverrides {
+        max_file_lines: Some(max_file_lines),
+        max_new_file_lines: Some(max_new_file_lines),
+        max_diff_added_lines: Some(max_diff_added_lines),
+        max_function_lines: Some(max_function_lines),
+        max_top_level_symbols: Some(max_top_level_symbols),
+        duplicate_block_lines: Some(duplicate_block_lines),
+        near_duplicate_similarity: Some(near_duplicate_similarity),
+    }
+}

package/crates/naome-core/src/quality/adapter_support.rs

@@ -23,6 +23,25 @@ impl<'a> RepoSignals<'a> {
             .iter()
             .any(|path| extensions.iter().any(|extension| path.ends_with(extension)))
     }
+
+    pub(crate) fn has_path_containing(&self, fragments: &[&str]) -> bool {
+        self.paths.iter().any(|path| {
+            let lower = path.to_ascii_lowercase();
+            fragments.iter().any(|fragment| lower.contains(fragment))
+        })
+    }
+
+    pub(crate) fn has_file_name(&self, names: &[&str]) -> bool {
+        self.paths.iter().any(|path| {
+            let lower = path.to_ascii_lowercase();
+            path.rsplit('/').next().is_some_and(|file_name| {
+                names
+                    .iter()
+                    .any(|name| file_name.eq_ignore_ascii_case(name))
+                    || names.iter().any(|name| lower.ends_with(name))
+            })
+        })
+    }
 }
 
 pub(crate) trait AdapterDescriptor {
@@ -87,3 +106,51 @@ pub(crate) fn detects_javascript_typescript_project(signals: &RepoSignals<'_>) -
     signals.has_manifest("package.json")
         || signals.has_extension(&[".js", ".jsx", ".ts", ".tsx", ".mjs", ".cjs"])
 }
+
+pub(crate) fn detects_swift_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_manifest("Package.swift") || signals.has_extension(&[".swift"])
+}
+
+pub(crate) fn detects_xcode_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_path_containing(&[".xcodeproj/", ".xcworkspace/"])
+}
+
+pub(crate) fn detects_xctest_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_path_containing(&["tests/"])
+        && signals.has_file_name(&["tests.swift", "uitests.swift"])
+}
+
+pub(crate) fn detects_swiftui_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_file_name(&["view.swift", "app.swift"])
+        || signals.has_path_containing(&["preview content/"])
+}
+
+pub(crate) fn detects_ios_app_structure_project(signals: &RepoSignals<'_>) -> bool {
+    detects_xcode_project(signals)
+        || signals.has_file_name(&["appdelegate.swift", "scenedelegate.swift", "info.plist"])
+        || signals.has_path_containing(&[".xcassets/"])
+}
+
+pub(crate) fn detects_swift_package_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_manifest("Package.swift")
+        || signals.has_path_containing(&["sources/", "tests/"])
+            && signals.has_extension(&[".swift"])
+}
+
+pub(crate) fn detects_ios_resources_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_path_containing(&[".xcassets/"])
+        || signals.has_extension(&[
+            ".strings",
+            ".stringsdict",
+            ".plist",
+            ".entitlements",
+            ".storyboard",
+            ".xib",
+        ])
+}
+
+pub(crate) fn detects_generated_ios_project(signals: &RepoSignals<'_>) -> bool {
+    signals.has_path_containing(&["generated/", "swiftgen/", "sourcery/"])
+        || signals.has_file_name(&["r.generated.swift"])
+        || signals.has_extension(&[".generated.swift", ".pb.swift", ".grpc.swift"])
+}

package/crates/naome-core/src/quality/adapters.rs

@@ -1,8 +1,12 @@
 use crate::models::NaomeError;
 
+use super::adapter_ios;
 use super::adapter_support::{
-    detected_ids, detects_javascript_typescript_project, detects_rust_project, extend_unique,
-    find_adapter_by_id, validate_ids, AdapterDescriptor, RepoSignals,
+    detected_ids, detects_generated_ios_project, detects_ios_app_structure_project,
+    detects_ios_resources_project, detects_javascript_typescript_project, detects_rust_project,
+    detects_swift_package_project, detects_swift_project, detects_swiftui_project,
+    detects_xcode_project, detects_xctest_project, extend_unique, find_adapter_by_id, validate_ids,
+    AdapterDescriptor, RepoSignals,
 };
 use super::types::{QualityLimitOverrides, QualityPathRule, RepositoryQualityConfig};
 
@@ -49,21 +53,76 @@ pub(crate) fn validate_adapter_ids(ids: &[String]) -> Result<(), NaomeError> {
     validate_ids(ids, registry(), CONFIG_PATH)
 }
 
+const QUALITY_ADAPTERS: &[QualityAdapter] = &[
+    QualityAdapter {
+        id: "rust",
+        generated_paths: &[],
+        detect: detects_rust_project,
+        path_rules: rust_path_rules,
+    },
+    QualityAdapter {
+        id: "javascript-typescript",
+        generated_paths: &["coverage/**", "**/coverage/**", ".next/**", "**/.next/**"],
+        detect: detects_javascript_typescript_project,
+        path_rules: javascript_typescript_path_rules,
+    },
+    QualityAdapter {
+        id: "swift",
+        generated_paths: &[],
+        detect: detects_swift_project,
+        path_rules: adapter_ios::swift_path_rules,
+    },
+    QualityAdapter {
+        id: "xcode",
+        generated_paths: &[
+            "DerivedData/**",
+            "**/DerivedData/**",
+            "**/xcuserdata/**",
+            "**/*.xcuserstate",
+        ],
+        detect: detects_xcode_project,
+        path_rules: empty_path_rules,
+    },
+    QualityAdapter {
+        id: "xctest",
+        generated_paths: &[],
+        detect: detects_xctest_project,
+        path_rules: adapter_ios::xctest_path_rules,
+    },
+    QualityAdapter {
+        id: "swiftui",
+        generated_paths: &["**/Preview Content/**"],
+        detect: detects_swiftui_project,
+        path_rules: adapter_ios::swiftui_path_rules,
+    },
+    QualityAdapter {
+        id: "ios-app-structure",
+        generated_paths: &[],
+        detect: detects_ios_app_structure_project,
+        path_rules: adapter_ios::ios_app_structure_path_rules,
+    },
+    QualityAdapter {
+        id: "swift-package",
+        generated_paths: &[],
+        detect: detects_swift_package_project,
+        path_rules: adapter_ios::swift_package_path_rules,
+    },
+    QualityAdapter {
+        id: "ios-resources",
+        generated_paths: &[],
+        detect: detects_ios_resources_project,
+        path_rules: adapter_ios::ios_resource_path_rules,
+    },
+    QualityAdapter {
+        id: "generated-ios",
+        generated_paths: adapter_ios::GENERATED_IOS_PATHS,
+        detect: detects_generated_ios_project,
+        path_rules: adapter_ios::generated_ios_path_rules,
+    },
+];
+
 fn registry() -> &'static [QualityAdapter] {
-    &[
-        QualityAdapter {
-            id: "rust",
-            generated_paths: &[],
-            detect: detects_rust_project,
-            path_rules: rust_path_rules,
-        },
-        QualityAdapter {
-            id: "javascript-typescript",
-            generated_paths: &["coverage/**", "**/coverage/**", ".next/**", "**/.next/**"],
-            detect: detects_javascript_typescript_project,
-            path_rules: javascript_typescript_path_rules,
-        },
-    ]
+    QUALITY_ADAPTERS
 }
 
 fn rust_path_rules() -> Vec<QualityPathRule> {
@@ -84,6 +143,10 @@ fn javascript_typescript_path_rules() -> Vec<QualityPathRule> {
     }]
 }
 
+fn empty_path_rules() -> Vec<QualityPathRule> {
+    Vec::new()
+}
+
 fn javascript_typescript_test_paths() -> Vec<String> {
     let mut paths = Vec::new();
     for marker in ["test", "spec"] {
@@ -100,7 +163,7 @@ fn javascript_typescript_test_paths() -> Vec<String> {
     paths
 }
 
-fn test_file_limits(max_top_level_symbols: usize) -> QualityLimitOverrides {
+pub(super) fn test_file_limits(max_top_level_symbols: usize) -> QualityLimitOverrides {
     QualityLimitOverrides {
         max_file_lines: Some(650),
         max_diff_added_lines: Some(220),
@@ -112,7 +175,7 @@ fn test_file_limits(max_top_level_symbols: usize) -> QualityLimitOverrides {
     }
 }
 
-fn path_rule(
+pub(super) fn path_rule(
     id: &str,
     paths: &[&str],
     limits: QualityLimitOverrides,

package/crates/naome-core/src/quality/cache.rs

@@ -91,15 +91,13 @@ impl QualityCache {
     }
 
     fn entry_path(&self, path: &str, content_hash: &str) -> PathBuf {
-        self.root
-            .join(CACHE_RELATIVE_PATH)
-            .join(stable_key(&[
-                env!("CARGO_PKG_VERSION"),
-                &self.config_hash,
-                ADAPTER_VERSION,
-                path,
-                content_hash,
-            ]))
+        self.root.join(CACHE_RELATIVE_PATH).join(stable_key(&[
+            env!("CARGO_PKG_VERSION"),
+            &self.config_hash,
+            ADAPTER_VERSION,
+            path,
+            content_hash,
+        ]))
     }
 }
 

package/crates/naome-core/src/quality/checks/duplicate_blocks.rs

@@ -18,13 +18,10 @@ impl QualityCheck for DuplicateBlockCheck {
             return;
         }
         let mut occurrences: HashMap<String, Vec<DuplicateOccurrence>> = HashMap::new();
-        for file in context
-            .comparison_candidate_files()
-            .filter(|file| {
-                is_code_like_path(&file.path)
-                    && context.config.check_enabled_for_path(self.id(), &file.path)
-            })
-        {
+        for file in context.comparison_candidate_files().filter(|file| {
+            is_code_like_path(&file.path)
+                && context.config.check_enabled_for_path(self.id(), &file.path)
+        }) {
             let window = context.limits_for(&file.path).duplicate_block_lines;
             if file.normalized_lines.len() < window {
                 continue;

package/crates/naome-core/src/quality/config.rs

@@ -15,6 +15,12 @@ pub fn config_relative_path() -> &'static str {
 }
 
 pub fn read_config(root: &Path) -> Result<RepositoryQualityConfig, NaomeError> {
+    let config = read_policy_config(root)?;
+    validate_config(&config)?;
+    apply_enabled_adapters(config)
+}
+
+pub(super) fn read_policy_config(root: &Path) -> Result<RepositoryQualityConfig, NaomeError> {
     let path = root.join(CONFIG_RELATIVE_PATH);
     let config = if path.is_file() {
         serde_json::from_str(&fs::read_to_string(path)?)?
@@ -22,7 +28,20 @@ pub fn read_config(root: &Path) -> Result<RepositoryQualityConfig, NaomeError> {
         generated_config(root)?
     };
     validate_config(&config)?;
-    apply_enabled_adapters(config)
+    Ok(config)
+}
+
+pub(super) fn write_policy_config(
+    root: &Path,
+    config: &RepositoryQualityConfig,
+) -> Result<(), NaomeError> {
+    let path = root.join(CONFIG_RELATIVE_PATH);
+    if let Some(parent) = path.parent() {
+        fs::create_dir_all(parent)?;
+    }
+    let content = serde_json::to_string_pretty(config)?;
+    fs::write(path, format!("{content}\n"))?;
+    Ok(())
 }
 
 pub fn write_default_config_if_missing(root: &Path) -> Result<bool, NaomeError> {
@@ -34,8 +53,7 @@ pub fn write_default_config_if_missing(root: &Path) -> Result<bool, NaomeError>
     if let Some(parent) = path.parent() {
         fs::create_dir_all(parent)?;
     }
-    let content = serde_json::to_string_pretty(&generated_config(root)?)?;
-    fs::write(path, format!("{content}\n"))?;
+    write_policy_config(root, &generated_config(root)?)?;
     Ok(true)
 }