pmat 3.29.0

version: 1.0.0
target_crate: pmat
bindings:
- contract: pmat-core.yaml
  equation: refresh_bindings
  source_file: src/cli/handlers/comply_handlers/check_handlers/check_commit_enforcement.rs
  function: handle_refresh_bindings
  status: implemented
- contract: pmat-core.yaml
  equation: check_compliance
  source_file: src/cli/handlers/comply_handlers/check_handlers/check.rs
  function: handle_check
  status: implemented
- contract: pmat-core.yaml
  equation: check_compliance
  source_file: src/services/contract_index.rs
  function: ContractIndex::load
  status: implemented
- contract: pmat-core.yaml
  equation: check_compliance
  source_file: src/services/asset_validator.rs
  function: validate_all_assets
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/cli/handlers/score_handler.rs
  function: handle_score
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/cli/handlers/score_handler.rs
  function: compute_composite
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/services/rust_project_score/orchestrator.rs
  function: score_with_mode
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/cli/handlers/rust_project_score_handlers.rs
  function: handle_rust_project_score
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/services/popper_score/orchestrator.rs
  function: score
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/cli/handlers/popper_score_handlers.rs
  function: handle_popper_score
  status: implemented
- contract: pmat-core.yaml
  equation: score_range
  source_file: src/cli/handlers/work_contract_scoring.rs
  function: score_contract
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/query_handler/query_execution.rs
  function: handle_query
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/advanced_analysis_handlers.rs
  function: handle_analyze_tdg
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/dead_code_handlers.rs
  function: handle_analyze_dead_code
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/comprehensive_handler.rs
  function: handle_analyze_comprehensive
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/five_whys_handlers.rs
  function: handle_debug
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/kaizen_handler/mod.rs
  function: handle_kaizen
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/demo_handlers.rs
  function: handle_quality_gate
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/bottleneck_handler.rs
  function: handle_bottleneck
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/infra_score_handlers.rs
  function: handle_infra_score
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/repo_score_handlers.rs
  function: handle_repo_score
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/brick_score_handlers.rs
  function: handle_brick_score
  status: implemented
- contract: pmat-core.yaml
  equation: path_exists
  source_file: src/cli/handlers/demo_score_handlers.rs
  function: handle_demo_score
  status: implemented
- contract: pmat-core.yaml
  equation: lint_valid
  source_file: src/cli/handlers/work_contract_lint.rs
  function: lint_contract
  status: implemented
- contract: pmat-core.yaml
  equation: non_empty_index
  source_file: src/services/agent_context/function_index/build_persistence.rs
  function: save
  status: implemented
- contract: macs-provenance-v1.yaml
  equation: provenance_roundtrip
  source_file: src/cli/handlers/work_ledger_types.rs
  function: AgentProvenance
  status: pending
- contract: macs-provenance-v1.yaml
  equation: hash_stability
  source_file: src/cli/handlers/work_ledger_receipt.rs
  function: FalsificationReceipt::compute_content_hash
  status: pending
- contract: macs-provenance-v1.yaml
  equation: refusal_gates_completion
  source_file: src/cli/handlers/work_handlers/core_handlers/handlers.rs
  function: check_unacked_refusals
  status: pending
- contract: macs-ladder-v1.yaml
  equation: parse_total_strict
  source_file: src/cli/handlers/work_verification_level.rs
  function: VerificationLevel::parse_strict
  status: pending
- contract: macs-ladder-v1.yaml
  equation: gate_monotone
  source_file: src/quality/ladder_evidence.rs
  function: achieved_level
  status: pending
- contract: macs-cot-v1.yaml
  equation: chain_integrity
  source_file: src/models/work_cot.rs
  function: check_chain
  status: pending
- contract: macs-cot-v1.yaml
  equation: derivation_complete
  source_file: src/models/work_cot.rs
  function: derive
  status: pending
- contract: macs-sweep-v1.yaml
  equation: sweep_deterministic
  source_file: src/cli/handlers/qa_mcp_sweep.rs
  function: handle_mcp_sweep
  status: pending
- contract: macs-artifacts-v1.yaml
  equation: manifest_faithful
  source_file: src/mcp_pmcp/tool_manifest.rs
  function: render_manifest
  status: pending
- contract: macs-artifacts-v1.yaml
  equation: roadmap_canonical
  source_file: src/roadmap/sync.rs
  function: render_roadmap
  status: pending
- contract: macs-skill-effort-v1.yaml
  equation: skill_effort_pinned
  source_file: src/cli/handlers/comply_handlers/check_handlers/check_macs_skill_effort.rs
  function: check_skill_effort_pinned
  status: pending
- contract: macs-ladder-kernel-v1.yaml
  equation: parse_strict
  source_file: src/cli/handlers/work_verification_level.rs
  function: VerificationLevel::parse_strict
  status: implemented
- contract: macs-ladder-kernel-v1.yaml
  equation: ord_monotone
  source_file: src/cli/handlers/work_verification_level.rs
  function: VerificationLevel::as_str
  status: implemented
- contract: pmat-quality-acceptance-v1.yaml
  equation: quality_acceptance
  source_file: src/cli/handlers/work_quality_handlers.rs
  function: run_popper_falsification
  status: implemented
# --- pmat-no-fabrication-v1: every function fixed in the anti-fabrication sweep
# binds to the equation it now satisfies. A binding here is the claim that this
# function no longer reports a value it did not measure; the equation's
# falsification_tests are what make that claim refutable.
- contract: pmat-no-fabrication-v1.yaml
  equation: measured_or_absent
  source_file: src/services/deep_context/analyzer_core/quality.rs
  function: DeepContextAnalyzer::calculate_quality_scorecard
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: measured_or_absent
  source_file: src/services/deep_context/deep_context_quality_types.rs
  function: QualityScorecard::render
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: output_derived_from_input
  source_file: src/services/deep_context/analyzer_core/quality.rs
  function: DeepContextAnalyzer::measured_line_coverage
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: detection_mode_superset
  source_file: src/cli/analysis/duplicates_extraction.rs
  function: extract_blocks
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: measured_or_absent
  source_file: src/cli/analysis/duplicates_output.rs
  function: format_json_output
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: bounded_time_arithmetic
  source_file: src/services/git_analysis.rs
  function: GitAnalysisService::analyze_code_churn
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: session_survives_recoverable_frame
  source_file: src/mcp_pmcp/simple_unified_server.rs
  function: EofSignalingTransport::is_session_over
  status: implemented
- contract: pmat-no-fabrication-v1.yaml
  equation: session_survives_recoverable_frame
  source_file: src/mcp_pmcp/simple_unified_server.rs
  function: EofSignalingTransport::receive
  status: implemented