Skip to content

CLAUDE.md

Latest commit

 

History

History
28 lines (23 loc) · 33 KB

CLAUDE.md

File metadata and controls

28 lines (23 loc) · 33 KB
Raw

CLAUDE.md

Read and follow AGENTS.md before changing this repository. The repository-wide contracts in that file are normative. Use DOCUMENTATION.md to locate the canonical PRD/TRD/Architecture/UML/ERD/API/security/privacy/operability/traceability authorities.

Working method

  • Use test-driven development for every behavior change.
  • Keep one branch/PR internally coherent and independently reviewable, but do not stop the invocation merely because one bounded slice completed while another safe action exists.
  • After every mutation, merge, proof, or defer decision, re-enumerate the executable queue; waiting on one branch is local, not a repository-wide blocker.
  • Prefer explicit types and small modules with stable interfaces.
  • Preserve source spans, temporal provenance, uncertainty, purpose/authorization, and model-version metadata end to end.
  • Preserve standalone operation and integrate with other CWL services only through versioned contracts; never use hidden cross-service database coupling.
  • Do not replace statistical estimation with an LLM judgment.
  • Do not convert association, temporal precedence, or document links into causal language without identification evidence.
  • Do not remove repeated report language with global stopword lists or use TF-IDF/BM25 as inferential weights. Model template, section, copied-text, style, modality, and corpus-background sources explicitly.
  • Do not treat raw topic proportions as ordinary Euclidean indicators. Use logistic-normal coordinates or valid log-ratio coordinates and propagate posterior uncertainty into ESEM/DSEM.
  • Do not treat metric/weak invariance as a latent-mean license. Strong (equal loading and intercept) or strict is required; #84 metric licenses shared metric meaning only. Putnick and Bornstein (2016, PMC5145197 opened 2026-08-19T22:15Z) require scalar invariance before latent-mean comparison; residual invariance is not a prerequisite. Two-observation series have no residual degrees of freedom (ordinary_least_squares_fit returns residual variance 0) and cap at strong/scalar; they still license means. This is two-group OLS, not MGCFA. Meredith (1993) names remain unread labels (Unpaywall/OpenAlex 2026-08-25T11:32Z: closed).
  • Do not use the difference quotient as a continuous-time rate. The scalar map is a = ln(φ) / Δt on event time. Discrete lags from unequal event intervals are not one coefficient; remap them through that log-rate. Binary64 exp(a Δt) = 0 is not a discrete lag. A constant predictor's discrete effect is Voelkle et al. (2012, Eq. 12), evaluated as a_yx (expm1(z) / a_xx) with z = a_xx Δt so a finite result is not lost when z overflows to -∞ or when a_yx Δt overflows. When expm1(z) overflows at a finite z, rewrite in log space; a zero continuous effect is exactly zero; an overflowing a_yx/a_xx rewrite term fails closed. The first-order product is the underflow limit of that equation, not the general constant-predictor discrete effect. A time-varying predictor whose sampling interval equals its constancy interval uses Voelkle et al. (2012, Eq. 14): b* = a_yx Δt. Unmatched intervals fail closed (Oud & Jansen, 2000, unread). Discrete process noise is Driver et al. (2017, Eq. 3): Q_Δt = 0.5 q (expm1(z) / a) with z = 2 (a Δt) and q = G G⊤ ≥ 0; do not form 2 a first; a = 0 and z → 0 recover q Δt; a zero diffusion is exactly zero; an overflowing rewrite scale 0.5 q / a fails closed; this is not a Kalman filter. Q_Δt is cov(η_t | η_{t-1}), not Var(η_t). The lagged covariance is exp(a Δt) p and the unconditional variance is exp(2 a Δt) p + Q_Δt (Driver et al., 2017, Eq. 3–4, pp. 4–5; JSS has no numbered §2.2). A zero diffusion whose 2 (a Δt) overflows to +∞ is not a finite Var(η_t). The stationary within-subject variance is the Δt → ∞ limit of Eq. 4: -q / (2 a) for stable a < 0 (JSS p. 16 asymDIFFUSION; §4.3). When 2 a is finite, form q / -(2 a) so q / a overflow does not lose a finite result (q = MAX, a = -0.75 → MAX / 1.5). When 2 a overflows, form (q / a) * -0.5. Do not form 0.5 q first (q = from_bits(1) underflows). a ≥ 0 has no finite stationary variance. Finite-interval Q_Δt is not that limit. Trait-plus-state variance is trait + state and lagged covariance is trait + exp(a Δt) p (Driver et al., 2017, §4.3, p. 9). Trait variance is not process noise and not asymDIFFUSION. Evolving the summed variance as if it were all state is not that map. This is not RI-CLPM. Observed-indicator variance is λ² Var(η) + θ when MANIFESTTRAITVAR is zero and λ² Var(η) + θ + ψ otherwise (Driver et al., 2017, Eq. 5, p. 5; Table 2, p. 12). Lagged observed covariance is λ² cov(η_t, η_{t-1}) + ψ; MANIFESTVAR does not enter. Observed-indicator mean is τ + λ μ (Driver et al., 2017, Eq. 5; Table 2, p. 12). MANIFESTMEANS is τ, not E(y). E(η) is not E(y). CINT is not MANIFESTMEANS. T0MEANS is not E(y). The discrete latent mean is μ_t = exp(a Δt) μ_0 + (exp(a Δt) − 1)/a κ (Driver et al., 2017, Eq. 3, p. 4; Table 2, p. 12). T0MEANS is not μ_t. CINT is not that discrete increment. A zero drift is κ Δt. Underflow of exp(a Δt) to +0 drops the carried T0MEANS and keeps −κ / a. The evolved observed mean is τ + λ μ_t (Driver et al., 2017, Eq. 5 of that Eq. 3 map). The first-occasion map τ + λ μ_0 is not E(y_t). μ_t is not E(y_t). The contemporaneous time-dependent predictor impulse is m x (Driver et al., 2017, Eq. 3 fourth summand; Table 2 TDPREDEFFECT is M). Form μ_t first, then add m x. TDPREDEFFECT is not CINT. M x is not A^{-1}[e^{A Δt} − I] B z and is not Voelkle et al. (2012, Eq. 14). The §7.2 level-change form is not that impulse. The observed mean of that contemporaneous impulse is τ + λ(μ_t + m x) (Driver et al., 2017, Eq. 5 of the Eq. 3 fourth-summand composition). The evolved map τ + λ μ_t is not that observed mean. The carry map τ + λ(μ_t + e^{a(t−u)} m x) is not that observed mean when u ≠ t. The evolved-plus-impulse latent mean is not E(y_t). The time-independent predictor increment is A^{-1}[e^{A Δt} − I] B z (Driver et al., 2017, Eq. 3 second summand; Table 2 TIPREDEFFECT is B). Form B z first, then the discrete intercept map. A zero drift is B z Δt. TIPREDEFFECT is B, not that discrete increment. A^{-1}[e^{A Δt} − I] B z is not CINT, not M x, and not Voelkle et al. (2012, Eq. 14). The observed mean of that increment is τ + λ(μ_t + A^{-1}[e^{A Δt} − I] B z) (Driver et al., 2017, Eq. 5 of the Eq. 3 printed addend after the T0MEANS carry and the CINT increment). The evolved map τ + λ μ_t is not that observed mean. The contemporaneous map τ + λ(μ_t + m x) is not that observed mean. The carry map τ + λ(μ_t + e^{a(t−u)} m x) is not that observed mean when u ≠ t. The evolved-plus-increment latent mean is not E(y_t). The within-interval time-dependent impulse carry is e^{A(t−u)} M x for t0 < u < t (Driver et al., 2017, Eq. 1–2 Green-function integral of Eq. 2; §7.2 dissipation). Form m x first, then e^{a(t−u)} m x. A zero drift is m x with no dissipation. Underflow of e^{a(t−u)} to +0 is vanishing dissipation and is kept. e^{A(t−u)} M x is not the contemporaneous Dirac, not CINT, not TIPREDEFFECT, and not Voelkle et al. (2012, Eq. 14). An impulse at u = t is the contemporaneous map. An impulse at u ≤ t0 is already in η(t0). The observed mean of that carry is τ + λ(μ_t + e^{a(t−u)} m x) (Driver et al., 2017, Eq. 5 of the Eq. 1–2 carried latent mean). The evolved map τ + λ μ_t is not that observed mean. The contemporaneous map τ + λ(μ_t + m x) is not that observed mean when u ≠ t. MANIFESTMEANS is not E(y_t). The carried latent mean is not E(y_t). The first-occasion time-independent predictor shift is t0_b z (Driver et al., 2017, Table 3 T0TIPREDEFFECT; Eq. 3 first summand). Form t0_b z first, then e^{a Δt} t0_b z. Form μ_t first, then add that carry. A zero drift is t0_b z. Underflow of e^{a Δt} to +0 is a vanishing carry of the first-occasion shift and is kept. t0_b z is not A^{-1}[e^{A Δt} − I] B z, not CINT, and not M x. e^{A Δt} t0_b z is not t0_b z. T0TIPREDEFFECT is the coefficient, not the shift. The observed mean of that first-occasion carry is τ + λ(μ_t + e^{a Δt} t0_b z) (Driver et al., 2017, Eq. 5 of the Table 3 / Eq. 3 first-summand composition). The evolved map τ + λ μ_t is not that observed mean. The process-increment map τ + λ(μ_t + A^{-1}[e^{A Δt} − I] B z) is not that observed mean. The contemporaneous map τ + λ(μ_t + m x) is not that observed mean. The impulse-carry map τ + λ(μ_t + e^{a(t−u)} m x) is not that observed mean when u ≠ t0. The evolved-plus-carry latent mean is not E(y_t). The first-occasion time-dependent predictor shift is t0_m x0 (Driver et al., 2017, Table 3 T0TDPREDEFFECT; Eq. 3 first summand; JSS PDF re-opened 2026-08-20T19:10Z). Form t0_m x0 first, then e^{a Δt} t0_m x0. Form μ_t first, then add that carry. A zero drift is t0_m x0. Underflow of e^{a Δt} to +0 is a vanishing carry of the first-occasion shift and is kept. t0_m x0 is not M x, not e^{A(t−u)} M x for t0 < u < t, not t0_b z, not A^{-1}[e^{A Δt} − I] B z, and not CINT. e^{A Δt} t0_m x0 is not t0_m x0. T0TDPREDEFFECT is the coefficient, not the shift. An impulse at u ≤ t0 that used M is already in η(t0) as TDPREDEFFECT, not as T0TDPREDEFFECT. The observed mean of that first-occasion TD carry is τ + λ(μ_t + e^{a Δt} t0_m x0) (Driver et al., 2017, Eq. 5 of the Table 3 / Eq. 3 first-summand TD composition; JSS PDF re-opened 2026-08-20T19:07Z). The evolved map τ + λ μ_t is not that observed mean. The process-increment map τ + λ(μ_t + A^{-1}[e^{A Δt} − I] B z) is not that observed mean. The contemporaneous map τ + λ(μ_t + m x) is not that observed mean. The impulse-carry map τ + λ(μ_t + e^{a(t−u)} m x) is not that observed mean when u ≠ t0. The first-occasion TI map τ + λ(μ_t + e^{a Δt} t0_b z) is not that observed mean. The evolved-plus-carry latent mean is not E(y_t). The lasting level-change CINT is κ = −a m x (Driver et al., 2017, §7.2, pp. 20–21; JSS PDF re-opened 2026-08-20T19:45Z). Form m x first, then multiply by −a. Stable a < 0 is required so −κ / a = m x is an equilibrium offset. a ≥ 0 cannot hold a new process mean. −a m x is not the dissipating Dirac m x, not a free CINT, and not A^{-1}[e^{A Δt} − I] B z. The extra near-zero-drift latent process also named in §7.2 is a different specification and is not this CINT setting. Equation 3 maps that intercept as (1 − e^{a Δt}) m x (JSS PDF re-opened 2026-08-20T19:50Z). Form the level-change CINT first, then the discrete intercept map. Underflow of e^{a Δt} to +0 keeps m x. (1 − e^{a Δt}) m x is not m x, not κ, and not A^{-1}[e^{A Δt} − I] B z. The printed §7.2 lasting level change is an extra near-zero-drift latent process (Driver et al., 2017, §7.2, pp. 22–23; JSS PDF re-opened 2026-08-20T23:10Z). T0MEANS, CINT, T0VAR, DIFFUSION, and TRAITVAR of that process are fixed to 0; TDPREDEFFECT on it is fixed to 1; its DRIFT diagonal is very close to 0 (printed example −0.000001; precisely 0 causes computational problems); the original process is driven by the DRIFT coupling a_{ηξ}. After a unit identification impulse the scalar contribution is a_{ηξ} x (e^{ε Δt} − e^{a Δt}) / (ε − a) (ε = a is a_{ηξ} x Δt e^{a Δt}). Form a_{ηξ} x first. A zero coupling or zero predictor is exactly zero. ε ≥ 0 fails closed. That contribution is not κ = −a m x, not (1 − e^{a Δt}) m x, and not the dissipating Dirac m x. The observed mean of that extra-process contribution is τ + λ(μ_t + a_{ηξ} x (e^{ε Δt} − e^{a Δt}) / (ε − a)) (Driver et al., 2017, Eq. 5 of that §7.2 contribution; JSS PDF re-opened 2026-08-21T06:12Z). The extra process has LAMBDA 0 and is not an observed indicator. Original indicators load on the original process after the DRIFT coupling. The evolved map τ + λ μ_t is not that observed mean. The contemporaneous map τ + λ(μ_t + m x) is not that observed mean. The contribution is not E(y_t). The evolved-plus-contribution latent mean is not E(y_t). T0TDPREDEFFECT on the extra process begins at t = 0 and uses Δt = t − t0 for both the original-process evolution and the extra drive. TDPREDEFFECT after t0 uses t − u with t0 < u < t for the extra drive while μ_t still uses Δt. The observed mean of that after-t0 extra-process contribution is τ + λ(μ_t + a_{ηξ} x (e^{ε(t−u)} − e^{a(t−u)}) / (ε − a)) (Driver et al., 2017, Eq. 5 of that §7.2 after-t0 contribution; JSS PDF re-opened 2026-08-21T06:32Z). The first-occasion extra-process observed mean is not that observed mean when u ≠ t0. The impulse-carry map τ + λ(μ_t + e^{a(t−u)} m x) is a Dirac on the original process and is not that DRIFT drive. An impulse at u = t0 or u = t is not interior. The asymptotic time-independent predictor effect is -B z / a (Driver et al., 2017, §7.2, pp. 20–21; JSS PDF opened 2026-08-21T13:08Z). Form B z first, then divide by -a. Stable a < 0 is required. a ≥ 0 cannot hold a finite process-mean change. -B z / a is not the coefficient B, not A^{-1}[e^{A Δt} − I] B z, not CINT, and not M x. The asymptotic time-independent predictor variance is (B / a)² v (Driver et al., 2017, §7.2, pp. 20–21 addedTIPREDVAR). Form the unit asymptotic effect first, then square, then multiply by v. (B / a)² v is not TRAITVAR, not asymDIFFUSION, and not -B z / a. The asymptotic continuous intercept is -κ / a (Driver et al., 2017, Table 2, p. 12 asymCINT; Eq. 3 as Δt → ∞; JSS PDF opened 2026-08-21T16:13Z). Form κ first, then divide by -a. Stable a < 0 is required. -κ / a is not κ, not A^{-1}[e^{A Δt} − I] κ, not T0MEANS, and not -B z / a. The p. 16 stationary T0MEANS constraint is -κ / a + −B z / a. Form the intercept contribution first, then include the TI extra effect, then add. That constrained first-occasion mean is not free T0MEANS, not asymCINT alone, not asymTIPREDEFFECT alone, and not the finite-interval discrete latent mean. Equation 5 of that constrained mean is τ + λ(−κ / a + −B z / a) (Driver et al., 2017, §4.3, pp. 9–10; Eq. 5, p. 5; JSS PDF re-opened 2026-08-21T20:07Z). Form the stationary latent mean first, then τ + λ of that mean. τ + λ μ_0 for free T0MEANS is not that composition. τ + λ(−κ / a) is not that composition when B z ≠ 0. τ + λ μ_t is not that composition. MANIFESTMEANS is not E(y_0). The constrained latent mean is not E(y_0). The p. 16 constrained first-occasion variance trait + −q / (2 a) + (B / a)² v is not free T0VAR, not asymDIFFUSION alone, not TRAITVAR alone, not addedTIPREDVAR alone, and not the finite-interval discrete latent variance. Eq. 5 of that constrained variance is λ²(trait + −q / (2 a) + (B / a)² v) + θ + ψ (JSS PDF re-opened 2026-08-22T03:20Z; form the stationary latent variance first, then λ² p + θ + ψ; λ² p_0 is not that observed variance; λ²(−q / (2 a)) + θ is not that observed variance when TRAITVAR or addedTIPREDVAR is nonzero; MANIFESTVAR is not Var(y_0); the constrained latent variance is not Var(y_0)). The lagged covariance of that constrained process is trait + e^{a Δt}(−q / (2 a)) + (B / a)² v (Driver et al., 2017, Eq. 3–4 of §4.3 / p. 16 T0VAR; JSS PDF re-opened 2026-08-22T19:13Z). Trait and addedTIPREDVAR do not decay with e^{a Δt}. Contemporaneous T0VAR is not that lagged map. Decaying the constrained total as if it were all state is not that lagged map. Equation 5 of that lagged covariance is λ²(trait + e^{a Δt}(−q / (2 a)) + (B / a)² v) + ψ. Θ does not enter. Contemporaneous Var(y_0) is not that lagged observed covariance. The lagged latent covariance is not that observed covariance. The later-occasion variance of that constrained process is trait + e^{2 a Δt}(−q / (2 a)) + Q_Δt + (B / a)² v (Driver et al., 2017, Eq. 3–4 of §4.3 / p. 16 T0VAR; JSS PDF re-opened 2026-08-22T23:12Z). Trait and addedTIPREDVAR do not enter Q_Δt. Under stationarity that composition equals contemporaneous T0VAR. Evolving the constrained total as if it were all state is not that later map. The lagged covariance omits Q_Δt and is not that later map. Q_Δt is not that later map. Equation 5 of that later-occasion variance is λ²(trait + e^{2 a Δt}(−q / (2 a)) + Q_Δt + (B / a)² v) + θ + ψ. The lagged observed covariance omits Q_Δt and θ. MANIFESTVAR is not Var(y_t). The later-occasion latent variance is not Var(y_t). The later-occasion variance of §4.3 predetermined T0VAR is trait + e^{2 a Δt} p_0 + Q_Δt + (B / a)² v (Driver et al., 2017, Eq. 3–4 of §4.3 predetermined first occasion; JSS PDF re-opened 2026-08-23T05:12Z). Trait and addedTIPREDVAR do not enter Q_Δt. Free T0VAR p_0 is not that later map. Setting p_0 = −q / (2 a) recovers the stationary later-occasion map. Stationary later variance uses −q / (2 a) in place of p_0 and is not that later map when p_0 is free. Evolving trait + p_0 + (B / a)² v as if it were all state is not that later map. As Δt → ∞ with stable a < 0 the composition approaches contemporaneous stationary T0VAR. As Δt → 0+ the composition approaches trait + p_0 + (B / a)² v. Nonzero diffusion with a ≥ 0 is a growing process and is kept. Equation 5 of that predetermined later-occasion variance is λ²(trait + e^{2 a Δt} p_0 + Q_Δt + (B / a)² v) + θ + ψ. MANIFESTVAR is not Var(y_t). The predetermined later-occasion latent variance is not Var(y_t). Stationary later observed variance is not that observed variance when p_0 is free. The lagged covariance of §4.3 predetermined T0VAR is trait + e^{a Δt} p_0 + (B / a)² v (Driver et al., 2017, Eq. 3–4 of §4.3 predetermined first occasion; JSS PDF re-opened 2026-08-23T09:04Z). Trait and addedTIPREDVAR do not decay with e^{a Δt}. Free T0VAR p_0 is not that lagged map. Setting p_0 = −q / (2 a) recovers the stationary lagged map. Stationary lagged covariance uses −q / (2 a) in place of p_0 and is not that lagged map when p_0 is free. Evolving trait + p_0 + (B / a)² v as if it were all state is not that lagged map. Later-occasion variance includes Q_Δt and is not that lagged map. As Δt → ∞ with stable a < 0 the state term vanishes. As Δt → 0+ the composition approaches trait + p_0 + (B / a)² v. Equation 5 of that predetermined lagged covariance is λ²(trait + e^{a Δt} p_0 + (B / a)² v) + ψ. MANIFESTVAR does not enter. The predetermined lagged latent covariance is not that observed covariance. Predetermined later observed variance includes Q_Δt and θ and is not that lagged observed covariance. Stationary lagged observed covariance is not that observed covariance when p_0 is free. The predetermined first-occasion variance of §4.3 predetermined T0VAR is trait + p_0 + (B / a)² v. Free p_0 is not that map. Stationary first-occasion variance uses −q / (2 a) in place of p_0 and is not that map when p_0 is free. Lagged covariance decays the state and is not that map. Later-occasion variance includes Q_Δt and is not that map. Equation 5 of that predetermined first-occasion variance is λ²(trait + p_0 + (B / a)² v) + θ + ψ. MANIFESTVAR is not that first-occasion observed variance. The predetermined first-occasion latent variance is not that observed variance. Stationary first-occasion observed variance is not that observed variance when p_0 is free. Predetermined later observed variance includes Q_Δt and is not that first-occasion observed variance. Later-start lagged covariance of predetermined T0VAR is trait + e^{a s}(e^{2 a u} p_0 + Q_u) + (B / a)² v (Driver et al., 2017, §4.3 startoffset; Eq. 4; JSS PDF re-opened 2026-08-23T10:27Z). First-occasion lagged omits e^{a s} Q_u. Later-occasion variance does not lag. Stationary lagged uses −q / (2 a). Decaying the later total is not that map. Equation 5 of that later-start lagged covariance is λ² of it plus ψ. Independent ε_t does not enter. First-occasion lagged observed omits e^{a s} Q_u. Predetermined later observed variance includes Q_u and θ and is not that later-start lagged observed covariance. Later-start later-occasion variance of predetermined T0VAR is trait + e^{2 a s}(e^{2 a u} p_0 + Q_u) + Q_s + (B / a)² v (Driver et al., 2017, §4.3 startoffset; Eq. 3–4 Chapman–Kolmogorov Q_{u+s} = e^{2 a s} Q_u + Q_s; JSS PDF re-opened 2026-08-23T11:05Z). Later-occasion variance at u omits Q_s. Later-start lagged covariance omits Q_s. Stationary later uses −q / (2 a). Evolving the later total as if it were all state is not that map. Ignoring startoffset omits e^{2 a s} Q_u. Equation 5 of that later-start later-occasion variance is λ² of it plus θ + ψ. MANIFESTVAR is not that observed variance. Page 16 discreteDRIFTstd is e^{a Δt} after strictly positive asymDIFFUSION -q / (2 a) (Driver et al., 2017, p. 16; footnote 4; §7.1; JSS PDF re-opened 2026-08-23T11:40Z). Unstandardised e^{a Δt} is defined for growing a ≥ 0 and for zero diffusion and is not discreteDRIFTstd. The §7.1 trait-plus-state autocorrelation (trait + e^{a Δt} p + added) / (trait + p + added) uses TRAITVAR and is not discreteDRIFTstd. TRAITVAR is not the standardisation variance. Page 16 discreteDIFFUSIONstd is Q_Δt / (−q / (2 a)) after strictly positive asymDIFFUSION -q / (2 a) (Driver et al., 2017, p. 16; Eq. 4; footnote 4; JSS PDF re-opened 2026-08-23T13:06Z). Unstandardised Q_Δt is defined for growing a ≥ 0 and for zero diffusion and is not discreteDIFFUSIONstd. The continuous standardisation −2 a is not discreteDIFFUSIONstd. Q_Δt / (trait + p + added) uses TRAITVAR and is not discreteDIFFUSIONstd. TRAITVAR is not the standardisation variance. Page 16 DIFFUSIONstd is q / (−q / (2 a)) = −2 a after strictly positive asymDIFFUSION -q / (2 a) (Driver et al., 2017, p. 16; Eq. 4; footnote 4; JSS PDF re-opened 2026-08-23T13:20Z). Unstandardised q is defined for growing a ≥ 0 and for zero diffusion and is not DIFFUSIONstd. The discrete standardisation Q_Δt / (−q / (2 a)) depends on Δt and is not DIFFUSIONstd. q / (trait + p + added) uses TRAITVAR and is not DIFFUSIONstd. TRAITVAR is not the standardisation variance. Page 16 DRIFTstd is the continuous auto-effect after strictly positive asymDIFFUSION -q / (2 a) (Driver et al., 2017, p. 16; Eq. 1; footnote 4; JSS PDF re-opened 2026-08-23T13:28Z). Unstandardised a is defined for growing a ≥ 0 and for zero diffusion and is not DRIFTstd. The discrete standardisation e^{a Δt} depends on the event interval and is not DRIFTstd. a p / (trait + p + added) uses TRAITVAR and is not DRIFTstd. TRAITVAR is not the standardisation variance. Page 16 asymTIPREDEFFECTstd is (-B / a) · √v / √(-q / (2 a)) after strictly positive asymDIFFUSION -q / (2 a) and strictly positive predictor variance v (Driver et al., 2017, p. 16; §7.2; footnote 4; JSS PDF re-opened 2026-08-23T14:25Z). Unstandardised -B / a is defined for a zero coefficient and for zero predictor variance and is not asymTIPREDEFFECTstd. The finite-interval standardisation A^{-1}[e^{A Δt} − I] B · √v / √p depends on the event interval and is not asymTIPREDEFFECTstd. (-B / a) · √v / √(trait + p + added) uses TRAITVAR and is not asymTIPREDEFFECTstd. TRAITVAR is not the standardisation variance. Page 16 TIPREDEFFECTstd is B · √v / √(-q / (2 a)) after strictly positive asymDIFFUSION -q / (2 a) and strictly positive predictor variance v (Driver et al., 2017, p. 16; §7.2; footnote 4; JSS PDF re-opened 2026-08-23T16:21Z). Unstandardised B is defined for a zero coefficient and for zero predictor variance and is not TIPREDEFFECTstd. The asymptotic standardisation (-B / a) · √v / √p is the total change and is not TIPREDEFFECTstd. The finite-interval standardisation A^{-1}[e^{A Δt} − I] B · √v / √p depends on the event interval and is not TIPREDEFFECTstd. B · √v / √(trait + p + added) uses TRAITVAR and is not TIPREDEFFECTstd. TRAITVAR is not the standardisation variance. Page 16 / Table 3 T0TIPREDEFFECTstd is t0_b · √v / √p_0 after strictly positive free T0VAR p_0 and strictly positive predictor variance v (Driver et al., 2017, Table 3, p. 13; p. 16; footnote 4; 2017-era ctsem summary.ctsemFit.R; JSS PDF re-opened 2026-08-23T17:20Z). The affected variance is free first-occasion T0VAR, not asymDIFFUSION. Unstandardised t0_b is defined for a zero coefficient and for zero predictor variance and is not T0TIPREDEFFECTstd. TIPREDEFFECTstd B · √v / √(-q / (2 a)) is the continuous coefficient and is not T0TIPREDEFFECTstd. asymTIPREDEFFECTstd (-B / a) · √v / √p is the total change and is not T0TIPREDEFFECTstd. t0_b · √v / √(trait + p_0 + added) uses TRAITVAR and is not T0TIPREDEFFECTstd. TRAITVAR is not the standardisation variance. 2017-era addedT0TIPREDVAR is t0_b² v after a first-occasion time-independent predictor (Driver et al., 2017, Table 3, p. 13; p. 16; §7.2; 2017-era ctsem summary.ctsemFit.R; JSS PDF re-opened 2026-08-23T18:20Z). Form t0_b first, then square, then multiply by v. A zero coefficient or zero predictor variance is exactly zero. Free T0TIPREDEFFECT does not require a < 0. (B / a)² v is addedTIPREDVAR and is not this first-occasion map. t0_b · √v / √p_0 is T0TIPREDEFFECTstd and is not this variance. Free T0VAR is not this extra TI variance. TRAITVAR is not this extra TI variance. Equation 5 of 2017-era addedT0TIPREDVAR is λ² t0_b² v (Driver et al., 2017, Eq. 5, p. 5; Table 3, p. 13; Table 2, p. 12; 2017-era ctsem summary.ctsemFit.R; JSS PDF re-opened 2026-08-23T19:10Z). Form t0_b² v first, then (λ extra) λ with θ = 0. A zero loading or zero extra is exactly zero. t0_b² v is the latent extra, not the observed extra. λ² p_0 + θ is first-occasion observed variance, not this extra. λ² (B / a)² v is Eq. 5 of addedTIPREDVAR, not this first-occasion observed extra. MANIFESTVAR θ is not this extra. Equation 5 of §7.2 addedTIPREDVAR is λ² (B / a)² v (Driver et al., 2017, Eq. 5, p. 5; Table 2, p. 12; §7.2, pp. 20–21; 2017-era ctsem summary.ctsemFit.R; JSS PDF re-opened 2026-08-23T19:23Z). Form (B / a)² v first, then (λ extra) λ with θ = 0. A zero loading or zero extra is exactly zero. Lasting asymptotic extra requires a < 0. (B / a)² v is the latent extra, not the observed extra. λ² t0_b² v is first-occasion extra observed TI variance, not this extra. λ² p + θ is stationary observed variance, not this extra. MANIFESTVAR θ is not this extra. Page 16 TDPREDEFFECTstd is m · √v / √(-q / (2 a)) after strictly positive asymDIFFUSION and strictly positive time-dependent predictor variance. Unstandardised M is not TDPREDEFFECTstd. TIPREDEFFECTstd is not TDPREDEFFECTstd even when M = B. intercept-style A^{-1}[e^{A Δt} − I] M · √v / √p is not TDPREDEFFECTstd. m · √v / √(trait + p + added) uses TRAITVAR and is not TDPREDEFFECTstd. Table 3 / p. 16 T0TDPREDEFFECTstd is t0_m · √v / √p_0 after strictly positive free T0VAR and strictly positive TD predictor variance. Unstandardised t0_m is not T0TDPREDEFFECTstd. TDPREDEFFECTstd uses asymDIFFUSION and is not T0TDPREDEFFECTstd. T0TIPREDEFFECTstd is not T0TDPREDEFFECTstd even when t0_m = t0_b. t0_m · √v / √(trait + p_0 + added) uses TRAITVAR and is not T0TDPREDEFFECTstd. Free T0VAR does not require a < 0. Page 16 T0VARstd is p_0 / p_0 = 1 after strictly positive free T0VAR (solve(sqrt(diag(T0VAR))) %&% T0VAR; OpenMx %&% is t(A) %*% B %*% A; the default ridge is 0). Unstandardised T0VAR is not T0VARstd. T0TDPREDEFFECTstd is not T0VARstd. addedT0TIPREDVAR is not T0VARstd. Page 16 TRAITVARstd is trait / trait = 1 after strictly positive TRAITVAR (solve(sqrt(diag(TRAITVAR))) %&% TRAITVAR; OpenMx %&% is t(A) %*% B %*% A; no ridge addend). Unstandardised TRAITVAR is not TRAITVARstd. T0VARstd is not TRAITVARstd even when both equal 1. addedT0TIPREDVAR is not TRAITVARstd. Page 16 MANIFESTTRAITVARstd is ψ / ψ = 1 after strictly positive MANIFESTTRAITVAR (solve(sqrt(diag(MANIFESTTRAITVAR))) %&% MANIFESTTRAITVAR; OpenMx %&% is t(A) %*% B %*% A; 2017-era source adds ridging; default ridge is 0). Unstandardised MANIFESTTRAITVAR is not MANIFESTTRAITVARstd. TRAITVARstd is not MANIFESTTRAITVARstd even when both equal 1. MANIFESTVAR is not MANIFESTTRAITVARstd. Page 16 MANIFESTVARstd is θ / θ = 1 after strictly positive MANIFESTVAR (solve(sqrt(diag(MANIFESTVAR))) %&% MANIFESTVAR; OpenMx %&% is t(A) %*% B %*% A; 2017-era source adds ridging; default ridge is 0; 2017-era dimnames assignment to latentNames is a source bug). Unstandardised MANIFESTVAR is not MANIFESTVARstd. MANIFESTTRAITVARstd is not MANIFESTVARstd even when both equal 1. Equation 5 Var(y) is not MANIFESTVARstd. Page 16 TIPREDVARstd is v / v = 1 after strictly positive TIPREDVAR (solve(sqrt(diag(TIPREDVAR))) %&% TIPREDVAR; OpenMx %&% is t(A) %*% B %*% A; 2017-era source adds ridging; default ridge is 0; dimnames are TIpredNames). Unstandardised TIPREDVAR is not TIPREDVARstd. MANIFESTVARstd is not TIPREDVARstd even when both equal 1. Section 7.2 addedTIPREDVAR is not TIPREDVARstd. Page 16 asymDIFFUSIONstd is p / p = 1 after strictly positive asymDIFFUSION (solve(sqrt(diag(asymDIFFUSION))) %&% asymDIFFUSION; OpenMx %&% is t(A) %*% B %*% A; 2017-era source adds ridging; default ridge is 0; dimnames are latentNames). Unstandardised asymDIFFUSION is not asymDIFFUSIONstd. TIPREDVARstd is not asymDIFFUSIONstd even when both equal 1. DIFFUSIONstd −2 a is not asymDIFFUSIONstd. Page 16 discreteCINTstd is A^{-1}[e^{A Δt} − I] κ / √p after strictly positive asymDIFFUSION. Unstandardised discreteCINT is not discreteCINTstd. κ / √p is not discreteCINTstd. (-κ / a) / √p is not discreteCINTstd. asymCINTstd is (-κ / a) / √p after strictly positive asymDIFFUSION. Unstandardised asymCINT is not asymCINTstd. κ / √p is not asymCINTstd. discreteCINTstd is not asymCINTstd. T0MEANSstd is μ_0 / √p_0 after strictly positive free T0VAR. Unstandardised T0MEANS is not T0MEANSstd. T0VARstd is not T0MEANSstd. μ_0 / √asymDIFFUSION is not T0MEANSstd. Page 16 MANIFESTMEANSstd is τ / √θ after strictly positive MANIFESTVAR. Unstandardised MANIFESTMEANS is not MANIFESTMEANSstd. MANIFESTVARstd is not MANIFESTMEANSstd. τ / √(λ² Var(η) + θ) is not MANIFESTMEANSstd. Page 16 CINTstd is κ / √p after strictly positive asymDIFFUSION. Unstandardised CINT is not CINTstd. asymCINTstd is not CINTstd. discreteCINTstd is not CINTstd. κ / √(trait + p + added) is not CINTstd. Evolving from that stationary start with CINT and TIPREDEFFECT stays at the stationary mean. Equation 1 is the latent SDE, not the measurement model. Form (λ p) λ then add θ, then add ψ. MANIFESTVAR is Θ, not Var(y). MANIFESTTRAITVAR is Ψ_τ, not Θ. TRAITVAR is latent and scaled by λ². Var(η) is not Var(y).
  • Separate cluster means before within-unit lag. CWC plus an event-time lag is not DSEM. Subtracting the person-specific mean from a raw autoregressive series does not isolate the lagged within-person effect (Curran & Bauer, 2011, pp. 607–608); already-centered residuals with irregular event intervals use the exact scalar map.
  • Do not treat the CWC cluster-mean coefficient as the between-cluster effect. It is the contextual effect between − within (Enders & Tofighi, 2007, Table 2, pp. 124–127).
  • Never use future-available evidence in historical model fits.
  • Do not blanket-mask PII when identity/role/linkage is scientifically required. Follow the purpose-bound separation, opaque-ID, encryption, retention, and audit contract in docs/PRIVACY_DATA_GOVERNANCE.md.
  • Treat documents and LLM outputs as untrusted. Model routing/orchestration may vary reasoning effort, decomposition, recursion and roles, but deterministic/statistical gates remain authoritative.
  • Treat CSAP/SOC 2/ISO/NIST mappings as readiness evidence, never certification or attestation.

Verification before completion

Before stating that a task is complete, run the exact focused tests, complete test suite, line/branch coverage gate, docstring gate, formatter, linter, dependency/security checks, build/package checks, documentation contracts, and any required CPU/GPU parity or true-parameter study. Report actual evidence and unresolved external gates. If another safe executable repository action remains, continue rather than using the verification result as a stopping point.