{"schema":"gooo/body-refinement/v1","status":"PASS","feedback_status":"PASS","evaluation_status":"PASS","stop_reason":"POLICY_STOP","activity":"Build","original_source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes `let factor = __GOOO_BODY_HOLE_factor__\nlet square = factor * factor\nreturn input + square` assembling {\n    search hole \"factor\" grammar \"integer-hole-quadratic/v1\" intent \"입력에 (입력의 두 배 더하기 1)의 제곱을 더한다. Add the square of twice the input plus one.\" max_candidates \"16\"\n    search_alternative \"fit\" grammar \"integer-hole-quadratic/v2\" max_candidates \"16\"\n    case \"1\" -\u003e \"10\"\n    case \"2\" -\u003e \"27\"\n    case \"3\" -\u003e \"52\"\n    case \"4\" -\u003e \"85\"\n    case \"5\" -\u003e \"126\"\n    case \"6\" -\u003e \"175\"\n    case \"7\" -\u003e \"232\"\n    case \"8\" -\u003e \"297\"\n    case \"9\" -\u003e \"370\"\n    case \"10\" -\u003e \"451\"\n    attempts \"8\"\n}\n","policy_source":"package feedback\nnamespace feedback\nentity Observation id \"searchfeedback://observation\" fields {\n    field matched id \"searchfeedback://matched\" type integer required one\n    field total id \"searchfeedback://total\" type integer required one\n    field best id \"searchfeedback://best\" type integer required one\n    field attempts id \"searchfeedback://attempts\" type integer required one\n    field limit id \"searchfeedback://limit\" type integer required one\n    field round id \"searchfeedback://round\" type integer required one\n    field round_limit id \"searchfeedback://round-limit\" type integer required one\n    field counterexamples id \"searchfeedback://counterexamples\" type integer required one\n    field search_attempted id \"searchfeedback://search-attempted\" type integer required one\n    field search_retained id \"searchfeedback://search-retained\" type integer required one\n    field search_omitted id \"searchfeedback://search-omitted\" type integer required one\n    field grammar id \"searchfeedback://grammar\" type string required one\n    field candidate_limit id \"searchfeedback://candidate-limit\" type integer required one\n    field next_search_id id \"searchfeedback://next-search-id\" type string required one\n    field next_grammar id \"searchfeedback://next-grammar\" type string required one\n    field next_attempt_limit id \"searchfeedback://next-attempt-limit\" type integer required one\n}\nentity Decision id \"searchfeedback://decision\" fields {\n    field action id \"searchfeedback://action\" type string required one\n    field next_attempts id \"searchfeedback://next-attempts\" type integer required one\n    field retain id \"searchfeedback://retain\" type boolean required one\n    field reason id \"searchfeedback://reason\" type string required one\n    field next_search_id id \"searchfeedback://decision-search-id\" type string required one\n}\nactivity Decide(Observation) -\u003e Decision computes `let keep = input.matched \u003e= input.best\nif input.matched == input.total || input.round \u003e= input.round_limit {\n    return Decision{action: \"STOP\", next_attempts: input.attempts, retain: keep, reason: \"관측 결과와 라운드 한도에 따라 멈춥니다.\", next_search_id: \"\"}\n}\nlet next = input.attempts * 2\nif next \u003e input.limit {\n    next = input.limit\n}\nif input.counterexamples \u003e 0 {\n    return Decision{action: \"INCORPORATE\", next_attempts: next, retain: keep, reason: \"실패한 직접 입력을 조립 사례에 반영합니다.\", next_search_id: \"\"}\n}\nif input.search_attempted \u003e= input.search_retained || input.attempts \u003e= input.limit {\n    if input.next_search_id != \"\" {\n        return Decision{action: \"ADVANCE_SEARCH\", next_attempts: input.next_attempt_limit, retain: keep, reason: \"소스에 선언한 다음 탐색 설정으로 이어갑니다.\", next_search_id: input.next_search_id}\n    }\n    return Decision{action: \"STOP\", next_attempts: input.attempts, retain: keep, reason: \"현재 소스에 더 시도할 탐색 설정이 없습니다.\", next_search_id: \"\"}\n}\nreturn Decision{action: \"CONTINUE\", next_attempts: next, retain: keep, reason: \"현재 탐색 목록의 후보를 더 확인합니다.\", next_search_id: \"\"}`\n","search_policy":true,"policy_composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","selected_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","generated_sha256":"sha256:c6b2bb49b99e083ef6e5b5f14f7671e208b37b4c3a9a959fbc5ee35088d6f7d8","driver_sha256":"sha256:68d1ce5d92d3da379bd3bf09be7d7c473907fcc9af07afa95e4d408677601216","plan":{"schema":"gooo/body-composition-plan/v1","typed_plan_sha256":"sha256:ba8c40559b01631c79ae5c31e3ec27f52bfa652f879f0b9f5cb16de5071c8779","semantic_fingerprint":"1434613de064a152b9d8c57321d37826bf49bfce0cbbfc698b4aa90d1b7854e0","activities":[{"name":"Decide","id":"feedback://activity/decide","input_type":"Observation","output_type":"Decision","input_entity_id":"searchfeedback://observation","output_entity_id":"searchfeedback://decision","go_function":"GoooComposedActivity0","input_from":-1,"assembling":false}],"edges":[],"record_types":[{"name":"Decision","id":"searchfeedback://decision","go_name":"GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a","fields":[{"name":"action","id":"searchfeedback://action","type_id":"urn:gooo:type:string","go_name":"GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741"},{"name":"next_attempts","id":"searchfeedback://next-attempts","type_id":"urn:gooo:type:integer","go_name":"GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5"},{"name":"retain","id":"searchfeedback://retain","type_id":"urn:gooo:type:boolean","go_name":"GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f"},{"name":"reason","id":"searchfeedback://reason","type_id":"urn:gooo:type:string","go_name":"GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a"},{"name":"next_search_id","id":"searchfeedback://decision-search-id","type_id":"urn:gooo:type:string","go_name":"GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114"}]},{"name":"Observation","id":"searchfeedback://observation","go_name":"GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc","fields":[{"name":"matched","id":"searchfeedback://matched","type_id":"urn:gooo:type:integer","go_name":"GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b"},{"name":"total","id":"searchfeedback://total","type_id":"urn:gooo:type:integer","go_name":"GoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528"},{"name":"best","id":"searchfeedback://best","type_id":"urn:gooo:type:integer","go_name":"GoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869"},{"name":"attempts","id":"searchfeedback://attempts","type_id":"urn:gooo:type:integer","go_name":"GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c"},{"name":"limit","id":"searchfeedback://limit","type_id":"urn:gooo:type:integer","go_name":"GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4"},{"name":"round","id":"searchfeedback://round","type_id":"urn:gooo:type:integer","go_name":"GoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a"},{"name":"round_limit","id":"searchfeedback://round-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43"},{"name":"counterexamples","id":"searchfeedback://counterexamples","type_id":"urn:gooo:type:integer","go_name":"GoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5"},{"name":"search_attempted","id":"searchfeedback://search-attempted","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c"},{"name":"search_retained","id":"searchfeedback://search-retained","type_id":"urn:gooo:type:integer","go_name":"GoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9"},{"name":"search_omitted","id":"searchfeedback://search-omitted","type_id":"urn:gooo:type:integer","go_name":"GoooField721ee7ff75b004fef19aad36bb43fb70f7ae18e1aaed9e88e262265fc27f95aa"},{"name":"grammar","id":"searchfeedback://grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldee56f3fe30bd6ff49e174bd599aacf7d1163887c9a8bb045e2f48075cad6c929"},{"name":"candidate_limit","id":"searchfeedback://candidate-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc50fe648e305dc5996e72bbe2e509cc90343f09142bc07356e43f82b5d713c35"},{"name":"next_search_id","id":"searchfeedback://next-search-id","type_id":"urn:gooo:type:string","go_name":"GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d"},{"name":"next_grammar","id":"searchfeedback://next-grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldcc00acd3c65d711a6e37d86b1daed8404665d654e7c5e470087895e6eec86054"},{"name":"next_attempt_limit","id":"searchfeedback://next-attempt-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90"}]}]},"steps":[{"input_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Decide","activity_id":"feedback://activity/decide","input_type":"Observation","record_types":[{"name":"Decision","id":"searchfeedback://decision","go_name":"GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a","fields":[{"name":"action","id":"searchfeedback://action","type_id":"urn:gooo:type:string","go_name":"GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741"},{"name":"next_attempts","id":"searchfeedback://next-attempts","type_id":"urn:gooo:type:integer","go_name":"GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5"},{"name":"retain","id":"searchfeedback://retain","type_id":"urn:gooo:type:boolean","go_name":"GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f"},{"name":"reason","id":"searchfeedback://reason","type_id":"urn:gooo:type:string","go_name":"GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a"},{"name":"next_search_id","id":"searchfeedback://decision-search-id","type_id":"urn:gooo:type:string","go_name":"GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114"}]},{"name":"Observation","id":"searchfeedback://observation","go_name":"GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc","fields":[{"name":"matched","id":"searchfeedback://matched","type_id":"urn:gooo:type:integer","go_name":"GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b"},{"name":"total","id":"searchfeedback://total","type_id":"urn:gooo:type:integer","go_name":"GoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528"},{"name":"best","id":"searchfeedback://best","type_id":"urn:gooo:type:integer","go_name":"GoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869"},{"name":"attempts","id":"searchfeedback://attempts","type_id":"urn:gooo:type:integer","go_name":"GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c"},{"name":"limit","id":"searchfeedback://limit","type_id":"urn:gooo:type:integer","go_name":"GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4"},{"name":"round","id":"searchfeedback://round","type_id":"urn:gooo:type:integer","go_name":"GoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a"},{"name":"round_limit","id":"searchfeedback://round-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43"},{"name":"counterexamples","id":"searchfeedback://counterexamples","type_id":"urn:gooo:type:integer","go_name":"GoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5"},{"name":"search_attempted","id":"searchfeedback://search-attempted","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c"},{"name":"search_retained","id":"searchfeedback://search-retained","type_id":"urn:gooo:type:integer","go_name":"GoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9"},{"name":"search_omitted","id":"searchfeedback://search-omitted","type_id":"urn:gooo:type:integer","go_name":"GoooField721ee7ff75b004fef19aad36bb43fb70f7ae18e1aaed9e88e262265fc27f95aa"},{"name":"grammar","id":"searchfeedback://grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldee56f3fe30bd6ff49e174bd599aacf7d1163887c9a8bb045e2f48075cad6c929"},{"name":"candidate_limit","id":"searchfeedback://candidate-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc50fe648e305dc5996e72bbe2e509cc90343f09142bc07356e43f82b5d713c35"},{"name":"next_search_id","id":"searchfeedback://next-search-id","type_id":"urn:gooo:type:string","go_name":"GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d"},{"name":"next_grammar","id":"searchfeedback://next-grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldcc00acd3c65d711a6e37d86b1daed8404665d654e7c5e470087895e6eec86054"},{"name":"next_attempt_limit","id":"searchfeedback://next-attempt-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90"}]}],"output_type":"Decision","plan_sha256":"sha256:4ff59f4a235d65f0d75f6d24b56ce2cea4f9475a1e5e6b26ff58ff419814f6f7","compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","source_digest":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","program_digest":"sha256:c941ab7612d7660cedb17083321cdcdfd1b0a446f775bc77f0e4ed460dbe1f94","generated_digest":"sha256:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","replay_digest":"sha256:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","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,"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":13,"lowered_constructs":13,"source_semantic_units":169,"lowered_semantic_units":169,"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:bf075276db396f23f7dc8f6777dddbd2c8f43089e3d1a4f8e5bf2e13e7c8a455","generated_semantic_digest":"sha256:bf075276db396f23f7dc8f6777dddbd2c8f43089e3d1a4f8e5bf2e13e7c8a455","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":"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},"compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity body in the closed scalar or declared-record body-codegen profile","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":"Observation","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Decision","plan_sha256":"sha256:4ff59f4a235d65f0d75f6d24b56ce2cea4f9475a1e5e6b26ff58ff419814f6f7","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":"Decision","id":"searchfeedback://decision","go_name":"GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a","fields":[{"name":"action","id":"searchfeedback://action","type_id":"urn:gooo:type:string","go_name":"GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741"},{"name":"next_attempts","id":"searchfeedback://next-attempts","type_id":"urn:gooo:type:integer","go_name":"GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5"},{"name":"retain","id":"searchfeedback://retain","type_id":"urn:gooo:type:boolean","go_name":"GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f"},{"name":"reason","id":"searchfeedback://reason","type_id":"urn:gooo:type:string","go_name":"GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a"},{"name":"next_search_id","id":"searchfeedback://decision-search-id","type_id":"urn:gooo:type:string","go_name":"GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114"}]},{"name":"Observation","id":"searchfeedback://observation","go_name":"GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc","fields":[{"name":"matched","id":"searchfeedback://matched","type_id":"urn:gooo:type:integer","go_name":"GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b"},{"name":"total","id":"searchfeedback://total","type_id":"urn:gooo:type:integer","go_name":"GoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528"},{"name":"best","id":"searchfeedback://best","type_id":"urn:gooo:type:integer","go_name":"GoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869"},{"name":"attempts","id":"searchfeedback://attempts","type_id":"urn:gooo:type:integer","go_name":"GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c"},{"name":"limit","id":"searchfeedback://limit","type_id":"urn:gooo:type:integer","go_name":"GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4"},{"name":"round","id":"searchfeedback://round","type_id":"urn:gooo:type:integer","go_name":"GoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a"},{"name":"round_limit","id":"searchfeedback://round-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43"},{"name":"counterexamples","id":"searchfeedback://counterexamples","type_id":"urn:gooo:type:integer","go_name":"GoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5"},{"name":"search_attempted","id":"searchfeedback://search-attempted","type_id":"urn:gooo:type:integer","go_name":"GoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c"},{"name":"search_retained","id":"searchfeedback://search-retained","type_id":"urn:gooo:type:integer","go_name":"GoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9"},{"name":"search_omitted","id":"searchfeedback://search-omitted","type_id":"urn:gooo:type:integer","go_name":"GoooField721ee7ff75b004fef19aad36bb43fb70f7ae18e1aaed9e88e262265fc27f95aa"},{"name":"grammar","id":"searchfeedback://grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldee56f3fe30bd6ff49e174bd599aacf7d1163887c9a8bb045e2f48075cad6c929"},{"name":"candidate_limit","id":"searchfeedback://candidate-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc50fe648e305dc5996e72bbe2e509cc90343f09142bc07356e43f82b5d713c35"},{"name":"next_search_id","id":"searchfeedback://next-search-id","type_id":"urn:gooo:type:string","go_name":"GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d"},{"name":"next_grammar","id":"searchfeedback://next-grammar","type_id":"urn:gooo:type:string","go_name":"GoooFieldcc00acd3c65d711a6e37d86b1daed8404665d654e7c5e470087895e6eec86054"},{"name":"next_attempt_limit","id":"searchfeedback://next-attempt-limit","type_id":"urn:gooo:type:integer","go_name":"GoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90"}]}],"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:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","activity_id:feedback://activity/decide"]},{"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:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":169,"denominator":169,"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:bf075276db396f23f7dc8f6777dddbd2c8f43089e3d1a4f8e5bf2e13e7c8a455","generated_semantic_digest:sha256:bf075276db396f23f7dc8f6777dddbd2c8f43089e3d1a4f8e5bf2e13e7c8a455"]},{"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:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","replay_digest:sha256:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f"]},{"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:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","program_digest:sha256:c941ab7612d7660cedb17083321cdcdfd1b0a446f775bc77f0e4ed460dbe1f94","generated_digest:sha256:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","replay_digest:sha256:4c20f89c6759c05ffec26fe893e04f35d59077ac658e5be1fdb0de4d5a08789f","activity_id:feedback://activity/decide","compiler_source_sha:3579b869b6025e34db87d9a283b6aabf54c39eb3","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 feedback\n\n//gooo:generated:start id=\"searchfeedback://decision\" kind=\"entity\"\ntype GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a struct {\n\tGoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741 string `json:\"action\"`\n\tGoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5 int64  `json:\"next_attempts\"`\n\tGoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f bool   `json:\"retain\"`\n\tGoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a string `json:\"reason\"`\n\tGoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114 string `json:\"next_search_id\"`\n}\n\n//gooo:generated:end id=\"searchfeedback://decision\" kind=\"entity\"\n//gooo:generated:start id=\"searchfeedback://observation\" kind=\"entity\"\ntype GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc struct {\n\tGoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b int64  `json:\"matched\"`\n\tGoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528 int64  `json:\"total\"`\n\tGoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869 int64  `json:\"best\"`\n\tGoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c int64  `json:\"attempts\"`\n\tGoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 int64  `json:\"limit\"`\n\tGoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a int64  `json:\"round\"`\n\tGoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43 int64  `json:\"round_limit\"`\n\tGoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5 int64  `json:\"counterexamples\"`\n\tGoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c int64  `json:\"search_attempted\"`\n\tGoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9 int64  `json:\"search_retained\"`\n\tGoooField721ee7ff75b004fef19aad36bb43fb70f7ae18e1aaed9e88e262265fc27f95aa int64  `json:\"search_omitted\"`\n\tGoooFieldee56f3fe30bd6ff49e174bd599aacf7d1163887c9a8bb045e2f48075cad6c929 string `json:\"grammar\"`\n\tGoooFieldc50fe648e305dc5996e72bbe2e509cc90343f09142bc07356e43f82b5d713c35 int64  `json:\"candidate_limit\"`\n\tGoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d string `json:\"next_search_id\"`\n\tGoooFieldcc00acd3c65d711a6e37d86b1daed8404665d654e7c5e470087895e6eec86054 string `json:\"next_grammar\"`\n\tGoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90 int64  `json:\"next_attempt_limit\"`\n}\n\n//gooo:generated:end id=\"searchfeedback://observation\" kind=\"entity\"\n//gooo:generated:start id=\"feedback://activity/decide\" kind=\"activity\"\nfunc Decide(input GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc) GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a {\n\tvar keep = input.GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b \u003e= input.GoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869\n\tif input.GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b == input.GoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528 || input.GoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a \u003e= input.GoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43 {\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"STOP\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"관측 결과와 라운드 한도에 따라 멈춥니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\tvar next = input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c * 2\n\tif next \u003e input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 {\n\t\tnext = input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4\n\t}\n\tif input.GoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5 \u003e 0 {\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"INCORPORATE\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: next, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"실패한 직접 입력을 조립 사례에 반영합니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\tif input.GoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c \u003e= input.GoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9 || input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c \u003e= input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 {\n\t\tif input.GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d != \"\" {\n\t\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"ADVANCE_SEARCH\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"소스에 선언한 다음 탐색 설정으로 이어갑니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: input.GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d}\n\t\t}\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"STOP\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"현재 소스에 더 시도할 탐색 설정이 없습니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"CONTINUE\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: next, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"현재 탐색 목록의 후보를 더 확인합니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n}\n\n//gooo:generated:end id=\"feedback://activity/decide\" kind=\"activity\"\n"}}],"gooo_source":"package feedback\nnamespace feedback\nentity Observation id \"searchfeedback://observation\" fields {\n    field matched id \"searchfeedback://matched\" type integer required one\n    field total id \"searchfeedback://total\" type integer required one\n    field best id \"searchfeedback://best\" type integer required one\n    field attempts id \"searchfeedback://attempts\" type integer required one\n    field limit id \"searchfeedback://limit\" type integer required one\n    field round id \"searchfeedback://round\" type integer required one\n    field round_limit id \"searchfeedback://round-limit\" type integer required one\n    field counterexamples id \"searchfeedback://counterexamples\" type integer required one\n    field search_attempted id \"searchfeedback://search-attempted\" type integer required one\n    field search_retained id \"searchfeedback://search-retained\" type integer required one\n    field search_omitted id \"searchfeedback://search-omitted\" type integer required one\n    field grammar id \"searchfeedback://grammar\" type string required one\n    field candidate_limit id \"searchfeedback://candidate-limit\" type integer required one\n    field next_search_id id \"searchfeedback://next-search-id\" type string required one\n    field next_grammar id \"searchfeedback://next-grammar\" type string required one\n    field next_attempt_limit id \"searchfeedback://next-attempt-limit\" type integer required one\n}\nentity Decision id \"searchfeedback://decision\" fields {\n    field action id \"searchfeedback://action\" type string required one\n    field next_attempts id \"searchfeedback://next-attempts\" type integer required one\n    field retain id \"searchfeedback://retain\" type boolean required one\n    field reason id \"searchfeedback://reason\" type string required one\n    field next_search_id id \"searchfeedback://decision-search-id\" type string required one\n}\nactivity Decide(Observation) -\u003e Decision computes `let keep = input.matched \u003e= input.best\nif input.matched == input.total || input.round \u003e= input.round_limit {\n    return Decision{action: \"STOP\", next_attempts: input.attempts, retain: keep, reason: \"관측 결과와 라운드 한도에 따라 멈춥니다.\", next_search_id: \"\"}\n}\nlet next = input.attempts * 2\nif next \u003e input.limit {\n    next = input.limit\n}\nif input.counterexamples \u003e 0 {\n    return Decision{action: \"INCORPORATE\", next_attempts: next, retain: keep, reason: \"실패한 직접 입력을 조립 사례에 반영합니다.\", next_search_id: \"\"}\n}\nif input.search_attempted \u003e= input.search_retained || input.attempts \u003e= input.limit {\n    if input.next_search_id != \"\" {\n        return Decision{action: \"ADVANCE_SEARCH\", next_attempts: input.next_attempt_limit, retain: keep, reason: \"소스에 선언한 다음 탐색 설정으로 이어갑니다.\", next_search_id: input.next_search_id}\n    }\n    return Decision{action: \"STOP\", next_attempts: input.attempts, retain: keep, reason: \"현재 소스에 더 시도할 탐색 설정이 없습니다.\", next_search_id: \"\"}\n}\nreturn Decision{action: \"CONTINUE\", next_attempts: next, retain: keep, reason: \"현재 탐색 목록의 후보를 더 확인합니다.\", next_search_id: \"\"}`\n","source":"package main\n\n//gooo:generated:start id=\"searchfeedback://decision\" kind=\"entity\"\ntype GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a struct {\n\tGoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741 string `json:\"action\"`\n\tGoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5 int64  `json:\"next_attempts\"`\n\tGoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f bool   `json:\"retain\"`\n\tGoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a string `json:\"reason\"`\n\tGoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114 string `json:\"next_search_id\"`\n}\n\n//gooo:generated:end id=\"searchfeedback://decision\" kind=\"entity\"\n//gooo:generated:start id=\"searchfeedback://observation\" kind=\"entity\"\ntype GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc struct {\n\tGoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b int64  `json:\"matched\"`\n\tGoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528 int64  `json:\"total\"`\n\tGoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869 int64  `json:\"best\"`\n\tGoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c int64  `json:\"attempts\"`\n\tGoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 int64  `json:\"limit\"`\n\tGoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a int64  `json:\"round\"`\n\tGoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43 int64  `json:\"round_limit\"`\n\tGoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5 int64  `json:\"counterexamples\"`\n\tGoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c int64  `json:\"search_attempted\"`\n\tGoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9 int64  `json:\"search_retained\"`\n\tGoooField721ee7ff75b004fef19aad36bb43fb70f7ae18e1aaed9e88e262265fc27f95aa int64  `json:\"search_omitted\"`\n\tGoooFieldee56f3fe30bd6ff49e174bd599aacf7d1163887c9a8bb045e2f48075cad6c929 string `json:\"grammar\"`\n\tGoooFieldc50fe648e305dc5996e72bbe2e509cc90343f09142bc07356e43f82b5d713c35 int64  `json:\"candidate_limit\"`\n\tGoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d string `json:\"next_search_id\"`\n\tGoooFieldcc00acd3c65d711a6e37d86b1daed8404665d654e7c5e470087895e6eec86054 string `json:\"next_grammar\"`\n\tGoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90 int64  `json:\"next_attempt_limit\"`\n}\n\n//gooo:generated:end id=\"searchfeedback://observation\" kind=\"entity\"\n\n//gooo:generated:start id=\"feedback://activity/decide\" kind=\"activity\"\nfunc GoooComposedActivity0(input GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc) GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a {\n\tvar keep = input.GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b \u003e= input.GoooField4a22d1243da41c45a9c0582e51bf3b1d44298ecbb16882b9696561c8d2f8f869\n\tif input.GoooField84b5828b4af2c46b5bdfeb19bb374f336d02a83eb08cfa702e1d5be7357df17b == input.GoooFieldafd10752019d54feff088c16d6b0e640e4fd3a9697db1b9985ffb3fa3c396528 || input.GoooField143acac19a95ed9325e5f593216815cc8cfc9e1a03937dd63c05d9f46f252b8a \u003e= input.GoooFieldc7fac2c335e81de1592b38cb685530b00863b6b1b5ca30276c973b01f83e9e43 {\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"STOP\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"관측 결과와 라운드 한도에 따라 멈춥니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\tvar next = input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c * 2\n\tif next \u003e input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 {\n\t\tnext = input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4\n\t}\n\tif input.GoooFielda2027be6727c81139c32818114fa768532a37502bc822ca028290d2e1b3c87d5 \u003e 0 {\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"INCORPORATE\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: next, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"실패한 직접 입력을 조립 사례에 반영합니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\tif input.GoooFieldfda954c90e80699fd04cb13c55091afe32329193f945b6f35de27add1bf9f63c \u003e= input.GoooFieldb3c6705e08324ca7f5f56d76ec4c983195ad3663c5fa76c5851b69a1db3319f9 || input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c \u003e= input.GoooField3b2e2c1bf312db221413e3600ac7c51d6c98e2e3a8c0f882c96e4589e0b575a4 {\n\t\tif input.GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d != \"\" {\n\t\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"ADVANCE_SEARCH\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooFieldc5b37839081f2e1efe7908dd5f0253f21ee47b4b590fa98c1657ca2049a8ea90, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"소스에 선언한 다음 탐색 설정으로 이어갑니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: input.GoooFieldae0c453876a835cdf3c87b04fc0dba04b72c0e21520b1498fc5b8b3cfbfd9c2d}\n\t\t}\n\t\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"STOP\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: input.GoooField113ef9b0f29139d4eb4421e39470e77fac1825d2ef870a39bd56171ce70c1f8c, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"현재 소스에 더 시도할 탐색 설정이 없습니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n\t}\n\treturn GoooRecord485fb8b357e4962799db269b59a9e61b927af3069008b2d70aa741df8671892a{GoooField25fb6f9186348642210e740446df47ff7a58c27bbf351546addbb18e70c43741: \"CONTINUE\", GoooFieldff120cb248a386a8582d5e665a3ed5ef454147e541e81108887397b75cf8ccd5: next, GoooField570db638d99679900bb945dc07764ccaae473543dc4e8224d30654092e8ad57f: keep, GoooField4792e9fb1e5c51e0db88000db68197dc2e8097d4cb0ec89a67c304dac18f328a: \"현재 탐색 목록의 후보를 더 확인합니다.\", GoooField7707bd954690e3e5113f63fb80c12e7bce167f8df1a025c8d955b3ebc232d114: \"\"}\n}\n\n//gooo:generated:end id=\"feedback://activity/decide\" 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 GoooRecord635afc80ea8caec313ae921c469594904a96581fcc3b4695acbfb181922b51dc\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":5958375,"scope":"source-declared typed value graph; finite activity selection and independently compiled graph execution are separate observations"},"feedback_cases":{"schema":"gooo/body-composition-cases/v1","cases":[{"inputs":{"Build":1},"expected":{"Build":10}},{"inputs":{"Build":2},"expected":{"Build":27}},{"inputs":{"Build":3},"expected":{"Build":52}},{"inputs":{"Build":4},"expected":{"Build":85}},{"inputs":{"Build":5},"expected":{"Build":126}},{"inputs":{"Build":6},"expected":{"Build":175}},{"inputs":{"Build":7},"expected":{"Build":232}},{"inputs":{"Build":8},"expected":{"Build":297}},{"inputs":{"Build":9},"expected":{"Build":370}},{"inputs":{"Build":10},"expected":{"Build":451}}]},"evaluation_cases":{"schema":"gooo/body-composition-cases/v1","cases":[{"inputs":{"Build":0},"expected":{"Build":1}},{"inputs":{"Build":11},"expected":{"Build":540}},{"inputs":{"Build":-2},"expected":{"Build":7}}]},"rounds":[{"source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes `let factor = __GOOO_BODY_HOLE_factor__\nlet square = factor * factor\nreturn input + square` assembling {\n    search hole \"factor\" grammar \"integer-hole-quadratic/v1\" intent \"입력에 (입력의 두 배 더하기 1)의 제곱을 더한다. Add the square of twice the input plus one.\" max_candidates \"16\"\n    search_alternative \"fit\" grammar \"integer-hole-quadratic/v2\" max_candidates \"16\"\n    case \"1\" -\u003e \"10\"\n    case \"2\" -\u003e \"27\"\n    case \"3\" -\u003e \"52\"\n    case \"4\" -\u003e \"85\"\n    case \"5\" -\u003e \"126\"\n    case \"6\" -\u003e \"175\"\n    case \"7\" -\u003e \"232\"\n    case \"8\" -\u003e \"297\"\n    case \"9\" -\u003e \"370\"\n    case \"10\" -\u003e \"451\"\n    attempts \"8\"\n}\n","composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:c9c5bcb4de7016c548a0dcaf375611f7d18f193ceae8262452945d9ed5947d74","selected_source_sha256":"sha256:99ab88dc9902798b821497db1735bf3a2c093ebe4e9e6ebcb0f4dad41e62bd93","generated_sha256":"sha256:62808295f69d1a7fd2325c7ea25b1c9e0db4400540008a231de5d132fb9253ea","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","plan":{"schema":"gooo/body-composition-plan/v1","typed_plan_sha256":"sha256:52145f2d71800b22abbe970fb194aeaa1e318f27f95d18854189e01184b48a98","semantic_fingerprint":"48ba3a29e34f8c39434a0de3541ff2aabd80ad2e90c3103e07096f3db5546dfa","activities":[{"name":"Build","id":"fit://activity/build","input_type":"Integer","output_type":"Integer","input_entity_id":"fit://integer","output_entity_id":"fit://integer","go_function":"GoooComposedActivity0","input_from":-1,"assembling":true}],"edges":[]},"steps":[{"input_source_sha256":"sha256:c9c5bcb4de7016c548a0dcaf375611f7d18f193ceae8262452945d9ed5947d74","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Build","activity_id":"fit://activity/build","input_type":"int64","output_type":"int64","plan_sha256":"sha256:fa1c264f61c39e0302fc92f63f8a384f86f8db229f3977c43d5d7830d1c3e38d","compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","source_digest":"sha256:49f37aed3c014e0a55c18037ff22086d415150163670fd42770a8838e2964722","program_digest":"sha256:5758d5eaa2995d65afc395e46ae6930e750552f23dc78f4acf993a328423b76a","generated_digest":"sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","replay_digest":"sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","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,"body_search":{"schema":"gooo/body-codegen-ir-search-plan/v1","ir_plan_sha256":"sha256:295344095d6638899b9ace629d8e0f1321f2c54923a78fe0a36fc0f997ada29e","original_source_digest":"sha256:c9c5bcb4de7016c548a0dcaf375611f7d18f193ceae8262452945d9ed5947d74","training_suite_sha256":"sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","selected_candidate_id":"generated_615bdd17c255","selected_expression":"-3","training_passed":1,"training_total":10,"training_accuracy_percent":10,"training_case_results":[{"input":1,"expected":10,"actual":10,"passed":true},{"input":2,"expected":27,"actual":11,"passed":false},{"input":3,"expected":52,"actual":12,"passed":false},{"input":4,"expected":85,"actual":13,"passed":false},{"input":5,"expected":126,"actual":14,"passed":false},{"input":6,"expected":175,"actual":15,"passed":false},{"input":7,"expected":232,"actual":16,"passed":false},{"input":8,"expected":297,"actual":17,"passed":false},{"input":9,"expected":370,"actual":18,"passed":false},{"input":10,"expected":451,"actual":19,"passed":false}],"holdout_passed":0,"holdout_total":0,"holdout_accuracy_percent":null,"attempts":[{"candidate_id":"generated_615bdd17c255","expression":"-3","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_615bdd17c255","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:15b8618adc65730611a7a9a87e1c0c2a8ec0fccf2f1be0629770539553fb2ac1"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":10,"passed":true},{"input":2,"expected":27,"actual":11,"passed":false},{"input":3,"expected":52,"actual":12,"passed":false},{"input":4,"expected":85,"actual":13,"passed":false},{"input":5,"expected":126,"actual":14,"passed":false},{"input":6,"expected":175,"actual":15,"passed":false},{"input":7,"expected":232,"actual":16,"passed":false},{"input":8,"expected":297,"actual":17,"passed":false},{"input":9,"expected":370,"actual":18,"passed":false},{"input":10,"expected":451,"actual":19,"passed":false}],"decision_latency_ms":0.022375,"evaluation_ms":0.21425},{"candidate_id":"generated_4e07408562be","expression":"3","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_4e07408562be","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:d6ec523802c546a5b784903c01e5857d4bd7934636466221d2316136acdbc3be"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":10,"passed":true},{"input":2,"expected":27,"actual":11,"passed":false},{"input":3,"expected":52,"actual":12,"passed":false},{"input":4,"expected":85,"actual":13,"passed":false},{"input":5,"expected":126,"actual":14,"passed":false},{"input":6,"expected":175,"actual":15,"passed":false},{"input":7,"expected":232,"actual":16,"passed":false},{"input":8,"expected":297,"actual":17,"passed":false},{"input":9,"expected":370,"actual":18,"passed":false},{"input":10,"expected":451,"actual":19,"passed":false}],"decision_latency_ms":0.013084,"evaluation_ms":0.126},{"candidate_id":"generated_37aa1ccf80e4","expression":"-5","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_37aa1ccf80e4","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:c2658cad26491cf403b22bf6036f77f97b261c1d895a530f5e20a6bed347e6ca"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":26,"passed":false},{"input":2,"expected":27,"actual":27,"passed":true},{"input":3,"expected":52,"actual":28,"passed":false},{"input":4,"expected":85,"actual":29,"passed":false},{"input":5,"expected":126,"actual":30,"passed":false},{"input":6,"expected":175,"actual":31,"passed":false},{"input":7,"expected":232,"actual":32,"passed":false},{"input":8,"expected":297,"actual":33,"passed":false},{"input":9,"expected":370,"actual":34,"passed":false},{"input":10,"expected":451,"actual":35,"passed":false}],"decision_latency_ms":0.012459,"evaluation_ms":0.096167},{"candidate_id":"generated_ef2d127de37b","expression":"5","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_ef2d127de37b","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:2b976f877c81d04d2a90ecb885a2dc65e7a59d5367fac562fcab703a88317f39"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":26,"passed":false},{"input":2,"expected":27,"actual":27,"passed":true},{"input":3,"expected":52,"actual":28,"passed":false},{"input":4,"expected":85,"actual":29,"passed":false},{"input":5,"expected":126,"actual":30,"passed":false},{"input":6,"expected":175,"actual":31,"passed":false},{"input":7,"expected":232,"actual":32,"passed":false},{"input":8,"expected":297,"actual":33,"passed":false},{"input":9,"expected":370,"actual":34,"passed":false},{"input":10,"expected":451,"actual":35,"passed":false}],"decision_latency_ms":0.012667,"evaluation_ms":0.083834},{"candidate_id":"generated_a770d3270c9d","expression":"-7","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_a770d3270c9d","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:1cec3226a73b06709203596ee5677570a9eff653fef83f16c9142097e87a0b23"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":50,"passed":false},{"input":2,"expected":27,"actual":51,"passed":false},{"input":3,"expected":52,"actual":52,"passed":true},{"input":4,"expected":85,"actual":53,"passed":false},{"input":5,"expected":126,"actual":54,"passed":false},{"input":6,"expected":175,"actual":55,"passed":false},{"input":7,"expected":232,"actual":56,"passed":false},{"input":8,"expected":297,"actual":57,"passed":false},{"input":9,"expected":370,"actual":58,"passed":false},{"input":10,"expected":451,"actual":59,"passed":false}],"decision_latency_ms":0.018916,"evaluation_ms":0.089917},{"candidate_id":"generated_7902699be42c","expression":"7","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_7902699be42c","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:1454a07364a5ee68089b2867687d31ac7639b594b564c878ba265a22b8bbdff6"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":50,"passed":false},{"input":2,"expected":27,"actual":51,"passed":false},{"input":3,"expected":52,"actual":52,"passed":true},{"input":4,"expected":85,"actual":53,"passed":false},{"input":5,"expected":126,"actual":54,"passed":false},{"input":6,"expected":175,"actual":55,"passed":false},{"input":7,"expected":232,"actual":56,"passed":false},{"input":8,"expected":297,"actual":57,"passed":false},{"input":9,"expected":370,"actual":58,"passed":false},{"input":10,"expected":451,"actual":59,"passed":false}],"decision_latency_ms":0.011709,"evaluation_ms":0.07525},{"candidate_id":"generated_d5c534fde62b","expression":"-9","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_d5c534fde62b","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:3537893feccc906e63174de74f0e7839cbbe91ffbc13019955e6173cfbe5ddc2"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":82,"passed":false},{"input":2,"expected":27,"actual":83,"passed":false},{"input":3,"expected":52,"actual":84,"passed":false},{"input":4,"expected":85,"actual":85,"passed":true},{"input":5,"expected":126,"actual":86,"passed":false},{"input":6,"expected":175,"actual":87,"passed":false},{"input":7,"expected":232,"actual":88,"passed":false},{"input":8,"expected":297,"actual":89,"passed":false},{"input":9,"expected":370,"actual":90,"passed":false},{"input":10,"expected":451,"actual":91,"passed":false}],"decision_latency_ms":0.012875,"evaluation_ms":0.078333},{"candidate_id":"generated_19581e27de7c","expression":"9","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_19581e27de7c","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:47486815cb59f739b53565639dd6e271f03af6c6f2c42664f885f8be88827622"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":1,"test_cases_total":10,"accuracy_percent":10,"case_results":[{"input":1,"expected":10,"actual":82,"passed":false},{"input":2,"expected":27,"actual":83,"passed":false},{"input":3,"expected":52,"actual":84,"passed":false},{"input":4,"expected":85,"actual":85,"passed":true},{"input":5,"expected":126,"actual":86,"passed":false},{"input":6,"expected":175,"actual":87,"passed":false},{"input":7,"expected":232,"actual":88,"passed":false},{"input":8,"expected":297,"actual":89,"passed":false},{"input":9,"expected":370,"actual":90,"passed":false},{"input":10,"expected":451,"actual":91,"passed":false}],"decision_latency_ms":0.015709,"evaluation_ms":0.08}],"candidate_count":16,"attempt_budget":8,"candidate_generation":{"schema":"gooo/body-codegen-ir-candidate-generation-receipt/v1","grammar":"integer-hole-quadratic/v1","candidates_enumerated":108,"candidates_retained":16,"candidates_omitted":92,"candidate_set_sha256":"sha256:be0733e935071ddf122f15df6182f9b8bd6f0323392653fb6e978e3743fb2103","grammar_coverage_percent":14.814814814814815,"grammar_complete":false,"completeness_scope":"retained unique expressions / integer roots and first-anchor affine fits from training-only minus-one/zero/one hole probes, followed by residual grammar seeds; polynomial fits are proposals scored against the whole body; excludes other grammars and all-domain semantics","hole_context":{"schema":"gooo/integer-hole-context/v2","body_sha256":"sha256:53eeb41687e30c883f55d948664276257b76113f1be938648bdd0c73524a3124","training_suite_sha256":"sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","evaluation_calls":30,"probes":[{"input":1,"expected":10,"zero_output":1,"one_output":2,"derived_hole_value":9,"status":"QUADRATIC_PROPOSAL","minus_one_output":2,"quadratic_roots":[-3,3]},{"input":2,"expected":27,"zero_output":2,"one_output":3,"derived_hole_value":25,"status":"QUADRATIC_PROPOSAL","minus_one_output":3,"quadratic_roots":[-5,5]},{"input":3,"expected":52,"zero_output":3,"one_output":4,"derived_hole_value":49,"status":"QUADRATIC_PROPOSAL","minus_one_output":4,"quadratic_roots":[-7,7]},{"input":4,"expected":85,"zero_output":4,"one_output":5,"derived_hole_value":81,"status":"QUADRATIC_PROPOSAL","minus_one_output":5,"quadratic_roots":[-9,9]},{"input":5,"expected":126,"zero_output":5,"one_output":6,"derived_hole_value":121,"status":"QUADRATIC_PROPOSAL","minus_one_output":6,"quadratic_roots":[-11,11]},{"input":6,"expected":175,"zero_output":6,"one_output":7,"derived_hole_value":169,"status":"QUADRATIC_PROPOSAL","minus_one_output":7,"quadratic_roots":[-13,13]},{"input":7,"expected":232,"zero_output":7,"one_output":8,"derived_hole_value":225,"status":"QUADRATIC_PROPOSAL","minus_one_output":8,"quadratic_roots":[-15,15]},{"input":8,"expected":297,"zero_output":8,"one_output":9,"derived_hole_value":289,"status":"QUADRATIC_PROPOSAL","minus_one_output":9,"quadratic_roots":[-17,17]},{"input":9,"expected":370,"zero_output":9,"one_output":10,"derived_hole_value":361,"status":"QUADRATIC_PROPOSAL","minus_one_output":10,"quadratic_roots":[-19,19]},{"input":10,"expected":451,"zero_output":10,"one_output":11,"derived_hole_value":441,"status":"QUADRATIC_PROPOSAL","minus_one_output":11,"quadratic_roots":[-21,21]}],"scope":"training-only minus-one/zero/one outputs; exact integer roots of a three-point quadratic fit are proposals; branches, higher-degree expressions and wrapped arithmetic require whole-body scoring"}},"attempted_candidates":8,"evaluated_candidates":8,"provider_operations":0,"untested_candidates":8,"best_observed_accuracy_percent":10,"global_best_accuracy_percent":null,"stop_reason":"MAX_ATTEMPTS","evaluator":"gooo/bodycodegen-int64-ast-interpreter/v2","provider_budget_ms":8000,"provider_budget_used_ms":0,"decision_latency_ms":0.11979399999999998,"total_ms":2.160291},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":3,"lowered_constructs":3,"source_semantic_units":14,"lowered_semantic_units":14,"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:de63d28959ed5c9bcfca9f9074d965d1072f66567c658e079bca5801b6108692","generated_semantic_digest":"sha256:de63d28959ed5c9bcfca9f9074d965d1072f66567c658e079bca5801b6108692","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":"PROGRESS_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":"bounded candidate search before evaluation, prior training observations, and independent post-selection holdout measurement; no human approval or authorization is required","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity body in the closed scalar or declared-record body-codegen profile","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:fa1c264f61c39e0302fc92f63f8a384f86f8db229f3977c43d5d7830d1c3e38d","receipt_declaration":{"declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","generated_declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile":"gooo/receipt-structure-projection/v1","schema":"gooo/metaprogramming-completeness-receipt/v2"},"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","search_candidate_grammar_coverage","search_training_accuracy","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:49f37aed3c014e0a55c18037ff22086d415150163670fd42770a8838e2964722","activity_id:fit://activity/build"]},{"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:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":14,"denominator":14,"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:de63d28959ed5c9bcfca9f9074d965d1072f66567c658e079bca5801b6108692","generated_semantic_digest:sha256:de63d28959ed5c9bcfca9f9074d965d1072f66567c658e079bca5801b6108692"]},{"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:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","replay_digest:sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18"]},{"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:49f37aed3c014e0a55c18037ff22086d415150163670fd42770a8838e2964722","program_digest:sha256:5758d5eaa2995d65afc395e46ae6930e750552f23dc78f4acf993a328423b76a","generated_digest:sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","replay_digest:sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18","activity_id:fit://activity/build","compiler_source_sha:3579b869b6025e34db87d9a283b6aabf54c39eb3","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":"search runs with no configured-provider resolver operations","reason":"A zero operation count establishes that no provider resolver call was configured; completed candidate attempts are tracked separately.","evidence":["body_search.provider_operations:0","body_search.attempts"]},{"id":"laya_decision_observation","status":"UNKNOWN","numerator":0,"denominator":8,"unit":"multi-candidate search choices before evaluation","reason":"Counts model choices before candidate evaluation; this does not measure candidate correctness.","evidence":["body_search.attempts.decision","body_search.ir_plan_sha256:sha256:295344095d6638899b9ace629d8e0f1321f2c54923a78fe0a36fc0f997ada29e"]},{"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":"search_training_accuracy","status":"PROGRESS","numerator":1,"denominator":10,"unit":"training cases matched by the finally selected body in the bounded evaluator","reason":"Training cases drive candidate search; their score does not establish unseen behavior or global candidate optimality.","evidence":["body_search.training_suite_sha256:sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","body_search.evaluator:gooo/bodycodegen-int64-ast-interpreter/v2","generated_digest:sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18"]},{"id":"search_holdout_accuracy","status":"UNKNOWN","numerator":0,"denominator":0,"unit":"post-selection holdout cases matched by the selected body in the bounded evaluator","reason":"Holdout inputs are disjoint from training, excluded from choice requests, and never used to change the selected candidate.","evidence":["body_search.holdout_suite_sha256:","body_search.evaluator:gooo/bodycodegen-int64-ast-interpreter/v2","generated_digest:sha256:9101257b1ad757be932c3aaa4a429cad93ce513fec0933bd4a58d975b0664a18"]},{"id":"search_candidate_observation","status":"PROGRESS","numerator":8,"denominator":16,"unit":"candidate bodies attempted within the declared search budget","reason":"A tested subset cannot establish the best score available among all declared candidates; rejected bodies remain in the attempt trace.","evidence":["body_search.attempts","body_search.ir_plan_sha256:sha256:295344095d6638899b9ace629d8e0f1321f2c54923a78fe0a36fc0f997ada29e"]},{"id":"search_candidate_scoring","status":"PROGRESS","numerator":8,"denominator":16,"unit":"candidate bodies with completed finite-suite scoring","reason":"Parse, typecheck, and evaluator rejections are attempted but unscored; their accuracy is unavailable.","evidence":["body_search.attempts.scoring_completed","body_search.ir_plan_sha256:sha256:295344095d6638899b9ace629d8e0f1321f2c54923a78fe0a36fc0f997ada29e"]},{"id":"search_candidate_grammar_coverage","status":"PROGRESS","numerator":16,"denominator":108,"unit":"retained candidates divided by unique expressions enumerated in the named bounded grammar","reason":"Full grammar coverage only closes enumeration for this candidate grammar; it does not establish intent or whole-domain correctness.","evidence":["body_search.candidate_generation.grammar:integer-hole-quadratic/v1","body_search.candidate_generation.candidate_set_sha256:sha256:be0733e935071ddf122f15df6182f9b8bd6f0323392653fb6e978e3743fb2103"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":11,"PROGRESS":4,"UNKNOWN":11},"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":"Counts model choices before candidate evaluation; this does not measure candidate correctness.","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"},{"id":"search_training_accuracy","status":"PROGRESS","reason":"Training cases drive candidate search; their score does not establish unseen behavior or global candidate optimality.","next_operation":"EXPAND_OR_REPAIR_CANDIDATES_AGAINST_TRAINING_FAILURES_WITHIN_THE_SEARCH_BUDGET"},{"id":"search_holdout_accuracy","status":"UNKNOWN","reason":"Holdout inputs are disjoint from training, excluded from choice requests, and never used to change the selected candidate.","next_operation":"VALIDATE_THE_SELECTED_BODY_AGAINST_A_SEPARATE_UNSEEN_TEST_SUITE"},{"id":"search_candidate_observation","status":"PROGRESS","reason":"A tested subset cannot establish the best score available among all declared candidates; rejected bodies remain in the attempt trace.","next_operation":"MEASURE_UNTESTED_CANDIDATES_IN_A_SEPARATE_EXHAUSTIVE_BASELINE"},{"id":"search_candidate_scoring","status":"PROGRESS","reason":"Parse, typecheck, and evaluator rejections are attempted but unscored; their accuracy is unavailable.","next_operation":"REPAIR_UNSCORED_CANDIDATES_AND_MEASURE_A_SEPARATE_BASELINE"},{"id":"search_candidate_grammar_coverage","status":"PROGRESS","reason":"Full grammar coverage only closes enumeration for this candidate grammar; it does not establish intent or whole-domain correctness.","next_operation":""}],"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 fit\n\n//gooo:generated:start id=\"fit://activity/build\" kind=\"activity\"\nfunc Build(input int64) int64 {\n\tvar factor int64 = (-3)\n\tvar square int64 = factor * factor\n\treturn input + square\n}\n\n//gooo:generated:end id=\"fit://activity/build\" kind=\"activity\"\n"}}],"gooo_source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes \"var factor = (-3)\\nvar square = factor * factor\\nreturn input + square\"\n","source":"package main\n\n//gooo:generated:start id=\"fit://activity/build\" kind=\"activity\"\nfunc GoooComposedActivity0(input int64) int64 {\n\tvar factor int64 = (-3)\n\tvar square int64 = factor * factor\n\treturn input + square\n}\n\n//gooo:generated:end id=\"fit://activity/build\" 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":6534375,"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:32198fec7680b43bcf4fa318edf47e30124ab325fb6433ba8414cc6ece8f55dc","original_source_sha256":"sha256:c9c5bcb4de7016c548a0dcaf375611f7d18f193ceae8262452945d9ed5947d74","selected_source_sha256":"sha256:99ab88dc9902798b821497db1735bf3a2c093ebe4e9e6ebcb0f4dad41e62bd93","typed_plan_sha256":"sha256:52145f2d71800b22abbe970fb194aeaa1e318f27f95d18854189e01184b48a98","generated_sha256":"sha256:62808295f69d1a7fd2325c7ea25b1c9e0db4400540008a231de5d132fb9253ea","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","runtime_suite_sha256":"sha256:40da28fe9b1c76e168ade4f42a55469291875f1d08cfff8da853251a8f219e61","executable_sha256":"sha256:53361791a312f93519bd1c3eba5a461e98622b022247d759a73d06a3abc86d37","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261008023656-3579b869b602"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":11884792,"user_ns":3194000,"system_ns":6424000,"peak_rss_bytes":14532608,"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":501527375,"user_ns":129549000,"system_ns":124376000,"peak_rss_bytes":85426176,"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":723648625,"user_ns":3137000,"system_ns":5791000,"peak_rss_bytes":4931584,"stdout_sha256":"sha256:931c61c30140f16cd4f7b762ae968a75f8b533592f4352312fb6570470571b40","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":7800584,"user_ns":2514000,"system_ns":3557000,"peak_rss_bytes":4947968,"stdout_sha256":"sha256:931c61c30140f16cd4f7b762ae968a75f8b533592f4352312fb6570470571b40","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"fit://activity/build","input":1,"actual":10,"expected":10,"passed":true}]},{"case_index":1,"deliveries":[{"activity_id":"fit://activity/build","input":2,"actual":11,"expected":27,"passed":false}]},{"case_index":2,"deliveries":[{"activity_id":"fit://activity/build","input":3,"actual":12,"expected":52,"passed":false}]},{"case_index":3,"deliveries":[{"activity_id":"fit://activity/build","input":4,"actual":13,"expected":85,"passed":false}]},{"case_index":4,"deliveries":[{"activity_id":"fit://activity/build","input":5,"actual":14,"expected":126,"passed":false}]},{"case_index":5,"deliveries":[{"activity_id":"fit://activity/build","input":6,"actual":15,"expected":175,"passed":false}]},{"case_index":6,"deliveries":[{"activity_id":"fit://activity/build","input":7,"actual":16,"expected":232,"passed":false}]},{"case_index":7,"deliveries":[{"activity_id":"fit://activity/build","input":8,"actual":17,"expected":297,"passed":false}]},{"case_index":8,"deliveries":[{"activity_id":"fit://activity/build","input":9,"actual":18,"expected":370,"passed":false}]},{"case_index":9,"deliveries":[{"activity_id":"fit://activity/build","input":10,"actual":19,"expected":451,"passed":false}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":1,"finite_total":10,"input_separation":{"status":"UNKNOWN","reason":"NO_DISJOINT_INPUTS","unique_inputs":10,"duplicate_rows":0,"overlapping_inputs":10,"disjoint_inputs":0,"disjoint_cases_passed":0,"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":1302749334,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"observation":{"matched":1,"total":10,"best":0,"attempts":8,"limit":8,"round":1,"round_limit":4,"counterexamples":0},"search":{"search_attempted":8,"search_retained":16,"search_omitted":92,"grammar":"integer-hole-quadratic/v1","candidate_limit":16,"next_search_id":"fit","next_grammar":"integer-hole-quadratic/v2","next_attempt_limit":8},"policy_runtime":{"schema":"gooo/body-composition-runtime/v1","stage":"COMPLETE","composition_sha256":"sha256:148499e4b4f98a7509b1357b3218605e33ded125ee61e942b4e1dfa1ffa299d3","original_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","selected_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","typed_plan_sha256":"sha256:ba8c40559b01631c79ae5c31e3ec27f52bfa652f879f0b9f5cb16de5071c8779","generated_sha256":"sha256:c6b2bb49b99e083ef6e5b5f14f7671e208b37b4c3a9a959fbc5ee35088d6f7d8","driver_sha256":"sha256:68d1ce5d92d3da379bd3bf09be7d7c473907fcc9af07afa95e4d408677601216","runtime_suite_sha256":"sha256:a7435bf9054e6ca26b94616b856773b2c3963c6cf525a16ba7609db00e1c9ce9","executable_sha256":"sha256:86c835dd24483247f28b07d268c4623425e46d9a75125df69b028167f5722ea0","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261008023656-3579b869b602"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":9664750,"user_ns":4076000,"system_ns":3383000,"peak_rss_bytes":14450688,"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":101488000,"user_ns":110739000,"system_ns":87028000,"peak_rss_bytes":85524480,"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":358530792,"user_ns":3802000,"system_ns":6453000,"peak_rss_bytes":5095424,"stdout_sha256":"sha256:e7c35b5f4ac24b679d7321a6e011702ac132e7c135b9681b4cc3dead2228ed48","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":9350416,"user_ns":3021000,"system_ns":4315000,"peak_rss_bytes":5062656,"stdout_sha256":"sha256:e7c35b5f4ac24b679d7321a6e011702ac132e7c135b9681b4cc3dead2228ed48","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"feedback://activity/decide","input":{"attempts":8,"best":0,"candidate_limit":16,"counterexamples":0,"grammar":"integer-hole-quadratic/v1","limit":8,"matched":1,"next_attempt_limit":8,"next_grammar":"integer-hole-quadratic/v2","next_search_id":"fit","round":1,"round_limit":4,"search_attempted":8,"search_omitted":92,"search_retained":16,"total":10},"input_fields":[{"id":"searchfeedback://matched","name":"matched","value":1},{"id":"searchfeedback://total","name":"total","value":10},{"id":"searchfeedback://best","name":"best","value":0},{"id":"searchfeedback://attempts","name":"attempts","value":8},{"id":"searchfeedback://limit","name":"limit","value":8},{"id":"searchfeedback://round","name":"round","value":1},{"id":"searchfeedback://round-limit","name":"round_limit","value":4},{"id":"searchfeedback://counterexamples","name":"counterexamples","value":0},{"id":"searchfeedback://search-attempted","name":"search_attempted","value":8},{"id":"searchfeedback://search-retained","name":"search_retained","value":16},{"id":"searchfeedback://search-omitted","name":"search_omitted","value":92},{"id":"searchfeedback://grammar","name":"grammar","value":"integer-hole-quadratic/v1"},{"id":"searchfeedback://candidate-limit","name":"candidate_limit","value":16},{"id":"searchfeedback://next-search-id","name":"next_search_id","value":"fit"},{"id":"searchfeedback://next-grammar","name":"next_grammar","value":"integer-hole-quadratic/v2"},{"id":"searchfeedback://next-attempt-limit","name":"next_attempt_limit","value":8}],"actual":{"action":"ADVANCE_SEARCH","next_attempts":8,"next_search_id":"fit","reason":"소스에 선언한 다음 탐색 설정으로 이어갑니다.","retain":true},"actual_fields":[{"id":"searchfeedback://action","name":"action","value":"ADVANCE_SEARCH"},{"id":"searchfeedback://next-attempts","name":"next_attempts","value":8},{"id":"searchfeedback://retain","name":"retain","value":true},{"id":"searchfeedback://reason","name":"reason","value":"소스에 선언한 다음 탐색 설정으로 이어갑니다."},{"id":"searchfeedback://decision-search-id","name":"next_search_id","value":"fit"}]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":0,"finite_total":0,"input_separation":{"status":"UNKNOWN","reason":"NO_RUNTIME_EXPECTATIONS","unique_inputs":1,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":0,"disjoint_cases_passed":0,"unknown_inputs":1,"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":505257459,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"decision":{"action":"ADVANCE_SEARCH","next_attempts":8,"retain":true,"reason":"소스에 선언한 다음 탐색 설정으로 이어갑니다.","next_search_id":"fit"},"feedback_added":0,"revised_source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes `let factor = __GOOO_BODY_HOLE_factor__\nlet square = factor * factor\nreturn input + square` assembling {\n    search hole \"factor\" grammar \"integer-hole-quadratic/v2\" intent \"입력에 (입력의 두 배 더하기 1)의 제곱을 더한다. Add the square of twice the input plus one.\" max_candidates \"16\"\n    search_alternative \"fit\" grammar \"integer-hole-quadratic/v2\" max_candidates \"16\"\n    case \"1\" -\u003e \"10\"\n    case \"2\" -\u003e \"27\"\n    case \"3\" -\u003e \"52\"\n    case \"4\" -\u003e \"85\"\n    case \"5\" -\u003e \"126\"\n    case \"6\" -\u003e \"175\"\n    case \"7\" -\u003e \"232\"\n    case \"8\" -\u003e \"297\"\n    case \"9\" -\u003e \"370\"\n    case \"10\" -\u003e \"451\"\n    attempts \"8\"\n}\n"},{"source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes `let factor = __GOOO_BODY_HOLE_factor__\nlet square = factor * factor\nreturn input + square` assembling {\n    search hole \"factor\" grammar \"integer-hole-quadratic/v2\" intent \"입력에 (입력의 두 배 더하기 1)의 제곱을 더한다. Add the square of twice the input plus one.\" max_candidates \"16\"\n    search_alternative \"fit\" grammar \"integer-hole-quadratic/v2\" max_candidates \"16\"\n    case \"1\" -\u003e \"10\"\n    case \"2\" -\u003e \"27\"\n    case \"3\" -\u003e \"52\"\n    case \"4\" -\u003e \"85\"\n    case \"5\" -\u003e \"126\"\n    case \"6\" -\u003e \"175\"\n    case \"7\" -\u003e \"232\"\n    case \"8\" -\u003e \"297\"\n    case \"9\" -\u003e \"370\"\n    case \"10\" -\u003e \"451\"\n    attempts \"8\"\n}\n","composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:0b1c834ab029f5f6a4466dd173aa5745da818aab3abb6d34cbcd41589720dd66","selected_source_sha256":"sha256:2d612b8ef545ec0b3d2b40e47169d798a91dc903bb65781083e9442eb6b2bc37","generated_sha256":"sha256:a96ec2cf7ffdd7d503469d8e15de0d58ff9c2abeedb9ad0c07290c292e64186e","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","plan":{"schema":"gooo/body-composition-plan/v1","typed_plan_sha256":"sha256:52145f2d71800b22abbe970fb194aeaa1e318f27f95d18854189e01184b48a98","semantic_fingerprint":"1823d6f00b3c594adfab5964a91d459db08593f6270e563c968ee23b732f3b28","activities":[{"name":"Build","id":"fit://activity/build","input_type":"Integer","output_type":"Integer","input_entity_id":"fit://integer","output_entity_id":"fit://integer","go_function":"GoooComposedActivity0","input_from":-1,"assembling":true}],"edges":[]},"steps":[{"input_source_sha256":"sha256:0b1c834ab029f5f6a4466dd173aa5745da818aab3abb6d34cbcd41589720dd66","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"Build","activity_id":"fit://activity/build","input_type":"int64","output_type":"int64","plan_sha256":"sha256:6ff7dc0171b8cd4e05962e875c17bd964a07e0263a708ee09a3cbe6f24188b78","compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","source_digest":"sha256:03a31685660b1d719d0abad62034b898652190ad92c70accc27f9f69e78044a2","program_digest":"sha256:427ff7081c9a1834710417c29882964cb4bef0b6f0f750b1f489429ee1aaae6e","generated_digest":"sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","replay_digest":"sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","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,"body_search":{"schema":"gooo/body-codegen-ir-search-plan/v1","ir_plan_sha256":"sha256:3181a552193a463995226ca42414323a0f9ef8ad924a4a90e83deb9e522e6917","original_source_digest":"sha256:0b1c834ab029f5f6a4466dd173aa5745da818aab3abb6d34cbcd41589720dd66","training_suite_sha256":"sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","selected_candidate_id":"generated_e4d230f90527","selected_expression":"input * -2 + -1","training_passed":10,"training_total":10,"training_accuracy_percent":100,"training_case_results":[{"input":1,"expected":10,"actual":10,"passed":true},{"input":2,"expected":27,"actual":27,"passed":true},{"input":3,"expected":52,"actual":52,"passed":true},{"input":4,"expected":85,"actual":85,"passed":true},{"input":5,"expected":126,"actual":126,"passed":true},{"input":6,"expected":175,"actual":175,"passed":true},{"input":7,"expected":232,"actual":232,"passed":true},{"input":8,"expected":297,"actual":297,"passed":true},{"input":9,"expected":370,"actual":370,"passed":true},{"input":10,"expected":451,"actual":451,"passed":true}],"holdout_passed":0,"holdout_total":0,"holdout_accuracy_percent":null,"attempts":[{"candidate_id":"generated_e4d230f90527","expression":"input * -2 + -1","selection_method":"deterministic_fallback","decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"generated_e4d230f90527","fallback_reason":"NOT_CONFIGURED","provider":"deterministic","request_sha256":"sha256:fd86fca7c6fa3ccbff39051eb6cdd03ffa291077dc2f79887ff20175cdf133fe"},"typecheck_passed":true,"scoring_completed":true,"test_cases_passed":10,"test_cases_total":10,"accuracy_percent":100,"case_results":[{"input":1,"expected":10,"actual":10,"passed":true},{"input":2,"expected":27,"actual":27,"passed":true},{"input":3,"expected":52,"actual":52,"passed":true},{"input":4,"expected":85,"actual":85,"passed":true},{"input":5,"expected":126,"actual":126,"passed":true},{"input":6,"expected":175,"actual":175,"passed":true},{"input":7,"expected":232,"actual":232,"passed":true},{"input":8,"expected":297,"actual":297,"passed":true},{"input":9,"expected":370,"actual":370,"passed":true},{"input":10,"expected":451,"actual":451,"passed":true}],"decision_latency_ms":0.020291,"evaluation_ms":0.141917}],"candidate_count":16,"attempt_budget":8,"candidate_generation":{"schema":"gooo/body-codegen-ir-candidate-generation-receipt/v1","grammar":"integer-hole-quadratic/v2","candidates_enumerated":108,"candidates_retained":16,"candidates_omitted":92,"candidate_set_sha256":"sha256:618a4202f91142ec8653c295dbbcdcfbe3db42a9ecd9f3bf654747063164dc86","grammar_coverage_percent":14.814814814814815,"grammar_complete":false,"completeness_scope":"retained unique expressions / integer roots and first-anchor affine fits from training-only minus-one/zero/one hole probes, followed by residual grammar seeds; polynomial fits are proposals scored against the whole body; excludes other grammars and all-domain semantics; constants and affine fits compatible with every available integral root observation precede the v1 enumeration; compatibility is a proposal-order hint, not a whole-body score","hole_context":{"schema":"gooo/integer-hole-context/v2","body_sha256":"sha256:53eeb41687e30c883f55d948664276257b76113f1be938648bdd0c73524a3124","training_suite_sha256":"sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","evaluation_calls":30,"probes":[{"input":1,"expected":10,"zero_output":1,"one_output":2,"derived_hole_value":9,"status":"QUADRATIC_PROPOSAL","minus_one_output":2,"quadratic_roots":[-3,3]},{"input":2,"expected":27,"zero_output":2,"one_output":3,"derived_hole_value":25,"status":"QUADRATIC_PROPOSAL","minus_one_output":3,"quadratic_roots":[-5,5]},{"input":3,"expected":52,"zero_output":3,"one_output":4,"derived_hole_value":49,"status":"QUADRATIC_PROPOSAL","minus_one_output":4,"quadratic_roots":[-7,7]},{"input":4,"expected":85,"zero_output":4,"one_output":5,"derived_hole_value":81,"status":"QUADRATIC_PROPOSAL","minus_one_output":5,"quadratic_roots":[-9,9]},{"input":5,"expected":126,"zero_output":5,"one_output":6,"derived_hole_value":121,"status":"QUADRATIC_PROPOSAL","minus_one_output":6,"quadratic_roots":[-11,11]},{"input":6,"expected":175,"zero_output":6,"one_output":7,"derived_hole_value":169,"status":"QUADRATIC_PROPOSAL","minus_one_output":7,"quadratic_roots":[-13,13]},{"input":7,"expected":232,"zero_output":7,"one_output":8,"derived_hole_value":225,"status":"QUADRATIC_PROPOSAL","minus_one_output":8,"quadratic_roots":[-15,15]},{"input":8,"expected":297,"zero_output":8,"one_output":9,"derived_hole_value":289,"status":"QUADRATIC_PROPOSAL","minus_one_output":9,"quadratic_roots":[-17,17]},{"input":9,"expected":370,"zero_output":9,"one_output":10,"derived_hole_value":361,"status":"QUADRATIC_PROPOSAL","minus_one_output":10,"quadratic_roots":[-19,19]},{"input":10,"expected":451,"zero_output":10,"one_output":11,"derived_hole_value":441,"status":"QUADRATIC_PROPOSAL","minus_one_output":11,"quadratic_roots":[-21,21]}],"scope":"training-only minus-one/zero/one outputs; exact integer roots of a three-point quadratic fit are proposals; branches, higher-degree expressions and wrapped arithmetic require whole-body scoring"}},"attempted_candidates":1,"evaluated_candidates":1,"provider_operations":0,"untested_candidates":15,"best_observed_accuracy_percent":100,"global_best_accuracy_percent":null,"stop_reason":"TRAINING_SUITE_PASSED","evaluator":"gooo/bodycodegen-int64-ast-interpreter/v2","provider_budget_ms":8000,"provider_budget_used_ms":0,"decision_latency_ms":0.020291,"total_ms":1.9825},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":3,"lowered_constructs":3,"source_semantic_units":19,"lowered_semantic_units":19,"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:85931d2403372bd7df63e7b5023ded8b9e6c6272ab19d60935a413ea320d453a","generated_semantic_digest":"sha256:85931d2403372bd7df63e7b5023ded8b9e6c6272ab19d60935a413ea320d453a","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":"PROGRESS_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":"bounded candidate search before evaluation, prior training observations, and independent post-selection holdout measurement; no human approval or authorization is required","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity body in the closed scalar or declared-record body-codegen profile","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:6ff7dc0171b8cd4e05962e875c17bd964a07e0263a708ee09a3cbe6f24188b78","receipt_declaration":{"declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","generated_declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile":"gooo/receipt-structure-projection/v1","schema":"gooo/metaprogramming-completeness-receipt/v2"},"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","search_candidate_grammar_coverage","search_training_accuracy","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:03a31685660b1d719d0abad62034b898652190ad92c70accc27f9f69e78044a2","activity_id:fit://activity/build"]},{"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:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":19,"denominator":19,"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:85931d2403372bd7df63e7b5023ded8b9e6c6272ab19d60935a413ea320d453a","generated_semantic_digest:sha256:85931d2403372bd7df63e7b5023ded8b9e6c6272ab19d60935a413ea320d453a"]},{"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:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","replay_digest:sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9"]},{"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:03a31685660b1d719d0abad62034b898652190ad92c70accc27f9f69e78044a2","program_digest:sha256:427ff7081c9a1834710417c29882964cb4bef0b6f0f750b1f489429ee1aaae6e","generated_digest:sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","replay_digest:sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9","activity_id:fit://activity/build","compiler_source_sha:3579b869b6025e34db87d9a283b6aabf54c39eb3","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":"search runs with no configured-provider resolver operations","reason":"A zero operation count establishes that no provider resolver call was configured; completed candidate attempts are tracked separately.","evidence":["body_search.provider_operations:0","body_search.attempts"]},{"id":"laya_decision_observation","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"multi-candidate search choices before evaluation","reason":"Counts model choices before candidate evaluation; this does not measure candidate correctness.","evidence":["body_search.attempts.decision","body_search.ir_plan_sha256:sha256:3181a552193a463995226ca42414323a0f9ef8ad924a4a90e83deb9e522e6917"]},{"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":"search_training_accuracy","status":"PASS","numerator":10,"denominator":10,"unit":"training cases matched by the finally selected body in the bounded evaluator","reason":"Training cases drive candidate search; their score does not establish unseen behavior or global candidate optimality.","evidence":["body_search.training_suite_sha256:sha256:0dc18ccf885793b87cafc78d2ce37d24bd4183a2f58ae4a9549df49f464ef3d8","body_search.evaluator:gooo/bodycodegen-int64-ast-interpreter/v2","generated_digest:sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9"]},{"id":"search_holdout_accuracy","status":"UNKNOWN","numerator":0,"denominator":0,"unit":"post-selection holdout cases matched by the selected body in the bounded evaluator","reason":"Holdout inputs are disjoint from training, excluded from choice requests, and never used to change the selected candidate.","evidence":["body_search.holdout_suite_sha256:","body_search.evaluator:gooo/bodycodegen-int64-ast-interpreter/v2","generated_digest:sha256:4319db8102c6919742a83ebad194a6b1c0ecba087fc06dc4d214fe979fe383f9"]},{"id":"search_candidate_observation","status":"PROGRESS","numerator":1,"denominator":16,"unit":"candidate bodies attempted within the declared search budget","reason":"A tested subset cannot establish the best score available among all declared candidates; rejected bodies remain in the attempt trace.","evidence":["body_search.attempts","body_search.ir_plan_sha256:sha256:3181a552193a463995226ca42414323a0f9ef8ad924a4a90e83deb9e522e6917"]},{"id":"search_candidate_scoring","status":"PROGRESS","numerator":1,"denominator":16,"unit":"candidate bodies with completed finite-suite scoring","reason":"Parse, typecheck, and evaluator rejections are attempted but unscored; their accuracy is unavailable.","evidence":["body_search.attempts.scoring_completed","body_search.ir_plan_sha256:sha256:3181a552193a463995226ca42414323a0f9ef8ad924a4a90e83deb9e522e6917"]},{"id":"search_candidate_grammar_coverage","status":"PROGRESS","numerator":16,"denominator":108,"unit":"retained candidates divided by unique expressions enumerated in the named bounded grammar","reason":"Full grammar coverage only closes enumeration for this candidate grammar; it does not establish intent or whole-domain correctness.","evidence":["body_search.candidate_generation.grammar:integer-hole-quadratic/v2","body_search.candidate_generation.candidate_set_sha256:sha256:618a4202f91142ec8653c295dbbcdcfbe3db42a9ecd9f3bf654747063164dc86"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":12,"PROGRESS":3,"UNKNOWN":11},"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":"Counts model choices before candidate evaluation; this does not measure candidate correctness.","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"},{"id":"search_holdout_accuracy","status":"UNKNOWN","reason":"Holdout inputs are disjoint from training, excluded from choice requests, and never used to change the selected candidate.","next_operation":"VALIDATE_THE_SELECTED_BODY_AGAINST_A_SEPARATE_UNSEEN_TEST_SUITE"},{"id":"search_candidate_observation","status":"PROGRESS","reason":"A tested subset cannot establish the best score available among all declared candidates; rejected bodies remain in the attempt trace.","next_operation":"MEASURE_UNTESTED_CANDIDATES_IN_A_SEPARATE_EXHAUSTIVE_BASELINE"},{"id":"search_candidate_scoring","status":"PROGRESS","reason":"Parse, typecheck, and evaluator rejections are attempted but unscored; their accuracy is unavailable.","next_operation":"REPAIR_UNSCORED_CANDIDATES_AND_MEASURE_A_SEPARATE_BASELINE"},{"id":"search_candidate_grammar_coverage","status":"PROGRESS","reason":"Full grammar coverage only closes enumeration for this candidate grammar; it does not establish intent or whole-domain correctness.","next_operation":""}],"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 fit\n\n//gooo:generated:start id=\"fit://activity/build\" kind=\"activity\"\nfunc Build(input int64) int64 {\n\tvar factor = (input*-2 + -1)\n\tvar square = factor * factor\n\treturn input + square\n}\n\n//gooo:generated:end id=\"fit://activity/build\" kind=\"activity\"\n"}}],"gooo_source":"package fit\nnamespace fit\nentity Integer id \"fit://integer\"\nactivity Build(Integer) -\u003e Integer computes \"var factor = (input*-2 + -1)\\nvar square = factor * factor\\nreturn input + square\"\n","source":"package main\n\n//gooo:generated:start id=\"fit://activity/build\" kind=\"activity\"\nfunc GoooComposedActivity0(input int64) int64 {\n\tvar factor = (input*-2 + -1)\n\tvar square = factor * factor\n\treturn input + square\n}\n\n//gooo:generated:end id=\"fit://activity/build\" 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":6765208,"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:671e3e5746009965a8212e16a668c0a4e3ddb7d6c8d2ecdf52ff7dd4fcaae6a1","original_source_sha256":"sha256:0b1c834ab029f5f6a4466dd173aa5745da818aab3abb6d34cbcd41589720dd66","selected_source_sha256":"sha256:2d612b8ef545ec0b3d2b40e47169d798a91dc903bb65781083e9442eb6b2bc37","typed_plan_sha256":"sha256:52145f2d71800b22abbe970fb194aeaa1e318f27f95d18854189e01184b48a98","generated_sha256":"sha256:a96ec2cf7ffdd7d503469d8e15de0d58ff9c2abeedb9ad0c07290c292e64186e","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","runtime_suite_sha256":"sha256:40da28fe9b1c76e168ade4f42a55469291875f1d08cfff8da853251a8f219e61","executable_sha256":"sha256:2f46a2574203d166a877b813bae4d3af9955a5a268c9332f492f64f7514dc8a0","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261008023656-3579b869b602"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":8513667,"user_ns":3725000,"system_ns":2695000,"peak_rss_bytes":14499840,"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":101621000,"user_ns":112753000,"system_ns":99736000,"peak_rss_bytes":85868544,"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":357513583,"user_ns":3405000,"system_ns":6079000,"peak_rss_bytes":4816896,"stdout_sha256":"sha256:15b15fa36f7cf2f8248e3473288c5ed5c5846fc764b3796a05089a2f24b7c831","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":9414583,"user_ns":2960000,"system_ns":3770000,"peak_rss_bytes":4947968,"stdout_sha256":"sha256:15b15fa36f7cf2f8248e3473288c5ed5c5846fc764b3796a05089a2f24b7c831","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"fit://activity/build","input":1,"actual":10,"expected":10,"passed":true}]},{"case_index":1,"deliveries":[{"activity_id":"fit://activity/build","input":2,"actual":27,"expected":27,"passed":true}]},{"case_index":2,"deliveries":[{"activity_id":"fit://activity/build","input":3,"actual":52,"expected":52,"passed":true}]},{"case_index":3,"deliveries":[{"activity_id":"fit://activity/build","input":4,"actual":85,"expected":85,"passed":true}]},{"case_index":4,"deliveries":[{"activity_id":"fit://activity/build","input":5,"actual":126,"expected":126,"passed":true}]},{"case_index":5,"deliveries":[{"activity_id":"fit://activity/build","input":6,"actual":175,"expected":175,"passed":true}]},{"case_index":6,"deliveries":[{"activity_id":"fit://activity/build","input":7,"actual":232,"expected":232,"passed":true}]},{"case_index":7,"deliveries":[{"activity_id":"fit://activity/build","input":8,"actual":297,"expected":297,"passed":true}]},{"case_index":8,"deliveries":[{"activity_id":"fit://activity/build","input":9,"actual":370,"expected":370,"passed":true}]},{"case_index":9,"deliveries":[{"activity_id":"fit://activity/build","input":10,"actual":451,"expected":451,"passed":true}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":10,"finite_total":10,"input_separation":{"status":"UNKNOWN","reason":"NO_DISJOINT_INPUTS","unique_inputs":10,"duplicate_rows":0,"overlapping_inputs":10,"disjoint_inputs":0,"disjoint_cases_passed":0,"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":499711083,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"observation":{"matched":10,"total":10,"best":1,"attempts":8,"limit":8,"round":2,"round_limit":4,"counterexamples":0},"search":{"search_attempted":1,"search_retained":16,"search_omitted":92,"grammar":"integer-hole-quadratic/v2","candidate_limit":16,"next_search_id":"","next_grammar":"","next_attempt_limit":0},"policy_runtime":{"schema":"gooo/body-composition-runtime/v1","stage":"COMPLETE","composition_sha256":"sha256:148499e4b4f98a7509b1357b3218605e33ded125ee61e942b4e1dfa1ffa299d3","original_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","selected_source_sha256":"sha256:9aeba1e7b3d12f1cae1586ade8a41c7edaab86dda60d22eead638f201c3dd4b3","typed_plan_sha256":"sha256:ba8c40559b01631c79ae5c31e3ec27f52bfa652f879f0b9f5cb16de5071c8779","generated_sha256":"sha256:c6b2bb49b99e083ef6e5b5f14f7671e208b37b4c3a9a959fbc5ee35088d6f7d8","driver_sha256":"sha256:68d1ce5d92d3da379bd3bf09be7d7c473907fcc9af07afa95e4d408677601216","runtime_suite_sha256":"sha256:98ab632ae2d3ac7d91c7b765ba36c55137c5081e0f02056d76a0d9a95cfec64e","executable_sha256":"sha256:86c835dd24483247f28b07d268c4623425e46d9a75125df69b028167f5722ea0","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261008023656-3579b869b602"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":8552917,"user_ns":3816000,"system_ns":2818000,"peak_rss_bytes":14532608,"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":101721667,"user_ns":116049000,"system_ns":88157000,"peak_rss_bytes":85688320,"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":187333917,"user_ns":2526000,"system_ns":4984000,"peak_rss_bytes":4866048,"stdout_sha256":"sha256:8394c80601c9c0c71bf463a74142ffa54653bf71205804f4db44f4e6010dd8f5","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":4711167,"user_ns":1540000,"system_ns":1704000,"peak_rss_bytes":4997120,"stdout_sha256":"sha256:8394c80601c9c0c71bf463a74142ffa54653bf71205804f4db44f4e6010dd8f5","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"feedback://activity/decide","input":{"attempts":8,"best":1,"candidate_limit":16,"counterexamples":0,"grammar":"integer-hole-quadratic/v2","limit":8,"matched":10,"next_attempt_limit":0,"next_grammar":"","next_search_id":"","round":2,"round_limit":4,"search_attempted":1,"search_omitted":92,"search_retained":16,"total":10},"input_fields":[{"id":"searchfeedback://matched","name":"matched","value":10},{"id":"searchfeedback://total","name":"total","value":10},{"id":"searchfeedback://best","name":"best","value":1},{"id":"searchfeedback://attempts","name":"attempts","value":8},{"id":"searchfeedback://limit","name":"limit","value":8},{"id":"searchfeedback://round","name":"round","value":2},{"id":"searchfeedback://round-limit","name":"round_limit","value":4},{"id":"searchfeedback://counterexamples","name":"counterexamples","value":0},{"id":"searchfeedback://search-attempted","name":"search_attempted","value":1},{"id":"searchfeedback://search-retained","name":"search_retained","value":16},{"id":"searchfeedback://search-omitted","name":"search_omitted","value":92},{"id":"searchfeedback://grammar","name":"grammar","value":"integer-hole-quadratic/v2"},{"id":"searchfeedback://candidate-limit","name":"candidate_limit","value":16},{"id":"searchfeedback://next-search-id","name":"next_search_id","value":""},{"id":"searchfeedback://next-grammar","name":"next_grammar","value":""},{"id":"searchfeedback://next-attempt-limit","name":"next_attempt_limit","value":0}],"actual":{"action":"STOP","next_attempts":8,"next_search_id":"","reason":"관측 결과와 라운드 한도에 따라 멈춥니다.","retain":true},"actual_fields":[{"id":"searchfeedback://action","name":"action","value":"STOP"},{"id":"searchfeedback://next-attempts","name":"next_attempts","value":8},{"id":"searchfeedback://retain","name":"retain","value":true},{"id":"searchfeedback://reason","name":"reason","value":"관측 결과와 라운드 한도에 따라 멈춥니다."},{"id":"searchfeedback://decision-search-id","name":"next_search_id","value":""}]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":0,"finite_total":0,"input_separation":{"status":"UNKNOWN","reason":"NO_RUNTIME_EXPECTATIONS","unique_inputs":1,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":0,"disjoint_cases_passed":0,"unknown_inputs":1,"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":327331125,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"decision":{"action":"STOP","next_attempts":8,"retain":true,"reason":"관측 결과와 라운드 한도에 따라 멈춥니다."},"feedback_added":0}],"selected_round":1,"evaluation":{"schema":"gooo/body-composition-runtime/v1","stage":"COMPLETE","composition_sha256":"sha256:671e3e5746009965a8212e16a668c0a4e3ddb7d6c8d2ecdf52ff7dd4fcaae6a1","original_source_sha256":"sha256:0b1c834ab029f5f6a4466dd173aa5745da818aab3abb6d34cbcd41589720dd66","selected_source_sha256":"sha256:2d612b8ef545ec0b3d2b40e47169d798a91dc903bb65781083e9442eb6b2bc37","typed_plan_sha256":"sha256:52145f2d71800b22abbe970fb194aeaa1e318f27f95d18854189e01184b48a98","generated_sha256":"sha256:a96ec2cf7ffdd7d503469d8e15de0d58ff9c2abeedb9ad0c07290c292e64186e","driver_sha256":"sha256:b60505029d66031b47bc2e849d5fb37f04920d4b8ff01c7dd372ab4dc1395ad2","runtime_suite_sha256":"sha256:3a54b07782597f6c923941214a3e4f486bf91b82dbca8ee3d414041bf86b76aa","executable_sha256":"sha256:2f46a2574203d166a877b813bae4d3af9955a5a268c9332f492f64f7514dc8a0","go_tool_sha256":"sha256:132b69336a1f809932a8a20b0201dbbb980e86e3a323ae32e893639d83d71598","go_tool_selection":"toolchain_cache","go_version":"go version go1.27.1 darwin/arm64","producer_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261008023656-3579b869b602"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":8329750,"user_ns":3601000,"system_ns":3038000,"peak_rss_bytes":14499840,"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":101067333,"user_ns":111912000,"system_ns":99429000,"peak_rss_bytes":86032384,"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":182570583,"user_ns":2828000,"system_ns":5412000,"peak_rss_bytes":4997120,"stdout_sha256":"sha256:c8bc1a45a755da8ea25c008f7bdcf0b7956cd5ca1bccd3a7b1bf172dbbc24dd3","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":4939500,"user_ns":1896000,"system_ns":1737000,"peak_rss_bytes":4898816,"stdout_sha256":"sha256:c8bc1a45a755da8ea25c008f7bdcf0b7956cd5ca1bccd3a7b1bf172dbbc24dd3","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"fit://activity/build","input":0,"actual":1,"expected":1,"passed":true}]},{"case_index":1,"deliveries":[{"activity_id":"fit://activity/build","input":11,"actual":540,"expected":540,"passed":true}]},{"case_index":2,"deliveries":[{"activity_id":"fit://activity/build","input":-2,"actual":7,"expected":7,"passed":true}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":3,"finite_total":3,"input_separation":{"status":"PASS","reason":"DISJOINT_EXPECTATIONS_MATCHED","unique_inputs":3,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":3,"disjoint_cases_passed":3,"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":318834583,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"scope":"Gooo policy controls retained round, bounded source-budget revisions and promotion of explicit root-input counterexamples into source cases; feedback is adaptive, not held-out evidence; final evaluation is never sent to the policy; model-training exposure is unknown; search policy can advance through source-declared grammar/candidate-bound alternatives without revisiting a grammar/bound pair"}