1441 — The Big-Bang Candidate Is a Background-Typed Time Endpoint
Status
Source-grounding correction to Entry 1057. This entry identifies the first executable background while keeping time endpoints distinct from energy-space carrier divisors.
Frozen-source audit
The primary integral construction in Benincasa--Vazão, The Asymptotic Structure of Cosmological Integrals, arXiv:2402.06558v3, describes perturbative wavefunction observables with conformal-time evolution from the Bunch--Davies boundary at past conformal infinity to a late spacelike wavefunction boundary. The source time integration has the form
Its Cayley--Menger contour and sector decompositions define loop-momentum geometry and infrared/ultraviolet asymptotics of those observables.
The source fixes
Let . Since
the endpoint types are:
Hence provides the first source-defined Big-Bang candidate: the Bunch--Davies endpoint , with normal coordinate
The source already supplies the Bunch--Davies state and its energy-space prescription. What remains absent is the comparison that turns that endpoint current into a supported nearby-cycle object over the frozen energy/Cut carrier.
Type separation
Accordingly,
must remain typed independently. The exponent determines whether a time endpoint is a finite-distance singular boundary; energy equations alone do not.
In particular:
- is the flat-space/total-energy degeneration;
- all-soft is a homogeneous kinematic degeneration;
- graph-weight boundaries organize integral asymptotics;
- carries the Bunch--Davies state prescription and becomes the finite-distance endpoint for ;
- is the wavefunction boundary and becomes for , with the opposite temporal role in the source orientation.
Correction to Entry 1057
Entry 1057 remains a coherent Deutsch--Popperian conjecture:
Its first finite falsifier is now source-grounded at the background level: freeze , resolve , and transport the Bunch--Davies relative chain. Running the test on total energy, all-soft support, or loop UV/IR would still be a type error.
The exact missing input is a background-specific packet containing:
- ;
- ;
- the Bunch--Davies state/relative chain and energy-space regulator;
- the endpoint nearby-cycle functor at ;
- the comparison from that endpoint object to the existing carrier.
Narrow conclusion
This is a missing-comparison result, not a missing-boundary result and not a new-carrier result.
Next falsifier
Freeze one background. At , derive the Mellin--Kummer endpoint object and the Bunch--Davies relative-chain specialization. Test whether it lands in the existing energy/Cut carrier and coefficient calculus without identifying it with total energy, all-soft support, or loop UV/IR.
Durable packet
research/benincasa/big-bang-source-boundary-audit.md- allocator claim
seqclaim-dab794104f65249f042fb573 - epistemic event
ev-000000001520-99c2c798-3679-49ce-9bd8-af452f18570d - corrective epistemic event
ev-000000001524-45da0170-2ed9-47d7-aec0-a18ed413faf1 - endpoint-classification event
ev-000000001528-8d411605-24b9-490c-ac16-b4628774249c