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: planned
- contract: macs-provenance-v1.yaml
equation: hash_stability
source_file: src/cli/handlers/work_ledger_receipt.rs
function: FalsificationReceipt::compute_content_hash
status: planned
- 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: planned
- contract: macs-ladder-v1.yaml
equation: parse_total_strict
source_file: src/cli/handlers/work_verification_level.rs
function: VerificationLevel::parse_strict
status: planned
- contract: macs-ladder-v1.yaml
equation: gate_monotone
source_file: src/quality/ladder_evidence.rs
function: achieved_level
status: planned
- contract: macs-cot-v1.yaml
equation: chain_integrity
source_file: src/models/work_cot.rs
function: check_chain
status: planned
- contract: macs-cot-v1.yaml
equation: derivation_complete
source_file: src/models/work_cot.rs
function: derive
status: planned
- contract: macs-sweep-v1.yaml
equation: sweep_deterministic
source_file: src/cli/handlers/qa_mcp_sweep.rs
function: handle_mcp_sweep
status: planned
- contract: macs-artifacts-v1.yaml
equation: manifest_faithful
source_file: src/mcp_pmcp/tool_manifest.rs
function: render_manifest
status: planned
- contract: macs-artifacts-v1.yaml
equation: roadmap_canonical
source_file: src/roadmap/sync.rs
function: render_roadmap
status: planned
- 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: planned