roadmap_version: '1.0'
github_enabled: true
github_repo: paiml/paiml-mcp-agent-toolkit
roadmap:
- id: ml-model-serialization
github_issue: null
item_type: task
title: 'New task: ml-model-serialization'
status: completed
priority: medium
assigned_to: null
created: 2025-11-19T10:38:55.353875636+00:00
updated: 2025-11-19T10:39:28.001928745+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-75
github_issue: 75
item_type: task
title: Unify pmat roadmap, GitHub issues, and EXTREME TDD workflow with automated tracking
status: completed
priority: medium
assigned_to: null
created: 2025-11-19T10:39:53.011510597+00:00
updated: 2025-11-24T14:29:07.503389892+00:00
spec: null
acceptance_criteria:
- Design YAML schema for roadmap.yaml
- Implement YAML parser/writer with serde
- Design `pmat work` command structure (clap subcommands)
- 'Add configuration: `pmat config set github.enabled true/false`'
- Write unit tests for YAML operations
- Implement `pmat work start <id>` (GitHub and YAML)
- Implement `pmat work continue <id>` with progress tracking
- Implement `pmat work complete <id>` with quality gates
- Implement write-through logic (update both systems)
- Add `--with-spec` flag for specification creation
- GitHub API client (octocrab crate)
- Fetch issue details from GitHub
- Create GitHub issues from YAML tickets
- Update GitHub issues (status, labels, comments)
- Handle GitHub API errors gracefully
- Implement `pmat work sync --yaml-to-github`
- Implement `pmat work sync --github-to-yaml`
- Implement `pmat work sync --full` (bidirectional)
- Conflict resolution (prompt user)
- Sync status reporting
- Epic ticket support in YAML schema
- '`pmat work start <id> --epic` flag'
- Create GitHub epic with subtasks
- Epic progress tracking (aggregate subtasks)
- Epic visualization
- Filename convention (NNN-name.md or ID-name.md)
- Spec template generation
- Bidirectional linking (spec ↔ issue/ticket)
- '`pmat spec create/validate/list` commands'
- Spec status tracking
- '`pmat work init` installer'
- 'Hook validates "Refs #N" or "Refs ID"'
- Hook verifies issue/ticket exists
- Hook runs quality gates (tier 2)
- Hook updates YAML on commit
- Auto-update CHANGELOG.md from issue labels
- Detect documentation changes
- Prompt for rustdoc updates
- Prompt for book validation
- Generate commit messages
- Parse acceptance criteria from issues/YAML
- Track completion percentage
- Weighted progress with in-progress tasks
- Display progress in all commands
- Store state in `.pmat/state/`
- Comprehensive error messages
- Offline mode handling
- Tutorial documentation
- Video guide
- Migration guide for existing projects
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-78
github_issue: null
item_type: task
title: 'New task: GH-78'
status: completed
priority: medium
assigned_to: null
created: 2025-11-19T15:51:41.224328584+00:00
updated: 2025-11-21T16:51:07.183146276+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-79
github_issue: null
item_type: task
title: 'New task: GH-79'
status: completed
priority: medium
assigned_to: null
created: 2025-11-19T17:15:45.907017935+00:00
updated: 2025-11-19T18:26:26.095231711+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: Rebuild and validate v2.200.0 binary with TDG auto-fail using EXTREME TDD
github_issue: null
item_type: task
title: 'New task: Rebuild and validate v2.200.0 binary with TDG auto-fail using EXTREME TDD'
status: completed
priority: medium
assigned_to: null
created: 2025-11-21T14:59:32.618321511+00:00
updated: 2025-11-21T16:20:28.930943215+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: Fix critical unwrap() defects found in quality baseline assessment
github_issue: null
item_type: task
title: 'New task: Fix critical unwrap() defects found in quality baseline assessment'
status: completed
priority: medium
assigned_to: null
created: 2025-11-21T17:40:17.856625170+00:00
updated: 2025-11-21T17:47:04.849263525+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Improve Code Quality score: unsafe docs + complexity reduction (target 20.0/26)'
github_issue: null
item_type: task
title: 'New task: Improve Code Quality score: unsafe docs + complexity reduction (target 20.0/26)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-21T17:48:38.986292903+00:00
updated: 2025-11-25T14:16:06.242672939+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-84
github_issue: null
item_type: task
title: 'New task: GH-84'
status: completed
priority: medium
assigned_to: null
created: 2025-11-22T08:20:55.488299790+00:00
updated: 2025-11-22T08:27:05.812725182+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: DEPYLER-0438
github_issue: null
item_type: task
title: 'New task: DEPYLER-0438'
status: completed
priority: medium
assigned_to: null
created: 2025-11-22T12:13:05.190013847+00:00
updated: 2025-11-23T10:22:44.400186390+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: ML-PHASE-5-TOPK-001
github_issue: null
item_type: task
title: 'Phase 5.1: Top-K Query Acceleration with Unified Backend Selection'
status: completed
priority: medium
assigned_to: null
created: 2025-11-22T13:51:02.762360014+00:00
updated: 2025-11-22T22:38:00.000000000+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: ML-PHASE-7.1-GRAPH
github_issue: null
item_type: task
title: 'New task: ML-PHASE-7.1-GRAPH'
status: completed
priority: medium
assigned_to: null
created: 2025-11-22T15:58:48.836126708+00:00
updated: 2025-11-22T22:10:26.834681148+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: QUAL-O1-PHASE1
github_issue: null
item_type: task
title: 'New task: QUAL-O1-PHASE1'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T10:23:09.999496668+00:00
updated: 2025-11-23T10:35:40.545724679+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: QUAL-O1-PHASE2
github_issue: null
item_type: task
title: 'New task: QUAL-O1-PHASE2'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T10:38:54.095443475+00:00
updated: 2025-11-23T10:45:07.857666725+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: QUAL-O1-PHASE3
github_issue: null
item_type: task
title: 'New task: QUAL-O1-PHASE3'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T10:48:17.591378184+00:00
updated: 2025-11-23T10:59:33.105046012+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: QUAL-O1-PHASE3.1
github_issue: null
item_type: task
title: 'New task: QUAL-O1-PHASE3.1'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T11:01:50.867055909+00:00
updated: 2025-11-23T11:38:36.051612399+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Phase 3.2: O(1) Quality Gates - trueno-graph Integration (CSR Storage)'
github_issue: null
item_type: task
title: 'New task: Phase 3.2: O(1) Quality Gates - trueno-graph Integration (CSR Storage)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T11:38:48.121341456+00:00
updated: 2025-11-23T12:31:05.441451255+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Phase 4: O(1) Quality Gates - Predictive Quality Gates (ML-based)'
github_issue: null
item_type: task
title: 'New task: Phase 4: O(1) Quality Gates - Predictive Quality Gates (ML-based)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T11:54:52.424839363+00:00
updated: 2025-11-23T12:05:50.339847538+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Phase 4.1: O(1) Quality Gates - Predictive CLI (predict-quality command)'
github_issue: null
item_type: task
title: 'New task: Phase 4.1: O(1) Quality Gates - Predictive CLI (predict-quality command)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T12:05:56.159998297+00:00
updated: 2025-11-23T12:31:10.564319305+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Phase 3.3: show-metrics --trend visualization'
github_issue: null
item_type: task
title: 'New task: Phase 3.3: show-metrics --trend visualization'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T12:31:36.669616444+00:00
updated: 2025-11-25T14:09:30.718043897+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Phase 3.4: CI/CD integration for metric tracking'
github_issue: null
item_type: task
title: 'New task: Phase 3.4: CI/CD integration for metric tracking'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T13:44:39.677871699+00:00
updated: 2025-11-25T14:10:24.181383572+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: Reduce unwrap() calls from 570 to <100 (CRITICAL reliability)
github_issue: null
item_type: task
title: 'New task: Reduce unwrap() calls from 570 to <100 (CRITICAL reliability)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T16:17:00.647764140+00:00
updated: 2025-11-23T18:35:33.299168994+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: Identify and fix top 10 production files with unwrap() calls
github_issue: null
item_type: task
title: 'New task: Identify and fix top 10 production files with unwrap() calls'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T16:35:03.304153783+00:00
updated: 2025-11-24T18:04:48.379732535+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: Fix file_discovery.rs (46 unwrap calls - 2nd biggest offender)
github_issue: null
item_type: task
title: 'New task: Fix file_discovery.rs (46 unwrap calls - 2nd biggest offender)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T16:40:02.211378973+00:00
updated: 2025-11-24T17:48:45.311685514+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Comprehensive scan: Find all remaining production unwrap() calls'
github_issue: null
item_type: task
title: 'New task: Comprehensive scan: Find all remaining production unwrap() calls'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T16:44:36.534847591+00:00
updated: 2025-11-23T16:44:36.534847591+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Continue unwrap elimination: Target 60 total eliminated (30 more files with TDD)'
github_issue: null
item_type: task
title: 'New task: Continue unwrap elimination: Target 60 total eliminated (30 more files with TDD)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T18:36:58.349358792+00:00
updated: 2025-11-23T20:40:02.633449160+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Continue unwrap elimination: 27 more unwraps to reach 60-unwrap milestone (EXTREME TDD)'
github_issue: null
item_type: task
title: 'New task: Continue unwrap elimination: 27 more unwraps to reach 60-unwrap milestone (EXTREME TDD)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-23T20:41:04.631442428+00:00
updated: 2025-11-24T08:55:31.668592594+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: 'Implement pmat debug command (REFACTOR phase: CLI integration)'
github_issue: null
item_type: task
title: 'New task: Implement pmat debug command (REFACTOR phase: CLI integration)'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T10:01:26.467552108+00:00
updated: 2025-11-24T10:33:59.256080954+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-93
github_issue: null
item_type: task
title: 'New task: GH-93'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T14:28:59.782172792+00:00
updated: 2025-12-28T18:25:29.877625063+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-89
github_issue: null
item_type: task
title: 'New task: GH-89'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T14:36:22.483170414+00:00
updated: 2025-11-24T16:57:18.260997975+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-92
github_issue: null
item_type: task
title: 'New task: GH-92'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T17:05:47.549686200+00:00
updated: 2025-11-24T17:11:53.934522864+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-95
github_issue: null
item_type: task
title: 'New task: GH-95'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T17:13:49.178268033+00:00
updated: 2025-11-24T18:25:39.863791727+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-96
github_issue: null
item_type: task
title: 'New task: GH-96'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T17:19:17.895031651+00:00
updated: 2025-12-28T18:26:19.936001540+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-98
github_issue: null
item_type: task
title: 'New task: GH-98'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T19:46:26.821013875+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: .pmat-tickets/coverage-improve-command.yaml
github_issue: null
item_type: task
title: 'New task: .pmat-tickets/coverage-improve-command.yaml'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T22:07:53.644726409+00:00
updated: 2025-11-24T22:42:34.532443829+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: .pmat-tickets/coverage-improve-phase2-integration.yaml
github_issue: null
item_type: task
title: 'New task: .pmat-tickets/coverage-improve-phase2-integration.yaml'
status: completed
priority: medium
assigned_to: null
created: 2025-11-24T22:45:50.665833463+00:00
updated: 2025-11-24T22:45:50.665833463+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: trueno-o1-context-tdg
github_issue: null
item_type: task
title: Implement O(1) Context and TDG with trueno-graph
status: completed
priority: high
assigned_to: null
created: 2025-11-25T16:00:00.000000000+00:00
updated: 2025-11-25T13:31:39.545696374+00:00
spec: null
acceptance_criteria:
- Context generation uses trueno-graph CSR for O(1) function/symbol lookups
- TDG analysis uses trueno-graph for dependency tracking and PageRank scoring
- Add PageRank to identify hot code paths in context generation
- Benchmark context generation current 8ms target under 5ms
- Benchmark TDG analysis current 15ms target under 10ms
- All existing tests pass
- Add performance regression tests
- Update documentation with performance metrics
- Integrate trueno-graph CSR into server/src/services/context.rs
- Add O(1) function lookup using CSR node mapping
- Implement PageRank for prioritizing important functions
- Add performance benchmarks for context generation
- Integrate trueno-graph into server/src/tdg/ modules
- Use CSR for dependency tracking between functions
- Implement PageRank to identify critical test targets
- Add performance benchmarks for TDG analysis
- Run full test suite
- Validate performance improvements with benchmarks
- Update CLAUDE.md with trueno-graph usage proof
- Document O(1) architecture in specifications
phases: []
subtasks: []
estimated_effort: null
labels:
- performance
- o1-quality-gates
- trueno-graph
notes: |
User discovered trueno-graph is ONLY used in metric_trends.rs.
Need to integrate into context.rs and TDG for real performance.
Current: metric_trends.rs only. Missing: context.rs and tdg/*.rs
Expected: Context 8ms to under 5ms, TDG 15ms to under 10ms
- id: GH-102
github_issue: null
item_type: task
title: 'New task: GH-102'
status: completed
priority: medium
assigned_to: null
created: 2025-12-05T19:05:02.965640330+00:00
updated: 2025-12-13T07:55:49.862288073+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-97
github_issue: null
item_type: task
title: 'New task: GH-97'
status: completed
priority: medium
assigned_to: null
created: 2025-12-05T19:05:05.468021960+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-118
github_issue: 118
item_type: task
title: Unified CLI/MCP/Help Integration with Dynamic --help Generation
status: completed
priority: medium
assigned_to: null
created: 2025-12-12T21:14:08.467212514+00:00
updated: 2025-12-13T07:55:50.911134299+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: enhance-pmat-work
github_issue: null
item_type: task
title: 'New task: enhance-pmat-work'
status: completed
priority: medium
assigned_to: null
created: 2025-12-12T22:45:24.808854463+00:00
updated: 2025-12-12T23:38:08.538484181+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: CB-IMPL-001
github_issue: null
item_type: epic
title: ComputeBrick Diagnostic Support (PROBAR-SPEC-009-P8)
status: completed
priority: high
assigned_to: null
created: 2026-01-09T09:24:58.873088772+00:00
updated: 2026-01-13T18:30:00.000000000+00:00
spec: docs/specifications/compute-brick-support.md
acceptance_criteria:
- CB-001 through CB-022 defect patterns added to cuda_simd.rs
- pmat comply check --compute-brick validates ComputeBrick code
- pmat comply enforce --compute-brick installs git hooks
- probar GUI coverage >= 80% enforced
- No P0 defects blocks merge (Jidoka principle)
- 100-point Popper falsification score implemented
phases:
- name: RED
status: completed
estimated_effort: null
completion: 100
- name: GREEN
status: completed
estimated_effort: null
completion: 100
- name: REFACTOR
status: completed
estimated_effort: null
completion: 100
subtasks:
- id: CB-IMPL-001-A
github_issue: null
title: Add CB-001 to CB-022 defect patterns to DefectTaxonomy
status: completed
completion: 100
- id: CB-IMPL-001-B
github_issue: null
title: Add check_compute_brick to comply handlers
status: completed
completion: 100
- id: CB-IMPL-001-C
github_issue: null
title: Add probar coverage enforcement to comply enforce
status: completed
completion: 100
- id: CB-IMPL-001-D
github_issue: null
title: Add ComputeBrick-specific detection algorithms
status: completed
completion: 100
- id: CB-IMPL-001-E
github_issue: null
title: Integration tests for pmat comply --compute-brick
status: completed
completion: 100
estimated_effort: 4h
labels:
- cuda-tdg
- probar
- toyota-way
- popper-falsification
notes: 'Reference: Popper (1959), Liker (2004). See spec for full citations.'
- id: COV-95
github_issue: null
item_type: task
title: 'New task: COV-95'
status: completed
priority: medium
assigned_to: null
created: 2026-01-12T11:35:15.780721970+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-439
github_issue: null
item_type: task
title: 'brick-audit: ComputeBrick Compliance Checker'
status: completed
priority: high
assigned_to: null
created: 2026-01-13T15:48:44Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria:
- 'Static analysis to verify ComputeBrick compliance: checks for CB-001 (trait implementation), CB-002 (assertion presence), CB-003 (profiler integration), CB-004 (budget declaration)'
phases: []
subtasks: []
estimated_effort: null
labels:
- computebrick
- trueno
- analysis
notes: null
- id: PMAT-440
github_issue: null
item_type: task
title: 'ptx-complexity: PTX-Specific Analysis'
status: completed
priority: high
assigned_to: null
created: 2026-01-13T15:48:44Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria:
- 'Analyze PTX IR generated by trueno-gpu: register pressure, bank conflicts, memory coalescing, occupancy estimation'
phases: []
subtasks: []
estimated_effort: null
labels:
- computebrick
- trueno-gpu
- ptx
- performance
notes: null
- id: PMAT-441
github_issue: null
item_type: task
title: BrickProfiler Output Integration
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T15:48:45Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria:
- 'Parse and visualize BrickProfiler JSON output: latency histograms, throughput trends, bottleneck identification'
phases: []
subtasks: []
estimated_effort: null
labels:
- computebrick
- trueno
- profiling
- visualization
notes: null
- id: PMAT-442
github_issue: null
item_type: task
title: TDG extension for Bricks
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T15:48:46Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria:
- 'Extend Test-Driven Grade to understand ComputeBrick patterns: test Bricks more = better score, track assertion coverage'
phases: []
subtasks: []
estimated_effort: null
labels:
- computebrick
- tdg
- testing
notes: null
- id: PMAT-443
github_issue: null
item_type: task
title: Spec-Roadmap Bidirectional Sync
status: completed
priority: high
assigned_to: null
created: 2026-01-13T15:54:51Z
updated: 2026-01-13T16:03:50Z
spec: null
acceptance_criteria:
- 'Add pmat spec sync (extract tickets from specs, update roadmap.yaml) and pmat spec drift (report orphan specs). Fix: spec **Ticket**: field should auto-update roadmap spec: field bidirectionally.'
phases: []
subtasks: []
estimated_effort: null
labels:
- spec
- roadmap
- sync
- ux
notes: null
- id: PMAT-444
github_issue: null
item_type: task
title: Citation Validation in Specs
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T15:54:52Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria:
- 'Validate peer-reviewed citations in specs: check DOI/URL validity, flag fake citations, score reduction for unverified references. Integrate with pmat spec score.'
phases: []
subtasks: []
estimated_effort: null
labels:
- spec
- citations
- validation
- popper
notes: null
- id: PMAT-445
github_issue: null
item_type: task
title: Unified Quality Annotation for Tickets
status: completed
priority: high
assigned_to: null
created: 2026-01-13T16:06:51Z
updated: 2026-02-14T11:44:44Z
spec: null
acceptance_criteria:
- 'Add pmat work annotate command: auto-links spec score, TDG, churn, coverage, and Tarantula fault data to tickets. Shows unified quality view per ticket.'
phases: []
subtasks: []
estimated_effort: null
labels:
- work
- annotation
- tdg
- churn
- tarantula
- quality
notes: null
- id: PMAT-446
github_issue: null
item_type: task
title: 'pmat brick-score: ComputeBrick profiling integration'
status: completed
priority: high
assigned_to: null
created: 2026-01-13T17:25:44Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Add brick-score command for trueno/realizar ecosystem. Reads BrickProfiler JSON output and scores against 100-point framework: Performance (40pts), Efficiency (25pts), Correctness (20pts), Stability (15pts). Integrates with quality-gates for CV/efficiency thresholds.'
phases: []
subtasks: []
estimated_effort: null
labels:
- computebrick
- profiling
- trueno
notes: null
- id: PMAT-447
github_issue: null
item_type: task
title: 'PMAT-447: HardwareCapability detection in trueno'
status: completed
priority: high
assigned_to: null
created: 2026-01-13T18:00:50Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- trueno
- hardware
- profiling
notes: null
- id: PMAT-448
github_issue: null
item_type: task
title: 'PMAT-448: Read hardware.toml in brick-score'
status: completed
priority: high
assigned_to: null
created: 2026-01-13T18:00:58Z
updated: 2026-02-14T11:44:53Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- pmat
- hardware
- brick-score
notes: null
- id: PMAT-449
github_issue: null
item_type: task
title: 'PMAT-449: Roofline analysis in brick-score output'
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T18:00:58Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- pmat
- roofline
- profiling
notes: null
- id: PMAT-450
github_issue: null
item_type: task
title: 'PMAT-450: Roofline chart in cbtop TUI'
status: completed
priority: low
assigned_to: null
created: 2026-01-13T18:00:58Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- cbtop
- tui
- visualization
notes: null
- id: PMAT-451
github_issue: null
item_type: task
title: 'PMAT-451: Extend BrickProfiler with compression_ratio and bound'
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T18:00:58Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- trueno
- profiler
- zram
notes: null
- id: PMAT-452
github_issue: null
item_type: task
title: 'PMAT-452: Export ByteBudget to hardware.toml format'
status: completed
priority: medium
assigned_to: null
created: 2026-01-13T18:00:58Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- trueno
- zram
- config
notes: null
- id: PMAT-453
github_issue: null
item_type: task
title: 'PMAT Hooks v2: O(1) Pre-Commit System'
status: completed
priority: high
assigned_to: null
created: 2026-01-14T09:49:12Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- 'Implement O(1) hooks per server/docs/specifications/pmat-hooks-v2-spec.md. Phase 1: Git tree hash caching. Phase 2: Per-gate hash caching. Phase 3: Parallel execution.'
phases: []
subtasks: []
estimated_effort: null
labels:
- hooks
- o1
- performance
notes: null
- id: PMAT-454
github_issue: null
item_type: task
title: Normalize all scoring to 0-100 scale
status: completed
priority: high
assigned_to: null
created: 2026-01-14T12:09:33Z
updated: 2026-01-14T12:36:38.460862493+00:00
spec: null
acceptance_criteria:
- Convert all scoring systems (TDG, Repo, Rust, Popper, Brick, Perfection) to use 0-100 normalized scale. Eliminates confusion from different scales (106, 110, 200 points).
phases: []
subtasks: []
estimated_effort: null
labels:
- refactor
- scoring
- quality
notes: null
- id: PMAT-455
github_issue: null
item_type: task
title: 'Fix trueno CB-021: Add #[target_feature] to 1269 SIMD functions in src/matrix.rs'
status: completed
priority: high
assigned_to: null
created: 2026-01-14T12:49:24Z
updated: 2026-01-14T13:04:50.107324533+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- trueno
- cb-021
- simd
notes: null
- id: PMAT-456
github_issue: null
item_type: task
title: 'Fix realizar CB-020: Add // SAFETY: comments to 647 unsafe blocks in src/cuda.rs'
status: completed
priority: high
assigned_to: null
created: 2026-01-14T12:49:25Z
updated: 2026-01-14T13:15:46.789953859+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- realizar
- cb-020
- unsafe
notes: null
- id: PMAT-457
github_issue: null
item_type: task
title: 'CB-040: Split large files for A+ file health'
status: completed
priority: high
assigned_to: null
created: 2026-01-22T09:54:39Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- Split 8 files >2000 lines to achieve A+ file health score
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-458
github_issue: null
item_type: task
title: 'PMAT Work Contract: Popperian Falsification-Based Quality Enforcement'
status: completed
priority: critical
assigned_to: null
created: 2026-01-25T13:30:15Z
updated: 2026-01-25T13:44:21.433061787+00:00
spec: null
acceptance_criteria:
- Implement work contract system with immutable baseline, 9 falsifiable claims, anti-gaming detection
phases: []
subtasks: []
estimated_effort: null
labels:
- quality
- falsification
- contract
notes: null
- id: PMAT-459
github_issue: null
item_type: task
title: 'COMPLY-V2.1: Implement OIP Tarantula Patterns (CB-120 through CB-124)'
status: completed
priority: high
assigned_to: null
created: 2026-01-31T12:30:42Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- 'Implement 5 new compliance checks from OIP Tarantula analysis: CB-120 NaN-unsafe comparison, CB-121 lock poisoning, CB-122 serde safety, CB-123 ignored tests, CB-124 coverage threshold. Spec: docs/specifications/components/repo-health.md v2.1.0'
phases: []
subtasks: []
estimated_effort: null
labels:
- comply
- quality
- oip
- tarantula
notes: null
- id: 'CB-125,126,127: Coverage gaming and slow test detection'
github_issue: null
item_type: task
title: 'New task: CB-125,126,127: Coverage gaming and slow test detection'
status: completed
priority: medium
assigned_to: null
created: 2026-01-31T18:57:52.121535547+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-460
github_issue: null
item_type: task
title: make coverage MVP
status: completed
priority: medium
assigned_to: null
created: 2026-01-31T22:51:00Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- Get 'make coverage' working reliably with 95% coverage, no slow tests, maintain A+ comply rating
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-461
github_issue: null
item_type: task
title: 'WORK-COMPLY-8.10: Implement pmat work compliance convergence'
status: completed
priority: high
assigned_to: null
created: 2026-02-01T13:16:44Z
updated: 2026-02-01T13:26:33Z
spec: null
acceptance_criteria:
- 'Implement section 8.10 from docs/specifications/components/repo-health.md: coverage 95%, SATD zero-tolerance, dead code zero-tolerance, lint gate'
phases: []
subtasks: []
estimated_effort: null
labels:
- comply
- coverage
- satd
- dead-code
notes: null
- id: PMAT-462
github_issue: null
item_type: task
title: 'DOGFOOD: Fix repo compliance issues for v2.6 gates'
status: completed
priority: critical
assigned_to: null
created: 2026-02-01T13:29:03Z
updated: 2026-02-01T14:04:58Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- dogfood
- compliance
notes: null
- id: PMAT-463
github_issue: null
item_type: task
title: 'COMPLY-044: Implement YAML-first configuration (.pmat.yaml)'
status: completed
priority: high
assigned_to: null
created: 2026-02-01T14:31:52Z
updated: 2026-02-01T14:51:00+00:00
spec: null
acceptance_criteria:
- Add declarative YAML configuration for pmat comply checks. Every quality check should be configurable via .pmat.yaml without code changes. Includes check enable/disable, severity overrides, and threshold configuration.
phases: []
subtasks: []
estimated_effort: null
labels:
- comply
- config
- yaml
notes: null
- id: PMAT-464
github_issue: null
item_type: task
title: 'COMPLY-040: Implement CB-300 Muda Waste Score'
status: completed
priority: medium
assigned_to: null
created: 2026-02-01T15:14:14.906952123+00:00
updated: 2026-02-01T15:15:00+00:00
spec: docs/specifications/components/repo-health.md
acceptance_criteria:
- Aggregate waste score from dead code, slow tests, SATD, complexity, and dependency metrics
- Score range 0-100 (lower is better)
- Integrates with pmat comply check as CB-300
- Configurable via .pmat.yaml
phases: []
subtasks: []
estimated_effort: null
labels:
- comply
- muda
- quality
notes: null
- id: PMAT-465
github_issue: null
item_type: task
title: 'COMPLY-041: Implement CB-301 Reproducibility Check'
status: completed
priority: medium
assigned_to: null
created: 2026-02-01T15:23:02.168510460+00:00
updated: 2026-02-01T15:23:30+00:00
spec: docs/specifications/components/repo-health.md
acceptance_criteria:
- Detect reproducibility level Bronze/Silver/Gold
- Check Cargo.lock, Dockerfile, make reproduce, seeded RNG
- Integrates with pmat comply check as CB-301
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-466
github_issue: null
item_type: task
title: 'COMPLY-043: Implement CB-303 EDD Compliance'
status: completed
priority: low
assigned_to: null
created: 2026-02-01T16:00:00+00:00
updated: 2026-02-01T16:00:00+00:00
spec: docs/specifications/components/repo-health.md
acceptance_criteria:
- Detect simulation projects (simular/trueno-sim deps)
- Scan pub fn for LaTeX math notation in doc comments
- Report EDD compliance percentage
- Integrates with pmat comply check as CB-303
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-467
github_issue: null
item_type: task
title: 'COMPLY-045: Implement three-layer CLI (review, audit)'
status: completed
priority: high
assigned_to: null
created: 2026-02-01T16:00:00+00:00
updated: 2026-02-01T16:00:00+00:00
spec: docs/specifications/components/repo-health.md
acceptance_criteria:
- Layer 2 (review) generates evidence-based reviewer checklist
- Layer 3 (audit) generates governance artifact with sovereign trail
- Audit requires clean git state
- Both support text, json, markdown output formats
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-468
github_issue: null
item_type: task
title: Restructure CLI handlers for 95% unit test coverage
status: completed
priority: high
assigned_to: null
created: 2026-02-01T19:50:51Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- 'Extract testable business logic from CLI handlers into separate service functions. Goal: Enable unit testing without CLI arg parsing overhead. Target: 95% coverage on core business logic.'
phases: []
subtasks: []
estimated_effort: null
labels:
- coverage
- refactoring
- tdd
notes: null
- id: PMAT-469
github_issue: null
item_type: task
title: Make coverage hit 95% - fast and just work
status: completed
priority: critical
assigned_to: null
created: 2026-02-01T20:00:49Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- make coverage must hit 95% without workarounds, new targets, or exclusion gaming. Requires adding tests for uncovered code paths in services and models.
phases: []
subtasks: []
estimated_effort: null
labels:
- coverage
- testing
- tdd
notes: null
- id: make coverage at 95% - fast, no workarounds
github_issue: null
item_type: task
title: 'New task: make coverage at 95% - fast, no workarounds'
status: completed
priority: medium
assigned_to: null
created: 2026-02-01T22:51:39.769091418+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-COV-001
github_issue: null
item_type: task
title: 'New task: PMAT-COV-001'
status: completed
priority: medium
assigned_to: null
created: 2026-02-02T08:09:42.111853881+00:00
updated: 2026-02-02T08:51:14.750658231+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-ARCH-001
github_issue: null
item_type: task
title: 'New task: PMAT-ARCH-001'
status: completed
priority: medium
assigned_to: null
created: 2026-02-02T09:03:12.067112835+00:00
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-470
github_issue: null
item_type: task
title: RAG-powered agent context with pmat query command
status: completed
priority: high
assigned_to: null
created: 2026-02-04T18:09:09Z
updated: 2026-02-14T11:44:44Z
spec: null
acceptance_criteria:
- Implement semantic code search for agents. See docs/specifications/improve-context.md
phases: []
subtasks: []
estimated_effort: null
labels:
- rag
- context
- mcp
- trueno-rag
notes: null
- id: PMAT-471
github_issue: null
item_type: task
title: Integrate graph metrics into pmat query
status: completed
priority: high
assigned_to: null
created: 2026-02-05T05:31:15Z
updated: 2026-02-14T11:44:44Z
spec: null
acceptance_criteria:
- 'Add --rank-by pagerank|betweenness|centrality options. Pre-compute graph metrics at index build time. Expand caller/callee depth traversal. Spec: docs/specifications/improve-context.md Phase 6'
phases: []
subtasks: []
estimated_effort: null
labels:
- enhancement
- query
- graph
notes: null
- id: PMAT-472
github_issue: null
item_type: task
title: 'GH-RAG-001: Git commit parser with libgit2'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:31:44Z
updated: 2026-02-05T15:12:34Z
spec: null
acceptance_criteria:
- Parse git history using git2 crate. Extract commit hash, message (subject+body), author, timestamp, changed files. Support incremental parsing from last known commit.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-1
- infrastructure
notes: null
- id: PMAT-473
github_issue: null
item_type: task
title: 'GH-RAG-002: Commit message embedder'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:31:46Z
updated: 2026-02-05T14:48:00Z
spec: null
acceptance_criteria:
- Embed commit messages using TF-IDF (aprender). Concatenate subject + body. Handle short messages gracefully. Store embeddings in git history index.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-1
- embeddings
notes: null
- id: PMAT-474
github_issue: null
item_type: task
title: 'GH-RAG-003: Git history SQLite schema'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:31:49Z
updated: 2026-02-05T14:48:00Z
spec: null
acceptance_criteria:
- 'Create .pmat/git-history.idx with tables: git_commits, commit_files, file_cochange. Include Poka-Yoke constraints per spec.'
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-1
- database
notes: null
- id: PMAT-475
github_issue: null
item_type: task
title: 'GH-RAG-004: Incremental git sync'
status: completed
priority: medium
assigned_to: null
created: 2026-02-05T14:31:50Z
updated: 2026-02-05T15:21:48Z
spec: null
acceptance_criteria:
- Sync only new commits since last index update. Track last_indexed_commit in metadata table. Support --full flag for complete rebuild.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-1
- sync
notes: null
- id: PMAT-476
github_issue: null
item_type: task
title: 'GH-RAG-005: Git history search engine'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:31:56Z
updated: 2026-02-05T15:24:50Z
spec: null
acceptance_criteria:
- Implement semantic search over commit messages. Query by intent, filter by author/date/type (fix/feat). Return ranked results with relevance scores.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-2
- search
notes: null
- id: PMAT-477
github_issue: null
item_type: task
title: 'GH-RAG-006: RRF fusion implementation'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:31:58Z
updated: 2026-02-05T15:34:43Z
spec: null
acceptance_criteria:
- Implement Reciprocal Rank Fusion to combine code index results with git history results. Configurable weights. Boost code results with matching commit context.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-2
- fusion
notes: null
- id: PMAT-478
github_issue: null
item_type: task
title: 'GH-RAG-007: CLI --git-history flag'
status: completed
priority: high
assigned_to: null
created: 2026-02-05T14:32:01Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria:
- Add --git-history (-G, --gh) flag to pmat query. When enabled, search includes commit messages. Display related commits and co-changes in output.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-2
- cli
notes: null
- id: PMAT-479
github_issue: null
item_type: task
title: 'GH-RAG-008: MCP tool git_history parameter'
status: completed
priority: medium
assigned_to: null
created: 2026-02-05T14:32:02Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria:
- Add git_history, git_author, git_since, show_cochanges parameters to pmat_query_code MCP tool. Update JSON schema.
phases: []
subtasks: []
estimated_effort: null
labels:
- git-history-rag
- phase-2
- mcp
notes: null
- id: PMAT-480
github_issue: null
item_type: task
title: 'PMAT-480: pmat query raw search fallback (grep/rg replacement)'
status: completed
priority: high
assigned_to: null
created: 2026-02-07T12:20:24Z
updated: 2026-02-14T11:44:44Z
spec: null
acceptance_criteria:
- 'Add raw file search fallback to pmat query for --regex/--literal/--raw modes. Searches all files (not just indexed functions) using rg-compatible engine. Makes pmat query a superset of grep/rg for Claude Code. Spec: docs/specifications/pmat-query-raw-search-fallback.md'
phases: []
subtasks: []
estimated_effort: null
labels:
- query
- search
- raw
- rg
- grep
notes: null
- id: PMAT-481
github_issue: null
item_type: task
title: Achieve 95% overall test coverage for query formatters and handlers
status: completed
priority: high
assigned_to: null
created: 2026-02-07T17:22:03Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- Systematically improve line coverage to 95%+ across query formatters and related modules using pmat query --coverage-gaps
phases: []
subtasks: []
estimated_effort: null
labels:
- coverage
- quality
notes: null
- id: PMAT-482
github_issue: null
item_type: task
title: Smart coverage-gaps filtering + 95% coverage target
status: completed
priority: high
assigned_to: null
created: 2026-02-07T18:12:17Z
updated: 2026-02-14T11:44:43Z
spec: null
acceptance_criteria:
- 'Implement coverage exclusion classification, fix #158 cache staleness, reach 95% test coverage'
phases: []
subtasks: []
estimated_effort: null
labels:
- coverage
- quality
notes: null
- id: PMAT-483
github_issue: null
item_type: task
title: 'Index v2: SQLite FTS5 backend - fix 58GB bloat (#159)'
status: completed
priority: high
assigned_to: null
created: 2026-02-07T19:53:43Z
updated: 2026-02-07T22:08:31Z
spec: null
acceptance_criteria:
- 'Replace monolithic LZ4+bincode blob with SQLite+FTS5. Phase 0 (call graph fix) done. Phase 1: SQLite schema + FTS5 search. Spec: docs/specifications/index-v2-sqlite-fts5.md'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-484
github_issue: null
item_type: task
title: Reach 95% make coverage - expand scope and fill gaps
status: completed
priority: high
assigned_to: null
created: 2026-02-08T11:55:18Z
updated: 2026-02-14T11:44:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels:
- coverage
- kaizen
notes: null
- id: PMAT-485
github_issue: null
item_type: task
title: 'PMAT-PERF: Falsify all 25 pmat query performance goals, KAIZEN until convergence'
status: completed
priority: medium
assigned_to: null
created: 2026-02-09T11:23:05Z
updated: 2026-02-09T13:34:02.071025612+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-486
github_issue: null
item_type: task
title: Wire Lua into all pmat pipelines (language detection, index, function names, complexity)
status: completed
priority: high
assigned_to: null
created: 2026-02-10T16:02:39Z
updated: 2026-02-10T17:00:00.185934209+00:00
spec: null
acceptance_criteria:
- 'Four interconnected gaps prevent pmat from fully supporting Lua projects: (1) enhanced_language_detection.rs missing lua extension mapping, (2) function_index/helpers.rs detect_language() missing lua, (3) simple_deep_context.rs uses lua_fn_N placeholders instead of real names, (4) context_generation.rs falls back to hardcoded complexity when names don''t match. Fix all four so pmat query, pmat context, and pmat analyze work on Lua-dominant projects like resolve-pipeline.'
phases: []
subtasks: []
estimated_effort: null
labels:
- lua
- language-support
- bug
notes: null
- id: GH-168
github_issue: 168
item_type: task
title: The installation of pmat fails due to missing trait imports in the codebase (GraphCentrality for the aprender crate).
status: completed
priority: medium
assigned_to: null
created: 2026-02-12T10:46:15.317500303+00:00
updated: 2026-02-14T12:10:47Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-487
github_issue: null
item_type: task
title: 'CB-600: Lua Best Practices Detection for pmat comply'
status: completed
priority: high
assigned_to: null
created: 2026-02-12T16:45:38Z
updated: 2026-02-12T17:20:16Z
spec: null
acceptance_criteria:
- 8 detection functions (CB-600 through CB-607) based on LuaTaint, FLuaScan, luacheck, Luau type system research
phases: []
subtasks: []
estimated_effort: null
labels:
- comply
- lua
- detection
notes: null
- id: PMAT-488
github_issue: null
item_type: task
title: 'CB-519: Lossy Data Pipeline Detection'
status: completed
priority: high
assigned_to: null
created: 2026-02-13T17:49:49Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect quantize-dequantize-requantize chains where data flows through lossy transforms multiple times. Motivated by aprender GH-215/231/234/237 where GGUF export double-quantized attention weights. Pattern: function calls .quantize() then .dequantize() or equivalent round-trip on same data path.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- ml-pipeline
notes: null
- id: PMAT-489
github_issue: null
item_type: task
title: 'CB-520: Expensive Init in Hot Path'
status: completed
priority: high
assigned_to: null
created: 2026-02-13T17:49:56Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect expensive initialization patterns inside loops beyond just .clone(). Motivated by aprender GH-224 where ChatSession recreated GPU models (5-6GB VRAM upload) on every generate() call. Pattern: new()/create()/load()/init()/connect()/open() calls inside for/while/loop bodies, especially when the object could be hoisted.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- performance
notes: null
- id: PMAT-490
github_issue: null
item_type: task
title: 'CB-521: Format Detection Without Magic Bytes'
status: completed
priority: high
assigned_to: null
created: 2026-02-13T17:50:04Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect file format parsing that doesn''t validate magic bytes or format signatures before interpreting binary structure. Motivated by aprender GH-213 where .safetensors.index.json was parsed as binary SafeTensors (8-byte size prefix), crashing with header too large. Pattern: read_exact/from_le_bytes on file content without prior magic byte validation.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- safety
notes: null
- id: PMAT-491
github_issue: null
item_type: task
title: 'CB-522: Untested Path Normalization'
status: completed
priority: medium
assigned_to: null
created: 2026-02-13T17:50:11Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect URL/path string manipulation without normalization tests. Motivated by aprender GH-221 where hf://org/repo/resolve/main/file preserved web path components as filesystem path. Pattern: .replace()/.strip_prefix()/.split(''/'') chains on user-provided paths without corresponding test cases for edge cases (double slashes, web URLs, relative paths).'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- path-safety
notes: null
- id: PMAT-492
github_issue: null
item_type: task
title: 'CB-523: External Config Over Embedded Metadata'
status: completed
priority: medium
assigned_to: null
created: 2026-02-13T17:50:19Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect patterns where external filesystem heuristics (sibling files, parent directory names) are used to infer metadata when embedded/internal metadata fields exist. Motivated by aprender GH-222 where apr chat used sibling config.json instead of APR v2 embedded metadata. Pattern: Path::parent()/with_file_name() for config discovery when the loaded struct has metadata fields.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- architecture
notes: null
- id: PMAT-493
github_issue: null
item_type: task
title: 'CB-524: Incomplete Enum Match Coverage'
status: completed
priority: high
assigned_to: null
created: 2026-02-13T17:50:26Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect when a project-defined enum is matched in multiple functions but not all functions handle all variants. Motivated by aprender GH-233/236 where adding new Architecture variants required updating match arms across 5+ functions. Pattern: multiple match blocks on the same enum type where some use _ => catch-all and others enumerate variants explicitly.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- exhaustiveness
notes: null
- id: PMAT-494
github_issue: null
item_type: task
title: 'CB-525: Hardcoded Field Names Without Aliases'
status: completed
priority: medium
assigned_to: null
created: 2026-02-13T17:50:34Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect config/JSON deserialization using hardcoded string field names without alias support. Motivated by aprender GH-235 where load_model_config_from_json only handled standard HuggingFace names (hidden_size) but not GPT-2 names (n_embd). Pattern: repeated .get("field_name") or ["field_name"] on serde_json::Value without fallback .or_else(.get("alias")).'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- compatibility
notes: null
- id: PMAT-495
github_issue: null
item_type: task
title: 'CB-526: Single-Path File Resolution'
status: completed
priority: medium
assigned_to: null
created: 2026-02-13T17:50:41Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect file discovery that only checks a single exact path without fallback search. Motivated by aprender GH-216 where GGUF-to-APR conversion failed to find tokenizer.json when not a direct sibling. Pattern: Path::join() + .exists() without parent-dir search, glob fallback, or recursive discovery.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- robustness
notes: null
- id: PMAT-496
github_issue: null
item_type: task
title: 'CB-527: Incomplete Pattern List for Data Classification'
status: completed
priority: medium
assigned_to: null
created: 2026-02-13T17:50:48Z
updated: 2026-02-14T11:44:48Z
spec: null
acceptance_criteria:
- 'Detect when string-matching classifiers use incomplete pattern lists that miss known variants. Motivated by aprender GH-233B/234 where Rosetta density threshold only recognized ''embed'' but not ''wte'', ''wpe'', ''position_embedding'', ''lm_head''. Pattern: contains()/starts_with() chains for classification without exhaustive variant coverage or a centralized pattern registry.'
phases: []
subtasks: []
estimated_effort: null
labels:
- cb-500
- comply
- classification
notes: null
- id: PMAT-497
github_issue: null
item_type: task
title: 'Fix kaizen blockers: clippy clean + binary size threshold'
status: completed
priority: critical
assigned_to: null
created: 2026-02-13T23:09:03Z
updated: 2026-02-14T12:14:04.562889069+00:00
spec: null
acceptance_criteria:
- 1. Update binary_size.rs threshold from 25MB to 40MB (binary grew with new language support). 2. Fix any remaining clippy warnings. These block make kaizen from passing.
phases: []
subtasks: []
estimated_effort: null
labels:
- kaizen
- quality-gate
notes: null
- id: 'PMAT-500: Variant-coverage and fix-chain falsification claims for cross-project defect prevention'
github_issue: null
item_type: task
title: 'New task: PMAT-500: Variant-coverage and fix-chain falsification claims for cross-project defect prevention'
status: completed
priority: medium
assigned_to: null
created: 2026-02-14T10:48:27.247270589+00:00
updated: 2026-02-14T11:19:34.350928217+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: falsify-rag
github_issue: null
item_type: task
title: 'New task: falsify-rag'
status: completed
priority: medium
assigned_to: null
created: 2026-02-14T12:21:09.705753814+00:00
updated: 2026-02-14T13:01:33.209738441+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: DOGFOOD-001
github_issue: null
item_type: task
title: 'New task: DOGFOOD-001'
status: completed
priority: medium
assigned_to: null
created: 2026-02-14T18:50:02.909819568+00:00
updated: 2026-02-14T19:10:05.708536166+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-235
github_issue: 235
item_type: task
title: 'pmat query: add --extract-candidates flag for large file refactoring'
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T10:35:47.549259569+00:00
updated: 2026-02-22T13:08:01.953568265+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-228
github_issue: 228
item_type: task
title: 'quality-gate: Coverage reports 75% when actual coverage is 97.7%'
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T12:33:08.585577412+00:00
updated: 2026-02-22T13:08:01.953568265+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-230
github_issue: 230
item_type: task
title: quality-gate --format json mixes progress lines into JSON output
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T12:40:35.848576490+00:00
updated: 2026-02-22T13:08:01.953568265+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-226
github_issue: 226
item_type: task
title: 'quality-gate entropy: No explainability — cannot identify specific repeated patterns'
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T13:08:01.953568265+00:00
updated: 2026-02-22T13:08:01.953568265+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-233
github_issue: 233
item_type: task
title: 'pmat query --suggest-rename: _partN pattern matching bug'
status: completed
priority: high
assigned_to: null
created: 2026-02-19T18:13:59+00:00
updated: 2026-02-22T13:30:00+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: GH-232
github_issue: null
item_type: task
title: 'New task: GH-232'
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T14:44:27.476290763+00:00
updated: 2026-02-22T14:44:27.476290763+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-498
github_issue: null
item_type: task
title: Feature-gate reqwest behind http-client feature
status: completed
priority: high
assigned_to: null
created: 2026-02-22T21:14:11Z
updated: 2026-02-22T21:14:19.543276160+00:00
spec: null
acceptance_criteria:
- reqwest pulls ~30 crates (hyper, tower, h2, rustls, ring). Feature-gate behind http-client (default on) so headless/CI builds can skip it.
phases: []
subtasks: []
estimated_effort: null
labels:
- deps
- sovereignty
notes: null
- id: PMAT-499
github_issue: null
item_type: task
title: Replace handlebars with minijinja
status: completed
priority: high
assigned_to: null
created: 2026-02-22T21:14:12Z
updated: 2026-02-22T21:33:20.497619693+00:00
spec: null
acceptance_criteria:
- aprender already uses minijinja. handlebars pulls pest parser and ~15 transitive deps. Consolidate on minijinja for lighter dep tree.
phases: []
subtasks: []
estimated_effort: null
labels:
- deps
- sovereignty
notes: null
- id: PMAT-500
github_issue: null
item_type: task
title: Feature-gate arrow/parquet in trueno-db
status: completed
priority: high
assigned_to: null
created: 2026-02-22T21:14:13Z
updated: 2026-02-22T22:01:40.449313673+00:00
spec: null
acceptance_criteria:
- trueno-db unconditionally pulls arrow (18 crates). Make arrow optional behind storage feature. trueno-graph already gates storage - chain the feature through.
phases: []
subtasks: []
estimated_effort: null
labels:
- deps
- sovereignty
notes: null
- id: PMAT-501
github_issue: null
item_type: task
title: Upgrade criterion 0.6 to 0.8
status: completed
priority: medium
assigned_to: null
created: 2026-02-22T21:14:15Z
updated: 2026-02-22T22:14:59.909506857+00:00
spec: null
acceptance_criteria:
- criterion 0.6 pulls itertools 0.10 duplicate. criterion 0.8 uses itertools 0.14, eliminating the dup. Dev-dep only but speeds up cargo test compile.
phases: []
subtasks: []
estimated_effort: null
labels:
- deps
notes: null
- id: PMAT-502
github_issue: null
item_type: task
title: Build batuta-template to replace handlebars and minijinja
status: cancelled
priority: medium
assigned_to: null
created: 2026-02-22T21:14:16Z
updated: 2026-02-22T21:14:16Z
spec: null
acceptance_criteria:
- Sovereign template engine (~500 lines) supporting Mustache/Jinja subset. Eliminates both external template deps. aprender chat templates and pmat scaffold templates are simple enough.
phases: []
subtasks: []
estimated_effort: null
labels:
- deps
- sovereignty
notes: null
- id: PMAT-503
github_issue: null
item_type: task
title: 'PMAT-503: Split all non-test Rust files over 500 lines into submodules'
status: inprogress
priority: medium
assigned_to: null
created: 2026-02-23T09:46:00Z
updated: 2026-02-23T09:46:22Z
spec: null
acceptance_criteria:
- 'File health CB-040: Split all non-test .rs files exceeding 500 lines into module directories with semantic submodules. 510 files identified.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: docs/specifications/dbc.md
github_issue: null
item_type: task
title: 'New task: docs/specifications/dbc.md'
status: inprogress
priority: medium
assigned_to: null
created: 2026-02-26T11:02:40.163434891+00:00
updated: 2026-02-26T11:02:40.163434891+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-DBC
github_issue: null
item_type: task
title: 'New task: PMAT-DBC'
status: inprogress
priority: medium
assigned_to: null
created: 2026-02-26T11:44:04.652467641+00:00
updated: 2026-02-26T11:44:04.652467641+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-504
github_issue: null
item_type: task
title: Unify --path vs --project-path flag across analyze subcommands
status: completed
priority: high
assigned_to: null
created: 2026-02-27T08:00:55Z
updated: 2026-02-27T08:03:00.429932958+00:00
spec: null
acceptance_criteria:
- Some analyze subcommands use --path (complexity, satd, dead-code, defects) while others use --project-path (churn, dag, duplicates, defect-prediction, graph-metrics, provability). Standardize to --path with --project-path as alias for backwards compat.
phases: []
subtasks: []
estimated_effort: null
labels:
- cli
- ux
- consistency
notes: null
- id: PMAT-505
github_issue: null
item_type: task
title: Fix semantic_search_demo hanging on hierarchical clustering
status: completed
priority: high
assigned_to: null
created: 2026-02-27T08:00:57Z
updated: 2026-02-27T08:41:16.004021926+00:00
spec: null
acceptance_criteria:
- semantic_search_demo hangs during hierarchical clustering due to O(n^2) distance matrix computation in debug mode. Need to either limit cluster size, add timeout, or skip hierarchical clustering when item count exceeds threshold.
phases: []
subtasks: []
estimated_effort: null
labels:
- performance
- demo
- bug
notes: null
- id: PMAT-506
github_issue: null
item_type: task
title: Fix dogfood_types example compilation with mutation-testing feature
status: completed
priority: medium
assigned_to: null
created: 2026-02-27T08:00:59Z
updated: 2026-02-27T08:41:26.416144688+00:00
spec: null
acceptance_criteria:
- dogfood_types example fails to compile because it requires the mutation-testing feature which depends on syn with visit-mut feature. Need to either gate the example behind the feature or fix the dependency.
phases: []
subtasks: []
estimated_effort: null
labels:
- build
- example
- feature-gate
notes: null
- id: PMAT-507
github_issue: null
item_type: task
title: Suppress AST analysis warnings for include\!() fragment files
status: completed
priority: medium
assigned_to: null
created: 2026-02-27T08:01:01Z
updated: 2026-02-27T08:41:32.486341934+00:00
spec: null
acceptance_criteria:
- include\!() fragment files (test splits like part1.rs, part2.rs) trigger 'AST analysis failed' warnings in tree-sitter because they are not standalone Rust files. Need to detect and skip these files in tree-sitter analysis paths.
phases: []
subtasks: []
estimated_effort: null
labels:
- ux
- warnings
- tree-sitter
notes: null
- id: PMAT-508
github_issue: null
item_type: task
title: First-class C++/CUDA/PTX for pmat query (improved-cpp-pmat-query.md)
status: completed
priority: high
assigned_to: null
created: 2026-03-07T17:00:55Z
updated: 2026-03-07T18:30:00+00:00
spec: docs/specifications/improved-cpp-pmat-query.md
acceptance_criteria:
- 'Done: Phases 0-8.4 implemented. Deferred: 8.5 (.ptx indexing, no .ptx in source trees), 9 (cross-lang, P3).'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-DBC-12
github_issue: null
item_type: task
title: 'New task: PMAT-DBC-12'
status: inprogress
priority: medium
assigned_to: null
created: 2026-03-07T19:29:17.095523672+00:00
updated: 2026-03-07T19:29:17.095523672+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-DBC-13
github_issue: null
item_type: task
title: 'New task: PMAT-DBC-13'
status: inprogress
priority: medium
assigned_to: null
created: 2026-03-07T22:04:29.937654709+00:00
updated: 2026-03-07T22:04:29.937654709+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-509
github_issue: null
item_type: task
title: pre-commit hook must gate on cargo fmt --check
status: inprogress
priority: medium
assigned_to: null
created: 2026-03-07T22:06:19Z
updated: 2026-04-04T19:58:54.303998395+00:00
spec: null
acceptance_criteria:
- 'The PMAT-generated pre-commit hook runs complexity, SATD, and commit message checks but does NOT run ''cargo fmt --check''. This causes repeated CI L1 failures across the sovereign stack (trueno, provable-contracts, bashrs, pmat itself) when Claude Code instances push unformatted code. Fix: add a cargo fmt --check gate to the pre-commit hook template. It should only run on staged .rs files (fast path) and block the commit if formatting differs.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-510
github_issue: null
item_type: task
title: Implement 6 scoring system improvements from pmat-spec.md
status: completed
priority: high
assigned_to: null
created: 2026-03-09T14:59:18Z
updated: 2026-03-09T17:29:01Z
spec: null
acceptance_criteria:
- 1. Rust Project Score v3.0 rebalance (10pts/category). 2. Absorb Popper into RPS. 3. Five Whys v2 evidence diversification. 4. pmat test --record for EvoScore. 5. TDG churn-weighted priority. 6. Muda-to-code file mapping.
phases: []
subtasks: []
estimated_effort: null
labels:
- scoring
- spec
- rebalance
notes: null
- id: docs/specifications/pmat-spec.md
github_issue: null
item_type: task
title: 'New task: docs/specifications/pmat-spec.md'
status: completed
priority: medium
assigned_to: null
created: 2026-03-09T16:34:36.248692623+00:00
updated: 2026-03-09T17:25:57.724313275+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-511
github_issue: null
item_type: task
title: 'PMAT-520: CB-1201 PV Lint gate in pmat comply + pmat score sub-score'
status: inprogress
priority: high
assigned_to: null
created: 2026-03-21T12:00:26Z
updated: 2026-04-05T11:47:53.194491247+00:00
spec: null
acceptance_criteria:
- 'Integrate pv lint into pmat comply as CB-1201 check and into pmat score as 8th sub-score. Run pv lint --format json when contracts/ exists. Extract mean_score from gates[2].detail.mean_score. Ref: scoring-convergence.md §10'
phases: []
subtasks: []
estimated_effort: null
labels:
- scoring
- pv-lint
notes: null
- id: PMAT-520
github_issue: null
item_type: task
title: 'New task: PMAT-520'
status: completed
priority: medium
assigned_to: null
created: 2026-03-21T12:00:26.425355806+00:00
updated: 2026-03-21T12:07:13Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-521
github_issue: null
item_type: task
title: 'PMAT-521: provable-contracts Gate 4+5 — source verification + test execution'
status: inprogress
priority: critical
assigned_to: null
created: 2026-03-21T12:38:08Z
updated: 2026-04-04T19:59:14.056482280+00:00
spec: null
acceptance_criteria:
- 'provable-contracts pv lint has no source verification. Gate 4: resolve test: names against fn test_* in source, FAIL on missing. Gate 5: run cargo test on referenced tests, FAIL on failure. Parse tests_file/tests_module from Contract struct. Five Whys: audit_contract only checks YAML-internal consistency, never reads source code. Trueno: 85/105 contract tests missing, pv lint reports 0 findings.'
phases: []
subtasks: []
estimated_effort: null
labels:
- provable-contracts
- critical
notes: null
- id: PMAT-522
github_issue: null
item_type: task
title: 'PMAT-522: Escape-proof contract enforcement pipeline — build.rs codegen + Lean sorry check'
status: completed
priority: critical
assigned_to: null
created: 2026-03-21T15:10:03Z
updated: 2026-03-21T15:14:19Z
spec: null
acceptance_criteria:
- 'Implement the six-stage escape-proof pipeline from provable-contracts spec §13. build.rs reads YAML preconditions/postconditions and generates debug_assert!(). Lean sorry detection blocks compilation. #[contract] macro inserts generated assertions. pv lint Gate 5 enforces preconditions exist. pmat comply CB-1203 checks annotation coverage. Ref: provable-contracts/docs/specifications/sub/escape-proof-enforcement.md'
phases: []
subtasks: []
estimated_effort: null
labels:
- provable-contracts
- enforcement
notes: null
- id: PMAT-523
github_issue: null
item_type: task
title: 'PV-COMPAT: Implement pv-compatibility spec — align pmat with provable-contracts scoring'
status: completed
priority: medium
assigned_to: null
created: 2026-03-22T14:54:34Z
updated: 2026-03-22T15:15:55Z
spec: null
acceptance_criteria:
- 'Implement docs/specifications/pv-compatibility.md: P0 items first (CB-1201 use pv score dimensions, parse proof-status.json), then P1 (CB-1205 provability invariant, CD1-CD5 codebase scoring). Cargo install and dogfood after each change.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-524
github_issue: null
item_type: task
title: 'PV-COMPAT-P2: CB-1206 verification levels + drift detection + CD1-CD5 codebase scoring'
status: completed
priority: medium
assigned_to: null
created: 2026-03-22T15:18:21Z
updated: 2026-03-22T15:28:15Z
spec: null
acceptance_criteria:
- 'Remaining pv-compatibility items: CB-1206 verification level distribution, CD5 drift detection, CD1-CD5 codebase scoring in pmat score.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-525
github_issue: null
item_type: task
title: 'PV-COMPAT-FINAL: Drift detection (CD5) + SARIF pipeline + pv query integration'
status: completed
priority: medium
assigned_to: null
created: 2026-03-22T15:30:08Z
updated: 2026-03-22T15:43:43Z
spec: null
acceptance_criteria:
- 'Final pv-compatibility items: CD5 drift detection (contract freshness vs git), SARIF output from pv lint, pv query cross-project delegation.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-526
github_issue: null
item_type: task
title: 'PV-COMPAT-QUERY: pv query cross-project integration + score improvements'
status: completed
priority: medium
assigned_to: null
created: 2026-03-22T15:46:57Z
updated: 2026-03-22T15:57:49Z
spec: null
acceptance_criteria:
- 'Final pv-compatibility item: integrate pv query for cross-project contract search. Also improve PV Lint score by adding pmat''s own contracts for critical algorithms.'
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-527
github_issue: null
item_type: task
title: 'PV-COMPAT-FALSIFY: Falsify pv-compatibility implementation + bug hunt + fix pmat comply'
status: completed
priority: medium
assigned_to: null
created: 2026-03-22T16:04:56Z
updated: 2026-03-23T17:05:05Z
spec: null
acceptance_criteria:
- Falsify all 8 pv-compatibility implementations. Test edge cases, verify scoring is honest, hunt bugs across entire project, fix any pmat comply failures.
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-528
github_issue: null
item_type: task
title: 'CB-1305: Contract Surface Type Classification & Anti-Leak Gate'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T14:17:33Z
updated: 2026-04-02T14:32:56Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-529
github_issue: null
item_type: task
title: 'CB-1302/1310-1314: MCP schema contracts + PV extension classes'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T14:40:06Z
updated: 2026-04-02T14:47:47Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-530
github_issue: null
item_type: task
title: 'CB-1300 fix: unify OutputFormat + harden CB-1305 classifier'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T14:51:10Z
updated: 2026-04-02T14:59:49Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-531
github_issue: null
item_type: task
title: 'CB-1300 fix: converge 9 OutputFormat enums to ONE canonical type'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T15:01:31Z
updated: 2026-04-02T15:16:03Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-532
github_issue: null
item_type: task
title: 'CB-1302 fix: add doc comments to 25 MCP arg structs'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T15:16:50Z
updated: 2026-04-02T15:33:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-533
github_issue: null
item_type: task
title: 'Contract surfaces for presentar: TUI widget lifecycle + WASM FFI boundary'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T15:23:27Z
updated: 2026-04-02T15:33:54Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-534
github_issue: null
item_type: task
title: 'L5 enforcement: verification ladder check + fix upstream dep violations'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T15:35:44Z
updated: 2026-04-02T15:49:25Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-535
github_issue: null
item_type: task
title: 'Fix L5 violations: add lean_theorem to realizar + aprender contracts'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T15:52:14Z
updated: 2026-04-02T16:13:48Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-536
github_issue: null
item_type: task
title: 'Fix CB-1203: add contract macro to aprender::silu'
status: completed
priority: high
assigned_to: null
created: 2026-04-02T16:31:59Z
updated: 2026-04-02T16:33:49Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-537
github_issue: null
item_type: task
title: 'CB-1303 fix: add RUST_MIN_STACK to CI across sovereign stack'
status: completed
priority: medium
assigned_to: null
created: 2026-04-02T21:49:37Z
updated: 2026-04-02T21:55:18Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-538
github_issue: null
item_type: task
title: 'Clear final 2 WARNs: pv-contracts semantic leaks + aprender WASM docs'
status: completed
priority: medium
assigned_to: null
created: 2026-04-02T21:57:15Z
updated: 2026-04-02T22:06:30Z
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-539
github_issue: null
item_type: task
title: 'PMAT-032: Provable contracts §32-34 — 160 contracts, 27/27 sovereign stack'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-03T09:09:55Z
updated: 2026-04-04T19:59:14.392862560+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-033
github_issue: null
item_type: feature
title: 'CB-1400..1410: Agent contract-first enforcement checks (Refs PMAT-032)'
status: completed
priority: high
assigned_to: null
created: 2026-04-03T15:00:00Z
updated: 2026-04-03T09:24:32.466548128+00:00
spec: docs/specifications/components/agent-integration.md
acceptance_criteria:
- CB-1400 agent contract existence check implemented
- CB-1401 contract falsifiability validation
- CB-1402 verification level floor for autonomous agents
- CB-1403 assume-guarantee chain validation
- CB-1408 evidence command executability check
- CB-1409 no L0 autonomous code enforcement
- CB-1410 sub-agent contract composition check
- All checks integrated into handle_check() dispatcher
- Tests for each check (at least 2 per CB)
- Dogfood via apr-cli to verify cross-project enforcement
phases: []
subtasks: []
estimated_effort: 2d
labels:
- provable-contracts
- agent-enforcement
- comply
notes: null
- id: PMAT-280
github_issue: null
item_type: task
title: 'New task: PMAT-280'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-03T15:59:19.352111459+00:00
updated: 2026-04-03T15:59:19.352111459+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-541
github_issue: null
item_type: task
title: 'New task: PMAT-541'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-06T10:09:45.715161682+00:00
updated: 2026-04-06T10:09:45.715161682+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-600
github_issue: null
item_type: task
title: 'New task: PMAT-600'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T09:27:25.827966754+00:00
updated: 2026-04-08T09:27:25.827966754+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-601
github_issue: null
item_type: task
title: 'New task: PMAT-601'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T10:57:38.645122239+00:00
updated: 2026-04-08T10:57:38.645122239+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-602
github_issue: null
item_type: task
title: 'New task: PMAT-602'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T11:49:51.800281719+00:00
updated: 2026-04-08T11:49:51.800281719+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-603
github_issue: null
item_type: task
title: 'New task: PMAT-603'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T12:44:19.053880341+00:00
updated: 2026-04-08T12:44:19.053880341+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-604
github_issue: null
item_type: task
title: 'New task: PMAT-604'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T12:54:38.516642729+00:00
updated: 2026-04-08T12:54:38.516642729+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-605
github_issue: null
item_type: task
title: 'New task: PMAT-605'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T12:55:19.555327511+00:00
updated: 2026-04-08T12:55:19.555327511+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-606
github_issue: null
item_type: task
title: 'New task: PMAT-606'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T13:35:04.715955356+00:00
updated: 2026-04-08T13:35:04.715955356+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null
- id: PMAT-607
github_issue: null
item_type: task
title: 'New task: PMAT-607'
status: inprogress
priority: medium
assigned_to: null
created: 2026-04-08T13:56:47.133199432+00:00
updated: 2026-04-08T13:56:47.133199432+00:00
spec: null
acceptance_criteria: []
phases: []
subtasks: []
estimated_effort: null
labels: []
notes: null