pmat 3.18.2

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104

#![cfg_attr(coverage_nightly, coverage(off))]
use crate::models::pdmt::{
    ImplementationSpecs, PdmtQualityConfig, PdmtTodo, PdmtTodoList, TodoPriority, TodoQualityGates,
    TodoStatus, ValidationCommands,
};
use anyhow::Result;
use std::collections::HashMap;
use tracing::{debug, info};
use uuid::Uuid;

/// Fixed RFC 3339 timestamp used instead of wall-clock time.
///
/// `pdmt_deterministic_todos` guarantees byte-identical output for identical
/// input, so `generated_at` must not depend on when the tool runs.
const DETERMINISTIC_GENERATED_AT: &str = "1970-01-01T00:00:00+00:00";

/// FNV-1a 128-bit offset basis.
const FNV128_OFFSET_BASIS: u128 = 0x6c62_272e_07bb_0142_62b8_2175_6295_c58d;
/// FNV-1a 128-bit prime.
const FNV128_PRIME: u128 = 0x0000_0000_0100_0000_0000_0000_0000_013b;

/// Hash `bytes` with FNV-1a (128-bit). Used to derive deterministic todo ids;
/// unlike `DefaultHasher`, the result is stable across platforms and Rust
/// versions, so identical inputs always yield identical ids.
fn fnv1a_128(bytes: &[u8]) -> u128 {
    bytes.iter().fold(FNV128_OFFSET_BASIS, |hash, &byte| {
        (hash ^ u128::from(byte)).wrapping_mul(FNV128_PRIME)
    })
}

/// Service for generating deterministic, quality-enforced todo lists
pub struct PdmtService {
    deterministic_seed: u64,
}

impl PdmtService {
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    /// Create a new instance.
    pub fn new() -> Self {
        Self {
            deterministic_seed: 42, // Fixed seed for determinism
        }
    }

    /// Generate a deterministic todo list from requirements
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn generate_todos(
        &self,
        requirements: Vec<String>,
        project_name: Option<String>,
        granularity: &str,
        quality_config: PdmtQualityConfig,
    ) -> Result<PdmtTodoList> {
        info!(
            "Generating deterministic todos for {} requirements",
            requirements.len()
        );

        let project_name = project_name.unwrap_or_else(|| "project".to_string());
        let mut todos = Vec::new();
        let mut dependency_map = HashMap::new();

        // Process each requirement into actionable todos
        for (idx, requirement) in requirements.iter().enumerate() {
            let requirement_todos = self.requirement_to_todos(
                requirement,
                granularity,
                &quality_config,
                idx,
                &mut dependency_map,
            )?;
            todos.extend(requirement_todos);
        }

        // Set dependencies based on logical ordering
        self.set_dependencies(&mut todos, &dependency_map);

        let todo_list = PdmtTodoList {
            project_name,
            todos,
            quality_config,
            generated_at: DETERMINISTIC_GENERATED_AT.to_string(),
            deterministic_seed: self.deterministic_seed,
        };

        info!(
            "Generated {} deterministic todos with quality enforcement",
            todo_list.todos.len()
        );

        Ok(todo_list)
    }
}

impl Default for PdmtService {
    fn default() -> Self {
        Self::new()
    }
}

// --- Include files for method implementations and tests ---
include!("pdmt_service_generation.rs");
include!("pdmt_service_tests.rs");