{
  "recorded_utc": "2026-10-06T22:14:48.096557+00:00",
  "passed": true,
  "finite_groups": 3,
  "groups": [
    "Accretive projection, exact noncommutator and general 2x2 determinant differential identity",
    "Fixed symmetrizer, Euclidean Hermitian eigenvalue polynomial and both exact speeds",
    "Ordered coupled evolution, zero-frequency limit, distributional boundary signs and every diagram vertex"
  ],
  "script_sha256": "f4b773750fab8b472d1e2142377db81c606a757e79dedb674aef9c87b9b7fb4c",
  "source_hashes": {
    "first-order-systems-and-ordered-evolution.md": "33b311a5bb673fb1680cd1dcadddf3240230df3a046398a5984a4c5df0d32eb5",
    "hilbert-coefficient-calculus-and-positivity.md": "3320652328eede9d258da38f97d97d88e4e8f93640e113915564c22652dd9787",
    "figures/first-order-system-fronts.svg": "6308aa1760888683ae75ec89906a9b9b7a16f7c4b033839ce884db3543f47cc2"
  },
  "limitation": "Finite exact models only; the full written proofs establish Hilbert-space estimates, all parameter derivatives and the precise solution domains."
}