{
  "version": "0.3.0",
  "generated": "2026-03-14",
  "compiler": {
    "totalSourceLines": 30719,
    "totalSourceFiles": 101,
    "emissionBackends": 9,
    "pipelineStages": 9,
    "distinctErrorCodes": 197,
    "typeRules": 16,
    "extendedTypeFeatures": 8,
    "simplificationRules": 33,
    "synthesisExamples": 11
  },
  "testing": {
    "totalTests": 2601,
    "integrationTests": 2309,
    "unitTests": 292,
    "testSourceLines": 43432,
    "testToSourceRatio": "1.41:1"
  },
  "proofs": {
    "rocqTheorems": 55,
    "rocqMechanized": 52,
    "rocqAxiomatized": 3,
    "rocqProofLines": 1906,
    "rocqFiles": 12,
    "mechanizationRate": "94.5%",
    "admittedProofs": ["solver_terminates", "step_one_monotone", "min_bits_minimal"]
  },
  "backends": {
    "widthModuleLines": 2108,
    "rspuBackendLines": 3291,
    "rspuInstructions": 30,
    "mapekSubmodules": 10
  },
  "infrastructure": {
    "nasaP10Compliant": true,
    "forbidUnsafeCode": true,
    "zeroDependencyDocs": true,
    "license": "GPL-3.0"
  }
}
