{
  "schema": "FLOOR_TRANSITION_GENERAL_EXECUTION/1",
  "date": "2026-10-07",
  "recorded_utc": "2026-10-08T01:51: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": "NOT RUN",
  "ste_source": "SOURCE_UNAVAILABLE",
  "not": [
    "proof review",
    "SRSD conformance",
    "archive verification",
    "independent human review"
  ],
  "files": {
    "verify_floor_general.py": {
      "bytes": 3683,
      "sha256": "c4bb196ae7ef360e11eaa4e356678286f42b87bf33d3c9f94ab831a9f985e564"
    },
    "python-normal.txt": {
      "bytes": 278,
      "sha256": "9e9bf6e958bc87a3a0344b2a065e806b16e8869745d2927f52c7d99778b68bd6"
    },
    "python-optimized.txt": {
      "bytes": 278,
      "sha256": "168c7f829d5b694a9bd6d5127728421e96015ad214edaca48bb4cb2cadb6df8c"
    }
  }
}