{
  "date": "2026-10-02",
  "candidate": "6053dc28a88bc2a7eaa968295987516903898766",
  "scope": "Local branches/tags and freshly fetched origin refs; hosted assets/settings not accessible with unauthenticated GitHub CLI. Filenames alone do not certify content rights.",
  "refs": [
    "refs/heads/boolean-dag-bounded-flattening ea490f5989c1d129750218e17f01ceb688c3f30d",
    "refs/heads/convex-no-qflra-integration c1a8288a0b1f27a18797f264748ed58f05f27e27",
    "refs/heads/docs/public-repository-migration 6053dc28a88bc2a7eaa968295987516903898766",
    "refs/heads/feature/assumptions-qf-uf 7a98245537086042abae2d89bc9f8f30fe2c261c",
    "refs/heads/feature/incremental-smt-sessions 5d930be12905cd45f9b853d065a1db414ce327f2",
    "refs/heads/fix-python-lint-baseline 75100569de1dbcce01cd47cd8dd4de5476e7d93b",
    "refs/heads/lra-atom-canonicalization f628dbb821d537126f1873213ae2515346538a05",
    "refs/heads/main b936ecc3a02be5785bcbeae6ba9808a3bbbb4c3b",
    "refs/heads/modular-theory-combination 9803d1a9d0bbef66f46bfcc36e863e34460268be",
    "refs/heads/nelson-oppen-closure-methods 34c3d154aa3417709b279742aaaf020f5dd5535e",
    "refs/heads/nelson-oppen-online-lazy-ipasir-up 184e08ec8bb26461846954ec9a5c9012ce95e129",
    "refs/heads/perf/incremental-uf-atom-scans 3a96e86831ce0195c6f47e1e9d32860a3ded236a",
    "refs/heads/preprocessing-option-names d910dcc737c42c0c4e67fe3e9cf09713a5944d0e",
    "refs/heads/qf-lra-planning da757f6564293ac6db560a45ec561f87ae0f9fe9",
    "refs/heads/qf-uf-structural-preprocessing ca77b49e9e35adb815e4f0fa95758a94344f4ae8",
    "refs/heads/qf-uflra-live-euf-model-state a41a9c459d89bd4ae349d8160e685e699d8f4a5e",
    "refs/heads/qf-uflra-model-unit-equalities 1dfeaa2c8f381b49cfe95cf2d8412bd7a596ad8e",
    "refs/heads/qfuf-disequality-prop-heuristics b840ee16289bb97e7df17921b456f4817f2532b0",
    "refs/heads/qfuf-dynack-tune f83828fc2ec7e1b8932bb65c50aca5926f9a6d8e",
    "refs/heads/qfuf-fuzz-doc-review c81319e0e50831d07ef1c1be22b27bc071d8a678",
    "refs/heads/quantifiers 42a9915dd0b2807fc96f57da96991a3b3341fa93",
    "refs/heads/reconcile-model-construction 99053f9b0ec4869f8a4f73657fe4e4163ea0a808",
    "refs/heads/safety/main-before-origin-merge-20260804 2daeb527db4db557de3e03fc0bb3cba7920eaa7f",
    "refs/heads/sat-ipasir-up-interface 2daeb527db4db557de3e03fc0bb3cba7920eaa7f",
    "refs/heads/tactics 4090250793a158ee54faf23f2b75d4c8d93488c2",
    "refs/remotes/origin/HEAD ac0daf4987281fa33d5e438bacdbaf2492607a03",
    "refs/remotes/origin/boolean-dag-bounded-flattening 3b9435cc2887ecc2742bf1e6407b19f3d90b44c8",
    "refs/remotes/origin/cli-option-groups 8621237801b16475e85c46db006bc3ad8a061c89",
    "refs/remotes/origin/convex-no-qflra-integration a57ce362a164e3f63f49360af7c9b027429bf1c3",
    "refs/remotes/origin/docs-euf-regression de54e89486ac8dc166b41c1a4a43a54046b293c2",
    "refs/remotes/origin/docs/public-repository-migration 0c5ab6f9667177dee0f13cfccf536abd2dfd1058",
    "refs/remotes/origin/euf-conflict-online-livelock cf6e411344064e6a1100814b0ded12db25d2c19f",
    "refs/remotes/origin/euf-explain-lca-ancestor-stamp 02927675e8ed9ca60bd623c315d00033879b205b",
    "refs/remotes/origin/eval-2026-08-report 28e160db4f9adab69ecc11adcb9d337be082f5a0",
    "refs/remotes/origin/feature/assumptions-qf-uf fa2fe5c2d03afaf20e5496f2f3e4ced9fd2526ac",
    "refs/remotes/origin/feature/incremental-smt-sessions 5d930be12905cd45f9b853d065a1db414ce327f2",
    "refs/remotes/origin/integration-2026-08-eval 8cd7181acc4ece155cd68a48549e308030775814",
    "refs/remotes/origin/main ac0daf4987281fa33d5e438bacdbaf2492607a03",
    "refs/remotes/origin/merged-qflra-main fb3c8753726b6a9300622c715d0ae0bd6448e34c",
    "refs/remotes/origin/mixed-model-equality-dedup e7bccb117a0a998b0e6b1f59e9570d25714942be",
    "refs/remotes/origin/modular-theory-combination d4e604eb57a5f0c5809172149a5b15b205e0d8ef",
    "refs/remotes/origin/nelson-oppen-adaptive-model-mutation e1204c316a30a100090b851b6913c9ae5c6b9b3c",
    "refs/remotes/origin/nelson-oppen-class-equality-transitivity 5fae33d3931de6aa1edcda349b8836c732ac8e30",
    "refs/remotes/origin/nelson-oppen-closure-methods 34c3d154aa3417709b279742aaaf020f5dd5535e",
    "refs/remotes/origin/nelson-oppen-cursor-and-guard bf0b13749b67cc18f370f931eadc417aa6ad0ab9",
    "refs/remotes/origin/nelson-oppen-online-lazy-ipasir-up f53e265f489c5f8884ef4b4195fd67ddc5d0ad72",
    "refs/remotes/origin/perf/incremental-uf-atom-scans 3a96e86831ce0195c6f47e1e9d32860a3ded236a",
    "refs/remotes/origin/qf-lia-branch-and-bound b4d32219e5aaf99c68941fd9da7fb6832241cabf",
    "refs/remotes/origin/qf-lra-paper-backtracking c29ed092c1942911b5850b0dbd4b3381acce833c",
    "refs/remotes/origin/qf-lra-planning 88c94c2bc1d7f8b4ed6458ddfa199ee6a910d23d",
    "refs/remotes/origin/qf-lra-presimp-census f98cdcb82fdc296b8bf16191b87c2885a1d1f446",
    "refs/remotes/origin/qf-uf-structural-preprocessing c5b4b165ace5993e147d3032c1b51b918fa520c7",
    "refs/remotes/origin/qf-uflra-live-euf-model-state dae4cc5ad4099253dd99ebd7628fa951d28a499a",
    "refs/remotes/origin/qf-uflra-model-unit-equalities 1dfeaa2c8f381b49cfe95cf2d8412bd7a596ad8e",
    "refs/remotes/origin/qflra-model-mutation 1a15b8b44df17eb4ffa265d3d72e24eaff7c4e3d",
    "refs/remotes/origin/qflra-no-equality-sharing 5896f6c8666d8f1d33501b8ca5b58c86b33c4e5e",
    "refs/remotes/origin/qflra-soi-minimize-order 0d73973d4d2215091827765de7665424ef3099fa",
    "refs/remotes/origin/qflra-tropical-investigation 69f55749fcdf640f14c699be7d08a3fa4fe52029",
    "refs/remotes/origin/qflra-tropical-t1-propagation 7a99dba257adfc96a4b432cfda7bbbe70b761486",
    "refs/remotes/origin/qfuf-disequality-prop-heuristics 6356043c2cd05904cd45bd5f7cf236cf24da8c51",
    "refs/remotes/origin/quantifiers 42a9915dd0b2807fc96f57da96991a3b3341fa93",
    "refs/remotes/origin/tactics 4387cef7d0f4307d4b5c68e936592b257950f6b8",
    "refs/stash 2cd412086c5c2aaaf19a6a598c2409f453c13f19",
    "refs/tags/docs-before-restructure-2026-09-24 9865c1bfaa6a4b52ea03edfcb4b498271755d1d8",
    "refs/tags/v0.1.0 eeafab36af81419892ea55ad41f76b9417f0da2e",
    "refs/tags/v0.2.0 102f2b90b1b2e02ad27acd2ac0bcde2ee72106e8"
  ],
  "named_history_paths": 1780,
  "pdf_or_reading_paths": [],
  "gitleaks": {
    "version": "8.30.1",
    "command": "gitleaks git --redact=100 --log-opts=--all --report-format json --report-path results/public-launch/gitleaks.json",
    "commits_scanned": 1481,
    "bytes_scanned": 57804125,
    "detections": 0
  },
  "unresolved": [
    "Institutional/contributor publication authorization",
    "Publication terms for 19 imported SMT-LIB files",
    "Hosted branches/attachments/release assets/Actions-log review through owner account"
  ],
  "documentation_asset_notices": {
    "status": "collected and bundled with generated HTML",
    "collector": "scripts/collect_doc_notices.py",
    "manifest": "_static/licenses/index.json",
    "details": "Installed package notices and hashes; theme assets retain embedded license notices."
  },
  "followup_scan": {
    "head": "cebb6c2525fbe2cf4bd00a14108b2f34e92e7964",
    "commits_scanned": 1487,
    "bytes_scanned": 57934955,
    "detections": 0,
    "report": "results/public-launch/gitleaks-final.json",
    "scope": "All named local/fetched refs; final artifact-checksum record is subsequent to this scan."
  }
}