This status report asks whether Registration Theory (RT) derives the qubit Born rule, P(+) = cos²φ, from its own deterministic registration dynamics, or only hosts a construction that reproduces it. RT's canonical finite model is the four-node adaptive consequence-registration field (ACRF-4).Main results:A conditional Born theorem. If the preparation–measurement map supplies (C1) an additive seed, (C2) a fine-state distribution equal to the planar shadow of the uniform 2-sphere, and (C3) a consequence angle locked to twice the preparation–apparatus angle, then ACRF's exact receiver seed yields P(+) = cos²φ. Condition (C2) is shown to be necessary (Cramér–Wold).Native quadratic structure. RT's bilateral phase invariant ζ satisfies tr(P̂_U P̂_V) = (1 + Re ζ²)/2 = cos²Δ, a gauge-invariant projector overlap with the Born form, and the angle doubling follows from RT's sign-gauge quotient. Square-root ledger coordinates realize a Pythagorean split, S = s cos²θ and T = s sin²θ.Obstructions:At detector readiness, the receiver seed is exactly bilinear and does not depend on the coordinate that sets the native Born weight.Phase-only sufficiency fails by explicit counterexample: identical ζ with opposite seed signs.Tangent isotropy is broken by the same boundary couplings that produce the seed.Readiness restricts the seed-visible fine state to a circle, which gives the wrong probability law.A full so(3) commutator algebra generated by retained history is generic and does not by itself select the spherical measure.Conclusion: RT currently hosts, but does not derive, the Born rule. The report identifies the single missing object, a preparation–measurement map, and lists preregistered tests, including a recorded prediction of failure for the isotropy test. It also states one falsifiable consequence: small deviations from Born frequencies concentrated near the outcome threshold.Every claim is labeled exact [E], numerically verified [V], or reported from project audits [R]. The accompanying Python script (rt_born_checks.py, NumPy, fixed seeds) reproduces every [V] claim.Computations, adversarial checks and drafting were assisted by AI language models. The author is responsible for the content.
Supporting data, adapters, predictions and code for the article *Low-Cost LoRA Fine-Tuning of Small Language Models for Multi-Step Arithmetic Reasoning* by Jake O'Grady, Asena Isik Gürhan, Chee Fong Ting and Effirul Ramlan (University of Galway). We generated 20,000 GSM8K-derived arithmetic problems with step-by-step s...
O'Grady, Jake, Gürhan, Asena Isik, Chee, Fong Ting et al.· Zenodo (CERN European Organi...· 465 citations
The results are packaged in the Greenfield Startup Model (GSM), which explains the priority of startups to release the product as quickly as possible, and the need to shorten time-to-market, by speeding up the development through low-precision engineering activities.
Carmine Giardino, Nicolò Paternoster, M. Unterkalmsteiner et al.· IEEE Transactions on Softwar...· 178 citations· ⚡14
Software startup companies develop innovative, software-intensive products within limited timeframes and with few resources, searching for sustainable and scalable business models.
M. Unterkalmsteiner, P. Abrahamsson, Xiaofeng Wang et al.· e-Informatica Software Engin...· 157 citations· ⚡17
This study conducts a case survey study based on the secondary data of the major pivots happened in 49 software startups, and demonstrates that customer need pivot is the most common among all pivot types.
Sohaib Shahid Bajwa, Xiaofeng Wang, Anh Nguyen-Duc et al.· Empirical Software Engineeri...· 127 citations· ⚡15
The comparison of adopter and non-adopter sample reveals three potential adoption inhibitor, security, data privacy, and portability, which underlines the importance of the technical and security perspectives for research investigating the adoption of technology.
Nattakarn Phaphoom, Xiaofeng Wang, S. Samuel et al.· Journal of Systems and Softw...· 111 citations· ⚡8
This study investigates how Lean internal startup facilitates software product innovation in large companies and identifies its enablers and inhibitors, and shows the potential of the method-in-action framework to investigate the Lean startup approach in non-startup context.
Henry Edison, Nina M. Smørsgård, Xiaofeng Wang et al.· Journal of Systems and Softw...· 78 citations· ⚡6