Skip to content
#software testing Open access

The Missing Medium: A Transactional Residual Stream for Transformer Training

Sep 2026 · Zenodo (CERN European Organization for Nuclear Research)
Security and Verification in Computing

Abstract

Modern training treats the transformer residual stream as an anonymous accumulator: any kernel may execute h += \delta, and no record of the write survives the step. Training observes the consequences of internal writes — loss curves, evaluations, activation probes — never the writes themselves. We introduce hytorch, a training loop in which the residual stream is a typed, transactional channel: blocks propose, a pinned policy admits, and every candidate write leaves exactly one 16-byte record — commit, overflow (lost a slot contention) or abort (rule rejection) — so that what the model attempted to write, and why it was refused, is data. Every optimizer step is gated by a durable receipt from an embedded transactional store (Hyphae); a CPU-only verifier replays audited microbatches bit-for-bit against a pinned software reference; the same reference binary admits NVIDIA (sm_89/sm_90), AMD (gfx950) and, through a two-phase policy, AWS Trainium2 kernels on 200,000 adversarial cases with bit-identical verdicts and residuals. Fault injection over real training spills is detected 36/36 with the correct class. The instrument produced two results. Our preregistered protocol reversed our own headline: a single-LR -44.9% perplexity win, replicated across vendors, became a 2.9× loss to the properly tuned dense twin under the preregistered LR sweep, and we publish the reversal. And at nanochat-d20 scale the ledger recorded a silent channel collapse: commit rate 0.066%→0 by step 200, the write codebook frozen bit-exactly, while validation loss improved on schedule through the architecture's declared bypass paths. Neither loss, evaluation nor activation probes distinguish an expensive pathway from a dead one; the write records do, mechanically, during training. We are explicit about what this is and is not. hytorch is an instrumentation and verification framework, not an efficient training architecture: the channel configuration we tested (at most 160 scalar degrees of freedom per token per layer) does not carry a language model — the cataloged d20 model is at chance on knowledge tasks — and costs 12–29× the twin's wall clock; its headline capacity number comes from a run whose STE gradient we later found to be mis-scaled, and the corrected rerun does not yet exist. What the evidence supports is narrower and, we argue, more useful: a training process whose state transitions through the typed channel are witnessed, receipted and replayable. Version 1.1 (5 September 2026) supersedes v1.0 (4 September 2026) after four external reviews; the review synthesis and the list of changes are in the repository (paper/notes/REVIEWS-2026-09.md). Code and evidence: https://github.com/Hyphae-Research-Foundation/hytorch (release v1.1). Source code is licensed Apache-2.0; this paper, its figures and the results prose CC BY-SA 4.0. Every number in the paper traces to a file under results/ or a record key in a Hyphae ledger.

View source

Similar papers

#computer vision Review Sep 2017

Agile Software Development Methods: Review and Analysis

This publication proposes a definition and a classification of agile software development approaches and analyses ten software development methods that can be characterized as being "agile" against the defined criterion.

P. Abrahamsson, O. Salo, Jussi Ronkainen et al. · 727 citations · ⚡54
#computer vision Jun 2008

The impact of agile practices on communication in software development

The study shows that agile practices improve both informal and formal communication, but indicates that, in larger development situations involving multiple external stakeholders, a mismatch of adequate communication mechanisms can sometimes even hinder the communication.

M. Pikkarainen, Jukka Haikara, O. Salo et al. · 401 citations · ⚡48
#machine learning Review Open access Oct 2014

Software development in startup companies: A systematic mapping study

The results indicate that software engineering work practices are chosen opportunistically, adapted and configured to provide value under the constrains imposed by the startup context.

Nicolò Paternoster, Carmine Giardino, M. Unterkalmsteiner et al. · 394 citations · ⚡54
#computer vision Review Mar 2008

Agile methods in European embedded software development organisations: a survey on the actual use and usefulness of Extreme Programming and Scrum

The results show that the embedded industry has been able to apply agile methods in its development processes and that the appreciation of the agile methods and their individual practices appears to increase once adopted and applied in practice.

O. Salo, P. Abrahamsson · 238 citations · ⚡9
#computer vision Open access Jul 2017

What happens when software developers are (un)happy

Consequences of happiness and unhappiness that are beneficial and detrimental for developers' mental well-being, the software development process, and the produced artifacts are found.

D. Graziotin, Fabian Fagerholm, Xiaofeng Wang et al. · 236 citations · ⚡13
#computer vision Open access Oct 2004

Mobile-D: an agile approach for mobile application development

The Mobile-D approach is briefly outlined here and the experiences gained from four case studies are discussed, which helped develop an agile development approach for mobile application development.

P. Abrahamsson, Antti Hanhineva, H. Hulkko et al. · 225 citations · ⚡18

Related blog posts

GPT-Lab Sep 17, 2026

Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering

AI is making software generation faster, but speed does not remove the need for expertise. As more work is delegated to AI, tacit knowledge may become one of the most important human advantages in software engineering. The post Beyond Prompt Engineering: The Role of Tacit Knowledge in Software Engineering appeared first on GPT-Lab.

MIT News · Artificial Intelligence Aug 17, 2026

Q&A: Rethinking how innovation happens

In his latest book, Professor Eugene Fitzgerald examines the forces that turn breakthroughs into value — and why innovation resists simple formulas.

Microsoft Research Blog Aug 12, 2026

MindTopo reveals VLMs’ spatial reasoning abilities

A path, a fence, a knot. MindTopo sets a new benchmark for testing how AI understands topological relationships and highlights new opportunities to strengthen spatial reasoning and planning. The post MindTopo reveals VLMs’ spatial reasoning abilities appeared first on Microsoft Research.

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.