TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/verification_recovery_20261029/coverage-summary.json
Original file SHA-256: da8868a638a387da37cf606541a0d5e622a0637f3a3b0905068adc1145a4fb32
Inclusive original lines: 1-20
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "registry_count": 707,
000003 |   "registry_unique": 707,
000004 |   "ledger_count": 788,
000005 |   "ledger_active": 783,
000006 |   "top_level_verification_modules": 707,
000007 |   "registered_missing": [],
000008 |   "top_level_unregistered": [],
000009 |   "scanned_source_files": 3108,
000010 |   "language_counts": {
000011 |     "py": 3019,
000012 |     "lean": 85,
000013 |     "wl": 4,
000014 |     "wls": 0
000015 |   },
000016 |   "source_bridge_candidate_files": 1850,
000017 |   "candidate_ledger_rows": 362,
000018 |   "ast_parse_errors": [],
000019 |   "coverage_scope": "All Python/Lean/Wolfram source under verification, experiments, lean, proofs; build/vendor/RH excluded. Lexical screening and AST flags are not proof review. No suite executed."
000020 | }