{"generated_now":true,"composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:d1be3f6269553ad88a81f9dc3e2836dc3c1f30bc0c07e19f5c27b29c602f4794","selected_source_sha256":"sha256:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","generated_sha256":"sha256:bad40bf5048b80056c45b6f3c14f8b46b1fb9b04f04d00a6425c462b21a6b30c","driver_sha256":"sha256:70be25df9018e30b0b7327b15386fa35908dd7fd9959d95ce9bb1c322a667979","plan":{"schema":"gooo/body-composition-plan/v1","typed_plan_sha256":"sha256:50e4b2185586b1e3c704151d8d5a2a06d303ae2d727b3faf5fe94965338d07fb","semantic_fingerprint":"a0479cd24ed2dc3a0d699a891007c7e7f7f37240800494b384bc38c07a6f32a3","activities":[{"name":"Divide","id":"division://activity/divide","input_type":"Integer","output_type":"Result","input_entity_id":"division://integer","output_entity_id":"division://result","go_function":"GoooComposedActivity0","input_from":-1,"assembling":true,"inputs":[{"port":"input0","type":"Integer","entity_id":"division://integer","from":-1},{"port":"input1","type":"Integer","entity_id":"division://integer","from":-1}]}],"edges":[],"record_types":[{"name":"Result","id":"division://result","go_name":"GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088","fields":[{"name":"valid","id":"division://result/valid","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f"},{"name":"quotient","id":"division://result/quotient","type_id":"urn:gooo:type:integer","go_name":"GoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b"},{"name":"remainder","id":"division://result/remainder","type_id":"urn:gooo:type:integer","go_name":"GoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908"}]}]},"steps":[{"input_source_sha256":"sha256:d1be3f6269553ad88a81f9dc3e2836dc3c1f30bc0c07e19f5c27b29c602f4794","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Divide","activity_id":"division://activity/divide","input_type":"(int64,int64)","input_parameters":[{"name":"input0","type":"int64"},{"name":"input1","type":"int64"}],"record_types":[{"name":"Result","id":"division://result","go_name":"GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088","fields":[{"name":"valid","id":"division://result/valid","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f"},{"name":"quotient","id":"division://result/quotient","type_id":"urn:gooo:type:integer","go_name":"GoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b"},{"name":"remainder","id":"division://result/remainder","type_id":"urn:gooo:type:integer","go_name":"GoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908"}]}],"output_type":"Result","plan_sha256":"sha256:a51521dcd9c1efd1a2ea011a17ce96ba2d26ef4a61bae5160c1e6388822544e5","compiler_source_sha":"c203fdd640589fdd8559ecc7a9b56e020e0f3a75","source_digest":"sha256:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","program_digest":"sha256:db777511eacbd34472cadb32fb93a241e767d4ff4e8a8301d717aaf50419a60a","generated_digest":"sha256:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","replay_digest":"sha256:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","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,"record_assembly":{"schema":"gooo/record-field-assembly/v1","original_source_sha256":"sha256:d1be3f6269553ad88a81f9dc3e2836dc3c1f30bc0c07e19f5c27b29c602f4794","selected_source_sha256":"sha256:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","contract_sha256":"sha256:4a7d2f8ab94a8ca28c92afefe6f44fb3a47622d060da926d296356c773d1c3be","test_suite_sha256":"sha256:59eab1a8cad6b9bb7ae22e4f916936db738b05952cf064f625fb413daddff23b","selected_mask":7,"attempt_budget":8,"choices":[{"id":"valid","record_id":"division://result","field_id":"division://result/valid","field":"valid","occurrence":0,"intent":"분모가 0이 아닌지 계산한 값을 보존한다. Preserve the computed valid variable.","first":"!valid","second":"valid","picked":"value_second"},{"id":"quotient","record_id":"division://result","field_id":"division://result/quotient","field":"quotient","occurrence":1,"intent":"0 방향으로 자른 정수 몫을 보존한다. Keep the quotient variable.","first":"-quotient","second":"quotient","picked":"value_second"},{"id":"remainder","record_id":"division://result","field_id":"division://result/remainder","field":"remainder","occurrence":2,"intent":"나눈 수의 부호를 따르는 나머지를 보존한다. Keep the remainder variable.","first":"-remainder","second":"remainder","picked":"value_second"}],"attempts":[{"mask":7,"passed":4,"total":4,"fields_passed":12,"fields_total":12}],"cases":[{"inputs":[7,3],"expected":{"quotient":2,"remainder":1,"valid":true},"actual":{"quotient":2,"remainder":1,"valid":true},"passed":true,"fields":[{"id":"division://result/valid","name":"valid","type_id":"urn:gooo:type:boolean","expected":"true","actual":"true","passed":true},{"id":"division://result/quotient","name":"quotient","type_id":"urn:gooo:type:integer","expected":"2","actual":"2","passed":true},{"id":"division://result/remainder","name":"remainder","type_id":"urn:gooo:type:integer","expected":"1","actual":"1","passed":true}]},{"inputs":[-7,3],"expected":{"quotient":-2,"remainder":-1,"valid":true},"actual":{"quotient":-2,"remainder":-1,"valid":true},"passed":true,"fields":[{"id":"division://result/valid","name":"valid","type_id":"urn:gooo:type:boolean","expected":"true","actual":"true","passed":true},{"id":"division://result/quotient","name":"quotient","type_id":"urn:gooo:type:integer","expected":"-2","actual":"-2","passed":true},{"id":"division://result/remainder","name":"remainder","type_id":"urn:gooo:type:integer","expected":"-1","actual":"-1","passed":true}]},{"inputs":[7,-3],"expected":{"quotient":-2,"remainder":1,"valid":true},"actual":{"quotient":-2,"remainder":1,"valid":true},"passed":true,"fields":[{"id":"division://result/valid","name":"valid","type_id":"urn:gooo:type:boolean","expected":"true","actual":"true","passed":true},{"id":"division://result/quotient","name":"quotient","type_id":"urn:gooo:type:integer","expected":"-2","actual":"-2","passed":true},{"id":"division://result/remainder","name":"remainder","type_id":"urn:gooo:type:integer","expected":"1","actual":"1","passed":true}]},{"inputs":[7,0],"expected":{"quotient":0,"remainder":0,"valid":false},"actual":{"quotient":0,"remainder":0,"valid":false},"passed":true,"fields":[{"id":"division://result/valid","name":"valid","type_id":"urn:gooo:type:boolean","expected":"false","actual":"false","passed":true},{"id":"division://result/quotient","name":"quotient","type_id":"urn:gooo:type:integer","expected":"0","actual":"0","passed":true},{"id":"division://result/remainder","name":"remainder","type_id":"urn:gooo:type:integer","expected":"0","actual":"0","passed":true}]}],"passed":4,"total":4,"fields_passed":12,"fields_total":12,"status":"COMPLETE_FINITE","model_requested":true,"model_calls":1,"predict_ns":26917,"model":{"schema":"gooo/retained-path-model/v1","loaded":true,"metadata_sha256":"f95925a277c45957722bc116213c61bee997cc07a94adae738a05d218d660059","weights_sha256":"049081cc6dc62f3c4230f72e601c1fd421c514fce9cfdf7bc1eb412ca4c5514b","resident_tensor_bytes":2096,"setup_ms":0.657958,"scope":"one constructor load; excluded from request timing; fresh source and plan each request","model_schema":"gooo/tiny-shared-three-choice-path-model/v1","feature_version":"triple_record_field_context_v1_shared_v1","arithmetic_version":"float32_separate_v1"},"model_context":{"schema":"gooo/record-field-expression-context/v1","status":"ENCODED","text":"gooo;joint3|156:{\"field\":\"valid\",\"first\":\"!valid\",\"second\":\"valid\",\"intent\":\"분모가 0이 아닌지 계산한 값을 보존한다. Preserve the computed valid variable.\"}149:{\"field\":\"quotient\",\"first\":\"-quotient\",\"second\":\"quotient\",\"intent\":\"0 방향으로 자른 정수 몫을 보존한다. Keep the quotient variable.\"}164:{\"field\":\"remainder\",\"first\":\"-remainder\",\"second\":\"remainder\",\"intent\":\"나눈 수의 부호를 따르는 나머지를 보존한다. Keep the remainder variable.\"}","sha256":"sha256:e551c004cb6e221e40928524e309fc44ecc2bdd197424513275ad2cc84b69be0","parts":["{\"field\":\"valid\",\"first\":\"!valid\",\"second\":\"valid\",\"intent\":\"분모가 0이 아닌지 계산한 값을 보존한다. Preserve the computed valid variable.\"}","{\"field\":\"quotient\",\"first\":\"-quotient\",\"second\":\"quotient\",\"intent\":\"0 방향으로 자른 정수 몫을 보존한다. Keep the quotient variable.\"}","{\"field\":\"remainder\",\"first\":\"-remainder\",\"second\":\"remainder\",\"intent\":\"나눈 수의 부호를 따르는 나머지를 보존한다. Keep the remainder variable.\"}"],"feature_version":"triple_record_field_context_v1_shared_v1","scope":"complete source-bound field names, ordered expressions and intent; actual string-field structural features; cases and expected outputs excluded"},"prediction":{"logits":[-6.7379146,-0.41854632,-1.900569,4.418799,-4.418799,1.900569,0.41854632,6.7379146],"probabilities":[1.9535896e-12,6.022362e-7,3.108124e-8,0.009581457,2.0192568e-10,0.00006224791,0.0000032125972,0.99035245],"proposed_mask":7},"ranking":[7,3,5,6,1,2,4,0],"generation_ns":2596500,"scope":"source-declared record field alternatives; finite case and field coverage; candidate interpretation followed by ordinary typed Go emission; no model updates"},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":10,"lowered_constructs":10,"source_semantic_units":48,"lowered_semantic_units":48,"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:b465ef31a2dead14ab885ad06b322ef393292ed6fc1ebf32873540a7bb43665f","generated_semantic_digest":"sha256:b465ef31a2dead14ab885ad06b322ef393292ed6fc1ebf32873540a7bb43665f","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":"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":"source-bound record field expressions, optional local ordinal ranking, and finite field observations within the source budget","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"compiler_source_sha":"c203fdd640589fdd8559ecc7a9b56e020e0f3a75","decision_mode":"local_shared_field_prediction_then_finite_tdd","decision_provider":"tiny_go","domain_scope":"one source-owned pure record assembly with 1..16 typed inputs and required string fields","excluded_scope":["unstated natural-language intent","independently sourced production workflows","generated runtime behavior","unrestricted Gooo body syntax","route clarity or utility"],"execution_environment":"darwin/arm64","input_type":"(int64,int64)","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Result","plan_sha256":"sha256:a51521dcd9c1efd1a2ea011a17ce96ba2d26ef4a61bae5160c1e6388822544e5","receipt_declaration":{"declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","generated_declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile":"gooo/receipt-structure-projection/v1","schema":"gooo/metaprogramming-completeness-receipt/v2"},"record_assembly":{"contract_sha256":"sha256:4a7d2f8ab94a8ca28c92afefe6f44fb3a47622d060da926d296356c773d1c3be","external_provider_calls":0,"fields_passed":12,"fields_total":12,"finite_passed":4,"finite_total":4,"local_model_predictions":1,"observation_sha256":"sha256:87f76e83fe9c3737bb4560f5dfcba555fba96d878be3255d64dc2c89a4c2206d","schema":"gooo/record-field-assembly/v1","test_suite_sha256":"sha256:59eab1a8cad6b9bb7ae22e4f916936db738b05952cf064f625fb413daddff23b"},"record_types":[{"name":"Result","id":"division://result","go_name":"GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088","fields":[{"name":"valid","id":"division://result/valid","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f"},{"name":"quotient","id":"division://result/quotient","type_id":"urn:gooo:type:integer","go_name":"GoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b"},{"name":"remainder","id":"division://result/remainder","type_id":"urn:gooo:type:integer","go_name":"GoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908"}]}],"system_budget":{"maximum_human_actions":0,"maximum_repository_writes":0},"toolchain":"go1.27.1"},"core_dimensions":["declaration_coverage","declared_record_case_accuracy","declared_record_field_accuracy","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:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","activity_id:division://activity/divide"]},{"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:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":48,"denominator":48,"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:b465ef31a2dead14ab885ad06b322ef393292ed6fc1ebf32873540a7bb43665f","generated_semantic_digest:sha256:b465ef31a2dead14ab885ad06b322ef393292ed6fc1ebf32873540a7bb43665f"]},{"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:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","replay_digest:sha256:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598"]},{"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:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","program_digest:sha256:db777511eacbd34472cadb32fb93a241e767d4ff4e8a8301d717aaf50419a60a","generated_digest:sha256:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","replay_digest:sha256:516d4553d0b146056fd24f9bb8fb3e7693ce0a1aaa16d09e8c24378b2ec0e598","activity_id:division://activity/divide","compiler_source_sha:c203fdd640589fdd8559ecc7a9b56e020e0f3a75","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"]},{"id":"declared_record_case_accuracy","status":"PASS","numerator":4,"denominator":4,"unit":"declared typed selection cases","reason":"Matches complete named record results in the bounded pure-value evaluator; native runtime cases are observed separately.","evidence":["record_assembly.test_suite_sha256:sha256:59eab1a8cad6b9bb7ae22e4f916936db738b05952cf064f625fb413daddff23b"]},{"id":"declared_record_field_accuracy","status":"PASS","numerator":12,"denominator":12,"unit":"declared expected record output fields","reason":"Counts each expected field in the supplied selection cases; preserves partially matching record outputs.","evidence":["record_assembly.contract_sha256:sha256:4a7d2f8ab94a8ca28c92afefe6f44fb3a47622d060da926d296356c773d1c3be"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":13,"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 division\n\n//gooo:generated:start id=\"division://result\" kind=\"entity\"\ntype GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088 struct {\n\tGoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f bool  `json:\"valid\"`\n\tGoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b int64 `json:\"quotient\"`\n\tGoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908 int64 `json:\"remainder\"`\n}\n\n//gooo:generated:end id=\"division://result\" kind=\"entity\"\n//gooo:generated:start id=\"division://activity/divide\" kind=\"activity\"\nfunc Divide(input0 int64, input1 int64) GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088 {\n\tvar valid = input1 != 0\n\tvar divisor = input1\n\tif !valid {\n\t\tdivisor = 1\n\t}\n\tvar quotient = input0 / divisor\n\tvar remainder = input0 % divisor\n\tif !valid {\n\t\tquotient = 0\n\t\tremainder = 0\n\t}\n\treturn GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088{GoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f: (valid), GoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b: (quotient), GoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908: (remainder)}\n}\n\n//gooo:generated:end id=\"division://activity/divide\" kind=\"activity\"\n","gooo_source":"package division\nnamespace division\nentity Integer id \"division://integer\"\nentity Result id \"division://result\" fields {\n    field valid id \"division://result/valid\" type boolean required one\n    field quotient id \"division://result/quotient\" type integer required one\n    field remainder id \"division://result/remainder\" type integer required one\n}\nactivity Divide(Integer, Integer) -\u003e Result computes \"var valid = input1 != 0\\nvar divisor = input1\\nif !valid { divisor = 1 }\\nvar quotient = input0 / divisor\\nvar remainder = input0 % divisor\\nif !valid { quotient = 0; remainder = 0 }\\nreturn Result{valid: (valid), quotient: (quotient), remainder: (remainder)}\" assembling {\n    baseline \"let valid = input1 != 0\\nlet divisor = input1\\nif !valid { divisor = 1 }\\nlet quotient = input0 / divisor\\nlet remainder = input0 % divisor\\nif !valid { quotient = 0; remainder = 0 }\\nreturn Result{valid: !valid, quotient: -quotient, remainder: -remainder}\"\n    picked \"valid\" -\u003e \"value_second\"\n    picked \"quotient\" -\u003e \"value_second\"\n    picked \"remainder\" -\u003e \"value_second\"\n    choice \"valid\" field_value at \"0\" alternative \"valid\" intent \"분모가 0이 아닌지 계산한 값을 보존한다. Preserve the computed valid variable.\"\n    choice \"quotient\" field_value at \"1\" alternative \"quotient\" intent \"0 방향으로 자른 정수 몫을 보존한다. Keep the quotient variable.\"\n    choice \"remainder\" field_value at \"2\" alternative \"remainder\" intent \"나눈 수의 부호를 따르는 나머지를 보존한다. Keep the remainder variable.\"\n    value_case \"[7,3]\" -\u003e \"{\\\"quotient\\\":2,\\\"remainder\\\":1,\\\"valid\\\":true}\"\n    value_case \"[-7,3]\" -\u003e \"{\\\"quotient\\\":-2,\\\"remainder\\\":-1,\\\"valid\\\":true}\"\n    value_case \"[7,-3]\" -\u003e \"{\\\"quotient\\\":-2,\\\"remainder\\\":1,\\\"valid\\\":true}\"\n    value_case \"[7,0]\" -\u003e \"{\\\"quotient\\\":0,\\\"remainder\\\":0,\\\"valid\\\":false}\"\n    attempts \"8\"\n}\n"}}],"gooo_source":"package division\nnamespace division\nentity Integer id \"division://integer\"\nentity Result id \"division://result\" fields {\n    field valid id \"division://result/valid\" type boolean required one\n    field quotient id \"division://result/quotient\" type integer required one\n    field remainder id \"division://result/remainder\" type integer required one\n}\nactivity Divide(Integer, Integer) -\u003e Result computes \"var valid = input1 != 0\\nvar divisor = input1\\nif !valid { divisor = 1 }\\nvar quotient = input0 / divisor\\nvar remainder = input0 % divisor\\nif !valid { quotient = 0; remainder = 0 }\\nreturn Result{valid: (valid), quotient: (quotient), remainder: (remainder)}\" assembling {\n    baseline \"let valid = input1 != 0\\nlet divisor = input1\\nif !valid { divisor = 1 }\\nlet quotient = input0 / divisor\\nlet remainder = input0 % divisor\\nif !valid { quotient = 0; remainder = 0 }\\nreturn Result{valid: !valid, quotient: -quotient, remainder: -remainder}\"\n    picked \"valid\" -\u003e \"value_second\"\n    picked \"quotient\" -\u003e \"value_second\"\n    picked \"remainder\" -\u003e \"value_second\"\n    choice \"valid\" field_value at \"0\" alternative \"valid\" intent \"분모가 0이 아닌지 계산한 값을 보존한다. Preserve the computed valid variable.\"\n    choice \"quotient\" field_value at \"1\" alternative \"quotient\" intent \"0 방향으로 자른 정수 몫을 보존한다. Keep the quotient variable.\"\n    choice \"remainder\" field_value at \"2\" alternative \"remainder\" intent \"나눈 수의 부호를 따르는 나머지를 보존한다. Keep the remainder variable.\"\n    value_case \"[7,3]\" -\u003e \"{\\\"quotient\\\":2,\\\"remainder\\\":1,\\\"valid\\\":true}\"\n    value_case \"[-7,3]\" -\u003e \"{\\\"quotient\\\":-2,\\\"remainder\\\":-1,\\\"valid\\\":true}\"\n    value_case \"[7,-3]\" -\u003e \"{\\\"quotient\\\":-2,\\\"remainder\\\":1,\\\"valid\\\":true}\"\n    value_case \"[7,0]\" -\u003e \"{\\\"quotient\\\":0,\\\"remainder\\\":0,\\\"valid\\\":false}\"\n    attempts \"8\"\n}\n","source":"package main\n\n//gooo:generated:start id=\"division://result\" kind=\"entity\"\ntype GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088 struct {\n\tGoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f bool  `json:\"valid\"`\n\tGoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b int64 `json:\"quotient\"`\n\tGoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908 int64 `json:\"remainder\"`\n}\n\n//gooo:generated:end id=\"division://result\" kind=\"entity\"\n\n//gooo:generated:start id=\"division://activity/divide\" kind=\"activity\"\nfunc GoooComposedActivity0(input0 int64, input1 int64) GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088 {\n\tvar valid = input1 != 0\n\tvar divisor = input1\n\tif !valid {\n\t\tdivisor = 1\n\t}\n\tvar quotient = input0 / divisor\n\tvar remainder = input0 % divisor\n\tif !valid {\n\t\tquotient = 0\n\t\tremainder = 0\n\t}\n\treturn GoooRecordfe6d6694a9b86679a3243c4de328d8718c85ffb4dc2abfe72193b7bf18933088{GoooFieldc605d35f977b7602a0e631125fdcd4d4967baad217d069251998fc3573187b5f: (valid), GoooField8157c3a5a8fe93ffaf44734d2105347ff83bcb61baf0fe375af6dd48c094364b: (quotient), GoooField35076b29ebd58b7aed6a9f636afe76316ba05e1b04b7a781997d70c693045908: (remainder)}\n}\n\n//gooo:generated:end id=\"division://activity/divide\" 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(\u0026in) != nil || len(in) \u003e 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 int64\n\t\tif json.Unmarshal(row[0], \u0026input0) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input1 int64\n\t\tif json.Unmarshal(row[1], \u0026input1) != 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","model":{"schema":"gooo/retained-path-model/v1","loaded":true,"metadata_sha256":"f95925a277c45957722bc116213c61bee997cc07a94adae738a05d218d660059","weights_sha256":"049081cc6dc62f3c4230f72e601c1fd421c514fce9cfdf7bc1eb412ca4c5514b","resident_tensor_bytes":2096,"setup_ms":0.657958,"scope":"one constructor load; excluded from request timing; fresh source and plan each request","model_schema":"gooo/tiny-shared-three-choice-path-model/v1","feature_version":"triple_record_field_context_v1_shared_v1","arithmetic_version":"float32_separate_v1"},"elapsed_ns":8990791,"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:7d454201ce7ee1154c5d37974909a5bbbe7af7ee9d46ab55e20a6fbf800f1dd0","original_source_sha256":"sha256:d1be3f6269553ad88a81f9dc3e2836dc3c1f30bc0c07e19f5c27b29c602f4794","selected_source_sha256":"sha256:45cff08fb93284a36c6749bc0a044a4316215e7f50748f150c69fe2b8e99d5a5","typed_plan_sha256":"sha256:50e4b2185586b1e3c704151d8d5a2a06d303ae2d727b3faf5fe94965338d07fb","generated_sha256":"sha256:bad40bf5048b80056c45b6f3c14f8b46b1fb9b04f04d00a6425c462b21a6b30c","driver_sha256":"sha256:70be25df9018e30b0b7327b15386fa35908dd7fd9959d95ce9bb1c322a667979","runtime_suite_sha256":"sha256:0eb7d4b521cfe9f415a73a93f6e55a01c196fbd7a35730ef324f2dd9c11b09fd","executable_sha256":"sha256:16a3dc89cb3c9ad872d57943951994fc37ec459066f41026cb9215189fe66fe4","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"c203fdd640589fdd8559ecc7a9b56e020e0f3a75","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.6.4-dev.0.20261008022406-c203fdd64058"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":8034334,"user_ns":2965000,"system_ns":3031000,"peak_rss_bytes":14565376,"stdout_sha256":"sha256:c528ba02b39880f1357f51dee70e41c1ef03e3a70c7a03055c080532b9635f58","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},"build":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":102907458,"user_ns":119235000,"system_ns":90451000,"peak_rss_bytes":86917120,"stdout_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},"runs":[{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":178612125,"user_ns":965000,"system_ns":2205000,"peak_rss_bytes":4882432,"stdout_sha256":"sha256:d4c14b1350c22c9287df7ef405b04a6614c5ce7a2085b505670cd702195cadcf","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":2793959,"user_ns":964000,"system_ns":1073000,"peak_rss_bytes":4915200,"stdout_sha256":"sha256:d4c14b1350c22c9287df7ef405b04a6614c5ce7a2085b505670cd702195cadcf","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":13},{"port":"input1","entity_id":"division://integer","value":5}],"actual":{"quotient":2,"remainder":3,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":2},{"id":"division://result/remainder","name":"remainder","value":3}],"expected":{"quotient":2,"remainder":3,"valid":true},"passed":true}]},{"case_index":1,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":-13},{"port":"input1","entity_id":"division://integer","value":5}],"actual":{"quotient":-2,"remainder":-3,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":-2},{"id":"division://result/remainder","name":"remainder","value":-3}],"expected":{"quotient":-2,"remainder":-3,"valid":true},"passed":true}]},{"case_index":2,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":13},{"port":"input1","entity_id":"division://integer","value":-5}],"actual":{"quotient":-2,"remainder":3,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":-2},{"id":"division://result/remainder","name":"remainder","value":3}],"expected":{"quotient":-2,"remainder":3,"valid":true},"passed":true}]},{"case_index":3,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":-13},{"port":"input1","entity_id":"division://integer","value":-5}],"actual":{"quotient":2,"remainder":-3,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":2},{"id":"division://result/remainder","name":"remainder","value":-3}],"expected":{"quotient":2,"remainder":-3,"valid":true},"passed":true}]},{"case_index":4,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":-9223372036854775808},{"port":"input1","entity_id":"division://integer","value":-1}],"actual":{"quotient":-9223372036854775808,"remainder":0,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":-9223372036854775808},{"id":"division://result/remainder","name":"remainder","value":0}],"expected":{"quotient":-9223372036854775808,"remainder":0,"valid":true},"passed":true}]},{"case_index":5,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":9223372036854775807},{"port":"input1","entity_id":"division://integer","value":2}],"actual":{"quotient":4611686018427387903,"remainder":1,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":4611686018427387903},{"id":"division://result/remainder","name":"remainder","value":1}],"expected":{"quotient":4611686018427387903,"remainder":1,"valid":true},"passed":true}]},{"case_index":6,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":13},{"port":"input1","entity_id":"division://integer","value":0}],"actual":{"quotient":0,"remainder":0,"valid":false},"actual_fields":[{"id":"division://result/valid","name":"valid","value":false},{"id":"division://result/quotient","name":"quotient","value":0},{"id":"division://result/remainder","name":"remainder","value":0}],"expected":{"quotient":0,"remainder":0,"valid":false},"passed":true}]},{"case_index":7,"deliveries":[{"activity_id":"division://activity/divide","inputs":[{"port":"input0","entity_id":"division://integer","value":0},{"port":"input1","entity_id":"division://integer","value":-5}],"actual":{"quotient":0,"remainder":0,"valid":true},"actual_fields":[{"id":"division://result/valid","name":"valid","value":true},{"id":"division://result/quotient","name":"quotient","value":0},{"id":"division://result/remainder","name":"remainder","value":0}],"expected":{"quotient":0,"remainder":0,"valid":true},"passed":true}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":8,"finite_total":8,"input_separation":{"status":"PASS","reason":"DISJOINT_EXPECTATIONS_MATCHED","unique_inputs":8,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":8,"disjoint_cases_passed":8,"unknown_inputs":0,"scope":"unique root-input tuples; actual inputs at graph activities and constructed helper calls compared with source selection/holdout cases and recorded probes; all supplied expectations across duplicate rows must match; model-training exposure is unknown"},"model_calls":0,"elapsed_ns":308430375,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"}}