generated_at: "2026-07-02T18:58:46.317934104+00:00" content_hash: "be88506db153220f765d41db62e4839d8847cb85869b5b85e38beda414f0033e"
summary:
cancelled: 1
completed: 169
inprogress: 24
items:
- id: ".pmat-tickets/coverage-improve-command.yaml"
title: "New task: .pmat-tickets/coverage-improve-command.yaml"
status: completed
- id: ".pmat-tickets/coverage-improve-phase2-integration.yaml"
title: "New task: .pmat-tickets/coverage-improve-phase2-integration.yaml"
status: completed
- id: "CB-125,126,127: Coverage gaming and slow test detection"
title: "New task: CB-125,126,127: Coverage gaming and slow test detection"
status: completed
- id: CB-IMPL-001
title: "ComputeBrick Diagnostic Support (PROBAR-SPEC-009-P8)"
status: completed
- id: COV-95
title: "New task: COV-95"
status: completed
- id: "Comprehensive scan: Find all remaining production unwrap() calls"
title: "New task: Comprehensive scan: Find all remaining production unwrap() calls"
status: completed
- id: "Continue unwrap elimination: 27 more unwraps to reach 60-unwrap milestone (EXTREME TDD)"
title: "New task: Continue unwrap elimination: 27 more unwraps to reach 60-unwrap milestone (EXTREME TDD)"
status: completed
- id: "Continue unwrap elimination: Target 60 total eliminated (30 more files with TDD)"
title: "New task: Continue unwrap elimination: Target 60 total eliminated (30 more files with TDD)"
status: completed
- id: DEPYLER-0438
title: "New task: DEPYLER-0438"
status: completed
- id: DOGFOOD-001
title: "New task: DOGFOOD-001"
status: completed
- id: "Fix critical unwrap() defects found in quality baseline assessment"
title: "New task: Fix critical unwrap() defects found in quality baseline assessment"
status: completed
- id: "Fix file_discovery.rs (46 unwrap calls - 2nd biggest offender)"
title: "New task: Fix file_discovery.rs (46 unwrap calls - 2nd biggest offender)"
status: completed
- id: GH-102
title: "New task: GH-102"
status: completed
- id: GH-118
title: "Unified CLI/MCP/Help Integration with Dynamic --help Generation"
status: completed
- id: GH-168
title: "The installation of pmat fails due to missing trait imports in the codebase (GraphCentrality for the aprender crate)."
status: completed
- id: GH-226
title: "quality-gate entropy: No explainability — cannot identify specific repeated patterns"
status: completed
- id: GH-228
title: "quality-gate: Coverage reports 75% when actual coverage is 97.7%"
status: completed
- id: GH-230
title: "quality-gate --format json mixes progress lines into JSON output"
status: completed
- id: GH-232
title: "New task: GH-232"
status: completed
- id: GH-233
title: "pmat query --suggest-rename: _partN pattern matching bug"
status: completed
- id: GH-235
title: "pmat query: add --extract-candidates flag for large file refactoring"
status: completed
- id: GH-75
title: "Unify pmat roadmap, GitHub issues, and EXTREME TDD workflow with automated tracking"
status: completed
- id: GH-78
title: "New task: GH-78"
status: completed
- id: GH-79
title: "New task: GH-79"
status: completed
- id: GH-84
title: "New task: GH-84"
status: completed
- id: GH-89
title: "New task: GH-89"
status: completed
- id: GH-92
title: "New task: GH-92"
status: completed
- id: GH-93
title: "New task: GH-93"
status: completed
- id: GH-95
title: "New task: GH-95"
status: completed
- id: GH-96
title: "New task: GH-96"
status: completed
- id: GH-97
title: "New task: GH-97"
status: completed
- id: GH-98
title: "New task: GH-98"
status: completed
- id: "Identify and fix top 10 production files with unwrap() calls"
title: "New task: Identify and fix top 10 production files with unwrap() calls"
status: completed
- id: "Implement pmat debug command (REFACTOR phase: CLI integration)"
title: "New task: Implement pmat debug command (REFACTOR phase: CLI integration)"
status: completed
- id: "Improve Code Quality score: unsafe docs + complexity reduction (target 20.0/26)"
title: "New task: Improve Code Quality score: unsafe docs + complexity reduction (target 20.0/26)"
status: completed
- id: MACS-000
title: "MACS-000 Bootstrap: tickets, spec, contracts, deterministic proptest"
status: completed
- id: MACS-001
title: "MACS-001 AgentProvenance/AgentEvent types + canonical serialization + schema_version"
status: completed
- id: MACS-002
title: "MACS-002 Provenance capture: --agent-* flags + PMAT_AGENT_* env into receipts/ledger"
status: completed
- id: MACS-003
title: "MACS-003 pmat work event: refusal/model-switch/session-restart + completion blocking"
status: completed
- id: MACS-004
title: "MACS-004 VerificationLevel typed enum + strict parse + ticket migration"
status: inprogress
- id: MACS-005
title: "MACS-005 Ladder completion gate: achieved_level >= claimed"
status: inprogress
- id: MACS-006
title: "MACS-006 CB-1653 ladder drift check + receipts record claimed/achieved"
status: inprogress
- id: MACS-007
title: "MACS-007 ChainOfThoughtStep v2 schema + parser + legacy migration"
status: inprogress
- id: MACS-008
title: "MACS-008 Chain-integrity checker implementing CB-1640"
status: inprogress
- id: MACS-009
title: "MACS-009 CoT auto-derivation: obligations + falsifiable claims + CB-1658"
status: inprogress
- id: MACS-010
title: "MACS-010 Effort frontmatter pinning across skills + CB-1650 lint"
status: inprogress
- id: "MACS-010 macs-skill-effort-v1/skill_effort_pinned"
title: "New task: MACS-010 macs-skill-effort-v1/skill_effort_pinned"
status: inprogress
- id: MACS-011
title: "MACS-011 pmat qa mcp-sweep: LLM-free deterministic MCP harness"
status: inprogress
- id: "MACS-011 macs-sweep-v1/sweep_deterministic"
title: "New task: MACS-011 macs-sweep-v1/sweep_deterministic"
status: inprogress
- id: MACS-012
title: "MACS-012 Committed ultracode judgment workflow with provenance stamping"
status: inprogress
- id: MACS-013
title: "MACS-013 pmat roadmap sync: canonical ROADMAP.yaml + CB-1655 freshness"
status: inprogress
- id: "MACS-013 macs-artifacts-v1/roadmap_canonical"
title: "New task: MACS-013 macs-artifacts-v1/roadmap_canonical"
status: inprogress
- id: MACS-014
title: "MACS-014 pmat mcp manifest --write + CB-1656 drift check"
status: inprogress
- id: "MACS-014 macs-artifacts-v1/manifest_faithful"
title: "New task: MACS-014 macs-artifacts-v1/manifest_faithful"
status: inprogress
- id: MACS-015
title: "MACS-015 Doc drift purge + docs/agent-models.md registry + CB-1657"
status: inprogress
- id: MACS-016
title: "MACS-016 pmat work ledger verify: hashes, provenance report, R1 order"
status: inprogress
- id: ML-PHASE-5-TOPK-001
title: "Phase 5.1: Top-K Query Acceleration with Unified Backend Selection"
status: completed
- id: ML-PHASE-7.1-GRAPH
title: "New task: ML-PHASE-7.1-GRAPH"
status: completed
- id: PMAT-033
title: "CB-1400..1410: Agent contract-first enforcement checks (Refs PMAT-032)"
status: completed
- id: PMAT-439
title: "brick-audit: ComputeBrick Compliance Checker"
status: completed
- id: PMAT-440
title: "ptx-complexity: PTX-Specific Analysis"
status: completed
- id: PMAT-441
title: "BrickProfiler Output Integration"
status: completed
- id: PMAT-442
title: "TDG extension for Bricks"
status: completed
- id: PMAT-443
title: "Spec-Roadmap Bidirectional Sync"
status: completed
- id: PMAT-444
title: "Citation Validation in Specs"
status: completed
- id: PMAT-445
title: "Unified Quality Annotation for Tickets"
status: completed
- id: PMAT-446
title: "pmat brick-score: ComputeBrick profiling integration"
status: completed
- id: PMAT-447
title: "PMAT-447: HardwareCapability detection in trueno"
status: completed
- id: PMAT-448
title: "PMAT-448: Read hardware.toml in brick-score"
status: completed
- id: PMAT-449
title: "PMAT-449: Roofline analysis in brick-score output"
status: completed
- id: PMAT-450
title: "PMAT-450: Roofline chart in cbtop TUI"
status: completed
- id: PMAT-451
title: "PMAT-451: Extend BrickProfiler with compression_ratio and bound"
status: completed
- id: PMAT-452
title: "PMAT-452: Export ByteBudget to hardware.toml format"
status: completed
- id: PMAT-453
title: "PMAT Hooks v2: O(1) Pre-Commit System"
status: completed
- id: PMAT-454
title: "Normalize all scoring to 0-100 scale"
status: completed
- id: PMAT-455
title: "Fix trueno CB-021: Add #[target_feature] to 1269 SIMD functions in src/matrix.rs"
status: completed
- id: PMAT-456
title: "Fix realizar CB-020: Add // SAFETY: comments to 647 unsafe blocks in src/cuda.rs"
status: completed
- id: PMAT-457
title: "CB-040: Split large files for A+ file health"
status: completed
- id: PMAT-458
title: "PMAT Work Contract: Popperian Falsification-Based Quality Enforcement"
status: completed
- id: PMAT-459
title: "COMPLY-V2.1: Implement OIP Tarantula Patterns (CB-120 through CB-124)"
status: completed
- id: PMAT-460
title: "make coverage MVP"
status: completed
- id: PMAT-461
title: "WORK-COMPLY-8.10: Implement pmat work compliance convergence"
status: completed
- id: PMAT-462
title: "DOGFOOD: Fix repo compliance issues for v2.6 gates"
status: completed
- id: PMAT-463
title: "COMPLY-044: Implement YAML-first configuration (.pmat.yaml)"
status: completed
- id: PMAT-464
title: "COMPLY-040: Implement CB-300 Muda Waste Score"
status: completed
- id: PMAT-465
title: "COMPLY-041: Implement CB-301 Reproducibility Check"
status: completed
- id: PMAT-466
title: "COMPLY-043: Implement CB-303 EDD Compliance"
status: completed
- id: PMAT-467
title: "COMPLY-045: Implement three-layer CLI (review, audit)"
status: completed
- id: PMAT-468
title: "Restructure CLI handlers for 95% unit test coverage"
status: completed
- id: PMAT-469
title: "Make coverage hit 95% - fast and just work"
status: completed
- id: PMAT-470
title: "RAG-powered agent context with pmat query command"
status: completed
- id: PMAT-471
title: "Integrate graph metrics into pmat query"
status: completed
- id: PMAT-472
title: "GH-RAG-001: Git commit parser with libgit2"
status: completed
- id: PMAT-473
title: "GH-RAG-002: Commit message embedder"
status: completed
- id: PMAT-474
title: "GH-RAG-003: Git history SQLite schema"
status: completed
- id: PMAT-475
title: "GH-RAG-004: Incremental git sync"
status: completed
- id: PMAT-476
title: "GH-RAG-005: Git history search engine"
status: completed
- id: PMAT-477
title: "GH-RAG-006: RRF fusion implementation"
status: completed
- id: PMAT-478
title: "GH-RAG-007: CLI --git-history flag"
status: completed
- id: PMAT-479
title: "GH-RAG-008: MCP tool git_history parameter"
status: completed
- id: PMAT-480
title: "PMAT-480: pmat query raw search fallback (grep/rg replacement)"
status: completed
- id: PMAT-481
title: "Achieve 95% overall test coverage for query formatters and handlers"
status: completed
- id: PMAT-482
title: "Smart coverage-gaps filtering + 95% coverage target"
status: completed
- id: PMAT-483
title: "Index v2: SQLite FTS5 backend - fix 58GB bloat (#159)"
status: completed
- id: PMAT-484
title: "Reach 95% make coverage - expand scope and fill gaps"
status: completed
- id: PMAT-485
title: "PMAT-PERF: Falsify all 25 pmat query performance goals, KAIZEN until convergence"
status: completed
- id: PMAT-486
title: "Wire Lua into all pmat pipelines (language detection, index, function names, complexity)"
status: completed
- id: PMAT-487
title: "CB-600: Lua Best Practices Detection for pmat comply"
status: completed
- id: PMAT-488
title: "CB-519: Lossy Data Pipeline Detection"
status: completed
- id: PMAT-489
title: "CB-520: Expensive Init in Hot Path"
status: completed
- id: PMAT-490
title: "CB-521: Format Detection Without Magic Bytes"
status: completed
- id: PMAT-491
title: "CB-522: Untested Path Normalization"
status: completed
- id: PMAT-492
title: "CB-523: External Config Over Embedded Metadata"
status: completed
- id: PMAT-493
title: "CB-524: Incomplete Enum Match Coverage"
status: completed
- id: PMAT-494
title: "CB-525: Hardcoded Field Names Without Aliases"
status: completed
- id: PMAT-495
title: "CB-526: Single-Path File Resolution"
status: completed
- id: PMAT-496
title: "CB-527: Incomplete Pattern List for Data Classification"
status: completed
- id: PMAT-497
title: "Fix kaizen blockers: clippy clean + binary size threshold"
status: completed
- id: PMAT-498
title: "Feature-gate reqwest behind http-client feature"
status: completed
- id: PMAT-499
title: "Replace handlebars with minijinja"
status: completed
- id: PMAT-500
title: "Feature-gate arrow/parquet in trueno-db"
status: completed
- id: "PMAT-500: Variant-coverage and fix-chain falsification claims for cross-project defect prevention"
title: "New task: PMAT-500: Variant-coverage and fix-chain falsification claims for cross-project defect prevention"
status: completed
- id: PMAT-501
title: "Upgrade criterion 0.6 to 0.8"
status: completed
- id: PMAT-502
title: "Build batuta-template to replace handlebars and minijinja"
status: cancelled
- id: PMAT-503
title: "PMAT-503: Split all non-test Rust files over 500 lines into submodules"
status: completed
- id: PMAT-504
title: "Unify --path vs --project-path flag across analyze subcommands"
status: completed
- id: PMAT-505
title: "Fix semantic_search_demo hanging on hierarchical clustering"
status: completed
- id: PMAT-506
title: "Fix dogfood_types example compilation with mutation-testing feature"
status: completed
- id: PMAT-507
title: "Suppress AST analysis warnings for include\\!() fragment files"
status: completed
- id: PMAT-508
title: "First-class C++/CUDA/PTX for pmat query (improved-cpp-pmat-query.md)"
status: completed
- id: PMAT-509
title: "pre-commit hook must gate on cargo fmt --check"
status: completed
- id: PMAT-510
title: "Implement 6 scoring system improvements from pmat-spec.md"
status: completed
- id: PMAT-511
title: "PMAT-520: CB-1201 PV Lint gate in pmat comply + pmat score sub-score"
status: completed
- id: PMAT-520
title: "New task: PMAT-520"
status: completed
- id: PMAT-521
title: "PMAT-521: provable-contracts Gate 4+5 — source verification + test execution"
status: completed
- id: PMAT-522
title: "PMAT-522: Escape-proof contract enforcement pipeline — build.rs codegen + Lean sorry check"
status: completed
- id: PMAT-523
title: "PV-COMPAT: Implement pv-compatibility spec — align pmat with provable-contracts scoring"
status: completed
- id: PMAT-524
title: "PV-COMPAT-P2: CB-1206 verification levels + drift detection + CD1-CD5 codebase scoring"
status: completed
- id: PMAT-525
title: "PV-COMPAT-FINAL: Drift detection (CD5) + SARIF pipeline + pv query integration"
status: completed
- id: PMAT-526
title: "PV-COMPAT-QUERY: pv query cross-project integration + score improvements"
status: completed
- id: PMAT-527
title: "PV-COMPAT-FALSIFY: Falsify pv-compatibility implementation + bug hunt + fix pmat comply"
status: completed
- id: PMAT-528
title: "CB-1305: Contract Surface Type Classification & Anti-Leak Gate"
status: completed
- id: PMAT-529
title: "CB-1302/1310-1314: MCP schema contracts + PV extension classes"
status: completed
- id: PMAT-530
title: "CB-1300 fix: unify OutputFormat + harden CB-1305 classifier"
status: completed
- id: PMAT-531
title: "CB-1300 fix: converge 9 OutputFormat enums to ONE canonical type"
status: completed
- id: PMAT-532
title: "CB-1302 fix: add doc comments to 25 MCP arg structs"
status: completed
- id: PMAT-533
title: "Contract surfaces for presentar: TUI widget lifecycle + WASM FFI boundary"
status: completed
- id: PMAT-534
title: "L5 enforcement: verification ladder check + fix upstream dep violations"
status: completed
- id: PMAT-535
title: "Fix L5 violations: add lean_theorem to realizar + aprender contracts"
status: completed
- id: PMAT-536
title: "Fix CB-1203: add contract macro to aprender::silu"
status: completed
- id: PMAT-537
title: "CB-1303 fix: add RUST_MIN_STACK to CI across sovereign stack"
status: completed
- id: PMAT-538
title: "Clear final 2 WARNs: pv-contracts semantic leaks + aprender WASM docs"
status: completed
- id: PMAT-539
title: "PMAT-032: Provable contracts §32-34 — 160 contracts, 27/27 sovereign stack"
status: completed
- id: PMAT-608
title: "Fix route_command coverage collapse (7.3% cov, 318 uncov lines)"
status: completed
- id: PMAT-609
title: "Reconcile qa_work_handler 0% coverage cluster (impact 14.2)"
status: completed
- id: PMAT-610
title: "Fix pmat query --faults enrich-phase ANDON (22s)"
status: completed
- id: PMAT-611
title: "Add renacer golden traces for CLI dispatcher"
status: completed
- id: PMAT-612
title: "Resolve stray .cargo/config.toml deletion in working tree"
status: completed
- id: PMAT-613
title: "Port bug-hunter pattern detection into pmat (drop batuta dep)"
status: completed
- id: PMAT-614
title: "PMAT-614: Fix 425 rust-1.94.0 clippy warnings blocking CI"
status: completed
- id: PMAT-615
title: "Fix GH-278: CB-900 broken-link check ignores .pmatignore/file_health_exclude for vendored docs"
status: completed
- id: PMAT-616
title: "Fix GH-283: coverage_nightly cfg_attr triggers E0554 on Rust 1.94 stable (conditional feature flag)"
status: completed
- id: PMAT-617
title: "Fix GH-271: CB-1203 false-positives; clearer failure message and wider window"
status: completed
- id: PMAT-618
title: "Fix GH-272: CB-200 complexity-1 false positive graded B instead of A+"
status: completed
- id: PMAT-619
title: "DEBT: Pre-commit complexity hook false-negative on zero-code repos"
status: inprogress
- id: PMAT-620
title: "Spec 27: Work Contract Binding — implements[] field + bind/unbind CLI + CB-1600..1609"
status: inprogress
- id: PMAT-621
title: "Spec 28: Work Verification Ladder — typed VerificationLevel enum + L0-L5 gates + CB-1610..1619"
status: inprogress
- id: PMAT-622
title: "Spec 29: Falsification Unification — ProvableContract variant + unified roster + CB-1620..1629"
status: inprogress
- id: PMAT-623
title: "Spec 30: Work Compile-Time Codegen — #[pmat_work_contract] proc macro + CB-1630..1639"
status: inprogress
- id: PMAT-624
title: "Spec 31: Work CoT Proof Derivation — structured ChainOfThoughtStep + CB-1640..1649"
status: inprogress
- id: PMAT-625
title: "Phase 1: cover extract_ruchy_pipeline_patterns branches"
status: completed
- id: PMAT-626
title: "Phase 1: cover parse_python_imports + parse_typescript_imports + parse_rust_imports"
status: completed
- id: PMAT-627
title: "Cover polyglot NameResolver can_resolve branches"
status: completed
- id: PMAT-628
title: "Coverage: resolve_against_name_map missing-target branch"
status: completed
- id: PMAT-629
title: "Phase 1: cover rust_wasm_analyzer::analyze_impl_method branches"
status: inprogress
- id: PMAT-ARCH-001
title: "New task: PMAT-ARCH-001"
status: completed
- id: PMAT-COV-001
title: "New task: PMAT-COV-001"
status: completed
- id: "Phase 3.2: O(1) Quality Gates - trueno-graph Integration (CSR Storage)"
title: "New task: Phase 3.2: O(1) Quality Gates - trueno-graph Integration (CSR Storage)"
status: completed
- id: "Phase 3.3: show-metrics --trend visualization"
title: "New task: Phase 3.3: show-metrics --trend visualization"
status: completed
- id: "Phase 3.4: CI/CD integration for metric tracking"
title: "New task: Phase 3.4: CI/CD integration for metric tracking"
status: completed
- id: "Phase 4.1: O(1) Quality Gates - Predictive CLI (predict-quality command)"
title: "New task: Phase 4.1: O(1) Quality Gates - Predictive CLI (predict-quality command)"
status: completed
- id: "Phase 4: O(1) Quality Gates - Predictive Quality Gates (ML-based)"
title: "New task: Phase 4: O(1) Quality Gates - Predictive Quality Gates (ML-based)"
status: completed
- id: QUAL-O1-PHASE1
title: "New task: QUAL-O1-PHASE1"
status: completed
- id: QUAL-O1-PHASE2
title: "New task: QUAL-O1-PHASE2"
status: completed
- id: QUAL-O1-PHASE3
title: "New task: QUAL-O1-PHASE3"
status: completed
- id: QUAL-O1-PHASE3.1
title: "New task: QUAL-O1-PHASE3.1"
status: completed
- id: "Rebuild and validate v2.200.0 binary with TDG auto-fail using EXTREME TDD"
title: "New task: Rebuild and validate v2.200.0 binary with TDG auto-fail using EXTREME TDD"
status: completed
- id: "Reduce unwrap() calls from 570 to <100 (CRITICAL reliability)"
title: "New task: Reduce unwrap() calls from 570 to <100 (CRITICAL reliability)"
status: completed
- id: "docs/specifications/pmat-spec.md"
title: "New task: docs/specifications/pmat-spec.md"
status: completed
- id: enhance-pmat-work
title: "New task: enhance-pmat-work"
status: completed
- id: falsify-rag
title: "New task: falsify-rag"
status: completed
- id: "make coverage at 95% - fast, no workarounds"
title: "New task: make coverage at 95% - fast, no workarounds"
status: completed
- id: ml-model-serialization
title: "New task: ml-model-serialization"
status: completed
- id: trueno-o1-context-tdg
title: "Implement O(1) Context and TDG with trueno-graph"
status: completed