GEO-05 report geo05-8918ad3ac4b0b3d1ff9c8b807d6b509f324ef3e9b11716be496c8e6e437f6795

Assessment: Complete fixture attempt matrix; all attempts passed; pending independent review.

Attempt counts: {"cancelled": 0, "failed": 0, "missing": 0, "passed": 32, "unsupported": 0}

Report geo05-8918ad3ac4b0b3d1ff9c8b807d6b509f324ef3e9b11716be496c8e6e437f6795; source geo05-4dc3c0557570a52e.

Measured scope: 28 retained measured attempts across four GEO-05 analytic fixtures; 7 requested repetitions per fixture

Evidence limits: numeric sample checks only; H relation support Unestablished; no exact set equality or validated arithmetic claim; tiny analytic fixtures only; no comparator, speedup, application-scale, or scalability claim; binary64 numerical samples do not establish exact set equality or validated arithmetic; H relation support remains Unestablished; Phase summaries include successful trials only when the full run summary is valid; complete measurement trial matrix; attempt outcomes: {"cancelled": 0, "failed": 0, "missing": 0, "passed": 32, "unsupported": 0}; complete fixture attempt matrix; all attempts passed; eligible for independent review only

Saved source files

Attempts, including warmups and failures

Purpose	Scenario	Round	Status	Result kind	Result encoding	Literal checks	Work observed	preparation_ns	workspace_ns	run_ns	verification_ns	end_to_end_ns
warmup	singular_a	0	passed	h	h_rows	True	True	93700	None	23400	600	125900
warmup	unreachable_equality_target	0	passed	h	h_contradiction_row	True	True	13600	None	10900	800	31300
warmup	integrator_predecessor	0	passed	h	h_rows	True	True	14200	None	10800	1200	30000
warmup	v_projection_preserves_ray	0	passed	v	v_generators	True	True	4600	100	3300	100	10400
measurement	singular_a	0	passed	h	h_rows	True	True	13100	None	8400	400	25500
measurement	unreachable_equality_target	0	passed	h	h_contradiction_row	True	True	10700	None	6400	400	20400
measurement	integrator_predecessor	0	passed	h	h_rows	True	True	12500	None	12500	900	29400
measurement	v_projection_preserves_ray	0	passed	v	v_generators	True	True	4700	100	2800	0	9500
measurement	v_projection_preserves_ray	1	passed	v	v_generators	True	True	3600	0	2200	0	7600
measurement	integrator_predecessor	1	passed	h	h_rows	True	True	11900	None	8200	900	24800
measurement	unreachable_equality_target	1	passed	h	h_contradiction_row	True	True	10000	None	7000	500	20800
measurement	singular_a	1	passed	h	h_rows	True	True	11600	None	11000	500	26600
measurement	singular_a	2	passed	h	h_rows	True	True	10500	None	7200	400	21000
measurement	unreachable_equality_target	2	passed	h	h_contradiction_row	True	True	9000	None	6100	500	18200
measurement	integrator_predecessor	2	passed	h	h_rows	True	True	11200	None	8000	900	23200
measurement	v_projection_preserves_ray	2	passed	v	v_generators	True	True	4300	100	2300	0	8100
measurement	v_projection_preserves_ray	3	passed	v	v_generators	True	True	3600	100	2000	0	7200
measurement	integrator_predecessor	3	passed	h	h_rows	True	True	11500	None	7900	900	23300
measurement	unreachable_equality_target	3	passed	h	h_contradiction_row	True	True	9200	None	5700	400	17900
measurement	singular_a	3	passed	h	h_rows	True	True	10600	None	6500	400	20300
measurement	singular_a	4	passed	h	h_rows	True	True	10300	None	6400	400	19800
measurement	unreachable_equality_target	4	passed	h	h_contradiction_row	True	True	10000	None	5700	300	18500
measurement	integrator_predecessor	4	passed	h	h_rows	True	True	10800	None	11000	900	25700
measurement	v_projection_preserves_ray	4	passed	v	v_generators	True	True	3500	0	1900	0	7000
measurement	v_projection_preserves_ray	5	passed	v	v_generators	True	True	3400	100	1800	0	6600
measurement	integrator_predecessor	5	passed	h	h_rows	True	True	10800	None	7300	900	21700
measurement	unreachable_equality_target	5	passed	h	h_contradiction_row	True	True	9100	None	5600	400	17300
measurement	singular_a	5	passed	h	h_rows	True	True	10400	None	6300	400	19700
measurement	singular_a	6	passed	h	h_rows	True	True	10200	None	6300	400	19500
measurement	unreachable_equality_target	6	passed	h	h_contradiction_row	True	True	10200	None	5700	300	18400
measurement	integrator_predecessor	6	passed	h	h_rows	True	True	10600	None	7000	900	21000
measurement	v_projection_preserves_ray	6	passed	v	v_generators	True	True	3400	0	1900	100	6600

Phase summaries (ns)

Scope	Phase	Median	Min	Max	Successful trials	Unavailable trials
all fixtures	preparation_ns	10250.0	3400	13100	28	0
all fixtures	workspace_ns	100	0	100	7	21
all fixtures	run_ns	6350.0	1800	12500	28	0
all fixtures	verification_ns	400.0	0	900	28	0
all fixtures	end_to_end_ns	19750.0	6600	29400	28	0
singular_a	preparation_ns	10500	10200	13100	7	0
singular_a	workspace_ns	unavailable	unavailable	unavailable	0	7
singular_a	run_ns	6500	6300	11000	7	0
singular_a	verification_ns	400	400	500	7	0
singular_a	end_to_end_ns	20300	19500	26600	7	0
unreachable_equality_target	preparation_ns	10000	9000	10700	7	0
unreachable_equality_target	workspace_ns	unavailable	unavailable	unavailable	0	7
unreachable_equality_target	run_ns	5700	5600	7000	7	0
unreachable_equality_target	verification_ns	400	300	500	7	0
unreachable_equality_target	end_to_end_ns	18400	17300	20800	7	0
integrator_predecessor	preparation_ns	11200	10600	12500	7	0
integrator_predecessor	workspace_ns	unavailable	unavailable	unavailable	0	7
integrator_predecessor	run_ns	8000	7000	12500	7	0
integrator_predecessor	verification_ns	900	900	900	7	0
integrator_predecessor	end_to_end_ns	23300	21000	29400	7	0
v_projection_preserves_ray	preparation_ns	3600	3400	4700	7	0
v_projection_preserves_ray	workspace_ns	100	0	100	7	0
v_projection_preserves_ray	run_ns	2000	1800	2800	7	0
v_projection_preserves_ray	verification_ns	0	0	100	7	0
v_projection_preserves_ray	end_to_end_ns	7200	6600	9500	7	0

GEO-05 measurement report

Saved source files

Attempts, including warmups and failures

Phase summaries (ns)

Native evidence limits