{ "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", "coverage": { "3": [ 1, 2, 3 ], "4": [ 1, 2, 3 ] }, "measurement_scope": "Per-case official action counts, virtual duration and program duration", "limitations": [ "Source totals, source types, solver commit and trajectories require additional evidence.", "Queue state confirmed records a statistics submission acknowledgement." ], "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": 3, "formal_index": 3, "case_code": "UVUZ-B4MQ-XSUV-HQFP", "client_version": "1.1.0", "entered": 1, "end_reason": "user_exit", "cleared_jammer_count": 10, "measure_accepted_count": 117, "virtual_time_us": 2906862876, "program_run_duration_ms": 2680, "channel_switch_count": 107, "clear_failure_count": 0, "state": "confirmed", "file": "test/q3/formal-p3-3-UVUZ-B4MQ-XSUV-HQFP.jlog", "size_bytes": 107396, "package_sha256": "eeffe419c3df005d0ea78c7ec2c10afed29c4bec782327538537dd7ba7914424", "activation_ticket_sha256": "0134f356b107b6706dfaba48fd00b86c5e3a4fa7ef295d17bbd4080111d112b3", "created_at_utc": "2026-09-13T02:32:31.689Z", "ended_at_utc": "2026-09-13T02:32:31.686Z", "content_encryption": "aes-256-gcm-chunked", "identity_and_ticket_content_omitted": true, "same_as_official_original": true, "derived": { "virtual_time_s": "2906.862876", "average_clear_time_s": "290.686288", "program_run_duration_s": "2.680", "inferred_movement_time_s": "2164.862876", "inferred_distance_m": "10824.314380", "movement_share_percent": "74.474200", "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 } }, { "problem_no": 4, "formal_index": 3, "case_code": "K58B-V5VC-E4EF-CRTW", "client_version": "1.1.0", "entered": 1, "end_reason": "user_exit", "cleared_jammer_count": 14, "measure_accepted_count": 264, "virtual_time_us": 8608382102, "program_run_duration_ms": 6051, "channel_switch_count": 213, "clear_failure_count": 0, "state": "confirmed", "file": "test/q4/formal-p4-3-K58B-V5VC-E4EF-CRTW.jlog", "size_bytes": 140251, "package_sha256": "1c7f1d111f8fd1a1d0f608d9847c0946b1b0a45bdb7b3f487e0c6d4f4586885f", "activation_ticket_sha256": "9cdd910c14e58fca08e3769f880a6b543de2bbdd21479094dc9cd2df725f0036", "created_at_utc": "2026-09-13T02:34:32.695Z", "ended_at_utc": "2026-09-13T02:34:32.692Z", "content_encryption": "aes-256-gcm-chunked", "identity_and_ticket_content_omitted": true, "same_as_official_original": true, "derived": { "virtual_time_s": "8608.382102", "average_clear_time_s": "614.884436", "program_run_duration_s": "6.051", "inferred_movement_time_s": "7005.382102", "inferred_distance_m": "35026.910510", "movement_share_percent": "81.378615", "source_total": null, "clear_fraction": null } } ] }