Skip to main content

Explore the foundations and current research.

Follow the published construction into its registered claims, then explore reviewed research questions, attempts and the connections that remain open.

Reviewed results

16 matching reviewed results

Scoped exclusion

Irreducible F20 four cannot host independent native family clock

In the question: Common clock sectors, quartic geometry and operational reconstruction

Smallestnecessaryjointclocktestbeforephysicallyequatingseparatelyvalidfour-bridges. NoexclusionofnativeHodge subchannel,separateE8/thetaresults orlargersourcerepresentations. Oldrank8modulefixesarithmeticcommutationbutisnotphysicalsigma realizationwithoutdictionary.

Read the exact result, assumptions and evidence

Result

ActualnativeC5,G versus frozenv634sigma givecommutatorrank4 andbothranksGsigmaG^-1−sigma^±1 equal4. InanyirreducibleF20four,C5 hasfourdistincteigenvalues cyclicallypermutedbyG. Given[C5,sigma]=0 andorder3,G-fixingpermitsonlyscalartraces4,4omega,4omega²;G-inversiononlytraces4 or−2. Nativesigma hastrace1,hencebothimpossible. Originalcyclotomicplusrelationalreadyexists onrationalrank8Q(zeta30),withfamilymultiplicationtrace−4. Thisisnotnativecomplexsigmatrace1. Thetaalpha inversionisyetanotherclocktype.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Original Pauli and v419 F20 source words

    Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.

Original evidence

  • NATIVE-F20-JOINT-CLOCK-TYPECHECK.txt lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/NATIVE-F20-JOINT-CLOCK-TYPECHECK.txt

    636378eff2bbc119d856bb416fad3bc8ce5adac790cef2ef46c6e225cec07371

  • NATIVE-F20-JOINT-CLOCK-TYPECHECK.txt lines 201–211

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/NATIVE-F20-JOINT-CLOCK-TYPECHECK.txt

    636378eff2bbc119d856bb416fad3bc8ce5adac790cef2ef46c6e225cec07371

  • check_native_f20_joint_clock.py lines 1–200

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/check_native_f20_joint_clock.py

    bb219e3eda987571c07161d7e07654b7959c5a6eb8f86e5719f0976dd7b1d46a

  • check_native_f20_joint_clock.py lines 201–207

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/check_native_f20_joint_clock.py

    bb219e3eda987571c07161d7e07654b7959c5a6eb8f86e5719f0976dd7b1d46a

  • native-f20-joint-clock-results.json lines 1–186

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/native-f20-joint-clock-results.json

    3d32adb64f3cb03f93f6b2d4c5e79c06d16b3442177937ca7c9e2cce5d73955b

finding:irreducible-f20-four-cannot-host-original-independent-native-family-clock

Scoped exclusion

Scalar-square theta lift differs from symplectic F20 lift

In the question: Common clock sectors, quartic geometry and operational reconstruction

Smallest actual operatorcountertest prevents equating differentclocktypes. No contradiction of separateclock constructions or metricF20 carrier bridge;no universalfield orTFPT no-go.

Read the exact result, assumptions and evidence

Result

Existing markedtheta four hasalpha²=iI4. New symplecticF20 liftGhat=zeta8^-1G hasGhat²=−iG²,nonscalar withtrace0;G² is nonscalar. Thusalpha andGhat are not conjugate evenup tocentralphase:projective orders2 and4. Sharedorder8 andfourthpower−I do not identify operations. SharedMu8 scalar resource remains correct.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Original Pauli and v419 F20 source words

    Use frozen v783 two-qubit Clifford generators, existing Pauli16 and central mu8, and actual cyclotomic v419 C5,G matrices. A constructed source-word F20 subgroup is available; its physical seam selection is not assumed.

Original evidence

  • INDEPENDENT-INTEGRATION-REVIEW.txt lines 1–158

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/INDEPENDENT-INTEGRATION-REVIEW.txt

    6b910cd5577f1591b0859ad6c8edabf39b90ef5de79cb169afe0e2e72315ad5e

  • check_distinct_quarter_lifts.py lines 1–48

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/check_distinct_quarter_lifts.py

    a815efb60b4853b362b24244365269894d66c89fc3d11d46e94af5edaf58e94e

  • distinct-quarter-lifts-results.json lines 1–20

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/distinct-quarter-lifts-results.json

    de4fb553d9ba81741af9e568e70642c2317faae9c3d040c7a952edf2bfd1c793

finding:theta-scalar-square-lift-is-distinct-from-symplectic-f20-lift

Scoped exclusion

Ordinary theta determinant functor erases selected spin character

In the question: Common clock sectors, quartic geometry and operational reconstruction

Only ordinary rigidified determinant and Kummer functor. Finite Clifford construction remains valid under explicitly required central character. Refinements and additional lines from marked source data are not excluded.

Read the exact result, assumptions and evidence

Result

Ordinary theta determinant functor erases selected spin character. Every E_L=S0 tensor L has chi=1+1−2=0. Scalar lambda acts on det RΓ(E_L) by lambda^chi=1. Thus beta²=−I becomes beta_D²=+I,and alpha⁴=−I becomes alpha_D⁴=+I. Dualizing or squaring cannot restore lost phase. All four standard H0(2Theta) functions are even;inversion acts+I. Direct untwisted functor therefore does not give beta->J=iI.

Required assumptions

  • Recovered genus2 cover with retained coefficients

    Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.

  • Unchanged A0* Fuchsian equation and actual C4 clock

    Fix exactly v115 A0*, U=diag(1,i,-i), residues U^k A0* U^-k at i^k and regular base point z=0. Retain base rotation, positive meridian on t=z⁴ and simultaneous fiber basis change. No new Riemann Hilbert solution or D4 reflection lift is assumed.

  • Native Pauli translations and frozen Gaussian phase class

    Native theta-translation target is P_nat=N64/mu4 from v783 in frozen four-component frame,with actual sigma and J=iI. Code quotient L/(1+i)L is the distinct duality-twisted context module. G31 has center mu4;full Clifford matrix group has center mu8 and additional coset zeta8 G31. Retain these concrete actions and phases.

  • Ordinary rigidified theta determinant functor

    A=Jac(C), E_L=S0 tensor L of degree1 on genus2. D_L=det H0(E_L) tensor det H1(E_L)^(-1),or dual convention;Poincare family rigidified at marked q0. Then O(2Theta) and four holomorphic sections with standard symmetric linearization. No additional Pfaffian,metaplectic factor,or marked-point determinant.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • THETA-FUNCTOR-SPIN-SIGN-TEST.txt lines 1–180

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/THETA-FUNCTOR-SPIN-SIGN-TEST.txt

    a5128ab5c2b1602bd64a7b6610ba9282707d6ec65c839051ecb42ccc50bfb910

  • THETA-FUNCTOR-SPIN-SIGN-TEST.txt lines 181–212

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/THETA-FUNCTOR-SPIN-SIGN-TEST.txt

    a5128ab5c2b1602bd64a7b6610ba9282707d6ec65c839051ecb42ccc50bfb910

  • THETA-FUNCTOR-SPIN-SIGN-INDEPENDENT-REVIEW.txt lines 1–67

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/THETA-FUNCTOR-SPIN-SIGN-INDEPENDENT-REVIEW.txt

    9390dd8aba4e1429bc00568de0f9985ad3862c2d05f5b70f930dc81ecdfa3eb0

finding:ordinary-theta-determinant-erases-selected-spin-central-character

Scoped exclusion

Bare large-gauge Quillen norm does not give the original counting factor

In the question: Common clock sectors, quartic geometry and operational reconstruction

Excludes only the bare gauge-ratio identification or explicitly described smooth zero-twist ansatz. Original relative factor1-q and T(q)=(1-q)^-5/4 remain intact. Does not exclude physical EM response,other originally derived couplings or completeTFPT.

Read the exact result, assumptions and evidence

Result

Exactly N(z+1)=N(z+i)=N(z),so a large-gauge full spectral norm ratio is1. The retained old NS circle still gives det_F[(I-q uCu*)(I-qC)^-1]=1-q. Forq nonzero these differently inserted operator comparisons cannot be identified. Additionally:an ansatz using only this norm,fixed multiplicity,constant reference and smooth z(alpha)withz(0)0 has first derivative0,while W_min_prime(0)=-(5/2)delta_top/(1-delta_top) is nonzero. Alpha0 still hasqdelta_top and is not a seam-free reference. A derived different background or additional actual insertions is not excluded.

Required assumptions

  • Given elliptic NS source with an explicit unit-charge flat unitary probe

    On existing E=C/(Z+iZ) with original nontrivial NS/NS spin line and fixed H1_NSNS domain,calculate K_z=(-i partial_x+2pi v)+i(-i partial_y+2pi u),z=v+iu,as an explicit unit-charge probe. L_z=K_z*K_z,referencez0,gauge-periodic descent and positive theta-line convention are specified. Complex structure stays fixed;Q acts covariantly on external connection sources. This defines neither primitive P1 measure,physical hypercharge embedding,positive KMS state for every temporal twist,v472 Berry comparison map,nor z(alpha_EM). Parameter curvature and flat spacetime connection remain distinct.

  • Same original circle with trace-class changed polarization

    For the mathematical continuation retain H,B_a psi_n=(n+a)psi_n,0<a<1,u psi_n=psi_(n+1),P=1_(B_a<0),uPu*=P+Pi. C is a positive contraction with trace-class C-P; actual functional-calculus C_beta=(I+exp(beta B_a))^-1,beta>0 belongs to this class. Physical KMS/OS/EM source identification is not presumed.

  • Historical SF sector action and explicit relative normalization

    fullv27/v28 set J1=SF,J=d SF,d2,SF1 in S_def(alpha)=S_def0+alpha J. Review concerns the intended defect-only relative reweighting and its extension to complete measure-compatible sectors Z_s=e^(-alpha d s)Z_s^0(alpha),Z0=Z0^0(alpha). Constancy of R=Z_s^0/Z0^0 is an explicit condition, not assumed from SF.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • ELLIPTIC-QUILLEN-RESPONSE.txt lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/ELLIPTIC-QUILLEN-RESPONSE.txt

    e849e9001678ee2beddb8efb5afa09e0395f867b03feb47e369c19479e492ebc

  • check_elliptic_quillen_response.py lines 1–113

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/check_elliptic_quillen_response.py

    54bf2d0789eae5ec37be893f9f8d1ad99ebc520e0dc1539c0679d6c6b8f149cd

  • elliptic_quillen_response.json lines 1–72

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/elliptic_quillen_response/elliptic_quillen_response.json

    1b4a826b6f36a5d60c647cc1dbb58a723516bead6b3984425f4bf4c6173f18c8

  • KMS-AND-CARRIER-TRANSPORT.txt lines 37–153

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/KMS-AND-CARRIER-TRANSPORT.txt

    9efcfb0d68e16db842aab97b7171b2d667e7b065cb4c6ab8138102acc4c8fb68

  • EM-MEASURE-AND-QUILLEN.txt lines 1–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/EM-MEASURE-AND-QUILLEN.txt

    a08abf23cab682b6c4733fb2403293b1de0245973864f77447544cde53422c65

finding:bare-large-gauge-quillen-norm-does-not-equal-original-winding-counting-factor

Scoped exclusion

A horizontally E8-invariant octic cannot isolate precisely the native five ground space

In the question: Common clock sectors, quartic geometry and operational reconstruction

Finite canonical c8 source with the same positive Gaussian polarization;no claim of full affine invariance. Does not exclude W8 contributions to larger E8 multiplets,broken symmetry,quarter references,state responses or full TFPT. The observer code need not be a full-source ground space and this is not imposed.

Read the exact result, assumptions and evidence

Result

For the actual normalizedf0=sum(u_a.h(-1))^4/sqrt96 and original rootalpha=sqrt2e0,E_alpha(0) has charged PBW componentalpha.h(-3)|alpha>/(3sqrt96) with squared norm1/144,outsideC5. Thus an operator commuting with horizontal E8 zero modes cannot have preciselyC5 as an isolated eigen/ground space on the full grade4 source. The existing screenedW8 obeys[E_alpha(0),o(W8)]=0 and therefore fails this necessary condition as a sole exact-five selector.

Required assumptions

  • Existing even E8 lattice, Gaussian J and sign lifts

    Given existing even unimodular E8 with actual J(x0,x1,...)=(-x1,x0,...) and J²=-I, and the original ordered sign lattice cocycle. Sign automorphisms have kernel Hom(L,F2). Retain original integral ordered basis and generator phases; no enlargement to U1 characters except explicitly defined scalar pushouts.

  • Actual clock/complex-reflection subgroup and native quartic space

    R=diag(-1,1,1,1) on Gaussian C4 is the complex reflection of root line(1+i)e0; G0=<J,R>=C4×C2. P5 is the existing five-dimensional symmetric quartic subspace in Sym4(V4), W6=exterior²V4. R is not a real codim1 E8 Weyl reflection; P5 is not the full fourth tensor power.

  • Symmetric quartic and actual erasure intertwiner

    Use Sym^4 of the native four-representation, the actual five codeword sums, and the existing one-register erasure intertwiner. The symmetric tensor rule and its physical selection are not silently inferred from the full tensor product.

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Actual positive Cartan quartic Fock embedding

    Use original Construction-A roots with physical metric dot/2 and u_j=(h_2j-i h_2j+1)/sqrt2 as J=+i basis. Canonically embed the actual five Sym^4 code support sums as neutral grade4 Heisenberg polynomials in the given E8_1 lattice vacuum. No physical preparation follows.

  • Fixed octic completion in the existing current space

    In the supplied positive c8 current space,seek W8 only in the declared17 dimensional space:H8=sum_roots(alpha.h_-1)^8-30Q11^4 and the16 weight8 Q_ab monomials. H8 leading coefficient is1;root zero mode and L1=L2 must vanish. This specifies a mathematical existence ansatz,not an extra physical source or preparation rule. Uniqueness beyond this space is not assumed.

Original evidence

  • COLLECTIVE-DYNAMICS.txt lines 1–130

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collective-native-marginal-origin-20261026/COLLECTIVE-DYNAMICS.txt

    ea4eaebb6d70a81df5d6adf0f570a4bbfcd021429712117b0dde96cd073d761b

  • check_collective_dynamics.py lines 1–120

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collective-native-marginal-origin-20261026/check_collective_dynamics.py

    b2a4d111830a2fc85489d0da033eef1bd1feb464edbada38231700db4e128dc6

  • dynamics_results.json lines 1–99

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/collective-native-marginal-origin-20261026/dynamics_results.json

    4d6ab1df704cb1ace891a30a87e4cad61317265cf7cfaa5ff4e704dbb78a4fd0

finding:horizontal-e8-invariant-octic-cannot-isolate-native-five-ground-space

Scoped exclusion

Unshifted vacuum fails the same W8 state and time dictionary

In the question: Common clock sectors, quartic geometry and operational reconstruction

Excludes only the unshifted vacuum replacement with this same W8 and time. No general exclusion of P1, other operators or other actually derived sources.

Read the exact result, assumptions and evidence

Result

The supplied quarter source has positive W8 spectral norm A1=93237295693374937125/15629680934138150912 at N level1. The unshifted vacuum has exactly A8 X^8 and no response at levels1 through7. No intertwiner can identify this same W8 insertion, state and time generator between those specified data. On the folded neutral sector N=(Lcal0^alpha-1/32)/8=K_alpha and H0=8N. The first shifted response has H0 grade8; the homogeneous unshifted W8 state has H0 grade64.

Required assumptions

  • Fixed octic completion in the existing current space

    In the supplied positive c8 current space,seek W8 only in the declared17 dimensional space:H8=sum_roots(alpha.h_-1)^8-30Q11^4 and the16 weight8 Q_ab monomials. H8 leading coefficient is1;root zero mode and L1=L2 must vanish. This specifies a mathematical existence ansatz,not an extra physical source or preparation rule. Uniqueness beyond this space is not assumed.

  • Original quarter CAR source with fixed fold and current dictionary

    The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • P1-W8-LOCAL-MAP-AND-TWOPOINT-TEST.txt lines 146–173

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/P1-W8-LOCAL-MAP-AND-TWOPOINT-TEST.txt

    072b6588666504ec4f04024e279030bbdf83b724102bac181ee3696133c1be28

  • W8-SOURCE-TWOPOINT.txt lines 42–145

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/W8-SOURCE-TWOPOINT.txt

    f8f03e184f8813ecaf7439f47903d3835896475e272bd0ea03f4e8d85c12f688

  • P1-W8-INDEPENDENT-REVIEW.txt lines 365–455

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/P1-W8-INDEPENDENT-REVIEW.txt

    62ecf1ed58792ae7bb88193194dbd392ad2895c1d48d954b475d136b5288a2d3

finding:unshifted-vacuum-fails-same-w8-source-state-time-dictionary

Scoped exclusion

Elliptic normal spin pullback doubles index and deck-quarter lifts anticommute

In the question: Common clock sectors, quartic geometry and operational reconstruction

Excludes only index-one and quarter-compatible single-line pullback in this normal spin factor. Actual normal-base identity and original field transport are absent;an actually existing further tensor factor may compensate the projective cocycle. Does not exclude original bosonic doublet count or whole TFPT. Does not identify Calderon projector with deck projector.

Read the exact result, assumptions and evidence

Result

On old E:y²=x⁴-1,the spin Dirac twisted by p*O1 has ordinary complex index2 for every spin. In q-fixed even spin alpha=O(T-O),u=(y+i)/x²,kernel is span(1,u). Genuine deck and quarter lifts have D=[[0,-1],[1,0]],Q=a diag(1,-1),so D²=-I and QD=-DQ independently of scalar phases. Quarter exchanges the two deck eigenlines;no common rank1 kernel sector.

Required assumptions

  • Existing elliptic curve with a specified normal spin factor

    On the actually existing E:y²=x⁴-1 with p=x,delta:(x,y)->(x,-y),q:(x,y)->(ix,y),compare normal spin Dirac operators twisted by p*O1. In the q-fixed nontrivial spin alpha=O(T-O),O=(0,i),T=(0,-i),transport the two-dimensional holomorphic kernel with genuine spin lifts. No identity of this curve base with the original normal base or of delta with the Calderon reflector is assumed.

  • Existing marked cyclic cover tower and compact elliptic images

    Use only existing C_n:u_n^n=x^4-1 with fixed x base,deck Delta_n and already forced compiler clock R12=Q12 Delta12^4=(ix,omega s),Q12=(ix,s). Compare compact algebraic curves over C and pullback function fields. A comparison of punctured local systems must retain its removed points,peripheral loops,spin and field transports.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • ORIGINAL-BASES-AND-ELLIPTIC-SPIN.txt lines 37–120

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/ORIGINAL-BASES-AND-ELLIPTIC-SPIN.txt

    bf6b2336e24a39aef26b9907c24f033a47a8a1318f8f19ae561e4c477680ce67

finding:elliptic-normal-spin-pullback-doubles-index-and-deck-quarter-lifts-anticommute

Scoped exclusion

The bare native octic is not a whole E8 zero-mode singlet

In the question: Common clock sectors, quartic geometry and operational reconstruction

Excludes only bare full E8 invariance. Old F8 existence,correlations and stress responses remain proved;no unproved physical E8 gauge symmetry is imposed.

Read the exact result, assumptions and evidence

Result

For every E8 root,I8(alpha_+)=1. Its actual root zero-mode action on F8hat has nonzero PBW partition(7) coefficient alpha(-7)e^alpha/(672sqrt140). Thus the valid old neutral CAR field F8hat is not itself an E8 zero-mode singlet. Classical invariant-theoretic extension and this bare operator polynomial cannot be identified.

Required assumptions

  • Full existing local E8 field algebra with observer five-code

    Accepted field-algebra scope: In accepted original E8_1 lattice vacuum use all existing Cartan/root currents, normal products, derivatives and local smooth smearings; native five-code is input/observer slice, not assumed dynamically closed. Retain all exterior charges/modes and both actual twenties. P,Q only decompose analytic endpoint/memory formulas, never execute intermediate projection. Global mode products of local fields are not localized instruments. PhysicalP1 pullback, intervention history, state/time stay separate. Intrinsic tensor/real-form/simplex reconstruction is not a postulated physical potential/state rule.

  • Original quarter CAR source with fixed fold and current dictionary

    The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • QUANTUM-OCTIC-COMPLETION.txt lines 38–64

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/QUANTUM-OCTIC-COMPLETION.txt

    2a075b2f0fc18c4133175eec20ef9b173fff7b23c3b66ef18c80c8505785f6c1

  • QUANTUM-OCTIC-INDEPENDENT-REVIEW.txt lines 24–108

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/original-admissible-source-closure-20261025/QUANTUM-OCTIC-INDEPENDENT-REVIEW.txt

    98e65d5a9210a4dd6e193b4a56f4e2fe89a5764c372c5c77aefa600db94a125c

finding:bare-native-octic-is-not-whole-e8-zero-mode-singlet

Scoped exclusion

Literal archived global RG kernel does not preserve finite measures

In the question: Automated construction of operator maps and sources

Exactlyarchivedglobalpositivelowerkernelboundwith infiniteLebesguetargetandfinitenormalization. NoglobalTFPTrefutation,noexclusionofotheroriginalsupports/references/kernels. Nofreerepairmeasure;retainY/flavor/alpha/E8/clocks.

Read the exact result, assumptions and evidence

Result

LiteralarchivedpositiveRGmapwithglobalK>=m>0,Lebesguetargetdt[0,infty),finitenonzeronuandfinitepositiveZpsigivesTnu([0,L])>=mnu(total)L/Zpsi. Outputmassinfinite,nofiniteselfmap/claimedfinitefixedpoint. CompatibleDiracoperators/positiveweightalonedonotreplacewholeconditionalmarginalidentityE[e^-Sm|pi=x]=(Zm/Zn)e^-Sn(x)oractualRP.

Required assumptions

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Literal archived globally positive kernel on finite measures

    v42section01631..148 andv45metrology00560..178:finite nonzerononnegative nu on[0,infty),Tnu(dt)=intK(s,t)dnu(s)/intpsi(s)dnu(s) dt,global lowerboundK>=m>0,Lebesguetargetdt,finitepositivedenominator. Scope exactlythiscombination,notactuallydifferentoriginalfinite-support/reference/integrablekernel.

Original evidence

  • LOCAL-SPACETIME-FORCE-SOURCE-PROOF.txt lines 1–161

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE-PROOF.txt

    2bee4ef1df14985eaceab4b83d00108ce420f31e46bed1d15d29dcc51eb66c8a

  • check_local_spacetime_force_source.py lines 1–132

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_local_spacetime_force_source.py

    7d0f0fb9667a5467501b37fd6447d78e635c82c4b29856e0b880993ac412c252

  • LOCAL-SPACETIME-FORCE-SOURCE.json lines 1–169

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE.json

    fc4482a9c6a8cadaa1c9510bf8b90d23e975449423aec8271713a8efa9bc005c

  • LOCAL-SPACETIME-FORCE-SOURCE-REVIEW.txt lines 1–67

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE-REVIEW.txt

    8937adf4e44421932cd21b6383de28a3ea82736aeb3a4d81ddc53e86e5a6703c

  • ORIGINAL-GEOMETRIC-MEASURE-AUDIT.txt lines 1–74

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-GEOMETRIC-MEASURE-AUDIT.txt

    233face2ab64f0c1372183e1f227fb4391c03d81447673e5fe511afb09773d3a

  • v252_full_finite_triple.py lines 72–168

    Source checked at this snapshot

    Original location and fingerprint

    verification/v252_full_finite_triple.py

    820254440e178430422e50605067775656236602996307f67c9e69124ba5d163

  • ALLMODE-COLLECTIVE-TIME-SOURCE-PROOF.txt lines 1–178

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ALLMODE-COLLECTIVE-TIME-SOURCE-PROOF.txt

    a5ad46653d2337e3803624ea3bb7828f4655be879ac80cb80bf1007cbc06cdb0

  • ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt lines 1–108

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-HIGGS-BOUND-REFERENCE-PROOF.txt

    13e79f2be052ca918fd2be8faf8cf6f1669fc3ad535ccf9a3fdff5b7c0b1b3c5

  • 005-subsection-admissible-schwinger-functions-minkowski-loca.tex lines 123–260

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/005-subsection-admissible-schwinger-functions-minkowski-loca.tex

    8bf0a37157505ca12b90154dbe41a29c49a503686a8493dffd63945f205e0af6

  • 008-section-relative-reflection-positivity-with-fermions.tex lines 179–214

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--04_qft_source/sections/008-section-relative-reflection-positivity-with-fermions.tex

    898aa879cf6a3eb6464d3180274bc2fc028408aeec9676af70a862dad9c3f4dc

  • 005-section-absolute-dimensionless-metrology-from-the-bounda.tex lines 60–178

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--05_metrology_source/sections/005-section-absolute-dimensionless-metrology-from-the-bounda.tex

    b19c58deb3ee905c16e659dd26b15ca8d1998bab6f703cd350e04e54129a9a4c

  • 016-section-closure-architecture-b-yukawas-masses-flavor-had.tex lines 31–148

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--paper-latex--tfpt-42/sections/016-section-closure-architecture-b-yukawas-masses-flavor-had.tex

    87eb0d32b6b0794efc2e27127e8f09839161b97b478c03dbd36557fcad08f729

finding:literal-archived-global-rg-kernel-does-not-preserve-finite-measures

Scoped exclusion

Original scalar cover profile cannot implement actual color Cartan loop

In the question: Automated construction of operator maps and sources

Only identification of this actual smooth Cartan operation with scalar original-cover Weyl profile. No exclusion of neutral sources,composite CAR fields,physical3+1 orTFPT. Aq is Cartan,not charged vertexYq.

Read the exact result, assumptions and evidence

Result

Original Gphi is eta-diagonal,required Vq=Ualpha diag(exp(-iq_k b)) Ualpha*. The two diagonal algebras intersect exactly in CI. All four actual q have2/6 signs,q²2,sumq=±2,so Vq is arc-diagonal iff b in2piZ. Smooth compact proper-interval support forces b0. Exact offdiagonal squared norms are3/2 for Aq and6sin²(b/2) for Vq,both quarters. Entire scalar profile class decided without frame/profile fit.

Required assumptions

  • Actual eightfold arc/residue fold and fixed color Cartan insertion

    Given actual eta_r=psi((x+2pi r)/8)/sqrt8,chi=Ualpha*eta,Ualpha(r,k)=exp(2pi i(k+alpha)r/8)/sqrt8,both quarters and old point-split bilinears with sea/reference. Original scalar Weyl profiles act diagonally in ARC chart and may differ on different arcs. q=M^T beta for four fixed color spinor roots and unchanged M. b is a smooth real periodic supported test;no new physical state or measure. Distinguish full even CAR on union from additive join of separate even arcs.

  • Original fixed color action and actual folded NS charge frame

    Retain unchanged E8 root representation, actual rational M in fold-results.json, NS charge space M Z8 and even M D8, R069 color A2=e1-e2,e2-e3 and center w=e1+e2-2e3. Reuse existing four-module AIA parent with actual cocycle/spin/quarter transport. Assume no common physical96-matter map, local inclusion, new gauging, measure law or spacetime from this data identification.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • ORIGINAL-SPIN-CURRENT-INSERTION-PROOF.txt lines 1–179

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-SPIN-CURRENT-INSERTION-PROOF.txt

    ab74be0de99bc0d417e7e14ba88eae8e1e21985f72fbf5b17a7c31501fc54fa0

  • check_original_spin_current_insertion.py lines 1–86

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_original_spin_current_insertion.py

    43e3d4a95637aedc9afd8136233ebf8fcc6bd1f8901fc089583f4af13b252d48

  • ORIGINAL-SPIN-CURRENT-INSERTION.json lines 1–120

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-SPIN-CURRENT-INSERTION.json

    8429fcf989b43a9223e4249524b36cde490c5f76b46572426e78c38f6fee3425

  • ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt lines 108–160

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/ORIGINAL-ORDERED-CURRENT-KERNEL-AND-SEAM-GRADING.txt

    62a9eeb4519b59d4514445f9d4dd5d2059e29179956a4c97ec94b7bae9ae3094

  • fold-results.json lines 5–86

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json

    253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639

finding:original-scalar-cover-profile-cannot-implement-fixed-spin-cartan-loop

Scoped exclusion

Actual disjoint local Weyls acquire spurious commutator under bare code compression

In the question: Automated construction of operator maps and sources

Exact original-source counterexample to naive localgraphreadout from ordinary5codecommutators. Only statedtwo-strengthclass/givenP,no generalno-go for finiteeffectivedescriptions orTFPT. No physicalsignal/measurementlaw/3+1D proof. NoGibbs/vacuumstate replacement:Bargmannfactor is matrixelementidentity,notZ0/newmeasure.68 onlyL/Jalphabet,not claimed sufficientforWeyls. Preserve existingconstructive neutralMoebiusstandardpair,no reopened infiniteexistencegap;P1state/time/reflection/chargedwordmap remain.60exactcontrols,actualsupport/allmodeproofs analytic. NoLean/paper/ledgerpromotion.

Read the exact result, assumptions and evidence

Result

For every disjoint properintervalpair actual smooth profiles realize arbitrary prescribed mode1 displacements ae0,b(e0+e1) via positive invertible two-frequency momentGram. Full bounded Weyls A/B commute exactly. PAP=lambdaA M(a),PBP=lambdaB M(b),actualstrictlypositivewhole-modefactors. Whole statedreal two-strength class has only rawcommutatorentries01=c,10=−12c with c=a⁴b⁴(a²−4)(a²−12)(b²−2)(b²−6)/4608. At a=b1,c55/1536,rank2,orthonormal01=55sqrt3/768,HSsquared3025/98304 before strictlypositivewholeprofilefactor. Firstjointorder8. Whole source retainsPABP=PBAP;exact[PAP,PBP]=PBQAP−PAQBP. Existing losslesswordreader retains these intermediatecontributions.

Required assumptions

  • Actual proper-local current Weyls and bare native-code compression

    Given full E8_1 Cartan source with actual J-positive neutral Fock embedding and unchanged five homogeneous grade4 codepolynomials,Gram96/8/8/8/1. P is observedcode only,not originalPadm. Bounded Weyls from smooth real8vectorprofiles on any disjoint nonempty propercircleintervals,no Fouriertruncation. Mode1 displacements ae0 andb(e0+e1),real a/b,orthogonal mode1 components0,all higher modes retained. Analytic compact-moment construction provides actual profiles. Test only ordinary product/commutator ofPAP/PBP against whole local word readout. No physicaloperation,newcoupling,4D identification orstate choice assumed.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

Original evidence

  • LOCAL-WEYL-COMPRESSION-PROOF.txt lines 1–155

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-WEYL-COMPRESSION-PROOF.txt

    0701b5bdb68a18985a2645d99b7145a9d3e37998284df1cbc69cc07384a9fa7a

  • check_local_weyl_compression.py lines 1–85

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/check_local_weyl_compression.py

    e9c887ced2f3327c5403fef788dbeebf016214767df4e1898aa3f7bc280678ab

  • LOCAL-WEYL-COMPRESSION.json lines 1–173

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-WEYL-COMPRESSION.json

    6a1d56766c8bab7fe5b05ca0442c9fb930e2081bc671317a71d83527bb944170

  • check_mixed_return.py lines 50–63

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/check_mixed_return.py

    68e2c1a688bff43c193fd812bb585993a189b02072eca509ee726dc112f1ddb1

  • LOCAL-CURRENT-ERASURE-AND-ORDERING.txt lines 36–95

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/LOCAL-CURRENT-ERASURE-AND-ORDERING.txt

    4c3397bb7c0bc75c790b0cca29f5a38abfdff9a564ca5179203ef5a801c554de

  • LOCAL-CURRENT-ERASURE-AND-ORDERING.txt lines 159–188

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/LOCAL-CURRENT-ERASURE-AND-ORDERING.txt

    4c3397bb7c0bc75c790b0cca29f5a38abfdff9a564ca5179203ef5a801c554de

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 314–343

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • RECURSIVE-WORD-SOURCE-PROOF.txt lines 1–110

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/RECURSIVE-WORD-SOURCE-PROOF.txt

    06d651e747e392a5a9c021c071fea3865687203aa58d75cee26fceb7035f5af5

  • FULL-SOURCE-HULL-AND-QUARTIC-OPE.txt lines 33–100

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/joint-native-algebra-selection-20261016/FULL-SOURCE-HULL-AND-QUARTIC-OPE.txt

    1d949c2a77e996e63446255d13f41856a00cde4b4d57c78b4b7766204870b2a0

  • PROOF.txt lines 1–193

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/neutral_moebius_source_20261029/PROOF.txt

    d738013d8775f9769747a5cd97f60cfc6b2ff0d2122c4fbfd20b2d65ebe9f4e0

finding:actual-disjoint-local-weyls-acquire-spurious-commutator-under-bare-native-compression

Scoped exclusion

Direct Pfaffian closure fails local skew test in fixed scalar quarter chart

In the question: Automated construction of operator maps and sources

Only specified direct Pfaffian candidate at fixed scalar alpha with unchanged operators. No full P1 countermodel or general Pfaffian/TFPT no-go. Preserve given positive whole Clifford source,both faces,products,reflection and circle time. Actual J-odd charge connection or explicitly identified paired sectors are not excluded. Two faces are not automatically two quarter holonomy sectors. New conditional CAR insertion value repeats known target value rather than independently reading original source response.

Read the exact result, assumptions and evidence

Result

Actual old identity gives Jloc Dalpha Jloc^-1=−Dalpha+2alpha S. Thus beta_alpha(x,y)+beta_alpha(y,x)=2alpha<Jhat x,y>. A real compact radial profile in first normal slot with constant circle profile and J_F u=u gives beta_alpha(x,x)=alpha||x||²≠0 at both original quarters. The claimed unchanged beta_Dalpha Pfaffian source is excluded already on the interior smooth core. Old skew theorem at a^J=−a remains valid. Action comparison also requires a log profile with correctly counted full trace; eta alone determines neither magnitude nor source pairing. Later originals allow any declared f but do not thereby select a log profile; existing Frullani bridge explicitly treats scale-measure choice as input.

Required assumptions

  • Direct full Jloc Pfaffian at unchanged scalar quarter parameter

    Test new direct source closure beta_Dalpha=<Jloc.,Dalpha> in existing old-complex collar with N,Z,S=NZ,Jhat=I⊗J_F,Jloc=S Jhat,Dalpha=N(∂r+Z(-i∂theta+alpha I)−S Phi),alpha=1/4 or3/4. Phi retains existing selfadjoint,J_F and oddness identities; fields and scalar quarter parameter remain unchanged. Claim is same antisymmetric Pfaffian source directly equal to primitive spectral action. Do not presume a J-odd charge connection, additional paired holonomy sectors or a new relative log profile as original consequences.

  • Do not identify source types

    Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.

  • Geometric Clifford boundary with explicit changed complex structure

    Assume the existing free product class B=Gamma A or actual smooth tangential odd finite coefficient B_Phi=Z A-S Phi with total grading Z tensor gamma_F. Apply the standard Clifford boundary functor on the underlying real space with NEW complex structure Ical=i_old Gamma_tot and real structure C0=i_old gamma_n; the dual face has -C0. C0 is old-linear and new-antilinear,not identified with original charge J. This differs from full complex CAR quantization of both independent normal copies. State conclusions use the full graph as the actual quantum covariance in this functor. Its physical selection from P1/P2 is not presumed proved; Phi is a fixed classical background. Keep the fixed normal-independent product collar; a(theta) is smooth Hermitian and even,Phi(theta) smooth Hermitian and odd. No quantization of these bosonic backgrounds.

Original evidence

  • DECISION.txt lines 1–58

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/DECISION.txt

    7fc10af4c8eef6a30cab621683fd0acb6e739ea4c017380388e6dcb99512f854

  • FIELD-AND-DOMAIN-REVIEW.txt lines 1–175

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/FIELD-AND-DOMAIN-REVIEW.txt

    4c8ed227097cab138eb7868d973940b333a90ac612e3e4082ae15ae9179de35a

  • ROOT-QUARTER-PAIRING-CHECK.json lines 1–13

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/ROOT-QUARTER-PAIRING-CHECK.json

    5c88b34c7ed5004529373da80b3f4280bf0e8fd3a7a00afd1b7ec154edf78de3

  • PFAFF-INDEPENDENT-REVIEW.txt lines 96–207

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/pfaff_source_review/PFAFF-INDEPENDENT-REVIEW.txt

    8a57d181fafc2b9f9bc0fe9df57cc8d1423bc03fa6606cbf158f0574b9b11283

  • DERIVED-PAIRING.txt lines 62–125

    Source checked at this snapshot

    Original location and fingerprint

    experiments/theory-contracts/tfpt-unified-source-derivation-20261029/graded_boundary_functor/charge_transport/DERIVED-PAIRING.txt

    2b4de9e914669e368e5aa086e655b7a5ed2be5d4d268f58b6820fc3db8d7ae27

  • 001-section-primitive-core-and-carrier-interface-handoff.tex lines 302–350

    Source checked at this snapshot

    Original location and fingerprint

    documents/archive--tfpt-45--source_extracts--01_boundary_kernel_source/sections/001-section-primitive-core-and-carrier-interface-handoff.tex

    7d6e673d99c29d950dc601283cd51c1cc0b113567eeb79c8396fec9c82a02c79

  • 009-source.tex lines 125–146

    Source checked at this snapshot

    Original location and fingerprint

    documents/tfpt_research_contracts/sections/009-source.tex

    388f7e74c41945a9d59ed46bc24df463610397e8fd3bf1cd97ab69e86a1a3430

finding:fixed-quarter-jloc-pfaffian-closure-fails-local-skew-test