{
  "schema": "paper-formal-audit-v1",
  "selection": "Only Jammers-simulator-full/test/**/*.jlog",
  "statistics_source": "Official formal-statistics-queue.sqlite3; matched by SHA-256 of the public activation ticket",
  "limitations": [
    "Encrypted action payloads are not decrypted; no trajectory or bearing observations are available.",
    "Source totals and omnidirectional/directional counts are not disclosed.",
    "Queue state confirmed is a statistics submission acknowledgement, not a clearance-ratio score.",
    "No solver commit or configuration digest is bound to these public statistics.",
    "The third formal attempt for each problem is not present in the selected data."
  ],
  "records": [
    {
      "problem_no": 3,
      "formal_index": 1,
      "case_code": "9HU7-UWJR-BPTR-VYAT",
      "client_version": "1.1.0",
      "entered": 1,
      "end_reason": "user_exit",
      "cleared_jammer_count": 13,
      "measure_accepted_count": 105,
      "virtual_time_us": 3094978068,
      "program_run_duration_ms": 5596,
      "channel_switch_count": 96,
      "clear_failure_count": 0,
      "state": "confirmed",
      "file": "test/q3/formal-p3-1-9HU7-UWJR-BPTR-VYAT.jlog",
      "size_bytes": 106656,
      "package_sha256": "fbd7ab92f78a019887f603172ab6a39e274adb1f917fc2681f1e8073ff47d911",
      "activation_ticket_sha256": "41563c714553abf202fc0012fcde2503c64c6cec27a84c7229c487602b957516",
      "created_at_utc": "2026-09-12T07:16:06.377Z",
      "ended_at_utc": "2026-09-12T07:16:06.373Z",
      "content_encryption": "aes-256-gcm-chunked",
      "identity_and_ticket_content_omitted": true,
      "same_as_official_original": true,
      "derived": {
        "virtual_time_s": "3094.978068",
        "average_clear_time_s": "238.075236",
        "program_run_duration_s": "5.596",
        "inferred_movement_time_s": "2408.978068",
        "inferred_distance_m": "12044.890340",
        "movement_share_percent": "77.835061",
        "source_total": null,
        "clear_fraction": null
      }
    },
    {
      "problem_no": 3,
      "formal_index": 2,
      "case_code": "7TCG-C9EC-53VF-HZ5H",
      "client_version": "1.1.0",
      "entered": 1,
      "end_reason": "user_exit",
      "cleared_jammer_count": 15,
      "measure_accepted_count": 117,
      "virtual_time_us": 3493335140,
      "program_run_duration_ms": 3024,
      "channel_switch_count": 108,
      "clear_failure_count": 0,
      "state": "confirmed",
      "file": "test/q3/formal-p3-2-7TCG-C9EC-53VF-HZ5H.jlog",
      "size_bytes": 106326,
      "package_sha256": "5d83ce87455ce22fadbcbddb60814d9b1f0be54de7bc9d0463777ba47b3922ef",
      "activation_ticket_sha256": "5f6d5ff4a369418f9f683ef0384398190bfb0b81bc71ce1c1bd6f728ff1fdf41",
      "created_at_utc": "2026-09-12T07:47:20.065Z",
      "ended_at_utc": "2026-09-12T07:47:20.061Z",
      "content_encryption": "aes-256-gcm-chunked",
      "identity_and_ticket_content_omitted": true,
      "same_as_official_original": true,
      "derived": {
        "virtual_time_s": "3493.33514",
        "average_clear_time_s": "232.889009",
        "program_run_duration_s": "3.024",
        "inferred_movement_time_s": "2725.33514",
        "inferred_distance_m": "13626.67570",
        "movement_share_percent": "78.015279",
        "source_total": null,
        "clear_fraction": null
      }
    },
    {
      "problem_no": 4,
      "formal_index": 1,
      "case_code": "VQUM-ETQ5-74PP-ZQ3J",
      "client_version": "1.1.0",
      "entered": 1,
      "end_reason": "user_exit",
      "cleared_jammer_count": 13,
      "measure_accepted_count": 349,
      "virtual_time_us": 9362225736,
      "program_run_duration_ms": 7668,
      "channel_switch_count": 275,
      "clear_failure_count": 0,
      "state": "confirmed",
      "file": "test/q4/formal-p4-1-VQUM-ETQ5-74PP-ZQ3J.jlog",
      "size_bytes": 150315,
      "package_sha256": "9a102295d324b5fb5aeed1c6036d13ae7e08a7d7fddb60ceb8dead24e62b15d3",
      "activation_ticket_sha256": "d02cfdf2eed65dbe3bb4c7768a263f8bf57b56bc323b6453c1dfa2aec6e24810",
      "created_at_utc": "2026-09-12T07:38:51.368Z",
      "ended_at_utc": "2026-09-12T07:38:51.365Z",
      "content_encryption": "aes-256-gcm-chunked",
      "identity_and_ticket_content_omitted": true,
      "same_as_official_original": true,
      "derived": {
        "virtual_time_s": "9362.225736",
        "average_clear_time_s": "720.171210",
        "program_run_duration_s": "7.668",
        "inferred_movement_time_s": "7277.225736",
        "inferred_distance_m": "36386.128680",
        "movement_share_percent": "77.729655",
        "source_total": null,
        "clear_fraction": null
      }
    },
    {
      "problem_no": 4,
      "formal_index": 2,
      "case_code": "5K5T-TRWZ-BPR2-ECAV",
      "client_version": "1.1.0",
      "entered": 1,
      "end_reason": "user_exit",
      "cleared_jammer_count": 10,
      "measure_accepted_count": 361,
      "virtual_time_us": 9271302080,
      "program_run_duration_ms": 5724,
      "channel_switch_count": 315,
      "clear_failure_count": 0,
      "state": "confirmed",
      "file": "test/q4/formal-p4-2-5K5T-TRWZ-BPR2-ECAV.jlog",
      "size_bytes": 151668,
      "package_sha256": "370aac9c2c5d324dd382e57e541ef0da7c5dd4759660d9ea0cba8373ce0ea9a1",
      "activation_ticket_sha256": "4918e4ca6a77367dd06cd40afb28d4415246ef0437c68c052bddf613f4f914b0",
      "created_at_utc": "2026-09-12T07:42:29.854Z",
      "ended_at_utc": "2026-09-12T07:42:29.851Z",
      "content_encryption": "aes-256-gcm-chunked",
      "identity_and_ticket_content_omitted": true,
      "same_as_official_original": true,
      "derived": {
        "virtual_time_s": "9271.30208",
        "average_clear_time_s": "927.130208",
        "program_run_duration_s": "5.724",
        "inferred_movement_time_s": "7101.30208",
        "inferred_distance_m": "35506.51040",
        "movement_share_percent": "76.594442",
        "source_total": null,
        "clear_fraction": null
      }
    }
  ]
}