{
  "empirical_fact_sha256": "4b0ea03e83625e216dff08b7ffbb11ddc3368920ef3cebaa99c91a605068f77c",
  "frame_sha256": {
    "frame-a": "29f1961d7e2135faa56da302b482c21da3ec323615b9794704eccba0fcfdac7e",
    "frame-b": "bf29a53e3201f09ce9040ba5cf6a31d3effd5d91ee71432dc45abed187602e3e"
  },
  "generator_sha256": "a67498c7ab4c8e5be18d249fb3ae98db765b68acebb3dad4606b2017558865ae",
  "schema_version": 1,
  "specimen_bytes": 76517,
  "specimen_path": "site/lab/theory/specimen.json",
  "specimen_sha256": "b41c0007640865aacd718912972e0d5be2d2b1a3bc2ddf0a115ac140dc09a2f2",
  "verification_receipt": {
    "controls_passed_before_write": true,
    "engine_root_equivalence": {
      "canonical_manifest_bytes_equal": true,
      "compared_engine_roots": 2,
      "comparison": "fresh-process canonical manifest bytes",
      "git_top_level_roots": 2,
      "manifest_bytes": 76517,
      "manifest_sha256": "b41c0007640865aacd718912972e0d5be2d2b1a3bc2ddf0a115ac140dc09a2f2",
      "named_producer_module_hashes_equal": true,
      "primary_revision_policy": "primary revision may advance only while named producer module hashes and canonical manifest bytes match the exact reference root",
      "reference_engine_revision": "c13cc4bdabdb1f1769d68dcab7bce7430255776d",
      "reference_engine_roots": 1,
      "secondary_execution_history": "current-first",
      "secondary_hash_seed": "987654"
    },
    "locale": "C",
    "required_verification_matrix": {
      "ambient_environment": {
        "DSCP_EXCLUSION_RULES": "scrubbed"
      },
      "engine_root_comparison": {
        "compared_roots": 2,
        "primary_policy": "primary revision may advance only while named producer module hashes and canonical manifest bytes match the exact reference root",
        "reference_revision": "c13cc4bdabdb1f1769d68dcab7bce7430255776d",
        "reference_roots": 1
      },
      "execution_histories": [
        "prior-first",
        "current-first"
      ],
      "hash_seeds": [
        "0",
        "987654"
      ],
      "temporary_roots": 2
    },
    "timezone": "UTC"
  }
}