{
  "id": "019d60f0-4524-7123-a20e-75a3d6e617e0",
  "git_sha": "fffe11f6247a781cd6fc8075c8685e664a3361ad",
  "timestamp": "2026-04-06T03:57:32.324018765+00:00",
  "trigger": "WorkComplete",
  "work_item_id": "PMAT-021",
  "verdicts": [
    {
      "hypothesis": "All baseline files still exist",
      "method": "ManifestIntegrity",
      "falsified": false,
      "is_blocking": true,
      "explanation": "All 1578 files present",
      "evidence_summary": null
    },
    {
      "hypothesis": "The falsifier is active and detecting (Meta-Check)",
      "method": "MetaFalsification",
      "falsified": false,
      "is_blocking": true,
      "explanation": "Detected dummy gaming pattern correctly",
      "evidence_summary": null
    },
    {
      "hypothesis": "No coverage exclusion gaming",
      "method": "CoverageGaming",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No gaming patterns found in 1578 files",
      "evidence_summary": null
    },
    {
      "hypothesis": "All changed lines are covered",
      "method": "DifferentialCoverage",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No Rust files changed",
      "evidence_summary": null
    },
    {
      "hypothesis": "Total coverage >= 95%",
      "method": "AbsoluteCoverage",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No coverage data (run 'make coverage' to establish baseline), threshold: 95.0%",
      "evidence_summary": null
    },
    {
      "hypothesis": "TDG score >= baseline",
      "method": "TdgRegression",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No TDG data (baseline: 0.0)",
      "evidence_summary": null
    },
    {
      "hypothesis": "No function exceeds complexity 20",
      "method": "ComplexityRegression",
      "falsified": false,
      "is_blocking": true,
      "explanation": "Complexity check passed",
      "evidence_summary": null
    },
    {
      "hypothesis": "No vulnerable dependencies added",
      "method": "SupplyChainIntegrity",
      "falsified": true,
      "is_blocking": true,
      "explanation": "No deny cache. Run 'cargo deny check' first (O(1) requirement)",
      "evidence_summary": "BooleanCheck(false)"
    },
    {
      "hypothesis": "No file exceeds 500 lines",
      "method": "FileSizeRegression",
      "falsified": true,
      "is_blocking": true,
      "explanation": "65 file(s) exceed 500 lines: src/bin/trueno_monitor/render.rs (590 lines), src/tiling/tests/geometry_and_config.rs (927 lines), src/backends/gpu/shaders/backward.rs (664 lines), src/backends/gpu/shaders/advanced.rs (535 lines), src/backends/gpu/shaders/basic_ops.rs (1185 lines), src/backends/gpu/device/linalg/wgsl_forward.rs (1922 lines), src/backends/gpu/device/backward.rs (1479 lines), src/backends/avx512/mod.rs (518 lines), src/contract_tests_image.rs (1176 lines), src/generated_contracts.rs (24462 lines), src/contract_tests.rs (1076 lines), src/brick/exec_graph/tests/slowest_kernel.rs (880 lines), src/brick/exec_graph/tests/analysis.rs (717 lines), src/brick/exec_graph/node/stats.rs (801 lines), src/brick/attention.rs (927 lines), src/brick/kv_cache/tests.rs (583 lines), src/blis/compute.rs (2116 lines), src/blis/transpose.rs (518 lines), src/blis/elementwise.rs (989 lines), src/blis/gemv.rs (767 lines), src/blis/microkernels/avx2.rs (591 lines), src/blis/norms.rs (656 lines), src/tuner/tests/coverage/gap_coverage.rs (814 lines), src/matrix/ops/arithmetic.rs (955 lines), src/contract_tests_linalg.rs (927 lines), src/lib.rs (518 lines), src/vector/tests/unit/activation/core_activations/clip_softmax.rs (538 lines), src/vector/ops/transcendental/tests.rs (528 lines), src/activations.rs (556 lines), src/eigen/tests.rs (502 lines), crates/trueno-image/src/tests.rs (1077 lines), crates/trueno-fft/src/tests.rs (845 lines), crates/trueno-sparse/src/tests.rs (833 lines), crates/cgp/src/analysis/contracts.rs (542 lines), crates/cgp/src/analysis/roofline.rs (712 lines), crates/cgp/src/profilers/cuda.rs (969 lines), crates/cgp/tests/falsify.rs (1126 lines), crates/cgp/tests/integration.rs (561 lines), crates/trueno-solve/src/tests.rs (1017 lines), crates/trueno-solve/src/blas3.rs (515 lines), trueno-gpu/src/memory/resident/ops_tests/attention/incremental_errors.rs (516 lines), trueno-gpu/src/ptx/builder/emit/memory.rs (547 lines), trueno-gpu/src/ptx/parity/tests.rs (599 lines), trueno-gpu/src/kernels/quantize/nf4.rs (692 lines), trueno-gpu/src/kernels/quantize/fused_gemm.rs (696 lines), trueno-gpu/src/kernels/quantize/tests/q4k_basic.rs (501 lines), trueno-gpu/src/kernels/quantize/fp16_tensor/interleaved_wmma_gemm.rs (501 lines), trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_qkv_hw_dp4a.rs (542 lines), trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_fp32_dp4a.rs (571 lines), trueno-gpu/src/kernels/quantize/q4k/coalesced/inline_q8_dp4a.rs (541 lines), trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_gate_up_swiglu_hw_dp4a.rs (552 lines), trueno-gpu/src/kernels/quantize/q4k/dequant.rs (666 lines), trueno-gpu/src/kernels/elementwise/residual.rs (658 lines), trueno-gpu/src/kernels/tests/fusion_contract_falsify.rs (563 lines), trueno-gpu/src/kernels/backward/rms_norm.rs (562 lines), trueno-gpu/src/kernels/backward/gemm.rs (1181 lines), trueno-gpu/src/kernels/backward/cross_entropy.rs (791 lines), trueno-gpu/src/kernels/gemm/basic/tensor_core/cta64_wmma.rs (900 lines), trueno-gpu/src/kernels/gemm/basic/tensor_core/cta_wmma.rs (701 lines), trueno-gpu/src/driver/sys/mod.rs (744 lines), trueno-gpu/src/driver/cublaslt.rs (650 lines), trueno-gpu/src/driver/memory/transfer.rs (506 lines), trueno-gpu/src/driver/cublas.rs (734 lines), trueno-gpu/src/driver/cublas_tests.rs (1188 lines), trueno-gpu/src/driver/module.rs (519 lines)",
      "evidence_summary": "FileList([\"src/bin/trueno_monitor/render.rs\", \"src/tiling/tests/geometry_and_config.rs\", \"src/backends/gpu/shaders/backward.rs\", \"src/backends/gpu/shaders/advanced.rs\", \"src/backends/gpu/shaders/basic_ops.rs\", \"src/backends/gpu/device/linalg/wgsl_forward.rs\", \"src/backends/gpu/device/backward.rs\", \"src/backends/avx512/mod.rs\", \"src/contract_tests_image.rs\", \"src/generated_contracts.rs\", \"src/contract_tests.rs\", \"src/brick/exec_graph/tests/slowest_kernel.rs\", \"src/brick/exec_graph/tests/analysis.rs\", \"src/brick/exec_graph/node/stats.rs\", \"src/brick/attention.rs\", \"src/brick/kv_cache/tests.rs\", \"src/blis/compute.rs\", \"src/blis/transpose.rs\", \"src/blis/elementwise.rs\", \"src/blis/gemv.rs\", \"src/blis/microkernels/avx2.rs\", \"src/blis/norms.rs\", \"src/tuner/tests/coverage/gap_coverage.rs\", \"src/matrix/ops/arithmetic.rs\", \"src/contract_tests_linalg.rs\", \"src/lib.rs\", \"src/vector/tests/unit/activation/core_activations/clip_softmax.rs\", \"src/vector/ops/transcendental/tests.rs\", \"src/activations.rs\", \"src/eigen/tests.rs\", \"crates/trueno-image/src/tests.rs\", \"crates/trueno-fft/src/tests.rs\", \"crates/trueno-sparse/src/tests.rs\", \"crates/cgp/src/analysis/contracts.rs\", \"crates/cgp/src/analysis/roofline.rs\", \"crates/cgp/src/profilers/cuda.rs\", \"crates/cgp/tests/falsify.rs\", \"crates/cgp/tests/integration.rs\", \"crates/trueno-solve/src/tests.rs\", \"crates/trueno-solve/src/blas3.rs\", \"trueno-gpu/src/memory/resident/ops_tests/attention/incremental_errors.rs\", \"trueno-gpu/src/ptx/builder/emit/memory.rs\", \"trueno-gpu/src/ptx/parity/tests.rs\", \"trueno-gpu/src/kernels/quantize/nf4.rs\", \"trueno-gpu/src/kernels/quantize/fused_gemm.rs\", \"trueno-gpu/src/kernels/quantize/tests/q4k_basic.rs\", \"trueno-gpu/src/kernels/quantize/fp16_tensor/interleaved_wmma_gemm.rs\", \"trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_qkv_hw_dp4a.rs\", \"trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_fp32_dp4a.rs\", \"trueno-gpu/src/kernels/quantize/q4k/coalesced/inline_q8_dp4a.rs\", \"trueno-gpu/src/kernels/quantize/q4k/coalesced/fused_gate_up_swiglu_hw_dp4a.rs\", \"trueno-gpu/src/kernels/quantize/q4k/dequant.rs\", \"trueno-gpu/src/kernels/elementwise/residual.rs\", \"trueno-gpu/src/kernels/tests/fusion_contract_falsify.rs\", \"trueno-gpu/src/kernels/backward/rms_norm.rs\", \"trueno-gpu/src/kernels/backward/gemm.rs\", \"trueno-gpu/src/kernels/backward/cross_entropy.rs\", \"trueno-gpu/src/kernels/gemm/basic/tensor_core/cta64_wmma.rs\", \"trueno-gpu/src/kernels/gemm/basic/tensor_core/cta_wmma.rs\", \"trueno-gpu/src/driver/sys/mod.rs\", \"trueno-gpu/src/driver/cublaslt.rs\", \"trueno-gpu/src/driver/memory/transfer.rs\", \"trueno-gpu/src/driver/cublas.rs\", \"trueno-gpu/src/driver/cublas_tests.rs\", \"trueno-gpu/src/driver/module.rs\"])"
    },
    {
      "hypothesis": "Spec & Roadmap Quality",
      "method": "SpecQuality",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No spec file found (optional)",
      "evidence_summary": null
    },
    {
      "hypothesis": "All changes pushed",
      "method": "GitHubSync",
      "falsified": true,
      "is_blocking": true,
      "explanation": "4 uncommitted file(s)",
      "evidence_summary": "GitState { unpushed_commits: 0, dirty_files: 4 }"
    },
    {
      "hypothesis": "All examples compile and run",
      "method": "ExamplesCompile",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No examples cache (run 'cargo build --examples' to populate)",
      "evidence_summary": null
    },
    {
      "hypothesis": "pmat-book validation passes",
      "method": "BookValidation",
      "falsified": false,
      "is_blocking": true,
      "explanation": "pmat-book not found (skipping validation)",
      "evidence_summary": null
    },
    {
      "hypothesis": "No new SATD markers (TODO/FIXME/HACK)",
      "method": "SatdDetection",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No new SATD markers (0 existing)",
      "evidence_summary": null
    },
    {
      "hypothesis": "No new dead code introduced",
      "method": "DeadCodeDetection",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No dead code detected",
      "evidence_summary": null
    },
    {
      "hypothesis": "All files have >= 95% coverage",
      "method": "PerFileCoverage",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No per-file coverage data (run 'make coverage'), threshold: 95.0%",
      "evidence_summary": null
    },
    {
      "hypothesis": "make lint passes",
      "method": "LintPass",
      "falsified": true,
      "is_blocking": true,
      "explanation": "No lint cache. Run 'make lint' first (O(1) requirement)",
      "evidence_summary": "BooleanCheck(false)"
    },
    {
      "hypothesis": "All match arm variants have test coverage",
      "method": "VariantCoverage",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No Rust files changed",
      "evidence_summary": null
    },
    {
      "hypothesis": "No fix-after-fix chains exceed limit",
      "method": "FixChainLimit",
      "falsified": false,
      "is_blocking": true,
      "explanation": "No fix chains > 3 consecutive commits",
      "evidence_summary": null
    },
    {
      "hypothesis": "Cross-crate integration tests pass",
      "method": "CrossCrateParity",
      "falsified": false,
      "is_blocking": false,
      "explanation": "No cross-crate config (create .pmat-work/cross-crate.json to enable)",
      "evidence_summary": null
    },
    {
      "hypothesis": "No performance regressions detected",
      "method": "RegressionGate",
      "falsified": false,
      "is_blocking": false,
      "explanation": "No benchmark cache (run benchmarks to populate .pmat-metrics/benchmark-status.json)",
      "evidence_summary": null
    },
    {
      "hypothesis": "No incomplete proofs (sorry) introduced",
      "method": "FormalProofVerification",
      "falsified": false,
      "is_blocking": false,
      "explanation": "No .lean files with sorry found",
      "evidence_summary": null
    }
  ],
  "overrides": [],
  "summary": {
    "total": 22,
    "passed": 18,
    "failed": 4,
    "warnings": 0,
    "overridden": 0,
    "allows_completion": false,
    "health_score": 0.8181818181818182
  },
  "content_hash": "7c75bd997360110ed2a7f3c54bd6ff8063da0102af6b5fa2bb897c0f55e3720f"
}