# SCRIPTS: the provenance index

**GENERATED FILE. Do not hand-edit.** Regenerate with
`node research/gen-scripts-index.js` after adding or renaming a script.

Use this index to locate experiments, reusable routines and citing documents.
Script links resolve to their actual locations, including `history/staging/`.
Titles and companion names come from script headers; citations are filename
or shorthand matches, not verified endorsements. Inclusion is not a proof grade
or an execution assignment. Read the owning argument before reusing a claim.

**Before quoting or running a script:** read its correction notices, invocation
and input dependencies. Use [qc/embed.js](qc/embed.js) to record output;
`qc.js embeds` checks its code binding, and `qc/tails.js` reruns and compares.
Hashes check output custody, not mathematical correctness. Missing fingerprints
are tracked by the `embed-backlog` advisory. The mechanism and its limits are
documented in [qc/README.md](qc/README.md).

Scripts: **437**. Cited by at least one document: **437**.
Carrying a correction or superseded banner in the header: **87**.
Carrying one further down, in the OUTPUT or the READINGS: **66**.
Cited by nothing: **0**.

## Read this first: scripts whose header carries a correction

These headers flag corrections or superseded output. **Read the notice and
its scope before quoting a figure.** Absence from this list is not validation.

| script | title | cited by |
|---|---|---|
| [03-legendre-error-budget.js](03-legendre-error-budget.js) | 03 — THE FORMULA THAT KNOWS BUT CANNOT PROVE (Legendre's error budget) | 7 |
| [a3-02-diagonal-f.js](a3-02-diagonal-f.js) | 2026-08-16 was the version that was REFUTED later the same day, and this file did not absorb… | 15 |
| [agent-readiness-validation.js](agent-readiness-validation.js) | Question: do the finite algebraic ingredients of the readiness corrections survive… | 4 |
| [attack-02-head-bias.js](attack-02-head-bias.js) | ATTACK 2 — HEAD-BIAS PROFILE: is the start of the period twin-poor? | 14 |
| [attack-04-fourier-budget.js](attack-04-fourier-budget.js) | ATTACK 4 — FOURIER BUDGET: which frequencies could carry a conspiracy? | 26 |
| [attack-0829n-X-upper.js](history/staging/attack-0829n-X-upper.js) | ATTACK 0829n X-UPPER — AN UNCONDITIONAL UPPER BOUND ON THE ROUGH-PAIR | 30 |
| [attack-0c-holesweep-01.js](attack-0c-holesweep-01.js) | TODO 0c, the hole-sweep probe Chris asked for (2026-08-20): at the fold from level 5 to… | 105 |
| [attack-10-anchored-origin.js](attack-10-anchored-origin.js) | ATTACK 10 — ANCHORED ORIGIN: the pattern is not a random rotation | 11 |
| [attack-barrier-kappa2.js](history/staging/attack-barrier-kappa2.js) | attack-barrier-kappa2.js — scratchpad-grade support for… | 6 |
| [attack-beta2-04-loss-budget.js](attack-beta2-04-loss-budget.js) | CORRECTION 2026-08-19 (monotonicity sweep, history/staging/monotonicity-sweep.md) | 18 |
| [attack-c2drift-01.js](attack-c2drift-01.js) | WHY DOES c2' DRIFT UPWARD? THE SHAPE OF THE DRIFT, MEASURED WITH AN IN-PASS CONTROL THAT… | 9 |
| [attack-delta37-01.js](attack-delta37-01.js) | ATTACK delta37-01 — THE DELTA MECHANISM AND x = 37, BOTH THROUGH THE HL LENS | 5 |
| [attack-fekete-1d-01-defect47.js](attack-fekete-1d-01-defect47.js) | TODO 1d, THE BOUNDED-DEFECT FEKETE ROUTE, PROBED AT 47#. | 4 |
| [attack-foldL-03-transport.js](attack-foldL-03-transport.js) | ATTACK fold-L, ANGLE 3 — THE TRANSPORTABILITY AUDIT | 17 |
| [attack-growth-law.js](attack-growth-law.js) | ATTACK E — THE GROWTH LAW OF G2: what does the truth actually do, and which candidate laws… | 13 |
| [attack-kstar-01.js](attack-kstar-01.js) | K*'S GROWTH: EXTEND THE LADDER, EXACTIFY THE HL FIRST MOMENT, AND TURN | 5 |
| [attack-perfold-01-error-model.js](attack-perfold-01-error-model.js) | ATTACK perfold-01 — THE PER-FOLD ERROR MODEL OF THE EXTINCTION LAW | 4 |
| [attack-tau-repricing.js](attack-tau-repricing.js) | ATTACK 7 — THE tau(m) RE-PRICING: what does the cheaper quantifier price buy? | 10 |
| [attack-x-offset-01-terms.js](attack-x-offset-01-terms.js) | ATTACK-X-OFFSET 01 — CANDIDATE CORRECTION TERMS FOR THE ~3.8 LAW'S OFFSET | 6 |
| [attack-x-offset-02-profile.js](attack-x-offset-02-profile.js) | ATTACK-X-OFFSET 02 — WHERE THE OFFSET LIVES: LINE, CONTROL, MARGINALS, BINS | 9 |
| [attack2-02-08-tomography.js](attack2-02-08-tomography.js) | ATTACKS 2 + 8 — STRATA TOMOGRAPHY & THE 11 ANOMALY | 9 |
| [discrepancy-two-class.js](discrepancy-two-class.js) | DISCREPANCY, TWO CLASSES — Holt's DeltaPhi custody, its twin-slot analogue, and the… | 48 |
| [excess-chain-c.js](history/staging/excess-chain-c.js) | EXCESS-CHAIN c — the compressed-tail max correction, tested on all eight levels at once | 8 |
| [exponent-control.js](exponent-control.js) | EXPONENT-CONTROL — the exponent of G2(x#), calibrated against a control whose answer is known | 89 |
| [fdecay-deep-01-census-defect.js](fdecay-deep-01-census-defect.js) | fdecay-deep 01 — the 42-point census is corrupted from x = 37 by a 32-bit shift, and here is… | 15 |
| [fold-profile-01-per-copy.js](fold-profile-01-per-copy.js) | FOLD PROFILE 01 — THE PER-COPY KILL LEDGER | 11 |
| [fold-profile-03-inside-copy0.js](fold-profile-03-inside-copy0.js) | FOLD PROFILE 03 — INSIDE COPY 0: WHERE THE DAMAGE FALLS | 8 |
| [fold-profile-15-variance-law.js](fold-profile-15-variance-law.js) | FOLD PROFILE 15 — THE VARIANCE DEFICIT: what law does it follow? | 8 |
| [fold-profile-16-is-it-the-tile.js](fold-profile-16-is-it-the-tile.js) | FOLD PROFILE 16 — IS THE VARIANCE DEFICIT A TILE PHENOMENON AT ALL? | 7 |
| [foldL-window5-01-extinction.js](foldL-window5-01-extinction.js) | FOLD-L WINDOW 5 — THE EXTINCTION TEST AT W = 2e11 | 11 |
| [global-factor-signs-validation.js](global-factor-signs-validation.js) | Question: does the full logarithmic profile have the small-prime sign normal form, including… | 2 |
| [h2-length-needed.js](h2-length-needed.js) | How long does a two-class ladder have to be before its growth exponent is readable to the… | 9 |
| [hsubpow-explicit-K.js](history/staging/hsubpow-explicit-K.js) | hsubpow-explicit-K.js  —  TODO 1d: (H-sub-pow) with an explicit K, checked | 13 |
| [import-distortion-01-ladder.js](import-distortion-01-ladder.js) | IMPORT-DISTORTION 01 — THE DISTORTION METHOD PRICED ON THE TWO-CLASS WINDOW | 3 |
| [import-interp-02-correction.js](import-interp-02-correction.js) | FOREIGN IMPORT ROW 9 (BGT interpolation), stage 2: WHICH CORRECTION TERM DOES | 1 |
| [import-maxplus-02-subadditivity.js](import-maxplus-02-subadditivity.js) | FOREIGN IMPORT 4 of 5, stage 2: THE SUBADDITIVITY HUNT. | 4 |
| [import-shearer-01-region.js](import-shearer-01-region.js) | IMPORT-SHEARER 01 — SHEARER'S REGION FOR THE TWO-CLASS DELETION EVENTS | 8 |
| [import-suen-01-transfer.js](import-suen-01-transfer.js) | IMPORT-SUEN 01 — THE CORRELATION-INEQUALITY TRANSFER AT THE ANCHOR | 9 |
| [import-talagrand-01-price-c.js](import-talagrand-01-price-c.js) | import-talagrand-01-price-c.js  —  THE PRICE OF `c`, AND THE SCORING OF THE FIVE SEALED… | 6 |
| [joint-correction-validation.js](joint-correction-validation.js) | Exact finite controls for joint-correction-source-audit.md. | 3 |
| [joint-factor-estimate-validation.js](joint-factor-estimate-validation.js) | Exact finite controls for joint-factor-estimate.md. | 3 |
| [killrun.js](killrun.js) | It left `prev` pointing at the OLDER of the two tracked residues, so it both over- and… | 22 |
| [lemmaV-parseval.js](lemmaV-parseval.js) | LEMMA V BY PARSEVAL — the mean square proved, and the quantifier priced | 20 |
| [lit-provenance.js](lit-provenance.js) | LITERATURE PROVENANCE INVENTORY | 8 |
| [localized-04-maxsum.js](localized-04-maxsum.js) | QUESTION.  The Localized Merge Lemma (research/LOCALIZED-GAP.md) reduces the whole upper… | 49 |
| [measure-0904-argmax.js](history/staging/measure-0904-argmax.js) | measure-0904-argmax — WHERE THE MAXIMUM SITS INSIDE THE TILE, AND HOW OFTEN | 6 |
| [measure-g2-provenance-0829.js](measure-g2-provenance-0829.js) | MEASURE-G2-PROVENANCE — does the 1.50 headline depend on unreproduced terms? | 8 |
| [measure-record-null2-0829.js](measure-record-null2-0829.js) | THE TWO RECORD NULLS THAT WERE NEVER RUN — C1 (INHOMOGENEOUS INTENSITY) AND C2 (THE 6Z… | 10 |
| [measure-tail-deficit-0829.js](measure-tail-deficit-0829.js) | THE TAIL-DEFICIT FACTOR FROM ZERO PARAMETERS | 8 |
| [measure-x37-0829.js](measure-x37-0829.js) | MEASURE-X37 — does anything WITHOUT G2(37#) in it flag x = 37? | 2 |
| [natal-cap-02-fourier-budget.js](natal-cap-02-fourier-budget.js) | NATAL CAP 02 — FOURIER / ERDOS–TURAN CERTIFIED DISCREPANCY OF THE NATAL SET | 27 |
| [natal-cap-05-second-moment.js](natal-cap-05-second-moment.js) | NATAL-CAP 05 — SECOND MOMENT OVER THE SCOUR | 15 |
| [natal-cap-06-bonferroni.js](natal-cap-06-bonferroni.js) | ATTACK 6 — TRUNCATED INCLUSION–EXCLUSION CERTIFICATES ON THE NATAL@5 SET | 12 |
| [natal-cap-07-trajectory.js](natal-cap-07-trajectory.js) | ATTACK 7 — TRAJECTORY CONCENTRATION: the Scour march as a near-martingale | 14 |
| [natal-cap-11-kstar23.js](natal-cap-11-kstar23.js) | ATTACK 11 — K*(23) AND THE ANCHORED DRIFT: the Scour march at x = 23 | 17 |
| [natal-cap-15-head-certificate.js](natal-cap-15-head-certificate.js) | ATTACK 15 — THE COMPOSED HEAD CERTIFICATE | 3 |
| [natal-cap-17-cheap-laws.js](natal-cap-17-cheap-laws.js) | NATAL-CAP CHEAP-LAWS PACK | 8 |
| [natal-cap-18-at29.js](natal-cap-18-at29.js) | ATTACK 18 — THE @29 TRIPLE-DECIDER: one segmented Scour march at x = 29 | 23 |
| [natal-cap-22-at31-drift.js](natal-cap-22-at31-drift.js) | ATTACK 22 — THE @31 DRIFT POINT: one totals-only march at x = 31 | 10 |
| [natal-cap-29-sigma-plateau.js](natal-cap-29-sigma-plateau.js) | NATAL-CAP-29 — THE σ-PLATEAU DERIVED: the hyperuniform variance's level law | 28 |
| [natal-cap-32-wrap-identity.js](natal-cap-32-wrap-identity.js) | NATAL-CAP 32 — THE WRAP IDENTITY: T4 WITHOUT QUADRUPLE ENUMERATION | 26 |
| [natal-cap-33-overnight.js](natal-cap-33-overnight.js) | NATAL-CAP-33 — THE OVERNIGHT COMPUTE QUEUE: three runs, one driver | 30 |
| [natal-cap-34-wrap-precision.js](natal-cap-34-wrap-precision.js) | NATAL-CAP 34 — PRECISION-GRADING THE WRAP ENGINE: WHERE THE 3.5e-5 LIVES | 33 |
| [natal-cap-36-skeleton-door.js](natal-cap-36-skeleton-door.js) | NATAL-CAP-36 — THE NAMED DOOR, OPENED AND MEASURED: what equidistribution of ⌈W/q⌉ mod 30… | 52 |
| [record-location-null.js](history/staging/record-location-null.js) | RECORD-LOCATION NULL (TODO Z5) — DOES THE 6.0% TREND-LOAD DEFICIT SURVIVE A CORRECTED NULL?… | 19 |
| [records-placement-01.js](records-placement-01.js) | RECORDS PLACEMENT 01 — THE SEVEN UNSWEPT RECORDS (76..82, STARTS ABOVE 2^53) PLACED INSIDE… | 13 |
| [redteam-0904-item0.js](history/staging/redteam-0904-item0.js) | redteam-0904-item0.js — AN INDEPENDENT ADVERSARIAL CHECK OF THE TWO HELD | 11 |
| [redteam-0904-sifting-limit.js](history/staging/redteam-0904-sifting-limit.js) | RED TEAM ON THE SIFTING-LIMIT FLOOR: DOES THE ONE-POINT LP CALIBRATION HOLD | 10 |
| [redteam-DP1-certificate.js](redteam-DP1-certificate.js) | RED TEAM — the degree-2 Boole-Frechet certificate re-derived on the sharp LP, exact… | 6 |
| [redteam-growth-aicc.js](redteam-growth-aicc.js) | RED TEAM — the growth law's model race, re-derived: AICc convention, comparability, and… | 3 |
| [redteam-instrument-independence.js](redteam-instrument-independence.js) | RED TEAM — is the exact-frame diagonal a second instrument, or attack E in other coordinates? | 1 |
| [research-round-validation.js](research-round-validation.js) | Research-round integration checks: research-round-validation.md. | 20 |
| [scanstat2-01-t31.js](scanstat2-01-t31.js) | scanstat2-01-t31.js  —  THE SIXTH EXACT LEVEL, AND THE TAIL-FACTOR TEST follow-up to the… | 10 |
| [shadow-amplitude-01-derivation.js](shadow-amplitude-01-derivation.js) | SHADOW-AMPLITUDE 01 — THE FINITE-y CORRECTION TO THE KILL SHADOW'S DEPTH | 3 |
| [shadow-amplitude-02-measure.js](shadow-amplitude-02-measure.js) | SHADOW-AMPLITUDE 02 — THE BLIND HALF: THE EFFECTIVE SAMPLE SIZE, THE EMPIRICAL LOCAL PAIR… | 3 |
| [shadow-buchstab-02-instrument.js](shadow-buchstab-02-instrument.js) | SHADOW-BUCHSTAB 02 — A CLEAN INSTRUMENT FOR THE KILL SHADOW, AND THE SCORE | 7 |
| [small-divisor-kernel-validation.js](small-divisor-kernel-validation.js) | SMALL-DIVISOR KERNEL — finite checks for the reciprocity separation of the j<=x^(1/20)… | 5 |
| [structural-literature-validation.js](structural-literature-validation.js) | STRUCTURAL LITERATURE — finite checks of the derived kernel dictionary. | 3 |
| [theta-ladder-sup.js](theta-ladder-sup.js) | EXACT (or one-sided prefix) SUPREMUM OF THE SIEVE REMAINDER R_H, MEASURED AT A WINDOW THE… | 16 |
| [thm-buchstab-transfer-shallow.js](history/staging/thm-buchstab-transfer-shallow.js) | thm-buchstab-transfer-shallow.js  —  SCRATCHPAD-GRADE companion to… | 13 |
| [transition-joint-budget-validation.js](transition-joint-budget-validation.js) | Question: is the four-piece transition decomposition exact, does it leak outside the… | 3 |
| [transition-round-audit-validation.js](transition-round-audit-validation.js) | Targeted controls for transition-round-audit.md. Finite algebra only: a missing lower… | 4 |
| [two-class-lower-bounds.js](two-class-lower-bounds.js) | TWO-CLASS LOWER BOUNDS: how large can G2(x#) be FORCED? | 125 |
| [verify-0830-usup-convention.js](history/staging/verify-0830-usup-convention.js) | verify-0830-usup-convention.js — are lemmaV-sup-extension.md's u_sup/u_sat and… | 7 |
| [window-check.js](window-check.js) | SANITY CHECK. For every prime p, does the zone window (p, p_next^2) contain a genuine twin… | 12 |
| [xchan-at37-01-census.js](xchan-at37-01-census.js) | THE @37 X-CHANNEL CENSUS — THE PRE-REGISTERED BLIND TEST OF THE OFFSET FAMILY | 13 |
| [zonegap-03-model.js](zonegap-03-model.js) | ZONEGAP 03 — THE STAIRCASE-AWARE MODEL: Z2(p) = env(p) + D(p), AND D IS | 21 |

## Read this too: scripts whose correction sits BELOW the header

These files contain a correction, defect notice or superseded marker past
line 40, often in the OUTPUT or READINGS. The notice can concern this file
or a file it cites. Start at the listed line and check its scope before reuse.

| script | first notice at | title | cited by |
|---|---|---|---|
| [04-crystallization-and-hl.js](04-crystallization-and-hl.js) | :95 | 04 — CRYSTALLIZATION (possible = actual below p^2) + THE HL NOISE FLOOR | 8 |
| [a3-03-f-from-census.js](a3-03-f-from-census.js) | :600 | A3 — f FROM THE GRAIN CENSUS LAW, WITHOUT ENUMERATION | 36 |
| [a3-04-maxsum-recursion.js](a3-04-maxsum-recursion.js) | :864 | A4 (ATTACKS3): a fold recursion for the FAMILY maxsum_m. | 19 |
| [a3-05-bound-L.js](a3-05-bound-L.js) | :190 | A3-05: BOUND L FROM RUN-CONSISTENCY PLUS CRT INDEPENDENCE | 57 |
| [a3-06-origin-vs-max.js](a3-06-origin-vs-max.js) | :663 | A3-06 — THE ORIGIN AGAINST THE MAXIMUM (ATTACKS3 A6, route B of ZONE-POSTULATE) | 18 |
| [a3-07-pane-overlap.js](a3-07-pane-overlap.js) | :730 | A3-07 — THE PANE BOUND THROUGH OVERLAP | 12 |
| [a3-08-adjacent-pairs.js](a3-08-adjacent-pairs.js) | :511 | A3-08 — THE EXACT COUNT OF ADJACENT-KILL PAIRS | 21 |
| [a3-09-histogram-operator.js](a3-09-histogram-operator.js) | :780 | A9 — THE GAP-HISTOGRAM FOLD RULE, as an exact transfer operator | 42 |
| [attack-06b-difference-map.js](attack-06b-difference-map.js) | :388 | ATTACK 6b — THE DIFFERENCE MAP: G_d(n) for ALL even d = 2..210 | 16 |
| [attack-0829n-hsubpow-K.js](history/staging/attack-0829n-hsubpow-K.js) | :154 | attack-0829n-hsubpow-K.js  —  TODO 1d: (H-sub-pow) with an explicit K, pass 2 | 30 |
| [attack-0830-comb-tail.js](history/staging/attack-0830-comb-tail.js) | :313 | ATTACK 0830 COMB-TAIL — PRIME-COMB EQUIDISTRIBUTION IN THE TAIL REGIME | 28 |
| [attack-0c0e-01-deleted-family.js](attack-0c0e-01-deleted-family.js) | :703 | TODO 0c x 0e, stage 2: measure the RESIDUE-DELETED MAXSUM FAMILY exactly. | 105 |
| [attack-D-twopoint.js](attack-D-twopoint.js) | :880 | ATTACK D — TWO-POINT DATA AGAINST DP1: the sharp Boole-Frechet certificate for "no empty… | 8 |
| [attack-L-law.js](attack-L-law.js) | :1438 | ATTACK L-LAW — WHAT DOES `L` DO ON ITS OWN, LEVEL BY LEVEL? | 9 |
| [attack-L-subadditivity.js](attack-L-subadditivity.js) | :858 | IS L SUB-ADDITIVE WHEN TWO PRIME SETS MERGE? | 8 |
| [attack-beta2-A-B-bounded.js](attack-beta2-A-B-bounded.js) | :493 | IS B(z,s) BOUNDED? — the one gap left in the proved mean-square Lemma V | 9 |
| [attack-fekete-1d-02-lemma.js](attack-fekete-1d-02-lemma.js) | :343 | TODO 1d: WHAT DOES A BOUNDED DEFECT BUY? THE EXACT LEMMA, ITS HYPOTHESES | 6 |
| [attack-foldL-01-census.js](attack-foldL-01-census.js) | :631 | ATTACK FOLD-L 01 — THE CHANNEL-COMPATIBLE RUN CENSUS, AND THE FORCED CEILING | 13 |
| [attack-foldL-04-localized.js](attack-foldL-04-localized.js) | :502 | ATTACK foldL-04 — GAP GENEALOGY AMORTIZATION, localized (deep) instrument | 9 |
| [attack-ford-halberstam.js](attack-ford-halberstam.js) | :881 | ATTACK FORD-HALBERSTAM — the one unexplored inequality on the vector-sieve road, and its… | 12 |
| [attack-hm-basis.js](attack-hm-basis.js) | :930 | THE u_sup LADDER IN THE (h, m) BASIS — the weights attached, both columns | 13 |
| [attack-hybrid-bound.js](attack-hybrid-bound.js) | :586 | ATTACK HYBRID BOUND — gluing an EXACT finite head onto Brun's asymptotic tail, and measuring… | 12 |
| [attack-ioslack-survey.js](attack-ioslack-survey.js) | :576 | TODO 0e, FIRST MOVE: THE INSTRUMENT-SLACK OSCILLATION SURVEY. | 7 |
| [attack-roughpair-error-01.js](attack-roughpair-error-01.js) | :42 | ATTACK ROUGHPAIR ERROR 01 — TRUTH-SIDE vs PROOF-SIDE ON THE FOURTH NAMING | 7 |
| [attack2-01-06-seam-census.js](attack2-01-06-seam-census.js) | :236 | ATTACK2 1+6 — SEAM CENSUS: do the seams supply ACTUAL twin primes? | 11 |
| [attack2-03-09-depth-formula.js](attack2-03-09-depth-formula.js) | :200 | ATTACK2 03+09 — FOSSIL DEPTH FORMULA + STACKING CALCULUS | 11 |
| [destroyer-census-01.js](destroyer-census-01.js) | :1014 | DESTROYER CENSUS 01 — EVERY DESTROYED CHANNEL PAIR TO 1e8 ASSIGNED ITS DESTROYER; THE CRT… | 25 |
| [fdecay-band-01.js](fdecay-band-01.js) | :147 | research/fdecay-band-01.js | 3 |
| [fdecay-deep-03-ladder.js](fdecay-deep-03-ladder.js) | :504 | fdecay-deep 03 — the qualifying fraction f measured OUT OF SAMPLE, x to 907 | 3 |
| [fold-profile-05-survival-curve.js](fold-profile-05-survival-curve.js) | :378 | FOLD PROFILE 05 — THE SURVIVAL CURVE INSIDE A FIXED TILE WINDOW | 8 |
| [fold-profile-07-impact-window.js](fold-profile-07-impact-window.js) | :121 | FOLD PROFILE 07 — THE IMPACT WINDOW: WHICH FOLDS CAN TOUCH THE TILE AT ALL | 6 |
| [fold-profile-08-zone-localized-gap.js](fold-profile-08-zone-localized-gap.js) | :402 | FOLD PROFILE 08 — THE ZONE-LOCALIZED MAX GAP | 10 |
| [fold-profile-13-hotspot-sweep.js](fold-profile-13-hotspot-sweep.js) | :197 | FOLD PROFILE 13 — THE SLIDING SWEEP: closing the coverage gaps of 12 | 17 |
| [fold-profile-14-underdispersion.js](fold-profile-14-underdispersion.js) | :335 | FOLD PROFILE 14 — THE SUB-BINOMIAL DISPERSION: real, or my estimator? | 7 |
| [grain-census.js](grain-census.js) | :505 | GRAIN CENSUS — the size distribution of the twin-slot grain, T7..T23 | 25 |
| [import-chaining-01.js](import-chaining-01.js) | :495 | import-chaining-01.js  —  GENERIC CHAINING (Dudley / Talagrand) against the sieve remainder… | 6 |
| [import-chaining-03.js](import-chaining-03.js) | :216 | import-chaining-03.js  —  the four numbers the verdict turns on foreign-import attack 1 of 5… | 4 |
| [import-interp-01-bgt-defect.js](import-interp-01-bgt-defect.js) | :102 | FOREIGN IMPORT ROW 9 (Bayati-Gamarnik-Tetali, the interpolation method), stage 1: DOES THE… | 13 |
| [import-sofic-01-graph.js](import-sofic-01-graph.js) | :480 | FOREIGN IMPORT (IMPORT-MAP row 2), stage 1: CONSTRAINED CODING AND SYMBOLIC | 3 |
| [lemmaV-sup-extension.js](lemmaV-sup-extension.js) | :1045 | THE FOURIER SUP BOUND, EXTENDED — plateau or slow divergence? | 22 |
| [level-ledger-tight.js](level-ledger-tight.js) | :413 | LEVEL-LEDGER-TIGHT: how loose is |h(a) - D/p| <= 2*3^{pi(x)-1}, and how much of that slack… | 43 |
| [lp-push-x43.js](lp-push-x43.js) | :960 | PUSHING THE LEVEL-D LINEAR PROGRAM FROM x = 23 TO x = 43, AND ADJUDICATING | 17 |
| [measure-g2z2-0829.js](measure-g2z2-0829.js) | :602 | MEASURE-G2Z2 0829 — THE REDUCTION'S PRICE G2(x#)/Z2(x) AT EVERY LEVEL WHERE | 14 |
| [measure-roughpair-null-0829.js](measure-roughpair-null-0829.js) | :42 | MEASURE ROUGHPAIR NULL 0829 — THE INDEPENDENT-THINNING NULL THAT attack-roughpair-error.md… | 9 |
| [natal-cap-12-overlap-sign.js](natal-cap-12-overlap-sign.js) | :510 | NATAL-CAP 12 — THE SUB-CRT OVERLAP SIGN: PROVE IT OR REFUTE IT | 21 |
| [natal-cap-14-discrepancy-lemma.js](natal-cap-14-discrepancy-lemma.js) | :694 | ATTACK 14 — THE DISCREPANCY LEMMA: exact per-step laws for the Scour march, and the honest… | 17 |
| [natal-cap-16-fast-variance.js](natal-cap-16-fast-variance.js) | :416 | NATAL-CAP-16 — FAST EXACT VARIANCE: closed form at L=M, product-sieve at L=W | 14 |
| [natal-cap-19-calm-lemma.js](natal-cap-19-calm-lemma.js) | :707 | NATAL-CAP 19 — THE dev(0,q) SUPPRESSION LEMMA: FUSION AT THE ANCHOR (+ @19) | 37 |
| [natal-cap-20-third-order.js](natal-cap-20-third-order.js) | :418 | NATAL-CAP-20 — THIRD ORDER: THE ZONE-SHARE EXPANSION, DERIVED ON PAPER | 9 |
| [natal-cap-24-boundK-curve.js](natal-cap-24-boundK-curve.js) | :384 | ATTACK 24 — THE bound(K) DEPTH CURVE, MEASURED AND PRICED IN CLOSED FORM | 13 |
| [natal-cap-25-excess-law.js](natal-cap-25-excess-law.js) | :558 | NATAL-CAP-25 — THE WINDOW-EXCESS DRIFT LAW: EVT vs the exact variance | 22 |
| [natal-cap-28-analytic-certificate.js](natal-cap-28-analytic-certificate.js) | :462 | ATTACK 28 — THE CERTIFICATE ENGINE: one proven head theorem, two unproven ingredients, and… | 33 |
| [natal-cap-30-skeleton-bound.js](natal-cap-30-skeleton-bound.js) | :408 | NATAL-CAP-30 — THE AGGREGATE 30-SKELETON BOUND: certified @11 through @29 | 40 |
| [natal-cap-37-at41-march.js](natal-cap-37-at41-march.js) | :415 | ATTACK 37 — THE @41 DRIFT POINT: the 2^53 audit, the K-30 engine, and the sharded march at x… | 29 |
| [natal-cap-38-loudness-driver.js](natal-cap-38-loudness-driver.js) | :354 | NATAL-CAP 38 — THE @19 DRIVER: does the Loudness Ceiling Conjecture survive its first real test? | 15 |
| [natal-cap-39-triple-census.js](natal-cap-39-triple-census.js) | :809 | NATAL-CAP 39 — THE MIXED SUPER-W TRIPLE CENSUS PAST @17 | 17 |
| [natal5-variance.js](natal5-variance.js) | :272 | NATAL@5 VARIANCE — exact CRT pair-correlation for the comb {11,17 mod 30} | 31 |
| [redteam-0828-litimports.js](history/staging/redteam-0828-litimports.js) | :82 | REDTEAM 0828 — INDEPENDENT RE-DERIVATIONS FOR THE SIX 2026-08-28 NOTES | 12 |
| [redteam-0828-varE.js](history/staging/redteam-0828-varE.js) | :596 | redteam-0828-varE.js — ADVERSARIAL companion to redteam-0828-varE.md | 19 |
| [redteam-0830-engine.js](history/staging/redteam-0830-engine.js) | :262 | RED TEAM 0830 ENGINE — AN INDEPENDENT RE-DERIVATION OF THE THREE NOTES… | 7 |
| [redteam-0830-fekete.js](history/staging/redteam-0830-fekete.js) | :591 | redteam-0830-fekete.js  —  adversarial re-derivation of the two TODO-1d notes… | 2 |
| [removal-ledger.js](removal-ledger.js) | :116 | THE REMOVAL LEDGER — Chris's capacity question, answered exactly | 8 |
| [varE-spectral.js](history/staging/varE-spectral.js) | :505 | varE-spectral.js — scratchpad-grade support for varE-spectral.md | 25 |
| [y2-ladder-recompute.js](y2-ladder-recompute.js) | :268 | Y2 LADDER RECOMPUTE: the sixteen levels, run on the CORRECTED instrument, sharded one… | 8 |
| [zone-tail-02.js](zone-tail-02.js) | :931 | ZONE-TAIL 02 — the per-zone TAIL field on the full zonegap-01 range | 13 |
| [zonegap-04-sweep-1e12.js](zonegap-04-sweep-1e12.js) | :570 | ZONEGAP 04 — THE STAGE-3 SWEEP AT X = 1e12: THE SCORING DOCUMENT FOR THE SEALED… | 6 |

## Cited by nothing

No document matches these scripts by filename or recognized shorthand.
Check their purpose and status, then cite them from the relevant note or
record their disposition. An uncited script need not contain a valid result.

*(none: every script is cited)*

## The full index, by family

### a3 (10)

| script | title | companion prose | cited by |
|---|---|---|---|
| [a3-01-misalignment-ledger.js](a3-01-misalignment-ledger.js) | A3-01 — THE MISALIGNMENT LEDGER: does the record gap RELOCATE across folds? |  | [research/ATTACKS3.md](ATTACKS3.md) +14 more |
| [a3-02-diagonal-f.js](a3-02-diagonal-f.js) | 2026-08-16 was the version that was REFUTED later the same day, and this file did not absorb… | `research/ATTACKS3.md` | [research/U-FRAME.md](U-FRAME.md) +14 more |
| [a3-03-f-from-census.js](a3-03-f-from-census.js) | A3 — f FROM THE GRAIN CENSUS LAW, WITHOUT ENUMERATION |  | [research/README.md](README.md) +35 more |
| [a3-04-maxsum-recursion.js](a3-04-maxsum-recursion.js) | A4 (ATTACKS3): a fold recursion for the FAMILY maxsum_m. |  | [research/a3-05-bound-L.md](a3-05-bound-L.md) +18 more |
| [a3-05-bound-L.js](a3-05-bound-L.js) | A3-05: BOUND L FROM RUN-CONSISTENCY PLUS CRT INDEPENDENCE |  | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +56 more |
| [a3-06-origin-vs-max.js](a3-06-origin-vs-max.js) | A3-06 — THE ORIGIN AGAINST THE MAXIMUM (ATTACKS3 A6, route B of ZONE-POSTULATE) |  | [research/ZONE-POSTULATE.md](ZONE-POSTULATE.md) +17 more |
| [a3-07-pane-overlap.js](a3-07-pane-overlap.js) | A3-07 — THE PANE BOUND THROUGH OVERLAP | `research/ATTACKS3.md` | [research/GLOSSARY.md](GLOSSARY.md) +11 more |
| [a3-08-adjacent-pairs.js](a3-08-adjacent-pairs.js) | A3-08 — THE EXACT COUNT OF ADJACENT-KILL PAIRS |  | [research/U-FRAME.md](U-FRAME.md) +20 more |
| [a3-09-histogram-operator.js](a3-09-histogram-operator.js) | A9 — THE GAP-HISTOGRAM FOLD RULE, as an exact transfer operator |  | [paper/proposals/prop-tailcount-transport.md](../paper/proposals/prop-tailcount-transport.md) +41 more |
| [a3-10-lower-tightness.js](a3-10-lower-tightness.js) | A3-10 — WHEN IS THE LOWER BOUND EXACT? |  | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +22 more |

### attack (104)

| script | title | companion prose | cited by |
|---|---|---|---|
| [attack-01-gap-cartography.js](attack-01-gap-cartography.js) | ATTACK 1 — GAP CARTOGRAPHY: where do the biggest twin-slot gaps live? |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +6 more |
| [attack-02-head-bias.js](attack-02-head-bias.js) | ATTACK 2 — HEAD-BIAS PROFILE: is the start of the period twin-poor? | `research/anchored-windows.md` | [research/ATTACKS.md](ATTACKS.md) +13 more |
| [attack-03-higher-moments.js](attack-03-higher-moments.js) | ATTACK 3 — HIGHER MOMENTS: Gaussian discipline and quartic tail bounds |  | [paper/wall-note.md](../paper/wall-note.md) +9 more |
| [attack-04-fourier-budget.js](attack-04-fourier-budget.js) | ATTACK 4 — FOURIER BUDGET: which frequencies could carry a conspiracy? |  | [paper/wall-note.md](../paper/wall-note.md) +25 more |
| [attack-05-annulus-induction.js](attack-05-annulus-induction.js) | ATTACK 5 — ANNULUS INDUCTION: a twin in every (p^2, q^2)? |  | [research/history/staging/custody-embed-migration.md](history/staging/custody-embed-migration.md) +5 more |
| [attack-06-difference-hierarchy.js](attack-06-difference-hierarchy.js) | ATTACK 6 — DIFFERENCE HIERARCHY: is difference 2 the hardest pair? |  | [paper/moire-primes.md](../paper/moire-primes.md) +15 more |
| [attack-06b-difference-map.js](attack-06b-difference-map.js) | ATTACK 6b — THE DIFFERENCE MAP: G_d(n) for ALL even d = 2..210 |  | [paper/moire-primes.md](../paper/moire-primes.md) +15 more |
| [attack-07-certificate-ceiling.js](attack-07-certificate-ceiling.js) | ATTACK 7 — CERTIFICATE CEILING (LP-adversary, moment-method form) |  | [paper/wall-note.md](../paper/wall-note.md) +6 more |
| [attack-08-pigeonhole-theorem.js](attack-08-pigeonhole-theorem.js) | ATTACK 8 — THE PIGEONHOLE SMALL-GAP THEOREM (provable, framework-native) |  | [paper/moire-primes.md](../paper/moire-primes.md) +49 more |
| [attack-0829n-X-upper.js](history/staging/attack-0829n-X-upper.js) | ATTACK 0829n X-UPPER — AN UNCONDITIONAL UPPER BOUND ON THE ROUGH-PAIR |  | [research/G2-STATE.md](G2-STATE.md) +29 more |
| [attack-0829n-doubling-bridge.js](history/staging/attack-0829n-doubling-bridge.js) | attack-0829n-doubling-bridge.js  --  TODO D: the doubling bridge at C2 = 8 |  | [research/G2-STATE.md](G2-STATE.md) +29 more |
| [attack-0829n-hsubpow-K.js](history/staging/attack-0829n-hsubpow-K.js) | attack-0829n-hsubpow-K.js  —  TODO 1d: (H-sub-pow) with an explicit K, pass 2 |  | [research/G2-STATE.md](G2-STATE.md) +29 more |
| [attack-0829n-parity-dstar.js](history/staging/attack-0829n-parity-dstar.js) | ATTACK 0829n PARITY D* — DOES THE KILLING LEVEL OF THE EXACT-DATA PARITY |  | [research/G2-STATE.md](G2-STATE.md) +29 more |
| [attack-0829n-rml-proof.js](history/staging/attack-0829n-rml-proof.js) | attack-0829n-rml-proof.js — the chain from Lemma V's PROVEN mean square to an exponent below… |  | [research/G2-STATE.md](G2-STATE.md) +29 more |
| [attack-0830-anchored-ladder-17.js](history/staging/attack-0830-anchored-ladder-17.js) | ATTACK 0830 ANCHORED-LADDER-17 — THE UNIFIED ANCHORED LADDER ONE LEVEL UP: @17/@19… |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-buchstab-deep.js](history/staging/attack-0830-buchstab-deep.js) | ATTACK 0830 BUCHSTAB-DEEP — THE DEEP-LADDER BUCHSTAB TRANSFER AT DIMENSION 2 |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-comb-tail.js](history/staging/attack-0830-comb-tail.js) | ATTACK 0830 COMB-TAIL — PRIME-COMB EQUIDISTRIBUTION IN THE TAIL REGIME |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-doubling-killrun.js](history/staging/attack-0830-doubling-killrun.js) | attack-0830-doubling-killrun.js  --  TODO D: the weighted kill-run, exactly, and whether the… |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-head-remainder.js](history/staging/attack-0830-head-remainder.js) | ATTACK 0830 HEAD-REMAINDER — THE HEAD'S HL REMAINDER SPLIT INTO AN ENSEMBLE |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-rec-cheapest.js](history/staging/attack-0830-rec-cheapest.js) | attack-0830-rec-cheapest.js — REC(s, u0) at its cheapest legal point, s = 1 + sqrt(e) + eta,… |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-record-mechanism.js](history/staging/attack-0830-record-mechanism.js) | A MECHANISM ATTACK ON THE RESIDUAL OF KOURBATOV'S b |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-tail-derivation.js](history/staging/attack-0830-tail-derivation.js) | ATTACK-0830-TAIL-DERIVATION — THE ENSEMBLE TAIL OF THE TILE, EXACT AT x = 7..29, AGAINST THE… |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-0830-varE-identification.js](history/staging/attack-0830-varE-identification.js) | attack-0830-varE-identification.js — support for attack-0830-varE-identification.md |  | [research/G2-STATE.md](G2-STATE.md) +27 more |
| [attack-09-chen-theta.js](attack-09-chen-theta.js) | ATTACK 9 — CHEN-STYLE ALMOST-TWINS: the price curve of the last step |  | [paper/wall-note.md](../paper/wall-note.md) +8 more |
| [attack-0c-holesweep-01.js](attack-0c-holesweep-01.js) | TODO 0c, the hole-sweep probe Chris asked for (2026-08-20): at the fold from level 5 to… | `research/FOLD-PROFILE.md` | [paper/moire-primes.md](../paper/moire-primes.md) +104 more |
| [attack-0c0e-01-deleted-family.js](attack-0c0e-01-deleted-family.js) | TODO 0c x 0e, stage 2: measure the RESIDUE-DELETED MAXSUM FAMILY exactly. | `research/sift-limit-attack.md` | [paper/moire-primes.md](../paper/moire-primes.md) +104 more |
| [attack-0c0e-02-level-selection.js](attack-0c0e-02-level-selection.js) | TODO 0c x 0e, stage 3: THE LEVEL-SELECTION HUNT. | `research/ZONE-POSTULATE.md` | [paper/moire-primes.md](../paper/moire-primes.md) +104 more |
| [attack-10-anchored-origin.js](attack-10-anchored-origin.js) | ATTACK 10 — ANCHORED ORIGIN: the pattern is not a random rotation | `research/anchored-windows.md` | [paper/anchored-note.md](../paper/anchored-note.md) +10 more |
| [attack-D-twopoint.js](attack-D-twopoint.js) | ATTACK D — TWO-POINT DATA AGAINST DP1: the sharp Boole-Frechet certificate for "no empty… | `research/sift-limit-attack.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [attack-L-law.js](attack-L-law.js) | ATTACK L-LAW — WHAT DOES `L` DO ON ITS OWN, LEVEL BY LEVEL? |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [attack-L-subadditivity.js](attack-L-subadditivity.js) | IS L SUB-ADDITIVE WHEN TWO PRIME SETS MERGE? | `research/sift-limit-attack.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [attack-ab-coupling-01.js](attack-ab-coupling-01.js) | A/B COUPLING: FEEDING THE TWO KILL CHANNELS' RIGIDITY INTO THE CRITERION |  | [research/history/staging/attack-ab-coupling.md](history/staging/attack-ab-coupling.md) +7 more |
| [attack-ab-coupling-02-lp.js](attack-ab-coupling-02-lp.js) | ADVERSARIAL VERIFICATION OF THE A/B-COUPLING PILOT, AND THE FRACTIONAL LP |  | [research/history/staging/consolidation-wave.md](history/staging/consolidation-wave.md) +7 more |
| [attack-advmin-1113.js](attack-advmin-1113.js) | ATTACK ADVMIN-11/13 — THE EXACT ADVERSARIAL MINIMUM OF THE SCOUR |  | [research/G2-STATE.md](G2-STATE.md) +11 more |
| [attack-anchored-01-unify.js](attack-anchored-01-unify.js) | ATTACK ANCHORED-01 — UNIFYING THE MIRROR-SWEEP LEMMA WITH COFACTOR RIGIDITY |  | [research/history/staging/attack-anchored-01.md](history/staging/attack-anchored-01.md) +4 more |
| [attack-anchored-02-ladder17.js](attack-anchored-02-ladder17.js) | ATTACK ANCHORED-02 — THE UNIFIED LADDER GENERALIZED TO @17 AND @19 |  | [research/history/staging/attack-0830-anchored-ladder-17.md](history/staging/attack-0830-anchored-ladder-17.md), [research/history/staging/attack-anchored-02.md](history/staging/attack-anchored-02.md), [research/history/staging/redteam-0821-structure.md](history/staging/redteam-0821-structure.md) |
| [attack-b2mean-01.js](attack-b2mean-01.js) | attack-b2mean-01.js — THE MEAN VALUE OF B2: WHERE ITS MASS SITS, THE PRIMITIVE-MODE REPAIR,… |  | [research/history/staging/applied-0828-backfill-1.md](history/staging/applied-0828-backfill-1.md) +3 more |
| [attack-barrier-kappa2.js](history/staging/attack-barrier-kappa2.js) | attack-barrier-kappa2.js — scratchpad-grade support for… |  | [paper/wall-note.md](../paper/wall-note.md) +5 more |
| [attack-bc-parity-floor-01.js](attack-bc-parity-floor-01.js) | attack-bc-parity-floor-01 — is the 2 in B/C -> 2 the parity floor's 2? |  | [research/history/staging/attack-bc-parity-floor.md](history/staging/attack-bc-parity-floor.md) |
| [attack-beta2-02-theta-total.js](attack-beta2-02-theta-total.js) | The minimal theta_total for the vector sieve: Brudern-Fouvry's own polytope, the break-even… |  | [research/history/staging/applied-0828-backfill-4.md](history/staging/applied-0828-backfill-4.md) +5 more |
| [attack-beta2-03-exact-strata.js](attack-beta2-03-exact-strata.js) | DP3: RE-INSERTING EXACT BUCHSTAB STRATA INTO THE TWO-CLASS INTERVAL SIFT | `research/sift-limit-attack.md` | [research/OUTCOMES.md](OUTCOMES.md) +18 more |
| [attack-beta2-04-loss-budget.js](attack-beta2-04-loss-budget.js) | CORRECTION 2026-08-19 (monotonicity sweep, history/staging/monotonicity-sweep.md) |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +17 more |
| [attack-beta2-05-covering-prune.js](attack-beta2-05-covering-prune.js) | ATTACK beta2-05 — THE COVERING PRUNE: what A144311's branch-and-bound proves, and the exact… | `research/two-class-lower-bounds.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +15 more |
| [attack-beta2-A-B-bounded.js](attack-beta2-A-B-bounded.js) | IS B(z,s) BOUNDED? — the one gap left in the proved mean-square Lemma V |  | [research/history/staging/attack-AB-bounded.md](history/staging/attack-AB-bounded.md) +8 more |
| [attack-bf-split.js](attack-bf-split.js) | ATTACK BF-SPLIT — is Brudern-Fouvry's level split (D, Delta) = (x^{1/2}, x^{3/4}) optimal… |  | [research/OUTCOMES.md](OUTCOMES.md) +9 more |
| [attack-bonferroni-degree.js](attack-bonferroni-degree.js) | ATTACK: WHAT DEGREE DOES THE BOOLE-FRECHET CERTIFICATE NEED? |  | [research/ZONE-POSTULATE.md](ZONE-POSTULATE.md) +9 more |
| [attack-c2drift-01.js](attack-c2drift-01.js) | WHY DOES c2' DRIFT UPWARD? THE SHAPE OF THE DRIFT, MEASURED WITH AN IN-PASS CONTROL THAT… | `research/maxgap-law.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [attack-delta37-01.js](attack-delta37-01.js) | ATTACK delta37-01 — THE DELTA MECHANISM AND x = 37, BOTH THROUGH THE HL LENS |  | [research/history/staging/applied-0828-backfill-2.md](history/staging/applied-0828-backfill-2.md) +4 more |
| [attack-doubling-01.js](attack-doubling-01.js) | THE DOUBLING ATTACK'S FIRST MOVE: ENUMERATE BEFORE PROVING. |  | [research/history/staging/applied-0828-backfill-4.md](history/staging/applied-0828-backfill-4.md) +14 more |
| [attack-f4weak-01.js](attack-f4weak-01.js) | attack-f4weak-01.js — THE WEAKEST SUFFICIENT FORM OF F4: MODE-COUNT CHECK |  | [research/history/staging/applied-0828-backfill-2.md](history/staging/applied-0828-backfill-2.md) +5 more |
| [attack-fekete-1d-01-defect47.js](attack-fekete-1d-01-defect47.js) | TODO 1d, THE BOUNDED-DEFECT FEKETE ROUTE, PROBED AT 47#. |  | [research/history/staging/attack-0829n-hsubpow-K.md](history/staging/attack-0829n-hsubpow-K.md) +3 more |
| [attack-fekete-1d-02-lemma.js](attack-fekete-1d-02-lemma.js) | TODO 1d: WHAT DOES A BOUNDED DEFECT BUY? THE EXACT LEMMA, ITS HYPOTHESES |  | [research/history/staging/attack-0829n-hsubpow-K.md](history/staging/attack-0829n-hsubpow-K.md) +5 more |
| [attack-foldL-01-census.js](attack-foldL-01-census.js) | ATTACK FOLD-L 01 — THE CHANNEL-COMPATIBLE RUN CENSUS, AND THE FORCED CEILING | `research/kappa-not-L.md` | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +12 more |
| [attack-foldL-02-bridge.js](attack-foldL-02-bridge.js) | ANGLE 2 on the fold multiplier L: nail the bridge from L to the OLD gap word, then climb the… | `research/a3-05-bound-L.md` | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +11 more |
| [attack-foldL-03-transport.js](attack-foldL-03-transport.js) | ATTACK fold-L, ANGLE 3 — THE TRANSPORTABILITY AUDIT | `research/kappa-not-L.md` | [paper/proposals/prop-tailcount-transport.md](../paper/proposals/prop-tailcount-transport.md) +16 more |
| [attack-foldL-04-genealogy.js](attack-foldL-04-genealogy.js) | ATTACK foldL-04 — GAP GENEALOGY AMORTIZATION, exact tiles | `research/gate-multiplies.md` | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +4 more |
| [attack-foldL-04-localized.js](attack-foldL-04-localized.js) | ATTACK foldL-04 — GAP GENEALOGY AMORTIZATION, localized (deep) instrument | `research/LOCALIZED-GAP.md` | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +8 more |
| [attack-foldL-05-maxsum-direct.js](attack-foldL-05-maxsum-direct.js) | ATTACK foldL-05 -- THE DIRECT 0c ATTACK: a proven upper bound on maxsum_m |  | [research/OUTCOMES.md](OUTCOMES.md) +10 more |
| [attack-foldL-06-scaling.js](attack-foldL-06-scaling.js) | ATTACK foldL-06 — THE MULTI-KILL EXTINCTION SCALING TEST |  | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +25 more |
| [attack-ford-halberstam.js](attack-ford-halberstam.js) | ATTACK FORD-HALBERSTAM — the one unexplored inequality on the vector-sieve road, and its… |  | [research/OUTCOMES.md](OUTCOMES.md) +11 more |
| [attack-frontier37-01-word.js](attack-frontier37-01-word.js) | FRONTIER 37, LEG 1 — THE WORD STATISTIC AT THE NINTH DIAGONAL CELL |  | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +8 more |
| [attack-frontier37-02-transport.js](attack-frontier37-02-transport.js) | FRONTIER 37, LEG 2 — THE DIRECT FOLD, THE CERTIFICATE, AND THE TRANSPORT |  | [paper/proposals/prop-tailcount-transport.md](../paper/proposals/prop-tailcount-transport.md) +5 more |
| [attack-growth-law.js](attack-growth-law.js) | ATTACK E — THE GROWTH LAW OF G2: what does the truth actually do, and which candidate laws… | `research/sift-limit-attack.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +12 more |
| [attack-history-dial-01.js](attack-history-dial-01.js) | ATTACK HISTORY-DIAL-01 — PRICING THE ANCHOR IN BITS | `research/G2-STATE.md` | [research/history/staging/attack-history-dial.md](history/staging/attack-history-dial.md) |
| [attack-hm-basis.js](attack-hm-basis.js) | THE u_sup LADDER IN THE (h, m) BASIS — the weights attached, both columns |  | [research/OUTCOMES.md](OUTCOMES.md) +12 more |
| [attack-hsub-01.js](attack-hsub-01.js) | TODO 1d: ATTACK ON (H-sub), THE SINGLE REMAINING GAP OF THE BOUNDED-DEFECT |  | [research/G2-STATE.md](G2-STATE.md) +11 more |
| [attack-hybrid-bound.js](attack-hybrid-bound.js) | ATTACK HYBRID BOUND — gluing an EXACT finite head onto Brun's asymptotic tail, and measuring… | `research/sift-limit-attack.md` | [research/OUTCOMES.md](OUTCOMES.md) +11 more |
| [attack-ioslack-survey.js](attack-ioslack-survey.js) | TODO 0e, FIRST MOVE: THE INSTRUMENT-SLACK OSCILLATION SURVEY. |  | [research/OUTCOMES.md](OUTCOMES.md) +6 more |
| [attack-kk-substitution.js](attack-kk-substitution.js) | ATTACK 4 — THE KALMYNIN-KONYAGIN SUBSTITUTION AT D3: does the paper proof stand when Omega_p… |  | [paper/kk-lower-bound.md](../paper/kk-lower-bound.md) +15 more |
| [attack-kstar-01.js](attack-kstar-01.js) | K*'S GROWTH: EXTEND THE LADDER, EXACTIFY THE HL FIRST MOMENT, AND TURN |  | [research/history/staging/applied-0828-backfill-1.md](history/staging/applied-0828-backfill-1.md) +4 more |
| [attack-l1-residue-01-middleband.js](attack-l1-residue-01-middleband.js) | ATTACK L1-RESIDUE 01 — the L = 1 residue count of the Localized Transport |  | [research/history/staging/attack-l1-residue.md](history/staging/attack-l1-residue.md) +3 more |
| [attack-lambda-ledger-01.js](attack-lambda-ledger-01.js) | ATTACK — THE LAMBDA-WEIGHTED FOLD LEDGER: DOES PARITY INFORMATION SURVIVE |  | [research/data-reuse-audit.md](data-reuse-audit.md), [research/history/staging/attack-lambda-ledger.md](history/staging/attack-lambda-ledger.md), [research/history/staging/fold-ledger-forced.md](history/staging/fold-ledger-forced.md) |
| [attack-lower-bound.js](attack-lower-bound.js) | ATTACK LOWER BOUND — pricing the OTHER side of the two-class Jacobsthal problem: how far… | `research/two-class-lower-bounds.md` | [paper/kk-lower-bound.md](../paper/kk-lower-bound.md) +21 more |
| [attack-maxvr-uniform-01.js](attack-maxvr-uniform-01.js) | ATTACK — A LEVEL-UNIFORM UPPER BOUND ON max VR | `research/README.md` | [research/history/staging/attack-maxvr-uniform.md](history/staging/attack-maxvr-uniform.md), [research/history/staging/u2-engine-depth.md](history/staging/u2-engine-depth.md) |
| [attack-mp-derive-01.js](attack-mp-derive-01.js) | ATTACK mp-derive-01 — DERIVING THE FOLD-FACTOR FIELD M_p FROM ARITHMETIC |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +5 more |
| [attack-mp-derive-02-anchor.js](attack-mp-derive-02-anchor.js) | ATTACK mp-derive-02 — THE FORMULA-BAND TEST AT THE FRESH ANCHOR 1.32e11 |  | [research/history/staging/mp-derivation.md](history/staging/mp-derivation.md), [research/history/staging/mp-window-prereg.md](history/staging/mp-window-prereg.md), [research/history/staging/width-sweep-attacks.md](history/staging/width-sweep-attacks.md) |
| [attack-multiplicity3-01.js](attack-multiplicity3-01.js) | ATTACK MULTIPLICITY-3 — THE m ≥ 3 INSTRUMENT, AND WHAT IT BUYS AT THE ANCHOR |  | [research/history/staging/attack-multiplicity3.md](history/staging/attack-multiplicity3.md) |
| [attack-parity-adversary-01.js](attack-parity-adversary-01.js) | ATTACK PARITY ADVERSARY 01 — THE PARITY OBSTRUCTION AS A FINITE LP ON OUR |  | [research/history/staging/attack-0829n-parity-dstar.md](history/staging/attack-0829n-parity-dstar.md) +4 more |
| [attack-perfold-01-error-model.js](attack-perfold-01-error-model.js) | ATTACK perfold-01 — THE PER-FOLD ERROR MODEL OF THE EXTINCTION LAW |  | [research/history/staging/mp-window-prereg.md](history/staging/mp-window-prereg.md) +3 more |
| [attack-perfold-02-blindwindow.js](attack-perfold-02-blindwindow.js) | ATTACK perfold-02 — THE BLIND FOLD-FACTOR BAND TEST AT A FRESH ANCHOR |  | [research/history/staging/mp-window-prereg.md](history/staging/mp-window-prereg.md) +4 more |
| [attack-prior-art-last-ground.js](attack-prior-art-last-ground.js) | ATTACK: PRIOR ART, THE LAST UNSEARCHED GROUND | `research/SEARCH-CONVENTIONS.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [attack-quadpoint-01.js](attack-quadpoint-01.js) | ATTACK QUADPOINT 01 — THE ANCHORED-CAP TRANSPLANT TO THE QUADRATIC POINT |  | [research/history/staging/applied-0828-quadpoint.md](history/staging/applied-0828-quadpoint.md) +12 more |
| [attack-quadpoint-02.js](attack-quadpoint-02.js) | ATTACK QUADPOINT 02 — THE DEPTH-COST DECADE EXTENSION (Z1): THE SEGMENTED |  | [research/history/staging/applied-0828-backfill-3.md](history/staging/applied-0828-backfill-3.md) +14 more |
| [attack-quadpoint-03.js](attack-quadpoint-03.js) | ATTACK QUADPOINT 03 — THE IDENTITY: THE TRANSPLANTED CAP FAMILY COLLAPSES |  | [research/history/staging/attack-0829n-X-upper.md](history/staging/attack-0829n-X-upper.md) +12 more |
| [attack-quartic-01.js](attack-quartic-01.js) | attack-quartic-01.js — THE QUARTIC: <rho~^4> AS A 4-MODE RESONANCE SUM |  | [research/history/staging/applied-0828-backfill-4.md](history/staging/applied-0828-backfill-4.md), [research/history/staging/attack-quartic-01.md](history/staging/attack-quartic-01.md), [research/history/staging/redteam-0821-wave2-analytic.md](history/staging/redteam-0821-wave2-analytic.md) |
| [attack-rhoms-01.js](attack-rhoms-01.js) | attack-rhoms-01.js — THE <rho^2> LEMMA: PROVED AT EXPONENT 2s, THREE WAYS |  | [research/history/staging/applied-0828-closures.md](history/staging/applied-0828-closures.md) +12 more |
| [attack-roughpair-error-01.js](attack-roughpair-error-01.js) | ATTACK ROUGHPAIR ERROR 01 — TRUTH-SIDE vs PROOF-SIDE ON THE FOURTH NAMING |  | [research/history/staging/attack-0829n-X-upper.md](history/staging/attack-0829n-X-upper.md) +6 more |
| [attack-sigma31-01.js](attack-sigma31-01.js) | ATTACK-SIGMA31 01 — KNOWN-TRUTH CONTROL DRAWS AT @31: CLOSING THE σ |  | [research/history/staging/applied-0828-backfill-2.md](history/staging/applied-0828-backfill-2.md) +3 more |
| [attack-sqrt-cancellation.js](attack-sqrt-cancellation.js) | ATTACK SQRT-CANCELLATION — the 35% of square-root cancellation, written out as an exact… |  | [research/endpoint-target-audit.md](endpoint-target-audit.md) +15 more |
| [attack-tail-maximal.js](attack-tail-maximal.js) | THE TAIL-ONLY MAXIMAL INEQUALITY — is the split a localisation or a reparametrisation? |  | [research/OUTCOMES.md](OUTCOMES.md) +8 more |
| [attack-tau-repricing.js](attack-tau-repricing.js) | ATTACK 7 — THE tau(m) RE-PRICING: what does the cheaper quantifier price buy? |  | [research/OUTCOMES.md](OUTCOMES.md) +9 more |
| [attack-theta-margin.js](attack-theta-margin.js) | ATTACK THETA-MARGIN — the last 0.209 of theta_total, priced against the Brudern-Fouvry… | `research/sift-limit-attack.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [attack-w1hl-01.js](attack-w1hl-01.js) | ATTACK w1hl-01 — IS W1 THE HARDY–LITTLEWOOD SINGULAR SERIES IN DISGUISE? |  | [research/history/staging/redteam-0821-structure.md](history/staging/redteam-0821-structure.md), [research/history/staging/w1-singular-series.md](history/staging/w1-singular-series.md), [research/history/staging/width-repairs.md](history/staging/width-repairs.md) |
| [attack-x-offset-01-terms.js](attack-x-offset-01-terms.js) | ATTACK-X-OFFSET 01 — CANDIDATE CORRECTION TERMS FOR THE ~3.8 LAW'S OFFSET |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +5 more |
| [attack-x-offset-02-profile.js](attack-x-offset-02-profile.js) | ATTACK-X-OFFSET 02 — WHERE THE OFFSET LIVES: LINE, CONTROL, MARGINALS, BINS |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [attack-x-offset-03-cofactor.js](attack-x-offset-03-cofactor.js) | ATTACK-X-OFFSET 03 — THE COFACTOR-ONE LAYER: A DERIVED ENRICHMENT LAW |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/item-x-offset.md](history/staging/item-x-offset.md), [research/history/staging/xchan-at37-score.md](history/staging/xchan-at37-score.md) |
| [attack-z3-immune-01.js](attack-z3-immune-01.js) | ATTACK Z3 IMMUNE 01 — THE QR REFINEMENT SCORED AGAINST ITS OWN GUARDRAIL |  | [research/OUTCOMES.md](OUTCOMES.md) +10 more |
| [attack2-01-06-seam-census.js](attack2-01-06-seam-census.js) | ATTACK2 1+6 — SEAM CENSUS: do the seams supply ACTUAL twin primes? |  | [paper/moire-primes.md](../paper/moire-primes.md) +10 more |
| [attack2-02-08-tomography.js](attack2-02-08-tomography.js) | ATTACKS 2 + 8 — STRATA TOMOGRAPHY & THE 11 ANOMALY |  | [paper/moire-primes.md](../paper/moire-primes.md) +8 more |
| [attack2-03-09-depth-formula.js](attack2-03-09-depth-formula.js) | ATTACK2 03+09 — FOSSIL DEPTH FORMULA + STACKING CALCULUS |  | [paper/moire-primes.md](../paper/moire-primes.md) +10 more |
| [attack2-04-10-hierarchy-oeis.js](attack2-04-10-hierarchy-oeis.js) | ATTACK2 #4 + #10 — SEAM HIERARCHY + SEAM SEQUENCES FOR OEIS |  | [research/ATTACKS2.md](ATTACKS2.md) +7 more |
| [attack2-05-07-integral-ladder.js](attack2-05-07-integral-ladder.js) | ATTACK2-05 + ATTACK2-07 — THE FOSSIL INTEGRAL and THE SEAM LADDER | `research/anchored-windows.md` | [paper/moire-primes.md](../paper/moire-primes.md) +12 more |
| [attack2-rankin2d.js](attack2-rankin2d.js) | ATTACK2 — RANKIN-2D: how far can TWO classes per prime actually cover? | `research/covering-dive.md` | [paper/kk-lower-bound.md](../paper/kk-lower-bound.md) +26 more |
| [attack2-rich-vein.js](attack2-rich-vein.js) | ATTACK 2 FOLLOW-UP — THE RICH VEIN [1667,1956) mod 2310 |  | [paper/moire-primes.md](../paper/moire-primes.md) +8 more |

### discrepancy (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [discrepancy-two-class.js](discrepancy-two-class.js) | DISCREPANCY, TWO CLASSES — Holt's DeltaPhi custody, its twin-slot analogue, and the… |  | [research/G2-STATE.md](G2-STATE.md) +47 more |

### exponent (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [exponent-control.js](exponent-control.js) | EXPONENT-CONTROL — the exponent of G2(x#), calibrated against a control whose answer is known | `research/PRIOR-ART.md` | [paper/beta2-note.md](../paper/beta2-note.md) +88 more |

### fold-profile (17)

| script | title | companion prose | cited by |
|---|---|---|---|
| [fold-profile-01-per-copy.js](fold-profile-01-per-copy.js) | FOLD PROFILE 01 — THE PER-COPY KILL LEDGER |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +10 more |
| [fold-profile-02-deviation-law.js](fold-profile-02-deviation-law.js) | FOLD PROFILE 02 — THE DEVIATION LAW, AND THE NEAR-PALINDROME |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +4 more |
| [fold-profile-03-inside-copy0.js](fold-profile-03-inside-copy0.js) | FOLD PROFILE 03 — INSIDE COPY 0: WHERE THE DAMAGE FALLS | `research/FOLD-PROFILE.md` | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +7 more |
| [fold-profile-04-count-vs-damage.js](fold-profile-04-count-vs-damage.js) | FOLD PROFILE 04 — DOES THE KILL COUNT PREDICT THE DAMAGE? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +4 more |
| [fold-profile-05-survival-curve.js](fold-profile-05-survival-curve.js) | FOLD PROFILE 05 — THE SURVIVAL CURVE INSIDE A FIXED TILE WINDOW |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +7 more |
| [fold-profile-06-scale-free.js](fold-profile-06-scale-free.js) | FOLD PROFILE 06 — IS THE SURVIVAL LAW SCALE FREE? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +4 more |
| [fold-profile-07-impact-window.js](fold-profile-07-impact-window.js) | FOLD PROFILE 07 — THE IMPACT WINDOW: WHICH FOLDS CAN TOUCH THE TILE AT ALL |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +5 more |
| [fold-profile-08-zone-localized-gap.js](fold-profile-08-zone-localized-gap.js) | FOLD PROFILE 08 — THE ZONE-LOCALIZED MAX GAP |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +9 more |
| [fold-profile-09-natal-dispersion.js](fold-profile-09-natal-dispersion.js) | FOLD PROFILE 09 — NATAL DISPERSION: can the later primes kill the whole cohort? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +10 more |
| [fold-profile-10-lineage-census.js](fold-profile-10-lineage-census.js) | FOLD PROFILE 10 — THE LINEAGE CENSUS: where do twin slots actually come from? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +5 more |
| [fold-profile-11-lineage-yield.js](fold-profile-11-lineage-yield.js) | FOLD PROFILE 11 — LINEAGE YIELD: survivors against opportunities |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +5 more |
| [fold-profile-12-anatomy-survival.js](fold-profile-12-anatomy-survival.js) | FOLD PROFILE 12 — ANATOMY: is twin-prime survival above the mean anywhere? |  | [paper/moire-primes.md](../paper/moire-primes.md) +12 more |
| [fold-profile-13-hotspot-sweep.js](fold-profile-13-hotspot-sweep.js) | FOLD PROFILE 13 — THE SLIDING SWEEP: closing the coverage gaps of 12 |  | [paper/moire-primes.md](../paper/moire-primes.md) +16 more |
| [fold-profile-13-null-mc.js](fold-profile-13-null-mc.js) | FOLD PROFILE 13, COMPANION — IS THE ONE "*** ABOVE ***" AN EXCESS AT ALL? |  | [paper/moire-primes.md](../paper/moire-primes.md) +16 more |
| [fold-profile-14-underdispersion.js](fold-profile-14-underdispersion.js) | FOLD PROFILE 14 — THE SUB-BINOMIAL DISPERSION: real, or my estimator? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +6 more |
| [fold-profile-15-variance-law.js](fold-profile-15-variance-law.js) | FOLD PROFILE 15 — THE VARIANCE DEFICIT: what law does it follow? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +7 more |
| [fold-profile-16-is-it-the-tile.js](fold-profile-16-is-it-the-tile.js) | FOLD PROFILE 16 — IS THE VARIANCE DEFICIT A TILE PHENOMENON AT ALL? |  | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +6 more |

### gate (3)

| script | title | companion prose | cited by |
|---|---|---|---|
| [gate-multiplies-01.js](gate-multiplies-01.js) | Does "the gate multiplies" close the whole u-frame branch, or only the merge chain? This… |  | [research/gate-multiplies.md](gate-multiplies.md) +5 more |
| [gate-multiplies-02.js](gate-multiplies-02.js) | The decisive test. The no-fixed-point argument needs the per-fold INDEX COST to be… |  | [research/G2-STATE.md](G2-STATE.md) +4 more |
| [gate-multiplies-03.js](gate-multiplies-03.js) | Streams T_29 (214,708,725 twin slots) out of T_23 and reads maxsum_m for m <= 12 without… |  | [research/G2-STATE.md](G2-STATE.md) +10 more |

### h2 (4)

| script | title | companion prose | cited by |
|---|---|---|---|
| [h2-length-needed.js](h2-length-needed.js) | How long does a two-class ladder have to be before its growth exponent is readable to the… |  | [research/h2-scoping.md](h2-scoping.md) +8 more |
| [h2-lower-ladder.js](h2-lower-ladder.js) | The cheap half of the h2 computation. | `research/h2-scoping.md` | [research/h2-scoping.md](h2-scoping.md) +7 more |
| [h2-prototype.js](h2-prototype.js) | Computes omega2(n), the condensed paired Jacobsthal function of Ziller and Morack… |  | [research/h2-scoping.md](h2-scoping.md) +5 more |
| [h2-randomised.js](h2-randomised.js) | A randomised-restart heuristic lower bound for omega2(n), to test whether a cheap proxy… |  | [research/h2-scoping.md](h2-scoping.md) +7 more |

### level-ledger (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [level-ledger-tight.js](level-ledger-tight.js) | LEVEL-LEDGER-TIGHT: how loose is \|h(a) - D/p\| <= 2*3^{pi(x)-1}, and how much of that slack… | `research/FOLD-PROFILE.md` | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +42 more |

### localized (5)

| script | title | companion prose | cited by |
|---|---|---|---|
| [localized-01-ladder.js](localized-01-ladder.js) | The LOCALIZED gap ladder.  See research/LOCALIZED-GAP.md §5. | `research/LOCALIZED-GAP.md` | [research/LOCALIZED-GAP.md](LOCALIZED-GAP.md) +11 more |
| [localized-02-fixed-window.js](localized-02-fixed-window.js) | Separate the two effects in the localized gap.  See LOCALIZED-GAP.md §5. | `research/LOCALIZED-GAP.md` | [research/LOCALIZED-GAP.md](LOCALIZED-GAP.md) +4 more |
| [localized-03-merge-lemma.js](localized-03-merge-lemma.js) | The localized single-kill claim.  See research/LOCALIZED-GAP.md. | `research/LOCALIZED-GAP.md` | [research/G2-STATE.md](G2-STATE.md) +7 more |
| [localized-04-maxsum.js](localized-04-maxsum.js) | QUESTION.  The Localized Merge Lemma (research/LOCALIZED-GAP.md) reduces the whole upper… | `research/LOCALIZED-GAP.md` | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +48 more |
| [localized-single-alignment.js](localized-single-alignment.js) | LOCALIZED SINGLE-ALIGNMENT RECURSION — M(x, x^3) under folding  (TODO 0d) | `research/gate-multiplies.md` | [research/FOLD-PROFILE.md](FOLD-PROFILE.md) +22 more |

### maxgap (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [maxgap-law.js](maxgap-law.js) | maxgap-law.js  --  Does  maxgap ~ c * mbar * lnD  survive far enough to contradict… | `research/localized-04-maxsum.md` | [paper/two-class-jacobsthal.md](../paper/two-class-jacobsthal.md) +79 more |

### natal-cap (39)

| script | title | companion prose | cited by |
|---|---|---|---|
| [natal-cap-01-window-cartography.js](natal-cap-01-window-cartography.js) | NATAL-CAP ATTACK 1 — MAXIMAL-WINDOW CARTOGRAPHY of the Natal@5 pattern |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +8 more |
| [natal-cap-02-fourier-budget.js](natal-cap-02-fourier-budget.js) | NATAL CAP 02 — FOURIER / ERDOS–TURAN CERTIFIED DISCREPANCY OF THE NATAL SET |  | [paper/wall-note.md](../paper/wall-note.md) +26 more |
| [natal-cap-03-dilation-ensemble.js](natal-cap-03-dilation-ensemble.js) | NATAL CAP 03 — THE DILATION ENSEMBLE |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +6 more |
| [natal-cap-04-packing-cap.js](natal-cap-04-packing-cap.js) | ATTACK 4 — THE UNIVERSAL PACKING CAP (two-class admissible tuples) natal-cap-04-packing-cap.js |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +18 more |
| [natal-cap-05-second-moment.js](natal-cap-05-second-moment.js) | NATAL-CAP 05 — SECOND MOMENT OVER THE SCOUR | `research/natal-cap-19-calm-lemma.md` | [paper/anchored-note.md](../paper/anchored-note.md) +14 more |
| [natal-cap-06-bonferroni.js](natal-cap-06-bonferroni.js) | ATTACK 6 — TRUNCATED INCLUSION–EXCLUSION CERTIFICATES ON THE NATAL@5 SET |  | [paper/proposals/prop-staircase-note.md](../paper/proposals/prop-staircase-note.md) +11 more |
| [natal-cap-07-trajectory.js](natal-cap-07-trajectory.js) | ATTACK 7 — TRAJECTORY CONCENTRATION: the Scour march as a near-martingale | `research/natal-cap-14-discrepancy-lemma.md` | [paper/anchored-note.md](../paper/anchored-note.md) +13 more |
| [natal-cap-08-staircase.js](natal-cap-08-staircase.js) | ATTACK 8 — THE STAIRCASE OF HARD CAPS |  | [paper/anchored-note.md](../paper/anchored-note.md) +18 more |
| [natal-cap-09-mirror.js](natal-cap-09-mirror.js) | ATTACK 9: MIRROR PAIRING — does the palindrome force EXACT kill-splitting? |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +6 more |
| [natal-cap-10-sieve-cap.js](natal-cap-10-sieve-cap.js) | NATAL-CAP ATTACK 10 — THE RIGOROUS SIEVE CAP (upper-bound sieve, per prime) |  | [paper/anchored-note.md](../paper/anchored-note.md) +39 more |
| [natal-cap-11-kstar23.js](natal-cap-11-kstar23.js) | ATTACK 11 — K*(23) AND THE ANCHORED DRIFT: the Scour march at x = 23 |  | [paper/anchored-note.md](../paper/anchored-note.md) +16 more |
| [natal-cap-12-overlap-sign.js](natal-cap-12-overlap-sign.js) | NATAL-CAP 12 — THE SUB-CRT OVERLAP SIGN: PROVE IT OR REFUTE IT | `research/natal-cap-12-overlap-sign.md` | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +20 more |
| [natal-cap-13-anchored-calm.js](natal-cap-13-anchored-calm.js) | NATAL-CAP 13 — THE ANCHORED CALM: STRUCTURE OR LUCK? |  | [paper/anchored-note.md](../paper/anchored-note.md) +10 more |
| [natal-cap-14-discrepancy-lemma.js](natal-cap-14-discrepancy-lemma.js) | ATTACK 14 — THE DISCREPANCY LEMMA: exact per-step laws for the Scour march, and the honest… |  | [paper/anchored-note.md](../paper/anchored-note.md) +16 more |
| [natal-cap-15-head-certificate.js](natal-cap-15-head-certificate.js) | ATTACK 15 — THE COMPOSED HEAD CERTIFICATE |  | [research/history/NIGHT-LEDGER-2026-08-14-15.md](history/NIGHT-LEDGER-2026-08-14-15.md), [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/qc-scripts-S1.md](history/staging/qc-scripts-S1.md) |
| [natal-cap-16-fast-variance.js](natal-cap-16-fast-variance.js) | NATAL-CAP-16 — FAST EXACT VARIANCE: closed form at L=M, product-sieve at L=W |  | [paper/anchored-note.md](../paper/anchored-note.md) +13 more |
| [natal-cap-17-cheap-laws.js](natal-cap-17-cheap-laws.js) | NATAL-CAP CHEAP-LAWS PACK |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [natal-cap-18-at29.js](natal-cap-18-at29.js) | ATTACK 18 — THE @29 TRIPLE-DECIDER: one segmented Scour march at x = 29 |  | [paper/anchored-note.md](../paper/anchored-note.md) +22 more |
| [natal-cap-19-calm-lemma.js](natal-cap-19-calm-lemma.js) | NATAL-CAP 19 — THE dev(0,q) SUPPRESSION LEMMA: FUSION AT THE ANCHOR (+ @19) | `research/natal-cap-19-calm-lemma.md` | [paper/anchored-note.md](../paper/anchored-note.md) +36 more |
| [natal-cap-20-third-order.js](natal-cap-20-third-order.js) | NATAL-CAP-20 — THIRD ORDER: THE ZONE-SHARE EXPANSION, DERIVED ON PAPER |  | [research/bv-import-survey.md](bv-import-survey.md) +8 more |
| [natal-cap-21-beyond-chebyshev.js](natal-cap-21-beyond-chebyshev.js) | ATTACK 21 — BEYOND CHEBYSHEV: the first unconditional ensemble bound past the second moment,… |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +28 more |
| [natal-cap-22-at31-drift.js](natal-cap-22-at31-drift.js) | ATTACK 22 — THE @31 DRIFT POINT: one totals-only march at x = 31 |  | [paper/anchored-note.md](../paper/anchored-note.md) +9 more |
| [natal-cap-23-covadj-proof.js](natal-cap-23-covadj-proof.js) | NATAL-CAP-23 — Cov_adj < 0: certified in aggregate, refuted uniformly in q | `research/natal-cap-23-covadj-proof.md` | [paper/anchored-note.md](../paper/anchored-note.md) +30 more |
| [natal-cap-24-boundK-curve.js](natal-cap-24-boundK-curve.js) | ATTACK 24 — THE bound(K) DEPTH CURVE, MEASURED AND PRICED IN CLOSED FORM |  | [paper/staircase-note.md](../paper/staircase-note.md) +12 more |
| [natal-cap-25-excess-law.js](natal-cap-25-excess-law.js) | NATAL-CAP-25 — THE WINDOW-EXCESS DRIFT LAW: EVT vs the exact variance |  | [research/GLOSSARY.md](GLOSSARY.md) +21 more |
| [natal-cap-26-minus-half.js](natal-cap-26-minus-half.js) | NATAL-CAP-26 — THE MINUS-HALF THEOREM: the exact −1/2 anticorrelation constant | `research/natal-cap-26-minus-half.md` | [paper/anchored-note.md](../paper/anchored-note.md) +31 more |
| [natal-cap-27-t4-at13.js](natal-cap-27-t4-at13.js) | NATAL-CAP 27 — THE @13 FOURTH MOMENT: T4 over C(990,4) = 39,782,707,965 quadruples, and the… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +31 more |
| [natal-cap-28-analytic-certificate.js](natal-cap-28-analytic-certificate.js) | ATTACK 28 — THE CERTIFICATE ENGINE: one proven head theorem, two unproven ingredients, and… | `research/certificate-engine.md` | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +32 more |
| [natal-cap-29-sigma-plateau.js](natal-cap-29-sigma-plateau.js) | NATAL-CAP-29 — THE σ-PLATEAU DERIVED: the hyperuniform variance's level law |  | [paper/variance-note.md](../paper/variance-note.md) +27 more |
| [natal-cap-30-skeleton-bound.js](natal-cap-30-skeleton-bound.js) | NATAL-CAP-30 — THE AGGREGATE 30-SKELETON BOUND: certified @11 through @29 | `research/natal-cap-30-skeleton-bound.md` | [paper/anchored-note.md](../paper/anchored-note.md) +39 more |
| [natal-cap-31-calm-vs-kill.js](natal-cap-31-calm-vs-kill.js) | NATAL-CAP 31 — CALM vs KILL: does the anchored calm forbid annihilation? |  | [paper/anchored-note.md](../paper/anchored-note.md) +44 more |
| [natal-cap-32-wrap-identity.js](natal-cap-32-wrap-identity.js) | NATAL-CAP 32 — THE WRAP IDENTITY: T4 WITHOUT QUADRUPLE ENUMERATION |  | [research/NATAL-CAP-CAMPAIGN.md](NATAL-CAP-CAMPAIGN.md) +25 more |
| [natal-cap-33-overnight.js](natal-cap-33-overnight.js) | NATAL-CAP-33 — THE OVERNIGHT COMPUTE QUEUE: three runs, one driver |  | [paper/anchored-note.md](../paper/anchored-note.md) +29 more |
| [natal-cap-34-wrap-precision.js](natal-cap-34-wrap-precision.js) | NATAL-CAP 34 — PRECISION-GRADING THE WRAP ENGINE: WHERE THE 3.5e-5 LIVES |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +32 more |
| [natal-cap-35-x-multiplicity.js](natal-cap-35-x-multiplicity.js) | NATAL-CAP 35 — THE MULTIPLICITY SPECTRUM OF THE ANCHORED OVERLAP CREDIT |  | [paper/anchored-note.md](../paper/anchored-note.md) +28 more |
| [natal-cap-36-skeleton-door.js](natal-cap-36-skeleton-door.js) | NATAL-CAP-36 — THE NAMED DOOR, OPENED AND MEASURED: what equidistribution of ⌈W/q⌉ mod 30… | `research/natal-cap-36-skeleton-door.md` | [research/IMPORT-MAP.md](IMPORT-MAP.md) +51 more |
| [natal-cap-37-at41-march.js](natal-cap-37-at41-march.js) | ATTACK 37 — THE @41 DRIFT POINT: the 2^53 audit, the K-30 engine, and the sharded march at x… |  | [paper/anchored-note.md](../paper/anchored-note.md) +28 more |
| [natal-cap-38-loudness-driver.js](natal-cap-38-loudness-driver.js) | NATAL-CAP 38 — THE @19 DRIVER: does the Loudness Ceiling Conjecture survive its first real test? | `research/natal-cap-31-calm-vs-kill.md` | [research/GLOSSARY.md](GLOSSARY.md) +14 more |
| [natal-cap-39-triple-census.js](natal-cap-39-triple-census.js) | NATAL-CAP 39 — THE MIXED SUPER-W TRIPLE CENSUS PAST @17 |  | [paper/wall-note.md](../paper/wall-note.md) +16 more |

### origin (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [origin-excess.js](origin-excess.js) | research/origin-excess.js | `research/maier-matrix.md` | [research/ATTACKS.md](ATTACKS.md) +62 more |

### other (243)

| script | title | companion prose | cited by |
|---|---|---|---|
| [01-zone-twin-share.js](01-zone-twin-share.js) | 01 — DOES THE GUARANTEED ZONE GET ITS FAIR SHARE OF TWIN SLOTS? |  | [research/README.md](README.md) +6 more |
| [02-first-twin-margin.js](02-first-twin-margin.js) | 02 — HOW DEEP IN THE ZONE DOES THE FIRST TWIN SIT? (the safety margin) |  | [research/README.md](README.md) +5 more |
| [03-legendre-error-budget.js](03-legendre-error-budget.js) | 03 — THE FORMULA THAT KNOWS BUT CANNOT PROVE (Legendre's error budget) |  | [research/README.md](README.md) +6 more |
| [04-crystallization-and-hl.js](04-crystallization-and-hl.js) | 04 — CRYSTALLIZATION (possible = actual below p^2) + THE HL NOISE FLOOR |  | [paper/moire-primes.md](../paper/moire-primes.md) +7 more |
| [05-twin-jacobsthal.js](05-twin-jacobsthal.js) | 05 — THE TWIN JACOBSTHAL FUNCTION G2(n): measuring the wall itself |  | [paper/two-class-jacobsthal.md](../paper/two-class-jacobsthal.md) +15 more |
| [05b-twin-jacobsthal-segmented.js](05b-twin-jacobsthal-segmented.js) | 05b — G2(29#) BY SEGMENTED STREAMING (6.47 billion positions) |  | [paper/two-class-jacobsthal.md](../paper/two-class-jacobsthal.md) +10 more |
| [06-variance-theorem.js](06-variance-theorem.js) | 06 — THE VARIANCE THEOREM ("no wide conspiracy") |  | [paper/variance-note.md](../paper/variance-note.md) +8 more |
| [Lgrowth.js](Lgrowth.js) | research/a3-08-adjacent-pairs.js found the same bug independently and agrees on the… |  | [research/U-FRAME.md](U-FRAME.md) +17 more |
| [a060256-seam-ladder.js](a060256-seam-ladder.js) | THE SEAM LADDER ON 500 TRUSTED TERMS — A060256 ADOPTED, THE GROWTH SCALE |  | [research/ATTACKS2.md](ATTACKS2.md) +4 more |
| [a113274-gap-records.js](a113274-gap-records.js) | THE TWIN-GAP RECORD LADDER ADOPTED AS TRUSTED DATA — A113274 + A113275 |  | [research/PRIOR-ART.md](PRIOR-ART.md) +20 more |
| [a144311-full-ladder.js](a144311-full-ladder.js) | THE FULL A144311 LADDER, ADOPTED AS TRUSTED DATA — 22 TERMS TO x = 79 |  | [paper/two-class-jacobsthal.md](../paper/two-class-jacobsthal.md) +16 more |
| [adversary-wave2-01-shadow.js](adversary-wave2-01-shadow.js) | ADVERSARY WAVE 2 / 01 — THE KILL SHADOW, ATTACKED |  | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md) +4 more |
| [adversary-wave2-02-scanstat-sofic.js](adversary-wave2-02-scanstat-sofic.js) | ADVERSARY WAVE 2 / 02 — THE SCAN-STATISTIC DUALITY AND THE SOFIC RATIO TEST |  | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md) |
| [adversary-wave2-03-shearer.js](adversary-wave2-03-shearer.js) | ADVERSARY WAVE 2 / 03 — SHEARER'S REGION AND THE FAMILY CLOSURE, ATTACKED |  | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md), [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md), [research/history/staging/width-sweep-attacks.md](history/staging/width-sweep-attacks.md) |
| [agent-readiness-validation.js](agent-readiness-validation.js) | Question: do the finite algebraic ingredients of the readiness corrections survive… |  | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [audit-numbers.js](audit-numbers.js) | AUDIT-NUMBERS — every load-bearing number recomputed independently, retired values included |  | [CLAUDE.md](../CLAUDE.md) +66 more |
| [birth-cohorts.js](birth-cohorts.js) | BIRTH COHORTS — decomposing the census by creation fold | `research/GLOSSARY.md` | [paper/moire-primes.md](../paper/moire-primes.md) +7 more |
| [blind-0830-omega-floor.js](history/staging/blind-0830-omega-floor.js) | blind-0830-omega-floor.js — a SEALED blind test of the DERIVED growth law |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +4 more |
| [blind-0830-quadpoint-31607.js](history/staging/blind-0830-quadpoint-31607.js) | BLIND 0830 QUADPOINT 31607 — THE ZERO-PARAMETER DEPTH LAW'S BLIND TEST AT THE THIRD DECADE… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +4 more |
| [blind-0830-quadpoint-c1c2.js](history/staging/blind-0830-quadpoint-c1c2.js) | BLIND 0830 QUADPOINT C1 VERSUS C2 — THE FIFTH DECADE, SEALED ON THE SAMPLING-ERROR SCALE:… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +5 more |
| [block-L-first-dead.js](block-L-first-dead.js) | FIRST DEAD OR LAST ALIVE: ADJUDICATING L <= 62 AGAINST L <= 111 |  | [research/OUTCOMES.md](OUTCOMES.md) +12 more |
| [c2prime-refit-22.js](history/staging/c2prime-refit-22.js) | c2prime-refit-22.js  —  TODO item 1c, first move: the 22-term refit | `research/exponent-control.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [centered-discrepancy-estimate-validation.js](centered-discrepancy-estimate-validation.js) | Exact finite controls for centered-discrepancy-estimate.md. | `research/centered-discrepancy-estimate.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [centered-discrepancy-measurement.js](centered-discrepancy-measurement.js) | FINITE MEASUREMENT of the centered prime-Mobius discrepancy D_y(x) of… | `research/moving-cutoff-parity.md` | [README.md](../README.md) +11 more |
| [chen-benchmark-validation.js](chen-benchmark-validation.js) | CHEN BENCHMARK — exact minorant checks and a rational integral certificate. | `research/chen-fold-benchmark.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [coefficient-structure-validation.js](coefficient-structure-validation.js) | COEFFICIENT STRUCTURE — squarefree signs, sparse exceptions and endpoint sectors. | `research/coefficient-structure.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/coefficient-structure.md](coefficient-structure.md) |
| [cofactor-progression-transfer-validation.js](cofactor-progression-transfer-validation.js) | Finite falsifiers for cofactor-progression-transfer.md. | `research/cofactor-progression-transfer.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/cofactor-progression-transfer.md](cofactor-progression-transfer.md) |
| [comb-discrepancy-tight.js](history/staging/comb-discrepancy-tight.js) | COMB DISCREPANCY, TIGHTENED — TODO item 8(c), "tighten 2*3^k (~30x slack)" |  | [research/certificate-engine.md](certificate-engine.md) +10 more |
| [corner-branch-diagnostic.js](corner-branch-diagnostic.js) | Question: can the exact coefficients C(n) and C'(n-2) be enumerated branch by branch --… | `research/RESEARCH-HANDOFF.md` | [TODO.md](../TODO.md) +5 more |
| [corner-correlation-validation.js](corner-correlation-validation.js) | Finite EXACT identity checks for the corner S_0 of the residual domain, as specified in… | `research/corner-correlation.md` | [research/OUTCOMES.md](OUTCOMES.md) +8 more |
| [corner-log-average-validation.js](corner-log-average-validation.js) | Finite checks for research/corner-log-average.md, which asks whether the logarithmically… | `research/corner-log-average.md` | [research/corner-log-average.md](corner-log-average.md), [research/history/reviews-0906/16-corner-log-average.md](history/reviews-0906/16-corner-log-average.md), [research/history/reviews-0906/19-ppd-review.md](history/reviews-0906/19-ppd-review.md) |
| [corner-measurement.js](corner-measurement.js) | FINITE MEASUREMENT of the corner two-point correlation of research/corner-correlation.md… | `research/corner-correlation.md` | [TODO.md](../TODO.md) +8 more |
| [cross-campaign-validation.js](cross-campaign-validation.js) | Question: do the full-coefficient identities survive exact finite checks? |  | [research/OUTCOMES.md](OUTCOMES.md) +4 more |
| [decide-0830-skeleton-door.js](history/staging/decide-0830-skeleton-door.js) | DECIDE-0830 — THE SKELETON DOOR'S "TENTH OF THE MASS", REPRODUCED AND THEN |  | [research/OUTCOMES.md](OUTCOMES.md) +7 more |
| [derive-0904-L7-transfer.js](history/staging/derive-0904-L7-transfer.js) | derive-0904-L7-transfer.js — THE UNION-BOUND BUDGET OF THE ONE-CLASS TO TWO-CLASS TRANSFER… |  | [TODO.md](../TODO.md) +5 more |
| [destroyer-census-01.js](destroyer-census-01.js) | DESTROYER CENSUS 01 — EVERY DESTROYED CHANNEL PAIR TO 1e8 ASSIGNED ITS DESTROYER; THE CRT… | `research/REFUTED.md` | [research/GLOSSARY.md](GLOSSARY.md) +24 more |
| [determinant-corollary-validation.js](determinant-corollary-validation.js) | Finite checks for research/determinant-corollary.md. | `research/determinant-corollary.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [dispersion-range-validation.js](dispersion-range-validation.js) | DISPERSION RANGE — reciprocal endpoints, averaged gcd and full coefficient scope. |  | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/dispersion-range.md](dispersion-range.md) |
| [endpoint-fourier-validation.js](endpoint-fourier-validation.js) | ENDPOINT FOURIER — aggregated divisor coefficients, Vaaler tails and exponents. | `research/endpoint-fourier.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/endpoint-fourier.md](endpoint-fourier.md) |
| [endpoint-pairing-validation.js](endpoint-pairing-validation.js) | ENDPOINT PAIRING — interval cancellation, full tails and exact power budgets. | `research/endpoint-pairing.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/endpoint-pairing.md](endpoint-pairing.md) |
| [engine-0830-at43-bigint.js](history/staging/engine-0830-at43-bigint.js) | ENGINE 0830 — THE @43 ARITHMETIC CEILING: the K-30 natal march with every path that leaves… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +4 more |
| [exact-g2-ladder.js](exact-g2-ladder.js) | THE EXACT G2 LADDER AND ITS CERTIFICATES |  | [paper/proposals/prop-tailcount-transport.md](../paper/proposals/prop-tailcount-transport.md) +55 more |
| [excess-chain-c.js](history/staging/excess-chain-c.js) | EXCESS-CHAIN c — the compressed-tail max correction, tested on all eight levels at once |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [external-ladders-01.js](external-ladders-01.js) | THE ONE-CLASS AND ADVERSARIAL LADDERS ADOPTED AS TRUSTED DATA — h (A048670) AND h2 (A288815)… |  | [research/G2-STATE.md](G2-STATE.md) +9 more |
| [fdecay-band-01.js](fdecay-band-01.js) | research/fdecay-band-01.js | `research/f-decays.md` | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/reconcile-bind.md](history/staging/reconcile-bind.md), [research/history/staging/width-sweep-census.md](history/staging/width-sweep-census.md) |
| [fdecay-deep-00-core.js](fdecay-deep-00-core.js) | fdecay-deep CORE — the segmented window instrument for f and for window-L |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +8 more |
| [fdecay-deep-01-census-defect.js](fdecay-deep-01-census-defect.js) | fdecay-deep 01 — the 42-point census is corrupted from x = 37 by a 32-bit shift, and here is… |  | [research/README.md](README.md) +14 more |
| [fdecay-deep-02-window.js](fdecay-deep-02-window.js) | fdecay-deep 02 — validating the window instrument before it is believed |  | [research/history/staging/fdecay-deep.md](history/staging/fdecay-deep.md), [research/history/staging/readings-traceability.md](history/staging/readings-traceability.md) |
| [fdecay-deep-03-ladder.js](fdecay-deep-03-ladder.js) | fdecay-deep 03 — the qualifying fraction f measured OUT OF SAMPLE, x to 907 |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md), [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/fdecay-deep.md](history/staging/fdecay-deep.md) |
| [fdecay-deep-04-crossings.js](fdecay-deep-04-crossings.js) | fdecay-deep 04 — where L clears 0.31 and 0.19 p/ln p, under every fit |  | [research/history/staging/fdecay-deep.md](history/staging/fdecay-deep.md) |
| [fixed-endpoint-discrepancy-validation.js](fixed-endpoint-discrepancy-validation.js) | Fixed-endpoint discrepancy: finite checks of the exact algebra in… | `research/fixed-endpoint-discrepancy.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/fixed-endpoint-discrepancy.md](fixed-endpoint-discrepancy.md), [research/history/reviews-0908/03-second-reader-E-A2.md](history/reviews-0908/03-second-reader-E-A2.md) |
| [fold-arithmetic-bridge-validation.js](fold-arithmetic-bridge-validation.js) | fold-arithmetic-bridge-validation.js | `research/fold-arithmetic-bridge.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [fold-ledger-01.js](fold-ledger-01.js) | FOLD LEDGER 01 — CHRIS'S COUNTING TABLE: PER FOLD q, THE PAIR OPPORTUNITIES |  | [research/corner-branch-diagnostic.md](corner-branch-diagnostic.md) +10 more |
| [fold-ledger-02-derive.js](fold-ledger-02-derive.js) | FOLD LEDGER 02 — CAN THE LEDGER'S COLUMNS BE DERIVED IN CLOSED FORM, THE WAY THE FULL TILE'S… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) |
| [fold-ledger-03-iterate.js](fold-ledger-03-iterate.js) | FOLD LEDGER 03 — THE ITERATION FORM: ONE MULTIPLICATION PER FOLD GIVES THE EXPECTED LEDGER… |  | [research/history/staging/fold-ledger-forced.md](history/staging/fold-ledger-forced.md) |
| [fold-ledger-forced.js](history/staging/fold-ledger-forced.js) | FOLD LEDGER — FORCED (scratchpad-grade). Which properties of the ledger's columns are… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [fold-succession-autocorr.js](fold-succession-autocorr.js) | FOLD-SUCCESSION AUTOCORRELATION — does the moire structure of successive folds damp the fold… |  | [research/OUTCOMES.md](OUTCOMES.md) +6 more |
| [foldL-window5-01-extinction.js](foldL-window5-01-extinction.js) | FOLD-L WINDOW 5 — THE EXTINCTION TEST AT W = 2e11 |  | [research/data-reuse-audit.md](data-reuse-audit.md) +10 more |
| [fossil-shadows.js](fossil-shadows.js) | FOSSIL SHADOWS — Chris's copying refinement |  | [paper/moire-primes.md](../paper/moire-primes.md) +7 more |
| [full-coefficient-average-validation.js](full-coefficient-average-validation.js) | Finite checks for full-coefficient-average.md. | `research/full-coefficient-average.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [gap-spectrum-01.js](gap-spectrum-01.js) | GAP-SPECTRUM-01 — THE FULL GAP-LENGTH DISTRIBUTION OF TWIN SLOTS OVER ONE | `research/G2-STATE.md` | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [genealogy.js](genealogy.js) | GENEALOGY — Chris's decomposition: "new twin targets (p-2) + existing surviving twin… |  | [paper/PAPERS.md](../paper/PAPERS.md) +26 more |
| [global-cutoff-averaging-validation.js](global-cutoff-averaging-validation.js) | Exact finite controls for global-cutoff-averaging.md. Each vector represents sum_p c_p… | `research/global-cutoff-averaging.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/global-cutoff-averaging.md](global-cutoff-averaging.md) |
| [global-factor-signs-validation.js](global-factor-signs-validation.js) | Question: does the full logarithmic profile have the small-prime sign normal form, including… |  | [research/OUTCOMES.md](OUTCOMES.md), [research/global-factor-signs.md](global-factor-signs.md) |
| [global-smooth-majorant-validation.js](global-smooth-majorant-validation.js) | Question: do the smooth profile, full finite differences, three-prime envelope and corrected… |  | [research/OUTCOMES.md](OUTCOMES.md), [research/global-smooth-majorant.md](global-smooth-majorant.md) |
| [grain-census.js](grain-census.js) | GRAIN CENSUS — the size distribution of the twin-slot grain, T7..T23 |  | [paper/moire-primes.md](../paper/moire-primes.md) +24 more |
| [greedy-oracle-validation.js](greedy-oracle-validation.js) | IS THE CORRECTED GREEDY A G2 ORACLE? The decisive instrument test. |  | [research/G2-STATE.md](G2-STATE.md) +19 more |
| [grouped-divisor-validation.js](grouped-divisor-validation.js) | GROUPED DIVISOR MOMENT — general gcd averages, full coefficients and exact cuts. | `research/grouped-divisor-moment.md` | [research/OUTCOMES.md](OUTCOMES.md) +8 more |
| [head-residual-factor.js](history/staging/head-residual-factor.js) | HEAD RESIDUAL FACTOR — where the 1.09 -> 1.03 prime-origin excess comes from |  | [research/GLOSSARY.md](GLOSSARY.md) +15 more |
| [head-residual-hl3.js](history/staging/head-residual-hl3.js) | HEAD RESIDUAL, HL-3 — pricing beta's endpoint deficit from the Hardy |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +10 more |
| [head-residual-null.js](history/staging/head-residual-null.js) | HEAD RESIDUAL NULL — what beta and CV^2(g) are under the programme's own null, and what that… |  | [research/history/staging/applied-0828-head.md](history/staging/applied-0828-head.md) +8 more |
| [heath-brown-edges-validation.js](heath-brown-edges-validation.js) | QUESTION. Is the a=1 edge (and the corner S_0) an artefact of the two-cutoff | `research/prime-detection-spec.md` | [research/README.md](README.md), [research/heath-brown-edges.md](heath-brown-edges.md), [research/history/reviews-0906/18-heath-brown-edges.md](history/reviews-0906/18-heath-brown-edges.md) |
| [hsubpow-explicit-K.js](history/staging/hsubpow-explicit-K.js) | hsubpow-explicit-K.js  —  TODO 1d: (H-sub-pow) with an explicit K, checked |  | [research/history/staging/applied-0828-closures.md](history/staging/applied-0828-closures.md) +12 more |
| [import-bfree-01-toeplitz.js](import-bfree-01-toeplitz.js) | IMPORT B-FREE 01 — THE TWIN COMB IN B-FREE / TOEPLITZ COORDINATES |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +3 more |
| [import-bfree-02-poisson-hypothesis.js](import-bfree-02-poisson-hypothesis.js) | IMPORT B-FREE 02 — GRANVILLE-KURLBERG'S HYPOTHESIS (1), TESTED ON THE COMB |  | [research/history/staging/import-bfree.md](history/staging/import-bfree.md) |
| [import-bfree-03-admissible-complexity.js](import-bfree-03-admissible-complexity.js) | IMPORT B-FREE 03 — THE COMPLEXITY OF THE TWIN-ADMISSIBLE SUBSHIFT |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/import-bfree.md](history/staging/import-bfree.md), [research/history/staging/klz-forward-walk.md](history/staging/klz-forward-walk.md) |
| [import-bridge-01-verify.js](import-bridge-01-verify.js) | IMPORT-BRIDGE, part 1 of 2 — the two Ojaroudi lemmas VERIFIED on our tile |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/import-bridge-prereg.md](history/staging/import-bridge-prereg.md), [research/history/staging/import-bridge.md](history/staging/import-bridge.md) |
| [import-bridge-02-experiment.js](import-bridge-02-experiment.js) | IMPORT-BRIDGE, part 2 of 2 — THE PRE-REGISTERED EXPERIMENT does  collision bound -> Bridge… |  | [research/history/staging/defect-class-hunt.md](history/staging/defect-class-hunt.md) +3 more |
| [import-chaining-01.js](import-chaining-01.js) | import-chaining-01.js  —  GENERIC CHAINING (Dudley / Talagrand) against the sieve remainder… |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +5 more |
| [import-chaining-02.js](import-chaining-02.js) | import-chaining-02.js  —  THE HONESTY GATE, and the maxsum object foreign-import attack 1 of… |  | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md) +7 more |
| [import-chaining-03.js](import-chaining-03.js) | import-chaining-03.js  —  the four numbers the verdict turns on foreign-import attack 1 of 5… |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +3 more |
| [import-distortion-01-ladder.js](import-distortion-01-ladder.js) | IMPORT-DISTORTION 01 — THE DISTORTION METHOD PRICED ON THE TWO-CLASS WINDOW | `research/IMPORT-MAP.md` | [research/history/staging/import-distortion-prereg.md](history/staging/import-distortion-prereg.md), [research/history/staging/import-distortion.md](history/staging/import-distortion.md), [research/history/staging/refuted-audit-0829-4.md](history/staging/refuted-audit-0829-4.md) |
| [import-fracparts.js](history/staging/import-fracparts.js) | IMPORT ROW 15 — SAFFARI–VAUGHAN THEOREM 10 AGAINST THE SKELETON DOOR. |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +14 more |
| [import-hypergraph-01-instance.js](import-hypergraph-01-instance.js) | FOREIGN IMPORT (IMPORT-MAP row 13), the finite instance: HYPERGRAPH COVERING. |  | [paper/proposals/prop-xlnx-lower-bound.md](../paper/proposals/prop-xlnx-lower-bound.md), [research/history/staging/import-hypergraph-prereg.md](history/staging/import-hypergraph-prereg.md), [research/history/staging/import-hypergraph.md](history/staging/import-hypergraph.md) |
| [import-interp-01-bgt-defect.js](import-interp-01-bgt-defect.js) | FOREIGN IMPORT ROW 9 (Bayati-Gamarnik-Tetali, the interpolation method), stage 1: DOES THE… |  | [research/history/staging/attack-0829n-doubling-bridge.md](history/staging/attack-0829n-doubling-bridge.md) +12 more |
| [import-interp-02-correction.js](import-interp-02-correction.js) | FOREIGN IMPORT ROW 9 (BGT interpolation), stage 2: WHICH CORRECTION TERM DOES | `research/exponent-control.md` | [research/history/staging/import-interp.md](history/staging/import-interp.md) |
| [import-kw-01-calibrate.js](import-kw-01-calibrate.js) | IMPORT KW (Z2 ROW) — KOURBATOV–WOLF 2019'S PARAMETER-FREE FORMULAS READ RAW |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +5 more |
| [import-l1l2-01.js](import-l1l2-01.js) | IMPORT-MAP ROW 5 — the l1/l2 measurement on Theta_e(a), and what an l1 -> l2 sqrt(log)… |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +3 more |
| [import-maxplus-01-mapping.js](import-maxplus-01-mapping.js) | FOREIGN IMPORT 4 of 5, stage 1 and stage 3: MAX-PLUS (TROPICAL) SPECTRAL | `research/U-FRAME.md` | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +6 more |
| [import-maxplus-02-subadditivity.js](import-maxplus-02-subadditivity.js) | FOREIGN IMPORT 4 of 5, stage 2: THE SUBADDITIVITY HUNT. |  | [paper/proposals/prop-exact-fold-L.md](../paper/proposals/prop-exact-fold-L.md) +3 more |
| [import-repulsive.js](history/staging/import-repulsive.js) | import-repulsive.js — scratchpad-grade verification for import-map row 17 |  | [research/GLOSSARY.md](GLOSSARY.md) +15 more |
| [import-scanstat-01-identity.js](import-scanstat-01-identity.js) | import-scanstat-01-identity.js  —  ADJUDICATING THE OFFERED IDENTITY foreign-import… |  | [research/history/staging/import-scanstat.md](history/staging/import-scanstat.md) |
| [import-scanstat-02-leadbetter.js](import-scanstat-02-leadbetter.js) | import-scanstat-02-leadbetter.js  —  D(u_n), D'(u_n) AND THE EXTREMAL INDEX foreign-import… | `research/SEARCH-CONVENTIONS.md` | [research/history/staging/import-scanstat.md](history/staging/import-scanstat.md), [research/history/staging/scanstat2-prereg.md](history/staging/scanstat2-prereg.md), [research/history/staging/scanstat2.md](history/staging/scanstat2.md) |
| [import-scanstat-03-prereg.js](import-scanstat-03-prereg.js) | import-scanstat-03-prereg.js  —  THE PRE-REGISTRATION, WRITTEN BEFORE T_23 foreign-import… | `research/IMPORT-MAP.md` | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +6 more |
| [import-scanstat-04-score.js](import-scanstat-04-score.js) | import-scanstat-04-score.js  —  SCORING THE PRE-REGISTERED PREDICTIONS foreign-import… |  | [research/history/staging/attack-0c-holesweep.md](history/staging/attack-0c-holesweep.md) +6 more |
| [import-shearer-01-region.js](import-shearer-01-region.js) | IMPORT-SHEARER 01 — SHEARER'S REGION FOR THE TWO-CLASS DELETION EVENTS | `research/IMPORT-MAP.md` | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md) +7 more |
| [import-sofic-01-graph.js](import-sofic-01-graph.js) | FOREIGN IMPORT (IMPORT-MAP row 2), stage 1: CONSTRAINED CODING AND SYMBOLIC | `research/kappa-not-L.md` | [research/history/staging/import-sofic-prereg.md](history/staging/import-sofic-prereg.md), [research/history/staging/import-sofic.md](history/staging/import-sofic.md), [research/history/staging/readings-traceability.md](history/staging/readings-traceability.md) |
| [import-sofic-02-prediction.js](import-sofic-02-prediction.js) | FOREIGN IMPORT (IMPORT-MAP row 2), stage 2: THE FIRST-MOMENT LONGEST-RUN LAW |  | [research/history/staging/import-sofic-prereg.md](history/staging/import-sofic-prereg.md) +3 more |
| [import-stein-01-multikill.js](import-stein-01-multikill.js) | IMPORT-STEIN 01 — AGG's b1, b2, b3 FOR THE MULTI-KILL EVENTS OF A FOLD | `research/IMPORT-MAP.md` | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +4 more |
| [import-stein-02-strikes.js](import-stein-02-strikes.js) | IMPORT-STEIN 02 — AGG's b1, b2, b3 FOR THE SCOUR-PRIME STRIKE PROCESS | `research/IMPORT-MAP.md` | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +5 more |
| [import-suen-01-transfer.js](import-suen-01-transfer.js) | IMPORT-SUEN 01 — THE CORRELATION-INEQUALITY TRANSFER AT THE ANCHOR |  | [paper/proposals/prop-suen-import.md](../paper/proposals/prop-suen-import.md) +8 more |
| [import-talagrand-01-price-c.js](import-talagrand-01-price-c.js) | import-talagrand-01-price-c.js  —  THE PRICE OF `c`, AND THE SCORING OF THE FIVE SEALED… |  | [research/history/staging/custody-overnight.md](history/staging/custody-overnight.md) +5 more |
| [import-thinning-01-nullmodel.js](import-thinning-01-nullmodel.js) | IMPORT-THINNING 01 — THE NULL MODEL FOR THE FOLD, EXACTLY | `research/a3-05-bound-L.md` | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +8 more |
| [import-thinning-02-coalescence.js](import-thinning-02-coalescence.js) | IMPORT-THINNING 02 — INTERVAL COALESCENCE, THE FOLD MOMENT IDENTITY, AND THE DOMINATION ATTEMPT |  | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +4 more |
| [import-thinning-03-deepfolds.js](import-thinning-03-deepfolds.js) | IMPORT-THINNING 03 — DOES THE DOMINATION SURVIVE THE LADDER? |  | [paper/proposals/prop-thinning-null.md](../paper/proposals/prop-thinning-null.md) +4 more |
| [joint-correction-validation.js](joint-correction-validation.js) | Exact finite controls for joint-correction-source-audit.md. | `research/joint-correction-source-audit.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/joint-correction-source-audit.md](joint-correction-source-audit.md) |
| [joint-factor-estimate-validation.js](joint-factor-estimate-validation.js) | Exact finite controls for joint-factor-estimate.md. | `research/joint-factor-estimate.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/history/reviews-0908/01-second-reader-A-B-C.md](history/reviews-0908/01-second-reader-A-B-C.md), [research/joint-factor-estimate.md](joint-factor-estimate.md) |
| [kernel-sign-control.js](kernel-sign-control.js) | KERNEL SIGN CONTROL — does the ACTUAL aggregated Mobius/von Mangoldt right coefficient b_u =… | `research/grouped-divisor-moment.md` | [TODO.md](../TODO.md) +15 more |
| [killrun.js](killrun.js) | It left `prev` pointing at the OLDER of the two tracked residues, so it both over- and… |  | [TODO.md](../TODO.md) +21 more |
| [left-divisor-signs-validation.js](left-divisor-signs-validation.js) | LEFT DIVISOR SIGNS — Vaughan/Heath-Brown on the left coefficient instead of the first Cauchy… | `research/left-divisor-signs.md` | [research/OUTCOMES.md](OUTCOMES.md) +6 more |
| [lemmaV-parseval.js](lemmaV-parseval.js) | LEMMA V BY PARSEVAL — the mean square proved, and the quantifier priced |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +19 more |
| [lemmaV-sup-extension.js](lemmaV-sup-extension.js) | THE FOURIER SUP BOUND, EXTENDED — plateau or slow divergence? |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +21 more |
| [lit-kourbatov-shortfall.js](history/staging/lit-kourbatov-shortfall.js) | LIT-KOURBATOV-SHORTFALL — IS THE 6.0% RECORD-LOCATION DEFICIT KOURBATOV'S |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +17 more |
| [lit-provenance.js](lit-provenance.js) | LITERATURE PROVENANCE INVENTORY |  | [research/PRIOR-ART.md](PRIOR-ART.md) +7 more |
| [lp-push-x43.js](lp-push-x43.js) | PUSHING THE LEVEL-D LINEAR PROGRAM FROM x = 23 TO x = 43, AND ADJUDICATING |  | [research/OUTCOMES.md](OUTCOMES.md) +16 more |
| [lucky-control.js](lucky-control.js) | Start from the odds, which is the first pass already applied. |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +4 more |
| [maier-matrix.js](maier-matrix.js) | research/maier-matrix.js |  | [research/G2-STATE.md](G2-STATE.md) +39 more |
| [measure-0830-delta-reader.js](history/staging/measure-0830-delta-reader.js) | measure-0830-delta-reader.js  —  TODO 1d: a delta-reader that passes its control |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +4 more |
| [measure-0830-rho-sup-z41.js](history/staging/measure-0830-rho-sup-z41.js) | measure-0830-rho-sup-z41.js — THE EXACT sup\|rho~\| AT z = 41, AND sup\|R_H\| AT H = z^3 AND… |  | [research/history/staging/measure-0830-rho-sup-z41.md](history/staging/measure-0830-rho-sup-z41.md), [research/history/staging/redteam-0830-rml.md](history/staging/redteam-0830-rml.md), [research/history/staging/session-0830-summary.md](history/staging/session-0830-summary.md) |
| [measure-0904-argmax.js](history/staging/measure-0904-argmax.js) | measure-0904-argmax — WHERE THE MAXIMUM SITS INSIDE THE TILE, AND HOW OFTEN |  | [research/G2-STATE.md](G2-STATE.md) +5 more |
| [measure-g2-generic-0829.js](measure-g2-generic-0829.js) | MEASURE-G2-GENERIC 01 — IS G2 GENERIC IN THE COORDINATE THE SIEVE DISCARDS? |  | [research/history/staging/applied-0829-ledger.md](history/staging/applied-0829-ledger.md) +6 more |
| [measure-g2-provenance-0829.js](measure-g2-provenance-0829.js) | MEASURE-G2-PROVENANCE — does the 1.50 headline depend on unreproduced terms? |  | [research/G2-STATE.md](G2-STATE.md) +7 more |
| [measure-g2z2-0829.js](measure-g2z2-0829.js) | MEASURE-G2Z2 0829 — THE REDUCTION'S PRICE G2(x#)/Z2(x) AT EVERY LEVEL WHERE |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +13 more |
| [measure-record-null2-0829.js](measure-record-null2-0829.js) | THE TWO RECORD NULLS THAT WERE NEVER RUN — C1 (INHOMOGENEOUS INTENSITY) AND C2 (THE 6Z… |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +9 more |
| [measure-roughpair-null-0829.js](measure-roughpair-null-0829.js) | MEASURE ROUGHPAIR NULL 0829 — THE INDEPENDENT-THINNING NULL THAT attack-roughpair-error.md… |  | [research/history/staging/applied-0829-ledger.md](history/staging/applied-0829-ledger.md) +8 more |
| [measure-tail-deficit-0829.js](measure-tail-deficit-0829.js) | THE TAIL-DEFICIT FACTOR FROM ZERO PARAMETERS |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [measure-x37-0829.js](measure-x37-0829.js) | MEASURE-X37 — does anything WITHOUT G2(37#) in it flag x = 37? |  | [research/history/staging/measure-g2-provenance-0829.md](history/staging/measure-g2-provenance-0829.md), [research/history/staging/redteam-0829-measure-a.md](history/staging/redteam-0829-measure-a.md) |
| [mobius-bv-validation.js](mobius-bv-validation.js) | MOBIUS BV — finite checks on the identity and support claims used in… | `research/mobius-bv-derivation.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [moving-cutoff-validation.js](moving-cutoff-validation.js) | Exact finite controls for moving-cutoff-parity.md. | `research/moving-cutoff-parity.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/moving-cutoff-parity.md](moving-cutoff-parity.md) |
| [natal-onset-01.js](natal-onset-01.js) | NATAL-ONSET 01 — THE DESTRUCTION-ONSET INSTRUMENT ON THE ORIGIN-LOCAL LINE |  | [research/GLOSSARY.md](GLOSSARY.md) +6 more |
| [natal5-variance.js](natal5-variance.js) | NATAL@5 VARIANCE — exact CRT pair-correlation for the comb {11,17 mod 30} |  | [paper/anchored-note.md](../paper/anchored-note.md) +30 more |
| [next-transfer-review-validation.js](next-transfer-review-validation.js) | FINITE ALGEBRA CHECKS FOR THE ADVERSARIAL REVIEW OF prime-band-transfer.md | `research/prime-band-transfer.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [null-limsup-01-score.js](null-limsup-01-score.js) | null-limsup-01-score.js  —  THE THINNING NULL'S MAXIMAL GAP |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md) +3 more |
| [paired-factor-budget-validation.js](paired-factor-budget-validation.js) | Paired factor budget: directed rational enclosures and sign controls. | `research/paired-factor-budget.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/paired-factor-budget.md](paired-factor-budget.md) |
| [prime-band-completion-validation.js](prime-band-completion-validation.js) | PRIME BAND COMPLETION — retained prime averages, exact transforms and scope. | `research/prime-band-completion.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/prime-band-completion.md](prime-band-completion.md) |
| [prime-detection-validation.js](prime-detection-validation.js) | PRIME DETECTION — exact local-comparator and Vaughan/fold identity checks. | `research/prime-detection-spec.md` | [research/OUTCOMES.md](OUTCOMES.md) +8 more |
| [prime-dispersion-validation.js](prime-dispersion-validation.js) | PRIME DISPERSION — regrouping, exact second moments and composite completion. | `research/prime-dispersion.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/prime-dispersion.md](prime-dispersion.md) |
| [prime-power-dispersion-validation.js](prime-power-dispersion-validation.js) | PRIME POWER DISPERSION — exact decomposition, integer kernels and moment budgets. | `research/prime-power-dispersion.md` | [research/OUTCOMES.md](OUTCOMES.md) +4 more |
| [reachability-validation.js](reachability-validation.js) | REACHABILITY COVERAGE — exact rational bookkeeping of the grouped-moment block budgets, the… | `research/reachability-coverage.md` | [research/OUTCOMES.md](OUTCOMES.md) +6 more |
| [recon-0830-rec-killrun.js](history/staging/recon-0830-rec-killrun.js) | recon-0830-rec-killrun.js  --  the arithmetic behind recon-0830-rec-killrun.md |  | [TODO.md](../TODO.md) +5 more |
| [recon-0830-smooth-aps.js](history/staging/recon-0830-smooth-aps.js) | recon-0830-smooth-aps.js — support for recon-0830-smooth-aps.md |  | [TODO.md](../TODO.md) +5 more |
| [recon-0904-sifting-limit-floor.js](history/staging/recon-0904-sifting-limit-floor.js) | THE LEVEL-D LINEAR PROGRAM ACROSS THE DIMENSION AXIS: IS THE ONE-POINT |  | [TODO.md](../TODO.md) +8 more |
| [record-location-null.js](history/staging/record-location-null.js) | RECORD-LOCATION NULL (TODO Z5) — DOES THE 6.0% TREND-LOAD DEFICIT SURVIVE A CORRECTED NULL?… |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +18 more |
| [records-placement-01.js](records-placement-01.js) | RECORDS PLACEMENT 01 — THE SEVEN UNSWEPT RECORDS (76..82, STARTS ABOVE 2^53) PLACED INSIDE… |  | [research/history/staging/applied-0828-backfill-2.md](history/staging/applied-0828-backfill-2.md) +12 more |
| [records-placement-02.js](records-placement-02.js) | RECORDS PLACEMENT 02 — THE SEC C2 CONDITIONAL-NULL OFFSET TEST REPLICATED |  | [research/history/CHANGELOG.md](history/CHANGELOG.md), [research/history/staging/records-placement-02.md](history/staging/records-placement-02.md) |
| [redteam-0828-census.js](history/staging/redteam-0828-census.js) | RED TEAM 2026-08-28 — INDEPENDENT RE-DERIVATION COMPANION FOR THE THREE |  | [TODO.md](../TODO.md) +5 more |
| [redteam-0828-closures.js](history/staging/redteam-0828-closures.js) | redteam-0828-closures.js — the adversarial verifier's OWN re-derivations for the five… |  | [TODO.md](../TODO.md) +8 more |
| [redteam-0828-engine.js](history/staging/redteam-0828-engine.js) | RED TEAM 2026-08-28 — independent re-derivations for redteam-0828-engine.md |  | [TODO.md](../TODO.md) +11 more |
| [redteam-0828-head.js](history/staging/redteam-0828-head.js) | RED TEAM 2026-08-28 — companion producer for the three head-residual notes |  | [TODO.md](../TODO.md) +14 more |
| [redteam-0828-litimports.js](history/staging/redteam-0828-litimports.js) | REDTEAM 0828 — INDEPENDENT RE-DERIVATIONS FOR THE SIX 2026-08-28 NOTES |  | [TODO.md](../TODO.md) +11 more |
| [redteam-0828-quadpoint.js](history/staging/redteam-0828-quadpoint.js) | REDTEAM 0828 QUADPOINT — INDEPENDENT RE-DERIVATION OF THE CAPTURE IDENTITY |  | [TODO.md](../TODO.md) +11 more |
| [redteam-0828-varE.js](history/staging/redteam-0828-varE.js) | redteam-0828-varE.js — ADVERSARIAL companion to redteam-0828-varE.md |  | [TODO.md](../TODO.md) +18 more |
| [redteam-0830-doubling.js](history/staging/redteam-0830-doubling.js) | RED TEAM 2026-08-30 — the doubling bridge (0829n) and the doubling kill-run |  | [TODO.md](../TODO.md) +6 more |
| [redteam-0830-engine.js](history/staging/redteam-0830-engine.js) | RED TEAM 0830 ENGINE — AN INDEPENDENT RE-DERIVATION OF THE THREE NOTES… |  | [TODO.md](../TODO.md) +6 more |
| [redteam-0830-fekete.js](history/staging/redteam-0830-fekete.js) | redteam-0830-fekete.js  —  adversarial re-derivation of the two TODO-1d notes… |  | [TODO.md](../TODO.md), [research/history/staging/redteam-0830-fekete.md](history/staging/redteam-0830-fekete.md) |
| [redteam-0830-floor-growth.js](history/staging/redteam-0830-floor-growth.js) | ADVERSARIAL, INDEPENDENT re-derivation of the GROWTH half of… |  | [TODO.md](../TODO.md) +10 more |
| [redteam-0830-floor-sign.js](history/staging/redteam-0830-floor-sign.js) | redteam-0830-floor-sign.js — ADVERSARIAL re-derivation of the EXACT half of… |  | [TODO.md](../TODO.md) +6 more |
| [redteam-0830-imports.js](history/staging/redteam-0830-imports.js) | redteam-0830-imports.js — independent re-derivations for redteam-0830-imports.md |  | [TODO.md](../TODO.md) +5 more |
| [redteam-0830-records.js](history/staging/redteam-0830-records.js) | RED TEAM 2026-08-30 — the two record/D* notes of 2026-08-29 evening and 2026-08-30, attacked… |  | [TODO.md](../TODO.md) +5 more |
| [redteam-0830-rml.js](history/staging/redteam-0830-rml.js) | redteam-0830-rml.js — ADVERSARIAL re-derivation of three HELD notes |  | [TODO.md](../TODO.md) +6 more |
| [redteam-0830-slack.js](history/staging/redteam-0830-slack.js) | redteam-0830-slack.js — adversarial re-derivation, on code written from the definitions, of… |  | [TODO.md](../TODO.md) +5 more |
| [redteam-0830-zone.js](history/staging/redteam-0830-zone.js) | RED TEAM 0830 — THE ZONE/Z2 NOTES OF 2026-08-29 EVENING AND 2026-08-30 |  | [TODO.md](../TODO.md) +3 more |
| [redteam-0904-argmax.js](history/staging/redteam-0904-argmax.js) | RED TEAM of research/history/staging/measure-0904-argmax.md |  | [research/G2-STATE.md](G2-STATE.md) +4 more |
| [redteam-0904-floor-growth-2.js](history/staging/redteam-0904-floor-growth-2.js) | SECOND adversarial pass on the GROWTH half of the adverse pointwise floor: the quantifier… |  | [TODO.md](../TODO.md) +9 more |
| [redteam-0904-item0.js](history/staging/redteam-0904-item0.js) | redteam-0904-item0.js — AN INDEPENDENT ADVERSARIAL CHECK OF THE TWO HELD |  | [TODO.md](../TODO.md) +10 more |
| [redteam-0904-r0-extension.js](history/staging/redteam-0904-r0-extension.js) | Adversarial checks for research/history/staging/redteam-0904-r0-extension.md |  | [TODO.md](../TODO.md) +8 more |
| [redteam-0904-sifting-limit.js](history/staging/redteam-0904-sifting-limit.js) | RED TEAM ON THE SIFTING-LIMIT FLOOR: DOES THE ONE-POINT LP CALIBRATION HOLD |  | [TODO.md](../TODO.md) +9 more |
| [redteam-B-polylog.js](redteam-B-polylog.js) | RED TEAM — B = O((log z)^8) checked as a proof, and the polylog sufficiency threshold re-solved |  | [research/history/staging/redteam-2026-08-18.md](history/staging/redteam-2026-08-18.md) |
| [redteam-DP1-certificate.js](redteam-DP1-certificate.js) | RED TEAM — the degree-2 Boole-Frechet certificate re-derived on the sharp LP, exact… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +5 more |
| [redteam-growth-aicc.js](redteam-growth-aicc.js) | RED TEAM — the growth law's model race, re-derived: AICc convention, comparability, and… |  | [research/history/staging/defect-class-hunt.md](history/staging/defect-class-hunt.md), [research/history/staging/defect-repairs.md](history/staging/defect-repairs.md), [research/history/staging/redteam-2026-08-18.md](history/staging/redteam-2026-08-18.md) |
| [redteam-instrument-independence.js](redteam-instrument-independence.js) | RED TEAM — is the exact-frame diagonal a second instrument, or attack E in other coordinates? |  | [research/history/staging/redteam-2026-08-18.md](history/staging/redteam-2026-08-18.md) |
| [redteam-tau-and-split.js](redteam-tau-and-split.js) | RED TEAM — the tau(m) quantifier price against C^{pi(z)}, the Brudern-Fouvry split, and the… |  | [research/history/staging/attack-tail-maximal.md](history/staging/attack-tail-maximal.md), [research/history/staging/attack-tau-repricing.md](history/staging/attack-tau-repricing.md), [research/history/staging/redteam-2026-08-18.md](history/staging/redteam-2026-08-18.md) |
| [removal-ledger.js](removal-ledger.js) | THE REMOVAL LEDGER — Chris's capacity question, answered exactly |  | [paper/wall-note.md](../paper/wall-note.md) +7 more |
| [research-round-validation.js](research-round-validation.js) | Research-round integration checks: research-round-validation.md. | `research/research-round-validation.md` | [README.md](../README.md) +19 more |
| [residual-coverage-validation.js](residual-coverage-validation.js) | RESIDUAL COVERAGE — twisted coefficients, exceptional branch and exact masks. | `research/residual-coverage.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [review-0905-validation.js](review-0905-validation.js) | REVIEW 2026-09-05: independent checks of the fold kernel and review identities. |  | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [rho-exact-z31-01.js](rho-exact-z31-01.js) | rho-exact-z31-01.js — EXACT Lambda AND EXACT sup\|rho~\| AT z = 31 AND z = 37 |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +5 more |
| [rho-maxlaw-01-sufficiency.js](rho-maxlaw-01-sufficiency.js) | rho-maxlaw-01-sufficiency.js — THE RHO MAXIMAL LAW, STATED AND PRICED |  | [research/history/staging/attack-f4weak-01.md](history/staging/attack-f4weak-01.md) +3 more |
| [rho2-analytic-bound.js](history/staging/rho2-analytic-bound.js) | rho2-analytic-bound.js — AUDIT + EXPLICIT-CONSTANT CLOSURE of the <rho~^2> upper bound.… |  | [research/history/staging/applied-0828-closures.md](history/staging/applied-0828-closures.md) +6 more |
| [round-review-validation.js](round-review-validation.js) | Question: do the finite sampling, gcd and cutoff checks detect the errors corrected in… | `research/round-review-0906.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/round-review-0906.md](round-review-0906.md) |
| [row11-closure-01-coverage.js](row11-closure-01-coverage.js) | row11-closure-01-coverage.js  —  IMPORT-MAP ROW 11, CLOSED ON ARITHMETIC | `research/IMPORT-MAP.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [scanstat-t37-01-engine.js](scanstat-t37-01-engine.js) | scanstat-t37-01-engine.js  —  THE T_37 MOVING-SUM ENGINE (module, no output) pre-registered… |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +6 more |
| [scanstat-t37-02-validate.js](scanstat-t37-02-validate.js) | scanstat-t37-02-validate.js  —  THE NEW ENGINE AGAINST THE EMBEDDED COLUMNS pre-registered… |  | [research/history/staging/defect-class-hunt.md](history/staging/defect-class-hunt.md) +4 more |
| [scanstat-t37-03-shard.js](scanstat-t37-03-shard.js) | scanstat-t37-03-shard.js  —  ONE SHARD OF THE T_37 STREAM pre-registered at… |  | [research/data-reuse-audit.md](data-reuse-audit.md) +3 more |
| [scanstat-t37-04-run.js](scanstat-t37-04-run.js) | scanstat-t37-04-run.js  —  DRIVER, COMBINER AND ADJUDICATOR FOR T_37 pre-registered at… |  | [research/history/staging/attack-0c-holesweep.md](history/staging/attack-0c-holesweep.md) +7 more |
| [scanstat2-01-t31.js](scanstat2-01-t31.js) | scanstat2-01-t31.js  —  THE SIXTH EXACT LEVEL, AND THE TAIL-FACTOR TEST follow-up to the… |  | [research/history/staging/attack-0c-holesweep.md](history/staging/attack-0c-holesweep.md) +9 more |
| [scanstat2-02-crossover.js](scanstat2-02-crossover.js) | scanstat2-02-crossover.js  —  THE TURNOVER THE DUALITY FORCES, MEASURED follow-up to the… |  | [research/history/staging/custody-wave3.md](history/staging/custody-wave3.md) +4 more |
| [scope-fractional-retention.js](scope-fractional-retention.js) | Scoping: can Brady/Li fractional retention rules be applied at kappa = 2? |  | [research/OUTCOMES.md](OUTCOMES.md) +9 more |
| [scour-into-fixed-tile.js](scour-into-fixed-tile.js) | SCOUR INTO A FIXED TILE — the p² rule seen from the kill direction |  | [paper/anchored-note.md](../paper/anchored-note.md) +8 more |
| [shadow-amplitude-01-derivation.js](shadow-amplitude-01-derivation.js) | SHADOW-AMPLITUDE 01 — THE FINITE-y CORRECTION TO THE KILL SHADOW'S DEPTH |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md), [research/history/staging/shadow-amplitude-prereg.md](history/staging/shadow-amplitude-prereg.md), [research/history/staging/shadow-amplitude.md](history/staging/shadow-amplitude.md) |
| [shadow-amplitude-02-measure.js](shadow-amplitude-02-measure.js) | SHADOW-AMPLITUDE 02 — THE BLIND HALF: THE EFFECTIVE SAMPLE SIZE, THE EMPIRICAL LOCAL PAIR… |  | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md), [research/history/staging/shadow-amplitude-prereg.md](history/staging/shadow-amplitude-prereg.md), [research/history/staging/shadow-amplitude.md](history/staging/shadow-amplitude.md) |
| [shadow-buchstab-01-candidate.js](shadow-buchstab-01-candidate.js) | SHADOW-BUCHSTAB 01 — THE BAND-AVERAGED PAIR-BUCHSTAB CANDIDATE | `research/anchored-windows.md` | [research/history/staging/adversary-wave2.md](history/staging/adversary-wave2.md) +3 more |
| [shadow-buchstab-02-instrument.js](shadow-buchstab-02-instrument.js) | SHADOW-BUCHSTAB 02 — A CLEAN INSTRUMENT FOR THE KILL SHADOW, AND THE SCORE |  | [research/anchored-windows.md](anchored-windows.md) +6 more |
| [sharp-corner-transition-validation.js](sharp-corner-transition-validation.js) | Question: do the sharp-energy and transition identities survive exact checks? |  | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [shifted-prime-mobius-sums.js](shifted-prime-mobius-sums.js) | FINITE MEASUREMENT of the Mobius and Liouville functions at shifted primes, the object the… | `research/moving-cutoff-parity.md` | [TODO.md](../TODO.md) +9 more |
| [shifted-prime-validation.js](shifted-prime-validation.js) | SHIFTED PRIME — exact second Vaughan, parity and determinant-2 checks. | `research/shifted-prime-decomposition.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [signed-divisor-validation.js](signed-divisor-validation.js) | SIGNED DIVISOR GROUPING — product cutoff, CRT density, and archived factors. | `research/signed-divisor-grouping.md` | [research/OUTCOMES.md](OUTCOMES.md) +6 more |
| [signed-moment-validation.js](signed-moment-validation.js) | Companion checks for research/signed-moment.md. | `research/signed-moment.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [singleton-fiber-validation.js](singleton-fiber-validation.js) | SINGLETON FIBERS — reuse archived interval inputs; measure the new partition. | `research/singleton-fiber-audit.md` | [research/OUTCOMES.md](OUTCOMES.md) +5 more |
| [small-divisor-kernel-validation.js](small-divisor-kernel-validation.js) | SMALL-DIVISOR KERNEL — finite checks for the reciprocity separation of the j<=x^(1/20)… | `research/small-divisor-kernel.md` | [research/OUTCOMES.md](OUTCOMES.md) +4 more |
| [smooth-sieve-literature-validation.js](smooth-sieve-literature-validation.js) | Question: do the source-profile constants, weakened smallest-prime envelope and exact… |  | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/smooth-sieve-literature.md](smooth-sieve-literature.md) |
| [sparse-dispersion-validation.js](sparse-dispersion-validation.js) | SPARSE DISPERSION — finite collision, gcd, endpoint and coefficient checks. |  | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/sparse-dispersion.md](sparse-dispersion.md) |
| [square-window.js](square-window.js) | Is there a twin prime pair strictly inside (n^2, (n+2)^2)?  And inside the tighter (n^2,… |  | [research/GLOSSARY.md](GLOSSARY.md) +14 more |
| [stretch-01.js](stretch-01.js) | STRETCH 01 — THE SQUARE-TO-SQUARE STRETCH DECOMPOSITION: FREEZE AND FINALITY VERIFIED, THE… |  | [research/history/staging/applied-0828-census.md](history/staging/applied-0828-census.md) +21 more |
| [structural-literature-validation.js](structural-literature-validation.js) | STRUCTURAL LITERATURE — finite checks of the derived kernel dictionary. | `research/structural-literature-audit.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/structural-literature-audit.md](structural-literature-audit.md) |
| [structured-dispersion-estimate-validation.js](structured-dispersion-estimate-validation.js) | Companion checks for research/structured-dispersion-estimate.md. | `research/structured-dispersion-estimate.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/history/reviews-0908/02-reader-D-structured-dispersion.md](history/reviews-0908/02-reader-D-structured-dispersion.md), [research/structured-dispersion-estimate.md](structured-dispersion-estimate.md) |
| [supported-coefficient-dickman-validation.js](supported-coefficient-dickman-validation.js) | Finite rational certificates for supported-coefficient-dickman.md. | `research/supported-coefficient-dickman.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/supported-coefficient-dickman.md](supported-coefficient-dickman.md) |
| [switching-negative-mass-validation.js](switching-negative-mass-validation.js) | Switching negative mass: exact constant, factor and density controls. | `research/switching-negative-mass.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/README.md](README.md), [research/switching-negative-mass.md](switching-negative-mass.md) |
| [thm-buchstab-transfer-shallow.js](history/staging/thm-buchstab-transfer-shallow.js) | thm-buchstab-transfer-shallow.js  —  SCRATCHPAD-GRADE companion to… |  | [research/GLOSSARY.md](GLOSSARY.md) +12 more |
| [thm-capK-bv.js](history/staging/thm-capK-bv.js) | THM-CAPK-BV — scratchpad checks for the fundamental-lemma + BV assembly behind the… | `research/bv-import-survey.md` | [research/bv-import-survey.md](bv-import-survey.md) +13 more |
| [thm-mod30-tail.js](history/staging/thm-mod30-tail.js) | thm-mod30-tail.js — SCRATCHPAD-GRADE verification for thm-mod30-tail.md. |  | [research/bv-import-survey.md](bv-import-survey.md) +10 more |
| [thm-sharp-sieve-range.js](history/staging/thm-sharp-sieve-range.js) | thm-sharp-sieve-range.js -- SCRATCHPAD-GRADE producer for… |  | [research/history/staging/applied-0828-engine.md](history/staging/applied-0828-engine.md) +7 more |
| [transition-energy-review-validation.js](transition-energy-review-validation.js) | Independent review falsifiers for sharp-corner-transition.md. | `research/sharp-corner-transition.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/transition-energy-review-spec.md](transition-energy-review-spec.md), [research/transition-energy-review.md](transition-energy-review.md) |
| [transition-joint-budget-validation.js](transition-joint-budget-validation.js) | Question: is the four-piece transition decomposition exact, does it leak outside the… |  | [research/OUTCOMES.md](OUTCOMES.md), [research/transition-joint-budget-spec.md](transition-joint-budget-spec.md), [research/transition-joint-budget.md](transition-joint-budget.md) |
| [transition-round-audit-validation.js](transition-round-audit-validation.js) | Targeted controls for transition-round-audit.md. Finite algebra only: a missing lower… | `research/transition-round-audit.md` | [research/OUTCOMES.md](OUTCOMES.md) +3 more |
| [transition-signed-estimate-validation.js](transition-signed-estimate-validation.js) | Question: do the exact identities used by transition-signed-estimate.md survive finite… | `research/transition-signed-estimate.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/transition-signed-estimate.md](transition-signed-estimate.md) |
| [transition-source-match-validation.js](transition-source-match-validation.js) | FINITE ALGEBRA FOR THE TRANSITION SOURCE MATCH | `research/transition-source-match.md` | [research/OUTCOMES.md](OUTCOMES.md), [research/transition-source-match.md](transition-source-match.md) |
| [twin-gap-witnesses-01.js](twin-gap-witnesses-01.js) | SECOND WITNESSES FOR THE TWIN-GAP RECORD LADDER — LUHN'S GAP02 TABLE AND KOURBATOV'S… |  | [research/PRIOR-ART.md](PRIOR-ART.md), [research/history/staging/zonegap-witnesses.md](history/staging/zonegap-witnesses.md) |
| [uframe-repro-01-fold-ladder.js](uframe-repro-01-fold-ladder.js) | U-FRAME REPRODUCTION 1 — THE FOLD LADDER: research/U-FRAME.md §2 and §4 | `research/U-FRAME.md` | [research/U-FRAME.md](U-FRAME.md) +4 more |
| [uframe-repro-02-maxgap-forensics.js](uframe-repro-02-maxgap-forensics.js) | U-FRAME REPRODUCTION 2 — THE MAX-GAP FORENSICS: research/U-FRAME.md §5, and the extension to… | `research/U-FRAME.md` | [research/U-FRAME.md](U-FRAME.md) +6 more |
| [var41-price.js](var41-price.js) | VAR41-PRICE — the instrument check and the honest price of Var(41) |  | [research/history/staging/defect-class-hunt.md](history/staging/defect-class-hunt.md) +5 more |
| [varE-asymptotic.js](history/staging/varE-asymptotic.js) | varE-asymptotic.js — scratchpad-grade support for varE-asymptotic.md |  | [paper/variance-note.md](../paper/variance-note.md) +11 more |
| [varE-exact-ladder-01.js](varE-exact-ladder-01.js) | varE-EXACT-LADDER-01 — TWO NEW EXACT LEVELS FOR THE DECOUPLING RATIO |  | [paper/variance-note.md](../paper/variance-note.md) +6 more |
| [varE-limit-theorem.js](history/staging/varE-limit-theorem.js) | varE-limit-theorem.js — the SECOND open step of varE-spectral.md, attacked: the decoupled… |  | [paper/variance-note.md](../paper/variance-note.md) +14 more |
| [varE-spectral.js](history/staging/varE-spectral.js) | varE-spectral.js — scratchpad-grade support for varE-spectral.md |  | [paper/variance-note.md](../paper/variance-note.md) +24 more |
| [varE-theta2-proof.js](history/staging/varE-theta2-proof.js) | varE-theta2-proof.js — support for varE-theta2-proof.md |  | [paper/variance-note.md](../paper/variance-note.md) +16 more |
| [varE-theta2-step.js](history/staging/varE-theta2-step.js) | varE-theta2-step.js — scratchpad-grade support for varE-theta2-step.md |  | [TODO.md](../TODO.md) +18 more |
| [verify-0830-record-defects.js](history/staging/verify-0830-record-defects.js) | verify-0830-record-defects.js — three defect claims raised on 2026-08-30, each recomputed… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +8 more |
| [verify-0830-usup-convention.js](history/staging/verify-0830-usup-convention.js) | verify-0830-usup-convention.js — are lemmaV-sup-extension.md's u_sup/u_sat and… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +6 more |
| [verify-kk-substitution.js](verify-kk-substitution.js) | VERIFY: the Kalmynin-Konyagin substitution, re-derived by an adversary |  | [paper/kk-lower-bound.md](../paper/kk-lower-bound.md) +13 more |
| [verify-ladder-big.js](verify-ladder-big.js) | LADDER VERIFICATION, BIG TILES — T29, T31, T37 by mod-30 lattice scan. |  | [paper/beta2-note.md](../paper/beta2-note.md) +14 more |
| [verify-ladder.js](verify-ladder.js) | LADDER VERIFICATION — census of every tile, split into Chris's two columns: "new" = the… |  | [paper/beta2-note.md](../paper/beta2-note.md) +16 more |
| [whatmadeit.js](whatmadeit.js) | What actually produces the new maximum gap at each fold? |  | [research/history/staging/custody-embed-migration.md](history/staging/custody-embed-migration.md), [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/qc-scripts-S3.md](history/staging/qc-scripts-S3.md) |
| [xchan-at29-01-segmented.js](xchan-at29-01-segmented.js) | XCHAN-AT29 01 — THE SEGMENTED MIXED SUPER-W TRIPLE CENSUS, AND @29 |  | [research/G2-STATE.md](G2-STATE.md) +11 more |
| [xchan-at37-01-census.js](xchan-at37-01-census.js) | THE @37 X-CHANNEL CENSUS — THE PRE-REGISTERED BLIND TEST OF THE OFFSET FAMILY |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +12 more |
| [xchan-at37-02-verify.js](xchan-at37-02-verify.js) | XCHAN-AT37 02 — VERIFY: the prereg scored as registered, and the surprising number recounted… |  | [research/history/staging/embed-backlog-0829.md](history/staging/embed-backlog-0829.md), [research/history/staging/redteam-at37-score.md](history/staging/redteam-at37-score.md), [research/history/staging/xchan-at37-score.md](history/staging/xchan-at37-score.md) |
| [y2-ladder-recompute.js](y2-ladder-recompute.js) | Y2 LADDER RECOMPUTE: the sixteen levels, run on the CORRECTED instrument, sharded one… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +7 more |
| [zone-tail-01.js](zone-tail-01.js) | ZONE-TAIL 01 — tail(p) = p'^2 - a_last(p): THE FIRST PER-ZONE TAIL DATASET |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +13 more |
| [zone-tail-02.js](zone-tail-02.js) | ZONE-TAIL 02 — the per-zone TAIL field on the full zonegap-01 range |  | [TODO.md](../TODO.md) +12 more |
| [zonegap-01.js](zonegap-01.js) | ZONEGAP 01 — Z2(p): THE LARGEST GAP BETWEEN CONSECUTIVE TWIN PAIRS IN THE ZONE (p, p'^2),… | `research/ZONE-POSTULATE.md` | [TODO.md](../TODO.md) +42 more |
| [zonegap-02-reduction.js](zonegap-02-reduction.js) | ZONEGAP 02 — THE Z2 REDUCTION, VERIFIED: THE CERTIFICATION IDENTITY, THE CHAIN'S ARITHMETIC,… |  | [research/history/CHANGELOG.md](history/CHANGELOG.md) +20 more |
| [zonegap-03-model.js](zonegap-03-model.js) | ZONEGAP 03 — THE STAIRCASE-AWARE MODEL: Z2(p) = env(p) + D(p), AND D IS |  | [research/IMPORT-MAP.md](IMPORT-MAP.md) +20 more |
| [zonegap-04-sweep-1e12.js](zonegap-04-sweep-1e12.js) | ZONEGAP 04 — THE STAGE-3 SWEEP AT X = 1e12: THE SCORING DOCUMENT FOR THE SEALED… |  | [research/data-reuse-audit.md](data-reuse-audit.md) +5 more |

### sift (2)

| script | title | companion prose | cited by |
|---|---|---|---|
| [sift-limit-attack.js](sift-limit-attack.js) | SIFT-LIMIT ATTACK — pilot: the vector sieve on the two-class interval problem | `research/sift-limit-attack.md` | [paper/PAPERS.md](../paper/PAPERS.md) +168 more |
| [sift-limit-lemmaV.js](sift-limit-lemmaV.js) | LEMMA V, THE MEAN SQUARE — brief W7-1 (2026-08-15) companion to… |  | [research/G2-STATE.md](G2-STATE.md) +37 more |

### theta (2)

| script | title | companion prose | cited by |
|---|---|---|---|
| [theta-ladder-row.js](theta-ladder-row.js) | THETA LADDER, one row -- research/theta-ladder.md sec 1 and 2 | `research/theta-ladder.md` | [research/history/staging/constants-audit-2.md](history/staging/constants-audit-2.md) +5 more |
| [theta-ladder-sup.js](theta-ladder-sup.js) | EXACT (or one-sided prefix) SUPREMUM OF THE SIEVE REMAINDER R_H, MEASURED AT A WINDOW THE… | `research/theta-ladder.md` | [research/G2-STATE.md](G2-STATE.md) +15 more |

### two-class (1)

| script | title | companion prose | cited by |
|---|---|---|---|
| [two-class-lower-bounds.js](two-class-lower-bounds.js) | TWO-CLASS LOWER BOUNDS: how large can G2(x#) be FORCED? | `research/two-class-lower-bounds.md` | [paper/anchored-note.md](../paper/anchored-note.md) +124 more |

### window (2)

| script | title | companion prose | cited by |
|---|---|---|---|
| [window-check.js](window-check.js) | SANITY CHECK. For every prime p, does the zone window (p, p_next^2) contain a genuine twin… |  | [research/G2-STATE.md](G2-STATE.md) +11 more |
| [window-exceptions.js](window-exceptions.js) | WINDOW EXCEPTIONS — how close to the edge each window family runs |  | [research/THE-DIALS.md](THE-DIALS.md) +6 more |

## What the scripts PROVIDE, not just what they are about

Check these extracted export names before writing another implementation.
Read the defining script and any exposing script for invocation, input limits
and validation. This table locates code; it does not establish that a routine
has been tested at the scale or parameters you need.

| script | routines it exposes |
|---|---|
| [a3-03-f-from-census.js](a3-03-f-from-census.js) | `k0of` *(exposed via fdecay-deep-00-core)* |
| [a3-05-bound-L.js](a3-05-bound-L.js) | `Analyzer`, `buildTiles`, `cmin`, `qualLaw`, `qualLawCheck` |
| [attack-beta2-A-B-bounded.js](attack-beta2-A-B-bounded.js) | `Nof`, `modelB`, `profile`, `provedBound`, `twinDensity` |
| [attack-tail-maximal.js](attack-tail-maximal.js) | `classSums`, `cutsOf`, `fold`, `headTail`, `periodOf`, `tailMoments`, `walkArray` |
| [fdecay-deep-00-core.js](fdecay-deep-00-core.js) | `invmod`, `lnD`, `lnS`, `meanGap`, `measure`, `primesUpTo`, `rhoq` |
| [fdecay-deep-03-ladder.js](fdecay-deep-03-ladder.js) | `FITS` |
| [h2-prototype.js](h2-prototype.js) | `makeSolver`, `primeList` |
| [import-chaining-01.js](import-chaining-01.js) | `analyticEntropy`, `cyclicAutocov`, `dyadicChain`, `periodArray`, `periodSup`, `rhoR`, `tailEnergies` |
| [import-chaining-02.js](import-chaining-02.js) | `crux`, `maxsumStats`, `tile` |
| [lemmaV-parseval.js](lemmaV-parseval.js) | `boundA`, `boundB`, `spectralRecords`, `supBoundTable`, `walk` |
| [lemmaV-sup-extension.js](lemmaV-sup-extension.js) | `findHsup`, `planOf`, `sp`, `sweep` |
| [natal-cap-32-wrap-identity.js](natal-cap-32-wrap-identity.js) | `A3direct` *(exposed via natal-cap-34-wrap-precision)*, `A3shapes` *(exposed via natal-cap-34-wrap-precision)*, `AdirectT4` *(exposed via natal-cap-34-wrap-precision)*, `B3semi` *(exposed via natal-cap-34-wrap-precision)*, `BsemiDirect` *(exposed via natal-cap-34-wrap-precision)*, `C2aggregate` *(exposed via natal-cap-34-wrap-precision)*, `CAL4` *(exposed via natal-cap-34-wrap-precision)*, `EtimesS` *(exposed via natal-cap-34-wrap-precision)*, `Mvec` *(exposed via natal-cap-34-wrap-precision)*, `Pmatrix` *(exposed via natal-cap-34-wrap-precision)*, `V3PATTERNS` *(exposed via natal-cap-34-wrap-precision)*, `V4PATTERNS` *(exposed via natal-cap-34-wrap-precision)*, `assembleA` *(exposed via natal-cap-34-wrap-precision)*, `baseProd` *(exposed via natal-cap-34-wrap-precision)*, `blockEngine` *(exposed via natal-cap-34-wrap-precision)*, `bruteT4fast` *(exposed via natal-cap-34-wrap-precision)*, `bruteTG` *(exposed via natal-cap-34-wrap-precision)*, `checkWrapFree` *(exposed via natal-cap-34-wrap-precision)*, `classEngine` *(exposed via natal-cap-34-wrap-precision)*, `classesAt` *(exposed via natal-cap-34-wrap-precision)*, `engineT` *(exposed via natal-cap-34-wrap-precision)*, `forEachCollidingPair` *(exposed via natal-cap-34-wrap-precision)*, `forV4` *(exposed via natal-cap-34-wrap-precision)*, `k4MC` *(exposed via natal-cap-34-wrap-precision)*, `k4direct` *(exposed via natal-cap-34-wrap-precision)*, `patternInfo` *(exposed via natal-cap-34-wrap-precision)*, `sMatrix` *(exposed via natal-cap-34-wrap-precision)*, `shapeSums` *(exposed via natal-cap-34-wrap-precision)*, `subLevel` *(exposed via natal-cap-34-wrap-precision)* |
| [natal-cap-34-wrap-precision.js](natal-cap-34-wrap-precision.js) | `C2`, `C4`, `CAL3`, `T3KNOWN`, `T4KNOWN`, `buildLevel`, `mulberry32`, `thm5` |
| [natal-cap-37-at41-march.js](natal-cap-37-at41-march.js) | `invMod`, `levelSpec`, `march`, `marchRange`, `marchRef`, `primeTable` |
| [scanstat-t37-01-engine.js](scanstat-t37-01-engine.js) | `MMAX`, `MS`, `WHEEL`, `combine`, `ols`, `primesTo`, `runShard`, `sieveTables`, `tileDW`, `wheelOffsets` |
| [sift-limit-lemmaV.js](sift-limit-lemmaV.js) | `buildTerms`, `fullPeriodArray`, `ladders`, `meanSquare`, `row`, `rowCompute` |

**106 routines across 16 scripts**, attributed to the file that DEFINES each one.

Two things this table does NOT tell you, both of which have cost something:

1. **At what levels a routine has actually been RUN.** `k4direct` was exercised
   at @7 and @11 and never above, which is exactly why it read as unavailable.
   A routine that exists is not a routine that has been used at your level.
2. **Where a long run put its output.** Results large enough to matter have
   been written outside the repository; see the section below.

## Results that live OUTSIDE this repository

Long runs have written their output to `~/Files/primeoire-runs/`, which is not
under version control and which no index reached until 2026-08-18. The @41
march -- 6.16 hours of compute -- was recorded as NEEDS COMPUTE in a wave
report while its completed log and shard JSONs sat there. **If that directory
is lost, those results are lost.**

- `~/Files/primeoire-runs/at41/` — 30 file(s)
- `~/Files/primeoire-runs/chain/` — 5 file(s)
- `~/Files/primeoire-runs/lemmaV/` — 1 file(s)

---

Current findings, failed steps and reuse conditions are in
[OUTCOMES.md](OUTCOMES.md). Earlier correction records remain in
[history/CHANGELOG.md](history/CHANGELOG.md); Git preserves revisions.