TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_origin_derivation_20261029/LEAN-RESULT.txt
Original file SHA-256: fec7f3725f3a8b0e0720301f4eca3116bbc87eef52834a683554306b579ad97a
Inclusive original lines: 1-15
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 | Observed Lean execution, 2026-10-29
000002 | 
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 | [OMITTED: non-scientific conversation or execution metadata]
000005 | [OMITTED: non-scientific conversation or execution metadata]
000006 | [OMITTED: non-scientific conversation or execution metadata]
000007 | [OMITTED: non-scientific conversation or execution metadata]
000008 | 
000009 | Exit code: 0
000010 | Output:
000011 | 'TfptSourceOrigin.positive_gap_blocks_half_scaling' depends on axioms: [propext, Classical.choice, Quot.sound]
000012 | 
000013 | Scope: the spectral-set implication only. The written Stone/spectrum argument
000014 | and identification of the existing full quarter source gap are not claimed
000015 | formalized by this one theorem. No full TFPT proof or new physical axiom.