{"generated_now":true,"composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:34fc16211d204763a3f654d0786c6434b15ebb9ebfe52d451ddd205839b70134","selected_source_sha256":"sha256:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","generated_sha256":"sha256:b5987d3535560645b46a8552120fc9e757a94c7d86f404c7165d8e978f218fef","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","plan":{"schema":"gooo/body-composition-plan/v1","entry_activity":"Main","typed_plan_sha256":"sha256:a96fcea0a9d83bfff8ae28c8f004efed2e9ec7a73d27cde002b08e036a460609","semantic_fingerprint":"2c6e0c0197c56408f3296b98ffbf6551c3b44332431d8b66edbda3966889c1ab","activities":[{"name":"Main","id":"continuation://activity/main","input_type":"Integer","output_type":"Integer","input_entity_id":"continuation://integer","output_entity_id":"continuation://integer","go_function":"GoooComposedActivity0","input_from":-1,"assembling":false}],"edges":[],"record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"preparations":[{"name":"Seed","id":"continuation://activity/seed"},{"name":"Wrap","id":"continuation://activity/wrap"}]},"steps":[{"input_source_sha256":"sha256:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Main","activity_id":"continuation://activity/main","input_type":"int64","record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"output_type":"int64","plan_sha256":"sha256:af6515d90c214e8490744a406cc7094e129d7bbc82ca9063f89091f4160be9ef","compiler_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","source_digest":"sha256:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","program_digest":"sha256:2ecc0802abf3e0c6094f488f53e03aab14b4a5e0a83a4956418892fd94bca0f6","generated_digest":"sha256:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","replay_digest":"sha256:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","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":"Seed","activity_id":"continuation://activity/seed","program_sha256":"sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d"},{"name":"Wrap","activity_id":"continuation://activity/wrap","program_sha256":"sha256:a1e29983a09ba37a44fbcdaccb66a4f9d7a35fb25059beb026a73df5768c02f8"}],"edges":[{"caller_id":"continuation://activity/wrap","callee_id":"continuation://activity/seed","ordinal":0},{"caller_id":"continuation://activity/main","callee_id":"continuation://activity/wrap","ordinal":0},{"caller_id":"continuation://activity/main","callee_id":"continuation://activity/wrap","ordinal":1}],"max_calls_per_invocation":4},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":6,"lowered_constructs":6,"source_semantic_units":45,"lowered_semantic_units":45,"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:8e4eb2256e53cb18d03a65b6cc61787033e3be9bd5fd11a06515f33ade584404","generated_semantic_digest":"sha256:8e4eb2256e53cb18d03a65b6cc61787033e3be9bd5fd11a06515f33ade584404","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":"Seed","activity_id":"continuation://activity/seed","program_sha256":"sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d"},{"name":"Wrap","activity_id":"continuation://activity/wrap","program_sha256":"sha256:a1e29983a09ba37a44fbcdaccb66a4f9d7a35fb25059beb026a73df5768c02f8"}],"edges":[{"caller_id":"continuation://activity/wrap","callee_id":"continuation://activity/seed","ordinal":0},{"caller_id":"continuation://activity/main","callee_id":"continuation://activity/wrap","ordinal":0},{"caller_id":"continuation://activity/main","callee_id":"continuation://activity/wrap","ordinal":1}],"max_calls_per_invocation":4},"compiler_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","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":"darwin/arm64","input_type":"int64","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"int64","plan_sha256":"sha256:af6515d90c214e8490744a406cc7094e129d7bbc82ca9063f89091f4160be9ef","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":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"system_budget":{"maximum_human_actions":0,"maximum_repository_writes":0},"toolchain":"go1.27.1"},"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:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","activity_id:continuation://activity/main"]},{"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:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":45,"denominator":45,"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:8e4eb2256e53cb18d03a65b6cc61787033e3be9bd5fd11a06515f33ade584404","generated_semantic_digest:sha256:8e4eb2256e53cb18d03a65b6cc61787033e3be9bd5fd11a06515f33ade584404"]},{"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:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","replay_digest:sha256:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a"]},{"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:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","program_digest:sha256:2ecc0802abf3e0c6094f488f53e03aab14b4a5e0a83a4956418892fd94bca0f6","generated_digest:sha256:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","replay_digest:sha256:e397c87121c6673dad88e8805d33d002c2c2079627eeef552547b6fea08ae23a","activity_id:continuation://activity/main","compiler_source_sha:99473378b011dd61ab323daa96f94a5cfc2624a0","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 continuation\n\n//gooo:generated:start id=\"continuation://box\" kind=\"entity\"\ntype GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 struct {\n\tGoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 int64 `json:\"value\"`\n}\n\n//gooo:generated:end id=\"continuation://box\" kind=\"entity\"\n//gooo:generated:start id=\"continuation://activity/main\" kind=\"activity\"\nfunc Main(input int64) int64 {\n\tvar left = Wrap(input)\n\tvar right = Wrap(input + 1)\n\treturn left.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 + right.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0\n}\n\n//gooo:generated:end id=\"continuation://activity/main\" kind=\"activity\"\n//gooo:generated:start id=\"continuation://activity/seed\" kind=\"activity\"\nfunc Seed(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (input + 1)}\n}\n\n//gooo:generated:end id=\"continuation://activity/seed\" kind=\"activity\"\n//gooo:generated:start id=\"continuation://activity/wrap\" kind=\"activity\"\nfunc Wrap(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\tvar next = Seed(input)\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (next.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 * 2)}\n}\n\n//gooo:generated:end id=\"continuation://activity/wrap\" kind=\"activity\"\n"}}],"preparations":[{"input_source_sha256":"sha256:34fc16211d204763a3f654d0786c6434b15ebb9ebfe52d451ddd205839b70134","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Seed","activity_id":"continuation://activity/seed","input_type":"int64","record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"output_type":"Box","plan_sha256":"sha256:43aaa05a1cb33735c45938454aec0a723bfdf42f9dd9df2b8a87a5303ae72494","compiler_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","source_digest":"sha256:c44d7cd713751bcb03cde0dd90705d47aa7be7c3c2426cd2f0966fd35dd5e634","program_digest":"sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d","generated_digest":"sha256:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","replay_digest":"sha256:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","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:34fc16211d204763a3f654d0786c6434b15ebb9ebfe52d451ddd205839b70134","selected_source_sha256":"sha256:c44d7cd713751bcb03cde0dd90705d47aa7be7c3c2426cd2f0966fd35dd5e634","contract_sha256":"sha256:537503544c87468fd8b64f9b1f0e22a471c4ae204a984233fdd8ab9eafb0b422","test_suite_sha256":"sha256:ac82cd02265b6dbac794422dd8621bc5c02601728dd999f86aa950042e355091","selected_mask":1,"attempt_budget":2,"choices":[{"id":"value","record_id":"continuation://box","field_id":"continuation://box/value","field":"value","occurrence":0,"intent":"Add one to the input.","first":"input","second":"input + 1","picked":"value_second"}],"attempts":[{"mask":0,"passed":0,"total":2,"fields_passed":0,"fields_total":2},{"mask":1,"passed":2,"total":2,"fields_passed":2,"fields_total":2}],"cases":[{"inputs":[1],"expected":{"value":2},"actual":{"value":2},"passed":true,"fields":[{"id":"continuation://box/value","name":"value","type_id":"urn:gooo:type:integer","expected":"2","actual":"2","passed":true}]},{"inputs":[2],"expected":{"value":3},"actual":{"value":3},"passed":true,"fields":[{"id":"continuation://box/value","name":"value","type_id":"urn:gooo:type:integer","expected":"3","actual":"3","passed":true}]}],"passed":2,"total":2,"fields_passed":2,"fields_total":2,"status":"COMPLETE_FINITE","model_requested":false,"model_calls":0,"predict_ns":0,"ranking":[0,1],"generation_ns":5462333,"scope":"source-declared record field alternatives; finite case and field coverage; candidate interpretation followed by ordinary typed Go emission; no model updates","control":{"schema":"gooo/record-assembly-control/v1","policy":{"source":"package explain\nnamespace explain\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\n\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\n\nactivity Explain(AssemblyObservation) -\u003e Explanation computes `if input.matched \u003c 0 || input.total \u003c 0 || input.best \u003c input.matched || input.best \u003e input.total || input.scored \u003c 0 || input.budget \u003c input.scored {\n    return Explanation{state: \"FAIL_CLOSED\", next_operation: \"RECONCILE_COUNTS\", message: \"관측 수치의 범위를 확인하세요.\"}\n}\nif input.total == 0 {\n    return Explanation{state: \"UNKNOWN\", next_operation: \"DECLARE_CASES\", message: \"판단할 사례가 선언되지 않았습니다.\"}\n}\nif input.scored == 0 {\n    return Explanation{state: \"UNKNOWN\", next_operation: \"EVALUATE_CANDIDATES\", message: \"후보를 아직 채점하지 않았습니다.\"}\n}\nif input.best \u003e input.matched {\n    return Explanation{state: \"PROGRESS\", next_operation: \"USE_OBSERVED_CANDIDATE\", message: \"더 많은 사례를 만족한 후보가 기록되어 있습니다.\"}\n}\nif input.matched == input.total {\n    return Explanation{state: \"PASS\", next_operation: \"OBSERVE_NEW_INPUTS\", message: \"선언한 사례를 만족했습니다. 새 입력은 별도로 관측하세요.\"}\n}\nif input.scored \u003c input.budget {\n    return Explanation{state: \"PROGRESS\", next_operation: \"CONTINUE_CANDIDATES\", message: \"남은 예산에서 다른 후보를 관측할 수 있습니다.\"}\n}\nreturn Explanation{state: \"PROGRESS\", next_operation: \"EXPAND_DECLARED_CHOICES\", message: \"현재 후보와 예산에서 만족하지 못한 사례가 남았습니다.\"}`\n","activity":"Explain"},"source_sha256":"sha256:32003343b2297192e96e2fe640cba83a92a41524b50e19553895df9e94dc148f","generated_sha256":"sha256:1ec8d32b40839ebbed7a38cbbf1054c243f7113b318b93f6a08b8f054e3ab9ce","activity_id":"explain://activity/explain","decisions":[{"attempt_index":1,"mask":1,"input":{"matched":2,"total":2,"best":2,"scored":2,"budget":2},"state":"PASS","next_operation":"OBSERVE_NEW_INPUTS","message":"선언한 사례를 만족했습니다. 새 입력은 별도로 관측하세요.","continue":false}],"entry":{"attempt_index":0,"mask":0,"input":{"matched":0,"total":2,"best":0,"scored":1,"budget":2},"state":"PROGRESS","next_operation":"CONTINUE_CANDIDATES","message":"남은 예산에서 다른 후보를 관측할 수 있습니다.","continue":true}},"control_history":[{"attempts":1,"selected_mask":0,"control":{"schema":"gooo/record-assembly-control/v1","policy":{"source":"package checkpoint\nnamespace checkpoint\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\n\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\n\nactivity Checkpoint(AssemblyObservation) -\u003e Explanation computes `return Explanation{state: \"PROGRESS\", next_operation: \"USE_OBSERVED_CANDIDATE\", message: \"현재까지 관측한 후보를 저장합니다. / Save the observed candidate.\"}`\n","activity":"Checkpoint"},"source_sha256":"sha256:45e0a407e5900d4c5d39564370b6c21028ff24d7545acc655316837145f1fb3a","generated_sha256":"sha256:b33237de0644d0ae8d85474f4e9dc40b217735faf81489c6c08ba01179437524","activity_id":"checkpoint://activity/checkpoint","decisions":[{"attempt_index":0,"mask":0,"input":{"matched":0,"total":2,"best":0,"scored":1,"budget":2},"state":"PROGRESS","next_operation":"USE_OBSERVED_CANDIDATE","message":"현재까지 관측한 후보를 저장합니다. / Save the observed candidate.","continue":false}]}}],"continuation":{"retained_attempts":1,"added_attempts":1,"new_model_calls":0}},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":1,"lowered_constructs":1,"source_semantic_units":9,"lowered_semantic_units":9,"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:97f5205a8b82294f1c8d2883ba46e4dd364fc9bc991b69110b85c2e45e854584","generated_semantic_digest":"sha256:97f5205a8b82294f1c8d2883ba46e4dd364fc9bc991b69110b85c2e45e854584","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":"99473378b011dd61ab323daa96f94a5cfc2624a0","decision_mode":"deterministic_finite_tdd","decision_provider":"deterministic","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","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Box","plan_sha256":"sha256:43aaa05a1cb33735c45938454aec0a723bfdf42f9dd9df2b8a87a5303ae72494","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:537503544c87468fd8b64f9b1f0e22a471c4ae204a984233fdd8ab9eafb0b422","external_provider_calls":0,"fields_passed":2,"fields_total":2,"finite_passed":2,"finite_total":2,"local_model_predictions":0,"observation_sha256":"sha256:cae8b7c63a574406f5165ac497aef0193edde3de8c91b8a73eb3871c6865fe2e","schema":"gooo/record-field-assembly/v1","test_suite_sha256":"sha256:ac82cd02265b6dbac794422dd8621bc5c02601728dd999f86aa950042e355091"},"record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"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:c44d7cd713751bcb03cde0dd90705d47aa7be7c3c2426cd2f0966fd35dd5e634","activity_id:continuation://activity/seed"]},{"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:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":9,"denominator":9,"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:97f5205a8b82294f1c8d2883ba46e4dd364fc9bc991b69110b85c2e45e854584","generated_semantic_digest:sha256:97f5205a8b82294f1c8d2883ba46e4dd364fc9bc991b69110b85c2e45e854584"]},{"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:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","replay_digest:sha256:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac"]},{"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:c44d7cd713751bcb03cde0dd90705d47aa7be7c3c2426cd2f0966fd35dd5e634","program_digest:sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d","generated_digest:sha256:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","replay_digest:sha256:554782740848adefeaf42ad1a445233ed387fe8e6f37e035a514018372734eac","activity_id:continuation://activity/seed","compiler_source_sha:99473378b011dd61ab323daa96f94a5cfc2624a0","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":2,"denominator":2,"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:ac82cd02265b6dbac794422dd8621bc5c02601728dd999f86aa950042e355091"]},{"id":"declared_record_field_accuracy","status":"PASS","numerator":2,"denominator":2,"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:537503544c87468fd8b64f9b1f0e22a471c4ae204a984233fdd8ab9eafb0b422"]}],"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 continuation\n\n//gooo:generated:start id=\"continuation://box\" kind=\"entity\"\ntype GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 struct {\n\tGoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 int64 `json:\"value\"`\n}\n\n//gooo:generated:end id=\"continuation://box\" kind=\"entity\"\n//gooo:generated:start id=\"continuation://activity/seed\" kind=\"activity\"\nfunc Seed(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (input + 1)}\n}\n\n//gooo:generated:end id=\"continuation://activity/seed\" kind=\"activity\"\n","gooo_source":"package continuation\nnamespace continuation\nentity Integer id \"continuation://integer\"\nentity Box id \"continuation://box\" fields {\n    field value id \"continuation://box/value\" type integer required one\n}\nactivity Seed(Integer) -\u003e Box computes \"return Box{value: (input + 1)}\" assembling {\n    baseline \"return Box{value: input}\"\n    picked \"value\" -\u003e \"value_second\"\n    choice \"value\" field_value at \"0\" alternative \"input + 1\" intent \"Add one to the input.\"\n    value_case \"[1]\" -\u003e \"{\\\"value\\\":2}\"\n    value_case \"[2]\" -\u003e \"{\\\"value\\\":3}\"\n    attempts \"2\"\n}\nactivity Wrap(Integer) -\u003e Box computes \"let next = Seed(input); return Box{value: next.value}\" assembling {\n    choice \"value\" field_value at \"0\" alternative \"next.value * 2\" intent \"Double the incremented input.\"\n    value_case \"[1]\" -\u003e \"{\\\"value\\\":4}\"\n    value_case \"[2]\" -\u003e \"{\\\"value\\\":6}\"\n    attempts \"2\"\n}\nactivity Main(Integer) -\u003e Integer computes \"let left = Wrap(input); let right = Wrap(input + 1); return left.value + right.value\"\n"}},{"input_source_sha256":"sha256:b6dafee4d56823f072e5fa1152792823b815f649ba726b2bb467aff3e2c58408","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Wrap","activity_id":"continuation://activity/wrap","input_type":"int64","record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"output_type":"Box","plan_sha256":"sha256:e0ddab1cd22fe070011406738c222f2bc37de573f32ccad09fd9a49b24c8d8a7","compiler_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","source_digest":"sha256:54ea1207d0adb67777a66b4c43ac273f982715cdda6d6e93341ca7ed581079a2","program_digest":"sha256:a1e29983a09ba37a44fbcdaccb66a4f9d7a35fb25059beb026a73df5768c02f8","generated_digest":"sha256:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","replay_digest":"sha256:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","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:b6dafee4d56823f072e5fa1152792823b815f649ba726b2bb467aff3e2c58408","selected_source_sha256":"sha256:54ea1207d0adb67777a66b4c43ac273f982715cdda6d6e93341ca7ed581079a2","contract_sha256":"sha256:4a67fc62cbce1ead2638946852944c4d946be7337fe9ba04a4da85675192f1cf","test_suite_sha256":"sha256:de3f21ab98f1d7bbdc37f2583defbf7d076c86468ee33d617e0c4e6270b1ce32","selected_mask":1,"attempt_budget":2,"choices":[{"id":"value","record_id":"continuation://box","field_id":"continuation://box/value","field":"value","occurrence":0,"intent":"Double the incremented input.","first":"next.value","second":"next.value * 2","picked":"value_second"}],"attempts":[{"mask":0,"passed":0,"total":2,"fields_passed":0,"fields_total":2},{"mask":1,"passed":2,"total":2,"fields_passed":2,"fields_total":2}],"cases":[{"inputs":[1],"expected":{"value":4},"actual":{"value":4},"passed":true,"fields":[{"id":"continuation://box/value","name":"value","type_id":"urn:gooo:type:integer","expected":"4","actual":"4","passed":true}]},{"inputs":[2],"expected":{"value":6},"actual":{"value":6},"passed":true,"fields":[{"id":"continuation://box/value","name":"value","type_id":"urn:gooo:type:integer","expected":"6","actual":"6","passed":true}]}],"passed":2,"total":2,"fields_passed":2,"fields_total":2,"status":"COMPLETE_FINITE","model_requested":false,"model_calls":0,"predict_ns":0,"ranking":[0,1],"ranking_source_sha256":"sha256:480f3b6799adf566f294b016b0156a9eca3874e2bd2ea10274435f1f948598a2","generation_ns":6268875,"scope":"source-declared record field alternatives; finite case and field coverage; candidate interpretation followed by ordinary typed Go emission; no model updates","control":{"schema":"gooo/record-assembly-control/v1","policy":{"source":"package explain\nnamespace explain\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\n\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\n\nactivity Explain(AssemblyObservation) -\u003e Explanation computes `if input.matched \u003c 0 || input.total \u003c 0 || input.best \u003c input.matched || input.best \u003e input.total || input.scored \u003c 0 || input.budget \u003c input.scored {\n    return Explanation{state: \"FAIL_CLOSED\", next_operation: \"RECONCILE_COUNTS\", message: \"관측 수치의 범위를 확인하세요.\"}\n}\nif input.total == 0 {\n    return Explanation{state: \"UNKNOWN\", next_operation: \"DECLARE_CASES\", message: \"판단할 사례가 선언되지 않았습니다.\"}\n}\nif input.scored == 0 {\n    return Explanation{state: \"UNKNOWN\", next_operation: \"EVALUATE_CANDIDATES\", message: \"후보를 아직 채점하지 않았습니다.\"}\n}\nif input.best \u003e input.matched {\n    return Explanation{state: \"PROGRESS\", next_operation: \"USE_OBSERVED_CANDIDATE\", message: \"더 많은 사례를 만족한 후보가 기록되어 있습니다.\"}\n}\nif input.matched == input.total {\n    return Explanation{state: \"PASS\", next_operation: \"OBSERVE_NEW_INPUTS\", message: \"선언한 사례를 만족했습니다. 새 입력은 별도로 관측하세요.\"}\n}\nif input.scored \u003c input.budget {\n    return Explanation{state: \"PROGRESS\", next_operation: \"CONTINUE_CANDIDATES\", message: \"남은 예산에서 다른 후보를 관측할 수 있습니다.\"}\n}\nreturn Explanation{state: \"PROGRESS\", next_operation: \"EXPAND_DECLARED_CHOICES\", message: \"현재 후보와 예산에서 만족하지 못한 사례가 남았습니다.\"}`\n","activity":"Explain"},"source_sha256":"sha256:32003343b2297192e96e2fe640cba83a92a41524b50e19553895df9e94dc148f","generated_sha256":"sha256:1ec8d32b40839ebbed7a38cbbf1054c243f7113b318b93f6a08b8f054e3ab9ce","activity_id":"explain://activity/explain","decisions":[{"attempt_index":1,"mask":1,"input":{"matched":2,"total":2,"best":2,"scored":2,"budget":2},"state":"PASS","next_operation":"OBSERVE_NEW_INPUTS","message":"선언한 사례를 만족했습니다. 새 입력은 별도로 관측하세요.","continue":false}],"entry":{"attempt_index":0,"mask":0,"input":{"matched":0,"total":2,"best":0,"scored":1,"budget":2},"state":"PROGRESS","next_operation":"CONTINUE_CANDIDATES","message":"남은 예산에서 다른 후보를 관측할 수 있습니다.","continue":true}},"control_history":[{"attempts":1,"selected_mask":0,"control":{"schema":"gooo/record-assembly-control/v1","policy":{"source":"package checkpoint\nnamespace checkpoint\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\n\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\n\nactivity Checkpoint(AssemblyObservation) -\u003e Explanation computes `return Explanation{state: \"PROGRESS\", next_operation: \"USE_OBSERVED_CANDIDATE\", message: \"현재까지 관측한 후보를 저장합니다. / Save the observed candidate.\"}`\n","activity":"Checkpoint"},"source_sha256":"sha256:45e0a407e5900d4c5d39564370b6c21028ff24d7545acc655316837145f1fb3a","generated_sha256":"sha256:b33237de0644d0ae8d85474f4e9dc40b217735faf81489c6c08ba01179437524","activity_id":"checkpoint://activity/checkpoint","decisions":[{"attempt_index":0,"mask":0,"input":{"matched":0,"total":2,"best":0,"scored":1,"budget":2},"state":"PROGRESS","next_operation":"USE_OBSERVED_CANDIDATE","message":"현재까지 관측한 후보를 저장합니다. / Save the observed candidate.","continue":false}]},"source":"package continuation\nnamespace continuation\nentity Integer id \"continuation://integer\"\nentity Box id \"continuation://box\" fields {\n    field value id \"continuation://box/value\" type integer required one\n}\nactivity Seed(Integer) -\u003e Box computes \"return Box{value: input}\" \nactivity Wrap(Integer) -\u003e Box computes \"let next = Seed(input); return Box{value: next.value}\" assembling {\n    choice \"value\" field_value at \"0\" alternative \"next.value * 2\" intent \"Double the incremented input.\"\n    value_case \"[1]\" -\u003e \"{\\\"value\\\":4}\"\n    value_case \"[2]\" -\u003e \"{\\\"value\\\":6}\"\n    attempts \"2\"\n}\nactivity Main(Integer) -\u003e Integer computes \"let left = Wrap(input); let right = Wrap(input + 1); return left.value + right.value\"\n","source_sha256":"sha256:480f3b6799adf566f294b016b0156a9eca3874e2bd2ea10274435f1f948598a2"}],"continuation":{"retained_attempts":1,"added_attempts":1,"rechecked_attempts":1,"new_model_calls":0}},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"Seed","activity_id":"continuation://activity/seed","program_sha256":"sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d"}],"edges":[{"caller_id":"continuation://activity/wrap","callee_id":"continuation://activity/seed","ordinal":0}],"max_calls_per_invocation":1},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":3,"lowered_constructs":3,"source_semantic_units":25,"lowered_semantic_units":25,"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:5f45ab22ef899f5b798c32c0f154c7f122e1043ef8f7bf595cbc5069d5ff304d","generated_semantic_digest":"sha256:5f45ab22ef899f5b798c32c0f154c7f122e1043ef8f7bf595cbc5069d5ff304d","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":"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},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"Seed","activity_id":"continuation://activity/seed","program_sha256":"sha256:0cb6fca1b4cf74c5906b7da2ba993c3fd7f0fad4178afccbc67853baf6235d5d"}],"edges":[{"caller_id":"continuation://activity/wrap","callee_id":"continuation://activity/seed","ordinal":0}],"max_calls_per_invocation":1},"compiler_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","decision_mode":"deterministic_finite_tdd","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":"darwin/arm64","input_type":"int64","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Box","plan_sha256":"sha256:e0ddab1cd22fe070011406738c222f2bc37de573f32ccad09fd9a49b24c8d8a7","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:4a67fc62cbce1ead2638946852944c4d946be7337fe9ba04a4da85675192f1cf","external_provider_calls":0,"fields_passed":2,"fields_total":2,"finite_passed":2,"finite_total":2,"local_model_predictions":0,"observation_sha256":"sha256:06751c725fe774bd1055e69e00e17e99b6b986ff7e69a083ea6da58fcfa2e233","schema":"gooo/record-field-assembly/v1","test_suite_sha256":"sha256:de3f21ab98f1d7bbdc37f2583defbf7d076c86468ee33d617e0c4e6270b1ce32"},"record_types":[{"name":"Box","id":"continuation://box","go_name":"GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4","fields":[{"name":"value","id":"continuation://box/value","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0"}]}],"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:54ea1207d0adb67777a66b4c43ac273f982715cdda6d6e93341ca7ed581079a2","activity_id:continuation://activity/wrap"]},{"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:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":25,"denominator":25,"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:5f45ab22ef899f5b798c32c0f154c7f122e1043ef8f7bf595cbc5069d5ff304d","generated_semantic_digest:sha256:5f45ab22ef899f5b798c32c0f154c7f122e1043ef8f7bf595cbc5069d5ff304d"]},{"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:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","replay_digest:sha256:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e"]},{"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:54ea1207d0adb67777a66b4c43ac273f982715cdda6d6e93341ca7ed581079a2","program_digest:sha256:a1e29983a09ba37a44fbcdaccb66a4f9d7a35fb25059beb026a73df5768c02f8","generated_digest:sha256:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","replay_digest:sha256:8d69adb14a5852e10f1b9686ace3b99260c12ed24f7632b8604a06a2d4709a7e","activity_id:continuation://activity/wrap","compiler_source_sha:99473378b011dd61ab323daa96f94a5cfc2624a0","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":2,"denominator":2,"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:de3f21ab98f1d7bbdc37f2583defbf7d076c86468ee33d617e0c4e6270b1ce32"]},{"id":"declared_record_field_accuracy","status":"PASS","numerator":2,"denominator":2,"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:4a67fc62cbce1ead2638946852944c4d946be7337fe9ba04a4da85675192f1cf"]}],"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 continuation\n\n//gooo:generated:start id=\"continuation://box\" kind=\"entity\"\ntype GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 struct {\n\tGoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 int64 `json:\"value\"`\n}\n\n//gooo:generated:end id=\"continuation://box\" kind=\"entity\"\n//gooo:generated:start id=\"continuation://activity/wrap\" kind=\"activity\"\nfunc Wrap(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\tvar next = Seed(input)\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (next.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 * 2)}\n}\n\n//gooo:generated:end id=\"continuation://activity/wrap\" kind=\"activity\"\n//gooo:generated:start id=\"continuation://activity/seed\" kind=\"activity\"\nfunc Seed(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (input + 1)}\n}\n\n//gooo:generated:end id=\"continuation://activity/seed\" kind=\"activity\"\n","gooo_source":"package continuation\nnamespace continuation\nentity Integer id \"continuation://integer\"\nentity Box id \"continuation://box\" fields {\n    field value id \"continuation://box/value\" type integer required one\n}\nactivity Seed(Integer) -\u003e Box computes \"return Box{value: (input + 1)}\" \nactivity Wrap(Integer) -\u003e Box computes \"var next = Seed(input); return Box{value: (next.value * 2)}\" assembling {\n    baseline \"let next = Seed(input); return Box{value: next.value}\"\n    picked \"value\" -\u003e \"value_second\"\n    choice \"value\" field_value at \"0\" alternative \"next.value * 2\" intent \"Double the incremented input.\"\n    value_case \"[1]\" -\u003e \"{\\\"value\\\":4}\"\n    value_case \"[2]\" -\u003e \"{\\\"value\\\":6}\"\n    attempts \"2\"\n}\nactivity Main(Integer) -\u003e Integer computes \"let left = Wrap(input); let right = Wrap(input + 1); return left.value + right.value\"\n"}}],"gooo_source":"package continuation\nnamespace continuation\nentity Integer id \"continuation://integer\"\nentity Box id \"continuation://box\" fields {\n    field value id \"continuation://box/value\" type integer required one\n}\nactivity Seed(Integer) -\u003e Box computes \"return Box{value: (input + 1)}\" \nactivity Wrap(Integer) -\u003e Box computes \"var next = Seed(input); return Box{value: (next.value * 2)}\" \nactivity Main(Integer) -\u003e Integer computes \"let left = Wrap(input); let right = Wrap(input + 1); return left.value + right.value\"\n","source":"package main\n\n//gooo:generated:start id=\"continuation://box\" kind=\"entity\"\ntype GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 struct {\n\tGoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 int64 `json:\"value\"`\n}\n\n//gooo:generated:end id=\"continuation://box\" kind=\"entity\"\n\n//gooo:generated:start id=\"continuation://activity/main\" kind=\"activity\"\nfunc GoooComposedActivity0(input int64) int64 {\n\tvar left = GoooComposedActivity0Call1(input)\n\tvar right = GoooComposedActivity0Call1(input + 1)\n\treturn left.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 + right.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0\n}\nfunc GoooComposedActivity0Call0(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (input + 1)}\n}\nfunc GoooComposedActivity0Call1(input int64) GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4 {\n\tvar next = GoooComposedActivity0Call0(input)\n\treturn GoooRecordfaed067b5371d73b4dd15b581e64e05e8fcc8af2d09de3e9adaea506d171ebe4{GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0: (next.GoooFieldfff4fbffff8247ae997260679daa60700fbad41db7f8b59649950b79b99585b0 * 2)}\n}\n\n//gooo:generated:end id=\"continuation://activity/main\" kind=\"activity\"\n","driver_source":"package main\n\nimport (\n\t\"encoding/json\"\n\t\"os\"\n)\n\nfunc main() {\n\tvar in [][1]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\tv0 := GoooComposedActivity0(input0)\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":31993375,"scope":"continued source-owned record choices; original ranking and cumulative attempt budget; prior observations reconstructed; zero new model calls","continuation":{"parent_composition_sha256":"sha256:d3d02b5ea164fc8aca90b5b5861446a9fbf034b9017a147436875a109e6140f5","activities":[{"activity":"Seed","retained_attempts":1,"added_attempts":1},{"activity":"Wrap","retained_attempts":1,"added_attempts":1,"rechecked_attempts":1}],"new_model_calls":0}},"runtime":{"schema":"gooo/body-composition-runtime/v1","stage":"COMPLETE","composition_sha256":"sha256:93e7d58d6f60806ae9c2a03add2195d4abcfe225169a2c1ffe67c0b915f5958c","original_source_sha256":"sha256:34fc16211d204763a3f654d0786c6434b15ebb9ebfe52d451ddd205839b70134","selected_source_sha256":"sha256:e357f51c457e0c916c476a73db5aa3fd98a468741aba63b69901b936904c72cc","typed_plan_sha256":"sha256:a96fcea0a9d83bfff8ae28c8f004efed2e9ec7a73d27cde002b08e036a460609","generated_sha256":"sha256:b5987d3535560645b46a8552120fc9e757a94c7d86f404c7165d8e978f218fef","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","observed_projection_sha256":"sha256:a43922fc6f718117e56b867b9f785c49d76e9f75a7240e031e1248bb027d8c67","observed_driver_sha256":"sha256:f943b59cd68e9ed5a5c8e6da46af92582eec4706a674d4221d8065b0c242f583","runtime_suite_sha256":"sha256:97875afbb223341706fa6d449099b7b884a44f591f8828624354e08b35ff633c","executable_sha256":"sha256:1835bf1675ecf2b21e6d71754ac439bfe645ed406d3391273065dccb64c7bf0d","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"99473378b011dd61ab323daa96f94a5cfc2624a0","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.6.4-dev.0.20261008015917-99473378b011"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":7023458,"user_ns":2970000,"system_ns":2340000,"peak_rss_bytes":14434304,"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":105362666,"user_ns":119138000,"system_ns":87968000,"peak_rss_bytes":87949312,"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":360323750,"user_ns":2774000,"system_ns":5151000,"peak_rss_bytes":4833280,"stdout_sha256":"sha256:6923260726706b5a46a835bad5ce8084388d9a49d5456380f6c708f269bfa9c0","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":9275125,"user_ns":2501000,"system_ns":4192000,"peak_rss_bytes":4898816,"stdout_sha256":"sha256:6923260726706b5a46a835bad5ce8084388d9a49d5456380f6c708f269bfa9c0","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"continuation://activity/main","input":3,"actual":18,"expected":18,"passed":true}],"called_inputs_observed":true,"calls":[{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/wrap","inputs":[3]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/seed","inputs":[3]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/wrap","inputs":[4]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/seed","inputs":[4]}]},{"case_index":1,"deliveries":[{"activity_id":"continuation://activity/main","input":-2,"actual":-2,"expected":-2,"passed":true}],"called_inputs_observed":true,"calls":[{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/wrap","inputs":[-2]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/seed","inputs":[-2]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/wrap","inputs":[-1]},{"root_activity_id":"continuation://activity/main","activity_id":"continuation://activity/seed","inputs":[-1]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":2,"finite_total":2,"input_separation":{"status":"UNKNOWN","reason":"CONSTRUCTION_CALL_INPUTS_NOT_OBSERVED","unique_inputs":2,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":0,"disjoint_cases_passed":0,"unknown_inputs":2,"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":505544958,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"}}