{
  "remote_commit": "c456cedba8c2a8f639f7ee614f8b01dbd49cb4f4",
  "matched_files": [
    "Audit.lean",
    "FullAudit.lean",
    "HalftimeAudit.lean",
    "ProvenHashes.lean",
    "ProvenHashes/Composition.lean",
    "ProvenHashes/Decoder.lean",
    "ProvenHashes/Halftime/Construction.lean",
    "ProvenHashes/Halftime/EHC.lean",
    "ProvenHashes/Halftime/Encoding.lean",
    "ProvenHashes/Halftime/EndToEnd.lean",
    "ProvenHashes/Halftime/Forest.lean",
    "ProvenHashes/Halftime/IntegerNH.lean",
    "ProvenHashes/Halftime/Matrices.lean",
    "ProvenHashes/Halftime/MatrixFibre.lean",
    "ProvenHashes/Halftime/Normalization.lean",
    "ProvenHashes/Halftime/Probability.lean",
    "ProvenHashes/Halftime/Projections.lean",
    "ProvenHashes/Halftime/SharpT2.lean",
    "ProvenHashes/Halftime/SharpTruncation.lean",
    "ProvenHashes/Halftime/StyleBytes.lean",
    "ProvenHashes/Halftime/StyleCore.lean",
    "ProvenHashes/Halftime/StyleLanes.lean",
    "ProvenHashes/Halftime/StyleLayout.lean",
    "ProvenHashes/Halftime/StyleModel.lean",
    "ProvenHashes/Halftime/StyleSchedule.lean",
    "ProvenHashes/Halftime/Survival.lean",
    "ProvenHashes/Halftime/Toeplitz.lean",
    "ProvenHashes/Halftime/Truncation.lean",
    "ProvenHashes/Halftime/WordPacking.lean",
    "ProvenHashes/Halftime/Wrapper.lean",
    "ProvenHashes/MultiplyShift.lean",
    "ProvenHashes/NH.lean",
    "ProvenHashes/Polynomial.lean",
    "ProvenHashes/Probability.lean",
    "ProvenHashes/Recurrence.lean",
    "ProvenHashes/Tabulation.lean",
    "lake-manifest.json",
    "lakefile.toml",
    "lean-toolchain"
  ],
  "all_match": true
}