feat(psychometric): recover Driver Eq. 5 of T0TOTALVAR after addedT0TIPREDVAR with ψ as λ² (t0_trait² · trait + p_0 + t0_b² v) + θ + ψ

CHANGELOG.md

@@ -38,6 +38,7 @@ All notable changes to TEPP are documented here. The format follows Keep a Chang
 
 ## [Unreleased]
 
+- `psychometric_core` recovers Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR` with nonzero `MANIFESTTRAITVAR` as `λ² (t0_trait² · trait + p_0 + t0_b² v) + θ + ψ` on event time (`recover_initial_total_observed_variance_with_time_independent_predictor_and_manifest_trait`), refusing the latent total, Eq. 5 of that total without `ψ`, `MANIFESTVAR` `θ`, `MANIFESTTRAITVAR` `ψ`, and `T0TOTALVARstd`.
 - Removed the repository-local hourly PR-maintenance caller now covered by the central required scheduler, retired stale workflow registrations, narrowed documentation triggers, keyed PR concurrency by fixed workflow name, repository, and pull-request number without cancelling non-PR runs, and combined line/branch coverage on one sequential runner while preserving both 100% gates and diagnostics.
 
 - `event_core` adds bounded Allen interval-consistency classification, atomic path-consistency closure, contradiction/resource refusals, and an explicit dependency-error fallback without claiming unrestricted global satisfiability.

crates/psychometric_core/src/error.rs

@@ -710,6 +710,31 @@ pub enum PsychometricError {
     /// `MANIFESTVARstd`. `λ² Var(η) + θ` is `Var(y)`, not the
     /// correlation form of `Θ`.
     ObservedVarianceIsNotStandardisedManifestVariance,
+    /// Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR`
+    /// with nonzero `MANIFESTTRAITVAR` was treated as the latent
+    /// total. Observed total
+    /// `λ² (t0_trait² · trait + p_0 + t0_b² v) + θ + ψ` is not
+    /// `extra + p_0 + ti_extra`.
+    InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotLatentTotal,
+    /// Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR`
+    /// with nonzero `MANIFESTTRAITVAR` was treated as Eq. 5 of that
+    /// total without `ψ`. Omitting `MANIFESTTRAITVAR` is not the
+    /// observed total when the intercept random effect is present.
+    InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotObservedVarianceWithoutManifestTrait,
+    /// Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR`
+    /// with nonzero `MANIFESTTRAITVAR` was treated as `MANIFESTVAR`
+    /// `θ`. Measurement error is not the observed composition.
+    InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotMeasurementError,
+    /// Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR`
+    /// with nonzero `MANIFESTTRAITVAR` was treated as
+    /// `MANIFESTTRAITVAR` `ψ`. Manifest-trait variance is an addend,
+    /// not the observed total.
+    InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotManifestTraitVariance,
+    /// Driver Eq. 5 of 2017-era `T0TOTALVAR` after `addedT0TIPREDVAR`
+    /// with nonzero `MANIFESTTRAITVAR` was treated as 2017-era
+    /// `T0TOTALVARstd`. Observed total variance is not the
+    /// correlation form `total / total = 1`.
+    InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotStandardisedInitialTotalVariance,
 }
 
 impl fmt::Display for PsychometricError {
@@ -1235,6 +1260,21 @@ impl fmt::Display for PsychometricError {
             Self::ObservedVarianceIsNotStandardisedManifestVariance => {
                 "observed-indicator variance is not standardised measurement-error variance"
             }
+            Self::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotLatentTotal => {
+                "initial total observed variance with time-independent predictor and manifest trait is not the latent total"
+            }
+            Self::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotObservedVarianceWithoutManifestTrait => {
+                "initial total observed variance with time-independent predictor and manifest trait is not observed variance without manifest trait"
+            }
+            Self::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotMeasurementError => {
+                "initial total observed variance with time-independent predictor and manifest trait is not measurement-error variance"
+            }
+            Self::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotManifestTraitVariance => {
+                "initial total observed variance with time-independent predictor and manifest trait is not manifest-trait variance"
+            }
+            Self::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotStandardisedInitialTotalVariance => {
+                "initial total observed variance with time-independent predictor and manifest trait is not standardised initial total variance"
+            }
         };
         formatter.write_str(message)
     }
@@ -2073,4 +2113,34 @@ mod tests {
             "measurement error is not standardised manifest-trait variance"
         );
     }
+
+    #[test]
+    fn initial_total_observed_variance_with_time_independent_predictor_and_manifest_trait_boundary_messages_are_stable()
+     {
+        assert_eq!(
+            PsychometricError::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotLatentTotal
+                .to_string(),
+            "initial total observed variance with time-independent predictor and manifest trait is not the latent total"
+        );
+        assert_eq!(
+            PsychometricError::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotObservedVarianceWithoutManifestTrait
+                .to_string(),
+            "initial total observed variance with time-independent predictor and manifest trait is not observed variance without manifest trait"
+        );
+        assert_eq!(
+            PsychometricError::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotMeasurementError
+                .to_string(),
+            "initial total observed variance with time-independent predictor and manifest trait is not measurement-error variance"
+        );
+        assert_eq!(
+            PsychometricError::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotManifestTraitVariance
+                .to_string(),
+            "initial total observed variance with time-independent predictor and manifest trait is not manifest-trait variance"
+        );
+        assert_eq!(
+            PsychometricError::InitialTotalObservedVarianceWithTimeIndependentPredictorAndManifestTraitIsNotStandardisedInitialTotalVariance
+                .to_string(),
+            "initial total observed variance with time-independent predictor and manifest trait is not standardised initial total variance"
+        );
+    }
 }