{
  "schema": "FLOOR_TRANSITION_GENERAL_EXECUTION/1",
  "date": "2026-10-08",
  "recorded_utc": "2026-10-08T11:37:41Z",
  "python": "3.10.21",
  "commands": [
    "python3 verify_floor_general.py",
    "python3 -O verify_floor_general.py"
  ],
  "exit_codes": [
    0,
    0
  ],
  "checks": 290,
  "logs_differ_only_by_optimization_header": true,
  "lean_rebuild": "NOT RUN",
  "note": "Repeat of the declared sample checker. Does not replace the 2026-10-07 log. Not a proof review and not SRSD conformance.",
  "files": {
    "verify_floor_general.py": {
      "bytes": 3683,
      "sha256": "c4bb196ae7ef360e11eaa4e356678286f42b87bf33d3c9f94ab831a9f985e564"
    },
    "python-normal.txt": {
      "bytes": 278,
      "sha256": "9e9bf6e958bc87a3a0344b2a065e806b16e8869745d2927f52c7d99778b68bd6"
    },
    "python-optimized.txt": {
      "bytes": 278,
      "sha256": "168c7f829d5b694a9bd6d5127728421e96015ad214edaca48bb4cb2cadb6df8c"
    }
  }
}