Chapter 4 — Initial Conditions & Origins (Seeds and Triggers)


I. One-Sentence Goal

Define the seed and trigger mechanisms for early-Universe objects, specifying priors, trigger rates, and state initialization in minimal, computable models. Tie these causative pieces traceably into the tensor potential Phi_T, the layered medium SeaProfile, and the two arrival-time dialects T_arr / Delta_T_arr for end-to-end metrology and implementation.


II. Scope & Non-Goals


III. Minimal Terms & Symbols


IV. Postulates & Assumptions (P70-7 … P70-10)


V. Minimal Models (S70-6 … S70-9)

  1. S70-6 Seed priors & sampling
    • Form (example):
      seed ~ p(M_0, R_0, J_0, a_bh0, Z_0 | type, z_form, Φ_T).
    • Sampling: { seed_j } are drawn from the priors and the environment slice env(z_form); record seed_rng.
  2. S70-7 Trigger rates & arrival process
    • Intensity:
      λ_event(z) = Λ_event( Φ_T, grad_Φ_T, SeaProfile, … ).
    • Event times:
      t_event ~ InhomogeneousPoisson( λ_event(z(t)) ).
    • Event update:
      state(t^+) = Trigger( state(t^-), event ).
  3. S70-8 Order-preserving causal coupling
    • Φ_T = G(T_fil), grad_Φ_T = ( dG/dT_fil ) • grad(T_fil).
    • Coupling impact:
      Couple_seed( seed ; Φ_T, grad_Φ_T, SeaProfile ) and
      Couple_trigger( event ; Φ_T, env ) inform state initialization and event updates.
  4. S70-9 Initialization → propagation linkage
    • Initialize: state(t_0) = seed.
    • Propagation signatures: via Ch. 6 segmented two-form integrals to obtain T_arr(f, gamma) and
      Delta_T_arr(f1,f2, gamma) = T_arr(f1, gamma) − T_arr(f2, gamma) (same path and segmentation).
    • Hard constraints: n_eff ≥ 1, lower bound T_arr ≥ L_path / c_ref, and energy closure at interfaces.

VI. Metrology & Observables (M70-1 … M70-4)


VII. Implementation Bindings & Prototypes (I70-1 … I70-4)

Unified constraints: enforce check_dimension at entry; never conflate T_fil with T_trans; if the two arrival-time dialects are used downstream, record mode and eta_T.


VIII. Acceptance Criteria & Falsification Lines

  1. Accept if:
    • Seeds/triggers carry samples, timestamps, RNG seeds, hashes;
    • Trigger-rate calibration residuals pass gates;
    • eta_T ≤ threshold, tau_switch ≤ gate;
    • All linked propagation chains satisfy n_eff ≥ 1, T_arr ≥ L_path / c_ref, and energy closure.
  2. Falsify if:
    • Any propagation chain shows stable n_eff < 1 or T_arr < L_path / c_ref;
    • Persistent two-form inconsistency with no successful back-trace;
    • tau_switch routinely exceeds gate, or segmentation endpoints { ell_i } are missing;
    • Missing seed_rng / hashes / contract fields renders the run unreproducible.

IX. Cross-References


X. Deliverables