{
  "checks": {
    "actual_public_product_matches_sandwich": true,
    "exact_matrix": true,
    "exact_norm_preserved": true,
    "grade1_pure": true,
    "kernel_orientation_certificates": 3,
    "repeat_byte_identity": true,
    "sample_count": 243
  },
  "fixture_bytes": 47723,
  "fixture_file": "rotor-field.json",
  "fixture_sha256": "97fe4133aaf86c3666f02817518e3e36e27927d513da201be503ad88da7e1090",
  "frames": 9,
  "generator_sha256": {
    "ExportRotor.lean": "d31d5068b11e2e5c45ffd515c50a7b624c7f2fb98fdafd7b141c1331470c1037",
    "generate.py": "0aa8191b608514c1a337764197edeff20d13bca92e1638fb83b2833e8b308b2f"
  },
  "raw_fixture_sha256": "d55a8ebfe45e34b64ad8945082999c4ae6030e74b8a2e6ad14fb57f312a4ba60",
  "repository_preserved_clean": true,
  "samples": 243,
  "schema": "grassmann-fixture-manifest/v1",
  "source_commit": "48f02068f9e9f6277271d1e4f439d8be3f823563",
  "source_module_sha256": {
    "Grassmann/Dynamic/Basic.lean": "4130384b6bcdc875e7047b5fdb0c7879e2ae8a5d696b074fdf47e03b61d4487b",
    "Grassmann/Dynamic/Fast.lean": "edd6f2940a31413d7c4860c6836922077821f3dd27bdc4b0750cd6b629cae7d5",
    "Grassmann/Dynamic/Loops.lean": "924a1a1729ade9cd7be3e1b709b3cdae827a71d35abf3aa2d76eaba8aeddc9d2",
    "Grassmann/Dynamic/Ops.lean": "2009e0b60c476ce7bd37c9c7aa36ce9a16a48151f69de687fbc465991ee018b5",
    "Grassmann/Dynamic/Products.lean": "39bb134460475bf6c6fda530b23149e1f47fc47253e5c487089e934496aad652",
    "Grassmann/Dynamic/Unary.lean": "7fd52cb880a965718a10470698cef597251ab1ff228a7b08944cfee35c901246"
  },
  "source_tree": "7a0dadf0e66fbb7c92b26e1cfcf00498683fb4b8"
}