Chapter 8 — Interaction with the Layered Sea / Interfaces


I. One-Sentence Goal

Unify the three matching modes between an early object’s near field and the layered SeaProfile / environmental interfaces Sigma_env—continuous, potential jump, and flux jump—with a segmented propagation–correction convention. Define metrology and auditing of the energy triplet { R_env, T_trans, A_sigma }, the thin/thick consistency tau_switch, and connect everything end-to-end with the two arrival-time dialects T_arr / Delta_T_arr.


II. Scope & Non-Goals


III. Minimal Terms & Symbols


IV. Three Matching Modes & Side-Limits (per LayeredSea Ch. 8)


V. Segmented Integration & Two-Form Control (enforced at layers/interfaces)

  1. Segmentation rule: find { ell_i } such that gamma(ell_i) ∈ Sigma_env ∪ Sigma_sea; include endpoints explicitly in integrals; forbid cross-interface interpolation.
  2. Two-form arrival time:
    • Constant-factored:
      T_arr = ( 1 / c_ref ) * ( ∑_i ∫_{gamma_i} n_eff d ell )
    • General form:
      T_arr = ∑_i ∫_{gamma_i} ( n_eff / c_ref ) d ell
  3. Lower bound: with n_eff ≥ 1, T_arr ≥ L_path / c_ref (the general form enforces the same in the integrand).

VI. Thin/Thick Consistency & Zero-Thickness Correction


VII. Metrology & Audit of the Energy Triplet (M70-7)


VIII. Band Differential & Inter-Layer Consistency (aligned with Ch. 6)

  1. Same-path differential:
    • Constant-factored:
      Delta_T_arr(f1,f2) = ( 1 / c_ref ) * ∫ ( n_path(f1) − n_path(f2) ) d ell
    • General form:
      Delta_T_arr(f1,f2) = ∫ ( ( n_path(f1) − n_path(f2) ) / c_ref ) d ell
  2. Consistency requirement: the two bands must reuse the same { gamma[k], Δell[k] }, the same segmentation, and the same Delta_T_sigma configuration; out-of-band residuals go to u_sys, and the leakage ratio is logged.

IX. Stepwise Flow (M70-7 … M70-8 Extended)


X. Interfaces & Implementation Bindings (aligned with template I70-*)


XI. Acceptance Criteria & Falsification Lines


XII. Traceability & Minimal Logging Set


XIII. Cross-References


XIV. Deliverables