BABEL v1.1 -- review-hardened revision
Browse files- paper/REVIEWER_RESPONSE.md +149 -0
paper/REVIEWER_RESPONSE.md
ADDED
|
@@ -0,0 +1,149 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
# Response to the Stanford agentic review (paperreview.ai)
|
| 2 |
+
|
| 3 |
+
We thank the reviewer for an unusually careful and constructive read — the strengths noted
|
| 4 |
+
(pre-registration, matched nulls, priced remainder, the clean wall result) are exactly the culture
|
| 5 |
+
we hope becomes standard, and every weakness raised is fair. This response is point-by-point and
|
| 6 |
+
honest; where the requested analysis moves a headline number, we say so plainly. All changes are in
|
| 7 |
+
`PAPER_V1_1_DRAFT.md` (v1.1); the reanalyses are CPU-only on the frozen artifacts and
|
| 8 |
+
pre-registered where required. Items needing new GPU runs are proposed, with cost/bands/kill
|
| 9 |
+
conditions, in `STAGE2_PROPOSAL.md`; the three the reviewer’s Q3–Q5 turn on (rotation/basis robustness,
|
| 10 |
+
transplant boundary×regime, seam perturbation) have since been run under Stage‑2 authorization and are
|
| 11 |
+
folded into the draft (§6.1/§6.2/§6.4) and answered below — each with a byte‑replay gate to the frozen
|
| 12 |
+
numbers; the remaining Stage‑2 items stay proposed.
|
| 13 |
+
|
| 14 |
+
---
|
| 15 |
+
|
| 16 |
+
## Answers to the eight questions
|
| 17 |
+
|
| 18 |
+
**Q1 — Floor sensitivity and substitution-KL CIs.** *Addressed (partly), and it sharpened an honest
|
| 19 |
+
caveat.* We swept alternative floor constructions on the frozen per-cell KL (Appendix C,
|
| 20 |
+
`_rev_floor.py`). The 36/39 legacy closure is robust to floor construction. **The 39/39 is reached
|
| 21 |
+
only at the *full* norm-relative recalibration (β = 1):** a fractional norm-scaling floor gives
|
| 22 |
+
36/39 for β ≤ 0.5, 37/39 at β = 0.75, 39/39 only at β = 1; under a 10 % uniform tightening the recal
|
| 23 |
+
closure is 34/39. The three recal-only cells close because the late-layer state norm grows and the
|
| 24 |
+
norm-scaled floor there is 1.5–2.7× the legacy floor (tracking ρ²) — a documented norm-geometry
|
| 25 |
+
effect (§5.1), which the paper already labelled "meter corrections, not model discoveries" and now
|
| 26 |
+
quantifies. We have re-scoped the headline to **"36/39 floor-construction-robust; 39/39 under the
|
| 27 |
+
pre-registered norm-relative meter at full norm-scaling."** The **substitution-KL bootstrap CIs you
|
| 28 |
+
asked for are not computable from the frozen data** — only per-cell *mean* KL was stored, not
|
| 29 |
+
per-token KL — so we defer them to Stage 2 (a GPU re-run that emits per-token KL; STAGE2_PROPOSAL
|
| 30 |
+
item E). We flag this rather than approximate it.
|
| 31 |
+
|
| 32 |
+
**Q2 — Multiple comparisons / FDR on the 53.6 % named statistic.** *This is the most consequential
|
| 33 |
+
change.* We added explicit control (Appendix B; harnesses `_rev_fdr.py`/`_rev_fdr_channel.py`,
|
| 34 |
+
**pre-registered before computing**). A validation gate confirms our re-derivation reproduces the
|
| 35 |
+
frozen verdicts channel-for-channel (0 / 312 mismatches). Results on the 312 channels with frozen
|
| 36 |
+
per-gate statistics (frozen NAMED = 47.8 %):
|
| 37 |
+
|
| 38 |
+
- **per-gate Benjamini–Hochberg** (strict; treats each of a channel's 9 gates as a hypothesis,
|
| 39 |
+
m = 2592): q = 0.05 → **6.7 %** named (q = 0.01 → 1.9 %; q = 0.10 → 16.3 %);
|
| 40 |
+
- **channel-level BH** (conjunction-aware; the natural unit for "how many channels are named",
|
| 41 |
+
m = 312): q = 0.05 → **25.6 %** (q = 0.01 → 9.0 %; q = 0.10 → 35.6 %);
|
| 42 |
+
- **Holm–Bonferroni FWER** (α = 0.05) → 1 channel;
|
| 43 |
+
- **assumption-free global-null bound:** the ≥ 2-of-3-regime rule already holds the expected
|
| 44 |
+
false-named fraction to **≈ 10 %**.
|
| 45 |
+
|
| 46 |
+
The honest reading: most frozen names rest on gate clears that are individually marginal and are
|
| 47 |
+
made credible by cross-regime replication, so a strong ≈ 9 % core (q = 0.01) survives any
|
| 48 |
+
correction, roughly half survive channel-level BH at q = 0.05, and the built-in replication already
|
| 49 |
+
bounds false discovery near 10 %. **The binding limit is that only N = 20 null draws were frozen**
|
| 50 |
+
(empirical-p floor ≈ 0.048), so sub-0.05 p-values are tail-model extrapolations; a *definitive* FDR
|
| 51 |
+
needs a high-N re-draw (STAGE2_PROPOSAL item D). We **retain** the 53.6 %/46.4 % figures as the
|
| 52 |
+
frozen gate-level record but re-scope every naming claim to "under the L1 σ-matched-null battery at
|
| 53 |
+
N = 20" and report the corrected fractions in the Abstract, §6.1, §6.5, and Appendix B.
|
| 54 |
+
|
| 55 |
+
**Q3 — Doors/core robustness to rotations and reparameterization.** *Run in Stage 2; answered.* The
|
| 56 |
+
necessity certificates are basis‑rank statements (minimal k\* for a rank‑k orthonormal write), which are
|
| 57 |
+
rotation‑invariant *by construction within a chosen subspace* — but you are right that this deserved an
|
| 58 |
+
empirical check for k\*, pass/fail, and identity. We ran it (`_s2a.py`, cert machinery byte‑verbatim;
|
| 59 |
+
the S4 and full rank‑48 fold KL byte‑replayed all four sampled cells to the digit). Across R = 20 random
|
| 60 |
+
orthonormal bases per object: the folded‑read reconstruction KL is invariant to **0.0** (fp32), the
|
| 61 |
+
minimal necessity rank k\* is unchanged (shift 0 at all four cells; k\* = 16/40/32/24), the certified
|
| 62 |
+
pass/fail never flips (0/80), and the door/core ablation footprints are invariant to ≤ 3×10⁻⁵. A
|
| 63 |
+
matched‑random rank‑k subspace fails to reconstruct (KL 0.26–0.38 ≫ floor), so the invariance is
|
| 64 |
+
object‑specific, not vacuous. The one honest qualifier is **identity**: the 19 core fields are a
|
| 65 |
+
*privileged* basis of an intrinsic, rotation‑invariant 19‑dim subspace — a within‑span rotation mixes
|
| 66 |
+
them, so the *per‑axis* labels are basis‑relative (0/19 rotated axes match a frozen field), while the
|
| 67 |
+
subspace, its rank, and the fixed field directions are invariant. So the k\*/necessity/folded‑read
|
| 68 |
+
claims are rotation‑stable (the FRAGILE kill branch does not fire), and §6.1's "19 named fields" is now
|
| 69 |
+
stated as one interpretable labeling of an intrinsic subspace, not a canonical per‑axis identity (§6.1).
|
| 70 |
+
|
| 71 |
+
**Q4 — Transplant generality (boundaries, seeds, regimes).** *Run in Stage 2; answered.* We re‑ran the
|
| 72 |
+
T2 transplant (`_s2b.py`, machinery byte‑verbatim; the frozen b6/prose 16‑pair closure byte‑replayed to
|
| 73 |
+
0.9467, dev 0.0) on a 3×3 grid — boundaries {b2, b6, b10} × regimes {prose, code, repetition}, 32
|
| 74 |
+
pairs/cell, matched‑random null per pair, 10k‑bootstrap CIs (§6.4). **The 94.7% is not b6‑special:**
|
| 75 |
+
median closure is 0.94–0.98 in prose and 0.82–0.98 in repetition at early, mid *and* late boundaries.
|
| 76 |
+
The one honest exception is **code at early/mid depth**, where the readable‑gloss subspace (thin in
|
| 77 |
+
code, §6.1) makes the transplant heavy‑tailed — median 0.70 (b2) / 0.60 (b6), with a minority of pairs
|
| 78 |
+
diverging so far that the *mean* collapses to 0.31 / −0.01 — recovering to 0.89 at late b10. All nine
|
| 79 |
+
cells pass the pre‑registered margin band, but in the two code early/mid cells that band is inflated by
|
| 80 |
+
an even‑worse random null, so we report the closure itself as the governing number there. The Abstract
|
| 81 |
+
and §6.4 are re‑scoped to "boundary‑general and prose/repetition‑general, with a code early/mid caveat."
|
| 82 |
+
Seeds/corpora breadth (item F) remains available if wanted.
|
| 83 |
+
|
| 84 |
+
**Q5 — Nonlinearity hidden in the field definitions rather than the seams.** *Run in Stage 2; answered,
|
| 85 |
+
and it sharpened §6.2.* We tested (`_s2c.py`, seam certifier byte‑verbatim; the global‑core cert
|
| 86 |
+
byte‑replayed all 36 frozen KL_LIN to the digit, max dev 0.0) whether the linearity is an artifact of
|
| 87 |
+
the one global field dictionary. It survives **field‑basis rotation** (exactly — the write is a
|
| 88 |
+
projector) and **±ε dictionary jitter** (30/30 draws keep all 36 cells TIGHT, ε up to 0.10).
|
| 89 |
+
Re‑deriving the 19 fields **independently per seam** from each seam's own boundary‑pair residuals keeps
|
| 90 |
+
**33/36** cells LINEAR‑TIGHT; the three exceptions are all the *same* seam, the first (embed→L0) —
|
| 91 |
+
prose/code stay LINEAR but lose the TIGHT sub‑band, repetition breaks linearity outright. That is
|
| 92 |
+
precisely the seam §6.2 already flags as the language's *only* REWRITE seam. So the linear composition
|
| 93 |
+
law is a robust property of the model at all 33 propagation seams, while the embed→L0 rewrite's
|
| 94 |
+
linearity is a property of the certified global fields (independently‑derived first‑seam fields expose
|
| 95 |
+
its nonlinearity). Per the pre‑registered kill branch we now say so: §6.2 scopes the model‑level
|
| 96 |
+
linearity claim to the propagation seams and labels the b0 rewrite seam field‑conditioned — a genuine
|
| 97 |
+
sharpening, coherent with §6.2's prior "real rewriting confined to the first seam."
|
| 98 |
+
|
| 99 |
+
**Q6 — Student training/validation details and ablations.** *Fully addressed from frozen artifacts.*
|
| 100 |
+
New Appendix D gives every recoverable detail, all verified against `_v6_result.json`/`_v7_result.json`:
|
| 101 |
+
inputs (feature dim 1537 = layer-2 state ⊕ current-token embedding ⊕ m0 coefficient); splits (96
|
| 102 |
+
training periods, seeds 7000–7095; 16 never-seen SACRED periods, seed 3; 16 HOLD2, seeds 8000–8015;
|
| 103 |
+
period 64); fit (**Adam, lr = 1e-3, 4000 steps, MSE, fp32, TF32 off — and, to answer the ridge
|
| 104 |
+
question directly, *no ridge / weight decay*; the linear student's regularizer is capacity, which is
|
| 105 |
+
the point**); architectures/param counts (linear 1,181,184; MLP 1,771,776; attention 1,776,384);
|
| 106 |
+
shuffled-target twin (permuted rep-era targets; pass = real ≤ 0.5 × twin); and the full result table
|
| 107 |
+
including the capacity-hurts falsifier (MLP/attention train-R² 0.98/0.97, within-seen KL ≈ 0.001,
|
| 108 |
+
SACRED KL ≈ 0.35). A dedicated ridge/learning-curve ablation is offered as a small Stage-2 item if
|
| 109 |
+
useful. Loss curves (40 points/student) are frozen and drive Fig. 4.
|
| 110 |
+
|
| 111 |
+
**Q7 — "Word-less" vs "under-detected."** *Agreed; reframed.* §8.4 now states that every "word-less"
|
| 112 |
+
claim means *un-nameable under the CH-WU/CH-INT/CH-FIELD battery at its budget*, not "provably no
|
| 113 |
+
content." We name plausible battery extensions that could reduce the no-gloss rate (syntax/dependency
|
| 114 |
+
probes, morphology, non-vocabulary feature-space probes, causal-scrubbing readouts, SAE decoders;
|
| 115 |
+
§9). Two facts bound the concern: the FDR re-analysis shows the battery is if anything *generous*
|
| 116 |
+
(marginal names do not all survive control), so the no-gloss fraction is more likely an under- than
|
| 117 |
+
an over-estimate of genuine word-less channels; and L6's dark-complement adjudication (2/8 top
|
| 118 |
+
carriers clear only faintly) shows the battery's honest edge on the hardest mass.
|
| 119 |
+
|
| 120 |
+
**Q8 — Release of code, data, and frozen artifacts.** *Done.* The full frozen bundle is public:
|
| 121 |
+
Zenodo DOI 10.5281/zenodo.21230108 (concept 10.5281/zenodo.21230107), with the verdict-bearing
|
| 122 |
+
harnesses and a mirror at github.com/wpferrell/babel-codec-gpt2 and
|
| 123 |
+
huggingface.co/wpferrell/babel-codec-gpt2. Every "pending release" in v1 is replaced with these
|
| 124 |
+
live pointers (header, §7, §10). Not only hashes but the artifacts and deterministic streams are
|
| 125 |
+
available for independent byte-replay.
|
| 126 |
+
|
| 127 |
+
---
|
| 128 |
+
|
| 129 |
+
## On the itemized weaknesses
|
| 130 |
+
|
| 131 |
+
- **Mid-course meter recalibration bias.** Conceded and quantified (Q1/Appendix C): 36/39 is the
|
| 132 |
+
floor-robust result; 39/39 is meter-dependent on exactly the last three norm-geometry cells,
|
| 133 |
+
labelled as such, with both meters reported permanently.
|
| 134 |
+
- **No-gloss depends on battery scope.** Conceded and reframed (Q7/§8.4).
|
| 135 |
+
- **Within-block coverage / "complete" scope.** The Abstract now states the boundary-grain scope
|
| 136 |
+
and the within-block exclusion up front (title keeps "State Space").
|
| 137 |
+
- **Rotation/basis dependence.** Run in Stage 2 (Q3/§6.1): the necessity certificates (folded-read k*, pass/fail, reconstruction) are rotation-invariant (k* shift 0, 0/80 flips, matched-random discriminator separates); the 19 core-field per-axis labels are basis-relative (an intrinsic subspace, a privileged labeling), stated as such.
|
| 138 |
+
- **Small holdouts / seeds / corpora.** Boundary × regime breadth run in Stage 2 (Q4/§6.4): the transplant is boundary- and prose/repetition-general with a code early/mid caveat; further seed/corpus breadth (item F, item B
|
| 139 |
+
and the seed-robustness note), with the honest current scope stated.
|
| 140 |
+
- **Multiple comparisons.** Addressed (Q2) — the single largest change to the paper's claims.
|
| 141 |
+
- **Under-ablated seam law.** Run in Stage 2 (Q5/§6.2): robust to field-basis rotation and ±ε dictionary jitter, and to independent per-seam field re-derivation at all 33 propagation seams; only the embed→L0 rewrite seam is field-conditioned, now labelled as such.
|
| 142 |
+
- **Dense, neologism-heavy prose.** New one-page glossary (§1.5).
|
| 143 |
+
- **Thin related work (causal scrubbing, DLA, SAE, probing, benchmarks).** §7 expanded (SAE/probing
|
| 144 |
+
were present; causal scrubbing, DLA/attribution patching/ACDC, and mechanistic benchmarks added,
|
| 145 |
+
mapped to the four axes).
|
| 146 |
+
|
| 147 |
+
We are grateful for the review; it materially improved the paper's honesty about what the naming
|
| 148 |
+
fraction and the final three closure cells actually rest on. We commit (as in §7.0) to amend any
|
| 149 |
+
claim a further result overturns.
|