{
  "schema": "an04-variable-symmetrizer-finite-model-checks/v1",
  "recorded_utc": "2026-10-06T23:32:04.594289+00:00",
  "source_sha256": "226aeb5ef8e3b998e546d8d703517ed238350acbb64b6b07760e4d216f76071b",
  "checks": [
    {
      "name": "Shear inverse, symmetrization and metric",
      "passed": true
    },
    {
      "name": "Positive square-root algebra",
      "passed": true
    },
    {
      "name": "Both nonorthogonal projectors and S orthogonality",
      "passed": true
    },
    {
      "name": "Exact component ellipse",
      "passed": true
    },
    {
      "name": "Closing-gap evolution and initial trace",
      "passed": true
    },
    {
      "name": "Jordan evolution and initial trace",
      "passed": true
    },
    {
      "name": "Time-connection cancellation",
      "passed": true
    },
    {
      "name": "Two moving-frame Fourier branches",
      "passed": true
    },
    {
      "name": "Ordered inverse derivative cancellation",
      "passed": true
    }
  ],
  "finite_groups": 9,
  "passed": true,
  "finite_models_only": true,
  "general_proof_certified": false,
  "script_sha256": "bf145f7a2c71c4be70562667cf5e296f20f22eb0b15193b481e130e80696f198"
}