{
  "work_item_id": "PMAT-806",
  "created_at": "2026-02-05T15:12:36.897455206Z",
  "baseline_commit": "0e4f015b8036b6ddfe26483b68594abd539ede58",
  "baseline_tdg": 0.0,
  "baseline_coverage": 0.0,
  "baseline_rust_score": 0.0,
  "baseline_file_manifest": {
    "files": {},
    "coverage_required": [],
    "manifest_hash": ""
  },
  "thresholds": {
    "min_coverage_pct": 95.0,
    "min_per_file_coverage_pct": 95.0,
    "max_tdg_regression": 0.0,
    "max_function_complexity": 20,
    "max_file_lines": 500,
    "min_spec_score": 95,
    "require_github_sync": true,
    "require_spec_update": true,
    "require_roadmap_update": true,
    "block_on_new_satd": true,
    "block_on_new_dead_code": true,
    "require_lint_pass": true
  },
  "claims": [
    {
      "hypothesis": "All baseline files still exist",
      "falsification_method": "ManifestIntegrity",
      "evidence_required": {
        "FileList": []
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "The falsifier is active and detecting (Meta-Check)",
      "falsification_method": "MetaFalsification",
      "evidence_required": {
        "CounterExample": {
          "details": ""
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No coverage exclusion gaming",
      "falsification_method": "CoverageGaming",
      "evidence_required": {
        "FileList": []
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "All changed lines are covered",
      "falsification_method": "DifferentialCoverage",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 100.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "Total coverage >= 95%",
      "falsification_method": "AbsoluteCoverage",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 95.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "TDG score >= baseline",
      "falsification_method": "TdgRegression",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 0.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No function exceeds complexity 20",
      "falsification_method": "ComplexityRegression",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 20.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No vulnerable dependencies added",
      "falsification_method": "SupplyChainIntegrity",
      "evidence_required": {
        "CounterExample": {
          "details": ""
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No file exceeds 500 lines",
      "falsification_method": "FileSizeRegression",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 500.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "Spec & Roadmap Quality",
      "falsification_method": "SpecQuality",
      "evidence_required": {
        "NumericComparison": {
          "actual": 0.0,
          "threshold": 95.0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "All changes pushed",
      "falsification_method": "GitHubSync",
      "evidence_required": {
        "GitState": {
          "unpushed_commits": 0,
          "dirty_files": 0
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "All examples compile and run",
      "falsification_method": "ExamplesCompile",
      "evidence_required": {
        "CounterExample": {
          "details": ""
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "pmat-book validation passes",
      "falsification_method": "BookValidation",
      "evidence_required": {
        "CounterExample": {
          "details": ""
        }
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No new SATD markers (TODO/FIXME/HACK)",
      "falsification_method": "SatdDetection",
      "evidence_required": {
        "FileList": []
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "No new dead code introduced",
      "falsification_method": "DeadCodeDetection",
      "evidence_required": {
        "FileList": []
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "All files have >= 95% coverage",
      "falsification_method": "PerFileCoverage",
      "evidence_required": {
        "FileList": []
      },
      "result": null,
      "override_info": null
    },
    {
      "hypothesis": "make lint passes",
      "falsification_method": "LintPass",
      "evidence_required": {
        "BooleanCheck": false
      },
      "result": null,
      "override_info": null
    }
  ]
}