{
  "status": "PASS",
  "checks": [
    "softmax determinant equals tanh",
    "row normalization",
    "contrast transmission",
    "identical values erase distinctions",
    "row L1 output perturbation bound",
    "zero scale exact collapse"
  ],
  "cases": 71,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figure_sha256": "a93ff1802e56b506da23e066ba98781dfd2994a0401143b54768059c0d507dba"
}