{"detail": "", "durations_ns": {"end_to_end_ns": 125900, "preparation_ns": 93700, "run_ns": 23400, "verification_ns": 600, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "warmup", "rays": 0, "repetition": 0, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 31300, "preparation_ns": 13600, "run_ns": 10900, "verification_ns": 800, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "warmup", "rays": 0, "repetition": 0, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 30000, "preparation_ns": 14200, "run_ns": 10800, "verification_ns": 1200, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "warmup", "rays": 0, "repetition": 0, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 10400, "preparation_ns": 4600, "run_ns": 3300, "verification_ns": 100, "workspace_ns": 100}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "warmup", "rays": 2, "repetition": 0, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 25500, "preparation_ns": 13100, "run_ns": 8400, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 0, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 20400, "preparation_ns": 10700, "run_ns": 6400, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 0, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 29400, "preparation_ns": 12500, "run_ns": 12500, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 0, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 9500, "preparation_ns": 4700, "run_ns": 2800, "verification_ns": 0, "workspace_ns": 100}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 0, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 7600, "preparation_ns": 3600, "run_ns": 2200, "verification_ns": 0, "workspace_ns": 0}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 1, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 24800, "preparation_ns": 11900, "run_ns": 8200, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 1, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 20800, "preparation_ns": 10000, "run_ns": 7000, "verification_ns": 500, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 1, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 26600, "preparation_ns": 11600, "run_ns": 11000, "verification_ns": 500, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 1, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 21000, "preparation_ns": 10500, "run_ns": 7200, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 2, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 18200, "preparation_ns": 9000, "run_ns": 6100, "verification_ns": 500, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 2, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 23200, "preparation_ns": 11200, "run_ns": 8000, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 2, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 8100, "preparation_ns": 4300, "run_ns": 2300, "verification_ns": 0, "workspace_ns": 100}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 2, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 7200, "preparation_ns": 3600, "run_ns": 2000, "verification_ns": 0, "workspace_ns": 100}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 3, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 23300, "preparation_ns": 11500, "run_ns": 7900, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 3, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 17900, "preparation_ns": 9200, "run_ns": 5700, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 3, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 20300, "preparation_ns": 10600, "run_ns": 6500, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 3, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 19800, "preparation_ns": 10300, "run_ns": 6400, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 4, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 18500, "preparation_ns": 10000, "run_ns": 5700, "verification_ns": 300, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 4, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 25700, "preparation_ns": 10800, "run_ns": 11000, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 4, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 7000, "preparation_ns": 3500, "run_ns": 1900, "verification_ns": 0, "workspace_ns": 0}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 4, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 6600, "preparation_ns": 3400, "run_ns": 1800, "verification_ns": 0, "workspace_ns": 100}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 5, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 21700, "preparation_ns": 10800, "run_ns": 7300, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 5, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 17300, "preparation_ns": 9100, "run_ns": 5600, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 5, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 19700, "preparation_ns": 10400, "run_ns": 6300, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 5, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 19500, "preparation_ns": 10200, "run_ns": 6300, "verification_ns": 400, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 4, "input_sha256": "fb829ef90ae74b9d57fa66fb6c1a17a2ffbc70c013deae3ce3e7e0cae81b4513", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 2, "purpose": "measurement", "rays": 0, "repetition": 6, "result_encoding": "h_rows", "result_kind": "h", "scenario": "singular_a", "scenario_sha256": "511ee35cc320e582b1fdab603aedc71e3ac1077ed45fff2d483048b9b43e5053", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 18400, "preparation_ns": 10200, "run_ns": 5700, "verification_ns": 300, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "7b54510217980b1f856d03a94e0b313c9bb169d1bdf9183e91208a03caaa3b8d", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 1, "purpose": "measurement", "rays": 0, "repetition": 6, "result_encoding": "h_contradiction_row", "result_kind": "h", "scenario": "unreachable_equality_target", "scenario_sha256": "fbe971bd9cd9c7920db0cd4648be6bfae64c435d5f87d8c60b39ba0f1057b6ba", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 21000, "preparation_ns": 10600, "run_ns": 7000, "verification_ns": 900, "workspace_ns": null}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": 6, "input_rows": 6, "input_sha256": "2c0de69c37e92553c64954467ec7a1ffccae1b1aaaf73b3a74c8ac4076786e94", "max_rows": 128, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 4, "purpose": "measurement", "rays": 0, "repetition": 6, "result_encoding": "h_rows", "result_kind": "h", "scenario": "integrator_predecessor", "scenario_sha256": "2727a7846bfd2a9531536adc99f1011a4d5b147a4a37d1bfbf63778b93e2a513", "status": "passed", "vertices": 0, "work_observed": true}
{"detail": "", "durations_ns": {"end_to_end_ns": 6600, "preparation_ns": 3400, "run_ns": 1900, "verification_ns": 100, "workspace_ns": 0}, "end_to_end_scope": "through_verification_and_fixture_teardown", "expected_fm_peak_rows": null, "input_rows": 3, "input_sha256": "243a5e04023bf4742376c42d2c3b9909025e478ef3197d04fdb265d8e8e8caf3", "max_rows": null, "oracle_passed": true, "oracle_scope": "numeric_literal_samples", "output_rows": 3, "purpose": "measurement", "rays": 2, "repetition": 6, "result_encoding": "v_generators", "result_kind": "v", "scenario": "v_projection_preserves_ray", "scenario_sha256": "1e63579338e294c5b1fd0e258153e345aec0afb372c51ee449484a56635c0a0d", "status": "passed", "vertices": 1, "work_observed": true}