TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/SESSION-COVERAGE-20261026.json Original file SHA-256: c5291cf618a4da526c5083ce826897d67c6ca5f7344e08d3f50e9ca5e1da7935 Inclusive original lines: 1-40 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 | "schema_version": 1, 000003 | "atlas_revision": "26023b7e4b3311de351d2115", 000004 | "scope": "Current local investigation artifacts plus current source integrity of all reviewed Atlas findings. No proof replay.", 000005 | "finding_count": 388, 000006 | "source_reference_count": 1185, 000007 | "unique_source_count": 497, 000008 | "source_errors": [], 000009 | "findings": [ 000010 | { 000011 | "problem_id": "problem:future-quotient-and-gns-reconstruction", 000012 | "id": "finding:future-equivalence-minimizes-declared-answer-process", 000013 | "title": { 000014 | "de": "Vollständige Antworten bestimmen den minimalen Prozessquotienten", 000015 | "en": "Complete answers determine the minimal process quotient" 000016 | }, 000017 | "status": "established_scoped", 000018 | "sources": [ 000019 | { 000020 | "path": "experiments/theory-contracts/universalraum-primitive-source-audit-20260915/RESULTS.md", 000021 | "sha256": "ae9880339326e402dee9783185defc0671bdec430a777d961d54e7636335aa80", 000022 | "line_start": 109, 000023 | "line_end": 144, 000024 | "exists": true, 000025 | "hash_matches": true, 000026 | "line_range_valid": true 000027 | } 000028 | ], 000029 | "attempt_ids": [ 000030 | "contract:universalraum-primitive-source-audit-20260915" 000031 | ] 000032 | }, 000033 | { 000034 | "problem_id": "problem:future-quotient-and-gns-reconstruction", 000035 | "id": "finding:positive-word-kernel-reconstructs-cyclic-gns", 000036 | "title": { 000037 | "de": "Positiver nullstabiler Wortkern rekonstruiert zyklische Darstellung", 000038 | "en": "Positive null-stable word kernel reconstructs cyclic representation" 000039 | }, 000040 | "status": "conditional",