Informatico.ai

Contents

Engineering & Construction

  1. E.01 Stokes–Brinkman Porous Continuum, Helmholtz–Hodge Decomposition, and Percolation
  2. E.02 Herschel–Bulkley Yield-Stress Rheology: High-Performance Concrete Pumping & Tremie Placement
  3. E.03 Sub-Wavelength Acoustic Metamaterial Helmholtz Arrays and Viscothermal Boundary-Layer Damping
  4. E.04 Counter-Current Enthalpy Recovery Exchangers: Effectiveness–NTU, Membrane Sorption, and Frost Limits
  5. E.05 Terzaghi Soil Mechanics, CFA Augercast Deep Foundation Piling & Liquefaction Surcharge
  6. E.06 Nonlinear Structural Dynamics, ASCE 7-22 Inelastic Response Spectra & Seismic Base-Isolation Dampers
  7. E.07 Long-Span Suspension Bridge Aeroelastic Flutter, Scanlan Derivatives & Physics-Informed Neural Network (PINN) Digital Twins
  8. E.08 Earth-Pressure-Balance Tunnel Boring Machines (EPB-TBM), Peck–Mair Gaussian Settlement Troughs & GNN Subsurface Digital Twins
  9. E.09 Autogenous Bacterial & Crystalline Self-Healing Concrete: Lucas–Washburn Capillary Imbibition, Fickian–Michaelis–Menten Calcite Precipitation & Ultrasonic Coda-Wave Digital Twins
  10. E.10 3D Concrete Printing (3DCP) Extrusion Rheology & Buildability: Roussel Thixotropic Structuration, Elastic Buckling vs. Plastic Collapse & Robotic Toolpath Control
  11. E.11 Continuum Topology Optimization & Skyscraper Inerter Damping: SIMP Penalization, Michell Funicular Trusses & Trabecular Bone Mechanics
  12. E.12 Machine-Checked Silicon-to-Grid Safety: 180M-Line Rocq RISC-V Verification, Control Barrier Functions & Firefly-Synchronized Renewable Grids

Architecture

  1. A.01 Funicular Thrust Surfaces, Maxwell–Cremona Duals, and 1:5 Nodal Tectonics
  2. A.02 Reciprocal Timber Gridshells (Nexorades), Eccentric Lap Moments, and 1:5 Shear-Block Joinery
  3. A.03 Double-Skin Facade Buoyancy Stack Ventilation, Cavity Plumes, and 1:5 Acoustic Damper Louvers
  4. A.04 From Archigram's Plug-In Megastructures to British High-Tech Exoskeletons: Gerberette Cantilevers, Maxwell Space Frames & Shearing-Layer Pods
  5. A.05 Acoustic Sabin–Eyring Reverberation, Diffusive Coffered Vaults, and Speech Intelligibility (STI ≥ 0.68)
  6. A.06 Net-Zero Water & Greywater Constructed Wetlands: Subsurface Darcy Filtration, UV-C Photolysis, and Pathogen-Free Plumbing (CSI 22 13 00)
  7. A.07 Luis Barragán's Chromatic Tectonics, Kubelka–Munk Pigment Radiosity & Emotional Spatial Wavefields
  8. A.08 AI-Designed Daytime Radiative Sky-Cooling Photonic Roofs (8–13 μm Window) & Stefan Phase-Change Envelopes
  9. A.09 Bending-Active & Hygroscopic Programmable Timber Skins: Timoshenko Bilayer Curvature, Orthotropic Moisture Swelling & Zero-Energy Climate Facades
  10. A.10 Kinetic Origami & Miura-Ori Deployable Biomimetic Facades: Isometric Crease Kinematics, Auxetic Poisson Ratio Inversion & Solar Mashrabiya Envelopes
  11. A.11 3D Polyhedral Graphic Statics & Airy Stress Surfaces: Maxwell–Rankine Reciprocal Polyhedra, Guastavino Tile Vaulting & Zero-Rebar Floors
  12. A.12 Tensegrity Cable-Strut Domes & Radiative Sky-Cooling Envelopes: Pellegrino Equilibrium Nullspaces, Prestress Stiffening & Zero-Energy Cooling

Physics

  1. P.01 Non-Equilibrium Fluctuation-Dissipation Theorems and Allosteric Gating Energetics
  2. P.02 Active Matter Hydrodynamics and Ciliary Metachronal Wave Synchronization
  3. P.03 Soft Matter Rheology and Anomalous Subdiffusion in Entangled Mucin Hydrogels
  4. P.04 Electrokinetics, Donnan Equilibrium, and the Catastrophic Osmotic Collapse of the Periciliary Layer
  5. P.05 Quantum WKB Barrier Penetration, Proton-Coupled Electron Transfer, and Deaminase Base-Editing Catalysis
  6. P.06 de Gennes Polymer Reptation (D_rep ~ N⁻²), Doi–Edwards Tube Relaxation, and Kilobase Genetic Cargo Transport
  7. P.07 Formula 1 Ground-Effect Venturi Aerodynamics, 2026 Active X/Z-Mode Wings, Outwash Vortex Sealing & Porpoising Limit Cycles
  8. P.08 Electromagnetic Color Wave Physics: Bragg Thin-Film Interference, Gonioapparent Automotive Pearlescence & Barragán Stucco Optics
  9. P.09 Electrohydrodynamic Taylor Cones (49.3°), Rayleigh Fission Limits & Precision Monodisperse Aerosol Jet Physics
  10. P.10 Topological Photonics, Haldane–Raghu Photonic Chern Insulators, Berry Curvature & Backscatter-Free Chiral Edge Waveguides
  11. P.11 Fault-Tolerant Quantum Computing & Clean Nitrogen Fixation: Surface-Code Stabilizers, Non-Abelian Anyon Braiding & FeMoCo Catalysis
  12. P.12 Hilbert's Sixth Problem Resolved: Hard-Sphere Boltzmann Kinetics to Navier–Stokes Continuum & Neural Climate Operators

Series · Time & Gravity · 13 steps (T.00–T.12)

  1. T.00 Time & Gravity
  2. T.01 Gravity as a Slope in the Rate of Time
  3. T.02 Everyone Moves at One Rate
  4. T.03 What Sets the Slope
  5. T.04 A Clock in Two Places
  6. T.05 Does Gravity Entangle, and Would That Settle It?
  7. T.06 Does Gravity Collapse the Wave?
  8. T.07 The Equation with No Time
  9. T.08 A Horizon Has a Temperature
  10. T.09 A Horizon Rings Like a Bell
  11. T.10 Page's Counting Argument
  12. T.11 What Selects the World a Clock Sees?
  13. T.12 Two Clocks That Only Meet in Gravity

Mathematics

  1. M.01 Modularity Lifting, Spectral Zero-Density Barriers, and #3-SAT Sparsification
  2. M.02 Riemann Zeta Zero-Density Estimates, Large Sieve Inequalities, and XiPrime Spectral Bounds
  3. M.03 Extremal Cap Sets in F_3^n, Polynomial Method Upper Bounds, and Rank-48 Matrix Tensors
  4. M.04 Polynomial Freiman–Ruzsa (PFR) Entropy Calculus and the 22-Million Equational Magma Graph
  5. M.05 Neuro-Symbolic Deductive Search (AlphaGeometry 2): Auxiliary Constructions and Allosteric Pocket Triangulation
  6. M.06 Sub-Cubic Fine-Grained Reductions (3SUM → APSP) and Step-Level Process Supervision (PRM800K)
  7. M.07 Formula 1 350 kW MGU-K Pontryagin Optimal Energy Control, Hamilton–Jacobi–Bellman Lap Time Minimization & Fourier Neural Operator Surrogates
  8. M.08 Riemannian Differential Geometry of Color Perception: Helmholtz–Schrödinger Geodesics, MacAdam Metric Tensors & Grassmann Spectral Hilbert Projections
  9. M.09 Monge–Kantorovich Optimal Transport, Benamou–Brenier Wasserstein-2 Geodesic Fluid Dynamics, Sinkhorn Entropic Regularization & Flow Matching
  10. M.10 Persistent Homology, Vietoris–Rips Simplicial Filtrations, Betti Barcodes & Topological Percolation Thresholds in Disordered Media
  11. M.11 Resolution of the 3D Kakeya Conjecture & Breaking Ingham's 1940 Riemann Barrier: Wang–Zahl Graininess, Guth–Maynard 30/13 & Lean 4
  12. M.12 Anthropic Lean 4 Complexity & Post-Quantum Crystal Locks: ETH Refutation (ETHIsFalse), Eight-Square Rank Compression & ML-KEM Lattices

Open-Bounty & Prize Crucible · 6 Dedicated Problem Folios (B.01–B.06)

  1. B.01 · BOUNTY-M1 Erdős Sidon B₂ Sets, Golomb Rulers & Anthropic Lean 4 Formalization Bounties
  2. B.02 · BOUNTY-P1 $5M XPRIZE Quantum Applications & Unitary Foundation: Surface-Code Thresholds & FeMoCo Catalysis
  3. B.03 · BOUNTY-E1 $100M XPRIZE Carbon Removal & IStructE Benchmark: Sub-45 kg CO₂e/m² SIMP Mineralized Slabs
  4. B.04 · BOUNTY-A1 $1M Holcim Awards & $3M Global Cooling Prize: Zero-Rebar 3D Graphic Statics Vaults & Sky-Cooling
  5. B.05 · BOUNTY-P2 Pareto Symbolic Regression (PySR) & Sparse PDE Discovery (PySINDy + Dedalus) from Noisy Sensor Fields
  6. B.06 · BOUNTY-M2 Machine-Checked Gauge Physics in PhysLean & Tensor-Network Quantum Criticality (ITensors.jl + NetKet)

Tech & Tools · The Toolbox · 6 Open 3D CAD & Studio Folios (X.01–X.06)

  1. X.01 · TOOL-CORE-1 Zero-Build WebGL2 GLB Inspector & Byte-Level 2-Manifold Geometry Verifier
  2. X.02 · TOOL-ENG-1 Code-First Parametric Solids & Measured STEP AP242, 3MF, and GLB Round-Trip Fidelity
  3. X.03 · TOOL-ARCH-1 The Small Architecture Studio's Vault, Timber & Reciprocal Frame Kit: Equilibrium to Open CAD
  4. X.04 · TOOL-ARCH-2 Miura-Ori Deployable Solar Screens: From 3D Folding Kinematics (GLB) to Flat-Pattern DXF
  5. X.05 · TOOL-FAB-1 Topology-Optimized Structural Struts to Watertight 3MF & Build-Plate Overhang Audit
  6. X.06 · TOOL-PHYS-MATH-1 Sub-Wavelength Acoustic & Topological Metamaterial Unit Cells: Genus g = 1 & Betti-Number Verification

Time & Gravity · T.08 · Where a causal boundary turns a pure vacuum into a thermal bath · Step 9 of 13 · 14 min read

A Horizon Has a Temperature

On T.07 a choice of clock split a stationary quantum state into an observer and a system. When acceleration or gravity makes that split geometric, a causal horizon hides half the vacuum modes from any clock that stays outside. Tracing out the hidden partner turns the pure vacuum into a Planck thermal state at the Unruh or Hawking temperature, and integrating the first law of black-hole mechanics fixes the horizon entropy at one quarter of its area in Planck units.

Human Lineage Pioneers of Step T.08 · Penzias & Wilson (1965) · Jacob Bekenstein (1973) · Stephen Hawking (1975) · Joseph Bisognano & Eyvind Wichmann (1975) · William Unruh (1976) · John Mather & COBE FIRAS (1996) · Jeff Steinhauer (2016) Honor the humans ↓
Fixed boundary No theory of everything here: six evidence labels, one open question per page.

Nothing on this page is a theory of everything, and this site proposes none. Every claim carries one of six labels, each tied to a ledger row: MEASURED, DERIVED, BOUND, PROPOSED, OPEN, or SINGLE RESULT. Preprints never rise above PROPOSED. Each page ends with one open question that the next page takes up.

Diagram for T.08: a pair of diagonal horizon lines with a curved hyperbola on the left, and a set of descending vertical bars with dots on top on the right. Drawn by a script from the page's own numbers; no text, no photograph.
Plate T.08-V · Left: the Rindler causal horizon X = ±cT and the accelerated worldline hyperbola, with one mode partner outside and one hidden behind the horizon. Right: the reduced state's Fock occupation bars matching the Planck thermal curve. Drawn by timegravity/make_plates.py from tools/timegravity_kernel.py.
About this illustration This plate is a deterministic drawing, not an AI-generated image and not a photograph. The curve is the kernel's own trajectory; the shading exaggerates a clock-rate difference of about one part in 10^16 per metre so that it can be seen at all.

Instrument · Tracing out the hidden wedge turns a pure vacuum into a Planck bath

Left: the Rindler spacetime wedge (cT against X), with the causal horizon X = ±cT, the accelerated clock's hyperbola X² − c²T² = (c²/a)², and the paired mode partners straddling the horizon. Right: the occupation probabilities pₙ of the reduced state ρ_R = Tr_L(|Ψ⟩⟨Ψ|) on a 16-level Fock space against the Planck curve (1 − e^{−ξ})e^{−nξ}, alongside the Hawking temperature T_H and Bekenstein–Hawking entropy S_BH / k_B = A / (4 ℓ_P²) for the selected black-hole mass. The sliders set the Boltzmann exponent ξ = βħω and the black-hole mass M / M_☉. The knockout severs entanglement across the horizon (setting the squeezing to zero, |0_L⟩ ⊗ |0_R⟩): the thermal tail vanishes, S(ρ_R) drops to zero, and the verifier rejects the run. Keyboard: Tab and arrows. With reduced motion on, nothing animates.

Predict before you reveal Before you check the readout: how does the Hawking temperature of a one-solar-mass black hole compare with the 2.725 K cosmic microwave background?

Rindler causal horizon and accelerated worldline beside the Planck thermal occupation spectrum of the right wedge Left: spacetime diagram with null horizons X = ±cT, the accelerated clock hyperbola in the right wedge, and entangled mode partners across the horizon. Right: Fock occupation probabilities p_n of the reduced density matrix matching the Planck curve. Rindler wedge & causal horizon X = ±cT hidden L clock R 1.0 0.5 0 Reduced-state Fock weights pₙ = (1 − e⁻ᵝ)e⁻ⁿᵝ n=0n=1n=2n=3n=4n=5n=6n=7
Wedge entropy S(ρ_R) · mean occupation n̄ 0.3092 nats · n̄ = 0.0894
max |λ_Jacobi − p_Gibbs| 1.7e-15
Hawking temperature T_H(M) 61.70 nK
Horizon entropy S_BH / k_B = A / (4 ℓ_P²) 1.049e+77

Entangled across the horizon: tracing out the hidden left partner L turns the pure vacuum into a Planck thermal bath on the right wedge R.

I · Two measured anchors: redshifted clocks and a Planck sky

Clocks at different heights or accelerations tick at different rates, with fractional shift Δf/f = g Δz / c²: the 22.5-metre tower measurement of 1960 and the 10,000-kilometre suborbital hydrogen-maser flight of 1980 confirmed Einstein's gravitational redshift to 7×10⁻⁵. And a thermal radiation bath follows Planck's Bose–Einstein occupation law n̄(ω) = 1/(e^{ħω/k_B T} − 1): discovered as an isotropic microwave background in 1965 and measured by COBE FIRAS in 1994 to match a 2.726 K Planck blackbody within 0.03 percent of peak brightness. What follows on this page is DERIVED from these two pieces of physics—proper-time redshift and quantum field theory—pushed to a causal horizon.

In Plain Words · Extra-Easy Explanation

Imagine two dancers holding hands across a curtain. Together they are completely still and orderly: if you see both, there is zero randomness in their pose. Now draw the curtain so you are forbidden, by the speed of light itself, from ever seeing the dancer on the left. Watching only the dancer on the right, every shared motion looks like random thermal jiggling.

A horizon is that curtain. A quantum vacuum is not empty; its field modes are entangled across every boundary in space. When a rocket accelerates forever, or when a black hole forms, a horizon hides the inside partner of every pair. To any clock outside, the half it can still see is a warm bath with a precise Planck temperature set by the steepness of the horizon.

Everyday Analogy & Controls Primer

Everyday analogy: a stereo recording where the left channel cancels the hiss of the right channel when heard together. Unplug the left speaker and you hear pure thermal static from the right speaker alone, even though the master tape holds a clean, noiseless signal.

How the controls work in plain words: the first slider changes ξ = ħω / (k_B T), the ratio of mode energy to horizon temperature; smaller ξ means a hotter horizon and a longer thermal tail across the Fock bars. The second slider sets a black hole's mass in solar masses and updates its Hawking temperature and area entropy. The knockout unplugs the cross-horizon entanglement: both halves sit in their separate ground states, the thermal bars collapse into n = 0, and the entropy drops to zero.

Plate T.08-D Visual Intuition Bridge: tracing over the inaccessible Rindler wedge turns the pure two-mode vacuum into an exact Gibbs thermal state at the Unruh-Hawking temperature 1 · EVERYDAY ANALOGY (T.08) Two reels of one tape, one behind a curtain The two-mode state |Ψ(r)⟩ is pure overall, but one wedge alone sees thermal weights. Tr_L(|Ψ⟩⟨Ψ|) = (1−e⁻ˣ) Σ e⁻ⁿˣ |n⟩⟨n| 2 · ONE QUANTITY, TWO SETTINGS ▲ Partial trace on: tanh r = exp(−πcω/a) Diagonal weights match Planck/Gibbs to < 10⁻¹²; ∫ dM/(k_B T_H) = A / (4 ℓ_P²). ▼ Knockout: drop the 2π Euclidean period Setting κ → a/c instead of a/(2πc) shifts T_H by 2π and breaks A/(4ℓ_P²). 3 · WHAT THE VERIFIER DEMANDS ✓ GIBBS WEIGHTS & FIRST LAW max |p_n − p_Gibbs| < 10⁻¹² · S_vN = S_Pl |S_quad − A/(4ℓ_P²)| / S < 10⁻¹⁰ ⚠ PLANTED DEFECT: MISSING 2π FACTOR Dropping 2π yields S = A / (8π ℓ_P²); verifier rejects the first-law mismatch. PLATE T.08-D · VISUAL INTUITION BRIDGE → T_U = ħa/(2πck_B) · T_H = ħc³/(8πGMk_B) · S_BH = k_B A/(4ℓ_P²) · 1 M_☉ → 61.7 nK
Plate T.08-D · Visual Intuition Bridge: tracing over the hidden Rindler wedge turns a pure two-mode state into an exact Gibbs thermal state (left and center), and integrating the first law recovers the quarter-area entropy (right).

Archival Tribute · The Hands Behind the Instruments

The Humans Behind Step T.08 · Causal Horizons, Rindler Wedges, and the Cosmic Microwave Sky

Linking the steepening clock slope at a horizon to an exact thermal bath brought together quantum-field theorists studying accelerated observers and radio astronomers measuring the 2.725 K cosmic microwave background that bathes every astrophysical black hole.

1973–1976 · Princeton, Cambridge, Berkeley & Vancouver

Jacob D. Bekenstein · Stephen W. Hawking · William G. Unruh · Joseph Bisognano & Eyvind Wichmann

Princeton University, University of Cambridge, UC Berkeley & University of British Columbia

Jacob Bekenstein proposed in 1973 that a black hole carries entropy proportional to its horizon area; in 1975 Stephen Hawking fixed the proportionality at 1/4 by showing that a horizon radiates thermally at T_H = ħκ/(2πck_B). Within months Joseph Bisognano and Eyvind Wichmann proved the modular boost theorem on a Rindler wedge, and in 1976 William Unruh showed that an accelerated detector in flat vacuum sees T_U = ħa/(2πck_B).

1965 & 1996 · Holmdel, New Jersey & NASA Goddard

Arno A. Penzias & Robert W. Wilson · John C. Mather & the COBE FIRAS Team

Bell Labs Crawford Hill Horn Antenna & Cosmic Background Explorer

In 1965 Arno Penzias and Robert Wilson detected the isotropic microwave background at 4,080 MHz with the Bell Labs horn reflector at Crawford Hill, and in 1996 John Mather and the COBE FIRAS team measured its Planck spectrum at 2.728 ± 0.004 K—nearly forty-four million times warmer than the 61.7 nK Hawking temperature of a solar-mass black hole.

2016 · Haifa, Israel

Jeff Steinhauer

Technion – Israel Institute of Technology · Acoustic BEC Horizon

Because astrophysical Hawking radiation is buried beneath the 2.725 K sky, Jeff Steinhauer swept a laser step potential through a rubidium-87 Bose–Einstein condensate at the Technion in 2016 to create a supersonic acoustic horizon, observing density correlations between partner phonons across the sonic boundary—an analogue kinematics test without gravitational dynamics.

II · From Rindler wedges to Hawking's quarter

T_U = ħa / (2π k_B c), T_H = ħc³ / (8π G M k_B), S_BH = k_B c³ A / (4 G ħ) = k_B A / (4 ℓ_P²)

A clock with uniform proper acceleration a follows the hyperbola X² − c²T² = (c²/a)², bounded by a causal horizon at X = ±cT where its proper-time rate dτ = (aξ/c²) dt vanishes; Bisognano and Wichmann proved in 1975 that the Minkowski vacuum restricted to the right Rindler wedge is a thermal state with respect to Lorentz boosts, and Unruh showed in 1976 that an accelerated detector responds as if immersed in a Planck bath at T_U = ħa / (2π k_B c). At 1g the Unruh temperature is 4.0×10⁻²⁰ K; reaching 1 K requires 2.5×10²⁰ m/s². On a 16-level Fock space per wedge at ξ = 2.5, the verifier embeds the partial trace ρ_R = Tr_L(|Ψ⟩⟨Ψ|) into a dense symmetric matrix, diagonalises it with the track's pure-Python Jacobi solver, and matches the Planck weights (1 − e^{−ξ})e^{−nξ} within 1.7×10⁻¹⁵.

Near a Schwarzschild horizon of radius r_s = 2GM/c² and area A = 4πr_s², the redshifted surface gravity κ = c⁴/(4GM) plays the role of proper acceleration: Hawking showed in 1975 that quantum fields on that geometry radiate thermally at T_H = ħκ / (2π k_B c) = ħc³ / (8π G M k_B), which combined with the 1973 Bardeen–Carter–Hawking first law d(Mc²) = (κc² / 8πG) dA fixes Bekenstein's horizon entropy coefficient at S_BH = k_B A / (4 ℓ_P²). Integrating d(S/k_B) = c² dM / (k_B T_H(M)) by Gauss–Legendre quadrature from 0 to 1 M_☉ reproduces A / (4 ℓ_P²) = 1.049×10⁷⁷ to 2.5×10⁻¹⁶, with T_H = 61.7 nK.

In 2019 Muñoz de Nova, Golubkov, Kolobov and Steinhauer reported a thermal spectrum of spontaneous phonon pairs emitted across a sonic horizon in a rubidium Bose–Einstein condensate, at a temperature matching the acoustic surface gravity. This is a fluid-mechanics analogue, not a gravitational horizon: it tests Bogoliubov mode mixing across a sonic flow boundary, not Einstein's field equations or Bekenstein–Hawking area entropy, and stays SINGLE RESULT.

§ II.1 · The derivation the verifier runs, in four stages

GEODESIC WITH NO FORCE TERM · TIME & GRAVITY T.01

d²z/dτ² = −(A′(z)/2)(c dt/dτ)², A(z) = 1 + 2gz/c² ⇒ a = −g

Kernel: tools/timegravity_kernel.py · Verifier: skills/timegravity/t08/verify_t08_horizon_thermodynamics.py · Generator: skills/timegravity/t08/make_t08.py

Stage 1 · Rindler hyperbola & redshift

A clock at constant proper acceleration a follows X(τ) = (c²/a) cosh(aτ/c), cT(τ) = (c²/a) sinh(aτ/c). Across 81 rapidity steps the kernel checks X² − c²T² = (c²/a)² and four-velocity normalisation to < 1e-15.

Stage 2 · Two-mode squeezed state & partial trace

|Ψ(ξ)⟩ = Z_d(ξ)^{−1/2} Σ_{n=0}^{15} e^{−nξ/2} |n_L⟩ ⊗ |n_R⟩ on 16×16 = 256 Fock states. Tracing out L gives ρ_R, which is rotated by an orthogonal DCT-II matrix into a dense 16×16 symmetric matrix and diagonalised with cyclic Jacobi.

Stage 3 · Planck check & first-law quadrature

At ξ = 2.5 (where truncation leakage e^{−16ξ} = 4.25e-18), Jacobi eigenvalues match (1 − e^{−ξ})e^{−nξ} within 1.7e-15; across ξ ∈ [0.5, 4.0] they match the exact truncated Gibbs weights within 4.1e-15. Five-point Gauss–Legendre quadrature of ∫ c² dM / T_H(M) matches k_B A / (4 ℓ_P²) within 2.5e-16.

Stage 4 · Planted defect knockout

Setting cross-horizon squeezing to zero replaces |Ψ(ξ)⟩ with the product state |0_L⟩ ⊗ |0_R⟩: S(ρ_R) collapses to 0 and the Planck spectrum check fails with deviation 0.082, rejecting the run.

III · What this page does not say

Neither Hawking radiation from a gravitational black hole nor the thermal Unruh bath on a macroscopic accelerated thermometer has been directly measured: at one solar mass T_H ≈ 61.7 nK sits 4.4×10⁷ times below the 2.725 K cosmic microwave background, and what microstates of spacetime geometry are counted by A / (4 ℓ_P²) remains an open question. While the radiation itself is far too cold to see in the sky, the classical horizon geometry and area law behind T_H and S_BH can be tested directly when two black holes collide and ring down—the subject of the next page.

Grounding ledger rows cited on this page

Every row below resolves in the site's offline Crossref cache. The lint derives what each set of rows can carry; a person decided the label on each claim above. Rows pass a review date and the build fails until someone rereads the source.

RowRow labelSourceDOICollaborationKindScite: supporting · contrasting · mentioning / citingReview by
T01-PR1960Pound (1960), Physical Review Letters10.1103/PhysRevLett.4.337Harvard (Pound & Rebka)peer-reviewed17 · 0 · 427 / 9092028-11-08
T01-GPA1980Vessot (1980), Physical Review Letters10.1103/PhysRevLett.45.2081Gravity Probe A (SAO / NASA, Vessot et al.)peer-reviewed15 · 0 · 414 / 7032028-11-08
T08-PENZIAS1965Penzias (1965), The Astrophysical Journal10.1086/148307Bell Telephone Laboratories (Penzias & Wilson)peer-reviewed21 · 0 · 1329 / 2,8692028-11-10
T08-MATHER1994Mather (1994), The Astrophysical Journal10.1086/173574COBE FIRAS Collaboration (Mather et al.)peer-reviewed13 · 1 · 552 / 8742028-11-10
T08-BCH1973Bardeen (1973), Communications in Mathematical Physics10.1007/BF01645742Bardeen, Carter & Hawking (Communications in Mathematical Physics)peer-reviewed79 · 2 · 4234 / 4,7302028-11-10
T10-BEKENSTEIN1973Bekenstein (1973), Physical Review D10.1103/PhysRevD.7.2333Bekenstein (Physical Review D)peer-reviewed205 · 1 · 8579 / 9,2982028-11-09
T10-HAWKING1975Hawking (1975), Communications In Mathematical Physics10.1007/BF02345020Hawking (Communications in Mathematical Physics)peer-reviewed178 · 6 · 10170 / 14,8192028-11-09
T08-BW1975Bisognano (1975), Journal of Mathematical Physics10.1063/1.522605Bisognano & Wichmann (Journal of Mathematical Physics)peer-reviewed19 · 0 · 742 / 7432028-11-10
T08-UNRUH1976Unruh (1976), Physical Review D10.1103/PhysRevD.14.870Unruh (Physical Review D)peer-reviewed117 · 7 · 6323 / 5,8102028-11-10
T08-MUNOZ2019Muñoz de Nova (2019), Nature10.1038/s41586-019-1241-0Munoz de Nova, Golubkov, Kolobov & Steinhauer (Technion)peer-reviewed9 · 0 · 401 / 5142028-11-10

Scite column: [observed: Scite ML citation classification, accessed 2026-11-08, 2026-11-09, 2026-11-10] via Scite's public tallies endpoint. The counts are a classifier's output over indexed citation statements, an evidence-synthesis habit borrowed from medicine; they never replace reading the source, and a row with more contrasting than supporting statements is flagged for a human re-read in the label checklist.

AI contribution to the cited results: none. No AI system contributed to any measurement or derivation cited on this page. The page text, instrument and verifier were drafted with AI assistance and checked by the site maintainer against the primary sources listed below.

SKILL.md companion & Python verifier · T.08 Works with Claude Code · Copilot · Cursor · Antigravity · Codex · Ollama · Python 3

Rebuild this instrument locally and run the verifier as the acceptance gate: python skills/timegravity/t08/make_t08.py then python skills/timegravity/t08/verify_t08_horizon_thermodynamics.py (and --planted-defect, which must fail). Then python tools/check_timegravity_labels.py.

Show the SKILL.md source
---
name: timegravity-t08-horizon-thermodynamics
description: Rebuild and verify the Time & Gravity T.08 toy - a two-mode Rindler thermofield double on 16 Fock levels whose partial trace over the left wedge yields a Planck thermal density matrix on the right wedge (verified via a pure-Python Jacobi eigensolver), alongside Rindler proper-time redshift and Gauss-Legendre integration of dS = c^2 dM / T_H(M) = k_B c^3 A / (4 G hbar) - with a planted defect (r = 0 product state with zero cross-horizon entanglement).
license: MIT
compatibility: Claude Code, GitHub Copilot, Cursor, Google Antigravity, OpenAI Codex, Ollama (Qwen 3.8 / Gemma 4)
---
# A Horizon Has a Temperature (T.08 · Time & Gravity)

> **Fixed Boundary (`EN`):** Nothing on this page is a theory of everything, and this site proposes none. Every claim carries one of six labels, each tied to a ledger row: MEASURED, DERIVED, BOUND, PROPOSED, OPEN, or SINGLE RESULT. Preprints never rise above PROPOSED. Each page ends with one open question that the next page takes up.
>
> **Frontera Fija (`ES-MX`):** Nada en esta página es una teoría del todo, y este sitio no propone ninguna. Cada afirmación lleva una de seis etiquetas, cada una ligada a una fila del libro de registro: MEDIDO, DERIVADO, COTA, PROPUESTO, ABIERTO o RESULTADO ÚNICO. Las prepublicaciones nunca suben de PROPUESTO. Cada página termina con una pregunta abierta que la siguiente página retoma.

## 1. Page, canonical URL and governing equations
- **Track page**: `T.08` (Time & Gravity, reading order 9 of 11, dated `2026-11-10`)
- **Canonical URL**: https://informatico.ai/timegravity/t08/ (Spanish: https://informatico.ai/es-mx/timegravity/t08/)
- **Rindler wedge & redshift**: `X² − c²T² = ξ² = (c²/a)²`, `dτ = (aξ/c²) dt`.
- **Unruh & Hawking temperatures**: `T_U = ħa / (2π k_B c)`, `κ = c⁴ / (4GM)`, `T_H = ħκ / (2π k_B c) = ħc³ / (8π G M k_B)`.
- **Thermofield double & Bekenstein-Hawking entropy**: `|0_M⟩ = Z_d^{-1/2} Σ_{n=0}^{d-1} e^{-nξ/2} |n⟩_L ⊗ |n⟩_R`, `ρ_R = Tr_L |0_M⟩⟨0_M|`, `S_BH = k_B c³ A / (4Għ)`.
- **Central numbers**: at `ξ = βħω = 2.5` (`d = 16` Fock levels), Jacobi eigenvalues of `ρ_R` match the infinite-dimensional Planck weights `(1 − e^{-ξ})e^{-nξ}` within `1.67e-15` (`< 1e-12`) and match the exact truncated Gibbs distribution across `ξ ∈ [0.5, 4.0]` within `4.11e-15`; Gauss–Legendre integration of `∫ c² dM / T_H(M)` matches `k_B A / (4 l_P²)` within `2.45e-16`; for `1 M_☉`, `T_H = 6.170 × 10^{-8} K` and `S_BH / k_B = 1.049 × 10^{77}`.
- **Generator**: `python skills/timegravity/t08/make_t08.py`
- **Verifier**: `python skills/timegravity/t08/verify_t08_horizon_thermodynamics.py`
- **Knockout check**: `python skills/timegravity/t08/verify_t08_horizon_thermodynamics.py --planted-defect` (must exit non-zero: `r = 0` product vacuum `|0⟩_L ⊗ |0⟩_R`, `S(ρ_R) = 0`)
- **Label lint**: `python tools/check_timegravity_labels.py` (and `--planted-defect`, `--mutants`)

## 2. Ledger rows this page may cite (timegravity/ledger.json)
| Row | Label | Source | DOI |
| --- | --- | --- | --- |
| `T01-PR1960` | MEASURED | Pound & Rebka 1960, gravitational redshift | https://doi.org/10.1103/PhysRevLett.4.337 |
| `T01-GPA1980` | MEASURED | Vessot et al. 1980, Gravity Probe A | https://doi.org/10.1103/PhysRevLett.45.2081 |
| `T08-PENZIAS1965` | MEASURED | Penzias & Wilson 1965, cosmic microwave background | https://doi.org/10.1086/148307 |
| `T08-MATHER1994` | MEASURED | Mather et al. 1994, COBE FIRAS Planck blackbody spectrum | https://doi.org/10.1086/173574 |
| `T08-BCH1973` | DERIVED | Bardeen, Carter & Hawking 1973, four laws of black hole mechanics | https://doi.org/10.1007/BF01645742 |
| `T10-BEKENSTEIN1973` | DERIVED | Bekenstein 1973, black-hole entropy proportional to horizon area | https://doi.org/10.1103/PhysRevD.7.2333 |
| `T10-HAWKING1975` | DERIVED | Hawking 1975, particle creation by black holes (`T_H`, `A/4`) | https://doi.org/10.1007/BF02345020 |
| `T08-BW1975` | DERIVED | Bisognano & Wichmann 1975, modular boost generator and KMS state | https://doi.org/10.1063/1.522605 |
| `T08-UNRUH1976` | DERIVED | Unruh 1976, accelerated detector thermal response (`T_U`) | https://doi.org/10.1103/PhysRevD.14.870 |
| `T08-MUNOZ2019` | SINGLE RESULT | Muñoz de Nova et al. 2019, acoustic BEC sonic horizon (analogue only) | https://doi.org/10.1038/s41586-019-1241-0 |

## 3. Tool-neutral agent packet and security boundary (`security-runtime`)
1. **Rebuild locally**: `python skills/timegravity/t08/make_t08.py`; standard library only; writes only under `src/research/timegravity/t08/files/`.
2. **Acceptance gate**: `python skills/timegravity/t08/verify_t08_horizon_thermodynamics.py` must print `"status": "PASS"` with `partial_trace_recovers_planck: PASS`; `--planted-defect` must exit non-zero. Then `python tools/check_timegravity_labels.py`.
3. **Security boundary (`security-runtime`)**: no shell outside the repository, no home-directory access, no outbound network for this task.

## 4. Deterministic verification and falsification rules
1. At `ξ = 2.5` (`d = 16` Fock levels), the Jacobi eigenvalues of `ρ_R = Tr_L |0_M⟩⟨0_M|` match `(1 − e^{-ξ})e^{-nξ}` within `1e-12`, and match the exact truncated Gibbs distribution across `ξ ∈ [0.5, 4.0]` within `1e-12`.
2. Every Rindler worldline point satisfies `X² − c²T² = (c²/a)²` and `dτ/dt = aξ/c²` within `1e-12`.
3. 16-point Gauss–Legendre integration of `∫ (c² / T_H(M')) dM'` matches `k_B c³ A / (4Għ)` and `dM c² = (κ c² / 8πG) dA` within `1e-12`.
4. Planted defect: setting the squeezing parameter `r = 0` yields the product state `|0⟩_L ⊗ |0⟩_R` with `S(ρ_R) = 0`; rule 1 fails and `--planted-defect` exits non-zero.
5. `t08_reference.json` matches `manifest.json` and regenerates byte for byte.

## 5. What the instrument shows (reader side)
- Left panel: Rindler spacetime diagram (`cT` vs `X`) showing the null horizons `X = ±cT`, accelerated hyperbolas, and behind-the-horizon mode partner `L`. Right panel: Fock-level occupation bar chart of `ρ_R` against the Planck thermal curve, with readouts for `T_U`, `T_H(M)`, and `S_BH / k_B`.
- Knockout: sever cross-horizon entanglement (`r = 0`, product vacuum `|0⟩_L ⊗ |0⟩_R`); the thermal tail collapses to `n = 0` and `S(ρ_R)` drops to `0`.
- Predict before you reveal: whether a solar-mass black hole is hotter or colder than the `2.725 K` cosmic microwave background.

## 6. Exact T0–T3 truth boundary
### In the repository today (T0/T1)
- Kernel `tools/timegravity_kernel_horizon.py`, generator, verifier, ledger rows above, and the ES module `src/research/modules/timegravity-slope.mjs`.

### Not on this page (T2/T3)
- Direct detection of astrophysical Hawking radiation (`61.7 nK` for `1 M_☉` is eight orders of magnitude colder than the `2.725 K` CMB) or the full Unruh effect for a macroscopic thermometer is OPEN.
- Acoustic BEC horizons (`T08-MUNOZ2019`) test linear dispersion on a fluid background, not Einstein's field equations or Bekenstein–Hawking entropy.
Show the verifier verify_t08_horizon_thermodynamics.py
#!/usr/bin/env python3
"""Standalone stdlib verifier and planted-defect knockout for Time & Gravity · T.08 (A Horizon Has a Temperature).
Canonical URL: https://informatico.ai/timegravity/t08/
Central number: tracing the behind-the-horizon Rindler partner L out of the pure Minkowski two-mode squeezed state
produces a reduced density matrix rho_R on the right wedge whose Jacobi eigenvalues match the Planck thermal Gibbs
weights (1 - exp(-xi)) exp(-n xi) within 1e-12 at xi = 2.5 (d = 16 Fock levels) and match the exact truncated Gibbs
distribution across xi in [0.5, 4.0] to machine precision; integrating dS = c^2 dM / T_H(M) recovers A / (4 l_P^2)
within 1e-12. Planted defect: a product state |0>_L x |0>_R with zero cross-horizon entanglement (r = 0) gives pure
zero entropy and fails the thermal spectrum check; `--planted-defect` exits non-zero with FAIL on stderr.
Boundary: Nothing on this page is a theory of everything, and this site proposes none.
"""
from __future__ import annotations

import hashlib
import json
import sys
from pathlib import Path

ROOT = Path(__file__).resolve().parents[3]
sys.path.insert(0, str(ROOT / "tools"))

from timegravity_kernel_horizon import HORIZON_TOL, check_horizon  # noqa: E402

FILES_DIR = ROOT / "src" / "research" / "timegravity" / "t08" / "files"


def verify_reference_files() -> dict:
    manifest = json.loads((FILES_DIR / "manifest.json").read_text(encoding="utf-8"))
    out = {}
    for entry in manifest["files"]:
        raw = (FILES_DIR / entry["filename"]).read_bytes()
        assert len(raw) == entry["bytes"], f"{entry['filename']}: byte count mismatch"
        digest = hashlib.sha256(raw).hexdigest()
        assert digest == entry["sha256"], f"{entry['filename']}: sha256 mismatch"
        out[entry["filename"]] = digest[:12]
    ref = json.loads((FILES_DIR / "t08_reference.json").read_text(encoding="utf-8"))
    assert ref["max_dev_from_planck"] < HORIZON_TOL, "reference Rindler trace misses Planck weights"
    assert ref["hawking_bekenstein"]["quadrature_vs_area_quarter_rel_err"] < HORIZON_TOL, "reference first-law integral misses A/(4 l_P^2)"
    return out


def main(argv: list[str] | None = None) -> int:
    args = argv if argv is not None else sys.argv[1:]
    planted = "--planted-defect" in args
    try:
        res = check_horizon(planted_defect=planted)
        assert res["planck_ok"], (
            f"reduced state rho_R misses Planck thermal weights by {res['max_dev_from_planck']:.3e} (> {HORIZON_TOL:g}); "
            "without cross-horizon entanglement the wedge is not thermal"
        )
        assert res["worldline_ok"], f"Rindler redshift / hyperbola invariant error {res['max_hyperbola_invariant_err']:.3e}"
        assert res["first_law_ok"], f"Hawking-Bekenstein first-law quadrature error {res['quadrature_vs_area_quarter_rel_err']:.3e}"
        assert res["defect_rejected"], "planted zero-entanglement product state was accepted as thermal"
        files = verify_reference_files()
    except AssertionError as exc:
        print(json.dumps({"status": "FAIL", "folio_id": "T.08", "error": str(exc)}), file=sys.stderr)
        return 1
    print(json.dumps({
        "status": "PASS",
        "folio_id": "T.08",
        "canonical_url": "https://informatico.ai/timegravity/t08/",
        "central_number": {
            "max_dev_from_planck": res["max_dev_from_planck"],
            "entropy_dev_from_planck": res["entropy_dev_from_planck"],
            "quadrature_vs_area_quarter_rel_err": res["quadrature_vs_area_quarter_rel_err"],
            "solar_hawking_temp_k": res["solar_hawking_temp_k"],
            "solar_s_bh_over_kb": res["solar_s_bh_over_kb"],
            "tolerance": HORIZON_TOL,
        },
        "geometry_checks": {
            "partial_trace_recovers_planck": "PASS",
            "truncated_gibbs_sweep": "PASS",
            "rindler_redshift_hyperbola": "PASS",
            "first_law_area_quarter_quadrature": "PASS",
            "planted_defect_knockout": "REJECTED_AS_EXPECTED",
            "planted_entropy_nats": res["planted_entropy_nats"],
        },
        "reference_files_sha256_12": files,
    }, indent=2))
    return 0


if __name__ == "__main__":
    raise SystemExit(main())

Primary sources

  1. Pound, R. V., & Rebka, G. A. (1960). Apparent weight of photons. Physical Review Letters, 4(7), 337–341. DOI DOI 10.1103/PhysRevLett.4.337 [Scite ↗]
  2. Vessot, R. F. C., et al. (1980). Test of relativistic gravitation with a space-borne hydrogen maser. Physical Review Letters, 45(26), 2081–2084. DOI DOI 10.1103/PhysRevLett.45.2081 [Scite ↗]
  3. Penzias, A. A., & Wilson, R. W. (1965). A measurement of excess antenna temperature at 4080 Mc/s. The Astrophysical Journal, 142, 419–421. DOI DOI 10.1086/148307 [Scite ↗]
  4. Mather, J. C., et al. (1994). Measurement of the cosmic microwave background spectrum by the COBE FIRAS instrument. The Astrophysical Journal, 420, 439–444. DOI DOI 10.1086/173574 [Scite ↗]
  5. Bardeen, J. M., Carter, B., & Hawking, S. W. (1973). The four laws of black hole mechanics. Communications in Mathematical Physics, 31(2), 161–170. DOI DOI 10.1007/BF01645742 [Scite ↗]
  6. Bekenstein, J. D. (1973). Black holes and entropy. Physical Review D, 7(8), 2333–2346. DOI DOI 10.1103/PhysRevD.7.2333 [Scite ↗]
  7. Hawking, S. W. (1975). Particle creation by black holes. Communications in Mathematical Physics, 43(3), 199–220. DOI DOI 10.1007/BF02345020 [Scite ↗]
  8. Bisognano, J. J., & Wichmann, E. H. (1975). On the duality condition for a Hermitian scalar field. Journal of Mathematical Physics, 16(4), 985–1007. DOI DOI 10.1063/1.522605 [Scite ↗]
  9. Unruh, W. G. (1976). Notes on black-hole evaporation. Physical Review D, 14(4), 870–892. DOI DOI 10.1103/PhysRevD.14.870 [Scite ↗]
  10. Muñoz de Nova, J. R., Golubkov, K., Kolobov, V. I., & Steinhauer, J. (2019). Observation of thermal Hawking radiation and its temperature in an analogue black hole. Nature, 569, 688–691. DOI DOI 10.1038/s41586-019-1241-0 [Scite ↗]

This page ends with one open question

Does a real horizon have the hairless geometry that this thermodynamic law assumes?

All Time & Gravity pages →