{"fixtures":["affine_box","constrained_disjoint_sum","finite_v"],"inputs":{"affine_box":{"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]],"inside_points":[[2.0],[7.0],[12.0],[8.0]],"offset":[4.0],"operation":"affine_image","output_id":"port-box-image","output_representation":"csl.zonotope","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":[]},"public_request":{"assurance":"numerical","prepared_output_relation":"equivalent","prepared_scalar":"binary64","problem_id":"geo07-port","request_id":"affine-box"},"registration":"csl.geometry.generators.operations","rejection_controls":{"validated_assurance":true},"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":"port-box"}},"constrained_disjoint_sum":{"feasible_factor_witnesses":[[-1.0,-1.0,1.0,-1.0],[0.0,0.0,0.0,0.0],[1.0,1.0,-1.0,1.0]],"inside_points":[[1.0],[4.0],[7.0]],"left":{"center":[1.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":1,"values":[1.0,0.0]},"id":"port-sum-left"},"operation":"minkowski_sum","output_id":"port-constrained-sum","output_representation":"csl.constrained-zonotope","outside_points":[[0.0],[8.0]],"physical_h":{"equalities":{"cols":1,"rows":0,"values":[]},"inequalities":{"cols":1,"rows":2,"values":[1.0,-1.0]},"upper":[7.0,-1.0],"values":[]},"public_request":{"assurance":"numerical","prepared_output_relation":"equivalent","prepared_scalar":"binary64","problem_id":"geo07-port","request_id":"constrained-sum"},"registration":"csl.geometry.generators.operations","rejection_controls":{"intersection":true,"shared_ids":"left used twice"},"right":{"center":[3.0],"coordinate_labels":[],"equalities":{"cols":2,"rows":1,"values":[1.0,1.0]},"equality_values":[0.0],"factor_ids":["p","q"],"factor_interval":[-1.0,1.0],"generators":{"cols":2,"rows":1,"values":[0.0,2.0]},"id":"port-sum-right"}},"finite_v":{"operation":"conversion","output_id":"port-v","output_representation":"csl.polyhedron.v","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":[]},"public_request":{"assurance":"numerical","prepared_output_relation":"equivalent","prepared_scalar":"binary64","problem_id":"geo07-port","request_id":"finite-v"},"registration":"csl.geometry.generators.v-conversion","rejection_controls":{"cap":3,"constrained":{"center":[0.0],"coordinate_labels":[],"equalities":{"cols":1,"rows":1,"values":[1.0]},"equality_values":[0.0],"factor_ids":["r"],"factor_interval":[-1.0,1.0],"generators":{"cols":1,"rows":1,"values":[1.0]},"id":"port-constrained-control"},"h_output":"csl.polyhedron.h","validated_assurance":true},"source":{"center":[7.0],"coordinate_labels":["x"],"equalities":{"cols":2,"rows":0,"values":[]},"equality_values":[],"factor_ids":["a","b"],"factor_interval":[-1.0,1.0],"generators":{"cols":2,"rows":1,"values":[2.0,3.0]},"id":"port-v-source"},"vertex_cap":4,"vertices":[[2.0],[6.0],[8.0],[12.0]]}},"module":"CSL::generator_adapter","scalar":"binary64","schema":"csl.geo07-port-driver/1","source_commit":"41b4b58f2ef982e75554519862afdd803e30f717","timed_scope":"fresh public generator handles and prepared GeometryPort/ConversionPort registration, admission, workspace execution, literal physical H/V and factor checks, scoped rejection controls, per-call nlohmann JSON result construction and assignment; excludes process startup, JSONL serialization, Python saved-row verification, persistence, rendering"}