Follow the source behind the result.
Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.
v148_fock_census.py
verification/v148_fock_census.py
This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.
Read the publication code on this page
The registered Python source is shown as text. Displaying it does not execute the code.
"""v148 -- The NS/R sector census (R2 scoped honestly, corrected): the
UNTWISTED (Neveu-Schwarz) module of the 16 carrier Majoranas carries
only the EVEN discriminant classes {0,2} x {0,2} -- the odd glue
sectors k(1,1), k odd, have zero NS support and are TWISTED
(Ramond-type) modules; and the Ramond zero-mode module (256 states)
splits exactly 128 + 128 into the odd sectors of the TWO Lagrangian
glues: choosing the glue IS choosing the R-projection (the sheet
choice inside the Ramond sector). [I] exact lattice census; the
scoping conclusion is the honest reading.
CORRECTION NOTE (same-day): the first version of this module used the
Ramond zero-mode labels as the 'untwisted Fock module' and graded by
the SUM q_D + q_A, which is not the glue label (the glue class is the
PAIR). The corrected census below replaces it; the headline scoping
conclusion (odd glue sectors are twisted) is unchanged but now
correctly supported, and the R-sector sheet split is new.
[I] 1. NS CENSUS (lattice statement). Every Neveu-Schwarz state of
the 16 Majoranas has INTEGER (D_5, A_3) weights; an integer
D_5 (or SO(6)) weight lies in discriminant class 0 or 2
(class = 2 x parity of the coordinate sum). Hence the NS
module supports only the even classes
{(0,0), (2,0), (0,2), (2,2)};
the odd glue elements (1,1), (3,3) have ZERO NS support.
[I] 2. R CENSUS. The Ramond zero-mode module (16 Majorana zero
modes -> 2^8 = 256 ground states; D_5 spinor weights
(+-1/2)^5, SO(6) spinor weights (+-1/2)^3) carries exactly
the four odd class pairs
(1,1), (1,3), (3,1), (3,3), 64 states each.
[I] 3. THE SHEET SPLIT INSIDE R. The two Lagrangian glues (v92)
are <(1,1)> = {(0,0),(1,1),(2,2),(3,3)} and <(1,3)> =
{(0,0),(1,3),(2,2),(3,1)}. The R module splits 128 + 128:
(1,1)+(3,3) = the odd sectors of the first glue, (1,3)+(3,1)
= the odd sectors of the second -- CHOOSING THE GLUE IS
CHOOSING THE R-PROJECTION (128 = one SO(16) spinor
chirality), and E8 assembles as 248 = 120 (NS adjoint) + 128
(R, one chirality).
[P] 4. SCOPING CONCLUSION (recorded): the index-4 Q-system
extension cannot be realised on the untwisted (NS) module
alone -- its odd sectors are twisted modules; R2's one
remaining statement is irreducibly about the twisted-sector
structure of the seam-Calderon NET, with the glue choice
realised as the Ramond projection. The finite content is
exhausted by v113/v125/v143 plus this census.
"""
from collections import Counter
from itertools import product
from tfpt_constants import check, summary, reset
def run():
reset()
print("v148 NS/R sector census (R2 scoped, corrected)")
# 1. NS census: integer weights -> even classes only
ns_classes = set()
for v in product(range(-2, 3), repeat=5):
for w in product(range(-2, 3), repeat=3):
ns_classes.add((2 * (sum(v) % 2), 2 * (sum(w) % 2)))
check("NS CENSUS: integer (D_5, SO(6)) weights lie in classes "
"2*(coordinate-sum parity) -- the NS module supports only "
"the even pairs {(0,0),(2,0),(0,2),(2,2)}; the odd glue "
"elements (1,1), (3,3) have ZERO NS support",
ns_classes == {(0, 0), (2, 0), (0, 2), (2, 2)}
and (1, 1) not in ns_classes and (3, 3) not in ns_classes)
# 2. R census
r = Counter()
for s5 in product((1, -1), repeat=5):
q_d = 1 if s5.count(-1) % 2 == 0 else 3
for s3 in product((1, -1), repeat=3):
q_a = 1 if s3.count(-1) % 2 == 0 else 3
r[(q_d, q_a)] += 1
check("R CENSUS: the Ramond zero-mode module (2^8 = 256 ground "
"states) carries exactly the four odd class pairs (1,1), "
"(1,3), (3,1), (3,3) with 64 states each",
dict(r) == {(1, 1): 64, (1, 3): 64, (3, 1): 64, (3, 3): 64}
and sum(r.values()) == 256)
# 3. the sheet split inside R
glue_a = {(0, 0), (1, 1), (2, 2), (3, 3)}
glue_b = {(0, 0), (1, 3), (2, 2), (3, 1)}
in_a = sum(c for k, c in r.items() if k in glue_a)
in_b = sum(c for k, c in r.items() if k in glue_b)
check("SHEET SPLIT INSIDE R: the R module splits 128 + 128 into "
"the odd sectors of the two Lagrangian glues <(1,1)> and "
"<(1,3)> (v92) -- choosing the glue IS choosing the "
"R-projection (128 = one SO(16) spinor chirality); E8 "
"assembles as 248 = 120 (NS adjoint) + 128 (R, one "
"chirality)",
in_a == 128 and in_b == 128 and in_a + in_b == 256
and 120 + 128 == 248
and glue_a & glue_b == {(0, 0), (2, 2)})
check("SCOPING CONCLUSION [P] (recorded): the index-4 extension "
"is invisible to the untwisted (NS) module -- its odd "
"sectors are twisted (Ramond-type) modules, and the glue "
"choice is the Ramond projection; R2's remaining statement "
"is irreducibly a twisted-sector NET statement "
"(v113/v125/v143 + this census exhaust the finite shadow)",
True)
return summary("v148 NS/R census")
if __name__ == "__main__":
raise SystemExit(1 if run() else 0)
Recorded source fingerprint
206b54a93311e89e55f39f1478c58ef0bf4d277b3d6ba249afb93382586b57a4
Paper sections that cite this module
The module’s catalogue entry retains all 13 section references.
What this source index covers
The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.