Bundle for the Crossed light-by-light box page(s) of bootloops.ai: everything the page does not link individually — expression file, data, helper modules, checksums. The stand-alone evaluator(s) lbl3x-evaluate.py are included so the unzipped folder runs as is.

CONTENTS.txt — this list
LICENSE — the MIT license of the code
MANIFEST.sha256 — the sha256 of every file in the served folder
NOTICE — copyright notice; CC BY 4.0 for data and text
README.md — what the bundle is, file list, requirements, how to run
lbl3x-block13-boundary.json — seed towers of the 13-master block at P=(-6,-24/5)
lbl3x-block13-kernel.json.gz — exact rational on-curve kernel of the 13-master lower block
lbl3x-evaluate.py — the evaluator: K3-subsector engine, 13-master block, check suite, m18 value
lbl3x-expression.md — the result written out: word list, closed forms, values
lbl3x-k3letters-census.py — the all-orders graded census of the rotated K3 corner
lbl3x-k3seed.json — banana-sector boundary data: nine-master DE, u=0 tower, constants
lbl3x-k3words.json — the K3-sector exact word list, sha256-verified on read
lbl3x-kernel-denoms.json — the polynomial denominators of the connection entries
lbl3x-kernel-manifest.json — connection index: exact, two-prime and undetermined entries, counts
lbl3x-kernel-map.json — the 41x41 A_s/A_t connection map with evidence classes
lbl3x-kernel-witness/slice_n1_fits.pkl.gz — one-node slice: the 26 two-prime residue columns
lbl3x-kernel-witness/witness_manifest.json — sha256 pins and node list of the witness slice
lbl3x-prediction.json — the standing s = -7 prediction record and its test
lbl3x-vacuum-tower.gate.json — the agreement record of the vacuum tower
lbl3x-vacuum-tower.json — the vacuum (u = 0) tower of the K3 subsector
lbl3x-x17.json — the x_17 ring-word artifact, sha256-verified on read
row21_chain/MANIFEST.json — the role and sha256 of every file under data/
row21_chain/README.md — the on-curve value chain behind --m18-eps0: files, how to run
row21_chain/chain.py — the chain: seed derivation, transport, never-fit comparison, prediction
row21_chain/chunklib.py — the exact rational-function library (python-flint)
row21_chain/data/C_EPS.json — seed-derivation input: the sigma-crossing exact eps-slices
row21_chain/data/DONE_M_A_w0_main.json — seed-derivation input: fundamental-matrix leg A, w0, main
row21_chain/data/DONE_M_A_w0_second.json — seed-derivation input: fundamental-matrix leg A, w0, second
row21_chain/data/DONE_M_A_w1_main.json — seed-derivation input: fundamental-matrix leg A, w1, main
row21_chain/data/DONE_M_A_w1_second.json — seed-derivation input: fundamental-matrix leg A, w1, second
row21_chain/data/DONE_M_A_w2_main.json — seed-derivation input: fundamental-matrix leg A, w2, main
row21_chain/data/DONE_M_A_w2_second.json — seed-derivation input: fundamental-matrix leg A, w2, second
row21_chain/data/DONE_M_A_w3_main.json — seed-derivation input: fundamental-matrix leg A, w3, main
row21_chain/data/DONE_M_A_w3_second.json — seed-derivation input: fundamental-matrix leg A, w3, second
row21_chain/data/DONE_M_A_w4_main.json — seed-derivation input: fundamental-matrix leg A, w4, main
row21_chain/data/DONE_M_A_w4_second.json — seed-derivation input: fundamental-matrix leg A, w4, second
row21_chain/data/DONE_M_A_w5_main.json — seed-derivation input: fundamental-matrix leg A, w5, main
row21_chain/data/DONE_M_A_w5_second.json — seed-derivation input: fundamental-matrix leg A, w5, second
row21_chain/data/DONE_M_Cb_w0_main.json — seed-derivation input: fundamental-matrix leg Cb, w0, main
row21_chain/data/DONE_M_Cb_w0_second.json — seed-derivation input: fundamental-matrix leg Cb, w0, second
row21_chain/data/DONE_M_Cb_w1_main.json — seed-derivation input: fundamental-matrix leg Cb, w1, main
row21_chain/data/DONE_M_Cb_w1_second.json — seed-derivation input: fundamental-matrix leg Cb, w1, second
row21_chain/data/DONE_M_Cb_w2_main.json — seed-derivation input: fundamental-matrix leg Cb, w2, main
row21_chain/data/DONE_M_Cb_w2_second.json — seed-derivation input: fundamental-matrix leg Cb, w2, second
row21_chain/data/DONE_M_Cb_w3_main.json — seed-derivation input: fundamental-matrix leg Cb, w3, main
row21_chain/data/DONE_M_Cb_w3_second.json — seed-derivation input: fundamental-matrix leg Cb, w3, second
row21_chain/data/DONE_M_Cb_w4_main.json — seed-derivation input: fundamental-matrix leg Cb, w4, main
row21_chain/data/DONE_M_Cb_w4_second.json — seed-derivation input: fundamental-matrix leg Cb, w4, second
row21_chain/data/DONE_M_Cb_w5_main.json — seed-derivation input: fundamental-matrix leg Cb, w5, main
row21_chain/data/DONE_M_Cb_w5_second.json — seed-derivation input: fundamental-matrix leg Cb, w5, second
row21_chain/data/GATE_ALTB_FAST.json — independent AMFlow record at (-8,-4), goal 40, never fit
row21_chain/data/GATE_ALTB_FAST300.json — independent AMFlow record at (-8,-4), goal 40, never fit
row21_chain/data/GATE_GOAL60.json — independent AMFlow record at (-8,-4), goal 60, never fit
row21_chain/data/GATE_M7_GOAL60.json — independent AMFlow record at (-7,-56/13), goal 60 and 40
row21_chain/data/LAYER_M1.json — seed-derivation input: exact pole layer 1
row21_chain/data/LAYER_M2.json — seed-derivation input: exact pole layer 2
row21_chain/data/LAYER_M3.json — seed-derivation input: exact pole layer 3
row21_chain/data/POLES_CACHE.json — numeric pole positions for path planning (regenerable)
row21_chain/data/RATSOL_M3.json — seed-derivation input: exact rational solution at layer 3
row21_chain/data/S4_PIN_main.json — certificate of the constants leg, main precision
row21_chain/data/S4_PIN_second.json — certificate of the constants leg, second precision
row21_chain/data/S5_H.json — seed-derivation input of the constants leg
row21_chain/data/S7_VAL_main_p1.json — value record, main convention, part 1 (quoted, never input)
row21_chain/data/S7_VAL_main_p2.json — value record, main convention, part 2 (quoted, never input)
row21_chain/data/S7_VAL_second_p1.json — value record, second convention (quoted, never input)
row21_chain/data/SEED_TRUE_main.json — stored seed, main convention: validation target only
row21_chain/data/SEED_TRUE_second.json — stored seed, second convention: validation target only
row21_chain/data/SYS41_EXACT.json — the exact eps^0 41-dimensional system (the definition surface)
row21_chain/data/TOWERS_Rm6R_dps280.json — seed-derivation input: the dps280 deep-tower bank
row21_chain/integrity.py — fail-closed sha256 verification of every data read
row21_chain/p3lib.py — the engine: pole-layer stack, 41-dimensional stepper, seed builder
row21_constants/BAN_TOWER_dps245.json — the BAN tower at u = 54/5, dps 245 family
row21_constants/BAN_TOWER_dps280.json — the BAN tower at u = 54/5, dps 280 family
row21_constants/README.md — the derivation chain behind --derive-constants: files, how to run
row21_constants/eval_row21.py — import shim loading ../lbl3x-evaluate.py for mum_match.py
row21_constants/mum_match.py — affine-inversion solve of the four constants against the BAN tower
row21_offcurve/fixtures/S63_REDUCTION_Q_m19m18.json — sector-63 map fixture: the two spurious masters reduced, Q_m19m18
row21_offcurve/fixtures/S63_REDUCTION_Qleaf_sm17.json — sector-63 map fixture: the two spurious masters reduced, Qleaf_sm17
row21_offcurve/fixtures/S63_REDUCTION_Qleaf_sm20.json — sector-63 map fixture: the two spurious masters reduced, Qleaf_sm20
row21_offcurve/fixtures/S63_REDUCTION_Qleaf_sm37h.json — sector-63 map fixture: the two spurious masters reduced, Qleaf_sm37h
row21_offcurve/fixtures/S63_REDUCTION_Qleaf_sm39h.json — sector-63 map fixture: the two spurious masters reduced, Qleaf_sm39h
row21_offcurve/fixtures/S63_REDUCTION_Qleaf_sm41h.json — sector-63 map fixture: the two spurious masters reduced, Qleaf_sm41h
row21_offcurve/fixtures/S63_REDUCTION_Roff_m11m2.json — sector-63 map fixture: the two spurious masters reduced, Roff_m11m2
row21_offcurve/fixtures/kira_target_s63_Q_m19m18.m — sector-63 map fixture: the reduction's own target list, Q_m19m18
row21_offcurve/fixtures/kira_target_s63_Qleaf_sm17.m — sector-63 map fixture: the reduction's own target list, Qleaf_sm17
row21_offcurve/fixtures/kira_target_s63_Qleaf_sm20.m — sector-63 map fixture: the reduction's own target list, Qleaf_sm20
row21_offcurve/fixtures/kira_target_s63_Qleaf_sm37h.m — sector-63 map fixture: the reduction's own target list, Qleaf_sm37h
row21_offcurve/fixtures/kira_target_s63_Qleaf_sm39h.m — sector-63 map fixture: the reduction's own target list, Qleaf_sm39h
row21_offcurve/fixtures/kira_target_s63_Qleaf_sm41h.m — sector-63 map fixture: the reduction's own target list, Qleaf_sm41h
row21_offcurve/fixtures/kira_target_s63_Roff_m11m2.m — sector-63 map fixture: the reduction's own target list, Roff_m11m2
vendor_row21_k3letters/README.md — the record byte copies read by lbl3x-k3letters-census.py
vendor_row21_k3letters/RECORD_COPIES.sha256 — the sha256 of every file in vendor_row21_k3letters/
vendor_row21_k3letters/rot_dial1__LEPS_OPERATOR.json — operator of the rotated K3 corner, exact in (eps,s)
vendor_row21_k3letters/rot_dial1__r2lib.py — exact bivariate rational functions in (eps, s), sympy parser
vendor_row21_k3letters/rot_probe_i__THETA.json — the intertwiner Theta of the intrinsic cyclic frame
vendor_row21_k3letters/rot_probe_i__block1315_raw.json — the raw K3 corner {13,14,15} of the on-curve connection
vendor_row21_k3letters/rot_probe_i__ratlib.py — exact univariate rational functions over Q and Q(s)[y]/(y^2-P)
vendor_row21_k3letters/rot_probe_iib__IIB_CORE.json — the eps-series of the operator at orders 0..3
vendor_row21_k3letters/rot_probe_iib__iib_lib.py — the Sym^2 S-gauge ring products and string parsers

Evaluator commands (run in this folder):
    python3 lbl3x-evaluate.py --m18-eps0
    python3 lbl3x-evaluate.py --m18-eps0 --point -7
    python3 lbl3x-evaluate.py --theorem-check

Not in this zip (size): lbl3x-kernel-witness/slice_n1_exact.pkl.gz, the one-node exact slice
(about 12.9 MB) that --theorem-check reads. It is in the companion archive lbl3x-witness-bundle.zip,
served beside this zip at files/lbl3x/lbl3x-witness-bundle.zip, which unpacks into this same
lbl3x-bundle/ folder; unzip it next to this archive before running the third command. The first two
commands and the default check suite do not need it.
