One atomic recover after #321: Driver, Oud, and Voelkle (2017, Table 3 T0TIPREDEFFECT; Eq. 5, p. 5; Table 2 MANIFESTVAR is Θ not Var(y)) extra first-occasion TI variance composed with the measurement model.
Map. Form t0_b² v first (addedT0TIPREDVAR), then recover_manifest_observed_variance(λ, t0_b² v, θ) so the observed composition is λ² t0_b² v + θ.
Distinct from TRAITVAR, TRAITVARstd, addedTIPREDVAR (B/a)² v, T0VAR, MANIFESTVAR θ, latent t0_b² v, and the θ=0 extra λ² t0_b² v (#308).
Fail closed. v < 0 fails closed. Non-event clock fails closed. Zero t0_b or zero v is exactly θ. Zero loading is exactly θ. Do not require stable a < 0 (free first-occasion T0TIPREDEFFECT).
Four files only: event_time.rs, error.rs, lib.rs, scientific_claim_boundary_contract.rs. Do not reuse branch feat/psychometric-eq5-added-t0-tipred-var or agent/psychometric-eq5-added-t0-tipred-var-on-main (#308).
One atomic recover after #321: Driver, Oud, and Voelkle (2017, Table 3
T0TIPREDEFFECT; Eq. 5, p. 5; Table 2MANIFESTVARisΘnotVar(y)) extra first-occasion TI variance composed with the measurement model.Map. Form
t0_b² vfirst (addedT0TIPREDVAR), thenrecover_manifest_observed_variance(λ, t0_b² v, θ)so the observed composition isλ² t0_b² v + θ.Distinct from TRAITVAR, TRAITVARstd, addedTIPREDVAR
(B/a)² v, T0VAR, MANIFESTVARθ, latentt0_b² v, and the θ=0 extraλ² t0_b² v(#308).Fail closed.
v < 0fails closed. Non-event clock fails closed. Zerot0_bor zerovis exactlyθ. Zero loading is exactlyθ. Do not require stablea < 0(free first-occasionT0TIPREDEFFECT).Four files only:
event_time.rs,error.rs,lib.rs,scientific_claim_boundary_contract.rs. Do not reuse branchfeat/psychometric-eq5-added-t0-tipred-varoragent/psychometric-eq5-added-t0-tipred-var-on-main(#308).