diff --git a/research/p104-dirty-catalysis/LIFT-RECIPES.json b/research/p104-dirty-catalysis/LIFT-RECIPES.json new file mode 100644 index 0000000000..0f09d433ad --- /dev/null +++ b/research/p104-dirty-catalysis/LIFT-RECIPES.json @@ -0,0 +1 @@ +[{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,32,16,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,8,16,32,64,384],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y0"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,32,16,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,8,16,32,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y1"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,32,17,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,33,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,8,272,32,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y2"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,16,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,32,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,264,16,288,64,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y3"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,17,9,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,17,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,264,272,288,64,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y4"},{"new":[1,2,4,8,16,32,64,128,256],"old":[264,136,64,40,24,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,17,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,2,0,0,0,0,2],"matrix_rows":[264,1,2,4,256,272,288,64,384],"offset":16,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y5"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,34,16,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,32,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,264,16,288,64,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y6"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,32,17,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,33,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,264,272,32,320,128],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y7"},{"new":[1,2,4,8,16,32,64,128,256],"old":[272,128,64,48,8,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,16,33,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[272,1,2,4,8,256,288,64,128],"offset":33,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y8"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,64,34,16,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,8,16,288,64,128],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y9"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,33,16,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,8,16,288,64,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y10"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,33,17,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,33,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,8,272,288,64,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y11"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,66,32,18,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,33,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,264,272,32,320,128],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y12"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,33,16,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,32,65,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,8,16,288,320,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y13"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,17,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,1,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,2,0,0,0,0],"matrix_rows":[17,16,18,20,24,32,64,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y14"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,16,8,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,16,32,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,2,0,0,0],"matrix_rows":[32,1,2,4,8,16,64,128,256],"offset":1,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y15"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,16,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,32,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,68,72,16,32,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y16"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,17,9,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,17,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,2,68,72,80,32,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y17"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,72,32,24,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,17,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[72,1,2,4,64,80,32,128,256],"offset":17,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y18"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,66,32,16,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,32,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[66,1,64,4,72,16,32,128,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y19"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,33,16,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,32,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,2,0,0,0],"matrix_rows":[33,32,2,36,8,16,64,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y20"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,18,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,1,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,2,0,0,0,0],"matrix_rows":[18,1,16,4,24,32,64,128,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y21"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,33,17,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,33,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,68,72,80,96,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y22"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,160,96,16,8,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,16,32,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[160,1,2,4,8,16,128,192,256],"offset":65,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y23"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,32,17,9,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,17,33,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,132,136,144,32,192,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y24"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,144,64,48,8,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,16,33,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[144,1,2,4,8,128,160,64,256],"offset":33,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y25"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,64,34,16,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,32,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,4,8,16,160,64,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y26"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,64,33,16,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,32,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,132,8,16,160,64,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y27"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,64,33,17,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,33,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,2,132,8,144,160,64,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y28"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,66,32,18,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,33,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,4,136,144,32,192,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y29"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,33,16,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,32,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,2,132,8,16,160,192,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y30"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,66,34,18,10,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,17,33,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,2,0,0],"matrix_rows":[66,1,64,4,72,80,96,128,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y31"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,32,16,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,32,64,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,8,16,32,64,128],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y32"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,66,34,16,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,32,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,264,16,288,320,384],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y33"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,32,16,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,8,16,32,64,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y34"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,32,18,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,33,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,272,32,64,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y35"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,34,18,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,264,272,288,64,384],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y36"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,16,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,32,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,264,16,288,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y37"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,66,32,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,64,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,16,32,320,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y38"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,132,68,32,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,64,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,8,272,32,320,384],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y39"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,33,16,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,8,16,288,64,128],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y40"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,64,34,18,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,33,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,272,288,64,128],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y41"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,32,17,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,33,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,264,272,32,320,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y42"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,32,16,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,32,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,264,16,32,320,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y43"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,66,34,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,65,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,16,288,320,128],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y44"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,128,68,36,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,65,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,8,272,288,320,128],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y45"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,32,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,64,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,264,272,32,64,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y46"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,66,32,18,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,2,0,0],"matrix_rows":[66,1,64,68,72,80,32,128,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y47"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,16,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,32,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,2,4,72,16,32,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y48"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,34,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,2,0,0,0],"matrix_rows":[34,1,32,36,8,16,64,128,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y49"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,36,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,2,0,0,0],"matrix_rows":[36,1,2,32,8,48,64,128,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y50"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,17,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,1,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,2,0,0,0,0],"matrix_rows":[17,16,2,4,24,32,64,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y51"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,16,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,1,16,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,2,0,0,0,0,0],"matrix_rows":[9,8,10,4,16,32,64,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y52"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,68,36,16,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,32,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[68,1,2,64,8,16,96,128,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y53"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,33,17,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,33,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,4,8,80,96,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y54"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,64,32,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,64,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,132,8,16,32,64,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y55"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,64,32,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,64,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,8,144,32,64,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y56"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,33,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,4,136,144,160,192,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y57"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,68,36,16,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,32,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,136,16,160,192,256],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y58"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,68,32,16,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,32,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,8,16,32,192,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y59"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,32,17,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,33,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,4,8,144,32,192,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y60"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,64,36,20,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,33,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,136,144,160,64,256],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y61"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,64,34,16,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,32,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,132,136,16,160,64,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y62"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,64,33,16,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,32,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,2,4,8,16,160,64,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y63"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,64,34,18,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,33,65,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,132,8,144,160,64,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y64"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,32,17,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,33,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,2,4,136,144,32,192,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y65"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,65,32,16,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,32,64,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,4,136,16,32,192,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y66"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,130,66,34,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,2,0],"matrix_rows":[130,1,128,132,8,16,160,192,256],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y67"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,68,36,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,65,129,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,8,144,160,192,256],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y68"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,129,64,32,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,64,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,2,0],"matrix_rows":[129,128,130,4,136,144,32,64,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y69"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,132,64,32,16,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,32,64,128,1,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,2,0],"matrix_rows":[132,1,2,128,136,16,32,64,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y70"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,33,17,9,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,17,33,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,2,4,72,80,96,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y71"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,33,16,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,32,65,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,4,72,16,96,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y72"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,16,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,1,8,16,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,0,0],"matrix_rows":[4,1,2,8,16,32,64,128,256],"offset":1,"phase":1,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y73"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,32,17,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,1,32,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,2,0,0,0,0],"matrix_rows":[17,16,18,4,8,32,64,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y74"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,33,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,2,0,0,0],"matrix_rows":[33,32,34,4,40,48,64,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y75"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,64,36,16,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,32,1,64,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,2,0,0,0],"matrix_rows":[36,1,2,32,40,16,64,128,256],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y76"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,16,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,32,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,4,8,16,32,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y77"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,17,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,2,4,8,80,32,128,256],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y78"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,64,32,16,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,32,64,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,16,32,64,128],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y79"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,128,64,32,20,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,33,64,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,8,272,32,64,128],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y80"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,33,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,65,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,264,272,288,320,128],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y81"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,128,68,32,16,8,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,16,32,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,8,16,32,320,128],"offset":9,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y82"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,65,32,17,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,33,64,129,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,8,272,32,320,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y83"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,128,64,36,20,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,33,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,264,272,288,64,128],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y84"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,128,64,34,16,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,264,16,288,64,128],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y85"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,65,32,17,9,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,17,33,64,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,264,272,32,320,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y86"},{"new":[1,2,4,8,16,32,64,128,256],"old":[260,132,68,32,16,12,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,9,17,32,64,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,2,0,0,0,0,0,2],"matrix_rows":[260,1,2,256,264,16,32,320,384],"offset":8,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y87"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,16,8,4,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,8,16,32,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,4,8,16,288,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y88"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,17,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,8,272,288,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y89"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,32,16,10,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,17,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,264,16,32,64,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y90"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,65,33,16,8,4,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,8,16,32,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,4,8,16,288,320,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y91"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,66,34,18,8,6,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,9,16,33,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,260,8,272,288,320,384],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y92"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,66,32,18,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,2,0,0],"matrix_rows":[66,1,64,4,8,80,32,128,256],"offset":5,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y93"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,128,64,33,16,9,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,17,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,264,16,288,64,128],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y94"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,64,34,18,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,8,272,288,64,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y95"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,32,16,9,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,17,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,264,16,32,64,384],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y96"},{"new":[1,2,4,8,16,32,64,128,256],"old":[258,130,66,34,16,8,4,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,5,8,16,32,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,2,0,0,0,0,0,0,2],"matrix_rows":[258,1,256,4,8,16,288,320,384],"offset":4,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y97"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,65,33,17,8,5,2],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,4,9,16,33,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,2,260,8,272,288,320,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y98"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,65,33,16,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,32,65,129,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,8,16,288,320,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y99"},{"new":[1,2,4,8,16,32,64,128,256],"old":[264,136,64,32,16,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,17,32,64,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[264,1,2,4,256,16,32,64,384],"offset":17,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y100"},{"new":[1,2,4,8,16,32,64,128,256],"old":[257,129,64,33,17,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,33,65,128,257,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[257,256,258,260,8,272,288,64,384],"offset":3,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y101"},{"new":[1,2,4,8,16,32,64,128,256],"old":[264,128,64,40,16,4,2,1],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[2,4,8,17,32,65,128,256,1],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[0,0,0,0,0,0,0,0,2],"matrix_rows":[264,1,2,4,256,16,288,64,128],"offset":17,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y102"},{"new":[1,2,4,8,16,32,64,128,256],"old":[256,128,65,32,17,8,5,3],"recipe":{"left":{"linear_Z4":[2,0,0,0,0,0,0,0,0],"matrix_rows":[3,5,9,16,33,64,1,128,256],"offset":0,"phase":0,"quadratic_rows":[0,0,0,0,0,0,0,0,0]},"rank":1,"right":{"linear_Z4":[2,0,0,0,0,0,2,0,0],"matrix_rows":[65,64,66,68,8,80,32,128,256],"offset":2,"phase":3,"quadratic_rows":[0,0,0,0,0,0,0,0,0]}},"role":"Y103"}] diff --git a/research/p104-dirty-catalysis/PROOF.md b/research/p104-dirty-catalysis/PROOF.md new file mode 100644 index 0000000000..adcdc67af3 --- /dev/null +++ b/research/p104-dirty-catalysis/PROOF.md @@ -0,0 +1,158 @@ +# Late FULL delivery removes the eight private descents + +## Contract and changed premise + +The object is the exact 4,058-event witness frozen in the main-branch native +P104 package, followed by the actual PR3882 correction builder at scientific +head `9d56eeedbed5e3e9bbbc8c189d66f14cf15b6067` (publication +`d76586303e7036baa74f8deb2155038290174ffd`). Inputs are 104 source rows, +104 target rows, and 72 independent arbitrary dirty Q/G/D rows. Coefficients +are dyadic; no query or delivery helper is initialized to zero. + +PR3965 establishes that deleting the eight copy intervals with their original +consumers unchanged is wrong, and that replacing each private descent by a +same-query descent/return pays another56. Here we change the consumers and +cleanup jointly. We retain every public native transport and the original +Q producers, initial compensations, and Q source cleanup. We replace the +32 early copy deliveries **and** their32 paired D cleanup reads by416 late +FULL reads. The104 target lifts already present in PR3882 are retimed, once. +This is a different chronological contract, not a counterexample to3965's +fixed-consumer result or the earlier fixed-boundary COPY56 results. + +## Actual cones and causal identity + +For each query j the verifier extracts the literal interval +`zero C; copy C,Qj; transport C; Dk += C ...; erase C`, its D consumers, +their later Y reads, and their FULL cleanup `Dk -= Qj`. +The eight query records in RESULT.json contain every original zero-based +index, all416 real Y reads, all32 cleanup indices, and all query source +coefficients. Each query at copy time is exactly + + q_j = h_j + a_j^t x, + +with coefficient1 on its own arbitrary dirty input h_j and no other dirty +input. The actual producer a_j is extracted from the whole word; it is not +postulated. It stays untouched, apart from native frame changes, until cut +3641. Each Y response u_ij is the sum of actual post-injection reads of +that query's D helpers. There are52 nonzero u_ij per query, all ±1/4. + +Each D helper's initial dirty contribution to Y already has its compensating +initial read. Removing both its q_j injection and its final subtraction +therefore restores its original dirty row while omitting exactly u_ij q_j +from each Y row. The inherited initial Q/Y compensation remains. Adding +u_ij q_j directly at FULL restores the exact old Y row, including cancellation +of h_j; the existing subsequent Q source cleanup restores q_j to h_j. +No dirty erasure, missing copy owner, or changed source preparation occurs. + +This identity is verified on all280 independent input columns by exact +Fraction arithmetic. It preserves every final row, including the residual +encoding, rather than only the104 sum outputs. For a bounded pilot, just +Q0's five D helpers and52 reads give combined mass2569 and exact equivalence; +the same verified extraction extends to all8 queries. + +## Chronology and native physical operators + +Delete the eight complete C intervals and32 D/Q cleanup additions. Retain +all other witness events. Immediately after original event3641, lift every +Y from its literal final hyperplane to FULL. All104 X and72 Q/G/D are already +FULL, all Y have finished their terminal transports, and the remaining416 +original events are only Q/X source-cleanup additions at FULL. For each Qj: +halve twice, perform its52 signed unit Y additions, then double twice. +Thus the donor is restored before any Q cleanup. Complete the old Q cleanup. +Finally execute the old PR3882 tail with its104 initial lifts removed. + +The physical row invariant is the native package's +`physical_r = Gamma_(frame_r) * logical_row_r`. The retained public native +subsequence is checked literally equal to the inherited sequence. The only +removed positive children are the eight private rank7 descents. The104 +inserted lifts are implemented in LIFT-RECIPES.json, each as actual Gaussian +monomials around one rank1 positive child, not admitted by a rank count. +Their old frame is bound to the **exact ordered canonical basis** in the +certificate for the corresponding last Y transport; equality of spans alone +would not fix its chart operator. Their target is the same F9 used by Q/X. +The independent native interpreter checks signed Pauli actions and exact +phase for all104 complete operators. These determine the full Clifford; +512 Gaussian columns are also compared for the first lift. A changed global +phase rejects. No new direct read is allowed outside the common FULL chart. + +The remaining historical native operators and endpoint adapters are inherited +from PR1991. We do not claim a fresh replay of that entire native certificate. +The raw changed module now has104 source and target FULL endpoints,72 restored +dirty FULL helpers, and no private allocation or discard. It implements the +same Gram row map. Its monotone boundary progress and native mass are both +2416 (=2312+104). This changed raw boundary is not the old partially transformed +channel boundary. It does not by itself implement I or admit a global supplier. + +The saving is also available to the source-preserving PR3894 continuation +(head `13b397e36d43f2a91b9e6d42b3ca67f0ec50cea7`). Its104 Y lifts can be +grouped first, since each target's later correction reads only unchanged X +rows and its lowering touches only that target. Our raw FULL endpoint equals +the original raw channel followed by those grouped lifts on all280 columns. +Thus its remaining4,992 target additions and104 target returns compose with +the identical input interface, giving the same2576→2520 native saving without +consuming X. This is a compositional transfer using PR3894's stated schedule; +we do not claim a fresh replay of its frozen correction here. In particular, +56 saved native mass is not an advantage exclusive to role exchange. + +The final104 drops/role-exchange interface of PR3882 retains that predecessor's +physical/global admission qualifications. This package establishes exact +normalized endpoint equality and a new native implementation of the retimed +prefix; it does not fill the unproved all-size or global-owner implications. + +## Complete local accounting and conditional caller gate + +| Item | Original channel +3882 tail | Changed module +remaining tail | +|---|---:|---:| +| Native channel rank mass |2368|2312| +| Y lifts |104|104| +| Final drops |104|104| +| Total positive-child mass |2576|2520| +| Private zero/copy/erase |8 each|0| +| Raw channel weighted ADDs |2624|2976| +| Explicit new half/double |0|16 each| + +Original channel profile is +`{1:1074,2:58,3:86,4:104,5:48,6:24,7:8,8:8}`. +Changed raw module including lifts is +`{1:1178,2:58,3:86,4:104,5:48,6:24,8:8}` (mass2416). +Add104 rank1 final drops to obtain combined mass2520. The correction's +remaining1248 unit ADDs and104 each half/double are unchanged. + +For a reproducible complete scalar tariff, lower each old coefficient p/2^s +separately as s donor halves, |p| signed unit ADDs, s donor doubles. This is a +valid deliberately unoptimized implementation, not a scalar lower bound. +Old channel:3872 unit ADDs and2496 each half/double. New module:4224 unit ADDs +and2512 each half/double. Including the unchanged tail gives5472 unit ADDs +and2616 each half/double, versus5120 and2600. There are no unpriced nonunit +coefficients in the new416 deliveries. All old widths/precision obligations +remain; rank mass does not erase this finite scalar overhead. + +Under precisely PR3954's optimistic two-axis hosting/coverage assumptions, +there are208 calls and10816 anchors. Corrected local endpoint progress remains +2312. The old complete excess44096 decreases by208*56=11648 to32448: + + 208*(2520-2312) - 10816 = 32448 > 0. + +The complete bill is2997696 over denominator2965248. Its zero-exponent moment +is therefore greater than1; with all widths at most81, the same monotonicity +argument excludes the retained favorable gate throughout 0<=a<1. No further +construction round follows from this gate. The raw all-FULL module's changed +progress2416 requires a new caller/entrance/coverage invoice; substituting +2416 into the old formula would silently change the contract. We make no +such global claim and do not change the selected frontier. + +## Verification and remaining work + +Four semantic controls remove delivery, move delivery after Q cleanup, omit +one real target, or fail to restore the quartered dirty donor. Each fails +exact row equality. Separate optimized CLI processes reject Boolean/float +receipt types, duplicate keys, false savings, changed/missing source bytes, +and changed frozen tail bytes, after first validating each private fixture. +All checks use exceptions, not optimization-removable assertions. + +Next genuinely different questions are an actual caller for the new all-FULL +Gram boundary and a complete jointly redesigned correction with owner/coverage +and all-size accounting. Combining this change with PR3943's earlier tail and +compressed Q cleanup requires a new chronology proof; the scalar savings from +that PR are not credited here. No universal copy or native-rank lower bound, +new source-preserving cost optimum, or improved kappa is claimed. diff --git a/research/p104-dirty-catalysis/README.md b/research/p104-dirty-catalysis/README.md new file mode 100644 index 0000000000..b8964a787b --- /dev/null +++ b/research/p104-dirty-catalysis/README.md @@ -0,0 +1,51 @@ +# P104 late FULL dirty-query delivery + +A concrete coupled consumer/cleanup rewrite removes all eight private rank7 +COPY descents while preserving the exact PR3882 endpoint encoding and all72 +arbitrary dirty helper returns. The existing104 target lifts move before Q +source cleanup;416 late FULL reads replace32 private deliveries and32 paired +D cleanup reads. Native mass falls2576→2520, with352 additional unit ADDs and +16 each donor half/double. No private register is created or erased. + +The raw all-FULL Gram module has mass and monotone progress2416. It changes the +boundary of the original2312-progress channel. Under the unchanged PR3954 +corrected two-axis contract the complete gate still fails by32448. No supplier, +all-size admission, frontier improvement, or universal copy lower bound. + +See [PROOF.md](PROOF.md), [RESULT.json](RESULT.json), and [VERIFY.json](VERIFY.json). +Run `python3.12 -B research/p104-dirty-catalysis/verify.py` and `native.py` at +the same path. The latter independently checks104 actual rank1 lift operators +including global phase, bound to the inherited canonical physical charts. +The full historical native channel is inherited, not freshly replayed here. + +## Provenance and scope + +Canonical main20ecf2891d80b5acf18d980b2164fb44ea7faa90, priority6. Explicitly +assigned changed-consumer study. The07:38:11UTC complete676-open-PR body cache +(including drafts), repository overlap helper, and root coordinator's live +board/claim review found no equivalent late-FULL delivery construction. The +helper's Discussion cache was absent; this is bounded overlap evidence, not +a novelty certificate. Final checkpoint is recorded in the PR handoff. + +Credit Rohan Arun's PR1972 scalar/frame word; Chafik Boukhalfa's PR1991 native +certificate; Adam Gall's PR1940 delivery work; compiler lineage icekylinx PR531 +and independent interpreter PR1862; Josie Elliston, Sagar Thakrar, Douglas +Colkitt and Dominik Scholz's E8/P104 work. Chris R / Clear1nsight's PR3882 +supplies the unchanged geometry and actual correction builder, PR3943 the +related earlier-cut Q cleanup precedent, PR3954 the conditional two-axis bill, +and PR3965 the source-bound fixed-consumer audit and sparse evaluator adapted +here. PR3961/3962 and PR3966 establish distinct boundary, coverage, and gauge +constraints. This rewrite changes the producer-to-consumer chronology beyond +3965's fixed-route premise and credits no3943 scalar cleanup savings. + +Prepared by Chris R / Clear1nsight with substantial OpenAI Codex assistance. +Apache-2.0, following the repository and retained source licenses. Unchanged +pending-PR builder bytes are vendored with exact original blob/head/hash in +SOURCES.json; no unmerged pin is assumed to exist in a main-only source export. + +## Open next questions + +Can an actual caller use the changed all-FULL Gram boundary with a complete +entrance, physical-intertwiner, arbitrary-dirty-owner, coverage and all-size +invoice? First specify that caller and its full cost gate. The corrected +PR3954 caller still fails, so this package stops with the local construction. diff --git a/research/p104-dirty-catalysis/RESULT.json b/research/p104-dirty-catalysis/RESULT.json new file mode 100644 index 0000000000..463a37d893 --- /dev/null +++ b/research/p104-dirty-catalysis/RESULT.json @@ -0,0 +1,1614 @@ +{ + "arbitrary_input_roles": 280, + "baseline_channel_mass": 2368, + "baseline_profile": { + "1": 1074, + "2": 58, + "3": 86, + "4": 104, + "5": 48, + "6": 24, + "7": 8, + "8": 8 + }, + "baseline_scalar_lowering": { + "double": 2496, + "half": 2496, + "unit_add": 3872 + }, + "combined3882_mass": 2520, + "copy_free_channel_with_lifts_mass": 2416, + "native_mass_saved": 56, + "new_two_axis_bill": 2997696, + "new_two_axis_gap": 32448, + "old_two_axis_gap": 44096, + "private_owners": 0, + "query_records": [ + { + "cleanup_events": [ + 3579, + 3581, + 3583, + 3585, + 3587 + ], + "delivery_helpers": [ + "D0", + "D1", + "D2", + "D3", + "D4" + ], + "private_interval": [ + 2461, + 2469 + ], + "query": "Q0", + "query_source_coefficients": { + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X11": "2", + "X12": "-2", + "X15": "2", + "X16": "-2", + "X19": "2", + "X20": "-2", + "X24": "2", + "X25": "-2", + "X28": "2", + "X29": "-2", + "X3": "-2", + "X33": "2", + "X34": "-2", + "X37": "2", + "X38": "-2", + "X41": "2", + "X42": "-2", + "X45": "2", + "X46": "-2", + "X48": "2", + "X49": "-2", + "X52": "2", + "X53": "-2", + "X56": "2", + "X57": "-2", + "X6": "2", + "X60": "2", + "X61": "-2", + "X64": "2", + "X65": "-2", + "X68": "2", + "X69": "-2", + "X7": "2", + "X72": "2", + "X73": "-2", + "X76": "2", + "X77": "-2", + "X8": "-2", + "X80": "2", + "X81": "-2", + "X83": "2", + "X84": "-2", + "X87": "2", + "X88": "-2", + "X90": "2", + "X91": "-2", + "X96": "2", + "X97": "-2", + "X99": "2" + }, + "read_events": [ + 2746, + 2748, + 2750, + 2752, + 2754, + 2756, + 2758, + 2760, + 2780, + 2782, + 2784, + 2786, + 2788, + 2790, + 2792, + 2794, + 2860, + 2862, + 2864, + 2866, + 2868, + 2870, + 2872, + 2874, + 2876, + 2878, + 2969, + 2971, + 2973, + 3016, + 3018, + 3020, + 3022, + 3131, + 3133, + 3135, + 3168, + 3170, + 3176, + 3179, + 3181, + 3258, + 3291, + 3293, + 3331, + 3334, + 3336, + 3375, + 3381, + 3401, + 3403, + 3450 + ], + "target_coefficients": { + "Y0": "1/4", + "Y1": "-1/4", + "Y10": "-1/4", + "Y11": "1/4", + "Y16": "-1/4", + "Y17": "1/4", + "Y18": "-1/4", + "Y19": "1/4", + "Y2": "1/4", + "Y25": "-1/4", + "Y26": "1/4", + "Y27": "-1/4", + "Y28": "1/4", + "Y3": "-1/4", + "Y33": "1/4", + "Y38": "-1/4", + "Y39": "1/4", + "Y4": "1/4", + "Y42": "-1/4", + "Y43": "1/4", + "Y44": "-1/4", + "Y45": "1/4", + "Y49": "-1/4", + "Y5": "-1/4", + "Y50": "1/4", + "Y51": "-1/4", + "Y52": "1/4", + "Y55": "-1/4", + "Y56": "1/4", + "Y6": "1/4", + "Y61": "-1/4", + "Y62": "1/4", + "Y65": "-1/4", + "Y66": "1/4", + "Y67": "-1/4", + "Y68": "1/4", + "Y71": "-1/4", + "Y72": "1/4", + "Y77": "-1/4", + "Y78": "1/4", + "Y79": "-1/4", + "Y8": "-1/4", + "Y80": "1/4", + "Y84": "-1/4", + "Y85": "1/4", + "Y88": "-1/4", + "Y89": "1/4", + "Y9": "1/4", + "Y90": "1/4", + "Y97": "-1/4", + "Y98": "-1/4", + "Y99": "1/4" + } + }, + { + "cleanup_events": [ + 3589, + 3591, + 3593 + ], + "delivery_helpers": [ + "D5", + "D6", + "D7" + ], + "private_interval": [ + 2470, + 2476 + ], + "query": "Q1", + "query_source_coefficients": { + "X10": "2", + "X101": "-2", + "X102": "2", + "X11": "2", + "X12": "2", + "X14": "2", + "X21": "-2", + "X22": "-2", + "X23": "2", + "X3": "-2", + "X30": "-2", + "X31": "2", + "X36": "-2", + "X37": "-2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X5": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X57": "2", + "X58": "2", + "X6": "-2", + "X67": "-2", + "X68": "-2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X8": "2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "2", + "X94": "-2", + "X95": "2" + }, + "read_events": [ + 2526, + 2528, + 2530, + 2532, + 2534, + 2536, + 2538, + 2540, + 2542, + 2544, + 2546, + 2548, + 2550, + 2735, + 2737, + 2739, + 2741, + 2743, + 2763, + 2765, + 2767, + 2769, + 2771, + 2773, + 2775, + 2777, + 2955, + 2957, + 2959, + 3005, + 3007, + 3009, + 3011, + 3013, + 3106, + 3108, + 3110, + 3112, + 3114, + 3207, + 3209, + 3229, + 3231, + 3233, + 3235, + 3308, + 3310, + 3312, + 3348, + 3350, + 3406, + 3426 + ], + "target_coefficients": { + "Y10": "1/4", + "Y102": "1/4", + "Y103": "1/4", + "Y11": "1/4", + "Y12": "1/4", + "Y13": "1/4", + "Y14": "1/4", + "Y15": "1/4", + "Y16": "1/4", + "Y17": "1/4", + "Y18": "1/4", + "Y19": "1/4", + "Y20": "1/4", + "Y21": "1/4", + "Y22": "-1/4", + "Y31": "1/4", + "Y32": "1/4", + "Y33": "-1/4", + "Y34": "-1/4", + "Y35": "-1/4", + "Y36": "-1/4", + "Y37": "-1/4", + "Y38": "-1/4", + "Y39": "-1/4", + "Y55": "1/4", + "Y56": "1/4", + "Y57": "1/4", + "Y58": "1/4", + "Y59": "1/4", + "Y60": "1/4", + "Y61": "1/4", + "Y62": "1/4", + "Y63": "-1/4", + "Y64": "-1/4", + "Y65": "-1/4", + "Y66": "-1/4", + "Y67": "-1/4", + "Y68": "-1/4", + "Y69": "-1/4", + "Y7": "1/4", + "Y70": "-1/4", + "Y8": "1/4", + "Y86": "1/4", + "Y87": "1/4", + "Y88": "1/4", + "Y89": "1/4", + "Y9": "1/4", + "Y90": "1/4", + "Y91": "1/4", + "Y92": "1/4", + "Y93": "-1/4", + "Y94": "-1/4" + } + }, + { + "cleanup_events": [ + 3595, + 3597, + 3599, + 3601 + ], + "delivery_helpers": [ + "D10", + "D11", + "D8", + "D9" + ], + "private_interval": [ + 2477, + 2484 + ], + "query": "Q2", + "query_source_coefficients": { + "X10": "2", + "X102": "2", + "X103": "-2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X18": "-2", + "X19": "-2", + "X20": "-2", + "X21": "-2", + "X22": "-2", + "X31": "2", + "X32": "-2", + "X40": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X48": "-2", + "X49": "-2", + "X50": "-2", + "X51": "-2", + "X52": "-2", + "X53": "-2", + "X54": "-2", + "X7": "2", + "X71": "2", + "X72": "2", + "X73": "2", + "X74": "2", + "X75": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X8": "2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X83": "-2", + "X84": "-2", + "X85": "-2", + "X9": "2", + "X93": "2", + "X94": "-2" + }, + "read_events": [ + 2552, + 2554, + 2556, + 2558, + 2560, + 2562, + 2564, + 2566, + 2568, + 2570, + 2824, + 2826, + 2828, + 2830, + 2832, + 2834, + 2836, + 2838, + 2840, + 2842, + 2844, + 2846, + 2962, + 2964, + 2966, + 2976, + 2978, + 2980, + 3070, + 3072, + 3074, + 3076, + 3078, + 3080, + 3117, + 3119, + 3121, + 3163, + 3165, + 3173, + 3220, + 3222, + 3224, + 3226, + 3261, + 3263, + 3342, + 3359, + 3361, + 3378, + 3432, + 3441 + ], + "target_coefficients": { + "Y103": "-1/4", + "Y14": "-1/4", + "Y15": "-1/4", + "Y16": "-1/4", + "Y17": "-1/4", + "Y18": "-1/4", + "Y19": "-1/4", + "Y20": "-1/4", + "Y21": "-1/4", + "Y22": "1/4", + "Y23": "1/4", + "Y24": "1/4", + "Y25": "1/4", + "Y26": "1/4", + "Y27": "1/4", + "Y28": "1/4", + "Y29": "1/4", + "Y30": "1/4", + "Y31": "1/4", + "Y47": "-1/4", + "Y48": "-1/4", + "Y49": "-1/4", + "Y50": "-1/4", + "Y51": "-1/4", + "Y52": "-1/4", + "Y53": "-1/4", + "Y54": "-1/4", + "Y55": "-1/4", + "Y56": "-1/4", + "Y57": "-1/4", + "Y58": "-1/4", + "Y59": "-1/4", + "Y60": "-1/4", + "Y61": "-1/4", + "Y62": "-1/4", + "Y63": "1/4", + "Y64": "1/4", + "Y65": "1/4", + "Y66": "1/4", + "Y67": "1/4", + "Y68": "1/4", + "Y69": "1/4", + "Y70": "1/4", + "Y71": "1/4", + "Y72": "1/4", + "Y73": "1/4", + "Y74": "1/4", + "Y75": "1/4", + "Y76": "1/4", + "Y77": "1/4", + "Y78": "1/4", + "Y93": "1/4" + } + }, + { + "cleanup_events": [ + 3603, + 3605, + 3607, + 3609 + ], + "delivery_helpers": [ + "D12", + "D13", + "D14", + "D15" + ], + "private_interval": [ + 2485, + 2492 + ], + "query": "Q3", + "query_source_coefficients": { + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "-2", + "X12": "-2", + "X13": "-2", + "X14": "2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "-2", + "X23": "2", + "X24": "2", + "X29": "-2", + "X3": "-2", + "X30": "-2", + "X33": "2", + "X38": "-2", + "X39": "-2", + "X4": "-2", + "X40": "2", + "X41": "2", + "X46": "-2", + "X47": "2", + "X48": "2", + "X5": "-2", + "X53": "-2", + "X54": "-2", + "X55": "2", + "X56": "2", + "X6": "-2", + "X61": "-2", + "X62": "-2", + "X63": "2", + "X64": "2", + "X69": "-2", + "X7": "2", + "X70": "-2", + "X71": "2", + "X72": "2", + "X77": "-2", + "X78": "-2", + "X79": "2", + "X80": "2", + "X84": "-2", + "X85": "-2", + "X86": "2", + "X87": "2", + "X91": "-2", + "X92": "-2", + "X95": "2", + "X96": "2" + }, + "read_events": [ + 2572, + 2574, + 2576, + 2578, + 2580, + 2582, + 2584, + 2586, + 2588, + 2590, + 2592, + 2594, + 2596, + 2598, + 2600, + 2602, + 2849, + 2851, + 2853, + 2855, + 2857, + 2992, + 2994, + 2996, + 2998, + 3000, + 3002, + 3034, + 3036, + 3038, + 3041, + 3043, + 3045, + 3083, + 3085, + 3087, + 3243, + 3271, + 3273, + 3275, + 3281, + 3283, + 3303, + 3305, + 3353, + 3398, + 3409, + 3415, + 3417, + 3435, + 3444, + 3453 + ], + "target_coefficients": { + "Y0": "-1/4", + "Y11": "-1/4", + "Y12": "-1/4", + "Y13": "-1/4", + "Y17": "-1/4", + "Y19": "-1/4", + "Y2": "-1/4", + "Y20": "-1/4", + "Y21": "-1/4", + "Y26": "-1/4", + "Y28": "-1/4", + "Y29": "-1/4", + "Y30": "-1/4", + "Y31": "-1/4", + "Y32": "-1/4", + "Y33": "1/4", + "Y34": "1/4", + "Y35": "1/4", + "Y36": "1/4", + "Y37": "1/4", + "Y38": "1/4", + "Y4": "-1/4", + "Y40": "1/4", + "Y41": "1/4", + "Y42": "1/4", + "Y44": "1/4", + "Y47": "1/4", + "Y48": "1/4", + "Y49": "1/4", + "Y51": "1/4", + "Y55": "1/4", + "Y6": "-1/4", + "Y62": "-1/4", + "Y63": "1/4", + "Y64": "1/4", + "Y65": "1/4", + "Y67": "1/4", + "Y71": "1/4", + "Y78": "-1/4", + "Y79": "1/4", + "Y85": "-1/4", + "Y89": "-1/4", + "Y9": "-1/4", + "Y90": "-1/4", + "Y91": "-1/4", + "Y92": "-1/4", + "Y93": "1/4", + "Y94": "1/4", + "Y95": "1/4", + "Y96": "1/4", + "Y97": "1/4", + "Y98": "1/4" + } + }, + { + "cleanup_events": [ + 3611, + 3613, + 3615, + 3617 + ], + "delivery_helpers": [ + "D16", + "D17", + "D18", + "D19" + ], + "private_interval": [ + 2493, + 2500 + ], + "query": "Q4", + "query_source_coefficients": { + "X0": "-2", + "X1": "-2", + "X100": "-2", + "X101": "2", + "X12": "-2", + "X13": "2", + "X14": "-2", + "X15": "2", + "X2": "-2", + "X20": "-2", + "X21": "2", + "X23": "-2", + "X24": "2", + "X29": "-2", + "X3": "2", + "X30": "2", + "X34": "-2", + "X35": "-2", + "X36": "2", + "X37": "2", + "X4": "2", + "X42": "-2", + "X43": "-2", + "X44": "2", + "X45": "2", + "X49": "-2", + "X5": "2", + "X50": "-2", + "X51": "2", + "X52": "2", + "X57": "-2", + "X58": "-2", + "X59": "2", + "X6": "2", + "X60": "2", + "X65": "-2", + "X66": "-2", + "X67": "2", + "X68": "2", + "X7": "2", + "X73": "-2", + "X74": "-2", + "X75": "2", + "X76": "2", + "X81": "-2", + "X82": "2", + "X83": "2", + "X88": "-2", + "X89": "-2", + "X90": "2", + "X95": "-2", + "X96": "2" + }, + "read_events": [ + 2604, + 2606, + 2608, + 2610, + 2612, + 2614, + 2616, + 2618, + 2620, + 2622, + 2624, + 2626, + 2628, + 2630, + 2632, + 2634, + 2636, + 2797, + 2799, + 2801, + 2803, + 2805, + 2807, + 2809, + 2811, + 2813, + 2815, + 2817, + 2819, + 2821, + 2983, + 2985, + 2987, + 2989, + 3147, + 3149, + 3151, + 3153, + 3184, + 3186, + 3188, + 3191, + 3193, + 3195, + 3315, + 3326, + 3328, + 3339, + 3364, + 3366, + 3429, + 3447 + ], + "target_coefficients": { + "Y0": "-1/4", + "Y10": "1/4", + "Y101": "1/4", + "Y102": "1/4", + "Y103": "1/4", + "Y13": "1/4", + "Y15": "1/4", + "Y16": "1/4", + "Y18": "1/4", + "Y2": "-1/4", + "Y21": "1/4", + "Y24": "1/4", + "Y25": "1/4", + "Y27": "1/4", + "Y3": "1/4", + "Y30": "1/4", + "Y31": "1/4", + "Y32": "1/4", + "Y33": "-1/4", + "Y34": "-1/4", + "Y35": "-1/4", + "Y39": "-1/4", + "Y43": "-1/4", + "Y44": "1/4", + "Y5": "1/4", + "Y50": "-1/4", + "Y51": "1/4", + "Y55": "1/4", + "Y59": "1/4", + "Y60": "1/4", + "Y61": "1/4", + "Y66": "-1/4", + "Y67": "1/4", + "Y7": "1/4", + "Y71": "1/4", + "Y75": "1/4", + "Y76": "1/4", + "Y77": "1/4", + "Y79": "1/4", + "Y8": "1/4", + "Y82": "1/4", + "Y83": "1/4", + "Y84": "1/4", + "Y86": "1/4", + "Y87": "1/4", + "Y88": "1/4", + "Y90": "1/4", + "Y91": "1/4", + "Y92": "1/4", + "Y96": "1/4", + "Y97": "1/4", + "Y98": "1/4" + } + }, + { + "cleanup_events": [ + 3619, + 3621, + 3623 + ], + "delivery_helpers": [ + "D20", + "D21", + "D22" + ], + "private_interval": [ + 2501, + 2507 + ], + "query": "Q5", + "query_source_coefficients": { + "X1": "2", + "X10": "2", + "X100": "2", + "X101": "2", + "X102": "2", + "X11": "2", + "X12": "2", + "X13": "2", + "X14": "-2", + "X15": "-2", + "X16": "-2", + "X17": "-2", + "X2": "2", + "X22": "-2", + "X23": "-2", + "X24": "-2", + "X25": "-2", + "X26": "-2", + "X32": "-2", + "X35": "2", + "X37": "2", + "X38": "2", + "X39": "2", + "X41": "2", + "X42": "2", + "X43": "2", + "X44": "2", + "X45": "2", + "X46": "2", + "X47": "-2", + "X5": "2", + "X54": "2", + "X58": "2", + "X6": "2", + "X60": "2", + "X61": "2", + "X62": "2", + "X63": "-2", + "X70": "2", + "X74": "2", + "X76": "2", + "X77": "2", + "X78": "2", + "X79": "-2", + "X80": "-2", + "X81": "-2", + "X82": "-2", + "X86": "-2", + "X92": "2", + "X93": "2", + "X98": "2", + "X99": "2" + }, + "read_events": [ + 2638, + 2640, + 2642, + 2644, + 2646, + 2648, + 2650, + 2652, + 2654, + 2656, + 2658, + 2660, + 2662, + 2664, + 2666, + 2668, + 2670, + 2881, + 2883, + 2885, + 2887, + 2889, + 2891, + 2893, + 2895, + 2897, + 2899, + 2901, + 2903, + 2905, + 3025, + 3027, + 3029, + 3031, + 3057, + 3059, + 3061, + 3063, + 3065, + 3067, + 3198, + 3200, + 3202, + 3204, + 3246, + 3248, + 3250, + 3286, + 3288, + 3356, + 3384, + 3395 + ], + "target_coefficients": { + "Y100": "1/4", + "Y101": "1/4", + "Y102": "1/4", + "Y103": "1/4", + "Y22": "-1/4", + "Y23": "-1/4", + "Y24": "-1/4", + "Y25": "-1/4", + "Y26": "-1/4", + "Y27": "-1/4", + "Y28": "-1/4", + "Y29": "-1/4", + "Y30": "-1/4", + "Y31": "-1/4", + "Y32": "-1/4", + "Y33": "1/4", + "Y34": "1/4", + "Y35": "1/4", + "Y36": "1/4", + "Y37": "1/4", + "Y38": "1/4", + "Y39": "1/4", + "Y40": "1/4", + "Y41": "1/4", + "Y42": "1/4", + "Y43": "1/4", + "Y44": "1/4", + "Y45": "1/4", + "Y46": "1/4", + "Y47": "1/4", + "Y48": "1/4", + "Y49": "1/4", + "Y50": "1/4", + "Y51": "1/4", + "Y52": "1/4", + "Y53": "1/4", + "Y54": "1/4", + "Y55": "1/4", + "Y56": "1/4", + "Y57": "1/4", + "Y58": "1/4", + "Y59": "1/4", + "Y60": "1/4", + "Y61": "1/4", + "Y62": "1/4", + "Y93": "1/4", + "Y94": "1/4", + "Y95": "1/4", + "Y96": "1/4", + "Y97": "1/4", + "Y98": "1/4", + "Y99": "1/4" + } + }, + { + "cleanup_events": [ + 3625, + 3627, + 3629, + 3631 + ], + "delivery_helpers": [ + "D23", + "D24", + "D25", + "D26" + ], + "private_interval": [ + 2508, + 2515 + ], + "query": "Q6", + "query_source_coefficients": { + "X0": "2", + "X1": "-2", + "X10": "-2", + "X11": "-2", + "X16": "2", + "X17": "2", + "X18": "-2", + "X19": "-2", + "X2": "-2", + "X25": "2", + "X26": "2", + "X27": "-2", + "X28": "-2", + "X3": "2", + "X34": "2", + "X35": "-2", + "X36": "2", + "X37": "-2", + "X4": "2", + "X40": "2", + "X41": "-2", + "X46": "2", + "X47": "2", + "X48": "-2", + "X5": "-2", + "X53": "2", + "X54": "-2", + "X57": "2", + "X58": "-2", + "X59": "2", + "X6": "-2", + "X60": "-2", + "X63": "2", + "X64": "-2", + "X69": "2", + "X70": "-2", + "X73": "2", + "X74": "-2", + "X75": "2", + "X76": "-2", + "X8": "2", + "X81": "2", + "X82": "2", + "X83": "-2", + "X86": "2", + "X87": "-2", + "X9": "2", + "X91": "2", + "X92": "-2", + "X97": "2", + "X98": "-2", + "X99": "-2" + }, + "read_events": [ + 2672, + 2674, + 2676, + 2678, + 2680, + 2682, + 2684, + 2686, + 2688, + 2690, + 2692, + 2694, + 2696, + 2698, + 2700, + 2702, + 2704, + 2706, + 2708, + 2710, + 2712, + 2714, + 2716, + 2938, + 2940, + 2942, + 2944, + 2946, + 2948, + 2950, + 2952, + 3048, + 3050, + 3052, + 3054, + 3138, + 3140, + 3142, + 3144, + 3212, + 3214, + 3217, + 3238, + 3240, + 3296, + 3298, + 3300, + 3345, + 3369, + 3412, + 3438, + 3465 + ], + "target_coefficients": { + "Y0": "1/4", + "Y1": "-1/4", + "Y10": "-1/4", + "Y100": "1/4", + "Y101": "1/4", + "Y102": "1/4", + "Y103": "1/4", + "Y17": "1/4", + "Y18": "-1/4", + "Y26": "1/4", + "Y27": "-1/4", + "Y33": "1/4", + "Y34": "1/4", + "Y36": "1/4", + "Y39": "1/4", + "Y4": "1/4", + "Y40": "1/4", + "Y43": "1/4", + "Y45": "1/4", + "Y46": "1/4", + "Y47": "1/4", + "Y5": "-1/4", + "Y50": "1/4", + "Y52": "1/4", + "Y53": "1/4", + "Y56": "1/4", + "Y57": "1/4", + "Y59": "1/4", + "Y62": "1/4", + "Y63": "1/4", + "Y66": "1/4", + "Y68": "1/4", + "Y69": "1/4", + "Y72": "1/4", + "Y73": "1/4", + "Y75": "1/4", + "Y78": "1/4", + "Y80": "1/4", + "Y81": "1/4", + "Y82": "1/4", + "Y85": "1/4", + "Y86": "1/4", + "Y89": "1/4", + "Y9": "1/4", + "Y90": "1/4", + "Y91": "1/4", + "Y93": "1/4", + "Y94": "1/4", + "Y95": "1/4", + "Y96": "1/4", + "Y97": "1/4", + "Y99": "1/4" + } + }, + { + "cleanup_events": [ + 3633, + 3635, + 3637, + 3639, + 3641 + ], + "delivery_helpers": [ + "D27", + "D28", + "D29", + "D30", + "D31" + ], + "private_interval": [ + 2516, + 2524 + ], + "query": "Q7", + "query_source_coefficients": { + "X1": "2", + "X100": "2", + "X103": "2", + "X13": "-2", + "X14": "2", + "X18": "2", + "X19": "2", + "X2": "2", + "X20": "2", + "X22": "2", + "X23": "2", + "X27": "2", + "X28": "2", + "X29": "2", + "X3": "-2", + "X32": "2", + "X35": "2", + "X36": "-2", + "X4": "-2", + "X40": "-2", + "X44": "-2", + "X45": "-2", + "X46": "-2", + "X48": "2", + "X49": "2", + "X50": "2", + "X54": "2", + "X58": "2", + "X59": "-2", + "X64": "2", + "X65": "2", + "X66": "2", + "X7": "-2", + "X70": "2", + "X74": "2", + "X75": "-2", + "X79": "2", + "X8": "-2", + "X80": "2", + "X81": "2", + "X83": "2", + "X84": "2", + "X85": "2", + "X87": "2", + "X88": "2", + "X89": "2", + "X9": "-2", + "X92": "2", + "X94": "2", + "X95": "2", + "X98": "2", + "X99": "2" + }, + "read_events": [ + 2718, + 2720, + 2722, + 2724, + 2726, + 2728, + 2730, + 2732, + 2908, + 2910, + 2912, + 2914, + 2916, + 2919, + 2921, + 2923, + 2925, + 2927, + 2929, + 2931, + 2933, + 2935, + 3090, + 3092, + 3094, + 3096, + 3099, + 3101, + 3103, + 3124, + 3126, + 3128, + 3156, + 3158, + 3160, + 3253, + 3255, + 3266, + 3268, + 3278, + 3318, + 3321, + 3323, + 3372, + 3387, + 3390, + 3392, + 3420, + 3423, + 3456, + 3459, + 3462 + ], + "target_coefficients": { + "Y100": "1/4", + "Y101": "1/4", + "Y102": "1/4", + "Y103": "1/4", + "Y22": "1/4", + "Y23": "1/4", + "Y24": "1/4", + "Y25": "1/4", + "Y26": "1/4", + "Y27": "1/4", + "Y28": "1/4", + "Y29": "1/4", + "Y30": "1/4", + "Y31": "1/4", + "Y32": "1/4", + "Y63": "1/4", + "Y64": "1/4", + "Y65": "1/4", + "Y66": "1/4", + "Y67": "1/4", + "Y68": "1/4", + "Y69": "1/4", + "Y70": "1/4", + "Y71": "1/4", + "Y72": "1/4", + "Y73": "1/4", + "Y74": "1/4", + "Y75": "1/4", + "Y76": "1/4", + "Y77": "1/4", + "Y78": "1/4", + "Y79": "1/4", + "Y80": "1/4", + "Y81": "1/4", + "Y82": "1/4", + "Y83": "1/4", + "Y84": "1/4", + "Y85": "1/4", + "Y86": "1/4", + "Y87": "1/4", + "Y88": "1/4", + "Y89": "1/4", + "Y90": "1/4", + "Y91": "1/4", + "Y92": "1/4", + "Y93": "1/4", + "Y94": "1/4", + "Y95": "1/4", + "Y96": "1/4", + "Y97": "1/4", + "Y98": "1/4", + "Y99": "1/4" + } + } + ], + "removed_original_events": [ + 2461, + 2462, + 2463, + 2464, + 2465, + 2466, + 2467, + 2468, + 2469, + 2470, + 2471, + 2472, + 2473, + 2474, + 2475, + 2476, + 2477, + 2478, + 2479, + 2480, + 2481, + 2482, + 2483, + 2484, + 2485, + 2486, + 2487, + 2488, + 2489, + 2490, + 2491, + 2492, + 2493, + 2494, + 2495, + 2496, + 2497, + 2498, + 2499, + 2500, + 2501, + 2502, + 2503, + 2504, + 2505, + 2506, + 2507, + 2508, + 2509, + 2510, + 2511, + 2512, + 2513, + 2514, + 2515, + 2516, + 2517, + 2518, + 2519, + 2520, + 2521, + 2522, + 2523, + 2524, + 3579, + 3581, + 3583, + 3585, + 3587, + 3589, + 3591, + 3593, + 3595, + 3597, + 3599, + 3601, + 3603, + 3605, + 3607, + 3609, + 3611, + 3613, + 3615, + 3617, + 3619, + 3621, + 3623, + 3625, + 3627, + 3629, + 3631, + 3633, + 3635, + 3637, + 3639, + 3641 + ], + "replacement_event_counts": { + "add": 2976, + "double": 16, + "half": 16, + "transport": 1506 + }, + "replacement_events": 4514, + "replacement_profile_including104_lifts": { + "1": 1178, + "2": 58, + "3": 86, + "4": 104, + "5": 48, + "6": 24, + "8": 8 + }, + "replacement_scalar_lowering": { + "double": 2512, + "half": 2512, + "unit_add": 4224 + }, + "restored_dirty_helpers": 72, + "schema_version": 1, + "scope": "late FULL delivery, exact old endpoint; inherited3882 final physical admission unchanged", + "selected_frontier_changed": false, + "semantic_negative_controls": [ + "missing_delivery", + "after_cleanup", + "missing_target", + "no_donor_restore" + ], + "supplier_claimed": false, + "two_axis_calls": 208, + "two_axis_denominator": 2965248, + "unchanged_tail_except_lifts_counts": { + "add": 1248, + "double": 104, + "drop": 104, + "half": 104 + } +} diff --git a/research/p104-dirty-catalysis/SOURCES.json b/research/p104-dirty-catalysis/SOURCES.json new file mode 100644 index 0000000000..e1bc51b41a --- /dev/null +++ b/research/p104-dirty-catalysis/SOURCES.json @@ -0,0 +1,58 @@ +{ + "schema_version": 1, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "files": [ + { + "path": "certificates/selected-result.json", + "usage": "provenance", + "git_blob": "b1fea0c94436b236cc2b7d41a7be032811b94c81", + "sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + }, + { + "path": "docs/research/agent-task-catalog.json", + "usage": "provenance", + "git_blob": "67f085acd86acd7d4e03922d9cf4b26bca66fed5", + "sha256": "47b42433f5a85809a3aadd29c2c339da2c6ed728e4f7762df6b88bccb7874cf0" + }, + { + "path": "research/p104-native-channel/NATIVE-RECIPES.json.gz", + "usage": "input", + "git_blob": "ab129678c2df4f0d39b02b88457d02c37de0d9b6", + "sha256": "a1c4d83d3d5fe1338e99b59272e8cf5d43244c33888597da340b2aa7fef5b3e8" + }, + { + "path": "research/p104-native-channel/PROOF.md", + "usage": "input", + "git_blob": "a69311b74f74a2f8e8f411c1451baacd9bacddce", + "sha256": "5d743145d389ffdfaffc66096fa7e32c7155b18f73d74755403151d0435bb94c" + }, + { + "path": "research/p104-native-channel/inputs/LOWRANK-WITNESS.json", + "usage": "input", + "git_blob": "86beaf424e9f0f800ae3a62797d94ec9386b7706", + "sha256": "0f541bef7f19fdeffd67157684e9f03d785f42c89973632f508fc1a0452b580e" + }, + { + "path": "research/p104-native-channel/vendor/clifford_exact.py", + "usage": "input", + "git_blob": "166841a037f069249f6f7f6dedb89248812f59e2", + "sha256": "2982ead07721e83358dc67c6f49c2b4c16a236a6bebdfd72f58221be1f5d0962" + }, + { + "path": "research/p104-native-channel/vendor/native_verify.py", + "usage": "input", + "git_blob": "2c209dfa9cfade3bc20ac5fc9d876b433a147f8c", + "sha256": "3049471905b47b385c88378a1a3be7a18b8858aadd035b8a6da2f4a03b470f38" + } + ], + "source_exports": [ + { + "path": "inputs/pr3882_verify.py", + "sha256": "599274dbff5eefd8800e4cf39a25a7675edaaed93dc1490692bdfdbfb703ec3d", + "upstream_head": "9d56eeedbed5e3e9bbbc8c189d66f14cf15b6067", + "upstream_path": "research/p104-role-exchange-residue/verify.py", + "usage": "Unchanged source export. Reuse only geometry and actual tail schedule builder, not its evaluator.", + "upstream_git_blob": "093e21df60f5f1a02aaa1495da22d881e0c53fa1" + } + ] +} diff --git a/research/p104-dirty-catalysis/TASK.json b/research/p104-dirty-catalysis/TASK.json new file mode 100644 index 0000000000..c2ff70f2e1 --- /dev/null +++ b/research/p104-dirty-catalysis/TASK.json @@ -0,0 +1,88 @@ +{ + "schema_version": 1, + "task_id": "p104-side-correction", + "priority_revision": 6, + "base_commit": "20ecf2891d80b5acf18d980b2164fb44ea7faa90", + "original_card": { + "id": "p104-side-correction", + "question": "Can the proposed P104 joint endpoint flags be realized by a chronological correction program with coefficients, dirty restoration and an affordable complete bill?", + "starting_points": [ + "docs/research/research-family-status.md", + "research/p104-native-channel/README.md", + "research/p104-native-channel/PROOF.md", + "docs/research/community-efficient1000-review.md", + "research/p104-joint-unit-flags/README.md" + ], + "methods": [ + "Construct one side-correction word at an explicit chronological cut with the needed frames still available.", + "Derive a lower bound on the side correction and hosting costs that decides whether this channel can beat the selected budget." + ], + "acceptance_gate": "An exact arbitrary-input identity, source/target frame availability and restoration at the chosen cut, plus the complete channel+correction+idle/hosting bill or an explicit favorable bound. The native channel alone is not a supplier. A scoped local result may be retained without a complete supplier. Expanding it into further construction rounds requires the family-level budget and obligation gate in research-family-status.md; an optimistic passing relaxation alone is not acceptance.", + "first_step": { + "command": [ + "python3", + "-B", + "scripts/research_baseline.py" + ], + "expected": "PASS_RESEARCH_BASELINE_BINDINGS_ONLY", + "inspect": "Read the revision-6 family record and #2981 static joint flags, alongside the reviewed #1991 channel. #2981 is an author-checked source archive, not an independently validated executable correction or a refutation of program-level lifetime floors.", + "scope": "Source-bound orientation only. Read the named package and review before relying on its local evidence; this command is not its replay or supplier admission." + }, + "first_experiment": "After checking live handoffs, pin one named collection from #2981 and attach acquisition/delivery times, source dependencies and coefficient requirements. Test legal access and arbitrary dirty restoration; price any completion against the full channel/endpoint/hosting allowance. Stop with the exact missing implication or a scoped counterexample rather than expanding the static cover census.", + "bottleneck_link": "Completing an already realized changed channel tests a concrete construction opportunity, instead of refining the incumbent packing. A positive local result still needs global and all-size admission.", + "allowed_variations": [ + "One correction factorization, one chronological cut, or one explicit hosting obstruction.", + "A changed correction schedule with an updated full bill and native frame contract." + ], + "scope_change_triggers": [ + "Recompiling the already certified low-rank channel without closing a new obligation.", + "Treating a pending ancestor, local histogram or unpriced side correction as an admitted global supplier.", + "Repeating a correction or physical conversion already supplied by a pending follow-up without adding independent coverage or a different unresolved obligation.", + "Repeating the 208-flag static matching or calling a static nested cover a chronological correction program. Independent audit of that certificate is distinct and remains useful." + ], + "overlap_terms": [ + "P104", + "I-G/2", + "side correction", + "native channel", + "1972", + "1991", + "2586", + "endpoint transport", + "physical dual", + "relay composition", + "2981", + "joint unit flags", + "acquisition delivery", + "static nesting" + ], + "existing_checks": [ + { + "scope": "PR #2981 reports static joint endpoint flags and a matching of 208 departure and arrival flags; archival intake is not independent verification.", + "evidence": "research/p104-joint-unit-flags/README.md", + "remaining": "Independent flag check and a chronological coefficient program with dirty restoration and a complete cost.", + "status": "author-checked", + "source_commit": "3d24b92d8ba057b57cb2d480170ec407520e6882", + "selected_record_sha256": "bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129" + } + ] + }, + "scope_status": "changed", + "actual_scope": "Coupled late-FULL dirty-query delivery replacing all eight private descents while retaining exact3882 endpoints.", + "scope_change_reason": "User assigned contrasting mathematical studies; change actual D consumers and cleanup together beyond3965 fixed-query route.", + "bottleneck_link": "Removes56 paid native rank mass from the actual completed3882 module; conditionaltwo-axis gate stillfails.", + "budget_minutes": 50, + "stop_rule": "Stop at exact280-row/physical lift proof and complete bill; failed caller gate forbids supplier expansion.", + "outcome": "partial", + "evidence": "PROOF.md, RESULT.json,104 exact LIFT-RECIPES.json, verify.py/native.py and optimized CLI controls.", + "author": "Chris R / Clear1nsight with substantial OpenAI Codex assistance", + "ai_assistance": "Substantial OpenAI Codex assistance for extraction, proof, native recipes, independent checks and publication.", + "open_questions": [ + { + "question": "Can the changed all-FULL Gram boundary be used by an actual cheaper caller?", + "why_it_matters": "Rawmass=progress2416 butoldcorrectedcaller stillfails32448.", + "first_step": "Specify actual entrance, physical intertwiners, dirty owners andcompleteglobalcoverage before new construction.", + "blocked_by": "No accepted complete caller/all-size invoice for changedrawboundary." + } + ] +} diff --git a/research/p104-dirty-catalysis/VERIFY.json b/research/p104-dirty-catalysis/VERIFY.json new file mode 100644 index 0000000000..3d87dc4b07 --- /dev/null +++ b/research/p104-dirty-catalysis/VERIFY.json @@ -0,0 +1,62 @@ +{ + "schema_version": 1, + "status": "ready", + "python": "3.12", + "requirements": [], + "inputs": [ + "research/p104-native-channel/PROOF.md", + "research/p104-native-channel/inputs/LOWRANK-WITNESS.json", + "research/p104-native-channel/NATIVE-RECIPES.json.gz", + "research/p104-native-channel/vendor/native_verify.py", + "research/p104-native-channel/vendor/clifford_exact.py" + ], + "commands": [ + { + "argv": [ + "{python}", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "All280 exact rows, actual3882 endpoint, completeprofile/scalarinvoice and4semanticcontrols." + }, + { + "argv": [ + "{python}", + "-B", + "{package}/native.py" + ], + "timeout_seconds": 300, + "checks": "104 native rank1 Ylifts with exactphase/canonicalchartbinding and512 representativeGaussian columns." + }, + { + "argv": [ + "{python}", + "-O", + "-B", + "{package}/verify.py" + ], + "timeout_seconds": 120, + "checks": "Optimized-mode identity and ownership failures remain enforced." + }, + { + "argv": [ + "{python}", + "-O", + "-B", + "{package}/native.py" + ], + "timeout_seconds": 300, + "checks": "Same104 nativeoperators and phasefault in optimizedmode." + }, + { + "argv": [ + "{python}", + "-B", + "{package}/test_controls.py" + ], + "timeout_seconds": 300, + "checks": "Seven actual optimized CLI rejection fixtures: Boolean/float receipt types, false mass, duplicate JSON, changed/missing source and altered tail export." + } + ] +} diff --git a/research/p104-dirty-catalysis/inputs/pr3882_verify.py b/research/p104-dirty-catalysis/inputs/pr3882_verify.py new file mode 100644 index 0000000000..093e21df60 --- /dev/null +++ b/research/p104-dirty-catalysis/inputs/pr3882_verify.py @@ -0,0 +1,291 @@ +#!/usr/bin/env python3 +"""Exact P104 changed-boundary experiment. Apache-2.0; see README for scope.""" +from __future__ import annotations + +import argparse +import hashlib +import itertools +import json +from collections import Counter +from fractions import Fraction as F +from pathlib import Path + +HERE = Path(__file__).resolve().parent +REPO = HERE.parents[1] +BASE = "20ecf2891d80b5acf18d980b2164fb44ea7faa90" +F0 = [[0,0,0,0,0,0,2,-2],[0,0,0,0,0,0,2,2], + [0,0,0,0,2,-2,0,0],[0,0,0,0,2,2,0,0], + [0,0,2,-2,0,0,0,0],[0,0,2,2,0,0,0,0], + [2,-2,0,0,0,0,0,0],[2,2,0,0,0,0,0,0]] +PUNCTURE_C = [[0,0,0,0,0,2,-2,0],[0,0,0,2,-2,0,0,0], + [0,2,-2,0,0,0,0,0],[1,-1,-1,-1,-1,-1,-1,1], + [1,-1,-1,1,1,1,1,1],[1,1,1,-1,-1,1,1,1], + [1,1,1,1,1,-1,-1,1],[2,0,0,0,0,0,0,-2]] +SOURCE_HASHES = { + "research/p104-native-channel/inputs/P104-FIXTURE.json": + "516c06f6ec3cb84be588c546108de897650288576dd5fbf5fe44b9c5546ad8a4", + "research/p104-native-channel/inputs/LOWRANK-WITNESS.json": + "0f541bef7f19fdeffd67157684e9f03d785f42c89973632f508fc1a0452b580e", + "research/p104-native-channel/PROOF.md": + "5d743145d389ffdfaffc66096fa7e32c7155b18f73d74755403151d0435bb94c", +} + + +def need(condition: bool, message: str) -> None: + if not condition: + raise ValueError(message) + + +def load(path: Path): + def unique(pairs): + out = {} + for key, value in pairs: + need(key not in out, f"duplicate JSON key: {key}") + out[key] = value + return out + return json.loads(path.read_text(), object_pairs_hook=unique) + + +def encoded(value) -> bytes: + return (json.dumps(value, sort_keys=True, separators=(",", ":")) + "\n").encode() + + +def digest(value) -> str: + return hashlib.sha256(encoded(value)).hexdigest() + + +def geometry(): + roots = set() + for i, j in itertools.combinations(range(8), 2): + for sign in (-1, 1): + row = [0] * 8 + row[i], row[j] = 2, 2 * sign + roots.add(tuple(row)) + for tail in itertools.product((-1, 1), repeat=7): + if sum(t < 0 for t in tail) % 2 == 0: + roots.add((1,) + tail) + removed = {tuple(r) for r in F0 + PUNCTURE_C} + need(len(roots) == 120 and len(removed) == 16 and removed <= roots, + "root universe or puncture changed") + ports = sorted(roots - removed) + R = list(map(list, zip(*ports))) + need(len(ports) == 104, "wrong port count") + for a in range(8): + for b in range(8): + need(sum(R[a][i] * R[b][i] for i in range(104)) == 104 * (a == b), + "RR^t is not 104 I") + J = [] + for a, b in ((0, 2), (1, 3), (4, 6), (5, 7)): + for sign in (-1, 1): + r = [0] * 8 + r[a], r[b] = 2, 2 * sign + J.append(ports.index(tuple(r))) + J.sort() + N = [i for i in range(104) if i not in J] + A = [[F(sum(x*y for x,y in zip(r,s)), 8) for s in ports] for r in ports] + need(all(A[i][j] == (i == j) for i in J for j in J), "J not orthogonal") + B = [[A[j][i] for i in N] for j in J] + need(all(v in (F(-1,2), 0, F(1,2)) for row in B for v in row), "B alphabet") + need(sum(v != 0 for row in B for v in row) == 384, "B support") + for a, i in enumerate(N): + for b, k in enumerate(N): + need(A[i][k] == sum(B[j][a] * B[j][b] for j in range(8)), + "A_NN != B^t B") + return R, A, J, N, B + + +def source_binding(J): + data = {} + for path, expected in SOURCE_HASHES.items(): + raw = (REPO / path).read_bytes() + need(hashlib.sha256(raw).hexdigest() == expected, f"source hash: {path}") + data[path] = raw + fixture = json.loads(data[next(iter(SOURCE_HASHES))]) + section = fixture["section4_explicit_P104"] + need(section["F0"] == F0 and section["C"] == PUNCTURE_C, "source extraction") + word = json.loads(data["research/p104-native-channel/inputs/LOWRANK-WITNESS.json"]) + full = [1 << i for i in range(9)] + final = word["final_frames"] + need(all(final[f"X{i}"] == full for i in range(104)), "source exit frame") + helpers = [f"Q{i}" for i in range(8)] + [f"G{i}" for i in range(32)] + [f"D{i}" for i in range(32)] + need(all(final[h] == full for h in helpers), "dirty helper exit frames") + need(all(len(final[f"Y{i}"]) == 8 and binary_rank(final[f"Y{i}"]) == 8 + for i in range(104)), "target exit hyperplane") + proof = data["research/p104-native-channel/PROOF.md"] + need(b"y_t + sum_s x_s/2" in proof, "inherited channel statement") + return {"bound_sources": len(data), "target_frame_digest": digest([final[f"Y{i}"] for i in range(104)]), + "pivot_input_frames": [word["initial_frames"][f"X{i}"] for i in J]} + + +def binary_rank(rows): + pivots = {} + for row in rows: + need(type(row) is int and 0 < row < 512, "invalid binary vector") + while row: + k = row.bit_length() - 1 + if k in pivots: + row ^= pivots[k] + else: + pivots[k] = row + break + return len(pivots) + + +def program(J, N, B): + ops = [("lift", 104+i) for i in range(104)] + for a, i in enumerate(N): + ops.append(("half", i)) + for b, j in enumerate(J): + if B[b][a]: + s = int(2 * B[b][a]) + ops.extend([("add", j, i, s), ("add", 104+j, i, -s)]) + ops.append(("double", i)) + for b, j in enumerate(J): + ops.append(("half", j)) + for a, i in enumerate(N): + if B[b][a]: + ops.append(("add", i, j, -int(2 * B[b][a]))) + ops.append(("double", j)) + ops.extend(("add", i, 104+i, 1) for i in N) + ops.extend(("drop", i) for i in N) + ops.extend(("drop", 104+j) for j in J) + return ops + + +def execute(A, ops): + # The 72 arbitrary dirty inputs are explicit independent columns, not zero. + state = [[F(i == j) for j in range(280)] for i in range(280)] + for i in range(104): + state[104+i][:104] = A[i][:] + frames = [9]*104 + [8]*104 + [9]*72 + max_denominator = max(x.denominator for row in state for x in row) + peak_row_norm = max(sum(abs(x) for x in row) for row in state) + for op in ops: + kind, target = op[:2] + need(type(target) is int and 0 <= target < 208, "helper mutation or bad register") + if kind == "lift": + need(frames[target] == 8, "lift source frame") + frames[target] = 9 + continue + if kind == "drop": + need(frames[target] == 9, "drop source frame") + frames[target] = 8 + continue + need(frames[target] == 9, "arithmetic target not FULL") + if kind == "add": + source, sign = op[2:] + need(source != target and 0 <= source < 208 and frames[source] == 9, + "arithmetic source or frame") + need(type(sign) is int and sign in (-1, 1), "ADD coefficient") + state[target] = [x + sign*y for x,y in zip(state[target], state[source])] + else: + need(kind in ("half", "double"), "unknown operation") + scalar = F(1, 2) if kind == "half" else F(2) + state[target] = [scalar*x for x in state[target]] + max_denominator = max(max_denominator, *(x.denominator for x in state[target])) + peak_row_norm = max(peak_row_norm, sum(abs(x) for x in state[target])) + return state, frames, max_denominator, peak_row_norm + + +def mod_rank(matrix, prime=3): + a = [[int(F(x).numerator * pow(F(x).denominator, -1, prime) % prime) + for x in row] for row in matrix] + rank = 0 + for col in range(len(a[0])): + pivot = next((i for i in range(rank, len(a)) if a[i][col]), None) + if pivot is None: + continue + a[rank], a[pivot] = a[pivot], a[rank] + inv = pow(a[rank][col], -1, prime) + a[rank] = [(v*inv) % prime for v in a[rank]] + for i in range(rank+1, len(a)): + c = a[i][col] + if c: + a[i] = [(x-c*y) % prime for x,y in zip(a[i], a[rank])] + rank += 1 + if rank == len(a): + break + return rank + + +def verify_endpoint(state, frames, A, J, N, B): + for i in range(104): + target = 104+i if i in J else i + expected = [F(k in (i,104+i)) for k in range(280)] + need(state[target] == expected and frames[target] == 8, f"sum endpoint {i}") + for b,j in enumerate(J): + expected = [F(k == j) for k in range(280)] + for a,i in enumerate(N): + expected[i] = B[b][a] + need(state[j] == expected and frames[j] == 9, f"q residual {j}") + for i in N: + expected = [F(k == 104+i) for k in range(280)] + expected[:104] = A[i][:] + need(state[104+i] == expected and frames[104+i] == 9, f"v residual {i}") + for i in range(208,280): + need(state[i] == [F(i == k) for k in range(280)] and frames[i] == 9, + f"dirty helper {i}") + + +def calculate(): + R,A,J,N,B = geometry() + ops = program(J,N,B) + state,frames,den,norm = execute(A,ops) + verify_endpoint(state,frames,A,J,N,B) + # Separate endpoint formula and explicit inverse, not the gate interpreter. + xs = [] + for a,i in enumerate(N): + w = state[i] + v = state[104+i] + xs.append([w[k]-v[k]+sum(B[b][a]*state[j][k] for b,j in enumerate(J)) + for k in range(280)]) + for a,i in enumerate(N): + need(xs[a] == [F(k == i) for k in range(280)], "inverse x_N") + for b,j in enumerate(J): + restored = [state[j][k]-sum(B[b][a]*xs[a][k] for a in range(96)) + for k in range(280)] + need(restored == [F(k == j) for k in range(280)], "inverse x_J") + C = [[F(i == j)-A[i][j] for j in range(104)] for i in range(104)] + naive = [[F(i == j) for j in range(104)]+[F(i == j) for j in range(104)] + for i in range(104)] + naive += [A[i][:]+[F(i == j) for j in range(104)] for i in range(104)] + need(mod_rank(C) == 96 and mod_rank(naive) == 200, "mod-three obstruction") + need(mod_rank([r[:208] for r in state[:208]]) == 208, "repaired rank") + need(mod_rank(R) == 8, "root rank modulo three") + counts = Counter(op[0] for op in ops) + need(counts == Counter(add=1248,half=104,double=104,lift=104,drop=104), "invoice") + need(den == 4, "two-bit transient bound") + return { + "schema_version": 1, "base_commit": BASE, "scope": "changed source-consuming boundary; no supplier or kappa", + "ports": 104, "pivots": J, "nonpivots": N, "root_nonzeros": sum(v != 0 for r in R for v in r), + "B_nonzeros": 384, "program_sha256": digest(ops), "endpoint_sha256": digest([[str(v) for v in r] for r in state]), + "operation_counts": dict(sorted(counts.items())), "total_tail_events": len(ops), + "tail_native_profile": {"1": 208}, "inherited_channel_mass": 2368, "combined_mass": 2576, + "combined_native_profile": [1282,58,86,104,48,24,8,8], + "scalar_real_adds_at_512_complex_words": 1248*1024, + "scalar_real_halves_at_512_complex_words": 104*1024, + "scalar_real_doubles_at_512_complex_words": 104*1024, + "maximum_scalar_coefficient_denominator": den, "maximum_scalar_row_l1": str(norm), + "sum_outputs": 104, "dirty_helpers_restored": 72, + "rank_C_mod3": 96, "rank_naive_mod3": 200, "rank_repaired_mod3": 208, + "minimum_replaced_residual_arrays_in_stated_linear_model": 8, + "det_naive": str(12**8), "native_lowering_replayed": False, "complete_consumer_admitted": False, + } + + +def main(): + parser = argparse.ArgumentParser() + parser.add_argument("--algebra-only", action="store_true", help="Do not claim full-repository source authentication.") + args = parser.parse_args() + result = calculate() + need(encoded(result) == encoded(load(HERE/"RESULT.json")), "typed result mismatch") + if args.algebra_only: + marker = "PASS_P104_ROLE_EXCHANGE_ALGEBRA_ONLY" + else: + print(json.dumps(source_binding(result["pivots"]), sort_keys=True)) + marker = "PASS_P104_ROLE_EXCHANGE_SOURCE_BOUND" + print(f"{marker} replaced=8 sums=104 dirt=72 tail_H1=208 result={digest(result)}") + + +if __name__ == "__main__": + main() diff --git a/research/p104-dirty-catalysis/native.py b/research/p104-dirty-catalysis/native.py new file mode 100644 index 0000000000..fe181e330e --- /dev/null +++ b/research/p104-dirty-catalysis/native.py @@ -0,0 +1,52 @@ +#!/usr/bin/env python3 +"""Exact native recipes for104 retimed Y lifts; independent Pauli+phase check.""" +import argparse,gzip,hashlib,importlib.util,json,sys +from pathlib import Path +P=Path(__file__).resolve().parent;ROOT=P.parents[1];NATIVE=ROOT/'research/p104-native-channel' +def need(ok,msg): + if not ok:raise ValueError(msg) +def module(name,path): + spec=importlib.util.spec_from_file_location(name,path);m=importlib.util.module_from_spec(spec);sys.modules[name]=m;spec.loader.exec_module(m);return m +def main(): + ap=argparse.ArgumentParser();ap.add_argument('--generate',action='store_true');args=ap.parse_args() + V=module('late_delivery_verify',P/'verify.py');word,_=V.sources() + cert=json.loads(gzip.decompress((NATIVE/'NATIVE-RECIPES.json.gz').read_bytes())) + N=module('late_independent_native',NATIVE/'vendor/native_verify.py') + iso=cert['label_isometry'];dual=iso['compressed_dual_gram'];orth=iso['orthonormal_basis_compressed'] + mv=lambda rows,x:sum(((r&x).bit_count()&1)<b: + need(e[3]==-1 and e[4]==FULL and i<=CUT,'fixed D cleanup');removed.add(i);clean.append(i) + if e[0]=='add' and e[1].startswith('Y') and e[2] in ds and i>b: + need(i