cff-version: 1.2.0 message: "If you use Research Stack, OTOM, Rainbow Raccoon Compiler, or the associated formal/compression artifacts, please cite this repository." type: software title: "Research Stack (OTOM)" abstract: >- Research Stack is a formal-methods and compression research repository for integer-routed symbolic systems, Omindirection logogram atoms, the Rainbow Raccoon Compiler admission gate, Lean-backed semantics, and associated documentation, infrastructure, and experimental adapters. authors: - family-names: "Schneider" given-names: "Brandon" alias: "allaunthefox" - name: "Research Stack Contributors" repository-code: "https://github.com/allaunthefox/Research-Stack" url: "https://github.com/allaunthefox/Research-Stack" date-released: 2026-05-08 license: Apache-2.0 keywords: - formal-verification - lean4 - compression - symbolic-systems - omindirection - rainbow-raccoon-compiler - hutter-prize - fpga - manifolds - reproducible-research preferred-citation: type: software title: "Research Stack (OTOM)" authors: - family-names: "Schneider" given-names: "Brandon" alias: "allaunthefox" - name: "Research Stack Contributors" repository-code: "https://github.com/allaunthefox/Research-Stack" url: "https://github.com/allaunthefox/Research-Stack" date-released: 2026-05-08 license: Apache-2.0 references: - type: thesis title: "Pascal's Triangle, Pascal's Pyramid, and the Trinomial Triangle" authors: - family-names: "Saucedo" given-names: "Antonio Jr." date-published: 2019-06 institution: name: "California State University, San Bernardino" collection-title: "Electronic Theses, Projects, and Dissertations" url: "https://scholarworks.lib.csusb.edu/etd/855" notes: "Combinatorics reference for Pascal triangle extensions, Fermat-number patterns, and hockey-stick identities; useful as a domain source, not as a Lean proof authority." - type: thesis title: "Addressing Rural Mental Health Crises: An Alternative to Police" authors: - family-names: "Weatheral-block" given-names: "Faith Ann" date-published: 2024-05 institution: name: "California State University, San Bernardino" collection-title: "Electronic Theses, Projects, and Dissertations" url: "https://scholarworks.lib.csusb.edu/etd/1957" notes: "Exploratory qualitative social-work project for rural crisis-response domain fixtures and route-token provenance; not evidence for quantitative safety or formal claims." # ── Stability-driven Recurrent Scaling and Single Precision IPMs (2026-06-19 session) ── - type: article title: "Stabilizing Recurrent Dynamics for Test-Time Scalable Latent Reasoning in Looped Language Models" authors: - family-names: "Yang" given-names: "Xiao-Wen" - family-names: "Han" given-names: "Ziyu" - family-names: "Zhang" given-names: "Xi-Hua" - family-names: "Wei" given-names: "Wen-Da" - family-names: "Shao" given-names: "Jie-Jing" - family-names: "Guo" given-names: "Lan-Zhe" - family-names: "Li" given-names: "Yu-Feng" date-published: 2026-05 url: "https://arxiv.org/abs/2605.26733" notes: "Introduces STARS (STAbility-driven Recurrent Scaling) for looped models, regularizing spectral radius of the Jacobian using power iterations with JVPs." - type: article title: "A Differentiable Interior-Point Method in Single Precision" authors: - family-names: "Arrizabalaga" given-names: "Jon" - family-names: "Tracy" given-names: "Kevin" - family-names: "Manchester" given-names: "Zachary" date-published: 2026-05 url: "https://arxiv.org/abs/2605.17913" notes: "Formulates a differentiable primal-dual interior-point method with implicit complementarity via a softplus retraction map, guaranteeing bounded KKT systems for low-precision or fixed-point arithmetic." # ── Hard-sphere packing and polydispersity (2026-06-19 session) ────────── - type: article title: "Close packing density of polydisperse hard spheres" authors: - family-names: "Farr" given-names: "R." - family-names: "Groot" given-names: "R. D." date-published: 2009-12 doi: 10.1063/1.3276799 journal: "The Journal of Chemical Physics" notes: "Anchor paper for polydisperse close-packing theory." - type: article title: "Fractionation effects in phase equilibria of polydisperse hard-sphere colloids" authors: - family-names: "Fasolo" given-names: "M." - family-names: "Sollich" given-names: "P." date-published: 2004-10 doi: 10.1103/physreve.70.041410 journal: "Physical Review E" notes: "Full fractionation phase equilibria for polydisperse hard spheres; terminal polydispersity ~14%." - type: article title: "Brownian dynamics of polydisperse colloidal hard spheres: Equilibrium structures and random close packings" authors: - family-names: "Schaertl" given-names: "W." - family-names: "Sillescu" given-names: "H." date-published: 1994 doi: 10.1007/bf02183148 journal: "Journal of Statistical Physics" notes: "Early polydisperse hard-sphere BD simulation." - type: article title: "Random-close packing limits for monodisperse and polydisperse hard spheres" authors: - family-names: "Baranau" given-names: "V." - family-names: "Tallarek" given-names: "U." date-published: 2014 doi: 10.1039/c3sm52959b journal: "Soft Matter" notes: "Definitive RCP limits for monodisperse (~0.64) and polydisperse spheres." - type: article title: "On the jamming phase diagram for frictionless hard-sphere packings" authors: - family-names: "Baranau" given-names: "V." - family-names: "Tallarek" given-names: "U." date-published: 2014 doi: 10.1039/c4sm01439a journal: "Soft Matter" notes: "Jamming phase diagram for frictionless spheres." - type: article title: "Dense packing of binary and polydisperse hard spheres" authors: - family-names: "Santiso" given-names: "E." - family-names: "Müller" given-names: "E. A." date-published: 2002 doi: 10.1080/00268970210125313 journal: "Molecular Physics" notes: "Packing of binary/tridisperse/distributed sphere mixtures." - type: article title: "Freezing of polydisperse hard spheres" authors: - family-names: "Kofke" given-names: "D." - family-names: "Bolhuis" given-names: "P." date-published: 1999 doi: 10.1103/physreve.59.618 journal: "Physical Review E" notes: "Fractionating phase behavior of polydisperse hard spheres." - type: article title: "Freezing line of polydisperse hard spheres via direct-coexistence simulations" authors: - family-names: "Castagnède" given-names: "A." - family-names: "Filion" given-names: "L." - family-names: "Smallenburg" given-names: "F." date-published: 2025 doi: 10.1063/5.0281621 journal: "The Journal of Chemical Physics" notes: "Recent direct-coexistence simulation of polydisperse freezing line." - type: article title: "Frenkel's entropy-exchange mechanism in monodisperse, nearly hard-sphere colloids: minimal perturbations to access fluid-crystal coexistence" authors: - family-names: "Wang" given-names: "J. G." - family-names: "Dhumal" given-names: "U." - family-names: "Zakhari" given-names: "M. E. A." - family-names: "Zia" given-names: "R." date-published: 2025 doi: 10.1017/jfm.2026.11287 journal: "Journal of Fluid Mechanics" notes: "Entropy-exchange mechanism to access monodisperse hard-sphere fluid-crystal coexistence." - type: article title: "The elusive fluid-and-crystal coexistence state in simulations of monodisperse, hard-sphere colloids" authors: - family-names: "Wang" given-names: "J. G." - family-names: "Dhumal" given-names: "U." - family-names: "Zakhari" given-names: "M. E. A." - family-names: "Zia" given-names: "R." date-published: 2024 doi: 10.1002/aic.70275 journal: "AIChE Journal" notes: "Elusive nature of unbiased monodisperse hard-sphere coexistence simulation." - type: article title: "Local composition fluctuations act as precursors for crystal nucleation in polydisperse hard spheres" authors: - family-names: "De Jager" given-names: "M." - family-names: "Castagnède" given-names: "A." - family-names: "Smallenburg" given-names: "F." - family-names: "Filion" given-names: "L." date-published: 2025 journal: "arXiv" notes: "Composition fluctuation precursors in polydisperse nucleation." - type: article title: "Rheology and structure of polydisperse three-dimensional packings of spheres" authors: - family-names: "Cantor" given-names: "D." - family-names: "Azéma" given-names: "É." - family-names: "Sornay" given-names: "P." - family-names: "Radjai" given-names: "F." date-published: 2018 doi: 10.1103/physreve.98.052910 journal: "Physical Review E" notes: "Shear strength nearly unchanged despite microstructural differences in polydisperse packings." - type: article title: "Impact of polydispersity and confinement on diffusion in hydrodynamically interacting colloidal suspensions" authors: - family-names: "Gonzalez" given-names: "E." - family-names: "Aponte-Rivera" given-names: "C." - family-names: "Zia" given-names: "R." date-published: 2021 doi: 10.1017/jfm.2021.563 journal: "Journal of Fluid Mechanics" notes: "Polydispersity + confinement effect on colloidal diffusion." - type: article title: "Percus-Yevick structure factors made simple" authors: - family-names: "Botet" given-names: "R." - family-names: "Kwok" given-names: "S." - family-names: "Cabane" given-names: "B." date-published: 2020 doi: 10.1107/s1600576720014041 journal: "Journal of Applied Crystallography" notes: "Simplified PY structure factors for monodisperse/polydisperse fluids." - type: thesis title: "Microstructure and macroscopic properties of polydisperse systems of hard spheres" authors: - family-names: "Ogarko" given-names: "V." date-published: 2014 doi: 10.3990/1.9789036536691 institution: name: "University of Twente" notes: "Polydisperse hard-sphere EOS, moments, glassy regime." - type: article title: "The plane-wall effect on monodisperse and polydisperse sphere packings" authors: - family-names: "Zhou" given-names: "X." - family-names: "Huang" given-names: "Z." - family-names: "Li" given-names: "S." date-published: 2025 doi: 10.1016/j.powtec.2025.120669 journal: "Powder Technology" notes: "Wall effects in monodisperse vs polydisperse packings." - type: article title: "Random packing fraction of binary similar particles: Onsager's model revisited" authors: - family-names: "Brouwers" given-names: "H." date-published: 2022 doi: 10.3367/ufne.2023.11.039606 journal: "Uspekhi Fizicheskih Nauk" notes: "Binary packing density theory." - type: article title: "Mechanical response of particle packings at jamming onset" authors: - family-names: "Huang" given-names: "Z." - family-names: "Zhou" given-names: "X." - family-names: "Li" given-names: "S." date-published: 2025 doi: 10.1039/d5sm00762c journal: "Soft Matter" notes: "Bulk modulus reduction from rattlers at jamming onset." - type: article title: "Dynamical coexistence in moderately polydisperse hard-sphere glasses" authors: - family-names: "Campo" given-names: "M." - family-names: "Speck" given-names: "T." date-published: 2019 doi: 10.1063/1.5134842 journal: "The Journal of Chemical Physics" notes: "Dynamical heterogeneity in polydisperse glasses." - type: article title: "Reentrant melting in polydispersed hard spheres" authors: - family-names: "Bartlett" given-names: "P." - family-names: "Warren" given-names: "P. B." date-published: 1999 doi: 10.1103/physrevlett.82.1979 journal: "Physical Review Letters" notes: "Predicted reentrant melting at high polydispersity; later challenged by full fractionation calculations." - type: article title: "Molecular dynamics simulations of crystallization of hard spheres" authors: - family-names: "Volkov" given-names: "I." - family-names: "Cieplak" given-names: "M." - family-names: "Koplik" given-names: "J." - family-names: "Banavar" given-names: "J." date-published: 2002 doi: 10.1103/physreve.66.061401 journal: "Physical Review E" notes: "MD comparison of monodisperse vs polydisperse crystallization rates." - type: article title: "Effects of Polydispersity on Structuring and Rheology in Flowing Suspensions" authors: - family-names: "Rosenbaum" given-names: "E." - family-names: "Massoudi" given-names: "M." - family-names: "Dayal" given-names: "K." date-published: 2019 doi: 10.1115/1.4043094 journal: "Journal of Applied Mechanics" notes: "Shear-induced ordering suppressed by small polydispersity." - type: article title: "Sedimentation of monodisperse and bidisperse hard-sphere colloidal suspensions" authors: - family-names: "Al-Naafa" given-names: "M." - family-names: "Selim" given-names: "M." date-published: 1992 doi: 10.1002/aic.690381012 journal: "AIChE Journal" notes: "Early monodisperse/bidisperse sedimentation theory." - type: article title: "Lattice-Boltzmann simulations of low-Reynolds-number flow past mono- and bidisperse arrays of spheres: results for the permeability and drag force" authors: - family-names: "van der Hoef" given-names: "M. A." - family-names: "Beetstra" given-names: "R." - family-names: "Kuipers" given-names: "J. A. M." date-published: 2005 doi: 10.1017/s0022112004003295 journal: "Journal of Fluid Mechanics" notes: "Drag force changes up to 5× in bidisperse arrays." # ── Vortex-glass and granular superconductor literature (2026-06-19 session) ── - type: article title: "Orbital glass in HTSC: a new state of condensed matter" authors: - family-names: "Kusmartsev" given-names: "F." date-published: 1992 doi: 10.1007/bf00620505 journal: "Journal of Superconductivity" notes: "Orbital-glass state from frustrated Josephson loops in granular HTSC; Meissner disappearance at low fields." - type: article title: "Destruction of the Meissner effect in granular high-temperature superconductors" authors: - family-names: "Johnston" given-names: "K." alias: "K." date-published: 1992 doi: 10.1103/physrevlett.69.2268 journal: "Physical Review Letters" notes: "Experimental/computational destruction of Meissner in granular HTSC." - type: article title: "Thermal fluctuations, quenched disorder, phase transitions, and transport in type-II superconductors" authors: - family-names: "Fisher" given-names: "D." - family-names: "Fisher" given-names: "M." - family-names: "Huse" given-names: "D." date-published: 1991 doi: 10.1103/physrevb.43.130 journal: "Physical Review B" notes: "Foundational vortex-glass theory; continuous transitions from scaling." - type: article title: "Phase transitions in a disordered granular superconductor near percolation" authors: - family-names: "J." given-names: "J." - family-names: "L." given-names: "L." date-published: 1986 doi: 10.1103/physrevb.34.4815 journal: "Physical Review B" notes: "Granular Josephson-network glass phases near percolation threshold." - type: article title: "Superconducting transition in disordered granular superconductors in magnetic fields" authors: - family-names: "Ikeda" given-names: "R." date-published: 2005 doi: 10.1103/physrevb.74.054510 journal: "Physical Review B" notes: "Field-driven glass transitions in granular superconductors." - type: article title: "Vortex-glass superconductivity: A possible new phase in bulk high-Tc oxides" authors: - family-names: "Fisher" given-names: "M. P. A." date-published: 1989 doi: 10.1103/physrevlett.62.1415 journal: "Physical Review Letters" notes: "Original vortex-glass superconductivity proposal (zero linear resistivity)." - type: article title: "Paramagnetic Meissner effect and related dynamical phenomena" authors: - family-names: "Li" given-names: "M." date-published: 2003 doi: 10.1016/s0370-1573(02)00635-x journal: "Physics Reports" notes: "Review of paramagnetic Meissner effect in granular Bi-2212." - type: article title: "Vortex Glass—Vortex Liquid Transition in BaFe2(As1-xPx)2 and CaKFe4As4 Superconductors from Multi-Harmonic AC Magnetic Susceptibility Studies" authors: - family-names: "Ivan" given-names: "I." - family-names: "Ionescu" given-names: "A." - family-names: "Crisan" given-names: "D." - family-names: "Crisan" given-names: "A." date-published: 2023 doi: 10.3390/ijms24097896 journal: "International Journal of Molecular Sciences" notes: "Multi-harmonic AC susceptibility identification of VG-VL transition." - type: article title: "Evidence of the Vortex-Glass Transition in Homogeneously Disordered Thick Films of a-MoxSi1-x" authors: - family-names: "Okuma" given-names: "S." - family-names: "Arai" given-names: "M." date-published: 2000 doi: 10.1143/jpsj.69.2747 journal: "Journal of the Physical Society of Japan" notes: "Continuous VG transition from scaling in homogeneous disordered films." - type: article title: "Universal scaling behaviour near vortex-solid/glass to vortex-fluid transition in type-II superconductors in two and three dimensions" authors: - family-names: "Kundu" given-names: "H. K." - family-names: "Jesudasan" given-names: "J." - family-names: "Raychaudhuri" given-names: "P." - family-names: "Mukerjee" given-names: "S." - family-names: "Bid" given-names: "A." date-published: 2019 doi: 10.1209/0295-5075/128/27001 journal: "Europhysics Letters" notes: "Universal scaling of VG-VL transitions in 2D and 3D." - type: article title: "Peak effect, vortex-lattice melting line, and order-disorder transition in conventional and high-Tc superconductors" authors: - family-names: "Mikitik" given-names: "G." - family-names: "Brandt" given-names: "E." date-published: 2001 doi: 10.1103/physrevb.64.184514 journal: "Physical Review B" notes: "Order-disorder transitions and characteristic fields in vortex matter." - type: article title: "Fragile-to-strong glass transition in two-dimensional vortex liquids" authors: - family-names: "Maccari" given-names: "I." - family-names: "Benfatto" given-names: "L." - family-names: "Castellani" given-names: "C." - family-names: "Lorenzana" given-names: "J." - family-names: "De Michele" given-names: "C." date-published: 2024 doi: 10.1103/physrevresearch.7.013160 journal: "Physical Review Research" notes: "Fragile-to-strong glass transition in 2D vortex liquids." - type: article title: "Unveiling of Bragg glass to vortex glass transition by an ac driving force in a single crystal of Yb3Rh4Sn13" authors: - family-names: "Kumar" given-names: "S." - family-names: "Singh" given-names: "R." - family-names: "Thamizhavel" given-names: "A." - family-names: "Tomy" given-names: "C." - family-names: "Grover" given-names: "A." date-published: 2015 doi: 10.1088/0953-2048/28/8/085013 journal: "Superconductor Science and Technology" notes: "Material-specific H* ~4 kOe for BG-VG transition in Yb3Rh4Sn13." - type: article title: "Paramagnetic Meissner effect in YBa2Cu3O7/La0.7Ca0.3MnO3 superlattices" authors: - family-names: "Torre" given-names: "M. A. L. L." - family-names: "Peña" given-names: "V." - family-names: "Sefrioui" given-names: "Z." date-published: 2006 doi: 10.1103/physrevb.73.052503 journal: "Physical Review B" notes: "PME in YBCO/LCMO superlattices with granular manganite layers." - type: article title: "Observation of predicted superconductivity in Gd1.4Ce0.6Sr2Cu2TiOx with x ≈ 10" authors: - family-names: "Blackstead" given-names: "H. A." - family-names: "Dow" given-names: "J." - family-names: "Goldschmidt" given-names: "D." - family-names: "Pulling" given-names: "D. B." date-published: 1998 doi: 10.1016/s0375-9601(98)00348-x journal: "Physics Letters A" notes: "Granular superconductivity with mesoscopic Meissner and vortex dissipation." - type: article title: "Observation of the Granular Josephson Mechanism and the Vortex-Glass Transition in the Polycrystalline GdBa2Cu3O7-δ Superconductor" authors: - family-names: "Vargas-Pineda" given-names: "E. M." - family-names: "Rivera-Contreras" given-names: "L. J." - family-names: "Pineda-Peña" given-names: "G." - family-names: "Téllez" given-names: "D." - family-names: "Roa-Rojas" given-names: "J." date-published: 2024 doi: 10.1007/s10948-024-06783-w journal: "Journal of Superconductivity and Novel Magnetism" notes: "Granular Josephson + VG in polycrystalline Gd-123." - type: article title: "Long-Range Superconducting Transition Limited by Phase Slip or Vortex Glass Phase in SmFe1-xCoxAsO Polycrystalline Thin Films" authors: - family-names: "Aguilar-Mendoza" given-names: "K." - family-names: "Guillen-Cervantes" given-names: "A." - family-names: "Corrales-Mendoza" given-names: "I." - family-names: "Conde-Gallardo" given-names: "A." date-published: 2025 doi: 10.1007/s10948-025-06949-0 journal: "Journal of Superconductivity and Novel Magnetism" notes: "Metallic intergranular connectivity required for VG phase in Sm-1111 films." - type: article title: "Vortex-glass transition and vortex pinning behavior in three-dimensional NbTiN epitaxial films" authors: - family-names: "Han" given-names: "Z." - family-names: "Jing" given-names: "T." - family-names: "Yang" given-names: "J." - family-names: "Cai" given-names: "W." - family-names: "Li" given-names: "Z." date-published: 2024 doi: 10.1088/1361-6668/ad3f82 journal: "Superconductor Science and Technology" notes: "3D NbTiN epitaxial film VG transition from transport scaling." - type: article title: "Vortex-glass transitions in low-Tc superconducting Nb thin films and Nb/Cu superlattices" authors: - family-names: "Villegas" given-names: "J." - family-names: "Vicent" given-names: "J." date-published: 2005 doi: 10.1103/physrevb.71.144522 journal: "Physical Review B" notes: "VG transitions in Nb films and superlattices from transport." - type: article title: "Unveiling the vortex glass phase in the surface and volume of a type-II superconductor" authors: - family-names: "Sánchez" given-names: "J. A." - family-names: "Maldonado" given-names: "R. C." - family-names: "Bolecek" given-names: "N. R. C." date-published: 2019 doi: 10.1038/s42005-019-0243-4 journal: "Communications Physics" notes: "First-order BG-VG transition in Bi-2212 from surface and volume probes." - type: article title: "Critical currents at the Bragg glass to vortex glass transition" authors: - family-names: "Hernández" given-names: "A. D." - family-names: "Domínguez" given-names: "D." date-published: 2003 doi: 10.1103/physrevlett.92.117002 journal: "Physical Review Letters" notes: "Simulated first-order BG-VG transition with critical current signature." - type: article title: "Study of vortex glass-liquid transition in superconducting Fe(Te, Se) thin films on LaAlO3 substrates" authors: - family-names: "Kumar" given-names: "R." - family-names: "Mitra" given-names: "A." - family-names: "Varma" given-names: "G. D." date-published: 2019 doi: 10.1063/1.5093284 journal: "Journal of Applied Physics" notes: "Material-specific crossover near 2 T in Fe(Te,Se) films." - type: article title: "Vortex-glass phases in type-II superconductors" authors: - family-names: "Nattermann" given-names: "T." - family-names: "Scheidl" given-names: "S." date-published: 2000 doi: 10.1080/000187300412257 journal: "Advances in Physics" notes: "Comprehensive review of vortex-glass phases." - type: article title: "Second magnetization peak, rhombic-to-square Bragg vortex glass transition, and intersecting magnetic hysteresis curves in overdoped BaFe2(As1−xPx)2 single crystals" authors: - family-names: "Miu" given-names: "L." - family-names: "Ionescu" given-names: "A." - family-names: "Miu" given-names: "D." date-published: 2020 doi: 10.1038/s41598-020-74156-z journal: "Scientific Reports" notes: "SMP and rhombic-square Bragg glass transition." - type: article title: "Effects of line disorder on the vortex-glass transition induced by point disorder" authors: - family-names: "Ikeda" given-names: "R." date-published: 2001 doi: 10.1143/jpsj.70.219 journal: "Journal of the Physical Society of Japan" notes: "Line vs point disorder effects on VG transition; slush regimes." - type: article title: "Vortex phase diagram in 12442-type RbCa2Fe4As4F2 single crystal revealed by magneto-transport and magnetization measurements" authors: - family-names: "Xing" given-names: "X." - family-names: "Yi" given-names: "X." - family-names: "Li" given-names: "M." date-published: 2020 doi: 10.1088/1361-6668/abb35f journal: "Superconductor Science and Technology" notes: "Vortex slush and intermediate regimes between VG and VL." - type: article title: "Theory of Magnetic Domain Phases in Ferromagnetic Superconductors" authors: - family-names: "Devizorova" given-names: "Z. A." - family-names: "Mironov" given-names: "S." - family-names: "Buzdin" given-names: "A." date-published: 2019 doi: 10.1103/physrevlett.122.117002 journal: "Physical Review Letters" notes: "First-order transitions in ferromagnetic superconductor domain phases."