diff --git a/research/idle-star-paired-axis-census/OPERATOR-ORTOOLS-RESULT.json b/research/idle-star-paired-axis-census/OPERATOR-ORTOOLS-RESULT.json new file mode 100644 index 0000000000..42f71b8aa2 --- /dev/null +++ b/research/idle-star-paired-axis-census/OPERATOR-ORTOOLS-RESULT.json @@ -0,0 +1,1258 @@ +{ + "base_main": "997e6a9ca7b4f95d50e366f61412fd640d72a88a", + "elapsed_seconds": 2820.279, + "fill_payload_sha256": "8f4d6965ba573ff2b71fd7bf6b552643e086739d90bd73c55889502077638e00", + "model": { + "coordinate_characters_per_port": 73, + "phase_delta_domain_per_character": 256, + "rank_change_constraint": "max(child ranks) >= 49", + "seed": 0, + "threads": 1, + "time_limit_seconds_per_port": 30.0, + "tokens_per_port": 192 + }, + "new_kappa": null, + "ortools_version": "9.11.4210", + "ports": [ + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 0, + "solver_seconds": 0.015726, + "solver_status": "INFEASIBLE", + "wall_seconds": 23.616 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 1, + "solver_seconds": 0.015102, + "solver_status": "INFEASIBLE", + "wall_seconds": 23.994 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 2, + "solver_seconds": 0.015625, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.061 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 3, + "solver_seconds": 0.015039, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.172 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 4, + "solver_seconds": 0.015593, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.49 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 5, + "solver_seconds": 0.015055, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.627 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 6, + "solver_seconds": 0.015607, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.497 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 7, + "solver_seconds": 0.015281, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.614 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 8, + "solver_seconds": 0.015996, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.861 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 9, + "solver_seconds": 0.015338, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.802 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 10, + "solver_seconds": 0.015372, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.179 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 11, + "solver_seconds": 0.016037, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.653 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 12, + "solver_seconds": 0.015348, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.59 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 13, + "solver_seconds": 0.016309, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.615 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 14, + "solver_seconds": 0.015595, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.705 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 15, + "solver_seconds": 0.01592, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.859 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 16, + "solver_seconds": 0.015515, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.868 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 17, + "solver_seconds": 0.015932, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.724 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 18, + "solver_seconds": 0.015764, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.207 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 19, + "solver_seconds": 0.015753, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.647 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 20, + "solver_seconds": 0.016496, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.249 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 21, + "solver_seconds": 0.015818, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.97 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 22, + "solver_seconds": 0.016309, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.5 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 23, + "solver_seconds": 0.015797, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.434 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 24, + "solver_seconds": 0.018842, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.118 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 25, + "solver_seconds": 0.015764, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.086 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 26, + "solver_seconds": 0.016227, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.947 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 27, + "solver_seconds": 0.015857, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.007 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 28, + "solver_seconds": 0.015784, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.131 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 29, + "solver_seconds": 0.016157, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.932 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 30, + "solver_seconds": 0.015796, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.89 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 31, + "solver_seconds": 0.016174, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.065 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 32, + "solver_seconds": 0.015517, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.1 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 33, + "solver_seconds": 0.015911, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.413 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 34, + "solver_seconds": 0.015537, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.5 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 35, + "solver_seconds": 0.015877, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.37 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 36, + "solver_seconds": 0.015799, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.505 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 37, + "solver_seconds": 0.016358, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.602 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 38, + "solver_seconds": 0.016114, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.784 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 39, + "solver_seconds": 0.016509, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.861 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 40, + "solver_seconds": 0.015906, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.703 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 41, + "solver_seconds": 0.015548, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.908 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 42, + "solver_seconds": 0.015993, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.524 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 43, + "solver_seconds": 0.015424, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.703 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 44, + "solver_seconds": 0.016416, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.076 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 45, + "solver_seconds": 0.016049, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.666 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 46, + "solver_seconds": 0.015873, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.176 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 47, + "solver_seconds": 0.016263, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.243 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 48, + "solver_seconds": 0.015931, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.048 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 49, + "solver_seconds": 0.016322, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.169 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 50, + "solver_seconds": 0.015856, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.387 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 51, + "solver_seconds": 0.016285, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.232 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 52, + "solver_seconds": 0.0159, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.342 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 53, + "solver_seconds": 0.016128, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.315 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 54, + "solver_seconds": 0.015811, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.199 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 55, + "solver_seconds": 0.015729, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.249 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 56, + "solver_seconds": 0.017182, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.193 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 57, + "solver_seconds": 0.016138, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.149 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 58, + "solver_seconds": 0.016278, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.259 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 59, + "solver_seconds": 0.015862, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.36 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 60, + "solver_seconds": 0.016446, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.279 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 61, + "solver_seconds": 0.015745, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.315 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 62, + "solver_seconds": 0.016395, + "solver_status": "INFEASIBLE", + "wall_seconds": 26.074 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 63, + "solver_seconds": 0.015883, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.831 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 64, + "solver_seconds": 0.015688, + "solver_status": "INFEASIBLE", + "wall_seconds": 26.277 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 65, + "solver_seconds": 0.01639, + "solver_status": "INFEASIBLE", + "wall_seconds": 26.651 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 66, + "solver_seconds": 0.015818, + "solver_status": "INFEASIBLE", + "wall_seconds": 26.275 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 67, + "solver_seconds": 0.016194, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.863 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 68, + "solver_seconds": 0.015968, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.415 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 69, + "solver_seconds": 0.01613, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.21 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 70, + "solver_seconds": 0.015879, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.543 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 71, + "solver_seconds": 0.016287, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.031 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 72, + "solver_seconds": 0.015897, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.306 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 73, + "solver_seconds": 0.017378, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.567 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 74, + "solver_seconds": 0.016355, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.206 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 75, + "solver_seconds": 0.016643, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.203 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 76, + "solver_seconds": 0.016287, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.292 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 77, + "solver_seconds": 0.017812, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.03 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 78, + "solver_seconds": 0.018235, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.322 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 79, + "solver_seconds": 0.018032, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.454 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 80, + "solver_seconds": 0.01847, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.448 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 81, + "solver_seconds": 0.01788, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.993 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 82, + "solver_seconds": 0.01792, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.373 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 83, + "solver_seconds": 0.018125, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.264 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 84, + "solver_seconds": 0.017439, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.913 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 85, + "solver_seconds": 0.018003, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.742 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 86, + "solver_seconds": 0.01739, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.008 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 87, + "solver_seconds": 0.018136, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.857 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 88, + "solver_seconds": 0.018149, + "solver_status": "INFEASIBLE", + "wall_seconds": 24.839 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 89, + "solver_seconds": 0.017904, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.08 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 90, + "solver_seconds": 0.017961, + "solver_status": "INFEASIBLE", + "wall_seconds": 26.318 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 91, + "solver_seconds": 0.017888, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.702 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 92, + "solver_seconds": 0.018331, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.807 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 93, + "solver_seconds": 0.017907, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.685 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 94, + "solver_seconds": 0.01876, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.908 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 95, + "solver_seconds": 0.018137, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.853 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 96, + "solver_seconds": 0.018451, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.62 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 97, + "solver_seconds": 0.018229, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.692 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 98, + "solver_seconds": 0.018825, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.835 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 99, + "solver_seconds": 0.018102, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.794 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 100, + "solver_seconds": 0.018001, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.427 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 101, + "solver_seconds": 0.018324, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.76 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 102, + "solver_seconds": 0.018145, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.705 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 103, + "solver_seconds": 0.018321, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.322 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 104, + "solver_seconds": 0.018395, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.124 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 105, + "solver_seconds": 0.018739, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.928 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 106, + "solver_seconds": 0.017467, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.474 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 107, + "solver_seconds": 0.01848, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.217 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 108, + "solver_seconds": 0.018173, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.439 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 109, + "solver_seconds": 0.017688, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.018 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 110, + "solver_seconds": 0.019319, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.166 + }, + { + "accepted_phase_tuple_counts": { + "1": 73 + }, + "coordinate_characters": 73, + "phase_table_sha256": "ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83", + "port": 111, + "solver_seconds": 0.017784, + "solver_status": "INFEASIBLE", + "wall_seconds": 25.669 + } + ], + "python": "3.10.12", + "scope": "owner-replica-zero; four residual rank-48 children (8,10,12,13); exact equality at all 73 coordinate Fourier characters; arbitrary token assignment, fixed hosted axes, orthonormal final bases, rank cap 51; per-axis translation and other physical gates omitted, so this is a super-relaxation", + "selected_frontier_changed": false, + "solver": "OR-Tools CP-SAT", + "status": "PASS_NO_RANK_CHANGING_ASSIGNMENT_AT_73_COORDINATE_CHARACTERS", + "status_counts": { + "INFEASIBLE": 112 + } +} diff --git a/research/idle-star-paired-axis-census/ORTOOLS-RESULT.json b/research/idle-star-paired-axis-census/ORTOOLS-RESULT.json new file mode 100644 index 0000000000..4ba8d6b062 --- /dev/null +++ b/research/idle-star-paired-axis-census/ORTOOLS-RESULT.json @@ -0,0 +1,3613 @@ +{ + "all_models_optimal": true, + "base_main": "997e6a9ca7b4f95d50e366f61412fd640d72a88a", + "fill_payload_sha256": "8f4d6965ba573ff2b71fd7bf6b552643e086739d90bd73c55889502077638e00", + "model": { + "children": [ + 8, + 10, + 12, + 13 + ], + "lexicographic_tiebreak": "minimum number of moved residual-axis tokens", + "objective": "minimize sum(rank ** (1 - saving))", + "objective_scale": 1000000000000, + "rank_cap": 51, + "saving_scale": 0.00167546, + "seed": 0, + "threads": 1, + "time_limit_seconds_per_stage": 45.0, + "tokens_per_port": 192 + }, + "ports": 112, + "rank_imbalances_found": 112, + "rank_moment_comparison_per_port": { + "baseline_profile": [ + 48, + 48, + 48, + 48 + ], + "baseline_unscaled_moment": 190.7587097327234, + "candidate_minus_baseline": -0.0019571899125878645, + "candidate_profile": [ + 51, + 51, + 51, + 39 + ], + "candidate_unscaled_moment": 190.7567525428108, + "note": "ranking surrogate only; the source-bound physical operator rejects every nominated assignment, so this is not a \u03ba improvement", + "relative_change": -1.0260029098208001e-05 + }, + "representative_witnesses_by_character": [ + { + "character": 1, + "differences": [ + [ + 0, + 0, + [ + 0, + 1 + ], + [ + -1, + 0 + ] + ], + [ + 0, + 2, + [ + 0, + 0 + ], + [ + -1, + -1 + ] + ], + [ + 7, + 7, + [ + 0, + 1 + ], + [ + 1, + 0 + ] + ] + ], + "moved_tokens": [ + [ + 8, + 13, + 1048576 + ], + [ + 8, + 13, + 8388608 + ], + [ + 10, + 13, + 7 + ], + [ + 12, + 8, + 562949953421312 + ], + [ + 12, + 8, + 1125899906842624 + ], + [ + 12, + 10, + 2251799813685248 + ], + [ + 12, + 10, + 4503599627370496 + ], + [ + 12, + 8, + 9007199254740992 + ], + [ + 12, + 8, + 18014398509481984 + ], + [ + 12, + 10, + 2305843009213693952 + ], + [ + 12, + 8, + 18446744073709551616 + ], + [ + 12, + 10, + 2361183241434822606848 + ] + ], + "port": 2 + }, + { + "character": 2, + "differences": [ + [ + 0, + 0, + [ + 0, + 1 + ], + [ + -1, + 0 + ] + ], + [ + 0, + 2, + [ + 0, + 0 + ], + [ + -1, + -1 + ] + ], + [ + 7, + 7, + [ + 0, + 1 + ], + [ + 1, + 0 + ] + ] + ], + "moved_tokens": [ + [ + 8, + 13, + 1048576 + ], + [ + 8, + 13, + 8388608 + ], + [ + 10, + 13, + 446 + ], + [ + 12, + 8, + 562949953421312 + ], + [ + 12, + 8, + 1125899906842624 + ], + [ + 12, + 10, + 2251799813685248 + ], + [ + 12, + 10, + 4503599627370496 + ], + [ + 12, + 8, + 9007199254740992 + ], + [ + 12, + 8, + 18014398509481984 + ], + [ + 12, + 10, + 2305843009213693952 + ], + [ + 12, + 8, + 18446744073709551616 + ], + [ + 12, + 10, + 2361183241434822606848 + ] + ], + "port": 107 + }, + { + "character": 32, + "differences": [ + [ + 0, + 0, + [ + 0, + 1 + ], + [ + -1, + 0 + ] + ], + [ + 0, + 2, + [ + 0, + 0 + ], + [ + -1, + -1 + ] + ], + [ + 7, + 7, + [ + 0, + 1 + ], + [ + 1, + 0 + ] + ] + ], + "moved_tokens": [ + [ + 8, + 13, + 1048576 + ], + [ + 8, + 13, + 8388608 + ], + [ + 10, + 13, + 32 + ], + [ + 12, + 8, + 562949953421312 + ], + [ + 12, + 8, + 1125899906842624 + ], + [ + 12, + 10, + 2251799813685248 + ], + [ + 12, + 10, + 4503599627370496 + ], + [ + 12, + 8, + 9007199254740992 + ], + [ + 12, + 8, + 18014398509481984 + ], + [ + 12, + 10, + 2305843009213693952 + ], + [ + 12, + 8, + 18446744073709551616 + ], + [ + 12, + 10, + 2361183241434822606848 + ] + ], + "port": 0 + } + ], + "results": [ + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 0, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.538362607 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 1, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5374976820000001 + }, + { + "assignment_sha256": "3d9650d02677f5d4b7e21c06b494c637e81214c6985ae6271cca6053f6db9847", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 2, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.531924824 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 3, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5511990050000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 4, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.540791371 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 5, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5575953960000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 6, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.544994709 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 7, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5836590130000001 + }, + { + "assignment_sha256": "3d9650d02677f5d4b7e21c06b494c637e81214c6985ae6271cca6053f6db9847", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 8, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.554922013 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 9, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.59152295 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 10, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.554561555 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 11, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5491160620000002 + }, + { + "assignment_sha256": "2fe566b93bdf388fb1d502505b208bab6e77458710a0d4001e6601a6b082468d", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 12, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.546972687 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 13, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.550847778 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 14, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5531977170000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 15, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5596461270000002 + }, + { + "assignment_sha256": "85cd05220c51038bddefa8ada56cd8bd48ad01208973a056c4929ee9a80ced24", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 16, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.554809815 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 17, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5605447350000001 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 18, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5752743340000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 19, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.558407026 + }, + { + "assignment_sha256": "b17c1e6159d4dec59aad9432caf69bbd22d694000ef4b0ed547bd242b2ba6b47", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 20, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.555747086 + }, + { + "assignment_sha256": "7bd0708c1218d373435c3fc124f406cba001a0a8e1f7ce4bec5f744ca3d3c7fe", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 21, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.556783131 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 22, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.559376126 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 23, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.551085048 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 24, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5703867740000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 25, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5706203870000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 26, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.555397366 + }, + { + "assignment_sha256": "3d9650d02677f5d4b7e21c06b494c637e81214c6985ae6271cca6053f6db9847", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 27, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5672426460000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 28, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.572504876 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 29, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.569060236 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 30, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5604975490000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 31, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5689096070000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 32, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5634186170000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 33, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.555294747 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 34, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.606868828 + }, + { + "assignment_sha256": "85cd05220c51038bddefa8ada56cd8bd48ad01208973a056c4929ee9a80ced24", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 35, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5602956220000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 36, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5641618110000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 37, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.564051493 + }, + { + "assignment_sha256": "fe864ac16287a33ad1be887ce7f832b542a15402908b06a432fc258042b4a741", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 38, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5644178290000001 + }, + { + "assignment_sha256": "b17c1e6159d4dec59aad9432caf69bbd22d694000ef4b0ed547bd242b2ba6b47", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 39, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5877907960000002 + }, + { + "assignment_sha256": "7bd0708c1218d373435c3fc124f406cba001a0a8e1f7ce4bec5f744ca3d3c7fe", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 40, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.559464634 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 41, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5690655720000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 42, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.561632834 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 43, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5691579990000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 44, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5653087940000001 + }, + { + "assignment_sha256": "464218c224d0a0c4d7b899495dbcc1501f52dcf294beb4732fb6213ebec855ee", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 45, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.569409858 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 46, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5664368530000001 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 47, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.581012058 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 48, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.573430589 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 49, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5687461770000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 50, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5643547 + }, + { + "assignment_sha256": "5be9103d289e0440892ee6951b224ea987ad906be2b199e7fb9e97211b3d8675", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 51, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5705639470000001 + }, + { + "assignment_sha256": "937d71f3845cc4edc3730deab94aed0ca9f8726776f3aec3cb9759f77fb4a007", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 52, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.578117994 + }, + { + "assignment_sha256": "28c581be8be6ed84ea393c63ed67ef74453853251e7d5341aebbdec6b634202e", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 53, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.575262482 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 54, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.564313811 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 55, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.576773353 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 56, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5644482990000002 + }, + { + "assignment_sha256": "877590b3eba3e9e33e4000424c330d6e1fd6848288935b44d745764ea838162e", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 57, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.575855744 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 58, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.572126745 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 59, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.581539743 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 60, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.574932417 + }, + { + "assignment_sha256": "1d7169846386ba0b6c9f698a57066cf1e55af0d0b890f9322b93139da9a27e0f", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 61, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.601870962 + }, + { + "assignment_sha256": "e2e6dcd1c95d89c4140bab119276591346298593dc3bcf2cc1a893297d590a8e", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 62, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.569669967 + }, + { + "assignment_sha256": "bf6bbdf54d9048a5863aefb56a52315b3c83def2a1564d4e188c384944195920", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 63, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5733937370000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 64, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.583946918 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 65, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.563602986 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 66, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5723706990000001 + }, + { + "assignment_sha256": "e235432d6d52ad27d8b2705b37bb42a3652c00c853e4f10a771e89141722c7ac", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 67, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.567638172 + }, + { + "assignment_sha256": "57d7c3424317daf82ba71f83ca981e67efa38883036972e2a8c0547df891c99b", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 68, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.572215688 + }, + { + "assignment_sha256": "1903e9489932d045c79ddb77694fdf7cff06c19191298379c3845d3256eafeed", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 69, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.567548718 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 70, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5726288080000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 71, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5625512400000001 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 72, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5783239130000002 + }, + { + "assignment_sha256": "ed9e7a66a822597564f9379038811b9afa9fbc58489536ed448b9be086b5f686", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 73, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5721086450000001 + }, + { + "assignment_sha256": "bdfa6fbfb6dc712d7a201a475a652b68be01149e48933f473bf29a08ff9f24a9", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 74, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.577404889 + }, + { + "assignment_sha256": "ee522bd92a8a5d1190731afdc71f9f9f0267072b7a3e7078b1f48b819640bce3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 75, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5752017450000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 76, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.586910131 + }, + { + "assignment_sha256": "17facd66696a3e86d97f08d3a2a88feb76454bfc4907eb0375af0b684cfb04ca", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 77, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.58229981 + }, + { + "assignment_sha256": "7861bc472a5749cd03434fa49ab0257b2ba11efbe8542be29920e070bd77c0bc", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 78, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5794228670000001 + }, + { + "assignment_sha256": "5146c17cdbcd81b38c70a3592647e83356c0ac4c34d3b23e361d78b09bb43fa5", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 79, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5972551270000002 + }, + { + "assignment_sha256": "424bf85e7c680adcc5a32c268b82fb391b1f5083f965d8d9b59b63c7a06710b8", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 80, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.592531995 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 81, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5995823390000001 + }, + { + "assignment_sha256": "d7646caadf38cbfb302b8ea24b7ea65cb367b3f63abf0e49c14b590f78bef49a", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 82, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5807749400000002 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 83, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5906867630000001 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 84, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.578073437 + }, + { + "assignment_sha256": "7861bc472a5749cd03434fa49ab0257b2ba11efbe8542be29920e070bd77c0bc", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 85, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.597112359 + }, + { + "assignment_sha256": "5146c17cdbcd81b38c70a3592647e83356c0ac4c34d3b23e361d78b09bb43fa5", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 86, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.580386195 + }, + { + "assignment_sha256": "424bf85e7c680adcc5a32c268b82fb391b1f5083f965d8d9b59b63c7a06710b8", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 87, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5831214530000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 88, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.566721647 + }, + { + "assignment_sha256": "d7646caadf38cbfb302b8ea24b7ea65cb367b3f63abf0e49c14b590f78bef49a", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 89, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.581186787 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 90, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.587499699 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 91, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.582783689 + }, + { + "assignment_sha256": "5146c17cdbcd81b38c70a3592647e83356c0ac4c34d3b23e361d78b09bb43fa5", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 92, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.584255981 + }, + { + "assignment_sha256": "424bf85e7c680adcc5a32c268b82fb391b1f5083f965d8d9b59b63c7a06710b8", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 93, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.599000436 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 94, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.702029486 + }, + { + "assignment_sha256": "d7646caadf38cbfb302b8ea24b7ea65cb367b3f63abf0e49c14b590f78bef49a", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 95, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.577467782 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 96, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.587654005 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 97, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5743403420000002 + }, + { + "assignment_sha256": "424bf85e7c680adcc5a32c268b82fb391b1f5083f965d8d9b59b63c7a06710b8", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 98, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.577053108 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 99, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.572343249 + }, + { + "assignment_sha256": "d7646caadf38cbfb302b8ea24b7ea65cb367b3f63abf0e49c14b590f78bef49a", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 100, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.585161336 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 101, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.582267539 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 102, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5835236140000002 + }, + { + "assignment_sha256": "1eb45b258b9ff7736dcfa45f8303ef1bf1db3648a8f5f27b014eb535728846ba", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 103, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 206, + "characters_tested_before_first_mismatch": 10, + "first_mismatch_character": 32, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.577884094 + }, + { + "assignment_sha256": "d7646caadf38cbfb302b8ea24b7ea65cb367b3f63abf0e49c14b590f78bef49a", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 104, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.6007528940000002 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 105, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5775965 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 106, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.597497836 + }, + { + "assignment_sha256": "d08fd19e19107ddeadb500f7529c49911e0cd7c9a680658de351cca6dc83b28e", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 107, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 2, + "first_mismatch_character": 2, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5860905630000002 + }, + { + "assignment_sha256": "6645bb642a7d34c4f7d9292b2586bf275f245b94eaf5fc7ce372111ccea9ef53", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 108, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 2, + "first_mismatch_character": 2, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.5898921480000001 + }, + { + "assignment_sha256": "9d373acb876a23228cda74d15b4352f8b486d6b864b0dbf6a2f0b44916b4ee1f", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 109, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 2, + "first_mismatch_character": 2, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.58299878 + }, + { + "assignment_sha256": "c7891da7575dfc4fb73ff81d279ac0a74fdec15ad6fdc57c7995ede75558613c", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 110, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.6013665510000001 + }, + { + "assignment_sha256": "def293757d38a3399f8143c075edebf917324d50ddd43306445abad6bae698b3", + "baseline_rank_vector": { + "10": 48, + "12": 48, + "13": 48, + "8": 48 + }, + "conflict_constraints": 768, + "moves": 12, + "port": 111, + "primary_status": "OPTIMAL", + "rank_moment_surrogate": 190756752542812, + "rank_vector": { + "10": 51, + "12": 39, + "13": 51, + "8": 51 + }, + "screen": { + "candidate_character_set_size": 207, + "characters_tested_before_first_mismatch": 1, + "first_mismatch_character": 1, + "matrix_difference_count": 3, + "matrix_difference_sha256": "8f983b054df11d92aea967d37ce104c0f8725d0372facbe07b92fb2d91ef85c9" + }, + "status": "OPTIMAL", + "wall_seconds": 1.580938731 + } + ], + "scope": "one CP-SAT optimum with minimum move count per port; exact replay screens the listed Fourier characters and stops at the first mismatch", + "screen_survivors": [], + "solver_environment": { + "ortools": "9.11.4210", + "python": "3.10.12" + } +} diff --git a/research/idle-star-paired-axis-census/README.md b/research/idle-star-paired-axis-census/README.md index 6d76e96da7..b520bb8eae 100644 --- a/research/idle-star-paired-axis-census/README.md +++ b/research/idle-star-paired-axis-census/README.md @@ -1,22 +1,46 @@ -# Paired idle-axis transfers do not repair the T740 star profile +# T740 idle-axis reassignment: exact transfer census and CP-SAT screen -**Scoped negative result; no new κ or admitted supplier.** PR #3184 claims a conditional κ of `0.001730189061233850760095…` from redistributing idle rank-48 axes. PR #3187 supplies an exact physical-operator counterexample to its first committed one-stream move. This package checks the most direct symmetry repair: move the same residual axis on both channels of a child pair, so the phase on that pair is scalar, then transfer it to another pair. +**Scoped negative result; no new κ or admitted supplier.** PR #3184's replica-0/port-0 star is one source-pinned move checked here. At the final live-overlap snapshot (2026-10-17 18:20 UTC), the latest open conditional claim in this branch was PR #3200 at `0.001734807021726127552033`; the selected κ remains `0.001672660197076918`. This package does not validate or refute PR #3200's complete allocation or invoice. PR #3187 supplies an exact physical-operator counterexample to PR #3184's first committed star move. This package extends that check to every eligible one-axis transfer and paired transfer on four rank-48 children, independently replays PR3184's actual replica-0/port-0 star, and screens assignment optima with OR-Tools. ## Result -Using the authenticated PR3148 T740 fill (`SHA256 8f4d6965…e00`), we checked all 112 port recipes for owner replica zero. A candidate moves an axis present in both residual children 8 and 10 to both children 12 and 13, or makes the reverse transfer. It must be orthogonal to every original axis of both destination children, including hosted axes, so the move changes child ranks rather than replacing a nonorthogonal destination direction. +Using the authenticated PR3148 T740 fill (`SHA256 8f4d6965…e00`), we checked all 112 port recipes for owner replica zero. A single-axis candidate moves one residual axis from one of children 8, 10, 12 or 13 to another, and must be orthogonal to every original destination axis, including hosted axes. A paired candidate moves the same axis on both streams of child pair `(8,10)` to both streams of `(12,13)`, or in reverse, under the same destination rule. The exact eight-stream replay found: -- **2,688** eligible forward transfers; all 2,688 change the physical operator at the moved axis character. -- **2,688** eligible reverse transfers; all 2,688 change the physical operator at the moved axis character. Each of the 112 recipes has 24 candidates in each direction. +- **21,504** eligible single-axis transfers; all 21,504 change the physical operator at the moved axis character (**192 per port**). +- **2,688** eligible forward paired transfers and **2,688** reverse paired transfers; all 5,376 change the operator (**24 per port in each direction**). - A 147-mode baseline control passes for port 0, and the zero-character identity passes for all ports. The complete fill journal and payload authenticate, and a mutated journal preimage is rejected. -For a concrete witness, port 0 and axis 7 change six entries of the exact Gaussian-integer matrix. For example, entry `(0,0)` changes from `[0,-1]` to `[1,0]`. `RESULT.json` contains the full before/after matrices and per-port counts. +For a concrete single-axis witness, port 0 moves axis 7 from child 8 to child 12. The baseline and overlay differ in three matrix entries; `(1,1)` changes from `[0,-1]` to `[1,0]`. `RESULT.json` contains the full before/after matrices and per-port counts for both witness types. -This also rejects every simultaneous nonempty set of transfers **within this restricted class**. Axes eligible in one direction are orthogonal to the complete destination basis; each source residual basis is orthonormal. Thus all selected axes, in both directions, are pairwise orthogonal. At the character equal to any one selected axis, every other moved phase is inactive, leaving the same one-transfer counterexample. +Within the paired-transfer family, eligible axes are pairwise orthogonal: each source residual basis is orthonormal, and forward candidates are orthogonal to the full reverse destination basis. At the character equal to any one selected axis, every other moved phase is inactive, so any simultaneous nonempty set of those paired transfers retains a one-transfer counterexample. -This does not cover matched swaps that remove a nonorthogonal destination axis, longer cycles, other child/time pairs, nonzero replicas, or all operator-preserving assignments. It claims no general obstruction. The selected record and frontier are unchanged. +The same isolation argument covers every **same-centre star** among children 8, 10, 12 and 13 in the audited owner-replica-0 recipes. PR3184 chooses distinct moved axes from one orthonormal donor basis; each leaf must already be orthogonal to its incoming axes. At the character equal to any moved axis, all the other moved phases are inactive, so the star's operator equals that single-axis overlay. Since the exact census rejects every eligible single-axis overlay, no nonempty star in this class preserves the operator. + +We also replayed PR3184's pinned `replica=0, port=0` star from commit `6faefe1`: child 10 sends axes `[16,32,64]` to child 12 and `[128,256,4096]` to child 13, giving ranks `[48,42,51,51]` on children `(8,10,12,13)`. At character 16, the full star replay equals its isolated `10→12` single move and differs from baseline in three matrix entries. `RESULT.json` stores the full matrices. This independently reproduces the physical mismatch and explains why changing the other five axes in that star cannot repair it. + +## OR-Tools assignment search + +To test whether cycles could evade those one- and two-axis screens, `ortools_screen.py` models each port's 192 residual-axis tokens as an assignment to children 8, 10, 12 and 13. It preserves the token multiset, fixed hosted axes and pairwise GF(2) orthogonality, and caps each resulting child rank at 51. CP-SAT minimizes the local moment surrogate `Σ r^(1-a)` at `a = 0.00167546`, then minimizes the number of moved tokens. The exact eight-stream replay screens each port's minimum-move optimum at the 73 unit characters, the moved axes, their pairwise XORs and 72 adjacent-pair characters; it stops at the first mismatch. + +All 112 port models were optimal. Each found the same best rank profile `[51,51,51,39]` from `[48,48,48,48]`, with 12 moved tokens. For those four rank terms, the surrogate falls by `0.0019571899` (about `1.026×10⁻⁵` relative). Every nominated assignment changes the exact operator at its first tested mismatch, on character `1`, `2` or `32`. The strongest structural profile is therefore not an admissible κ improvement. This search tests one minimum-move representative per port; it does not rule out another assignment with the same profile that preserves the operator. No full provider moment, κ or supplier admission is claimed. + +To reproduce the optional artifact, use Python 3.10.12 with OR-Tools 9.11.4210 and run `python3.10 -B research/idle-star-paired-axis-census/ortools_screen.py > research/idle-star-paired-axis-census/ORTOOLS-RESULT.json`. The registered exact-replay package does not depend on OR-Tools. `ORTOOLS-RESULT.json` records the solver candidates and their first exact replay counterexamples. + +## Exact-coordinate CP-SAT upper screen + +The original assignment model optimizes rank without enforcing physical equality. The optional `operator_ortools_screen.py` instead asks whether any rank-changing assignment can pass the exact operator test on all 73 coordinate Fourier characters, before considering a moment objective. For each port it enumerates all 256 phase-delta vectors in `Z4^4` at each coordinate character using the exact Gaussian-integer replay. In every one of the 112 port recipes, only the zero delta preserves the matrix at each character. The SHA256 of each port's complete 73-table receipt is `ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83`. + +CP-SAT then asks for `max(child rank) >= 49` while assigning the 192 residual-axis tokens arbitrarily among children `(8,10,12,13)`, fixing hosted axes, keeping final child bases orthonormal and capping rank at 51. It deliberately omits per-axis translation and commuting restrictions, so its assignment model is a superset of the physically eligible moves. All 112 models are `INFEASIBLE`. Since a truly operator-preserving reassignment must preserve these 73 exact matrices, this rules out a rank change in this four-child, owner-replica-zero assignment class under the fixed inventory and schedule. It is a finite-mode result, not an all-character symbolic proof or a theorem about other owner replicas, children, schedules or suppliers. + +Reproduce the optional 47-minute run with Python 3.10.12 and OR-Tools 9.11.4210: + +```sh +python3.10 research/idle-star-paired-axis-census/operator_ortools_screen.py +``` + +The result is recorded in `OPERATOR-ORTOOLS-RESULT.json`; this search is kept outside the registered replay so normal package CI does not require OR-Tools or a long run. Related work was posted during this investigation: [PR #3204](https://github.com/CrocSwap/integer-mult-bounds/pull/3204) claims a broader written four-site rank-rigidity proof under the fixed schedule, and [PR #3220](https://github.com/CrocSwap/integer-mult-bounds/pull/3220) analyzes added paid phase-child repairs in a bounded domain. This CP-SAT result is only a finite-coordinate cross-check on the source-bound owner-zero fill; it does not replace #3204's proof or settle the wider repair question in #3220. The selected record and frontier are unchanged. ## Reproduce @@ -27,12 +51,12 @@ python3 scripts/research_package.py --package research/idle-star-paired-axis-cen python3.12 scripts/research_package.py --package research/idle-star-paired-axis-census ``` -The verifier independently implements the exact eight-stream Gaussian-integer replay. Live main inputs are pinned in `SOURCES.json`; the retained fill, journal and provider table are checked against the SHA256 and Git-blob IDs recorded from PR3148. The original PR3133 notice and credits are retained under `vendor/`. +The verifier independently implements the exact eight-stream Gaussian-integer replay. Live main inputs are pinned in `SOURCES.json`; the retained fill, journal and provider table are checked against the SHA256 and Git-blob IDs recorded from PR3148. PR3184's complete star-move artifact is retained and pinned to its exact head for the added witness. The original PR3133 notice and credits are retained under `vendor/`. ## Open next questions -See the structured tasks in [TASK.json](TASK.json). The nearest continuation is to enumerate matched swaps or short cycles in the 48-by-48 cross-Gram graph and test whether they can create net rank imbalance without changing the full stream operator. A different child/time pair needs its own exact insertion-to-insertion intertwiner and source-bound replay. +See the structured tasks in [TASK.json](TASK.json). The four-child owner-replica-zero slice has no rank-changing assignment passing even the 73 coordinate modes in the broader CP-SAT relaxation. PRs #3204 and #3220 cover the broader four-site rigidity and bounded paid-repair questions, respectively; do not duplicate those scopes. A distinct next direction is another child/time pair or owner replica; it needs its own insertion-to-insertion intertwiner and source-bound replay, and should be priced before a large search. ## Credit -The physical-stream criterion and the first exact PR3184 counterexample are due to Nick Petalas in [PR #3187](https://github.com/CrocSwap/integer-mult-bounds/pull/3187). The T740 fill and 145-row exchange journal are from Jeremy Diviney’s [PR #3148](https://github.com/CrocSwap/integer-mult-bounds/pull/3148); the underlying fill/provider notice and credits are retained unchanged from PR3133 in `vendor/`. The challenged profile claim is Rohan Arun’s [PR #3184](https://github.com/CrocSwap/integer-mult-bounds/pull/3184). Recipe, template, plan and dispatch retain their PR2979/selected-supplier lineage. This package adds an independently written exact replay and an exhaustive, source-bound census of one paired rank-changing transfer family. Prepared by OpenAI Codex with substantial AI assistance; no independent human or proof-assistant review is claimed. New work is Apache-2.0. +Gonzalo Mier’s [PR #1252](https://github.com/CrocSwap/integer-mult-bounds/pull/1252) already gives a commuting three-axis exchange for selected #1094 children. Nick Petalas’s [PR #3187](https://github.com/CrocSwap/integer-mult-bounds/pull/3187) supplies the physical-stream criterion and first exact counterexample to the current PR3184 move. The T740 fill and 145-row exchange journal are from Jeremy Diviney’s [PR #3148](https://github.com/CrocSwap/integer-mult-bounds/pull/3148); the underlying fill/provider notice and credits are retained unchanged from PR3133 in `vendor/`. The challenged profile claim is Rohan Arun’s [PR #3184](https://github.com/CrocSwap/integer-mult-bounds/pull/3184). Recipe, template, plan and dispatch retain their PR2979/selected-supplier lineage. This package adds an independently written exact replay, a source-bound transfer census and an optional OR-Tools candidate search. Prepared by OpenAI Codex with substantial AI assistance; no independent human or proof-assistant review is claimed. New work is Apache-2.0. diff --git a/research/idle-star-paired-axis-census/RESULT.json b/research/idle-star-paired-axis-census/RESULT.json index daab4e70d3..f1da7dd083 100644 --- a/research/idle-star-paired-axis-census/RESULT.json +++ b/research/idle-star-paired-axis-census/RESULT.json @@ -11,6 +11,8 @@ "per_port_counts": [ [ 0, + 192, + 192, 24, 24, 24, @@ -18,6 +20,8 @@ ], [ 1, + 192, + 192, 24, 24, 24, @@ -25,6 +29,8 @@ ], [ 2, + 192, + 192, 24, 24, 24, @@ -32,6 +38,8 @@ ], [ 3, + 192, + 192, 24, 24, 24, @@ -39,6 +47,8 @@ ], [ 4, + 192, + 192, 24, 24, 24, @@ -46,6 +56,8 @@ ], [ 5, + 192, + 192, 24, 24, 24, @@ -53,6 +65,8 @@ ], [ 6, + 192, + 192, 24, 24, 24, @@ -60,6 +74,8 @@ ], [ 7, + 192, + 192, 24, 24, 24, @@ -67,6 +83,8 @@ ], [ 8, + 192, + 192, 24, 24, 24, @@ -74,6 +92,8 @@ ], [ 9, + 192, + 192, 24, 24, 24, @@ -81,6 +101,8 @@ ], [ 10, + 192, + 192, 24, 24, 24, @@ -88,6 +110,8 @@ ], [ 11, + 192, + 192, 24, 24, 24, @@ -95,6 +119,8 @@ ], [ 12, + 192, + 192, 24, 24, 24, @@ -102,6 +128,8 @@ ], [ 13, + 192, + 192, 24, 24, 24, @@ -109,6 +137,8 @@ ], [ 14, + 192, + 192, 24, 24, 24, @@ -116,6 +146,8 @@ ], [ 15, + 192, + 192, 24, 24, 24, @@ -123,6 +155,8 @@ ], [ 16, + 192, + 192, 24, 24, 24, @@ -130,6 +164,8 @@ ], [ 17, + 192, + 192, 24, 24, 24, @@ -137,6 +173,8 @@ ], [ 18, + 192, + 192, 24, 24, 24, @@ -144,6 +182,8 @@ ], [ 19, + 192, + 192, 24, 24, 24, @@ -151,6 +191,8 @@ ], [ 20, + 192, + 192, 24, 24, 24, @@ -158,6 +200,8 @@ ], [ 21, + 192, + 192, 24, 24, 24, @@ -165,6 +209,8 @@ ], [ 22, + 192, + 192, 24, 24, 24, @@ -172,6 +218,8 @@ ], [ 23, + 192, + 192, 24, 24, 24, @@ -179,6 +227,8 @@ ], [ 24, + 192, + 192, 24, 24, 24, @@ -186,6 +236,8 @@ ], [ 25, + 192, + 192, 24, 24, 24, @@ -193,6 +245,8 @@ ], [ 26, + 192, + 192, 24, 24, 24, @@ -200,6 +254,8 @@ ], [ 27, + 192, + 192, 24, 24, 24, @@ -207,6 +263,8 @@ ], [ 28, + 192, + 192, 24, 24, 24, @@ -214,6 +272,8 @@ ], [ 29, + 192, + 192, 24, 24, 24, @@ -221,6 +281,8 @@ ], [ 30, + 192, + 192, 24, 24, 24, @@ -228,6 +290,8 @@ ], [ 31, + 192, + 192, 24, 24, 24, @@ -235,6 +299,8 @@ ], [ 32, + 192, + 192, 24, 24, 24, @@ -242,6 +308,8 @@ ], [ 33, + 192, + 192, 24, 24, 24, @@ -249,6 +317,8 @@ ], [ 34, + 192, + 192, 24, 24, 24, @@ -256,6 +326,8 @@ ], [ 35, + 192, + 192, 24, 24, 24, @@ -263,6 +335,8 @@ ], [ 36, + 192, + 192, 24, 24, 24, @@ -270,6 +344,8 @@ ], [ 37, + 192, + 192, 24, 24, 24, @@ -277,6 +353,8 @@ ], [ 38, + 192, + 192, 24, 24, 24, @@ -284,6 +362,8 @@ ], [ 39, + 192, + 192, 24, 24, 24, @@ -291,6 +371,8 @@ ], [ 40, + 192, + 192, 24, 24, 24, @@ -298,6 +380,8 @@ ], [ 41, + 192, + 192, 24, 24, 24, @@ -305,6 +389,8 @@ ], [ 42, + 192, + 192, 24, 24, 24, @@ -312,6 +398,8 @@ ], [ 43, + 192, + 192, 24, 24, 24, @@ -319,6 +407,8 @@ ], [ 44, + 192, + 192, 24, 24, 24, @@ -326,6 +416,8 @@ ], [ 45, + 192, + 192, 24, 24, 24, @@ -333,6 +425,8 @@ ], [ 46, + 192, + 192, 24, 24, 24, @@ -340,6 +434,8 @@ ], [ 47, + 192, + 192, 24, 24, 24, @@ -347,6 +443,8 @@ ], [ 48, + 192, + 192, 24, 24, 24, @@ -354,6 +452,8 @@ ], [ 49, + 192, + 192, 24, 24, 24, @@ -361,6 +461,8 @@ ], [ 50, + 192, + 192, 24, 24, 24, @@ -368,6 +470,8 @@ ], [ 51, + 192, + 192, 24, 24, 24, @@ -375,6 +479,8 @@ ], [ 52, + 192, + 192, 24, 24, 24, @@ -382,6 +488,8 @@ ], [ 53, + 192, + 192, 24, 24, 24, @@ -389,6 +497,8 @@ ], [ 54, + 192, + 192, 24, 24, 24, @@ -396,6 +506,8 @@ ], [ 55, + 192, + 192, 24, 24, 24, @@ -403,6 +515,8 @@ ], [ 56, + 192, + 192, 24, 24, 24, @@ -410,6 +524,8 @@ ], [ 57, + 192, + 192, 24, 24, 24, @@ -417,6 +533,8 @@ ], [ 58, + 192, + 192, 24, 24, 24, @@ -424,6 +542,8 @@ ], [ 59, + 192, + 192, 24, 24, 24, @@ -431,6 +551,8 @@ ], [ 60, + 192, + 192, 24, 24, 24, @@ -438,6 +560,8 @@ ], [ 61, + 192, + 192, 24, 24, 24, @@ -445,6 +569,8 @@ ], [ 62, + 192, + 192, 24, 24, 24, @@ -452,6 +578,8 @@ ], [ 63, + 192, + 192, 24, 24, 24, @@ -459,6 +587,8 @@ ], [ 64, + 192, + 192, 24, 24, 24, @@ -466,6 +596,8 @@ ], [ 65, + 192, + 192, 24, 24, 24, @@ -473,6 +605,8 @@ ], [ 66, + 192, + 192, 24, 24, 24, @@ -480,6 +614,8 @@ ], [ 67, + 192, + 192, 24, 24, 24, @@ -487,6 +623,8 @@ ], [ 68, + 192, + 192, 24, 24, 24, @@ -494,6 +632,8 @@ ], [ 69, + 192, + 192, 24, 24, 24, @@ -501,6 +641,8 @@ ], [ 70, + 192, + 192, 24, 24, 24, @@ -508,6 +650,8 @@ ], [ 71, + 192, + 192, 24, 24, 24, @@ -515,6 +659,8 @@ ], [ 72, + 192, + 192, 24, 24, 24, @@ -522,6 +668,8 @@ ], [ 73, + 192, + 192, 24, 24, 24, @@ -529,6 +677,8 @@ ], [ 74, + 192, + 192, 24, 24, 24, @@ -536,6 +686,8 @@ ], [ 75, + 192, + 192, 24, 24, 24, @@ -543,6 +695,8 @@ ], [ 76, + 192, + 192, 24, 24, 24, @@ -550,6 +704,8 @@ ], [ 77, + 192, + 192, 24, 24, 24, @@ -557,6 +713,8 @@ ], [ 78, + 192, + 192, 24, 24, 24, @@ -564,6 +722,8 @@ ], [ 79, + 192, + 192, 24, 24, 24, @@ -571,6 +731,8 @@ ], [ 80, + 192, + 192, 24, 24, 24, @@ -578,6 +740,8 @@ ], [ 81, + 192, + 192, 24, 24, 24, @@ -585,6 +749,8 @@ ], [ 82, + 192, + 192, 24, 24, 24, @@ -592,6 +758,8 @@ ], [ 83, + 192, + 192, 24, 24, 24, @@ -599,6 +767,8 @@ ], [ 84, + 192, + 192, 24, 24, 24, @@ -606,6 +776,8 @@ ], [ 85, + 192, + 192, 24, 24, 24, @@ -613,6 +785,8 @@ ], [ 86, + 192, + 192, 24, 24, 24, @@ -620,6 +794,8 @@ ], [ 87, + 192, + 192, 24, 24, 24, @@ -627,6 +803,8 @@ ], [ 88, + 192, + 192, 24, 24, 24, @@ -634,6 +812,8 @@ ], [ 89, + 192, + 192, 24, 24, 24, @@ -641,6 +821,8 @@ ], [ 90, + 192, + 192, 24, 24, 24, @@ -648,6 +830,8 @@ ], [ 91, + 192, + 192, 24, 24, 24, @@ -655,6 +839,8 @@ ], [ 92, + 192, + 192, 24, 24, 24, @@ -662,6 +848,8 @@ ], [ 93, + 192, + 192, 24, 24, 24, @@ -669,6 +857,8 @@ ], [ 94, + 192, + 192, 24, 24, 24, @@ -676,6 +866,8 @@ ], [ 95, + 192, + 192, 24, 24, 24, @@ -683,6 +875,8 @@ ], [ 96, + 192, + 192, 24, 24, 24, @@ -690,6 +884,8 @@ ], [ 97, + 192, + 192, 24, 24, 24, @@ -697,6 +893,8 @@ ], [ 98, + 192, + 192, 24, 24, 24, @@ -704,6 +902,8 @@ ], [ 99, + 192, + 192, 24, 24, 24, @@ -711,6 +911,8 @@ ], [ 100, + 192, + 192, 24, 24, 24, @@ -718,6 +920,8 @@ ], [ 101, + 192, + 192, 24, 24, 24, @@ -725,6 +929,8 @@ ], [ 102, + 192, + 192, 24, 24, 24, @@ -732,6 +938,8 @@ ], [ 103, + 192, + 192, 24, 24, 24, @@ -739,6 +947,8 @@ ], [ 104, + 192, + 192, 24, 24, 24, @@ -746,6 +956,8 @@ ], [ 105, + 192, + 192, 24, 24, 24, @@ -753,6 +965,8 @@ ], [ 106, + 192, + 192, 24, 24, 24, @@ -760,6 +974,8 @@ ], [ 107, + 192, + 192, 24, 24, 24, @@ -767,6 +983,8 @@ ], [ 108, + 192, + 192, 24, 24, 24, @@ -774,6 +992,8 @@ ], [ 109, + 192, + 192, 24, 24, 24, @@ -781,6 +1001,8 @@ ], [ 110, + 192, + 192, 24, 24, 24, @@ -788,6 +1010,8 @@ ], [ 111, + 192, + 192, 24, 24, 24, @@ -1419,11 +1643,1544 @@ ] ] }, + "port0_pr3184_star_witness": { + "axes_pairwise_orthogonal": true, + "first_witness": { + "baseline": [ + [ + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ] + ] + ], + "character": 16, + "differences": [ + [ + 1, + 1, + [ + 0, + 1 + ], + [ + -1, + 0 + ] + ], + [ + 3, + 1, + [ + 0, + 0 + ], + [ + -1, + -1 + ] + ], + [ + 7, + 7, + [ + 0, + 1 + ], + [ + 1, + 0 + ] + ] + ], + "single_overlay": [ + [ + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 1, + 0 + ] + ] + ], + "star_overlay": [ + [ + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + -1, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 1, + 0 + ] + ] + ] + }, + "isolated_axis_checks": [ + { + "axis": 16, + "differences": 3, + "receiver": 12 + }, + { + "axis": 32, + "differences": 3, + "receiver": 12 + }, + { + "axis": 64, + "differences": 3, + "receiver": 12 + }, + { + "axis": 128, + "differences": 3, + "receiver": 13 + }, + { + "axis": 256, + "differences": 3, + "receiver": 13 + }, + { + "axis": 4096, + "differences": 3, + "receiver": 13 + } + ], + "moves": [ + [ + 0, + 0, + 10, + 12, + [ + 16, + 32, + 64 + ] + ], + [ + 0, + 0, + 10, + 13, + [ + 128, + 256, + 4096 + ] + ] + ], + "moves_sha256": "ea833cc374c16c4bed4da6328a77353171944d947bed1d28085212ffad786e90", + "rank_vector": { + "10": 42, + "12": 51, + "13": 51, + "8": 48 + }, + "scope": "one exact owner-replica-0/port-0 star from PR3184; the complete single-transfer census extends the same isolation argument to every same-centre star over these four children on the audited 112 owner-0 port recipes", + "source_head": "6faefe19f592220c16722a6682c22c8fbccd4bb4" + }, + "port0_single_witness": { + "axis": 7, + "baseline": [ + [ + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ] + ] + ], + "differences": [ + [ + 1, + 1, + [ + 0, + -1 + ], + [ + 1, + 0 + ] + ], + [ + 3, + 1, + [ + 0, + 0 + ], + [ + 1, + 1 + ] + ], + [ + 6, + 6, + [ + 0, + -1 + ], + [ + -1, + 0 + ] + ] + ], + "donor": 8, + "overlay": [ + [ + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 1, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 1, + 1 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + -1, + 0 + ], + [ + 0, + 0 + ] + ], + [ + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + 0 + ], + [ + 0, + -1 + ] + ] + ], + "receiver": 12 + }, "ports": 112, "reverse": { "eligible": 2688, "fail_at_own_axis_character": 2688 }, "selected_frontier_changed": false, - "status": "PASS_NO_OPERATOR_PRESERVING_RANK_CHANGING_PAIRED_TRANSFER" + "single_transfer": { + "eligible": 21504, + "fail_at_own_axis_character": 21504 + }, + "star_isolation": { + "audited_ports": 112, + "conclusion": "any nonempty same-centre star from the orthonormal donor basis to these four children has an own-axis counterexample on the audited owner-replica-0 port recipes", + "eligible_single_moves": 21504, + "orthonormal_source_bases_per_port": true, + "single_moves_failing_at_own_axis": 21504 + }, + "status": "PASS_NO_OPERATOR_PRESERVING_SINGLE_PAIRED_OR_STAR_TRANSFER" } diff --git a/research/idle-star-paired-axis-census/SOURCES.json b/research/idle-star-paired-axis-census/SOURCES.json index e23e4f3c99..5703c44044 100644 --- a/research/idle-star-paired-axis-census/SOURCES.json +++ b/research/idle-star-paired-axis-census/SOURCES.json @@ -69,11 +69,27 @@ "upstream_path": "research/coupled-carrier-cap740/vendor/PR3133-PROVIDERS.json", "sha256": "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd", "git_blob": "0b2343675099d0a9fe90da6e1f1e53f50235567e" + }, + { + "local_path": "vendor/PR3184-STAR-MOVES.json.gz", + "source_pr": 3184, + "head": "6faefe19f592220c16722a6682c22c8fbccd4bb4", + "upstream_path": "research/rank7-idle-star-exchanges-t740/STAR-MOVES.json.gz", + "sha256": "ea833cc374c16c4bed4da6328a77353171944d947bed1d28085212ffad786e90", + "git_blob": "ef209aa4a9c2c81d983ea58146a7cbd6770eda4c" } ], "context": { "pr3184_head": "ffab383a5f78eb1a4ad4c7c7259a4f32b86f9481", "pr3187_head": "85cc6be02f5f912ac203449e06523ad53e6054d2", - "note": "PR3187\u2019s physical counterexample motivated this complementary census; the replay implementation in this package is independent." + "note": "PR3187’s physical counterexample motivated this complementary census; the replay implementation in this package is independent. The PR3184 STAR-MOVES payload is retained from exact head 6faefe19f592220c16722a6682c22c8fbccd4bb4 for an independent exact replay of its replica-0/port-0 star.", + "submission_refresh": { + "canonical_main": "463113d675af7410ac91d53a4fed51ec6494eb9a", + "priority_revision": 6, + "selected_kappa": "0.001672660197076918", + "note": "Canonical main 463113d675af7410ac91d53a4fed51ec6494eb9a was refreshed before submission; priority revision 6, selected result and pinned source files are unchanged. Live overlap refreshed 2026-10-17T18:19:39Z for 267 open PRs and 2026-10-17T18:20:12Z for 2,033 discussion records. At that snapshot PR3204 had a broader fixed-schedule rigidity proof, PR3220 a bounded paid-repair cost analysis, and PR3200 the latest open conditional kappa claim. These are context, not inputs to verify.py." + }, + "pr3184_artifact_head": "6faefe19f592220c16722a6682c22c8fbccd4bb4", + "pr3184_star_moves_sha256": "ea833cc374c16c4bed4da6328a77353171944d947bed1d28085212ffad786e90" } } diff --git a/research/idle-star-paired-axis-census/TASK.json b/research/idle-star-paired-axis-census/TASK.json index f020a9a7d8..e809ab13a2 100644 --- a/research/idle-star-paired-axis-census/TASK.json +++ b/research/idle-star-paired-axis-census/TASK.json @@ -46,27 +46,22 @@ ] }, "scope_status": "refined", - "actual_scope": "Independent exact replay of the rank-changing paired-axis correction family suggested by PR3187: for each of the 112 T740 port recipes, move one common residual axis on both streams of child pair (8,10) to both streams of pair (12,13), or in reverse, subject to destination orthogonality. Check the actual hosted eight-stream operator at the moved axis character for every candidate, then derive the orthogonal-isolation argument for simultaneous candidates in this restricted class.", - "scope_change_reason": "PR3187 gives an exact counterexample to PR3184\u2019s first single-stream star move. This refines the independent-moment audit to the strongest immediate two-stream symmetry correction: transferring the same phase on both channels might commute where a single-channel transfer fails. The new replay is independently implemented and the scope is limited to this rank-changing paired family.", - "bottleneck_link": "A better rank histogram changes the moment only if the exact hosted eight-stream physical operator is preserved. This screen tests whether a natural paired correction can turn PR3184\u2019s structural idle-axis gains into an admissible profile; it does not price a new supplier.", + "actual_scope": "Independent exact replay of idle-axis redistribution on all 112 T740 port recipes for owner replica zero: every eligible one-axis and paired transfer among children (8,10,12,13); the source-pinned PR3184 replica-0/port-0 star; the same-centre-star isolation argument; an optional rank-only CP-SAT assignment optimum; and an optional exact-coordinate CP-SAT feasibility screen. The latter enumerates all 256 Z4 phase deltas at each of 73 coordinate characters, then asks whether any rank-changing arbitrary assignment of the 192 residual tokens can preserve those matrices, with hosted axes fixed, final bases orthonormal and rank cap 51.", + "scope_change_reason": "PR3187 supplies an exact physical counterexample to PR3184’s first committed star move. The single-transfer census extends this to the same-centre star class. The first OR-Tools model nominated rank-only optima but did not constrain operator equality. A later OR-Tools screen inserts exact equality at all 73 coordinate characters into a broader assignment relaxation before asking about rank changes. During the run, PR3204 posted a broader written four-site rigidity proof and PR3220 a bounded paid-phase-repair cost analysis; the optional model is retained only as a finite source-bound CP-SAT cross-check, not as a replacement for either result. The user explicitly favored OR-Tools for optimization.", + "bottleneck_link": "A lower rank moment helps only if the exact hosted eight-stream operator is preserved. Every eligible one-axis transfer fails; the single-axis census isolates same-centre stars. For the broader four-child owner-0 assignment relaxation, the exact-coordinate CP-SAT screen finds no rank-changing assignment even before the per-axis translation gates are imposed. A live 2026-10-17 18:20 UTC snapshot recorded PR3204's broader four-site rigidity proof, PR3220's bounded repair-cost analysis and PR3200's latest conditional κ claim (0.001734807021726127552033); none is replaced or independently validated by this finite receipt. No result changes a complete supplier moment, κ, admission or the selected frontier.", "budget_minutes": 60, - "stop_rule": "Authenticate the complete T740 fill and all 112 recipes; verify a positive baseline; enumerate every paired common-axis transfer that raises destination rank without replacing a nonorthogonal destination axis; test the exact operator at its own character. Stop this family if all candidates fail. Do not generalize to matched swaps, longer cycles, other child pairs, replicas, or all operator-preserving assignments.", + "stop_rule": "Authenticate the complete T740 fill and PR3184 star artifact; verify the positive baseline controls; enumerate single and paired transfers; replay the pinned star; screen the rank-only optimum; then compute all 73 exact coordinate phase tables per port and solve the rank-change CP-SAT feasibility model across all 112 ports. Stop this owner-replica-zero four-child slice after its registered replay and 112 infeasibility receipts. Do not generalize to another owner, child/time pair, schedule or supplier.", "outcome": "completed", - "evidence": "verify.py authenticates the PR3148 T740 payload SHA256 8f4d6965\u2026e00, checks the baseline on 147 modes for port 0 plus the zero-character identity for all ports, and tests 2,688 forward plus 2,688 reverse candidates (24 each direction on every one of 112 port recipes) for owner replica zero. Every candidate changes the exact Gaussian-integer stream matrix at its own Fourier character. Since eligible moved axes are pairwise orthogonal, any simultaneous nonempty set in this restricted class is isolated by one moved-axis character and fails too. Exact port-0 witness: axis 7; receipt is RESULT.json. No new kappa, supplier admission, or selected-frontier change.", + "evidence": "verify.py authenticates the PR3148 T740 payload SHA256 8f4d6965…e00 and the complete PR3184 STAR-MOVES payload from head 6faefe19f592220c16722a6682c22c8fbccd4bb4. It checks the baseline on 147 modes for port 0 plus the zero-character identity for all ports; all 21,504 eligible single-axis candidates and 5,376 paired candidates change the exact Gaussian-integer stream matrix at their own Fourier character. The moved axes in a same-centre star are a subset of one orthonormal donor basis, so any nonempty same-centre star is isolated by one rejected single move on each audited owner-0 recipe. The actual PR3184 replica-0/port-0 star sends [16,32,64] from child 10 to 12 and [128,256,4096] from 10 to 13; at character 16 its full overlay equals the isolated single move and differs from baseline in three entries. Optional OR-Tools 9.11.4210 rank-only search solves 112 models to [51,51,51,39] from [48,48,48,48], but its representative fails exact replay. A second optional OR-Tools screen independently constructs exact phase-delta tables by replaying all 256 delta vectors at each of 73 coordinate characters. For every character of every one of the 112 ports, only delta (0,0,0,0) preserves the operator (table SHA256 ed9ef60a17efb46b44a064986acf28935c7ab07a46ddc8007dc802bbc8200a83). Under the broader arbitrary-token assignment model with fixed hosted axes, orthonormal final bases and rank cap 51, CP-SAT proves INFEASIBLE for any rank-changing assignment in all 112 ports. This is a finite-coordinate necessary-condition screen, not a full symbolic all-character proof. No new κ or selected-frontier change.", "author": "OpenAI Codex", - "ai_assistance": "OpenAI Codex wrote the independent exact replay, source-bound census and package. No independent human review or proof-assistant verification is claimed.", + "ai_assistance": "OpenAI Codex wrote the independent exact replay, source-bound census, optional OR-Tools CP-SAT search and package. OR-Tools discovery used Python 3.10.12 / OR-Tools 9.11.4210. No independent human review or proof-assistant verification is claimed.", "open_questions": [ { - "question": "Can a net-rank-changing matched swap or longer axis cycle, which removes nonorthogonal destination directions while adding new ones, preserve the full operator across the intervening bridges?", - "why_it_matters": "The screened rank-changing family requires each incoming axis to be orthogonal to the full destination basis. Removing a matched axis relaxes that condition and is the simplest remaining way this child-pair geometry could evade the negative result.", - "first_step": "Build the 48-by-48 cross-Gram graph for each port, enumerate the smallest cycles that produce a nonzero child-rank imbalance, and replay each full overlay against the exact T740 schedule.", - "blocked_by": "No exact symbolic criterion for multi-axis cycles is supplied; cycle interactions can involve hosted phases and all intervening bridges." - }, - { - "question": "Does any other child/time pair on the T740 schedule admit a physically valid rank-changing transfer?", - "why_it_matters": "A different schedule cut could change the rank profile while avoiding this paired obstruction.", - "first_step": "Derive exact insertion-to-insertion intertwiners for each candidate pair and use the current port-0 witness as a regression control before optimizing a new profile.", - "blocked_by": "This package audits only child pairs (8,10) and (12,13) on owner replica zero; a complete all-pair search is outside its bounded scope." + "question": "Can a different owner replica or child/time pair admit a physically valid rank-changing transfer after the four-child owner-0 coordinate screen?", + "why_it_matters": "A profile change can improve the complex moment only if its local physical block preserves the operator; the current exact screen is pinned to one owner-replica slice and one four-child group.", + "first_step": "Use PR3204 and PR3220 as the current four-site rigidity and bounded repair-cost results; do not repeat those scopes. For a distinct pair or owner, derive a source-specific insertion-to-insertion intertwiner and first compute its complete-provider moment allowance.", + "blocked_by": "No exact replay or complete cost charge has been constructed here for another owner replica, child/time pair, schedule or supplier." } - ] + ], + "canonical_discussion": "https://github.com/CrocSwap/integer-mult-bounds/discussions/2612" } diff --git a/research/idle-star-paired-axis-census/VERIFY.json b/research/idle-star-paired-axis-census/VERIFY.json index 9a3d449cb4..2a9782f2de 100644 --- a/research/idle-star-paired-axis-census/VERIFY.json +++ b/research/idle-star-paired-axis-census/VERIFY.json @@ -19,7 +19,7 @@ "{package}/verify.py" ], "timeout_seconds": 120, - "checks": "Exact source and retained-allocation pins; complete T740 fill authentication; baseline 147-mode control; forward/reverse rank-changing paired-transfer census across 112 recipes; own-axis-character operator comparisons; isolated port-0 witness; journal-mutation rejection; stored RESULT.json receipt." + "checks": "Exact source and retained-allocation pins including PR3184 STAR-MOVES; complete T740 fill authentication; baseline 147-mode control; 21,504 single-axis and 5,376 paired transfer checks across 112 recipes; exact replica-0/port-0 PR3184 star replay at all six moved-axis characters; same-centre star-isolation argument; journal-mutation rejection; stored RESULT.json receipt." } ] } diff --git a/research/idle-star-paired-axis-census/operator_ortools_screen.py b/research/idle-star-paired-axis-census/operator_ortools_screen.py new file mode 100644 index 0000000000..1703cfc33a --- /dev/null +++ b/research/idle-star-paired-axis-census/operator_ortools_screen.py @@ -0,0 +1,230 @@ +#!/usr/bin/env python3 +"""CP-SAT upper screen for exact operator equality on 73 coordinate characters. + +This is an optional discovery/relaxation run, not the registered admission check. +For each of the 112 owner-replica-zero port contexts, it allows every reassignment +of the four 48-axis residual multisets, fixes hosted axes, requires orthonormal +final child bases and rank <= 51, and asks whether any rank-changing assignment +can preserve the exact eight-stream operator on all 73 coordinate characters. +It deliberately omits per-axis translation/commuting restrictions, making the +assignment model a superset of physically eligible moves. +""" +from __future__ import annotations + +import argparse +import hashlib +import importlib.util +import itertools +import json +import sys +import time +from pathlib import Path + +from ortools.sat.python import cp_model +import ortools + +PACKAGE = Path(__file__).resolve().parent +ROOT = PACKAGE.parents[1] +CHILDREN = (8, 10, 12, 13) +CHARACTER_BITS = 73 +MAX_RANK = 51 +TABLE_SIZE = 10**12 +TIME_LIMIT = 30.0 + + +def load_screen(): + spec = importlib.util.spec_from_file_location("idle_axis_ortools", PACKAGE / "ortools_screen.py") + module = importlib.util.module_from_spec(spec) + assert spec and spec.loader + spec.loader.exec_module(module) + return module + + +def phase_delta_table(v, context, blocks, character): + """All 4^4 child phase shifts that preserve the exact matrix at character.""" + baseline = v.replay(context, context["residual"], character, blocks) + probe_axis = character & -character + allowed = [] + for delta in itertools.product(range(4), repeat=len(CHILDREN)): + trial = {child: list(axes) for child, axes in context["residual"].items()} + for child, amount in zip(CHILDREN, delta, strict=True): + # Replay consumes only dot-products; repeating this probe axis changes + # that child's phase exponent by `amount` without changing any input. + trial[child].extend([probe_axis] * amount) + if v.replay(context, trial, character, blocks) == baseline: + allowed.append(list(delta)) + return allowed + + +def build_model(cp_model_module, context, coordinate_tables, port): + model = cp_model_module.CpModel() + tokens = [(source, axis) for source in CHILDREN for axis in context["residual"][source]] + if len(tokens) != 192 or any(len(context["residual"][c]) != 48 for c in CHILDREN): + raise ValueError(f"port {port}: expected four 48-axis residual bases") + + x = {(t, dest): model.NewBoolVar(f"p{port}_x_{t}_{dest}") + for t in range(len(tokens)) for dest in CHILDREN} + hosted = {child: context["hosted_axes"].get(child, []) for child in CHILDREN} + dot = lambda a, b: (int(a) & int(b)).bit_count() & 1 + + for t, (_, axis) in enumerate(tokens): + model.AddExactlyOne(x[t, child] for child in CHILDREN) + for child in CHILDREN: + if any(dot(axis, fixed) for fixed in hosted[child]): + model.Add(x[t, child] == 0) + + # Every final residual+hosted child basis must remain orthonormal. This is + # the only assignment-geometry restriction beyond fixed hosted axes. + for i, (_, left) in enumerate(tokens): + for j in range(i + 1, len(tokens)): + right = tokens[j][1] + if dot(left, right): + for child in CHILDREN: + model.Add(x[i, child] + x[j, child] <= 1) + + ranks = {} + for child in CHILDREN: + ranks[child] = model.NewIntVar(len(hosted[child]), MAX_RANK, f"p{port}_rank_{child}") + model.Add(ranks[child] == len(hosted[child]) + sum(x[t, child] for t in range(len(tokens)))) + + # Any non-uniform rank vector with conserved total 192 has a rank >= 49. + high = model.NewIntVar(0, MAX_RANK, f"p{port}_high") + model.AddMaxEquality(high, list(ranks.values())) + model.Add(high >= 49) + + # Exact necessary equality at each coordinate character. A character's + # matrix depends on the four new residual phase counts modulo 4. The allowed + # tuples below were exhaustively replayed over all 4^4 possibilities. + for bit, allowed in enumerate(coordinate_tables): + character = 1 << bit + phase_deltas = [] + for child in CHILDREN: + old_count = sum(dot(character, axis) for axis in context["residual"][child]) + new_count = model.NewIntVar(0, 192, f"p{port}_count_{bit}_{child}") + model.Add(new_count == sum( + dot(character, axis) * x[t, child] + for t, (_, axis) in enumerate(tokens) + )) + delta = model.NewIntVar(0, 3, f"p{port}_delta_{bit}_{child}") + # 192 is divisible by four and keeps the modulo input nonnegative. + model.AddModuloEquality(delta, new_count - old_count + 192, 4) + phase_deltas.append(delta) + if allowed: + model.AddAllowedAssignments(phase_deltas, allowed) + else: + model.Add(phase_deltas[0] == -1) + + model.Minimize(0) + return model, tokens, x, ranks + + +def screen_feasible(v, context, blocks, tokens, x, solver): + destinations = [next(c for c in CHILDREN if solver.Value(x[t, c])) for t in range(len(tokens))] + trial = {child: list(axes) for child, axes in context["residual"].items()} + for child in CHILDREN: + trial[child] = [] + for (_, axis), destination in zip(tokens, destinations, strict=True): + trial[destination].append(axis) + moved = [axis for (source, axis), dest in zip(tokens, destinations, strict=True) if source != dest] + characters = {1 << bit for bit in range(CHARACTER_BITS)} + characters.update(moved) + characters.update(a ^ b for i, a in enumerate(moved) for b in moved[i + 1:]) + mismatches = [] + for character in sorted(characters): + if v.replay(context, context["residual"], character, blocks) != v.replay(context, trial, character, blocks): + mismatches.append(character) + break + ranks = {str(c): len(trial[c]) + len(context["hosted_axes"].get(c, [])) for c in CHILDREN} + moved_payload = [[source, dest, axis] + for (source, axis), dest in zip(tokens, destinations, strict=True) + if source != dest] + return { + "rank_vector": ranks, + "moved_tokens": len(moved_payload), + "assignment_sha256": hashlib.sha256( + json.dumps(moved_payload, separators=(",", ":")).encode("ascii") + ).hexdigest(), + "finite_screen_characters": len(characters), + "first_screen_mismatch": mismatches[0] if mismatches else None, + } + + +def run(output: Path, port_limit: int | None = None): + screen = load_screen() + v = screen.load_verifier() + contexts, blocks = screen.prepare(v) + if port_limit is not None: + contexts = contexts[:port_limit] + rows = [] + total_start = time.time() + for port, context in enumerate(contexts): + port_start = time.time() + tables = [phase_delta_table(v, context, blocks, 1 << bit) for bit in range(CHARACTER_BITS)] + table_bytes = json.dumps(tables, separators=(",", ":")).encode("ascii") + model, tokens, x, ranks = build_model(cp_model, context, tables, port) + solver = cp_model.CpSolver() + solver.parameters.max_time_in_seconds = TIME_LIMIT + solver.parameters.num_search_workers = 1 + solver.parameters.random_seed = 0 + status = solver.Solve(model) + row = { + "port": port, + "coordinate_characters": CHARACTER_BITS, + "accepted_phase_tuple_counts": {str(k): sum(len(t) == k for t in tables) for k in sorted({len(t) for t in tables})}, + "phase_table_sha256": hashlib.sha256(table_bytes).hexdigest(), + "solver_status": solver.StatusName(status), + "solver_seconds": round(solver.WallTime(), 6), + "wall_seconds": round(time.time() - port_start, 3), + } + if status in (cp_model.FEASIBLE, cp_model.OPTIMAL): + row["candidate"] = screen_feasible(v, context, blocks, tokens, x, solver) + rows.append(row) + progress = { + "progress": f"{port + 1}/{len(contexts)}", + "elapsed_seconds": round(time.time() - total_start, 1), + "statuses": {s: sum(r["solver_status"] == s for r in rows) for s in sorted({r["solver_status"] for r in rows})}, + } + print(json.dumps(progress, sort_keys=True), flush=True) + + status_counts = {s: sum(r["solver_status"] == s for r in rows) for s in sorted({r["solver_status"] for r in rows})} + result = { + "status": "PASS_NO_RANK_CHANGING_ASSIGNMENT_AT_73_COORDINATE_CHARACTERS" + if status_counts == {"INFEASIBLE": len(contexts)} + else "COORDINATE_CHARACTER_RELAXATION_REMAINS_OPEN", + "base_main": v.BASE_MAIN, + "fill_payload_sha256": v.FILL_SHA256, + "solver": "OR-Tools CP-SAT", + "ortools_version": ortools.__version__, + "python": sys.version.split()[0], + "scope": "owner-replica-zero; four residual rank-48 children (8,10,12,13); exact equality at all 73 coordinate Fourier characters; arbitrary token assignment, fixed hosted axes, orthonormal final bases, rank cap 51; per-axis translation and other physical gates omitted, so this is a super-relaxation", + "model": { + "tokens_per_port": 192, + "coordinate_characters_per_port": 73, + "phase_delta_domain_per_character": 256, + "rank_change_constraint": "max(child ranks) >= 49", + "threads": 1, + "seed": 0, + "time_limit_seconds_per_port": TIME_LIMIT, + }, + "status_counts": status_counts, + "ports": rows, + "elapsed_seconds": round(time.time() - total_start, 3), + "selected_frontier_changed": False, + "new_kappa": None, + } + output.parent.mkdir(parents=True, exist_ok=True) + output.write_text(json.dumps(result, indent=2, sort_keys=True) + "\n") + print(json.dumps({"result": result["status"], "ports": len(rows), "statuses": status_counts, + "elapsed_seconds": result["elapsed_seconds"], "output": str(output)}, sort_keys=True), flush=True) + + +def main(): + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument("--output", type=Path, default=PACKAGE / "OPERATOR-ORTOOLS-RESULT.json") + parser.add_argument("--port-limit", type=int, help="pilot on the first N port contexts") + args = parser.parse_args() + run(args.output, args.port_limit) + + +if __name__ == "__main__": + main() diff --git a/research/idle-star-paired-axis-census/ortools_screen.py b/research/idle-star-paired-axis-census/ortools_screen.py new file mode 100644 index 0000000000..e51325b493 --- /dev/null +++ b/research/idle-star-paired-axis-census/ortools_screen.py @@ -0,0 +1,267 @@ +#!/usr/bin/env python3 +"""Exploratory CP-SAT screen for net-rank-changing idle-axis reassignments. + +This is a discovery tool, not part of the registered admission verifier. It +uses the latter only to prepare an authenticated port, then lets OR-Tools +optimize assignments of the four rank-48 children while preserving the exact +multiset of residual axes and all within-child orthogonality constraints. +Every nominated assignment is still checked by the exact replay. +""" + +from __future__ import annotations + +import importlib.util +import hashlib +import json +import sys +from pathlib import Path + +from ortools.sat.python import cp_model +import ortools + + +ROOT = Path(__file__).resolve().parents[2] +PACKAGE = Path(__file__).resolve().parent +VERIFY = PACKAGE / "verify.py" +CHILDREN = (8, 10, 12, 13) +CHARACTER_BITS = 73 +MAX_CHILD_RANK = 51 +SAVING = 0.00167546 # selected-result complex-side scale; ranking surrogate only +SCALE = 10**12 +TIME_LIMIT = 45.0 + + +def load_verifier(): + spec = importlib.util.spec_from_file_location("idle_axis_verify", VERIFY) + module = importlib.util.module_from_spec(spec) + assert spec and spec.loader + spec.loader.exec_module(module) + return module + + +def prepare(v): + v.authenticate() + vendor = PACKAGE / "vendor" + base = v.decode(v.read_bytes(vendor / "BASE-FILL.json.gz"))["rows"] + journal = v.decode(v.read_bytes(vendor / "EXCHANGE.json")) + rows_by_port = v.project_all_ports(base, v.journal_edits(base, journal)) + order_base = v.decode(v.read_bytes(ROOT / "research/rank7-joint-endframes/allocation/ORDER.json")) + order = [[stage, replica + 74 * copy] for stage, replica in order_base for copy in range(10)] + dispatch_rows = v.decode(v.read_bytes(ROOT / "research/rank7-joint-endframes/allocation/DISPATCH.json")) + dispatch = {(stage, replica): tag for stage, replica, tag in dispatch_rows} + providers = v.decode(v.read_bytes(vendor / "PROVIDERS.json")) + plan = v.decode(v.read_bytes(ROOT / "research/rank7-joint-endframes/allocation/vendor/PLAN.json.gz")) + template = v.decode(v.read_bytes(ROOT / "research/rank7-joint-endframes/allocation/vendor/TEMPLATE.json.gz")) + recipes = v.decode(v.read_bytes(ROOT / "research/adaptive-kernel-demotion/inputs/DATA-PHASES.json"))["recipes"] + contexts = [ + v.prepare_port(port, rows_by_port[port], order, dispatch, providers, plan, template, recipes) + for port in range(len(recipes)) + ] + return contexts, v.stage_blocks(template) + + +def optimize(context): + def dot(left, right): + return (left & right).bit_count() & 1 + + model = cp_model.CpModel() + tokens = [(source, axis) for source in CHILDREN for axis in context["residual"][source]] + if len(tokens) != 192: + raise ValueError(f"expected 192 residual-axis tokens, got {len(tokens)}") + + x = {} + hosted = {child: context["hosted_axes"].get(child, []) for child in CHILDREN} + for t, (source, axis) in enumerate(tokens): + for child in CHILDREN: + x[t, child] = model.NewBoolVar(f"x_{t}_{child}") + if any(dot(axis, fixed) for fixed in hosted[child]): + model.Add(x[t, child] == 0) + model.AddExactlyOne(x[t, child] for child in CHILDREN) + + # A child's residual set must be an orthonormal basis with its fixed hosted + # axes. Pairwise forbidden assignments encode this exact GF(2) Gram test. + conflicts = 0 + for i, (_, left) in enumerate(tokens): + for j in range(i + 1, len(tokens)): + right = tokens[j][1] + if dot(left, right): + for child in CHILDREN: + model.Add(x[i, child] + x[j, child] <= 1) + conflicts += 1 + + ranks = {} + for child in CHILDREN: + hosted_count = len(hosted[child]) + ranks[child] = model.NewIntVar(hosted_count, MAX_CHILD_RANK, f"rank_{child}") + model.Add(ranks[child] == hosted_count + sum(x[t, child] for t in range(len(tokens)))) + high = model.NewIntVar(0, MAX_CHILD_RANK, "maximum_child_rank") + model.AddMaxEquality(high, list(ranks.values())) + model.Add(high >= 49) # demand a nonzero rank imbalance from 48/48/48/48 + + exponent = 1.0 - SAVING + score_table = [round(SCALE * (rank ** exponent)) for rank in range(MAX_CHILD_RANK + 1)] + scores = {} + for child in CHILDREN: + scores[child] = model.NewIntVar(0, max(score_table), f"score_{child}") + model.AddElement(ranks[child], score_table, scores[child]) + total_score = model.NewIntVar(0, len(CHILDREN) * max(score_table), "total_rank_moment") + model.Add(total_score == sum(scores.values())) + model.Minimize(total_score) + + solver = cp_model.CpSolver() + solver.parameters.max_time_in_seconds = TIME_LIMIT + solver.parameters.num_search_workers = 1 + solver.parameters.random_seed = 0 + primary_status = solver.Solve(model) + if primary_status not in (cp_model.OPTIMAL, cp_model.FEASIBLE): + status = primary_status + else: + best_moment = solver.Value(total_score) + model.Add(total_score == best_moment) + moved_count = sum(1 - x[t, source] for t, (source, _) in enumerate(tokens)) + model.Minimize(moved_count) + secondary_solver = cp_model.CpSolver() + secondary_solver.parameters.max_time_in_seconds = TIME_LIMIT + secondary_solver.parameters.num_search_workers = 1 + secondary_solver.parameters.random_seed = 0 + status = secondary_solver.Solve(model) + if status in (cp_model.OPTIMAL, cp_model.FEASIBLE): + solver = secondary_solver + result = { + "solver": "OR-Tools CP-SAT", + "ortools_version": ortools.__version__, + "python": sys.version.split()[0], + "status": solver.StatusName(status), + "wall_seconds": solver.WallTime(), + "primary_status": solver.StatusName(primary_status), + "conflict_constraints": conflicts, + "token_count": len(tokens), + "hosted_counts": {str(c): len(hosted[c]) for c in CHILDREN}, + } + if status not in (cp_model.OPTIMAL, cp_model.FEASIBLE): + return result, None + + destinations = [next(c for c in CHILDREN if solver.Value(x[t, c])) for t in range(len(tokens))] + trial = {child: list(values) for child, values in context["residual"].items()} + for child in CHILDREN: + trial[child] = [] + for (source, axis), destination in zip(tokens, destinations): + trial[destination].append(axis) + + rank_vector = {str(c): len(hosted[c]) + len(trial[c]) for c in CHILDREN} + moved = [(source, destination, axis) for (source, axis), destination in zip(tokens, destinations) if source != destination] + result.update({ + "rank_vector": rank_vector, + "rank_moment_surrogate": solver.Value(total_score), + "moves": len(moved), + "moved_tokens": [[s, d, a] for s, d, a in moved], + "baseline_rank_vector": {str(c): len(hosted[c]) + len(context["residual"][c]) for c in CHILDREN}, + }) + return result, trial + + +def replay_screen(v, context, blocks, trial): + baseline = context["residual"] + moved_axes = sorted({axis for child in CHILDREN for axis in set(baseline[child]) ^ set(trial[child])}) + chars = {1 << bit for bit in range(CHARACTER_BITS)} + chars.update(moved_axes) + chars.update(a ^ b for i, a in enumerate(moved_axes) for b in moved_axes[i + 1 :]) + chars.update((1 << bit) | (1 << (bit + 1)) for bit in range(CHARACTER_BITS - 1)) + failures = [] + checked = 0 + for character in sorted(chars): + checked += 1 + before = v.replay(context, baseline, character, blocks) + after = v.replay(context, trial, character, blocks) + if before != after: + failures.append({"character": character, "differences": v.matrix_differences(before, after)}) + break + return {"characters_tested_before_first_mismatch": checked, "candidate_character_set_size": len(chars), "failures_seen": len(failures), "first_failures": failures} + + +def main(): + v = load_verifier() + contexts, blocks = prepare(v) + summaries = [] + representative_witnesses = {} + for port, context in enumerate(contexts): + result, trial = optimize(context) + if trial is not None: + result["exact_replay_screen"] = replay_screen(v, context, blocks, trial) + moved_tokens = result.pop("moved_tokens", []) + assignment_digest = hashlib.sha256( + json.dumps(moved_tokens, separators=(",", ":")).encode("ascii") + ).hexdigest() + screen = result.pop("exact_replay_screen", None) + first_mismatch = screen["first_failures"][0] if screen and screen["first_failures"] else None + if first_mismatch is not None: + character_key = str(first_mismatch["character"]) + if character_key not in representative_witnesses: + representative_witnesses[character_key] = { + "port": port, + "character": first_mismatch["character"], + "moved_tokens": moved_tokens, + "differences": first_mismatch["differences"], + } + diff_bytes = json.dumps(first_mismatch["differences"], separators=(",", ":")).encode("ascii") if first_mismatch else b"[]" + summary = { + "port": port, + "status": result["status"], + "primary_status": result.get("primary_status"), + "wall_seconds": result["wall_seconds"], + "conflict_constraints": result["conflict_constraints"], + "baseline_rank_vector": result.get("baseline_rank_vector"), + "rank_vector": result.get("rank_vector"), + "rank_moment_surrogate": result.get("rank_moment_surrogate"), + "moves": result.get("moves"), + "assignment_sha256": assignment_digest, + "screen": { + "candidate_character_set_size": screen["candidate_character_set_size"], + "characters_tested_before_first_mismatch": screen["characters_tested_before_first_mismatch"], + "first_mismatch_character": first_mismatch["character"] if first_mismatch else None, + "matrix_difference_count": len(first_mismatch["differences"]) if first_mismatch else 0, + "matrix_difference_sha256": hashlib.sha256(diff_bytes).hexdigest(), + } if screen else None, + } + summaries.append(summary) + p = 1.0 - SAVING + baseline_moment = 4 * (48 ** p) + optimum_moment = 3 * (51 ** p) + (39 ** p) + aggregate = { + "base_main": v.BASE_MAIN, + "fill_payload_sha256": v.FILL_SHA256, + "solver_environment": {"ortools": ortools.__version__, "python": sys.version.split()[0]}, + "model": { + "children": list(CHILDREN), + "tokens_per_port": 192, + "rank_cap": MAX_CHILD_RANK, + "objective": "minimize sum(rank ** (1 - saving))", + "saving_scale": SAVING, + "objective_scale": SCALE, + "lexicographic_tiebreak": "minimum number of moved residual-axis tokens", + "time_limit_seconds_per_stage": TIME_LIMIT, + "threads": 1, + "seed": 0, + }, + "scope": "one CP-SAT optimum with minimum move count per port; exact replay screens the listed Fourier characters and stops at the first mismatch", + "ports": len(summaries), + "all_models_optimal": all(row["status"] == "OPTIMAL" for row in summaries), + "rank_imbalances_found": sum(row["status"] in ("OPTIMAL", "FEASIBLE") for row in summaries), + "screen_survivors": [row["port"] for row in summaries if row.get("screen") is None or row["screen"]["first_mismatch_character"] is None], + "rank_moment_comparison_per_port": { + "baseline_profile": [48, 48, 48, 48], + "candidate_profile": [51, 51, 51, 39], + "baseline_unscaled_moment": baseline_moment, + "candidate_unscaled_moment": optimum_moment, + "candidate_minus_baseline": optimum_moment - baseline_moment, + "relative_change": optimum_moment / baseline_moment - 1.0, + "note": "ranking surrogate only; the source-bound physical operator rejects every nominated assignment, so this is not a κ improvement", + }, + "representative_witnesses_by_character": [representative_witnesses[key] for key in sorted(representative_witnesses, key=int)], + "results": summaries, + } + print(json.dumps(aggregate, indent=2, sort_keys=True)) + + +if __name__ == "__main__": + main() diff --git a/research/idle-star-paired-axis-census/vendor/PR3184-STAR-MOVES.json.gz b/research/idle-star-paired-axis-census/vendor/PR3184-STAR-MOVES.json.gz new file mode 100644 index 0000000000..ef209aa4a9 Binary files /dev/null and b/research/idle-star-paired-axis-census/vendor/PR3184-STAR-MOVES.json.gz differ diff --git a/research/idle-star-paired-axis-census/verify.py b/research/idle-star-paired-axis-census/verify.py index d6c4ade44f..2473166bae 100644 --- a/research/idle-star-paired-axis-census/verify.py +++ b/research/idle-star-paired-axis-census/verify.py @@ -1,5 +1,5 @@ #!/usr/bin/env python3 -"""Source-bound census of paired rank-changing idle-axis transfers.""" +"""Source-bound idle-axis transfer census and exact star-overlay screen.""" from __future__ import annotations @@ -15,6 +15,9 @@ ROOT = PACKAGE.parents[1] BASE_MAIN = "997e6a9ca7b4f95d50e366f61412fd640d72a88a" FILL_SHA256 = "8f4d6965ba573ff2b71fd7bf6b552643e086739d90bd73c55889502077638e00" +PR3184_HEAD = "6faefe19f592220c16722a6682c22c8fbccd4bb4" +PR3184_STAR_SHA256 = "ea833cc374c16c4bed4da6328a77353171944d947bed1d28085212ffad786e90" +PR3184_STAR_BLOB = "ef209aa4a9c2c81d983ea58146a7cbd6770eda4c" BASE_ROWS = 9 * 74 * 408 TOTAL_ROWS = 10 * BASE_ROWS MAX_RAW = 32_000_000 @@ -34,6 +37,10 @@ "52eb0d85caa7b2d4a93acdf5011f52b793f61ddca86235fb03cd9a09397ad4cd", "0b2343675099d0a9fe90da6e1f1e53f50235567e", ), + "PR3184-STAR-MOVES.json.gz": ( + PR3184_STAR_SHA256, + PR3184_STAR_BLOB, + ), } NOTICE_PINS = { "PR3133-NOTICE": "c9731c9cca25ede32c2a1b3aef6d5b249973cb2ed5fb2494407bdca598763661", @@ -71,6 +78,9 @@ def blob_sha(raw: bytes) -> str: def authenticate() -> None: sources = json.loads(read_bytes(PACKAGE / "SOURCES.json")) require(sources["base_commit"] == BASE_MAIN, "unexpected base main") + context = sources.get("context", {}) + require(context.get("pr3184_artifact_head") == PR3184_HEAD, "PR3184 artifact head") + require(context.get("pr3184_star_moves_sha256") == PR3184_STAR_SHA256, "PR3184 star-moves source pin") retained = {row["local_path"]: row for row in sources.get("retained_sources", [])} for name, (sha, blob) in VENDOR_PINS.items(): row = retained.get("vendor/" + name) @@ -82,8 +92,8 @@ def authenticate() -> None: require(blob_sha(path) == row["git_blob"], "main source Git blob") for name, (sha, blob) in VENDOR_PINS.items(): raw = read_bytes(PACKAGE / "vendor" / name) - require(hashlib.sha256(raw).hexdigest() == sha, "retained PR3148 SHA256: " + name) - require(blob_sha(raw) == blob, "retained PR3148 Git blob: " + name) + require(hashlib.sha256(raw).hexdigest() == sha, "retained source SHA256: " + name) + require(blob_sha(raw) == blob, "retained source Git blob: " + name) for name, sha in NOTICE_PINS.items(): raw = read_bytes(PACKAGE / "vendor" / name) require(hashlib.sha256(raw).hexdigest() == sha, "retained notice SHA256: " + name) @@ -308,6 +318,45 @@ def check_baseline(context, residual, blocks): return len(modes) +def check_single_transfers(context, blocks, children): + baseline = context["residual"] + eligible = failures = 0 + witness = None + for donor in children: + for receiver in children: + if donor == receiver: + continue + for axis in sorted(set(baseline[donor])): + if any(parity(axis, v) for v in context["full_axes"][receiver]): + continue + if len(baseline[receiver]) + 1 > 51: + continue + trial = {child: list(values) for child, values in baseline.items()} + trial[donor].remove(axis) + trial[receiver].append(axis) + if any( + not orthonormal(context["hosted_axes"].get(child, []) + trial[child]) + for child in (donor, receiver) + ): + continue + eligible += 1 + original = replay(context, baseline, axis, blocks) + altered = replay(context, trial, axis, blocks) + differences = matrix_differences(original, altered) + if differences: + failures += 1 + if witness is None: + witness = { + "donor": donor, + "receiver": receiver, + "axis": axis, + "baseline": original, + "overlay": altered, + "differences": differences, + } + return eligible, failures, witness + + def check_candidate_pair(context, blocks, source_children, target_children): # Each selected axis is an orthogonal source-basis vector and is orthogonal # to every original destination axis, including the destination's hosted slice. @@ -368,6 +417,90 @@ def check_candidate_pair(context, blocks, source_children, target_children): return len(eligible), failures, witness +def check_pr3184_star(context, blocks, star_document): + # The pinned PR3184 move file contains two disjoint three-axis leaves for + # replica 0 / port 0, both from the same untouched rank-48 centre. + require( + star_document.get("columns") == ["replica", "port", "centre_child", "leaf_child", "moved_axes"], + "PR3184 star-move columns", + ) + require(len(star_document.get("moves", [])) == 125706, "PR3184 star-move count") + moves = [row for row in star_document["moves"] if row[0] == 0 and row[1] == 0] + require( + moves == [ + [0, 0, 10, 12, [16, 32, 64]], + [0, 0, 10, 13, [128, 256, 4096]], + ], + "PR3184 replica-0/port-0 star source binding", + ) + + baseline = context["residual"] + require(all(not context["hosted_axes"].get(child, []) for child in (10, 12, 13)), "PR3184 witness children are untouched") + require(all(baseline[child] == context["full_axes"][child] for child in (10, 12, 13)), "PR3184 idle bases retained") + for child in (10, 12, 13): + require(orthonormal(context["full_axes"][child]), "PR3184 source/leaf axes are orthonormal") + + trial = {child: list(values) for child, values in baseline.items()} + moved = [] + recipe = context["recipe"] + ys = [int(stage[key]) for stage in recipe["stage_alignment"] for key in ("entry_Y", "exit_Y")] + ys.append(int(recipe["terminal_Y_translation"])) + xs = [int(stage[key]) for stage in recipe["stage_alignment"] for key in ("entry_X", "exit_X")] + for _, _, donor, receiver, axes in moves: + require(donor == 10 and receiver in (12, 13) and len(axes) == 3, "PR3184 star geometry") + translations = [ + int(recipe["idle_children"][donor]["translation_after"]), + int(recipe["idle_children"][receiver]["translation_after"]), + ] + for axis in axes: + require(axis in baseline[donor], "PR3184 moved axis belongs to donor") + require( + all(not parity(axis, vector) for vector in context["full_axes"][receiver] + ys + xs + translations), + "PR3184 moved axis satisfies the declared commuting rule", + ) + trial[donor].remove(axis) + trial[receiver].append(axis) + moved.append((donor, receiver, axis)) + + moved_axes = [axis for _, _, axis in moved] + require(len(moved_axes) == len(set(moved_axes)) == 6, "PR3184 star axes are distinct") + require(all(not parity(a, b) for i, a in enumerate(moved_axes) for b in moved_axes[i + 1 :]), "PR3184 star phases are pairwise orthogonal") + require({child: len(trial[child]) for child in (8, 10, 12, 13)} == {8: 48, 10: 42, 12: 51, 13: 51}, "PR3184 star rank profile") + + isolated = [] + first_witness = None + for donor, receiver, axis in moved: + single = {child: list(values) for child, values in baseline.items()} + single[donor].remove(axis) + single[receiver].append(axis) + baseline_matrix = replay(context, baseline, axis, blocks) + single_matrix = replay(context, single, axis, blocks) + star_matrix = replay(context, trial, axis, blocks) + differences = matrix_differences(baseline_matrix, star_matrix) + require(single_matrix != baseline_matrix, "every selected PR3184 star axis has a failing single-transfer control") + require(star_matrix == single_matrix, "orthogonal star overlay reduces exactly to its active single move") + require(differences, "PR3184 star changes the exact operator at an active axis") + isolated.append({"axis": axis, "receiver": receiver, "differences": len(differences)}) + if first_witness is None: + first_witness = { + "character": axis, + "baseline": baseline_matrix, + "single_overlay": single_matrix, + "star_overlay": star_matrix, + "differences": differences, + } + return { + "source_head": PR3184_HEAD, + "moves_sha256": PR3184_STAR_SHA256, + "moves": moves, + "rank_vector": {str(child): len(trial[child]) for child in (8, 10, 12, 13)}, + "axes_pairwise_orthogonal": True, + "isolated_axis_checks": isolated, + "first_witness": first_witness, + "scope": "one exact owner-replica-0/port-0 star from PR3184; the complete single-transfer census extends the same isolation argument to every same-centre star over these four children on the audited 112 owner-0 port recipes", + } + + def check_mutations(base, journal): altered = json.loads(json.dumps(journal)) altered["edits"][0][1][0] ^= 1 @@ -383,6 +516,7 @@ def run(): vendor = PACKAGE / "vendor" base = decode(read_bytes(vendor / "BASE-FILL.json.gz"))["rows"] journal = decode(read_bytes(vendor / "EXCHANGE.json")) + pr3184_star = decode(read_bytes(vendor / "PR3184-STAR-MOVES.json.gz")) rows_by_port = project_all_ports(base, journal_edits(base, journal)) order_base = decode(read_bytes(ROOT / "research/rank7-joint-endframes/allocation/ORDER.json")) require(len(order_base) == 666, "base chronology count") @@ -397,19 +531,34 @@ def run(): require(len(recipes) == 112, "port recipe count") blocks = stage_blocks(template) + single_count = single_failures = 0 forward_count = reverse_count = forward_failures = reverse_failures = 0 per_port = [] + first_single_witness = None first_forward_witness = None + star_witness = None baseline_modes = None for port in range(112): context = prepare_port(port, rows_by_port[port], order, dispatch, providers, plan, template, recipes) context["residual"] = context.pop("residual") + require( + all(orthonormal(context["full_axes"][child]) for child in (8, 10, 12, 13)), + "four idle-child source bases are orthonormal", + ) if port == 0: baseline_modes = check_baseline(context, context["residual"], blocks) + star_witness = check_pr3184_star(context, blocks, pr3184_star) require( replay(context, context["residual"], 0, blocks) == identity(), "zero-character baseline identity control", ) + single, single_bad, single_witness = check_single_transfers( + context, blocks, (8, 10, 12, 13) + ) + single_count += single + single_failures += single_bad + if port == 0: + first_single_witness = single_witness f, ff, fw = check_candidate_pair( context, blocks, (8, 10), (12, 13) ) @@ -420,25 +569,39 @@ def run(): reverse_count += r forward_failures += ff reverse_failures += rf - per_port.append([port, f, ff, r, rf]) + per_port.append([port, single, single_bad, f, ff, r, rf]) if port == 0: first_forward_witness = fw require(check_mutations(base, journal), "mutated journal preimage accepted") require(baseline_modes == 147, "baseline positive-control mode count") - require(forward_count == forward_failures and reverse_count == reverse_failures, "unrejected eligible transfer") + require(single_count == single_failures, "unrejected eligible single transfer") + require(single_count == 21504 and all(row[1] == row[2] == 192 for row in per_port), "single transfer census") + require(forward_count == forward_failures and reverse_count == reverse_failures, "unrejected eligible paired transfer") require(forward_count == reverse_count == 2688, "paired transfer count") - require(all(row[1] == row[2] == row[3] == row[4] == 24 for row in per_port), "per-port paired census") + require(all(row[3] == row[4] == row[5] == row[6] == 24 for row in per_port), "per-port paired census") + require(first_single_witness is not None, "exact single-transfer witness") require(first_forward_witness is not None and first_forward_witness["axis"] == 7, "exact forward witness") + require(star_witness is not None and len(star_witness["isolated_axis_checks"]) == 6, "exact PR3184 star witness") return { - "status": "PASS_NO_OPERATOR_PRESERVING_RANK_CHANGING_PAIRED_TRANSFER", + "status": "PASS_NO_OPERATOR_PRESERVING_SINGLE_PAIRED_OR_STAR_TRANSFER", "base_main": BASE_MAIN, "fill_payload_sha256": FILL_SHA256, "authenticated_fill_rows": TOTAL_ROWS, "ports": 112, "baseline_modes_port0": baseline_modes, + "single_transfer": {"eligible": single_count, "fail_at_own_axis_character": single_failures}, + "port0_single_witness": first_single_witness, "forward": {"eligible": forward_count, "fail_at_own_axis_character": forward_failures}, "reverse": {"eligible": reverse_count, "fail_at_own_axis_character": reverse_failures}, "port0_forward_witness": first_forward_witness, + "port0_pr3184_star_witness": star_witness, + "star_isolation": { + "audited_ports": 112, + "orthonormal_source_bases_per_port": True, + "eligible_single_moves": single_count, + "single_moves_failing_at_own_axis": single_failures, + "conclusion": "any nonempty same-centre star from the orthonormal donor basis to these four children has an own-axis counterexample on the audited owner-replica-0 port recipes", + }, "per_port_counts": per_port, "selected_frontier_changed": False, "new_kappa": None, @@ -458,8 +621,9 @@ def main(): require(result == expected, "stored result differs") print( result["status"] - + f" ports={result['ports']} forward={result['forward']['eligible']}" - + f" reverse={result['reverse']['eligible']} baseline_modes={result['baseline_modes_port0']}" + + f" ports={result['ports']} single={result['single_transfer']['eligible']}" + + f" paired={result['forward']['eligible']}/{result['reverse']['eligible']}" + + f" baseline_modes={result['baseline_modes_port0']}" + " no_new_kappa" )