{"schema":"gooo/workspace-body-execution-receipt/v1","decision":"OBSERVED","manifest":"crop-planner.workspace.json","manifest_digest":"sha256:23117a57a39ee17c440af3b8836d0dbf3b999c90caf94bdd993aabf63b0b0515","inputs_digest":"sha256:637e396981b1f32671f9dae754498384869379e8369434d6da8bbf4bb5f6fd73","result":{"schema":"gooo/workspace-body-execution/v1","program":{"schema":"gooo/workspace-body-program/v1","workspace_image":{"schema":"gooo/package-runtime-image/v1","init_order":["go/image","example/crop-planner"],"packages":[{"path":"go/image","name":"image","namespace":"gooo_ports_image","imports":null,"exports":[{"name":"RectangleEmpty","kind":"activity","id":"gooo://go/image/rectangle-empty","input_types":["gooo://go/image/rectangle"],"output_type":"gooo://std/boolean"},{"name":"RectangleIn","kind":"activity","id":"gooo://go/image/rectangle-in","input_types":["gooo://go/image/rectangle","gooo://go/image/rectangle"],"output_type":"gooo://std/boolean"},{"name":"RectangleIntersect","kind":"activity","id":"gooo://go/image/rectangle-intersect","input_types":["gooo://go/image/rectangle","gooo://go/image/rectangle"],"output_type":"gooo://go/image/rectangle"},{"name":"RectangleOverlaps","kind":"activity","id":"gooo://go/image/rectangle-overlaps","input_types":["gooo://go/image/rectangle","gooo://go/image/rectangle"],"output_type":"gooo://std/boolean"},{"name":"RectangleUnion","kind":"activity","id":"gooo://go/image/rectangle-union","input_types":["gooo://go/image/rectangle","gooo://go/image/rectangle"],"output_type":"gooo://go/image/rectangle"},{"name":"Boolean","kind":"entity","id":"gooo://std/boolean"},{"name":"Integer","kind":"entity","id":"gooo://std/integer"},{"name":"Rectangle","kind":"entity","id":"gooo://go/image/rectangle"}],"sources":[{"filename":"ports/image/geometry.gooo","source_digest":"sha256:64957057a0966e08fb8e8f3cd4e36afc819475a968cdc30632fe615ba245da90","semantic_digest":"sha256:58dd9477f45ac7ecd3cb8a9f2c90e23358e8661c3c80d9f60e3b23803814a217","declarations":8}],"declarations":8,"semantic_digest":"sha256:6ff48d5199ba3cb317b649bb1217abcc1571c914f83a7fb157fb2524b60c0810"},{"path":"example/crop-planner","name":"crop_planner","namespace":"gooo_ports_examples_crop_planner","imports":["go/image"],"exports":[{"name":"CropPlan","kind":"activity","id":"gooo://example/crop-planner/crop-plan","input_types":["gooo://go/image/rectangle","gooo://go/image/rectangle"],"output_type":"gooo://example/crop-planner/result"},{"name":"CropResult","kind":"entity","id":"gooo://example/crop-planner/result"}],"sources":[{"filename":"examples/crop-planner/crop_planner.gooo","source_digest":"sha256:63ffe9570c18cdcd0afc61ebca9cccf4450ef870b6c18667d04d73f19213f59b","semantic_digest":"sha256:44eb247616030f6841b68ffa0102f00cccdc31d269353a3ed84944db4c3dd05a","declarations":2}],"declarations":2,"semantic_digest":"sha256:5062c3d82955038758f6981c9c2e05fdca3f050c4e8bbad1681f54c64838b8d0"}],"entry":{"package_path":"example/crop-planner","source":"examples/crop-planner/crop_planner.gooo","activity":"CropPlan","inputs":["Rectangle","Rectangle"],"output":"CropResult"},"digest":"sha256:4bb9cd15d6be21e0b695c66be57df115783433cb842b0beec620a5f39195d7ed"},"entry":{"package_path":"example/crop-planner","activity":"CropPlan","lowered_name":"GoooPackage5ActivityCropPlan"},"activities":[{"package_path":"example/crop-planner","activity":"CropPlan","lowered_name":"GoooPackage5ActivityCropPlan"}],"lowered_gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"gooo://std/integer\"\nentity Boolean id \"gooo://std/boolean\"\nentity Rectangle id \"gooo://go/image/rectangle\" fields {\n    field min_x id \"gooo://go/image/rectangle/min-x\" type integer required one\n    field min_y id \"gooo://go/image/rectangle/min-y\" type integer required one\n    field max_x id \"gooo://go/image/rectangle/max-x\" type integer required one\n    field max_y id \"gooo://go/image/rectangle/max-y\" type integer required one\n}\nentity CropResult id \"gooo://example/crop-planner/result\" fields {\n    field min_x id \"gooo://example/crop-planner/result/min-x\" type integer required one\n    field min_y id \"gooo://example/crop-planner/result/min-y\" type integer required one\n    field max_x id \"gooo://example/crop-planner/result/max-x\" type integer required one\n    field max_y id \"gooo://example/crop-planner/result/max-y\" type integer required one\n    field has_pixels id \"gooo://example/crop-planner/result/has-pixels\" type boolean required one\n}\nactivity GoooPackage0ActivityRectangleEmpty(Rectangle) -> Boolean id \"gooo://go/image/rectangle-empty\" computes \"return input.min_x >= input.max_x || input.min_y >= input.max_y\"\nactivity GoooPackage2ActivityRectangleIntersect(Rectangle, Rectangle) -> Rectangle id \"gooo://go/image/rectangle-intersect\" computes \"let min_x = input0.min_x\\nlet min_y = input0.min_y\\nlet max_x = input0.max_x\\nlet max_y = input0.max_y\\nif min_x < input1.min_x { min_x = input1.min_x }\\nif min_y < input1.min_y { min_y = input1.min_y }\\nif max_x > input1.max_x { max_x = input1.max_x }\\nif max_y > input1.max_y { max_y = input1.max_y }\\nif min_x >= max_x || min_y >= max_y { return Rectangle{min_x: 0, min_y: 0, max_x: 0, max_y: 0} }\\nreturn Rectangle{min_x: min_x, min_y: min_y, max_x: max_x, max_y: max_y}\"\nactivity GoooPackage5ActivityCropPlan(Rectangle, Rectangle) -> CropResult id \"gooo://example/crop-planner/crop-plan\" computes \"let clipped = GoooPackage2ActivityRectangleIntersect(input0, input1)\\nreturn CropResult{min_x: clipped.min_x, min_y: clipped.min_y, max_x: clipped.max_x, max_y: clipped.max_y, has_pixels: !GoooPackage0ActivityRectangleEmpty(clipped)}\"\n","scope":"entry and explicit bind producers with source-resolved pure activity calls; original package identities map to lowered names; finite native observations","pure_calls":{"schema":"gooo/workspace-pure-calls/v1","activities":[{"activity":{"package_path":"example/crop-planner","activity":"CropPlan","lowered_name":"GoooPackage5ActivityCropPlan"},"activity_id":"gooo-ports-examples-crop-planner://activity/crop-plan","lowered_activity_id":"gooo-workspace://activity/gooo-package5activity-crop-plan","source":"examples/crop-planner/crop_planner.gooo","source_body_sha256":"sha256:b6fa235483abedce716aca4e77af79f9dbabb7559fe62f19f0e35996d9cfc412"},{"activity":{"package_path":"go/image","activity":"RectangleEmpty","lowered_name":"GoooPackage0ActivityRectangleEmpty"},"activity_id":"gooo-ports-image://activity/rectangle-empty","lowered_activity_id":"gooo-workspace://activity/gooo-package0activity-rectangle-empty","source":"ports/image/geometry.gooo","source_body_sha256":"sha256:a6da319ca4db7e65cde783a570bc37e23033a60c5311787cf259a0a426ab3fef"},{"activity":{"package_path":"go/image","activity":"RectangleIntersect","lowered_name":"GoooPackage2ActivityRectangleIntersect"},"activity_id":"gooo-ports-image://activity/rectangle-intersect","lowered_activity_id":"gooo-workspace://activity/gooo-package2activity-rectangle-intersect","source":"ports/image/geometry.gooo","source_body_sha256":"sha256:99f454ed6cea9f7cdf4f0b2b19af5bdbf1ec287ea2e10758bbfb492d6a807bc0"}],"sites":[{"caller":"example/crop-planner:CropPlan","callee":"go/image:RectangleIntersect","surface":"computes","start_byte":14,"end_byte":41},{"caller":"example/crop-planner:CropPlan","callee":"go/image:RectangleEmpty","surface":"computes","start_byte":177,"end_byte":200}]}},"execution_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","selected_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","generated_sha256":"sha256:5a88b5a3e572d287f290ffceb8880108e7860ed9c684783ebb07d6bc584d6ba5","driver_sha256":"sha256:870a42f34b912972af359ec4a6d8d93f75a0a8f248c026e25ffaedd49d07cee6","plan":{"schema":"gooo/body-composition-plan/v1","entry_activity":"GoooPackage5ActivityCropPlan","typed_plan_sha256":"sha256:661da539b2605af5ed751056d8b21aaba0b773a779eff5c4c30bd338b71c4f48","semantic_fingerprint":"387723dc066f053be4fc06dd39513ca2291c682ec44e4e565a55c03dddfe8b5d","activities":[{"name":"GoooPackage5ActivityCropPlan","id":"gooo://example/crop-planner/crop-plan","input_type":"Rectangle","output_type":"CropResult","input_entity_id":"gooo://go/image/rectangle","output_entity_id":"gooo://example/crop-planner/result","go_function":"GoooComposedActivity0","input_from":-1,"assembling":false,"inputs":[{"port":"input0","type":"Rectangle","entity_id":"gooo://go/image/rectangle","from":-1},{"port":"input1","type":"Rectangle","entity_id":"gooo://go/image/rectangle","from":-1}]}],"edges":[],"record_types":[{"name":"CropResult","id":"gooo://example/crop-planner/result","go_name":"GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6","fields":[{"name":"min_x","id":"gooo://example/crop-planner/result/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c"},{"name":"min_y","id":"gooo://example/crop-planner/result/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1"},{"name":"max_x","id":"gooo://example/crop-planner/result/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe"},{"name":"max_y","id":"gooo://example/crop-planner/result/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec"},{"name":"has_pixels","id":"gooo://example/crop-planner/result/has-pixels","type_id":"urn:gooo:type:boolean","go_name":"GoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd"}]},{"name":"Rectangle","id":"gooo://go/image/rectangle","go_name":"GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9","fields":[{"name":"min_x","id":"gooo://go/image/rectangle/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c"},{"name":"min_y","id":"gooo://go/image/rectangle/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430"},{"name":"max_x","id":"gooo://go/image/rectangle/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a"},{"name":"max_y","id":"gooo://go/image/rectangle/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6"}]}]},"steps":[{"input_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"GoooPackage5ActivityCropPlan","activity_id":"gooo://example/crop-planner/crop-plan","input_type":"(Rectangle,Rectangle)","input_parameters":[{"name":"input0","type":"Rectangle"},{"name":"input1","type":"Rectangle"}],"record_types":[{"name":"CropResult","id":"gooo://example/crop-planner/result","go_name":"GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6","fields":[{"name":"min_x","id":"gooo://example/crop-planner/result/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c"},{"name":"min_y","id":"gooo://example/crop-planner/result/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1"},{"name":"max_x","id":"gooo://example/crop-planner/result/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe"},{"name":"max_y","id":"gooo://example/crop-planner/result/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec"},{"name":"has_pixels","id":"gooo://example/crop-planner/result/has-pixels","type_id":"urn:gooo:type:boolean","go_name":"GoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd"}]},{"name":"Rectangle","id":"gooo://go/image/rectangle","go_name":"GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9","fields":[{"name":"min_x","id":"gooo://go/image/rectangle/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c"},{"name":"min_y","id":"gooo://go/image/rectangle/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430"},{"name":"max_x","id":"gooo://go/image/rectangle/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a"},{"name":"max_y","id":"gooo://go/image/rectangle/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6"}]}],"output_type":"CropResult","plan_sha256":"sha256:b8de8a30675b967b586c3a130f7ad5c48a7491fba6af11611b4bce53a6e7d77f","compiler_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","source_digest":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","program_digest":"sha256:534d20a196f9d28083e48d7caa18a9402a69fbb28a47e488b5b0cb82b1610f0e","generated_digest":"sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","replay_digest":"sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","route":"preserve","route_decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"preserve","fallback_reason":"NO_ALTERNATIVE_ROUTE","provider":"deterministic","request_sha256":""},"route_selection":{"method":"single_eligible_route","proposed_route":"preserve","final_route":"preserve"},"route_decision_latency_ms":0,"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage2ActivityRectangleIntersect","activity_id":"gooo://go/image/rectangle-intersect","program_sha256":"sha256:99f454ed6cea9f7cdf4f0b2b19af5bdbf1ec287ea2e10758bbfb492d6a807bc0"},{"name":"GoooPackage0ActivityRectangleEmpty","activity_id":"gooo://go/image/rectangle-empty","program_sha256":"sha256:a6da319ca4db7e65cde783a570bc37e23033a60c5311787cf259a0a426ab3fef"}],"edges":[{"caller_id":"gooo://example/crop-planner/crop-plan","callee_id":"gooo://go/image/rectangle-intersect","ordinal":0},{"caller_id":"gooo://example/crop-planner/crop-plan","callee_id":"gooo://go/image/rectangle-empty","ordinal":1}],"max_calls_per_invocation":2},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":18,"lowered_constructs":18,"source_semantic_units":153,"lowered_semantic_units":153,"completeness_percent":100,"route_equivalence":{"schema":"gooo/body-codegen-route-equivalence/v1","decision":"PASS","method":"canonical_control_flow_form/v2","rule":"source-shape-preserving-v1","source_semantic_digest":"sha256:4bd024fdb0118c7d9698f18e4b09527194ad7c0133cdcdc82a63d35f595029d6","generated_semantic_digest":"sha256:4bd024fdb0118c7d9698f18e4b09527194ad7c0133cdcdc82a63d35f595029d6","equivalent":true,"scope":"typechecked, terminating, side-effect-free body-codegen profile; not a proof of unstated user intent"},"typecheck_passed":true,"deterministic_replay":true,"repository_writes":0,"unsupported_constructs":"recursive, indirect, external and assembling-callee calls; loops, imports, external effects, optional-field synthesis and repeated record fields","completeness_receipt":{"schema":"gooo/metaprogramming-completeness-receipt/v2","profile_id":"gooo/body-codegen-pure-v1","decision":"PASS_WITHIN_DECLARED_FIXTURE_SCOPE","decision_basis":"declaration, generation, source-unit coverage, route equivalence, typecheck, replay, route protocol, provenance, and zero repository writes define the scoped code-generation core; body-fill additionally requires declared-suite functional accuracy; UNKNOWN dimensions remain explicit and are never aggregated","scope":{"allowed_investment":"compiler-controlled lowering and optional Laya selection only among prevalidated equivalent routes; no human approval or authorization is required","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage2ActivityRectangleIntersect","activity_id":"gooo://go/image/rectangle-intersect","program_sha256":"sha256:99f454ed6cea9f7cdf4f0b2b19af5bdbf1ec287ea2e10758bbfb492d6a807bc0"},{"name":"GoooPackage0ActivityRectangleEmpty","activity_id":"gooo://go/image/rectangle-empty","program_sha256":"sha256:a6da319ca4db7e65cde783a570bc37e23033a60c5311787cf259a0a426ab3fef"}],"edges":[{"caller_id":"gooo://example/crop-planner/crop-plan","callee_id":"gooo://go/image/rectangle-intersect","ordinal":0},{"caller_id":"gooo://example/crop-planner/crop-plan","callee_id":"gooo://go/image/rectangle-empty","ordinal":1}],"max_calls_per_invocation":2},"compiler_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity with source-declared fixed callees; bounded acyclic call closure","excluded_scope":["unstated natural-language intent","independently sourced production workflows","generated runtime behavior","unrestricted Gooo body syntax","route clarity or utility"],"execution_environment":"linux/amd64","input_type":"(Rectangle,Rectangle)","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"CropResult","plan_sha256":"sha256:b8de8a30675b967b586c3a130f7ad5c48a7491fba6af11611b4bce53a6e7d77f","receipt_declaration":{"declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","generated_declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile":"gooo/receipt-structure-projection/v1","schema":"gooo/metaprogramming-completeness-receipt/v2"},"record_types":[{"name":"CropResult","id":"gooo://example/crop-planner/result","go_name":"GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6","fields":[{"name":"min_x","id":"gooo://example/crop-planner/result/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c"},{"name":"min_y","id":"gooo://example/crop-planner/result/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1"},{"name":"max_x","id":"gooo://example/crop-planner/result/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe"},{"name":"max_y","id":"gooo://example/crop-planner/result/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec"},{"name":"has_pixels","id":"gooo://example/crop-planner/result/has-pixels","type_id":"urn:gooo:type:boolean","go_name":"GoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd"}]},{"name":"Rectangle","id":"gooo://go/image/rectangle","go_name":"GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9","fields":[{"name":"min_x","id":"gooo://go/image/rectangle/min-x","type_id":"urn:gooo:type:integer","go_name":"GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c"},{"name":"min_y","id":"gooo://go/image/rectangle/min-y","type_id":"urn:gooo:type:integer","go_name":"GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430"},{"name":"max_x","id":"gooo://go/image/rectangle/max-x","type_id":"urn:gooo:type:integer","go_name":"GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a"},{"name":"max_y","id":"gooo://go/image/rectangle/max-y","type_id":"urn:gooo:type:integer","go_name":"GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6"}]}],"system_budget":{"maximum_human_actions":0,"maximum_repository_writes":0},"toolchain":"go1.27.2"},"core_dimensions":["declaration_coverage","generation_coverage","internal_replay_coverage","provenance_integrity","receipt_schema_binding","repository_write_boundary","route_choice_protocol","route_semantic_equivalence","source_ast_coverage","typecheck_coverage"],"dimensions":[{"id":"declaration_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"stable activity declarations","reason":"Counts the requested activity only when it resolves to a stable semantic ID.","evidence":["source_digest:sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","activity_id:gooo://example/crop-planner/crop-plan"]},{"id":"generation_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"generated Go functions","reason":"Measures whether this accepted activity produced a digest-bound Go projection.","evidence":["generated_digest:sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":153,"denominator":153,"unit":"source semantic units lowered","reason":"Counts supported source-body units represented in the selected Go lowering; it does not estimate unstated intent.","evidence":["source_semantic_units","lowered_semantic_units"]},{"id":"route_semantic_equivalence","status":"PASS","numerator":1,"denominator":1,"unit":"source/generated route pairs","reason":"Uses the compiler's closed structural equivalence witness for the selected route.","evidence":["route_equivalence.schema:gooo/body-codegen-route-equivalence/v1","route_equivalence.rule:source-shape-preserving-v1","source_semantic_digest:sha256:4bd024fdb0118c7d9698f18e4b09527194ad7c0133cdcdc82a63d35f595029d6","generated_semantic_digest:sha256:4bd024fdb0118c7d9698f18e4b09527194ad7c0133cdcdc82a63d35f595029d6"]},{"id":"typecheck_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"generated functions accepted by Go type checking","reason":"Counts the generated function only after the compiler's type checker accepts it.","evidence":["typecheck_passed"]},{"id":"internal_replay_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"deterministic compiler emission replays","reason":"Requires replayed generated bytes to match the selected output digest.","evidence":["generated_digest:sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","replay_digest:sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764"]},{"id":"route_choice_protocol","status":"PASS","numerator":1,"denominator":1,"unit":"selected routes in the compiler-declared candidate set","reason":"The selected lowering must be a route the compiler declared eligible for this source shape.","evidence":["candidate_routes","selected_route:preserve"]},{"id":"provenance_integrity","status":"PASS","numerator":8,"denominator":8,"unit":"source, body, output, replay, semantic-ID, and compiler-revision bindings","reason":"Binds the source, selected body, generated and replay digests, stable activity ID, route semantic digests, and an unmodified compiler revision when embedded in the binary.","evidence":["source_digest:sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","program_digest:sha256:534d20a196f9d28083e48d7caa18a9402a69fbb28a47e488b5b0cb82b1610f0e","generated_digest:sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","replay_digest:sha256:e50d3fc8681dca846207e74669fb6793fcfca328ff36d0fbd403a6d1361bb764","activity_id:gooo://example/crop-planner/crop-plan","compiler_source_sha:83928fa4538245abe33b08549da47f8cbdc50ed2","route_equivalence semantic digests"]},{"id":"receipt_schema_binding","status":"PASS","numerator":1,"denominator":1,"unit":"source-owned receipt schema and generated structure bindings","reason":"The receipt data structure is generated from the embedded Gooo declaration with stable entity and field IDs.","evidence":["receipt_declaration_sha256:c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile:gooo/receipt-structure-projection/v1"]},{"id":"repository_write_boundary","status":"PASS","numerator":1,"denominator":1,"unit":"repository writes","reason":"The command emits generated source without mutating the repository.","evidence":["repository_writes:0"]},{"id":"execution_boundary","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"generated package runtime executions","reason":"This command typechecks and replays generated source but does not execute the generated package.","evidence":["body-codegen does not run generated Go"]},{"id":"permission_boundary","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"observed host permission profiles","reason":"The report does not capture the caller's operating-system permission profile.","evidence":["host permission profile is not observed"]},{"id":"external_network_boundary","status":"PASS","numerator":1,"denominator":1,"unit":"runs with no Laya provider request","reason":"A deterministic fallback caused by an unconfigured provider or ineligible alternative routes records no Laya decision request; other provider/network scope is not audited.","evidence":["decision.mode:deterministic_fallback","decision.provider:deterministic","decision.fallback_reason:NO_ALTERNATIVE_ROUTE"]},{"id":"laya_decision_observation","status":"UNKNOWN","numerator":0,"denominator":0,"unit":"eligible multi-route Laya decisions","reason":"Records a model choice only after Gooo has declared multiple typed candidates and the Laya provider supplied the decision.","evidence":["candidate_routes","route_decision.mode:deterministic_fallback","route_decision.request_sha256:","route_decision.model_revision:"]},{"id":"use_case_coverage","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"independently sourced real workflows","reason":"A single source fixture is not evidence of independent real-world workflow coverage.","evidence":["no independent workflow corpus is bound"]},{"id":"reverse_observation_coverage","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"generated runtime observations mapped back to source","reason":"No generated runtime is executed or reverse-mapped by this command.","evidence":["no source-bound reverse-observation trace"]},{"id":"full_domain_semantics","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"complete input-domain behavior proofs","reason":"Typechecking and structural equivalence do not prove behavior over the input domain.","evidence":["generated package execution and an independent domain oracle are not part of this command"]},{"id":"route_quality","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"independent route-clarity or utility criteria","reason":"Semantic equivalence does not rank readability, clarity, or downstream utility.","evidence":["no independent route-quality oracle"]},{"id":"resource_observation","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"complete process resource profiles","reason":"The report records route-decision latency but not process CPU time or peak memory.","evidence":["route_decision_latency_ms is recorded","CPU and peak RSS are not captured"]},{"id":"resource_baseline_comparison","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"compatible prior resource receipts","reason":"No same-profile, same-toolchain resource baseline is bound.","evidence":["no compatible prior resource receipt"]},{"id":"semantic_profile_delta","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"compatible before/after semantic receipts","reason":"No same-plan, same-compiler semantic baseline is bound for regression deltas.","evidence":["no comparable prior semantic receipt"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":11,"PROGRESS":0,"UNKNOWN":10},"aggregate_completeness_score":null,"first_unresolved":{"id":"execution_boundary","status":"UNKNOWN","reason":"This command typechecks and replays generated source but does not execute the generated package.","next_operation":"EXECUTE_GENERATED_CODE_IN_A_SEPARATE_BOUNDED_RUNNER"},"unresolved_claims":[{"id":"execution_boundary","status":"UNKNOWN","reason":"This command typechecks and replays generated source but does not execute the generated package.","next_operation":"EXECUTE_GENERATED_CODE_IN_A_SEPARATE_BOUNDED_RUNNER"},{"id":"permission_boundary","status":"UNKNOWN","reason":"The report does not capture the caller's operating-system permission profile.","next_operation":"RECORD_THE_HOST_PERMISSION_PROFILE_WITHOUT_GRANTING_AUTHORITY"},{"id":"laya_decision_observation","status":"UNKNOWN","reason":"Records a model choice only after Gooo has declared multiple typed candidates and the Laya provider supplied the decision.","next_operation":"RUN_AN_ELIGIBLE_CASE_WITH_A_PINNED_LAYA_REVISION"},{"id":"use_case_coverage","status":"UNKNOWN","reason":"A single source fixture is not evidence of independent real-world workflow coverage.","next_operation":"BIND_INDEPENDENTLY_SOURCED_REAL_WORKFLOW_FIXTURES"},{"id":"reverse_observation_coverage","status":"UNKNOWN","reason":"No generated runtime is executed or reverse-mapped by this command.","next_operation":"MAP_GENERATED_RUNTIME_OBSERVATIONS_BACK_TO_SOURCE_IDS"},{"id":"full_domain_semantics","status":"UNKNOWN","reason":"Typechecking and structural equivalence do not prove behavior over the input domain.","next_operation":"EXECUTE_A_DOMAIN_PARTITION_OR_PROOF_FOR_THE_DECLARED_INPUT_TYPE"},{"id":"route_quality","status":"UNKNOWN","reason":"Semantic equivalence does not rank readability, clarity, or downstream utility.","next_operation":"ADD_AN_INDEPENDENT_ROUTE_CLARITY_OR_UTILITY_ORACLE"},{"id":"resource_observation","status":"UNKNOWN","reason":"The report records route-decision latency but not process CPU time or peak memory.","next_operation":"CAPTURE_WALL_CPU_AND_PEAK_RSS_FOR_THE_COMPILER_PROCESS"},{"id":"resource_baseline_comparison","status":"UNKNOWN","reason":"No same-profile, same-toolchain resource baseline is bound.","next_operation":"BIND_A_COMPATIBLE_RESOURCE_BASELINE"},{"id":"semantic_profile_delta","status":"UNKNOWN","reason":"No same-plan, same-compiler semantic baseline is bound for regression deltas.","next_operation":"BIND_A_COMPATIBLE_BASELINE_AND_REPORT_PER_DIMENSION_DELTAS"}],"not_claimed":["user-intent completeness","real-workflow coverage","generated runtime behavior","full-domain semantics","route quality","universal language completeness"],"fail_closed_reason":null}},"source":"package gooo_workspace\n\n//gooo:generated:start id=\"gooo://example/crop-planner/result\" kind=\"entity\"\ntype GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6 struct {\n\tGoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c int64 `json:\"min_x\"`\n\tGoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1 int64 `json:\"min_y\"`\n\tGoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe int64 `json:\"max_x\"`\n\tGoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec int64 `json:\"max_y\"`\n\tGoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd bool  `json:\"has_pixels\"`\n}\n\n//gooo:generated:end id=\"gooo://example/crop-planner/result\" kind=\"entity\"\n//gooo:generated:start id=\"gooo://go/image/rectangle\" kind=\"entity\"\ntype GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9 struct {\n\tGoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c int64 `json:\"min_x\"`\n\tGoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 int64 `json:\"min_y\"`\n\tGoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a int64 `json:\"max_x\"`\n\tGoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6 int64 `json:\"max_y\"`\n}\n\n//gooo:generated:end id=\"gooo://go/image/rectangle\" kind=\"entity\"\n//gooo:generated:start id=\"gooo://example/crop-planner/crop-plan\" kind=\"activity\"\nfunc GoooPackage5ActivityCropPlan(input0 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9, input1 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6 {\n\tvar clipped = GoooPackage2ActivityRectangleIntersect(input0, input1)\n\treturn GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6{GoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c: clipped.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c, GoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1: clipped.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430, GoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe: clipped.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a, GoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec: clipped.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6, GoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd: !GoooPackage0ActivityRectangleEmpty(clipped)}\n}\n\n//gooo:generated:end id=\"gooo://example/crop-planner/crop-plan\" kind=\"activity\"\n//gooo:generated:start id=\"gooo://go/image/rectangle-intersect\" kind=\"activity\"\nfunc GoooPackage2ActivityRectangleIntersect(input0 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9, input1 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9 {\n\tvar min_x = input0.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c\n\tvar min_y = input0.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430\n\tvar max_x = input0.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a\n\tvar max_y = input0.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n\tif min_x < input1.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c {\n\t\tmin_x = input1.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c\n\t}\n\tif min_y < input1.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 {\n\t\tmin_y = input1.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430\n\t}\n\tif max_x > input1.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a {\n\t\tmax_x = input1.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a\n\t}\n\tif max_y > input1.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6 {\n\t\tmax_y = input1.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n\t}\n\tif min_x >= max_x || min_y >= max_y {\n\t\treturn GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9{GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c: 0, GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430: 0, GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a: 0, GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6: 0}\n\t}\n\treturn GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9{GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c: min_x, GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430: min_y, GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a: max_x, GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6: max_y}\n}\n\n//gooo:generated:end id=\"gooo://go/image/rectangle-intersect\" kind=\"activity\"\n//gooo:generated:start id=\"gooo://go/image/rectangle-empty\" kind=\"activity\"\nfunc GoooPackage0ActivityRectangleEmpty(input GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) bool {\n\treturn input.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c >= input.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a || input.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 >= input.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n}\n\n//gooo:generated:end id=\"gooo://go/image/rectangle-empty\" kind=\"activity\"\n"}}],"gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"gooo://std/integer\"\nentity Boolean id \"gooo://std/boolean\"\nentity Rectangle id \"gooo://go/image/rectangle\" fields {\n    field min_x id \"gooo://go/image/rectangle/min-x\" type integer required one\n    field min_y id \"gooo://go/image/rectangle/min-y\" type integer required one\n    field max_x id \"gooo://go/image/rectangle/max-x\" type integer required one\n    field max_y id \"gooo://go/image/rectangle/max-y\" type integer required one\n}\nentity CropResult id \"gooo://example/crop-planner/result\" fields {\n    field min_x id \"gooo://example/crop-planner/result/min-x\" type integer required one\n    field min_y id \"gooo://example/crop-planner/result/min-y\" type integer required one\n    field max_x id \"gooo://example/crop-planner/result/max-x\" type integer required one\n    field max_y id \"gooo://example/crop-planner/result/max-y\" type integer required one\n    field has_pixels id \"gooo://example/crop-planner/result/has-pixels\" type boolean required one\n}\nactivity GoooPackage0ActivityRectangleEmpty(Rectangle) -> Boolean id \"gooo://go/image/rectangle-empty\" computes \"return input.min_x >= input.max_x || input.min_y >= input.max_y\"\nactivity GoooPackage2ActivityRectangleIntersect(Rectangle, Rectangle) -> Rectangle id \"gooo://go/image/rectangle-intersect\" computes \"let min_x = input0.min_x\\nlet min_y = input0.min_y\\nlet max_x = input0.max_x\\nlet max_y = input0.max_y\\nif min_x < input1.min_x { min_x = input1.min_x }\\nif min_y < input1.min_y { min_y = input1.min_y }\\nif max_x > input1.max_x { max_x = input1.max_x }\\nif max_y > input1.max_y { max_y = input1.max_y }\\nif min_x >= max_x || min_y >= max_y { return Rectangle{min_x: 0, min_y: 0, max_x: 0, max_y: 0} }\\nreturn Rectangle{min_x: min_x, min_y: min_y, max_x: max_x, max_y: max_y}\"\nactivity GoooPackage5ActivityCropPlan(Rectangle, Rectangle) -> CropResult id \"gooo://example/crop-planner/crop-plan\" computes \"let clipped = GoooPackage2ActivityRectangleIntersect(input0, input1)\\nreturn CropResult{min_x: clipped.min_x, min_y: clipped.min_y, max_x: clipped.max_x, max_y: clipped.max_y, has_pixels: !GoooPackage0ActivityRectangleEmpty(clipped)}\"\n","source":"package main\n\n//gooo:generated:start id=\"gooo://example/crop-planner/result\" kind=\"entity\"\ntype GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6 struct {\n\tGoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c int64 `json:\"min_x\"`\n\tGoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1 int64 `json:\"min_y\"`\n\tGoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe int64 `json:\"max_x\"`\n\tGoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec int64 `json:\"max_y\"`\n\tGoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd bool  `json:\"has_pixels\"`\n}\n\n//gooo:generated:end id=\"gooo://example/crop-planner/result\" kind=\"entity\"\n//gooo:generated:start id=\"gooo://go/image/rectangle\" kind=\"entity\"\ntype GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9 struct {\n\tGoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c int64 `json:\"min_x\"`\n\tGoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 int64 `json:\"min_y\"`\n\tGoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a int64 `json:\"max_x\"`\n\tGoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6 int64 `json:\"max_y\"`\n}\n\n//gooo:generated:end id=\"gooo://go/image/rectangle\" kind=\"entity\"\n\n//gooo:generated:start id=\"gooo://example/crop-planner/crop-plan\" kind=\"activity\"\nfunc GoooComposedActivity0(input0 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9, input1 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6 {\n\tvar clipped = GoooComposedActivity0Call0(input0, input1)\n\treturn GoooRecord1a859da859afbce601a6ca6907e6eb8810198997818533c6b281b36e8262bca6{GoooField660cda362c49acace6fdba2804ebc4c7954c0cf5a705b1a6e7f0784d2c2d470c: clipped.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c, GoooField9977644123f9181710223dcca14683166f8c383549c3616bd19a249f539b06a1: clipped.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430, GoooFieldaac332e50f326620687a1ce8b6c003675a5f02ea9becc2c1b1aa0b6b6d93d3fe: clipped.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a, GoooFieldd05baf8eedc95fea22ce26893fbe75ce5db7a38d5826ea8e49e651838f59cdec: clipped.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6, GoooField3e8e6a794f9ec1fdee48357fbc7163de59e66ce0aa8310433dfa2bc91419cadd: !GoooComposedActivity0Call1(clipped)}\n}\nfunc GoooComposedActivity0Call0(input0 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9, input1 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9 {\n\tvar min_x = input0.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c\n\tvar min_y = input0.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430\n\tvar max_x = input0.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a\n\tvar max_y = input0.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n\tif min_x < input1.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c {\n\t\tmin_x = input1.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c\n\t}\n\tif min_y < input1.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 {\n\t\tmin_y = input1.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430\n\t}\n\tif max_x > input1.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a {\n\t\tmax_x = input1.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a\n\t}\n\tif max_y > input1.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6 {\n\t\tmax_y = input1.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n\t}\n\tif min_x >= max_x || min_y >= max_y {\n\t\treturn GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9{GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c: 0, GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430: 0, GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a: 0, GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6: 0}\n\t}\n\treturn GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9{GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c: min_x, GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430: min_y, GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a: max_x, GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6: max_y}\n}\nfunc GoooComposedActivity0Call1(input GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9) bool {\n\treturn input.GoooField4ce216522ce3be6e1923a2ef959276afb99d7f9912a8efd5c87227fafaf1eb6c >= input.GoooField1391cd836763434facc7d5a434451052aa5e0f4488908939201901db5bb58f4a || input.GoooFielddc9fb76e1f0a9564706f52a75f52ea1954c6711bf6b11b4aaea752197f0bc430 >= input.GoooFieldd8c32618f96a1e9fd3212cc4b0bb07aa716cc1af819d77c6ea26e49caa5722f6\n}\n\n//gooo:generated:end id=\"gooo://example/crop-planner/crop-plan\" kind=\"activity\"\n","driver_source":"package main\n\nimport (\n\t\"encoding/json\"\n\t\"os\"\n)\n\nfunc main() {\n\tvar in [][2]json.RawMessage\n\tif json.NewDecoder(os.Stdin).Decode(&in) != nil || len(in) > 128 {\n\t\tos.Exit(2)\n\t}\n\tout := make([][1]json.RawMessage, len(in))\n\tfor c, row := range in {\n\t\tvar input0 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9\n\t\tif json.Unmarshal(row[0], &input0) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input1 GoooRecord2b6e359a9b3c2c402df41e163b537136a11a4774599ffbd4572109d4347ac3c9\n\t\tif json.Unmarshal(row[1], &input1) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tv0 := GoooComposedActivity0(input0, input1)\n\t\tout[c][0], _ = json.Marshal(v0)\n\t}\n\tif json.NewEncoder(os.Stdout).Encode(out) != nil {\n\t\tos.Exit(3)\n\t}\n}\n","elapsed_ns":8970628,"scope":"source-declared typed value graph; finite activity selection and independently compiled graph execution are separate observations"},"runtime":{"schema":"gooo/body-composition-runtime/v1","stage":"COMPLETE","composition_sha256":"sha256:5e0429edb1d66ccbaf7ebafc07b1f705c36b09afeac4959eb4b671fb4603dea8","original_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","selected_source_sha256":"sha256:46b78d9aee74f9c8ffa056b9fd5f8af8ecb7dd0d82cea4045dcf2837ffac25b9","typed_plan_sha256":"sha256:661da539b2605af5ed751056d8b21aaba0b773a779eff5c4c30bd338b71c4f48","generated_sha256":"sha256:5a88b5a3e572d287f290ffceb8880108e7860ed9c684783ebb07d6bc584d6ba5","driver_sha256":"sha256:870a42f34b912972af359ec4a6d8d93f75a0a8f248c026e25ffaedd49d07cee6","runtime_suite_sha256":"sha256:c6727ad93d38932941ec046818267127d9e11692098fdf6a7760f918ae8b2d88","executable_sha256":"sha256:568d10bbed0b222f2c76ccfa492d2e2caf032acbd8a42da59d1e899d5d94328a","go_tool_sha256":"sha256:548d3c32f83fa81152f543eb1526be7884cfe0526eb5e9ce29d3eca14786e7e0","go_tool_selection":"path","go_version":"go version go1.27.2 linux/amd64","producer_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261011201109-83928fa45382"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":2793273,"user_ns":954000,"system_ns":1908000,"peak_rss_bytes":25407488,"stdout_sha256":"sha256:ed4307d760c597256afdc696a61d47d13e832615d7741ead11c64966a440b376","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":421710,"wait_ns":2371563,"deadline_remaining_ns":59980929693,"context_at_start_return":"ACTIVE"}},"build":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":159307306,"user_ns":222837000,"system_ns":49715000,"peak_rss_bytes":81453056,"stdout_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":223326,"wait_ns":159083980,"deadline_remaining_ns":59977792580,"context_at_start_return":"ACTIVE"}},"runs":[{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":1999042,"user_ns":1087000,"system_ns":1087000,"peak_rss_bytes":25538560,"stdout_sha256":"sha256:9fa712ed1e0c18c315aa2a7b3cce06abddb72ce1fe54148adedfd0c5248213da","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":265335,"wait_ns":1733707,"wait_limit_ns":2000000000,"deadline_remaining_ns":59815199619,"context_at_start_return":"ACTIVE"}},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":1902307,"user_ns":999000,"system_ns":999000,"peak_rss_bytes":25538560,"stdout_sha256":"sha256:9fa712ed1e0c18c315aa2a7b3cce06abddb72ce1fe54148adedfd0c5248213da","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":218205,"wait_ns":1684102,"wait_limit_ns":2000000000,"deadline_remaining_ns":59812765106,"context_at_start_return":"ACTIVE"}}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":200,"max_y":550,"min_x":-20,"min_y":40},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-20},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":40},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":200},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":550}]}],"actual":{"has_pixels":true,"max_x":200,"max_y":480,"min_x":0,"min_y":40},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":40},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":200},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":480},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":1,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":1000,"max_y":1000,"min_x":-100,"min_y":-100},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-100},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-100},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":1000},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":1000}]}],"actual":{"has_pixels":true,"max_x":640,"max_y":480,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":640},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":480},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":2,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":200,"max_y":200,"min_x":100,"min_y":100},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":100},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":100},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":200},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":200}]}],"actual":{"has_pixels":true,"max_x":200,"max_y":200,"min_x":100,"min_y":100},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":100},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":100},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":200},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":200},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":3,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":800,"max_y":100,"min_x":640,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":640},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":800},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":100}]}],"actual":{"has_pixels":false,"max_x":0,"max_y":0,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":0},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":0},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":false}]}]},{"case_index":4,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":100,"max_y":600,"min_x":0,"min_y":480},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":480},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":100},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":600}]}],"actual":{"has_pixels":false,"max_x":0,"max_y":0,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":0},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":0},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":false}]}]},{"case_index":5,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":640,"max_y":480,"min_x":0,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":0},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":640},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":10,"max_y":20,"min_x":90,"min_y":80},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":90},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":80},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":10},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":20}]}],"actual":{"has_pixels":false,"max_x":0,"max_y":0,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":0},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":0},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":false}]}]},{"case_index":6,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":0,"max_y":480,"min_x":640,"min_y":0},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":640},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":0},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":0},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":480}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":30,"max_y":30,"min_x":10,"min_y":10},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":10},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":10},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":30},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":30}]}],"actual":{"has_pixels":false,"max_x":0,"max_y":0,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":0},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":0},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":false}]}]},{"case_index":7,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":7,"max_y":20,"min_x":7,"min_y":9},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":7},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":9},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":7},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":20}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":8,"max_y":21,"min_x":7,"min_y":9},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":7},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":9},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":8},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":21}]}],"actual":{"has_pixels":false,"max_x":0,"max_y":0,"min_x":0,"min_y":0},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":0},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":0},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":0},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":0},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":false}]}]},{"case_index":8,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":5,"max_y":10,"min_x":-20,"min_y":-30},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-20},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-30},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":5},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":10}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":12,"max_y":4,"min_x":-8,"min_y":-40},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-8},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-40},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":12},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":4}]}],"actual":{"has_pixels":true,"max_x":5,"max_y":4,"min_x":-8,"min_y":-30},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":-8},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":-30},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":5},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":4},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":9,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":9223372036854775807,"max_y":9223372036854775807,"min_x":-9223372036854775808,"min_y":-9223372036854775808},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":9223372036854775807},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":9223372036854775807}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":9223372036854775807,"max_y":9223372036854775807,"min_x":9223372036854775806,"min_y":9223372036854775806},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":9223372036854775806},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":9223372036854775806},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":9223372036854775807},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":9223372036854775807}]}],"actual":{"has_pixels":true,"max_x":9223372036854775807,"max_y":9223372036854775807,"min_x":9223372036854775806,"min_y":9223372036854775806},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":9223372036854775806},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":9223372036854775806},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":9223372036854775807},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":9223372036854775807},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":10,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":9223372036854775807,"max_y":9223372036854775807,"min_x":-9223372036854775808,"min_y":-9223372036854775808},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":9223372036854775807},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":9223372036854775807}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":-9223372036854775807,"max_y":-9223372036854775807,"min_x":-9223372036854775808,"min_y":-9223372036854775808},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-9223372036854775808},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":-9223372036854775807},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":-9223372036854775807}]}],"actual":{"has_pixels":true,"max_x":-9223372036854775807,"max_y":-9223372036854775807,"min_x":-9223372036854775808,"min_y":-9223372036854775808},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":-9223372036854775808},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":-9223372036854775808},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":-9223372036854775807},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":-9223372036854775807},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]},{"case_index":11,"deliveries":[{"activity_id":"gooo://example/crop-planner/crop-plan","inputs":[{"port":"input0","entity_id":"gooo://go/image/rectangle","value":{"max_x":9007199254740994,"max_y":-9007199254740991,"min_x":9007199254740992,"min_y":-9007199254740993},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":9007199254740992},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-9007199254740993},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":9007199254740994},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":-9007199254740991}]},{"port":"input1","entity_id":"gooo://go/image/rectangle","value":{"max_x":9007199254740995,"max_y":-9007199254740991,"min_x":9007199254740993,"min_y":-9007199254740992},"fields":[{"id":"gooo://go/image/rectangle/min-x","name":"min_x","value":9007199254740993},{"id":"gooo://go/image/rectangle/min-y","name":"min_y","value":-9007199254740992},{"id":"gooo://go/image/rectangle/max-x","name":"max_x","value":9007199254740995},{"id":"gooo://go/image/rectangle/max-y","name":"max_y","value":-9007199254740991}]}],"actual":{"has_pixels":true,"max_x":9007199254740994,"max_y":-9007199254740991,"min_x":9007199254740993,"min_y":-9007199254740992},"actual_fields":[{"id":"gooo://example/crop-planner/result/min-x","name":"min_x","value":9007199254740993},{"id":"gooo://example/crop-planner/result/min-y","name":"min_y","value":-9007199254740992},{"id":"gooo://example/crop-planner/result/max-x","name":"max_x","value":9007199254740994},{"id":"gooo://example/crop-planner/result/max-y","name":"max_y","value":-9007199254740991},{"id":"gooo://example/crop-planner/result/has-pixels","name":"has_pixels","value":true}]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":0,"finite_total":0,"input_separation":{"status":"UNKNOWN","reason":"NO_RUNTIME_EXPECTATIONS","unique_inputs":12,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":0,"disjoint_cases_passed":0,"unknown_inputs":12,"scope":"unique root-input tuples; actual inputs at graph activities and constructed helper calls compared with source output/condition/holdout cases and recorded probes; all supplied expectations across duplicate rows must match; model-training exposure is unknown"},"model_calls":0,"elapsed_ns":190886549,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"scope":"typed imported activity bindings; generated Go compiled and run twice; finite named expectations only"}}