Fock-PARFLM, no exchange field, L=2, live gradients (Gen 3)
Generation 3: current. Every gradient path that applies is live. This model is the Fock-PARFLM no-exchange arm at L=2, with exactly the forward pass of its Gen 2 twin, the arm no-exchange. The only difference is that the loss gradient now reaches earlier tokens through Vφ (as pair sources) and through ξ (the context channels). In Gen 2 both detached their sources, so earlier tokens were never trained as context. The Gen 3 collection holds the live-gradient ladder as its arms land.
Result
| model | settled PPL | this model against it | vs GPT-2 | parameters |
|---|---|---|---|---|
| this model (L=2) | 53.12 | 1.066× | 76.8M | |
| no-exchange, live gradients, L=4 (Gen 3) | 50.10 | +6.0% | 1.006× | 76.8M |
| attention_potential, everything live (Gen 3, L=2) | 54.21 | -2.0% | 1.088× | 77.4M |
| attention_potential with hardened routing, everything live (Gen 3, L=2) | 52.90 | +0.4% | 1.062× | 77.4M |
| conservative-only, live gradients (Gen 3, L=2) | 57.76 | -8.0% | 1.160× | 76.6M |
| attention_potential, live exchange field (Gen 2 probe, L=2) | 61.11 | -13.1% | 1.227× | 77.4M |
| the arm attention (Gen 2, L=2) | 63.51 | -16.4% | 1.275× | 77.4M |
| the arm no-exchange: the same model with detached sources (Gen 2, L=2) | 66.98 | -20.7% | 1.345× | 76.8M |
| the arm gpt2-matched (L=8) | 49.81 | +6.6% | 1.000× | 33.7M |
- Settled is the mean of the last three evals (53.01, 53.29, 53.07); best 51.27 at step 31,000, final 53.07.
- 20.7% lower than its Gen 2 twin from the gradient convention alone.
- What the register mechanism adds when trained: 8.0% against the conservative-only model at the same depth and convention.
- What depth adds, at matched mechanism and convention: the L=4 model is 5.7% better. That margin is larger than either model's last-three spread. It costs 1.9× per step (3.12 against 1.64 s/step). This is the first clean depth comparison in the programme.
- At step 3,000: 123.59 against the Gen 2 twin's 140.61 at the same step (−12.1%); a move, against the pre-registered criterion of ≤ 137.1.
- Pre-registration: point 53, band 50–57, frozen before the run; actual 53.12, a hit on the point. Below the L=2 conservative-only live model's 57.76 (called at 80%) and above the L=4 live model's 50.10 (called at 75%): both yes. Vφ inert, |share| < 0.05 (called): −0.0002, a hit. ω·dt median in [3.3, 4.2]: 3.40, a hit.
- Run health: 0 watchdog, 0 spikes, 0.2% clip-hit (1 of 650 logged steps, max norm 1.01); one Colab session, fresh run, 1.64 s/step.
This model sees exactly 532,480,000 training tokens — 32,500 steps × 32 × 512 = 532,480,000 tokens — the same budget, corpus, tokenizer and validation batches as every Gen 2 arm and the matched GPT-2 in the table above. No model is trained longer than another, so a gap in the table is a gap between models and never a difference in budget.
What changed from Gen 2
Both channels keep their forward force exactly: the force on a token is still the
gradient of Vθ(ξ, h) + Vφ in that token's own coordinates, with the context held
fixed, plus the reverse channel's register-to-token force. What changes is the
backward pass (vphi_grad_path='live', xi_grad_path='live' in
model_parf_multixi.py):
- Vφ. Its sources and its score head's source input are live tensors. The force is taken with respect to an alias of the token's own state, so no reaction force appears and the forward value is bit-identical.
- ξ. The context channels are built from live states. The force is taken at a point downstream of them, so no path through ξ enters it.
The parameter count is identical to the Gen 2 twin's. The switches were verified on this configuration before training: forward pass bit-identical (max |Δlogit| = 0), and the gradient from a layer step into earlier tokens goes from exactly 0 to non-zero.
Causality
SCAF leak monitor CLEAN at all seven audits (5k to 30k, 32.5k; future perturbation exactly 0, leak tax ≤ 1.2e-4 nats; Tier A cosine deviation 0 and Tier B basin-crossing rate 0 at every audit). The step-32,500 audit printed its honest and standard perplexities as nan; its future-perturbation test read exactly 0. Independent check on the final weights: future perturbation at five cut points exactly 0, batch independence exactly 0, prefix-only leak tax +1.5e-4 nats. The prefix-only logits differ by up to 0.04 from the full-sequence ones: shortening the input changes the reduction order. It carries no information, since any dependence on future content would have broken the bit-exact future-perturbation test. Output: causality_check_output.txt.
Geometry
Terms. The three gates of the flow-or-maps probe (6b-7, CG2) ask whether the layer stack behaves like one continuous flow, or like a sequence of separate maps that only work at the step size they were trained at.
- Gate 1, inertia. The velocity entering each layer is reset to zero. The rise in perplexity is what the momentum is worth to the trained model.
- Gate 2, extension. More layers at the trained step Δt, so the trajectory is integrated past the trained time T = L·Δt.
- Gate 3, refinement. The same total time T, cut into more and smaller steps (Δt = T/N, N > L). A flow reads about the same (FLOW); separate maps degrade (MAPS). Refinement invariance is the precondition for reading the trajectory as a geodesic of the learned metric, rather than of the step map at one step size.
Defined and analysed in the book, Semantic Simulation (Zenodo, latest version): §8.9 Settling, refinement and depth extension, with Proposition 44 (phase-sampled dissipation: the θ/sin θ amplification, θ = ω·Δt) and Proposition 45 (the exact damped-mode flow is refinement-invariant); Remark 62 Refinement invariance is a testable precondition; and §27.15, the replay instrument and the CG experiments.
The register-to-token force is not the gradient of anything in h, so this model's layer step is not a geodesic step of any potential on the tokens; the replay instrument measures how far from one it is, and which term carries the difference.
| reading | Gen 3, L=2, conservative-only | this model | Gen 3, L=4 |
|---|---|---|---|
| Vφ's share of the step (6b-9 attribution, geo → cons) | −0.291 | −0.0002 | −0.0035 |
| reverse channel's share (6b-9, cons+LN → full) | — (absent) | −0.694 | −0.449 |
| distance of the step from the Vθ-only geodesic, R(geo) (6b-9) | 0.665 | 0.911 | 1.369 |
| PPL rise when the velocity is reset (6b-7, gate 1) | +34% | +33% (+16.99) | +55% |
| 1.5× the trained steps at the trained dt (6b-7, gate 2) | +92% | +51% | +41% |
| 1.5× the steps at fixed T (6b-7, gate 3) | +143% | +1,274% | +216% |
| tokens strongly forced, last layer (6b-12) | — | 100% | — |
| ω·dt median at the endpoint, share past 2 (6b-13) | 4.32, 99.8% | 3.40, 99.6% | 2.35, 68.7% |
- Vφ is inert here, as at L=4. With the register path available, the pair potential carries essentially none of the step (−0.0002, the pre-registered |share| < 0.05), where in the conservative-only model it carries most of the departure from the Vθ geodesic. The register path and Vφ behave as substitutes, now at two depths. These are attributions, not a trained-without result; the factorial runs that test it (the same model without Vφ) are planned.
- Refinement fails nine times worse than in the conservative-only model, at the same reliance on velocity. Gate 1 is +33% here against +34% there; Gate 3 is +1,274% against +143%. In the four L=2 models measured before, the two were perfectly rank-ordered. This one breaks the order: the non-conservative register path drives refinement failure independently of momentum.
- The L=4 model is far more refinement-ready (+216% at 1.5× the steps, against +1,274% here), and the stiff-mode readings suggest why. The phase-sampled dissipation of a split step is amplified by θ/sin θ (θ = ω·dt), most sharply near θ = π. This model trains its stiff modes at θ ≈ 3.40, just past π (amplification −13.3), and refinement carries them back across π (θ ≈ 2.27), flipping the sign of the term the network learned to rely on. The L=4 model trains them at θ ≈ 2.35 (amplification 3.3) and stays below π when refined (θ ≈ 1.57). Not the whole story: the conservative-only model also crosses π and fails much less (+143%), so the register path amplifies the effect. One seed each; the prediction that follows (refinement cost falls as the trained θ moves below π) is pre-registered for the settling and refinement experiments.
- Switching the register path off costs +300% at inference (51.17 → 204.84, 6b-8), yet the model trained without it is only 8.7% worse (57.76 against 53.12). An inference-time ablation overstates a component a model was trained to use, here by a factor of about 35. Freezing the register bank at initialisation costs +24%, so the accumulation itself does real work.
- Uniform forcing. Every token at the last layer is substantially redirected from the geodesic step (100% above 0.75); there is no near-geodesic population.
- Stiff, and integrated exactly. ω·dt ≈ 3.40, past the explicit-integrator wall for 99.6% of readings; the closed-form propagator integrates those modes exactly.
Forecastability (6b-10) cannot be read at L=2: the first step only projects the embedding onto the LayerNorm sphere, which leaves one dynamical step. The L=4 model gives the first clean test.
Reproduction
Set in Cell 0 of colab_fock_cfc_baoab_lowrank_depth_ladder_openwebtext_d384.ipynb
and run Cell 0 → 1 → 1b → 1c → 1d → 2 → 3 → 4 → 5 → 5b → 6:
LADDER_MECHANISM='none', REVERSE_CHANNEL=True, LADDER_L=2, LADDER_LR=1.2e-3,
VPHI_GRAD_PATH='live', XI_GRAD_PATH='live' # tag components 'vplive', 'xilive'; dt = T/L = 4
One Colab session, a fresh run of 32,500 steps (PROBE_MAX_STEPS = None). Cell 5b
prints a SOURCE-GRADIENT PROBE banner for this setting.
Training artefacts were written to semsimula_fock_cfc_baoab_owt_xi5long_topk16_dt32da16_mh4_aniso_dcvt5x8_vtjoint_cgqk_vplive_xilive_L2probe_ob_untied_wsd_e5c_plgate_rep0.05_fockreg0.005_g0.1_baoab_cfc_lowrank_idt4_lr0p0012_noattn/.
Glossary
| term | meaning |
|---|---|
| settled PPL | validation perplexity at block 512, the mean of the last three evals (steps 31,500–32,500). Best is the lowest single eval |
| Gen 1 / Gen 2 / Gen 3 | the model generations. Gen 1: explicit integrators. Gen 2: the CfC/BAOAB ladder with the sources of Vφ and ξ (and of an exchange field) detached, which keeps every force causal, but no loss gradient ever reaches an earlier token through them. Gen 3: the same forward pass with those gradients live |
| live / detached gradients | whether the loss gradient flows into the earlier tokens that act as sources of a force. Detaching changes no forward value; it only cuts that backward path |
| Vθ | the learned scalar potential on a token's state h, given its context ξ: a bank of anisotropic Gaussian wells. Its negative gradient is the conservative force on the token |
| Vφ | a pair potential between a token and a few selected earlier tokens (sparse top-k) |
| ξ | the causal context channels: exponential moving averages of earlier states at several horizons, which condition Vθ |
| Fock mechanism, registers, reverse channel | a pool of register particles, created and destroyed from the token context. The reverse channel is the register-to-token force; it is not the gradient of any potential on the tokens, so it is the model's non-conservative part |
| exchange field | an attention-like token-to-token interaction added to the conservative core. Each token is pushed by earlier tokens through learned query, key and value projections, as in attention. The ladder tests it in two forms, attention and attention_potential |
attention (non-conservative exchange field) | the exchange term enters as a force directly. It is not the gradient of anything, so the step stops being a geodesic step |
attention_potential (attention as a potential) | the same interaction written as a scalar potential whose gradient is the force. The routing weights are computed from the hidden states and held fixed with respect to the state being moved, so the force stays an exact gradient and the model stays conservative |
no-exchange (LADDER_MECHANISM = 'none') | the arm with no exchange field at all: Vθ, Vφ and ξ, plus the Fock register mechanism unless the arm is conservative-only |
live exchange field (RELAX_GRAD_PATH = 'live') | attention_potential with the identical forward force written out over live tensors, so the loss gradient reaches the field's sources and routing. In Gen 2 these were detached, and the field sent no gradient into any hidden state |
| Gen 2 probe | a Gen 2 arm retrained with one gradient path changed, to test a hypothesis before the full Gen 3 ladder. The live-exchange-field probe (attention_potential with RELAX_GRAD_PATH = 'live', the full 32,500 steps) is the one that found the gradient starvation |
| gpt2-matched | the reference transformer: GPT-2 architecture, d = 384, L = 8, tied embeddings (33.7M parameters), trained on the same tokenizer, corpus, batches and token budget. Shared by Gen 2 and Gen 3 |
tag components (vplive, xilive, rglive, norc, L4probe, idt…) | pieces of the run's variant tag, so that every configuration gets its own Drive folder: live Vφ sources, live ξ, live exchange field, no reverse channel, the depth L, and the integrator step Δt |
| conservative-only | a model in which every force is a gradient: no reverse channel and no non-conservative exchange field |
| CfC/BAOAB low-rank propagator | the integrator. Each layer step is split into position (A), force kick (B) and friction (O) substeps, and the stiff harmonic modes of Vθ are integrated exactly in closed form |
| ω·Δt, θ | a stiff mode's frequency times the step size. Past 2, an explicit integrator would be unstable (the wall); the closed-form propagator is not. θ/sin θ is the factor by which a split step's dissipation depends on the mode's phase, largest near θ = π |
| geodesic step, R(geo), share | the step a damped particle would take under Vθ alone; R(geo) is the distance of the real step from it, relative to the step's length. A component's share is how much it moves that distance (6b-9 attribution) |
| Gates 1–3, FLOW / MAPS | see Terms in the geometry section |
| CG1–CG7, 6b-N | the CfC-geometry experiments, and the ladder-notebook cells that run them |
| SCAF, Tier A, Tier B | the in-flight causal-leak monitor. Its core test changes future tokens and requires the logits at earlier positions to stay bit-identical. Tier A asks the same of the hidden states, as 1 − cos between the clean and perturbed state at each earlier position and layer. Tier B asks whether the perturbation moves any earlier state into a different dominant Vθ well (the basin-crossing rate). All three read 0 for a causal model |
| leak tax, prefix-only | the loss difference between scoring a position with only its prefix and with the full sequence; about 0 for a causal model |
| clip-hit | the share of logged steps whose gradient norm exceeded the clipping threshold (1.0) |
| pre-registered | a prediction recorded, with its threshold, before the run |
Theoretical foundations of the ladder
The design and theory behind every arm of the ladder, in Gen 2 and Gen 3 alike: the integrator they share, the potential they share, and the mechanisms the ladder compares. The same list appears on every ladder card.
| note | what it establishes |
|---|---|
Closed_Form_and_Hybrid_Integration_Strategies_for_Fock-PARFLM.md | why the integrator is closed-form: which parts of the Vθ dynamics admit exact propagation, and three strategies in decreasing order of exactness, following the CfC lesson from liquid neural networks |
Blended_CfC_BAOAB_Deep_Dive.md | the full construction of the CfC-BAOAB step every arm integrates with: the Gaussian Vθ's exact harmonic propagator placed inside the BAOAB Langevin splitting, every matrix written out |
Modified_BAOAB_with_STP_identity_Detailed_Analysis.md | the BAOAB splitting with the STP identity as the simulator's integrator backbone: component-by-component analysis, coupling to the equations of motion, theoretical properties and trade-offs |
Analytic_Multi_Channel_Integration_in_Structured_Vtheta.md | the joint Vθ (vtjoint in the run tags): the five ξ context channels fused into one closed-form well bank instead of summed as separable ones, and why CfC-BAOAB stays valid |
Conservative_Obstruction_and_Virtual_Particle_Necessity.md | the theorem the ladder tests: no scalar potential on the tokens alone reproduces attention's structure, and the Fock registers are the minimal extension. Gen 2 read the +31.3% Fock gap as that obstruction's price; the reading is withdrawn (detached sources, see the banner) |
Improving_the_Fock_Mechanism_to_match_Attention.md | how the Fock mechanism was redesigned toward attention (Q/K/V-structured creation, the reverse channel). Its headline PPL figures predate the second causal-leak fix and are flagged as uncertified in the note itself |
Measuring_the_Price_of_Conservativity.md | the λ-gated relaxation protocol first proposed to price conservativity, and how the ladder's pair the arm attention → the arm attention_potential answers the same question by construction instead |
Geodesic_Preservation_Experiment.md | why measuring the geometry of the model's own dynamics is the capability to demonstrate, and the design and first analyses of the geodesic measurements (d=384 and d=1024) |
Composing_Single_Layer_Inferences_Flow_or_Maps.md | whether the layer stack is a continuous flow or a sequence of maps; Gates 0–3 on the L=2 the arm no-exchange returned MAPS |
Files
| path | what |
|---|---|
README.md | this card |
config.json | architecture, training, gradient convention and result |
checkpoints/*_best.pt | weights at the best eval (step 31,000), optimizer state stripped |
checkpoints/*_step500_best.pt | weights at step 500, an initialisation reference |
results/L2_arm_none_live_grads_output.txt | the full run log, with per-step diagnostics, the resonance monitor and the SCAF lines |
results/training_log.jsonl | per-eval record; the settled PPL is the mean of its last three rows |
results/scaf_leak_monitor.jsonl | the seven in-flight causal-leak audits, with Tier A and Tier B fields |
results/causality_check_output.txt | the independent causality check on the final weights |
results/Cell-6b-7_flow_or_maps_output.txt | CG2: inertia, extension and refinement gates |
results/Cell-6b-8_register-token_path_carry_output.txt | what the register-to-token path carries: gradients, perturbation, and the inference-time ablations |
results/Cell-6b-9_layer_step_damped_V_theta_geodesic_output.txt | CG1: deflection from the damped Vθ step and its attribution |
results/Cell-6b-12_sparse_forcing_output.txt | CG6: per-token forcing |
results/Cell-6b-13_omega_dt_at_endpoint_cross-arm_comp_output.txt | CG7: ω·dt at the endpoint, on the cross-arm token set |
results/omega_dt_endpoint.jsonl | the 6b-13 record |
results/logfreq_surprisal_openwebtext.npy | the log-frequency table the mass model reads |
code/ | the notebook and the model code: the current revision, whose switches added after this run default to off |
Companion notes
| note | what it covers |
|---|---|
Gradient_Starvation_Investigation.md | the gradient-starvation programme: Tiers 0–3 and the live-gradient ladder |
Depth_Ladder_and_Matched_Baseline_Protocol.md | the abstract-gating section: this run's pre-registration and scoring, and its 6b readings |
Geodesic_Experiments_with_CfC_BAOAB.md | the replay instrument behind the geometry section |
Caveats
- One seed. The depth and register-mechanism margins have no seed variance behind them.
- Parameters are not matched to the GPT-2 baseline (76.8M against 33.7M), the baseline is untuned, and its depth is four times this model's. The ratio is for orientation only.
- The conservative family is not tuned either: no learning-rate or width search for this architecture, Vφ still in the explicit kick, and constant damping. The number is a point on a developing design, not its ceiling.
- OpenWebText only.
Citation
@misc{Gueorguiev2026SemSim,
author = {Gueorguiev, Dimitar P.},
title = {Semantic Simulation: A Prescriptive Lagrangian Framework
for Semantic Inference --- Conservative Potentials,
Non-Conservative Memory, and the Shared-Potential Separator},
year = {2026},
publisher = {Zenodo},
doi = {10.5281/zenodo.19712427},
url = {https://doi.org/10.5281/zenodo.19712427},
note = {Version v22 (Oct 5, 2026).
Companion code repository (DOI 10.5281/zenodo.23152203):
\url{https://github.com/dimitarpg13/semsimula-paper}}
}
Card generated from _ladder/ladder.json on 2026-10-06.