{"fixtures":["box_image","shared_cancellation","constrained_sum"],"inputs":{"box_image":{"affine_map":{"cols":2,"rows":1,"values":[1.0,1.0]},"feasible_factor_witnesses":[[-1.0,-1.0],[0.0,0.0],[1.0,1.0],[-1.0,1.0]],"infeasible_inside_factor":[2.0,-1.0],"inside_points":[[2.0],[7.0],[12.0],[8.0]],"offset":[4.0],"operation":"affine_image","output_id":"report-image","outside_points":[[1.0],[13.0]],"physical_h":{"equalities":{"cols":1,"rows":0,"values":[]},"inequalities":{"cols":1,"rows":2,"values":[1.0,-1.0]},"upper":[12.0,-2.0],"values":[]},"source":{"center":[1.0,2.0],"coordinate_labels":[],"equalities":{"cols":2,"rows":0,"values":[]},"equality_values":[],"factor_ids":["horizontal","vertical"],"factor_interval":[-1.0,1.0],"generators":{"cols":2,"rows":2,"values":[2.0,0.0,0.0,3.0]},"id":"report-box"}},"constrained_sum":{"feasible_factor_witnesses":[[1.0,1.0,-1.0],[0.0,0.0,0.0]],"infeasible_inside_factor":[1.0,0.0,0.0],"inside_points":[[0.0,0.0],[0.0,0.0]],"left":{"center":[0.0,0.0],"coordinate_labels":[],"equalities":{"cols":2,"rows":1,"values":[1.0,-1.0]},"equality_values":[0.0],"factor_ids":["u","v"],"factor_interval":[-1.0,1.0],"generators":{"cols":2,"rows":2,"values":[1.0,0.0,0.0,1.0]},"id":"report-constrained-left"},"left_only_factor":[1.0,1.0,0.0],"operation":"dependent_sum","output_id":"report-constrained-sum","outside_points":[[0.0,1.0],[0.0,-1.0]],"physical_h":{"equalities":{"cols":2,"rows":2,"values":[1.0,0.0,0.0,1.0]},"inequalities":{"cols":2,"rows":0,"values":[]},"upper":[],"values":[0.0,0.0]},"right":{"center":[0.0,0.0],"coordinate_labels":[],"equalities":{"cols":2,"rows":1,"values":[1.0,1.0]},"equality_values":[0.0],"factor_ids":["u","w"],"factor_interval":[-1.0,1.0],"generators":{"cols":2,"rows":2,"values":[-1.0,0.0,0.0,1.0]},"id":"report-constrained-right"},"right_only_factor":[1.0,0.0,-1.0]},"shared_cancellation":{"feasible_factor_witnesses":[[-1.0],[0.0],[1.0]],"independent_sum_rejected":true,"inside_points":[[0.0],[0.0],[0.0]],"left":{"center":[0.0],"coordinate_labels":[],"equalities":{"cols":1,"rows":0,"values":[]},"equality_values":[],"factor_ids":["history.0"],"factor_interval":[-1.0,1.0],"generators":{"cols":1,"rows":1,"values":[1.0]},"id":"report-left"},"operation":"dependent_sum","output_id":"report-cancelled","outside_points":[[-1.0],[1.0]],"physical_h":{"equalities":{"cols":1,"rows":1,"values":[1.0]},"inequalities":{"cols":1,"rows":0,"values":[]},"upper":[],"values":[0.0]},"right":{"center":[0.0],"coordinate_labels":[],"equalities":{"cols":1,"rows":0,"values":[]},"equality_values":[],"factor_ids":["history.0"],"factor_interval":[-1.0,1.0],"generators":{"cols":1,"rows":1,"values":[-1.0]},"id":"report-right"}}},"module":"CSL::geometry_generators","scalar":"binary64","schema":"csl.geo07-generator-driver/1","source_commit":"db7906cb33ca40da55e31b9bf6b21cf7ffcc1ee4","timed_scope":"fresh public GeneratorSet construction, public affine/dependent operations and independent-sum rejection control, factor lift, literal physical H, factor identity and coefficient checks, per-call nlohmann JSON result construction and assignment; excludes process startup, JSONL serialization, Python saved-row verification, persistence, rendering"}