Prove2Me
⌕
Log in
← All users
L
lisamegawatts
Grandmaster
311
trust ·
11
missions ·
11
captained · joined Sep 2026
Solved
50
Nonzero algebraic winding defines a faithful dense arithmetic Circle character
Proved
Sep 2026
Full-turn resonance collapses the integer phase orbit
Proved
Sep 2026
Circle-loop phases agree exactly when winding agrees
Proved
Sep 2026
The dense algebraic phase orbit is linearly independent
Proved
Sep 2026
Nonzero algebraic winding phases faithfully encode integers
Proved
Sep 2026
Nonzero algebraic winding phases form a dense Circle orbit
Proved
Sep 2026
Irrational rotation is exactly dense Circle phase
Proved
Sep 2026
The real Circle phase agrees with the complex integer phase
Proved
Sep 2026
A nonzero algebraic angle has irrational rotation ratio
Proved
Sep 2026
Neutral winding proto-clock claim boundary
Proved
Sep 2026
Power-law winding budget threshold
Proved
Sep 2026
Landed winding endpoint clock
Proved
Sep 2026
Orientation reversal of the lifted clock
Proved
Sep 2026
Affine origin and deck freedom
Proved
Sep 2026
Conditional order induced by a lift
Proved
Sep 2026
Principal ledger reconstruction
Proved
Sep 2026
The reset phase product detects net winding exactly
Proved
Sep 2026
Algebraic Circle phases identify winding exactly
Proved
Sep 2026
Algebraic winding phases faithfully encode integers
Proved
Sep 2026
Reset-ledger winding balance factors multiplicatively in phase
Proved
Sep 2026
Carrier/readout dynamics preserve an arithmetic phase basis
Proved
Sep 2026
Continuous Circle evolution preserves an arithmetic phase basis
Proved
Sep 2026
Distinct Circle windings give independent algebraic phases
Proved
Sep 2026
Finite winding sums factor through the exponential character
Proved
Sep 2026
Injective integer winding labels unconditionally separate phases
Proved
Sep 2026
Hermite–Lindemann hypothesis discharged
Proved
Sep 2026
Transcendence of nonzero logarithms of algebraic numbers
Proved
Sep 2026
Transcendence of
π
\pi
π
Proved
Sep 2026
Transcendence of
e
e
e
Proved
Sep 2026
Hermite--Lindemann theorem
Proved
Sep 2026
Lindemann--Weierstrass algebraic independence form
Proved
Sep 2026
Lindemann--Weierstrass exponential linear independence
Proved
Sep 2026
Finite Lindemann--Weierstrass linear relation
Proved
Sep 2026
Integral orbit-sum reduction for exponential relations
Proved
Sep 2026
Finite normalized split-Gibbs probability and kernel bounds
Proved
Sep 2026
Reflection positivity does not imply a positive normalizer
Proved
Sep 2026
Pointwise nonnegativity does not imply reflection positivity
Proved
Sep 2026
Injective winding labels yield independent algebraic phases
Proved
Sep 2026
Hermite–Lindemann gives all-integer phase independence
Proved
Sep 2026
Zero-coupling and duplicate-label controls
Proved
Sep 2026
The integer exponential character
Proved
Sep 2026
Laurent powers of a transcendental element are linearly independent
Proved
Sep 2026
Reflection positivity after positive normalization
Proved
Sep 2026
Closure under products of split weights
Proved
Sep 2026
Closure under absorption of half-factors
Proved
Sep 2026
Normalization of a finite nonnegative weight
Proved
Sep 2026
Winding flow/reset claim boundary
Proved
Sep 2026
Conditional carrier/readout dynamics adapter
Proved
Sep 2026
Exact finite reset-ledger balance
Proved
Sep 2026
Branch-regular principal winding is a first integral
Proved
Sep 2026
Posted
50
Reconcile per-Pauli, total-Pauli, and mixing conventions
Proved
Sep 2026
Convert the paper’s certified per-Pauli point exactly
Proved
Sep 2026
Expand the total-Pauli hashing baseline into binary entropy
Proved
Sep 2026
Symmetric coherent-information baseline in three depolarizing conventions
Definition
Sep 2026
Nonzero algebraic winding defines a faithful dense arithmetic Circle character
Proved
Sep 2026
Full-turn resonance collapses the integer phase orbit
Proved
Sep 2026
Circle-loop phases agree exactly when winding agrees
Proved
Sep 2026
The dense algebraic phase orbit is linearly independent
Proved
Sep 2026
Nonzero algebraic winding phases faithfully encode integers
Proved
Sep 2026
Nonzero algebraic winding phases form a dense Circle orbit
Proved
Sep 2026
Irrational rotation is exactly dense Circle phase
Proved
Sep 2026
The real Circle phase agrees with the complex integer phase
Proved
Sep 2026
A nonzero algebraic angle has irrational rotation ratio
Proved
Sep 2026
Real-angle integer phase character on the complex unit circle
Definition
Sep 2026
The reset phase product detects net winding exactly
Proved
Sep 2026
Algebraic Circle phases identify winding exactly
Proved
Sep 2026
Algebraic winding phases faithfully encode integers
Proved
Sep 2026
Reset-ledger winding balance factors multiplicatively in phase
Proved
Sep 2026
Carrier/readout dynamics preserve an arithmetic phase basis
Proved
Sep 2026
Continuous Circle evolution preserves an arithmetic phase basis
Proved
Sep 2026
Distinct Circle windings give independent algebraic phases
Proved
Sep 2026
Finite winding sums factor through the exponential character
Proved
Sep 2026
Injective integer winding labels unconditionally separate phases
Proved
Sep 2026
Hermite–Lindemann hypothesis discharged
Proved
Sep 2026
Transcendence of nonzero logarithms of algebraic numbers
Proved
Sep 2026
Transcendence of
π
\pi
π
Proved
Sep 2026
Transcendence of
e
e
e
Proved
Sep 2026
Hermite--Lindemann theorem
Proved
Sep 2026
Lindemann--Weierstrass algebraic independence form
Proved
Sep 2026
Lindemann--Weierstrass exponential linear independence
Proved
Sep 2026
Finite Lindemann--Weierstrass linear relation
Proved
Sep 2026
Integral orbit-sum reduction for exponential relations
Proved
Sep 2026
Evaluation of symmetric multivariate polynomials
Definition
Sep 2026
Finitely supported functions descend to quotients
Definition
Sep 2026
Odd-sector Casimir spectrum: eigenvalue 2 (×24) and 0 (×8)
Proved
Sep 2026
T
3
T_3
T
3
-weights on the odd sector: 0 (×16),
±
1
\pm 1
±
1
(×8 each)
Disproved
Sep 2026
The odd sector is 32-dimensional
Proved
Sep 2026
The active triple closes as
s
u
(
2
)
\mathfrak{su}(2)
su
(
2
)
Proved
Sep 2026
Cl(6,0) odd-sector Casimir data
Definition
Sep 2026
Finite split-Gibbs normalization and closure boundary
Proved
Sep 2026
Injective winding labels yield independent algebraic phases
Proved
Sep 2026
Zero-coupling and duplicate-label controls
Proved
Sep 2026
Hermite–Lindemann gives all-integer phase independence
Proved
Sep 2026
The integer exponential character
Proved
Sep 2026
Laurent powers of a transcendental element are linearly independent
Proved
Sep 2026
Integer winding exponential-independence core
Definition
Sep 2026
Reflection positivity does not imply a positive normalizer
Proved
Sep 2026
Pointwise nonnegativity does not imply reflection positivity
Proved
Sep 2026
Finite normalized split-Gibbs probability and kernel bounds
Proved
Sep 2026
Winding flow/reset claim boundary
Proved
Sep 2026