{"schema":"gooo/workspace-body-execution-receipt/v1","decision":"PROGRESS","manifest":"examples/called-body-construction/gooo.workspace.json","manifest_digest":"sha256:b7774605be0fd962176b0f7e034e781d7e3788b870ee1532422550def380cceb","cases_digest":"sha256:de7ca1d0470d01cb59cb43ea2bf5949e7521fd295515f9236ecc62f250b211f9","result":{"schema":"gooo/workspace-body-execution/v1","program":{"schema":"gooo/workspace-body-program/v1","workspace_image":{"schema":"gooo/package-runtime-image/v1","init_order":["tools/rules","tools/diagnostics","app/explain"],"packages":[{"path":"tools/rules","name":"rules","namespace":"rules","imports":null,"exports":[{"name":"BelowTotal","kind":"activity","input_types":["gooo://diagnostics/integer","gooo://diagnostics/integer"],"output_type":"gooo://diagnostics/boolean"},{"name":"IsPartial","kind":"activity","input_types":["gooo://diagnostics/integer","gooo://diagnostics/integer"],"output_type":"gooo://diagnostics/boolean"},{"name":"Boolean","kind":"entity","id":"gooo://diagnostics/boolean"},{"name":"Integer","kind":"entity","id":"gooo://diagnostics/integer"}],"sources":[{"filename":"rules.gooo.fixture","source_digest":"sha256:ba801ca29e6a71dba27ac85260859bc1b198421052c737b166294f7669cf38c9","semantic_digest":"sha256:3071c57540860e537fd916fa13ca2d3b21ab05e5fe65ccac2080c0cd34b01318","declarations":4}],"declarations":4,"semantic_digest":"sha256:970af49580f0ccac9691cb180466b6c3af6a314e2a3e16d6da871ef858ed35bf"},{"path":"tools/diagnostics","name":"diagnostics","namespace":"diagnostics","imports":["tools/rules"],"exports":[{"name":"Diagnose","kind":"activity","input_types":["gooo://diagnostics/integer","gooo://diagnostics/integer","gooo://diagnostics/integer","gooo://diagnostics/text"],"output_type":"gooo://diagnostics/diagnostic"},{"name":"Diagnostic","kind":"entity","id":"gooo://diagnostics/diagnostic"},{"name":"Integer","kind":"entity","id":"gooo://diagnostics/integer"},{"name":"Text","kind":"entity","id":"gooo://diagnostics/text"}],"sources":[{"filename":"diagnostics.gooo.fixture","source_digest":"sha256:18878a9e788258d043d96666c0573213c9020f23ec91a0c5b5330a51b938fd97","semantic_digest":"sha256:c8e4a1d8c5850390b3af3dcad8968e390f4e0abcf14260b72f5757f805009f2c","declarations":4}],"declarations":4,"semantic_digest":"sha256:d0aea7b2c24ba5530668d47060f5c26ed71a518dc2ac8378cfbede9f37b5ec8c"},{"path":"app/explain","name":"app","namespace":"app","imports":["tools/diagnostics"],"exports":[{"name":"Main","kind":"activity","input_types":["gooo://diagnostics/integer","gooo://diagnostics/integer","gooo://diagnostics/integer","gooo://diagnostics/text"],"output_type":"gooo://diagnostics/text"}],"sources":[{"filename":"app.gooo.fixture","source_digest":"sha256:37a1894eaffd303111efa6e62904b80d7cfc1330ce19f6d7e081766abc5d7bdf","semantic_digest":"sha256:3ce5e2018872b28a9cf2688b2a2a623d5478c40f094e5fa9c68596384d815c6e","declarations":1}],"declarations":1,"semantic_digest":"sha256:85848ecccca9933899c175a8979c0261aa00b59ccb438b9a811dca07ddbaf845"}],"entry":{"package_path":"app/explain","source":"app.gooo.fixture","activity":"Main","inputs":["Integer","Integer","Integer","Text"],"output":"Text"},"digest":"sha256:b8e330f72472cd8f32bcf2d12e2033042d380b3afd97bda92a0218e61f57f411"},"entry":{"package_path":"app/explain","activity":"Main","lowered_name":"GoooPackage3ActivityMain"},"activities":[{"package_path":"app/explain","activity":"Main","lowered_name":"GoooPackage3ActivityMain"}],"lowered_gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"gooo://diagnostics/integer\"\nentity Boolean id \"gooo://diagnostics/boolean\"\nentity Text id \"gooo://diagnostics/text\"\nentity Diagnostic id \"gooo://diagnostics/diagnostic\" fields {\n    field code id \"gooo://diagnostics/code\" type string required one\n    field message id \"gooo://diagnostics/message\" type string required one\n    field action id \"gooo://diagnostics/action\" type string required one\n}\nactivity GoooPackage0ActivityBelowTotal(Integer, Integer) -> Boolean computes \"return input0 >= 0 && input0 < input1\"\nactivity GoooPackage1ActivityIsPartial(Integer, Integer) -> Boolean computes \"return input1 > 0 && GoooPackage0ActivityBelowTotal(input0, input1)\"\nactivity GoooPackage2ActivityDiagnose(Integer, Integer, Integer, Text) -> Diagnostic computes \"let action = \\\"expand-examples\\\"\\nif input2 > 0 { action = \\\"repair-and-replay\\\" }\\nif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\\n    return Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: action}\\n}\\nif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\\n    action = \\\"fix-counts\\\"\\n    return Diagnostic{code: \\\"invalid-counts\\\", message: input3, action: action}\\n}\\nif input1 == 0 {\\n    return Diagnostic{code: \\\"unobserved\\\", message: \\\"Add expected observations.\\\", action: \\\"add-examples\\\"}\\n}\\nreturn Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: \\\"accept\\\"}\" assembling {\n    choice \"code\" field_value at \"0\" alternative \"\\\"partial\\\"\" intent \"부분 충족이면 partial 코드로 표시한다. Use partial for incomplete observations.\"\n    choice \"message\" field_value at \"1\" alternative \"input3\" intent \"실제 남은 부분을 입력의 진단 문장으로 전달한다. Keep the supplied diagnostic detail.\"\n    choice \"action\" field_value at \"2\" alternative \"\\\"accept\\\"\" intent \"현재 action 변수에 계산한 다음 작업을 유지한다. Keep the current action variable.\"\n    value_case \"[12,15,1,\\\"type-rejected candidate retained\\\"]\" -> \"{\\\"action\\\":\\\"repair-and-replay\\\",\\\"code\\\":\\\"partial\\\",\\\"message\\\":\\\"type-rejected candidate retained\\\"}\"\n    value_case \"[2,4,0,\\\"사유 필드가 남았습니다\\\"]\" -> \"{\\\"action\\\":\\\"expand-examples\\\",\\\"code\\\":\\\"partial\\\",\\\"message\\\":\\\"사유 필드가 남았습니다\\\"}\"\n    value_case \"[4,4,0,\\\"\\\"]\" -> \"{\\\"action\\\":\\\"accept\\\",\\\"code\\\":\\\"complete\\\",\\\"message\\\":\\\"All observed fields matched.\\\"}\"\n    value_case \"[0,0,0,\\\"\\\"]\" -> \"{\\\"action\\\":\\\"add-examples\\\",\\\"code\\\":\\\"unobserved\\\",\\\"message\\\":\\\"Add expected observations.\\\"}\"\n    value_case \"[5,4,0,\\\"passed exceeds total\\\"]\" -> \"{\\\"action\\\":\\\"fix-counts\\\",\\\"code\\\":\\\"invalid-counts\\\",\\\"message\\\":\\\"passed exceeds total\\\"}\"\n    attempts \"8\"\n}\nactivity GoooPackage3ActivityMain(Integer, Integer, Integer, Text) -> Text computes \"let diagnostic = GoooPackage2ActivityDiagnose(input0, input1, input2, input3)\\nreturn diagnostic.code + \\\": \\\" + diagnostic.message + \\\" [\\\" + diagnostic.action + \\\"]\\\"\"\n","scope":"entry and explicit bind producers with source-resolved pure activity calls; original package identities map to lowered names; finite native observations","pure_calls":{"schema":"gooo/workspace-pure-calls/v1","activities":[{"activity":{"package_path":"app/explain","activity":"Main","lowered_name":"GoooPackage3ActivityMain"},"activity_id":"app://activity/main","lowered_activity_id":"gooo-workspace://activity/gooo-package3activity-main","source":"app.gooo.fixture","source_body_sha256":"sha256:795dc2ca5a647bd6fa9c5e8ef2c6d61f38c3c08e7a7b03185ba5799037163e33"},{"activity":{"package_path":"tools/diagnostics","activity":"Diagnose","lowered_name":"GoooPackage2ActivityDiagnose"},"activity_id":"diagnostics://activity/diagnose","lowered_activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","source":"diagnostics.gooo.fixture","source_body_sha256":"sha256:24bed0fe379bf92e5442acc716e58bbbb8e409ec0d0332bd8d8eca52768d7220"},{"activity":{"package_path":"tools/rules","activity":"BelowTotal","lowered_name":"GoooPackage0ActivityBelowTotal"},"activity_id":"rules://activity/below-total","lowered_activity_id":"gooo-workspace://activity/gooo-package0activity-below-total","source":"rules.gooo.fixture","source_body_sha256":"sha256:d2e5c15ffcc9ccc317c5f4e3f201fe2c3e8168c64ea7b04afb25ef9f16edac0f"},{"activity":{"package_path":"tools/rules","activity":"IsPartial","lowered_name":"GoooPackage1ActivityIsPartial"},"activity_id":"rules://activity/is-partial","lowered_activity_id":"gooo-workspace://activity/gooo-package1activity-is-partial","source":"rules.gooo.fixture","source_body_sha256":"sha256:2239e6438c63bf46cca8714f90c61576ce27b5b65fb709c389375f4b1e3fbd9b"}],"sites":[{"caller":"app/explain:Main","callee":"tools/diagnostics:Diagnose","surface":"computes","start_byte":17,"end_byte":37},{"caller":"tools/diagnostics:Diagnose","callee":"tools/rules:IsPartial","surface":"computes","start_byte":81,"end_byte":96},{"caller":"tools/rules:IsPartial","callee":"tools/rules:BelowTotal","surface":"computes","start_byte":21,"end_byte":31}]}},"execution_source_sha256":"sha256:a5ed135651cc723fa6ef53efc6ef9a7518da898dd9251aa59bc89f868d46e2a4","composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:a5ed135651cc723fa6ef53efc6ef9a7518da898dd9251aa59bc89f868d46e2a4","selected_source_sha256":"sha256:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","generated_sha256":"sha256:8456e21bd5b63087b48452f6ae7d8d7d044533599dc964761942cceeb20b4d37","driver_sha256":"sha256:a947fa76c08a3e0688fb4316d50012d01e735b5cd9b6c458db8ffe372072e760","plan":{"schema":"gooo/body-composition-plan/v1","entry_activity":"GoooPackage3ActivityMain","typed_plan_sha256":"sha256:ab1dd39218d5e18aacad17215a2319230a703d3e4579c5bb933d3c773b056997","semantic_fingerprint":"a57e6236cde32dc94b651a2d90cbe4521af95afe95fd13385deda92c473f034d","activities":[{"name":"GoooPackage3ActivityMain","id":"gooo-workspace://activity/gooo-package3activity-main","input_type":"Integer","output_type":"Text","input_entity_id":"gooo://diagnostics/integer","output_entity_id":"gooo://diagnostics/text","go_function":"GoooComposedActivity0","input_from":-1,"assembling":false,"inputs":[{"port":"input0","type":"Integer","entity_id":"gooo://diagnostics/integer","from":-1},{"port":"input1","type":"Integer","entity_id":"gooo://diagnostics/integer","from":-1},{"port":"input2","type":"Integer","entity_id":"gooo://diagnostics/integer","from":-1},{"port":"input3","type":"Text","entity_id":"gooo://diagnostics/text","from":-1}]}],"edges":[],"record_types":[{"name":"Diagnostic","id":"gooo://diagnostics/diagnostic","go_name":"GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568","fields":[{"name":"code","id":"gooo://diagnostics/code","type_id":"urn:gooo:type:string","go_name":"GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa"},{"name":"message","id":"gooo://diagnostics/message","type_id":"urn:gooo:type:string","go_name":"GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023"},{"name":"action","id":"gooo://diagnostics/action","type_id":"urn:gooo:type:string","go_name":"GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135"}]}],"preparations":[{"name":"GoooPackage2ActivityDiagnose","id":"gooo-workspace://activity/gooo-package2activity-diagnose"}]},"steps":[{"input_source_sha256":"sha256:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"GoooPackage3ActivityMain","activity_id":"gooo-workspace://activity/gooo-package3activity-main","input_type":"(int64,int64,int64,string)","input_parameters":[{"name":"input0","type":"int64"},{"name":"input1","type":"int64"},{"name":"input2","type":"int64"},{"name":"input3","type":"string"}],"record_types":[{"name":"Diagnostic","id":"gooo://diagnostics/diagnostic","go_name":"GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568","fields":[{"name":"code","id":"gooo://diagnostics/code","type_id":"urn:gooo:type:string","go_name":"GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa"},{"name":"message","id":"gooo://diagnostics/message","type_id":"urn:gooo:type:string","go_name":"GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023"},{"name":"action","id":"gooo://diagnostics/action","type_id":"urn:gooo:type:string","go_name":"GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135"}]}],"output_type":"string","plan_sha256":"sha256:42818732d90ca1ccb2970ea79612ffa84c89290897cc29281f3b0dc6b22e9a42","compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","source_digest":"sha256:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","program_digest":"sha256:4f85073058688a08b0ac83c35c1471e177283db1867e1ee5552a9de9f4710958","generated_digest":"sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","replay_digest":"sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","route":"preserve","route_decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"preserve","fallback_reason":"NO_ALTERNATIVE_ROUTE","provider":"deterministic","request_sha256":""},"route_selection":{"method":"single_eligible_route","proposed_route":"preserve","final_route":"preserve"},"route_decision_latency_ms":0,"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage0ActivityBelowTotal","activity_id":"gooo-workspace://activity/gooo-package0activity-below-total","program_sha256":"sha256:d2e5c15ffcc9ccc317c5f4e3f201fe2c3e8168c64ea7b04afb25ef9f16edac0f"},{"name":"GoooPackage1ActivityIsPartial","activity_id":"gooo-workspace://activity/gooo-package1activity-is-partial","program_sha256":"sha256:6c9299e394b26ee41661186d6f7517b516902664f87f5ccad864a6fc835a9f1a"},{"name":"GoooPackage2ActivityDiagnose","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","program_sha256":"sha256:fcdfd1b1d396df45065f8c14ceb331fa7c39d50061b381286c9f782c013d9331"}],"edges":[{"caller_id":"gooo-workspace://activity/gooo-package1activity-is-partial","callee_id":"gooo-workspace://activity/gooo-package0activity-below-total","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package2activity-diagnose","callee_id":"gooo-workspace://activity/gooo-package1activity-is-partial","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package3activity-main","callee_id":"gooo-workspace://activity/gooo-package2activity-diagnose","ordinal":0}],"max_calls_per_invocation":3},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":15,"lowered_constructs":15,"source_semantic_units":136,"lowered_semantic_units":136,"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:fa0b92f7ded39d264814a32a098f92daa3a9d280e445252828964d5987c676a2","generated_semantic_digest":"sha256:fa0b92f7ded39d264814a32a098f92daa3a9d280e445252828964d5987c676a2","equivalent":true,"scope":"typechecked, terminating, side-effect-free body-codegen profile; not a proof of unstated user intent"},"typecheck_passed":true,"deterministic_replay":true,"repository_writes":0,"unsupported_constructs":"recursive, indirect, external and assembling-callee calls; loops, imports, external effects, optional-field synthesis and repeated record fields","completeness_receipt":{"schema":"gooo/metaprogramming-completeness-receipt/v2","profile_id":"gooo/body-codegen-pure-v1","decision":"PASS_WITHIN_DECLARED_FIXTURE_SCOPE","decision_basis":"declaration, generation, source-unit coverage, route equivalence, typecheck, replay, route protocol, provenance, and zero repository writes define the scoped code-generation core; body-fill additionally requires declared-suite functional accuracy; UNKNOWN dimensions remain explicit and are never aggregated","scope":{"allowed_investment":"compiler-controlled lowering and optional Laya selection only among prevalidated equivalent routes; no human approval or authorization is required","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage0ActivityBelowTotal","activity_id":"gooo-workspace://activity/gooo-package0activity-below-total","program_sha256":"sha256:d2e5c15ffcc9ccc317c5f4e3f201fe2c3e8168c64ea7b04afb25ef9f16edac0f"},{"name":"GoooPackage1ActivityIsPartial","activity_id":"gooo-workspace://activity/gooo-package1activity-is-partial","program_sha256":"sha256:6c9299e394b26ee41661186d6f7517b516902664f87f5ccad864a6fc835a9f1a"},{"name":"GoooPackage2ActivityDiagnose","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","program_sha256":"sha256:fcdfd1b1d396df45065f8c14ceb331fa7c39d50061b381286c9f782c013d9331"}],"edges":[{"caller_id":"gooo-workspace://activity/gooo-package1activity-is-partial","callee_id":"gooo-workspace://activity/gooo-package0activity-below-total","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package2activity-diagnose","callee_id":"gooo-workspace://activity/gooo-package1activity-is-partial","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package3activity-main","callee_id":"gooo-workspace://activity/gooo-package2activity-diagnose","ordinal":0}],"max_calls_per_invocation":3},"compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity with source-declared fixed callees; bounded acyclic call closure","excluded_scope":["unstated natural-language intent","independently sourced production workflows","generated runtime behavior","unrestricted Gooo body syntax","route clarity or utility"],"execution_environment":"darwin/arm64","input_type":"(int64,int64,int64,string)","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"string","plan_sha256":"sha256:42818732d90ca1ccb2970ea79612ffa84c89290897cc29281f3b0dc6b22e9a42","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":"Diagnostic","id":"gooo://diagnostics/diagnostic","go_name":"GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568","fields":[{"name":"code","id":"gooo://diagnostics/code","type_id":"urn:gooo:type:string","go_name":"GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa"},{"name":"message","id":"gooo://diagnostics/message","type_id":"urn:gooo:type:string","go_name":"GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023"},{"name":"action","id":"gooo://diagnostics/action","type_id":"urn:gooo:type:string","go_name":"GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135"}]}],"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:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","activity_id:gooo-workspace://activity/gooo-package3activity-main"]},{"id":"generation_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"generated Go functions","reason":"Measures whether this accepted activity produced a digest-bound Go projection.","evidence":["generated_digest:sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":136,"denominator":136,"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:fa0b92f7ded39d264814a32a098f92daa3a9d280e445252828964d5987c676a2","generated_semantic_digest:sha256:fa0b92f7ded39d264814a32a098f92daa3a9d280e445252828964d5987c676a2"]},{"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:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","replay_digest:sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314"]},{"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:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","program_digest:sha256:4f85073058688a08b0ac83c35c1471e177283db1867e1ee5552a9de9f4710958","generated_digest:sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","replay_digest:sha256:e76295bee617f26dc4bb548cca62cdacdd1b64fdeeb74228e0a9b146eefb9314","activity_id:gooo-workspace://activity/gooo-package3activity-main","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 gooo_workspace\n\n//gooo:generated:start id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\ntype GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 struct {\n\tGoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa string `json:\"code\"`\n\tGoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023 string `json:\"message\"`\n\tGoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135 string `json:\"action\"`\n}\n\n//gooo:generated:end id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package3activity-main\" kind=\"activity\"\nfunc GoooPackage3ActivityMain(input0 int64, input1 int64, input2 int64, input3 string) string {\n\tvar diagnostic = GoooPackage2ActivityDiagnose(input0, input1, input2, input3)\n\treturn diagnostic.GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa + \": \" + diagnostic.GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023 + \" [\" + diagnostic.GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135 + \"]\"\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package3activity-main\" kind=\"activity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package0activity-below-total\" kind=\"activity\"\nfunc GoooPackage0ActivityBelowTotal(input0 int64, input1 int64) bool {\n\treturn input0 >= 0 && input0 < input1\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package0activity-below-total\" kind=\"activity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package1activity-is-partial\" kind=\"activity\"\nfunc GoooPackage1ActivityIsPartial(input0 int64, input1 int64) bool {\n\treturn input1 > 0 && GoooPackage0ActivityBelowTotal(input0, input1)\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package1activity-is-partial\" kind=\"activity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package2activity-diagnose\" kind=\"activity\"\nfunc GoooPackage2ActivityDiagnose(input0 int64, input1 int64, input2 int64, input3 string) GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 {\n\tvar action = \"expand-examples\"\n\tif input2 > 0 {\n\t\taction = \"repair-and-replay\"\n\t}\n\tif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: (\"partial\"), GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: (input3), GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: (\"accept\")}\n\t}\n\tif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\n\t\taction = \"fix-counts\"\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"invalid-counts\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: input3, GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: action}\n\t}\n\tif input1 == 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"unobserved\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"Add expected observations.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"add-examples\"}\n\t}\n\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"complete\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"All observed fields matched.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"accept\"}\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package2activity-diagnose\" kind=\"activity\"\n"}}],"preparations":[{"input_source_sha256":"sha256:a5ed135651cc723fa6ef53efc6ef9a7518da898dd9251aa59bc89f868d46e2a4","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"GoooPackage2ActivityDiagnose","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","input_type":"(int64,int64,int64,string)","input_parameters":[{"name":"input0","type":"int64"},{"name":"input1","type":"int64"},{"name":"input2","type":"int64"},{"name":"input3","type":"string"}],"record_types":[{"name":"Diagnostic","id":"gooo://diagnostics/diagnostic","go_name":"GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568","fields":[{"name":"code","id":"gooo://diagnostics/code","type_id":"urn:gooo:type:string","go_name":"GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa"},{"name":"message","id":"gooo://diagnostics/message","type_id":"urn:gooo:type:string","go_name":"GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023"},{"name":"action","id":"gooo://diagnostics/action","type_id":"urn:gooo:type:string","go_name":"GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135"}]}],"output_type":"Diagnostic","plan_sha256":"sha256:e68c65741ada2acfb99480ccbbcd092da876a0c4d1e5f30a2daccc13732c31c0","compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","source_digest":"sha256:923cc084896daa4e380688aa5fb7e547e667e8dbcc0a8a7ec9b164894f339685","program_digest":"sha256:fcdfd1b1d396df45065f8c14ceb331fa7c39d50061b381286c9f782c013d9331","generated_digest":"sha256:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","replay_digest":"sha256:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","route":"preserve","route_decision":{"schema":"gooo/typed-decision-receipt/v1","mode":"deterministic_fallback","selected":"preserve","fallback_reason":"NO_ALTERNATIVE_ROUTE","provider":"deterministic","request_sha256":""},"route_selection":{"method":"single_eligible_route","proposed_route":"preserve","final_route":"preserve"},"route_decision_latency_ms":0,"record_assembly":{"schema":"gooo/record-field-assembly/v1","original_source_sha256":"sha256:a5ed135651cc723fa6ef53efc6ef9a7518da898dd9251aa59bc89f868d46e2a4","selected_source_sha256":"sha256:923cc084896daa4e380688aa5fb7e547e667e8dbcc0a8a7ec9b164894f339685","contract_sha256":"sha256:e58982d9c9235e882b643420a1c01795f2b4cb972161f4df7e5dcae78383c29e","test_suite_sha256":"sha256:6ce707dc8e6e58f53b2fbe4650f36cfbed1099533f741fcada970202090e7847","selected_mask":7,"attempt_budget":8,"choices":[{"id":"code","record_id":"gooo://diagnostics/diagnostic","field_id":"gooo://diagnostics/code","field":"code","occurrence":0,"intent":"부분 충족이면 partial 코드로 표시한다. Use partial for incomplete observations.","first":"\"complete\"","second":"\"partial\"","picked":"value_second"},{"id":"message","record_id":"gooo://diagnostics/diagnostic","field_id":"gooo://diagnostics/message","field":"message","occurrence":1,"intent":"실제 남은 부분을 입력의 진단 문장으로 전달한다. Keep the supplied diagnostic detail.","first":"\"All observed fields matched.\"","second":"input3","picked":"value_second"},{"id":"action","record_id":"gooo://diagnostics/diagnostic","field_id":"gooo://diagnostics/action","field":"action","occurrence":2,"intent":"현재 action 변수에 계산한 다음 작업을 유지한다. Keep the current action variable.","first":"action","second":"\"accept\"","picked":"value_second"}],"attempts":[{"mask":7,"passed":3,"total":5,"fields_passed":13,"fields_total":15}],"cases":[{"inputs":[12,15,1,"type-rejected candidate retained"],"expected":{"action":"repair-and-replay","code":"partial","message":"type-rejected candidate retained"},"actual":{"action":"accept","code":"partial","message":"type-rejected candidate retained"},"passed":false,"fields":[{"id":"gooo://diagnostics/code","name":"code","expected":"partial","actual":"partial","passed":true},{"id":"gooo://diagnostics/message","name":"message","expected":"type-rejected candidate retained","actual":"type-rejected candidate retained","passed":true},{"id":"gooo://diagnostics/action","name":"action","expected":"repair-and-replay","actual":"accept","passed":false}]},{"inputs":[2,4,0,"사유 필드가 남았습니다"],"expected":{"action":"expand-examples","code":"partial","message":"사유 필드가 남았습니다"},"actual":{"action":"accept","code":"partial","message":"사유 필드가 남았습니다"},"passed":false,"fields":[{"id":"gooo://diagnostics/code","name":"code","expected":"partial","actual":"partial","passed":true},{"id":"gooo://diagnostics/message","name":"message","expected":"사유 필드가 남았습니다","actual":"사유 필드가 남았습니다","passed":true},{"id":"gooo://diagnostics/action","name":"action","expected":"expand-examples","actual":"accept","passed":false}]},{"inputs":[4,4,0,""],"expected":{"action":"accept","code":"complete","message":"All observed fields matched."},"actual":{"action":"accept","code":"complete","message":"All observed fields matched."},"passed":true,"fields":[{"id":"gooo://diagnostics/code","name":"code","expected":"complete","actual":"complete","passed":true},{"id":"gooo://diagnostics/message","name":"message","expected":"All observed fields matched.","actual":"All observed fields matched.","passed":true},{"id":"gooo://diagnostics/action","name":"action","expected":"accept","actual":"accept","passed":true}]},{"inputs":[0,0,0,""],"expected":{"action":"add-examples","code":"unobserved","message":"Add expected observations."},"actual":{"action":"add-examples","code":"unobserved","message":"Add expected observations."},"passed":true,"fields":[{"id":"gooo://diagnostics/code","name":"code","expected":"unobserved","actual":"unobserved","passed":true},{"id":"gooo://diagnostics/message","name":"message","expected":"Add expected observations.","actual":"Add expected observations.","passed":true},{"id":"gooo://diagnostics/action","name":"action","expected":"add-examples","actual":"add-examples","passed":true}]},{"inputs":[5,4,0,"passed exceeds total"],"expected":{"action":"fix-counts","code":"invalid-counts","message":"passed exceeds total"},"actual":{"action":"fix-counts","code":"invalid-counts","message":"passed exceeds total"},"passed":true,"fields":[{"id":"gooo://diagnostics/code","name":"code","expected":"invalid-counts","actual":"invalid-counts","passed":true},{"id":"gooo://diagnostics/message","name":"message","expected":"passed exceeds total","actual":"passed exceeds total","passed":true},{"id":"gooo://diagnostics/action","name":"action","expected":"fix-counts","actual":"fix-counts","passed":true}]}],"passed":3,"total":5,"fields_passed":13,"fields_total":15,"status":"PARTIAL_FINITE","model_requested":true,"model_calls":1,"predict_ns":27208,"model":{"schema":"gooo/retained-path-model/v1","loaded":true,"metadata_sha256":"f95925a277c45957722bc116213c61bee997cc07a94adae738a05d218d660059","weights_sha256":"049081cc6dc62f3c4230f72e601c1fd421c514fce9cfdf7bc1eb412ca4c5514b","resident_tensor_bytes":2096,"setup_ms":0.497042,"scope":"one constructor load; excluded from request timing; fresh source and plan each request","model_schema":"gooo/tiny-shared-three-choice-path-model/v1","feature_version":"triple_record_field_context_v1_shared_v1","arithmetic_version":"float32_separate_v1"},"model_context":{"schema":"gooo/record-field-expression-context/v1","status":"ENCODED","text":"gooo;joint3|166:{\"field\":\"code\",\"first\":\"\\\"complete\\\"\",\"second\":\"\\\"partial\\\"\",\"intent\":\"부분 충족이면 partial 코드로 표시한다. Use partial for incomplete observations.\"}196:{\"field\":\"message\",\"first\":\"\\\"All observed fields matched.\\\"\",\"second\":\"input3\",\"intent\":\"실제 남은 부분을 입력의 진단 문장으로 전달한다. Keep the supplied diagnostic detail.\"}167:{\"field\":\"action\",\"first\":\"action\",\"second\":\"\\\"accept\\\"\",\"intent\":\"현재 action 변수에 계산한 다음 작업을 유지한다. Keep the current action variable.\"}","sha256":"sha256:f5d522c1f197be60bf02b8a5de67b53de52ee7faf52a7232de87036122916869","parts":["{\"field\":\"code\",\"first\":\"\\\"complete\\\"\",\"second\":\"\\\"partial\\\"\",\"intent\":\"부분 충족이면 partial 코드로 표시한다. Use partial for incomplete observations.\"}","{\"field\":\"message\",\"first\":\"\\\"All observed fields matched.\\\"\",\"second\":\"input3\",\"intent\":\"실제 남은 부분을 입력의 진단 문장으로 전달한다. Keep the supplied diagnostic detail.\"}","{\"field\":\"action\",\"first\":\"action\",\"second\":\"\\\"accept\\\"\",\"intent\":\"현재 action 변수에 계산한 다음 작업을 유지한다. Keep the current action variable.\"}"],"feature_version":"triple_record_field_context_v1_shared_v1","scope":"complete source-bound field names, ordered expressions and intent; actual string-field structural features; cases and expected outputs excluded"},"prediction":{"logits":[-7.9075737,-1.2027688,-2.801236,3.9035697,-3.9035697,2.801236,1.2027688,7.9075737],"probabilities":[1.832215e-14,1.2209446e-8,4.9921206e-10,0.00033266356,5.5056692e-11,0.000036688525,0.0000015000971,0.99962914],"proposed_mask":7},"ranking":[7,3,5,6,1,2,4,0],"generation_ns":8254250,"scope":"source-declared record field alternatives; finite case and field coverage; candidate interpretation followed by ordinary typed Go emission; no model updates","control":{"schema":"gooo/record-assembly-control/v1","policy":{"source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\nentity Boolean id \"gooo://tools/boolean\"\nactivity GoooPackage1ActivityCheckpoint(AssemblyObservation) -> Explanation computes \"return Explanation{state: \\\"PROGRESS\\\", next_operation: \\\"USE_OBSERVED_CANDIDATE\\\", message: \\\"첫 후보를 기록합니다.\\\"}\"\n","activity":"GoooPackage1ActivityCheckpoint"},"source_sha256":"sha256:f826265364f08e2eee078698b5cc317a0bf833a52b86f0d0e32c947dfa73cb87","generated_sha256":"sha256:ebba9c132c8bc5d3445478d3dd628869c8d1d12b6cefa458e7aa5a36d385ad94","activity_id":"gooo-workspace://activity/gooo-package1activity-checkpoint","decisions":[{"attempt_index":0,"mask":7,"input":{"matched":3,"total":5,"best":3,"scored":1,"budget":8},"state":"PROGRESS","next_operation":"USE_OBSERVED_CANDIDATE","message":"첫 후보를 기록합니다.","continue":false}]}},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage0ActivityBelowTotal","activity_id":"gooo-workspace://activity/gooo-package0activity-below-total","program_sha256":"sha256:d2e5c15ffcc9ccc317c5f4e3f201fe2c3e8168c64ea7b04afb25ef9f16edac0f"},{"name":"GoooPackage1ActivityIsPartial","activity_id":"gooo-workspace://activity/gooo-package1activity-is-partial","program_sha256":"sha256:6c9299e394b26ee41661186d6f7517b516902664f87f5ccad864a6fc835a9f1a"}],"edges":[{"caller_id":"gooo-workspace://activity/gooo-package1activity-is-partial","callee_id":"gooo-workspace://activity/gooo-package0activity-below-total","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package2activity-diagnose","callee_id":"gooo-workspace://activity/gooo-package1activity-is-partial","ordinal":0}],"max_calls_per_invocation":2},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":13,"lowered_constructs":13,"source_semantic_units":110,"lowered_semantic_units":110,"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:2bbb4e54b0450a4f0785526a845ff4c21e3b4e8ce594b7df0e1a96ff5339befd","generated_semantic_digest":"sha256:2bbb4e54b0450a4f0785526a845ff4c21e3b4e8ce594b7df0e1a96ff5339befd","equivalent":true,"scope":"typechecked, terminating, side-effect-free body-codegen profile; not a proof of unstated user intent"},"typecheck_passed":true,"deterministic_replay":true,"repository_writes":0,"unsupported_constructs":"recursive, indirect, external and assembling-callee calls; loops, imports, external effects, optional-field synthesis and repeated record fields","completeness_receipt":{"schema":"gooo/metaprogramming-completeness-receipt/v2","profile_id":"gooo/body-codegen-pure-v1","decision":"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":"source-bound record field expressions, optional local ordinal ranking, and finite field observations within the source budget","boundary":{"excluded_effects":["generated code execution","repository mutation","external authority"],"non_authorizing":true,"non_executing":true},"call_closure":{"schema":"gooo/pure-activity-call-closure/v1","activities":[{"name":"GoooPackage0ActivityBelowTotal","activity_id":"gooo-workspace://activity/gooo-package0activity-below-total","program_sha256":"sha256:d2e5c15ffcc9ccc317c5f4e3f201fe2c3e8168c64ea7b04afb25ef9f16edac0f"},{"name":"GoooPackage1ActivityIsPartial","activity_id":"gooo-workspace://activity/gooo-package1activity-is-partial","program_sha256":"sha256:6c9299e394b26ee41661186d6f7517b516902664f87f5ccad864a6fc835a9f1a"}],"edges":[{"caller_id":"gooo-workspace://activity/gooo-package1activity-is-partial","callee_id":"gooo-workspace://activity/gooo-package0activity-below-total","ordinal":0},{"caller_id":"gooo-workspace://activity/gooo-package2activity-diagnose","callee_id":"gooo-workspace://activity/gooo-package1activity-is-partial","ordinal":0}],"max_calls_per_invocation":2},"compiler_source_sha":"3579b869b6025e34db87d9a283b6aabf54c39eb3","decision_mode":"local_shared_field_prediction_then_finite_tdd","decision_provider":"tiny_go","domain_scope":"one pure typed Gooo activity with source-declared fixed callees; bounded acyclic call closure","excluded_scope":["unstated natural-language intent","independently sourced production workflows","generated runtime behavior","unrestricted Gooo body syntax","route clarity or utility"],"execution_environment":"darwin/arm64","input_type":"(int64,int64,int64,string)","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Diagnostic","plan_sha256":"sha256:e68c65741ada2acfb99480ccbbcd092da876a0c4d1e5f30a2daccc13732c31c0","receipt_declaration":{"declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","generated_declaration_sha256":"c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile":"gooo/receipt-structure-projection/v1","schema":"gooo/metaprogramming-completeness-receipt/v2"},"record_assembly":{"contract_sha256":"sha256:e58982d9c9235e882b643420a1c01795f2b4cb972161f4df7e5dcae78383c29e","external_provider_calls":0,"fields_passed":13,"fields_total":15,"finite_passed":3,"finite_total":5,"local_model_predictions":1,"observation_sha256":"sha256:72f3dfc80bb09fe37a49e134e01cb6c12df449207a1ed9a6f24cf01edc5b37ac","schema":"gooo/record-field-assembly/v1","test_suite_sha256":"sha256:6ce707dc8e6e58f53b2fbe4650f36cfbed1099533f741fcada970202090e7847"},"record_types":[{"name":"Diagnostic","id":"gooo://diagnostics/diagnostic","go_name":"GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568","fields":[{"name":"code","id":"gooo://diagnostics/code","type_id":"urn:gooo:type:string","go_name":"GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa"},{"name":"message","id":"gooo://diagnostics/message","type_id":"urn:gooo:type:string","go_name":"GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023"},{"name":"action","id":"gooo://diagnostics/action","type_id":"urn:gooo:type:string","go_name":"GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135"}]}],"system_budget":{"maximum_human_actions":0,"maximum_repository_writes":0},"toolchain":"go1.27.1"},"core_dimensions":["declaration_coverage","declared_record_case_accuracy","declared_record_field_accuracy","generation_coverage","internal_replay_coverage","provenance_integrity","receipt_schema_binding","repository_write_boundary","route_choice_protocol","route_semantic_equivalence","source_ast_coverage","typecheck_coverage"],"dimensions":[{"id":"declaration_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"stable activity declarations","reason":"Counts the requested activity only when it resolves to a stable semantic ID.","evidence":["source_digest:sha256:923cc084896daa4e380688aa5fb7e547e667e8dbcc0a8a7ec9b164894f339685","activity_id:gooo-workspace://activity/gooo-package2activity-diagnose"]},{"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:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":110,"denominator":110,"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:2bbb4e54b0450a4f0785526a845ff4c21e3b4e8ce594b7df0e1a96ff5339befd","generated_semantic_digest:sha256:2bbb4e54b0450a4f0785526a845ff4c21e3b4e8ce594b7df0e1a96ff5339befd"]},{"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:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","replay_digest:sha256:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29"]},{"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:923cc084896daa4e380688aa5fb7e547e667e8dbcc0a8a7ec9b164894f339685","program_digest:sha256:fcdfd1b1d396df45065f8c14ceb331fa7c39d50061b381286c9f782c013d9331","generated_digest:sha256:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","replay_digest:sha256:72d3fb0591318b89c96742341436cd287386f34e76d51957a70e8e7c47665a29","activity_id:gooo-workspace://activity/gooo-package2activity-diagnose","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"]},{"id":"declared_record_case_accuracy","status":"PROGRESS","numerator":3,"denominator":5,"unit":"declared typed selection cases","reason":"Matches complete named record results in the bounded pure-value evaluator; native runtime cases are observed separately.","evidence":["record_assembly.test_suite_sha256:sha256:6ce707dc8e6e58f53b2fbe4650f36cfbed1099533f741fcada970202090e7847"]},{"id":"declared_record_field_accuracy","status":"PROGRESS","numerator":13,"denominator":15,"unit":"declared expected record output fields","reason":"Counts each expected field in the supplied selection cases; preserves partially matching record outputs.","evidence":["record_assembly.contract_sha256:sha256:e58982d9c9235e882b643420a1c01795f2b4cb972161f4df7e5dcae78383c29e"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":11,"PROGRESS":2,"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"},{"id":"declared_record_case_accuracy","status":"PROGRESS","reason":"Matches complete named record results in the bounded pure-value evaluator; native runtime cases are observed separately.","next_operation":"COMPARE_RECORD_ALTERNATIVES_AGAINST_DECLARED_TYPED_CASES"},{"id":"declared_record_field_accuracy","status":"PROGRESS","reason":"Counts each expected field in the supplied selection cases; preserves partially matching record outputs.","next_operation":"COMPLETE_UNMATCHED_DECLARED_RECORD_FIELDS_WITHIN_THE_ATTEMPT_BUDGET"}],"not_claimed":["user-intent completeness","real-workflow coverage","generated runtime behavior","full-domain semantics","route quality","universal language completeness"],"fail_closed_reason":null}},"source":"package gooo_workspace\n\n//gooo:generated:start id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\ntype GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 struct {\n\tGoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa string `json:\"code\"`\n\tGoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023 string `json:\"message\"`\n\tGoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135 string `json:\"action\"`\n}\n\n//gooo:generated:end id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package2activity-diagnose\" kind=\"activity\"\nfunc GoooPackage2ActivityDiagnose(input0 int64, input1 int64, input2 int64, input3 string) GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 {\n\tvar action = \"expand-examples\"\n\tif input2 > 0 {\n\t\taction = \"repair-and-replay\"\n\t}\n\tif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: (\"partial\"), GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: (input3), GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: (\"accept\")}\n\t}\n\tif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\n\t\taction = \"fix-counts\"\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"invalid-counts\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: input3, GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: action}\n\t}\n\tif input1 == 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"unobserved\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"Add expected observations.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"add-examples\"}\n\t}\n\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"complete\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"All observed fields matched.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"accept\"}\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package2activity-diagnose\" kind=\"activity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package0activity-below-total\" kind=\"activity\"\nfunc GoooPackage0ActivityBelowTotal(input0 int64, input1 int64) bool {\n\treturn input0 >= 0 && input0 < input1\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package0activity-below-total\" kind=\"activity\"\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package1activity-is-partial\" kind=\"activity\"\nfunc GoooPackage1ActivityIsPartial(input0 int64, input1 int64) bool {\n\treturn input1 > 0 && GoooPackage0ActivityBelowTotal(input0, input1)\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package1activity-is-partial\" kind=\"activity\"\n","gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"gooo://diagnostics/integer\"\nentity Boolean id \"gooo://diagnostics/boolean\"\nentity Text id \"gooo://diagnostics/text\"\nentity Diagnostic id \"gooo://diagnostics/diagnostic\" fields {\n    field code id \"gooo://diagnostics/code\" type string required one\n    field message id \"gooo://diagnostics/message\" type string required one\n    field action id \"gooo://diagnostics/action\" type string required one\n}\nactivity GoooPackage0ActivityBelowTotal(Integer, Integer) -> Boolean computes \"return input0 >= 0 && input0 < input1\"\nactivity GoooPackage1ActivityIsPartial(Integer, Integer) -> Boolean computes \"return input1 > 0 && GoooPackage0ActivityBelowTotal(input0, input1)\"\nactivity GoooPackage2ActivityDiagnose(Integer, Integer, Integer, Text) -> Diagnostic computes \"var action = \\\"expand-examples\\\"\\nif input2 > 0 { action = \\\"repair-and-replay\\\" }\\nif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\\n    return Diagnostic{code: (\\\"partial\\\"), message: (input3), action: (\\\"accept\\\")}\\n}\\nif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\\n    action = \\\"fix-counts\\\"\\n    return Diagnostic{code: \\\"invalid-counts\\\", message: input3, action: action}\\n}\\nif input1 == 0 {\\n    return Diagnostic{code: \\\"unobserved\\\", message: \\\"Add expected observations.\\\", action: \\\"add-examples\\\"}\\n}\\nreturn Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: \\\"accept\\\"}\" assembling {\n    baseline \"let action = \\\"expand-examples\\\"\\nif input2 > 0 { action = \\\"repair-and-replay\\\" }\\nif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\\n    return Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: action}\\n}\\nif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\\n    action = \\\"fix-counts\\\"\\n    return Diagnostic{code: \\\"invalid-counts\\\", message: input3, action: action}\\n}\\nif input1 == 0 {\\n    return Diagnostic{code: \\\"unobserved\\\", message: \\\"Add expected observations.\\\", action: \\\"add-examples\\\"}\\n}\\nreturn Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: \\\"accept\\\"}\"\n    picked \"code\" -> \"value_second\"\n    picked \"message\" -> \"value_second\"\n    picked \"action\" -> \"value_second\"\n    choice \"code\" field_value at \"0\" alternative \"\\\"partial\\\"\" intent \"부분 충족이면 partial 코드로 표시한다. Use partial for incomplete observations.\"\n    choice \"message\" field_value at \"1\" alternative \"input3\" intent \"실제 남은 부분을 입력의 진단 문장으로 전달한다. Keep the supplied diagnostic detail.\"\n    choice \"action\" field_value at \"2\" alternative \"\\\"accept\\\"\" intent \"현재 action 변수에 계산한 다음 작업을 유지한다. Keep the current action variable.\"\n    value_case \"[12,15,1,\\\"type-rejected candidate retained\\\"]\" -> \"{\\\"action\\\":\\\"repair-and-replay\\\",\\\"code\\\":\\\"partial\\\",\\\"message\\\":\\\"type-rejected candidate retained\\\"}\"\n    value_case \"[2,4,0,\\\"사유 필드가 남았습니다\\\"]\" -> \"{\\\"action\\\":\\\"expand-examples\\\",\\\"code\\\":\\\"partial\\\",\\\"message\\\":\\\"사유 필드가 남았습니다\\\"}\"\n    value_case \"[4,4,0,\\\"\\\"]\" -> \"{\\\"action\\\":\\\"accept\\\",\\\"code\\\":\\\"complete\\\",\\\"message\\\":\\\"All observed fields matched.\\\"}\"\n    value_case \"[0,0,0,\\\"\\\"]\" -> \"{\\\"action\\\":\\\"add-examples\\\",\\\"code\\\":\\\"unobserved\\\",\\\"message\\\":\\\"Add expected observations.\\\"}\"\n    value_case \"[5,4,0,\\\"passed exceeds total\\\"]\" -> \"{\\\"action\\\":\\\"fix-counts\\\",\\\"code\\\":\\\"invalid-counts\\\",\\\"message\\\":\\\"passed exceeds total\\\"}\"\n    attempts \"8\"\n}\nactivity GoooPackage3ActivityMain(Integer, Integer, Integer, Text) -> Text computes \"let diagnostic = GoooPackage2ActivityDiagnose(input0, input1, input2, input3)\\nreturn diagnostic.code + \\\": \\\" + diagnostic.message + \\\" [\\\" + diagnostic.action + \\\"]\\\"\"\n"}}],"gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"gooo://diagnostics/integer\"\nentity Boolean id \"gooo://diagnostics/boolean\"\nentity Text id \"gooo://diagnostics/text\"\nentity Diagnostic id \"gooo://diagnostics/diagnostic\" fields {\n    field code id \"gooo://diagnostics/code\" type string required one\n    field message id \"gooo://diagnostics/message\" type string required one\n    field action id \"gooo://diagnostics/action\" type string required one\n}\nactivity GoooPackage0ActivityBelowTotal(Integer, Integer) -> Boolean computes \"return input0 >= 0 && input0 < input1\"\nactivity GoooPackage1ActivityIsPartial(Integer, Integer) -> Boolean computes \"return input1 > 0 && GoooPackage0ActivityBelowTotal(input0, input1)\"\nactivity GoooPackage2ActivityDiagnose(Integer, Integer, Integer, Text) -> Diagnostic computes \"var action = \\\"expand-examples\\\"\\nif input2 > 0 { action = \\\"repair-and-replay\\\" }\\nif GoooPackage1ActivityIsPartial(input0, input1) && input2 >= 0 {\\n    return Diagnostic{code: (\\\"partial\\\"), message: (input3), action: (\\\"accept\\\")}\\n}\\nif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\\n    action = \\\"fix-counts\\\"\\n    return Diagnostic{code: \\\"invalid-counts\\\", message: input3, action: action}\\n}\\nif input1 == 0 {\\n    return Diagnostic{code: \\\"unobserved\\\", message: \\\"Add expected observations.\\\", action: \\\"add-examples\\\"}\\n}\\nreturn Diagnostic{code: \\\"complete\\\", message: \\\"All observed fields matched.\\\", action: \\\"accept\\\"}\" \nactivity GoooPackage3ActivityMain(Integer, Integer, Integer, Text) -> Text computes \"let diagnostic = GoooPackage2ActivityDiagnose(input0, input1, input2, input3)\\nreturn diagnostic.code + \\\": \\\" + diagnostic.message + \\\" [\\\" + diagnostic.action + \\\"]\\\"\"\n","source":"package main\n\n//gooo:generated:start id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\ntype GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 struct {\n\tGoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa string `json:\"code\"`\n\tGoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023 string `json:\"message\"`\n\tGoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135 string `json:\"action\"`\n}\n\n//gooo:generated:end id=\"gooo://diagnostics/diagnostic\" kind=\"entity\"\n\n//gooo:generated:start id=\"gooo-workspace://activity/gooo-package3activity-main\" kind=\"activity\"\nfunc GoooComposedActivity0(input0 int64, input1 int64, input2 int64, input3 string) string {\n\tvar diagnostic = GoooComposedActivity0Call2(input0, input1, input2, input3)\n\treturn diagnostic.GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa + \": \" + diagnostic.GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023 + \" [\" + diagnostic.GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135 + \"]\"\n}\nfunc GoooComposedActivity0Call0(input0 int64, input1 int64) bool {\n\treturn input0 >= 0 && input0 < input1\n}\nfunc GoooComposedActivity0Call1(input0 int64, input1 int64) bool {\n\treturn input1 > 0 && GoooComposedActivity0Call0(input0, input1)\n}\nfunc GoooComposedActivity0Call2(input0 int64, input1 int64, input2 int64, input3 string) GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568 {\n\tvar action = \"expand-examples\"\n\tif input2 > 0 {\n\t\taction = \"repair-and-replay\"\n\t}\n\tif GoooComposedActivity0Call1(input0, input1) && input2 >= 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: (\"partial\"), GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: (input3), GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: (\"accept\")}\n\t}\n\tif input0 < 0 || input1 < 0 || input2 < 0 || input0 > input1 {\n\t\taction = \"fix-counts\"\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"invalid-counts\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: input3, GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: action}\n\t}\n\tif input1 == 0 {\n\t\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"unobserved\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"Add expected observations.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"add-examples\"}\n\t}\n\treturn GoooRecord9d359c656161a57d988aded27dde9bb7bd780cc336ca66699797b584eab48568{GoooFielda5ddfea237543761a6d8fa7e3953351a4c28b9f8b562b535985914c71ab1cefa: \"complete\", GoooField4b4172b122bef7e6457a0e388c589f61e39f6835d2d4264d5eb70f1879e46023: \"All observed fields matched.\", GoooField0d545531b9bc128be38cece1f5b3d5aed0ab98365a92e6b1ef70e1689bf62135: \"accept\"}\n}\n\n//gooo:generated:end id=\"gooo-workspace://activity/gooo-package3activity-main\" kind=\"activity\"\n","driver_source":"package main\n\nimport (\n\t\"encoding/json\"\n\t\"os\"\n)\n\nfunc main() {\n\tvar in [][4]json.RawMessage\n\tif json.NewDecoder(os.Stdin).Decode(&in) != nil || len(in) > 128 {\n\t\tos.Exit(2)\n\t}\n\tout := make([][1]json.RawMessage, len(in))\n\tfor c, row := range in {\n\t\tvar input0 int64\n\t\tif json.Unmarshal(row[0], &input0) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input1 int64\n\t\tif json.Unmarshal(row[1], &input1) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input2 int64\n\t\tif json.Unmarshal(row[2], &input2) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input3 string\n\t\tif json.Unmarshal(row[3], &input3) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tv0 := GoooComposedActivity0(input0, input1, input2, input3)\n\t\tout[c][0], _ = json.Marshal(v0)\n\t}\n\tif json.NewEncoder(os.Stdout).Encode(out) != nil {\n\t\tos.Exit(3)\n\t}\n}\n","model":{"schema":"gooo/retained-path-model/v1","loaded":true,"metadata_sha256":"f95925a277c45957722bc116213c61bee997cc07a94adae738a05d218d660059","weights_sha256":"049081cc6dc62f3c4230f72e601c1fd421c514fce9cfdf7bc1eb412ca4c5514b","resident_tensor_bytes":2096,"setup_ms":0.497042,"scope":"one constructor load; excluded from request timing; fresh source and plan each request","model_schema":"gooo/tiny-shared-three-choice-path-model/v1","feature_version":"triple_record_field_context_v1_shared_v1","arithmetic_version":"float32_separate_v1"},"elapsed_ns":35216375,"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:9f0001193df380ac1f85a0c4ca25c5a61f636e975abb316f7fcf5feefc39b8d1","original_source_sha256":"sha256:a5ed135651cc723fa6ef53efc6ef9a7518da898dd9251aa59bc89f868d46e2a4","selected_source_sha256":"sha256:20b7cd130d11f81e2565e74e85709aff4c0b1096c253e60060ece58864065506","typed_plan_sha256":"sha256:ab1dd39218d5e18aacad17215a2319230a703d3e4579c5bb933d3c773b056997","generated_sha256":"sha256:8456e21bd5b63087b48452f6ae7d8d7d044533599dc964761942cceeb20b4d37","driver_sha256":"sha256:a947fa76c08a3e0688fb4316d50012d01e735b5cd9b6c458db8ffe372072e760","observed_projection_sha256":"sha256:d2e9147fad10a36361160561a08ed82b82b7671b0895f94d3754621ec6fad4b4","observed_driver_sha256":"sha256:bb100de94fec6ab38fce894353791c4b1d59ba8d6d1dafbe0ca2ccbd94adeb90","runtime_suite_sha256":"sha256:a5bc1d2c30c2fdcd706517295c3a0737c31671cfb58df12dd431dde32bd3e41d","executable_sha256":"sha256:a21b75fa83800f1bcd3c581d7f6ae05ef46ad2445d5c0fc953b37777ecdcd084","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":13291875,"user_ns":4470000,"system_ns":4607000,"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":138886209,"user_ns":134040000,"system_ns":82138000,"peak_rss_bytes":84787200,"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":516100708,"user_ns":3907000,"system_ns":6239000,"peak_rss_bytes":4882432,"stdout_sha256":"sha256:b14c1a9f3596b902d6b9f3918db50e53051c3185a2358bbe80ca904f807a5291","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":9241375,"user_ns":3172000,"system_ns":3893000,"peak_rss_bytes":4997120,"stdout_sha256":"sha256:b14c1a9f3596b902d6b9f3918db50e53051c3185a2358bbe80ca904f807a5291","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"gooo-workspace://activity/gooo-package3activity-main","inputs":[{"port":"input0","entity_id":"gooo://diagnostics/integer","value":17},{"port":"input1","entity_id":"gooo://diagnostics/integer","value":21},{"port":"input2","entity_id":"gooo://diagnostics/integer","value":1},{"port":"input3","entity_id":"gooo://diagnostics/text","value":"네 필드가 남았습니다"}],"actual":"partial: 네 필드가 남았습니다 [accept]","expected":"partial: 네 필드가 남았습니다 [repair-and-replay]","passed":false}],"called_inputs_observed":true,"calls":[{"root_activity_id":"gooo-workspace://activity/gooo-package3activity-main","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","inputs":[17,21,1,"네 필드가 남았습니다"]}]},{"case_index":1,"deliveries":[{"activity_id":"gooo-workspace://activity/gooo-package3activity-main","inputs":[{"port":"input0","entity_id":"gooo://diagnostics/integer","value":3},{"port":"input1","entity_id":"gooo://diagnostics/integer","value":5},{"port":"input2","entity_id":"gooo://diagnostics/integer","value":0},{"port":"input3","entity_id":"gooo://diagnostics/text","value":"two outputs differ"}],"actual":"partial: two outputs differ [accept]","expected":"partial: two outputs differ [expand-examples]","passed":false}],"called_inputs_observed":true,"calls":[{"root_activity_id":"gooo-workspace://activity/gooo-package3activity-main","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","inputs":[3,5,0,"two outputs differ"]}]},{"case_index":2,"deliveries":[{"activity_id":"gooo-workspace://activity/gooo-package3activity-main","inputs":[{"port":"input0","entity_id":"gooo://diagnostics/integer","value":8},{"port":"input1","entity_id":"gooo://diagnostics/integer","value":8},{"port":"input2","entity_id":"gooo://diagnostics/integer","value":0},{"port":"input3","entity_id":"gooo://diagnostics/text","value":""}],"actual":"complete: All observed fields matched. [accept]","expected":"complete: All observed fields matched. [accept]","passed":true}],"called_inputs_observed":true,"calls":[{"root_activity_id":"gooo-workspace://activity/gooo-package3activity-main","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","inputs":[8,8,0,""]}]},{"case_index":3,"deliveries":[{"activity_id":"gooo-workspace://activity/gooo-package3activity-main","inputs":[{"port":"input0","entity_id":"gooo://diagnostics/integer","value":9007199254740994},{"port":"input1","entity_id":"gooo://diagnostics/integer","value":9007199254740993},{"port":"input2","entity_id":"gooo://diagnostics/integer","value":0},{"port":"input3","entity_id":"gooo://diagnostics/text","value":"count exceeds total"}],"actual":"invalid-counts: count exceeds total [fix-counts]","expected":"invalid-counts: count exceeds total [fix-counts]","passed":true}],"called_inputs_observed":true,"calls":[{"root_activity_id":"gooo-workspace://activity/gooo-package3activity-main","activity_id":"gooo-workspace://activity/gooo-package2activity-diagnose","inputs":[9007199254740994,9007199254740993,0,"count exceeds total"]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":2,"finite_total":4,"input_separation":{"status":"PROGRESS","reason":"DISJOINT_EXPECTATIONS_DIFFER","unique_inputs":4,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":4,"disjoint_cases_passed":2,"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":722415834,"scope":"two fresh compiled value-graph executions; finite named expectations; explicit edges and ordered actual values; zero inference during replay/execution"},"scope":"typed imported activity bindings; generated Go compiled and run twice; finite named expectations only","assembly_policy":{"schema":"gooo/workspace-assembly-policy/v1","source_manifest":{"schema":"gooo/package-runtime-manifest/v1","entry":{"package_path":"tools/assembly-policy","activity":"Checkpoint"},"packages":[{"path":"tools/assembly-policy","name":"policy","imports":["tools/assembly-counts"],"sources":[{"filename":"checkpoint.gooo.fixture","content":"package policy\nnamespace checkpoint\n\nimport counts \"tools/assembly-counts\"\n\nactivity Checkpoint(AssemblyObservation) -> Explanation computes `return Explanation{state: \"PROGRESS\", next_operation: \"USE_OBSERVED_CANDIDATE\", message: \"첫 후보를 기록합니다.\"}`\n"}]},{"path":"tools/assembly-counts","name":"counts","imports":null,"sources":[{"filename":"counts.gooo.fixture","content":"package counts\nnamespace counts\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\n\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\n\nentity Boolean id \"gooo://tools/boolean\"\nactivity CanContinue(AssemblyObservation) -> Boolean computes `return input.scored < input.budget`\n"}]}],"mutation_authorized":false},"program":{"schema":"gooo/workspace-body-program/v1","workspace_image":{"schema":"gooo/package-runtime-image/v1","init_order":["tools/assembly-counts","tools/assembly-policy"],"packages":[{"path":"tools/assembly-counts","name":"counts","namespace":"counts","imports":null,"exports":[{"name":"CanContinue","kind":"activity","input_types":["gooo://tools/assembly-observation"],"output_type":"gooo://tools/boolean"},{"name":"AssemblyObservation","kind":"entity","id":"gooo://tools/assembly-observation"},{"name":"Boolean","kind":"entity","id":"gooo://tools/boolean"},{"name":"Explanation","kind":"entity","id":"gooo://tools/assembly-explanation"}],"sources":[{"filename":"counts.gooo.fixture","source_digest":"sha256:7292372f0c9994b965a6eb711ad8eb5a3dabe401012279e22b37823ac24fcba6","semantic_digest":"sha256:95aeed23c323bad8b5613e2f4f1d1f0cad06177c21461a526b6e55353ce39c27","declarations":4}],"declarations":4,"semantic_digest":"sha256:08b21bb9120f40cd7e786704c231bee6376522fe43511be7e1ab4bbfbf60f350"},{"path":"tools/assembly-policy","name":"policy","namespace":"checkpoint","imports":["tools/assembly-counts"],"exports":[{"name":"Checkpoint","kind":"activity","input_types":["gooo://tools/assembly-observation"],"output_type":"gooo://tools/assembly-explanation"}],"sources":[{"filename":"checkpoint.gooo.fixture","source_digest":"sha256:d1e188309f06391e91661bbfe5bcee20b56e3413c4124df3c194e98ae595e270","semantic_digest":"sha256:8118234518eedf25c81f2df10f08f32a189b9914ab33760ae6648ec9224028d8","declarations":1}],"declarations":1,"semantic_digest":"sha256:080c9bad51ec31a50294ac1c66baa5b3f3df6f1ab4551faf8743730c09024d9a"}],"entry":{"package_path":"tools/assembly-policy","source":"checkpoint.gooo.fixture","activity":"Checkpoint","inputs":["AssemblyObservation"],"output":"Explanation"},"digest":"sha256:fe48108c5499d156c8af199bebfd242df516f7fdf816a37c16be483b24a46974"},"entry":{"package_path":"tools/assembly-policy","activity":"Checkpoint","lowered_name":"GoooPackage1ActivityCheckpoint"},"activities":[{"package_path":"tools/assembly-policy","activity":"Checkpoint","lowered_name":"GoooPackage1ActivityCheckpoint"}],"lowered_gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity AssemblyObservation id \"gooo://tools/assembly-observation\" fields {\n    field matched id \"gooo://tools/assembly-observation/matched\" type integer required one\n    field total id \"gooo://tools/assembly-observation/total\" type integer required one\n    field best id \"gooo://tools/assembly-observation/best\" type integer required one\n    field scored id \"gooo://tools/assembly-observation/scored\" type integer required one\n    field budget id \"gooo://tools/assembly-observation/budget\" type integer required one\n}\nentity Explanation id \"gooo://tools/assembly-explanation\" fields {\n    field state id \"gooo://tools/assembly-explanation/state\" type string required one\n    field next_operation id \"gooo://tools/assembly-explanation/next-operation\" type string required one\n    field message id \"gooo://tools/assembly-explanation/message\" type string required one\n}\nentity Boolean id \"gooo://tools/boolean\"\nactivity GoooPackage1ActivityCheckpoint(AssemblyObservation) -> Explanation computes \"return Explanation{state: \\\"PROGRESS\\\", next_operation: \\\"USE_OBSERVED_CANDIDATE\\\", message: \\\"첫 후보를 기록합니다.\\\"}\"\n","scope":"explicitly bound workspace activity bodies lowered to one typed Gooo graph; execution requires finite cases and native Go compilation"}}}}