exp012_ar: autoregressive differentiation campaign β article, bed, reader, vitals, 48-run ledger, 17 specimens
4324099 verified | # The Aleph Under Autoregressive Pressure: Bottleneck Priors, Sign Codes, and the Consumption Law | |
| **exp012 β autoregressive differentiation.** Sequel to | |
| [exp_011 (ACD)](https://huggingface.co/AbstractPhil/geolip-aleph-differentiation) and the | |
| [aleph-void keystone](https://huggingface.co/blog/AbstractPhil/geometric-vocabulary-patchwork-aleph-void). | |
| Code, full run ledger, and all 17 trained specimens: | |
| [`geolip-aleph-differentiation/exp012_ar/`](https://huggingface.co/AbstractPhil/geolip-aleph-differentiation/tree/main/exp012_ar). | |
| --- | |
| ## TL;DR | |
| exp_011 ended on an honest null: composed addresses were LM-neutral in every placement | |
| we tried β enrichment lived in the aggregation channel, and chain-rule advantage only | |
| pays where the composed address parameterizes the predictive distribution. exp012 takes | |
| that ruling literally and builds the placement it prescribes: **a byte-level language | |
| model whose entire next-byte distribution is read from the aleph address and nothing | |
| else.** The employment law, enforced at its maximum. | |
| Five results, one bed, one afternoon on a single RTX 4090: | |
| 1. **The bottleneck prior.** A head that routes *all* predictive information through a | |
| 64-slot aleph read beats the unrestricted linear head in **7 of 7 paired runs** | |
| across every seed and budget tested β 2.469 vs 2.518 bits/byte at 2k steps | |
| (3 seeds), 2.002 vs 2.031 at 8k (3 seeds). The address bottleneck is not a tax. | |
| It is a structural prior, and it helps. | |
| 2. **The consumption law.** Whether an aleph codebook differentiates or collapses is | |
| decided by *how its address is consumed*, not by the address form or its dimension. | |
| Coefficient-vectors-to-logits at hard temperature collapse at any D (usage | |
| perplexity 1.2β1.9 of 128; two or three surviving paths). Slot-parallel consumption | |
| of the reconstructive read cures it completely (perplexity 117β126 of 128, all | |
| axes alive). The same law governs how far the codebook travels. | |
| 3. **Sign-code parity.** A head whose forward pass is the fully discrete sign code β | |
| per-slot `sign(cos_win)Β·A[win]`, straight-through β ties the continuous read: | |
| 2.4711 vs 2.4685 mean bits/byte over 3 seeds, and the parity holds under trigram | |
| embeddings. *Read the signs, not the probabilities* is now a certified property of | |
| the predictive regime. (Recon, famously, punished hard mode. Prediction doesn't. | |
| The failure was an objective property, not a channel property.) | |
| 4. **The binding shell is a transit point.** Under autoregressive pressure the | |
| codebook migrates *through* the 0.29154 shell: shell occupancy rises to 0.38β0.47 | |
| mid-training and falls as drift continues. Occupancy is a stage statistic, not an | |
| attractor census β which retroactively re-reads earlier "anchor convergence" | |
| numbers as trajectory snapshots. | |
| 5. **The projective law is objective-independent.** Every trained codebook in the | |
| campaign β soft-read, sign-code, attention-consumed; random or super-Fibonacci | |
| init β reads as a near-uniform projective codebook on RPΒ³ with emergent antipodal | |
| pairs, extracted by deterministic antipodal collapse. The Polygonal Omega signature, | |
| previously known from reconstruction solvers, appears under pure next-byte pressure. | |
| 48 logged runs, 17 released specimens, ~1.6β2M parameters per model. Everything below | |
| is reproducible from three files and one JSON ledger. | |
| --- | |
| ## 1. The bed | |
| Byte-level causal LM on wikitext-2-raw (10,914,845 train bytes, 1,144,248 val bytes), | |
| block 256, batch 32, pure Adam (lr 3e-4, wd 0 β weight decay stays off geometric | |
| paths), d_model 192, 4 layers, 256-way byte vocabulary. Validation is 20 fixed-size | |
| slices; we report bits/byte. Small on purpose: the exp_011 Forge instinct β many | |
| cheap, honest arms beat one expensive ambiguous one. | |
| The aleph core is unchanged from the keystone: codebook rows `A` on S^(Dβ1), cosine | |
| `u_k = cos(x, A_k)/Ο`, and the exact closed form over 2K oriented half-axes, | |
| ``` | |
| MΜ = Ξ£β sinh(uβ) Aβ / Ξ£β cosh(uβ) | |
| ``` | |
| sinh odd (every axis contributes, signed), cosh even-positive (the denominator cannot | |
| vanish), no argmax, no roster, no selection event. Three consumption channels of the | |
| same address are under test: | |
| - the **signed coefficient vector** `wβ = sinh(uβ)/Ξ£β±Όcosh(uβ±Ό)` (K dims), | |
| - the **reconstructive read** `MΜ` (D dims), | |
| - the **oriented softmax** (2K dims) as a linear-attention feature map. | |
| **Arms.** | |
| | arm | what the model is | | |
| |---|---| | |
| | `sdpa` | standard causal transformer β the unrestricted control | | |
| | `hub` | attention replaced by aleph linear attention: score = β¨addr(q), addr(k)β© over 2K half-axes, factored through two K-wide prefix-sum memories (2K never materialized; causal; Katharopoulos-family kernel with the address as Ο) | | |
| | `addr_head` family | sdpa trunk, but the output head reads ONLY the address of the final hidden state β the whole 256-way next-byte distribution flows through the aleph | | |
| Head variants: raw hidden addressed directly (v1); projected to the native D=4 home | |
| (`addr_d4`); rule-of-3 multi-temperature stroboscope (`addr_3tau`, Ο β {.05, .1, .3}); | |
| MΜ-only (`addr_mhat`); **multi-slot** β P parallel D=4 slots over one shared K=64 | |
| codebook, consuming MΜ per slot (`addr_msl<P>`), signed w per slot (`addr_msl_w`), or | |
| the straight-through sign code per slot (`addr_mslh<P>`); `_fib` = super-Fibonacci SΒ³ | |
| init (Alexa, CVPR 2022); `_tri` = trigram byte embedding (sum of embeddings of bytes | |
| t, tβ1, tβ2); `relay*` = a near-zero-gated MΜ residual after every block (gate init | |
| β3.0 β Ο β 0.047). | |
| **Vitals logged on every aleph** (readouts, never losses): axis usage perplexity over | |
| the 2K oriented address; geodesic drift from init with the fraction of rows within | |
| Β±0.05 rad of 0.29154 (the binding constant); winner-|cos| saturation; unique-winner | |
| counts under the high-bits multiplicative hash (Knuth β the low-16 variant once | |
| manufactured a fake ceiling; never again). | |
| --- | |
| ## 2. The collapse ladder, and the consumption law | |
| The naive Law-2 construction fails immediately, and fails *identically at every | |
| dimension*: | |
| | head | bits/byte | usage ppl /128 | surviving winners | | |
| |---|---|---|---| | |
| | w @ raw 192-d hidden, Ο=.1 | 5.6650 | 1.9 | 2 | | |
| | w @ D=4 home, Ο=.1 | 5.3698 | 1.2 | 3 | | |
| | w @ 3 temperatures | 4.2884 | 7.9 | 6 | | |
| | MΜ only (4 dims) | 5.1300 | 11.0 | 7 | | |
| | **16-slot MΜ** | **2.6508** | **117.0** | 126 | | |
| | 16-slot signed w | 2.7122 | 52.5 | 92 | | |
| The first falsification: we blamed the raw 192-d addressing (near-orthogonality at | |
| hard Ο saturates the oriented softmax) and projected to the D=4 home. **Still | |
| collapsed.** The dimension was never the disease. At hard temperature the coefficient | |
| vector is quasi-one-hot; softmax saturation starves every non-winner's gradient; | |
| rich-get-richer; two axes survive. That is comparative-selector pathology *emerging | |
| from consumption geometry* in a form-legal address β the failure class doesn't need an | |
| argmax in the forward pass to find you. | |
| Three antidotes, in increasing strength: a soft temperature in the stroboscope keeps | |
| non-winner gradients alive (partial); the reconstructive read MΜ preserves health but | |
| is capacity-capped at D dims (healthy, weak); **slot-parallelism cures it** β P | |
| parallel D=4 slots over one shared codebook give every axis gradient through some | |
| slot, every step. Even the signed-coefficient path is rescued by slots (2.71, | |
| no collapse), though the MΜ read beats it on both task and cultivation. | |
| **The consumption law (L-AR1).** *Cultivation versus collapse of an aleph codebook is | |
| decided by the consumption pattern of its address β slot-parallel consumption of the | |
| reconstructive read cultivates; coefficient-to-logits at hard temperature collapses at | |
| any dimension; multi-temperature reading is a partial antidote.* The same ordering | |
| governs codebook mobility (Β§6). | |
| --- | |
| ## 3. The bottleneck prior (7/7) | |
| The multi-slot head at P=64 forces the entire next-byte distribution through a 64-slot | |
| aleph read β 256 logits from 256 MΜ dims, every bit of predictive information passing | |
| the address. Against the unrestricted control, paired by seed and budget: | |
| | steps | seed | sdpa | addr_msl64 | Ξ | | |
| |---|---|---|---|---| | |
| | 2000 | 0 | 2.5409 | 2.4888 | β0.052 | | |
| | 2000 | 1 | 2.5233 | 2.4311 | β0.092 | | |
| | 2000 | 2 | 2.4908 | 2.4856 | β0.005 | | |
| | 4000 | 0 | 2.2008 | 2.1625 | β0.038 | | |
| | 8000 | 0 | 2.0169 | 1.9875 | β0.029 | | |
| | 8000 | 1 | 2.0509 | 2.0065 | β0.044 | | |
| | 8000 | 2 | 2.0252 | 2.0133 | β0.012 | | |
| **Seven of seven.** Means: 2.469 vs 2.518 at 2k; 2.002 vs 2.031 at 8k. The address | |
| bottleneck behaves like a structural prior that the objective is happy to pay for β | |
| exp_011's "no champion without prediction through the structure" was the right | |
| suspicion pointed at the wrong placement. Composition among stages was neutral; *the | |
| head is where the address is employed.* | |
| Depth composition helps too: near-zero-gated MΜ relays after every block reach 2.4887 | |
| with a standard head and **2.4673** with the addressed head β the best plain-input | |
| number of the campaign β and the relay gates grow monotonically with depth | |
| (.048/.049/.054/.067 from a .047 init). More on the depth gradient in Β§6. | |
| --- | |
| ## 4. Width buys score; cultivation peaks in the middle | |
| Slot dose-response, D=4 fixed, one shared K=64 codebook: | |
| | P (slots) | bits/byte @2k | shell occupancy @2k | usage ppl /128 | | |
| |---|---|---|---| | |
| | 4 | 4.0483 | .156 | 34.3 | | |
| | 16 | 2.651 / 2.653 / 2.693 | **.344 / .391 / .391** | 117β121 | | |
| | 32 | 2.555 / 2.555 / 2.571 | **.422 / .375 / .438** | 123β124 | | |
| | 64 | 2.489 / 2.431 / 2.486 | .203 / .359 / .328 | 123β125 | | |
| Task score is monotone in width (and stays monotone at 8k: P=32 2.038, P=64 1.988) β | |
| so no, sixteen is not magically special for bits/byte; capacity is capacity. But | |
| **binding-shell occupancy peaks at Pβ16β32**, certified 3/3 seeds at P=32 with a mean | |
| of 0.41: forty-one percent of a shared 64-row codebook sitting within Β±0.05 rad of | |
| 0.29154 at the 2k snapshot. Task capacity and geometric cultivation are *different | |
| quantities with different optima* β judge them separately, always. | |
| --- | |
| ## 5. Sign codes: the discrete channel carries prediction | |
| The keystone's converged commitment was a sign code β *read the signs, not the | |
| probabilities* β but reconstruction punished hard mode brutally (argmax tiles the | |
| continuum). Under prediction, the story inverts. `addr_mslh64` makes the forward pass | |
| fully discrete β per-slot `sign(cos_win)Β·A[win]`, straight-through to the soft read | |
| for gradient: | |
| | | seed 0 | seed 1 | seed 2 | mean | | |
| |---|---|---|---|---| | |
| | soft MΜ head | 2.4888 | 2.4311 | 2.4856 | **2.4685** | | |
| | sign-code head | 2.4982 | 2.4472 | 2.4678 | **2.4711** | | |
| Statistically identical, three of three β and the parity survives trigram embeddings | |
| (2.2896 vs 2.2841 soft, vs 2.2780 unrestricted). At 8k the discrete head concedes | |
| ~2.8% to soft (2.0432 vs 1.9875) while its codebook over-travels (drift 0.50, the | |
| campaign maximum) and sheds pair structure β parity is exact early, and the continuous | |
| read compounds slightly better with budget. | |
| **L-AR7.** *Under predictive pressure the aleph's discrete and continuous reads are | |
| task-equivalent at matched budget; reconstruction's hard-mode failure was a property | |
| of the objective, not of the sign-code channel.* For deployment this matters: the | |
| discrete code is the compressible, transmissible, cacheable object. | |
| --- | |
| ## 6. Where the codebook travels: transit, depth, and the fibonacci verdict | |
| **The shell is a transit point.** The P=64 head's trajectory across budgets: drift | |
| 0.229 β 0.360 β 0.412; shell occupancy 0.266 β 0.375 β 0.250 (2k/4k/8k). The book | |
| approaches the binding shell, fills it, and keeps going. Occupancy at a fixed step is | |
| a *stage* statistic β non-monotone in budget β and any single-snapshot "X% of anchors | |
| converged to 0.29154" figure (including our own earlier 46% in the flow-matching | |
| bottleneck work) should be read as a waypoint reading, not a terminal census. | |
| **Cultivation concentrates near the prediction gradient.** In the relay stack, the | |
| deepest relay takes essentially all the binding occupancy (relay3: drift .19β.27, | |
| occupancy .23β.42; relays 0β2: occupancy 0.0, drift ~.03) and grows its gate the most. | |
| Within HUB attention, drift grades with depth (.04 β .15, L0βL3) and only the deep | |
| layers touch the shell. Chain-rule locality, visible inside a single model. | |
| **Super-Fibonacci init: coherence, not score.** The basin hypothesis β start the | |
| codebook inside the near-uniform RPΒ³ attractor and win β resolves as a split verdict | |
| over 3 seeds: task is a wash (fib 2.4775/2.4509/2.4880, mean 2.472, vs random 2.469), | |
| but cultivation is *more coherent*: drift tightly clustered at 0.272β0.282 right at | |
| the shell's edge in every seed, occupancy 0.375β0.469 (vs random's 0.20β0.36 scatter). | |
| Structured init buys a cleaner trajectory, not a better loss. | |
| **Consumption governs mobility.** The same ordering as Β§2, now for travel distance at | |
| matched stage: head-soft (drift .23β.28) > head-hard (.18β.20) > attention (.03β.15, | |
| depth-graded). Attention-consumed codebooks barely move; head-consumed codebooks | |
| migrate. How you read the address decides how far the book walks. | |
| --- | |
| ## 7. Reading the specimens: the projective law without reconstruction | |
| Every specimen was read with deterministic antipodal collapse (mutual-strongest pairs | |
| below cos β0.9, collapsed to axes, sign-canonicalized onto RPΒ³; projective metric | |
| arccos|β¨a,bβ©| throughout) β the Polygonal Omega procedure. All 17 released specimens, | |
| every consumption mode, both inits: | |
| | specimen class | pairs | deviation vs uniform RPΒ³ | erank /4 | verdict | | |
| |---|---|---|---|---| | |
| | head-soft (K=64) | 11β15 | β.003 β¦ +.020 | 3.96β3.99 | projective-mostly | | |
| | head sign-code (K=64) | 18 @2k β 9 @8k | +.010 β +.026 | 3.96β3.98 | projective-mostly | | |
| | HUB attention (K=32, Γ4 layers) | 5β6 | β.001 β¦ +.008 | 3.94β3.96 | projective-mostly | | |
| | super-Fibonacci init | 13β15 | +.011 β¦ +.020 | 3.99 | projective-mostly | | |
| Near-uniform projective spread, full effective rank, and **antipodal pair structure | |
| emerging from random initialization under pure next-byte pressure** β no | |
| reconstruction anywhere in the objective. The projective-codebook law ("trained | |
| sphere-solvers are projective codebooks", geometric-tri-band-ft2) was discovered on | |
| reconstruction solvers; it is apparently a property of *trained aleph geometry as | |
| such*. The sign-code head grows the most pairs while moving the least; the projective | |
| skeleton is what every consumption mode agrees on, even as they disagree about | |
| mobility. | |
| --- | |
| ## 8. Implications | |
| - **For MoE-style gating.** Standard gates β softmax-over-experts, top-k, load-balance | |
| auxiliaries β are exactly the consumption pattern that collapsed in Β§2. The | |
| law-compliant alternative demonstrated here: dense signed dispatch or slot-parallel | |
| reconstructive reads, with balance as an architectural property and usage logged | |
| read-only. The collapse we observed required no argmax; saturated soft gates are | |
| enough. Design the *consumption*, not just the gate. | |
| - **For discrete deployment.** Sign-code parity means the address can ship as bits. | |
| A K-slot sign code is a compact, deterministic, cacheable conditioning object with | |
| certified task-parity at matched budget β the practical door the keystone's | |
| "read the signs" pointed at. | |
| - **For the binding constant.** 0.29154 keeps appearing β now as the shell codebooks | |
| transit under predictive cultivation, densest at moderate width, deepest layers | |
| first. Treat shell occupancy as a trajectory instrument, and treat any fixed-step | |
| occupancy claim (ours included) accordingly. | |
| - **For the program.** exp_011 said composition is neutral unless the address | |
| parameterizes prediction. exp012 says: when it does, it *wins* β and the win is | |
| robust to full discretization. The single aleph, correctly employed, is not yet | |
| saturated. Composition can wait; consumption came first. | |
| ## 9. Limitations, honestly | |
| One bed (byte-level wikitext-2-raw), one small scale (~1.6β2M params, d=192), 1β3 | |
| seeds per claim (3 on everything certified, 1 on trajectory statements), 2kβ8k steps. | |
| The 7/7 result is a sign-consistent small effect (β0.005 to β0.092 bits/byte); scale | |
| could erase or amplify it. Pentachoron-CV vitals were not logged in these runs | |
| (harness supports them; dependency wasn't installed on the box). The projective reader | |
| is validated on planted pairs but the deviation baseline is Monte-Carlo. Cross-bed | |
| replication β the byte-trigram LM lineage is the natural second bed β is the next | |
| gate before any of L-AR1β7 graduates from campaign law to program law. | |
| ## 10. Reproduction | |
| Everything lives under | |
| [`exp012_ar/`](https://huggingface.co/AbstractPhil/geolip-aleph-differentiation/tree/main/exp012_ar): | |
| - `ar_differentiation_bed.py` β the bed, all arms, vitals, specimen saving. Colab-safe. | |
| - `geolip_vitals.py` β the diagnostic readouts (paste this cell first in a notebook). | |
| - `read_codebook.py` β antipodal-collapse projective reader (validated on planted pairs). | |
| - `build_results.py` β `results/results.json` β all 48 runs; the script *asserts* the | |
| certified aggregates against the per-run rows. | |
| - `results/specimen_reads.json` β projective reads of all 17 specimens. | |
| - `specimens/*.pt` β the trained models (~134MB). | |
| ```bash | |
| python ar_differentiation_bed.py --train # sdpa/hub/addr_head, 2000 steps | |
| python -c "from ar_differentiation_bed import train; \ | |
| train(arms=('sdpa','addr_msl64'), steps=8000)" # the 7/7 pair at 8k | |
| python read_codebook.py <data_root>/ar_ckpts # read your own specimens | |
| ``` | |
| GPU required for training (a 4090 runs every arm here in 3β15 minutes); readers run | |
| anywhere. | |
| ## Citations | |
| - Aleph closed form, failure class, sign codes: [geometric-vocabulary-patchwork-aleph-void](https://huggingface.co/blog/AbstractPhil/geometric-vocabulary-patchwork-aleph-void) | |
| - exp_011 (ACD): composition operators, delivered-channel law, employment law: [geolip-aleph-differentiation](https://huggingface.co/AbstractPhil/geolip-aleph-differentiation) | |
| - Projective codebook law / antipodal collapse: [geometric-tri-band-ft2](https://huggingface.co/blog/AbstractPhil/geometric-tri-band-ft2); CV bands: [geometric-tri-band-ft1](https://huggingface.co/blog/AbstractPhil/geometric-tri-band-ft1) | |
| - Binding constant judgment criteria, 16-slot funnel, anchor-convergence readings: [constellation-diffusion-bottleneck](https://huggingface.co/blog/AbstractPhil/constellation-diffusion-bottleneck) | |
| - Projective metric discipline: [reading-voids-ft1](https://huggingface.co/blog/AbstractPhil/reading-voids-ft1) | |
| - Cultivation lineage: [geolip-svae-transformer-ft1](https://huggingface.co/blog/AbstractPhil/geolip-svae-transformer-ft1) | |
| - Super-Fibonacci spirals: Alexa, M. β *Super-Fibonacci Spirals: Fast, Low-Discrepancy Sampling of SO(3)*, CVPR 2022 | |
| - Linear attention family: Katharopoulos et al. β *Transformers are RNNs*, ICML 2020 | |
| - WikiText: Merity et al., 2016 Β· Multiplicative hashing: Knuth, TAOCP Vol. 3 | |
| --- | |
| Author: AbstractPhil + Claude Fable 5 | |
| Repo: https://huggingface.co/AbstractPhil/geolip-aleph-differentiation/ | |
| License: MIT Β· Date: July 9, 2026 | |