pmat-3.17.0

docs.rs

Rust

pmat 3.17.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)

Crate
Source
Builds
Feature flags

..
check.rs
check_agent_autonomous.rs
check_agent_contracts.rs
check_agent_iteration.rs
check_best_practices.rs
check_binding_scope.rs
check_binding_scope_cross_consistency.rs
check_binding_scope_equation.rs
check_binding_scope_file_tracked.rs
check_binding_scope_inherited.rs
check_binding_scope_kani.rs
check_binding_scope_lean_theorem.rs
check_binding_scope_orphan.rs
check_binding_scope_sha_drift.rs
check_binding_scope_tests_cross_consistency.rs
check_binding_scope_tests_inherited.rs
check_binding_scope_tests_kani.rs
check_binding_scope_tests_lean_theorem.rs
check_binding_scope_tests_orphan.rs
check_binding_scope_tests_postcondition.rs
check_binding_scope_tests_sha_equation.rs
check_binding_scope_tests_unbind_audit.rs
check_binding_scope_unbind_audit.rs
check_builders_commits.rs
check_builders_contracts.rs
check_builders_foundation.rs
check_builders_work.rs
check_codegen.rs
check_codegen_attribute.rs
check_codegen_binds_modified.rs
check_codegen_clauses.rs
check_codegen_compile_profiles.rs
check_codegen_harness_refs.rs
check_codegen_manifest_sha.rs
check_codegen_pub_fn_coverage.rs
check_codegen_receipts.rs
check_codegen_tests_attribute.rs
check_codegen_tests_harness.rs
check_codegen_tests_manifest.rs
check_codegen_tests_receipts.rs
check_commit_enforcement.rs
check_commit_enforcement_p10.rs
check_commit_enforcement_p2.rs
check_commit_enforcement_p3.rs
check_commit_enforcement_p4.rs
check_commit_enforcement_p5.rs
check_commit_enforcement_p6.rs
check_commit_enforcement_p7.rs
check_commit_enforcement_p8.rs
check_commit_enforcement_p9.rs
check_contract_surfaces.rs
check_cot_proof.rs
check_cot_proof_derived_yaml.rs
check_cot_proof_evidence.rs
check_cot_proof_l4_axiomatic.rs
check_cot_proof_l5_lean.rs
check_cot_proof_orphans.rs
check_cot_proof_references.rs
check_cot_proof_replay.rs
check_cot_proof_sha_fresh.rs
check_cot_proof_structured_expr.rs
check_cot_proof_tests_agent_run.rs
check_cot_proof_tests_formal.rs
check_cot_proof_tests_schema.rs
check_dead_code.rs
check_extended.rs
check_falsification_unification.rs
check_falsification_unification_deletion.rs
check_falsification_unification_execution.rs
check_falsification_unification_l4_timeout.rs
check_falsification_unification_log_line.rs
check_falsification_unification_post_bind.rs
check_falsification_unification_roster.rs
check_falsification_unification_snapshot.rs
check_falsification_unification_tests_deletion.rs
check_falsification_unification_tests_execution.rs
check_falsification_unification_tests_l4_timeout.rs
check_falsification_unification_tests_log_line.rs
check_falsification_unification_tests_post_bind.rs
check_falsification_unification_tests_roster.rs
check_falsification_unification_tests_shared.rs
check_falsification_unification_tests_snapshot.rs
check_handlers_tests_inline.rs
check_individual_basic.rs
check_individual_cb.rs
check_individual_ci.rs
check_mono_spec.rs
check_provable_contracts.rs
check_pv_enforcement.rs
check_pv_enforcement_helpers.rs
check_pv_enforcement_helpers_tests.rs
check_pv_quality.rs
check_pv_quality_gate.rs
check_pv_verification_ladder.rs
check_review_audit.rs
check_sovereign.rs
check_tdg_grade.rs
check_work_ladder.rs
check_work_ladder_audit.rs
check_work_ladder_declaration.rs
check_work_ladder_kani_sha.rs
check_work_ladder_l1_evidence.rs
check_work_ladder_l3_falsification.rs
check_work_ladder_l4_kani.rs
check_work_ladder_l5_lean.rs
check_work_ladder_monotonicity.rs
check_work_ladder_tests_declaration.rs
check_work_ladder_tests_kani_sha.rs
check_work_ladder_tests_l1_evidence.rs
check_work_ladder_tests_levels.rs
check_work_ladder_tests_monotonicity.rs
mod.rs
types.rs