{"schema":"gooo/workspace-body-execution-receipt/v1","decision":"OBSERVED","manifest":"learn-gooo.workspace.json","manifest_digest":"sha256:4c1fe0aa0e1cc14ae2acc2948467a855fd7389c09286141522557ab3de6c96e9","inputs_digest":"sha256:d3b65d0f4227b11748dcacbf6f647745ef19a734eb43dea9ca97a19792097303","result":{"schema":"gooo/workspace-body-execution/v1","program":{"schema":"gooo/workspace-body-program/v1","workspace_image":{"schema":"gooo/package-runtime-image/v1","init_order":["example/limits","app/report"],"packages":[{"path":"example/limits","name":"limits","namespace":"learn_gooo_limits","imports":null,"exports":[{"name":"Clamp","kind":"activity","id":"urn:learn-gooo:clamp","input_types":["urn:gooo:type:integer"],"output_type":"urn:gooo:type:integer"},{"name":"InRange","kind":"activity","id":"urn:learn-gooo:in-range","input_types":["urn:gooo:type:integer"],"output_type":"urn:gooo:type:boolean"},{"name":"Boolean","kind":"entity","id":"urn:gooo:type:boolean"},{"name":"Integer","kind":"entity","id":"urn:gooo:type:integer"}],"sources":[{"filename":"examples/learn-gooo/limits.gooo","source_digest":"sha256:b7fe183649e54e0747f656ca44274e86d97d941871fc91fafdc8f7f93963b396","semantic_digest":"sha256:71104eeecca329c84bebf9abad11e69645ec7dd5644ca9dcf01ee0b332767eec","declarations":4}],"declarations":4,"semantic_digest":"sha256:b29bd1989ca369f76e55c576f5b01c331d71ec6e1e4dc8295575e4f8f3427134"},{"path":"app/report","name":"report","namespace":"learn_gooo_report","imports":["example/limits"],"exports":[{"name":"Describe","kind":"activity","id":"urn:learn-gooo:describe","input_types":["urn:gooo:type:integer","urn:gooo:type:string"],"output_type":"urn:learn-gooo:summary"},{"name":"Integer","kind":"entity","id":"urn:gooo:type:integer"},{"name":"Summary","kind":"entity","id":"urn:learn-gooo:summary"},{"name":"Text","kind":"entity","id":"urn:gooo:type:string"}],"sources":[{"filename":"examples/learn-gooo/main.gooo","source_digest":"sha256:7ca09b4085cf45e6c7d26a1b474deb8ef1f6d5d1d312155fa220d1e967fee9cc","semantic_digest":"sha256:1a2493609480498047c009093ce8a6f7bf7b7edbde4bcdc269aa4ffe6ac8e992","declarations":4}],"declarations":4,"semantic_digest":"sha256:f0ccc13fc3f56a67c9539b56b89c434108bd4f7c1e23a3eebec694ab0fbbb1f2"}],"entry":{"package_path":"app/report","source":"examples/learn-gooo/main.gooo","activity":"Describe","inputs":["Integer","Text"],"output":"Summary"},"digest":"sha256:4b182ddafd96f56fbc60f9a613afbb460f66b5848704c398bc6a3ed8f4784b09"},"entry":{"package_path":"app/report","activity":"Describe","lowered_name":"GoooPackage2ActivityDescribe"},"activities":[{"package_path":"app/report","activity":"Describe","lowered_name":"GoooPackage2ActivityDescribe"}],"lowered_gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"urn:gooo:type:integer\"\nentity Boolean id \"urn:gooo:type:boolean\"\nentity Text id \"urn:gooo:type:string\"\nentity Summary id \"urn:learn-gooo:summary\" fields {\n    field score id \"urn:learn-gooo:score\" type integer required one\n    field remaining id \"urn:learn-gooo:remaining\" type integer required one\n    field in_range id \"urn:learn-gooo:in-range-field\" type boolean required one\n    field label id \"urn:learn-gooo:label\" type string required one\n}\nactivity GoooPackage0ActivityInRange(Integer) -> Boolean id \"urn:learn-gooo:in-range\" computes \"return input >= 0 && input <= 100\"\nactivity GoooPackage1ActivityClamp(Integer) -> Integer id \"urn:learn-gooo:clamp\" computes \"if input < 0 { return 0 }\\nif input > 100 { return 100 }\\nreturn input\"\nactivity GoooPackage2ActivityDescribe(Integer, Text) -> Summary id \"urn:learn-gooo:describe\" computes \"let score = GoooPackage1ActivityClamp(input0)\\nlet label = input1 + \\\": low\\\"\\nif score >= 60 { label = input1 + \\\": high\\\" }\\nreturn Summary{score: score, remaining: 100 - score,\\n    in_range: GoooPackage0ActivityInRange(input0), label: label}\"\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/report","activity":"Describe","lowered_name":"GoooPackage2ActivityDescribe"},"activity_id":"learn-gooo-report://activity/describe","lowered_activity_id":"gooo-workspace://activity/gooo-package2activity-describe","source":"examples/learn-gooo/main.gooo","source_body_sha256":"sha256:2532cd2e705b042d2a9754015e3f8d82e06f7845fad323b918927fb493fed1fc"},{"activity":{"package_path":"example/limits","activity":"Clamp","lowered_name":"GoooPackage1ActivityClamp"},"activity_id":"learn-gooo-limits://activity/clamp","lowered_activity_id":"gooo-workspace://activity/gooo-package1activity-clamp","source":"examples/learn-gooo/limits.gooo","source_body_sha256":"sha256:df470a0110b9410a7a7d81138609a296b76df1f7a0cda1f75aee450c4adb7e52"},{"activity":{"package_path":"example/limits","activity":"InRange","lowered_name":"GoooPackage0ActivityInRange"},"activity_id":"learn-gooo-limits://activity/in-range","lowered_activity_id":"gooo-workspace://activity/gooo-package0activity-in-range","source":"examples/learn-gooo/limits.gooo","source_body_sha256":"sha256:75d25412fef65ad926f10d9188675e1267c347f40dcb195566c9931f105a4d22"}],"sites":[{"caller":"app/report:Describe","callee":"example/limits:Clamp","surface":"computes","start_byte":12,"end_byte":24},{"caller":"app/report:Describe","callee":"example/limits:InRange","surface":"computes","start_byte":174,"end_byte":188}]}},"execution_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","composition":{"schema":"gooo/body-composition/v1","stage":"COMPLETE","original_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","selected_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","generated_sha256":"sha256:dd7787c484741691991c13d46326a9ded0c884a09eaf9e09e05f05e98f878c10","driver_sha256":"sha256:a81bab217c37d02bcbe652437d67cc0f8da3c1af6c63ef6199a2479934c73caa","plan":{"schema":"gooo/body-composition-plan/v1","entry_activity":"GoooPackage2ActivityDescribe","typed_plan_sha256":"sha256:c81ac238e8a76d671b28059bbf9889bac1df8c72ed87154d73c07c48573b7fc5","semantic_fingerprint":"d2b05925d347db3c1916bdc489ffd70c7f71caad8391e7181ede9be4c0973818","activities":[{"name":"GoooPackage2ActivityDescribe","id":"urn:learn-gooo:describe","input_type":"Integer","output_type":"Summary","input_entity_id":"urn:gooo:type:integer","output_entity_id":"urn:learn-gooo:summary","go_function":"GoooComposedActivity0","input_from":-1,"assembling":false,"inputs":[{"port":"input0","type":"Integer","entity_id":"urn:gooo:type:integer","from":-1},{"port":"input1","type":"Text","entity_id":"urn:gooo:type:string","from":-1}]}],"edges":[],"record_types":[{"name":"Summary","id":"urn:learn-gooo:summary","go_name":"GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9","fields":[{"name":"score","id":"urn:learn-gooo:score","type_id":"urn:gooo:type:integer","go_name":"GoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591"},{"name":"remaining","id":"urn:learn-gooo:remaining","type_id":"urn:gooo:type:integer","go_name":"GoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd"},{"name":"in_range","id":"urn:learn-gooo:in-range-field","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d"},{"name":"label","id":"urn:learn-gooo:label","type_id":"urn:gooo:type:string","go_name":"GoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d"}]}]},"steps":[{"input_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","generation":{"report":{"schema":"gooo/body-codegen-report/v3","decision":"PASS","activity":"GoooPackage2ActivityDescribe","activity_id":"urn:learn-gooo:describe","input_type":"(int64,string)","input_parameters":[{"name":"input0","type":"int64"},{"name":"input1","type":"string"}],"record_types":[{"name":"Summary","id":"urn:learn-gooo:summary","go_name":"GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9","fields":[{"name":"score","id":"urn:learn-gooo:score","type_id":"urn:gooo:type:integer","go_name":"GoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591"},{"name":"remaining","id":"urn:learn-gooo:remaining","type_id":"urn:gooo:type:integer","go_name":"GoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd"},{"name":"in_range","id":"urn:learn-gooo:in-range-field","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d"},{"name":"label","id":"urn:learn-gooo:label","type_id":"urn:gooo:type:string","go_name":"GoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d"}]}],"output_type":"Summary","plan_sha256":"sha256:1797bf00baa912eb6812007233c77e662cf286baa3a058f28f8f263e4cef25f3","compiler_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","source_digest":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","program_digest":"sha256:1da2ee6017f9d8bf88a491ac5228b49d327ff3486d8a6b1fc983025fee472f37","generated_digest":"sha256:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","replay_digest":"sha256:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","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":"GoooPackage1ActivityClamp","activity_id":"urn:learn-gooo:clamp","program_sha256":"sha256:df470a0110b9410a7a7d81138609a296b76df1f7a0cda1f75aee450c4adb7e52"},{"name":"GoooPackage0ActivityInRange","activity_id":"urn:learn-gooo:in-range","program_sha256":"sha256:75d25412fef65ad926f10d9188675e1267c347f40dcb195566c9931f105a4d22"}],"edges":[{"caller_id":"urn:learn-gooo:describe","callee_id":"urn:learn-gooo:clamp","ordinal":0},{"caller_id":"urn:learn-gooo:describe","callee_id":"urn:learn-gooo:in-range","ordinal":1}],"max_calls_per_invocation":2},"candidate_routes":["preserve"],"equivalence_rule":"source-shape-preserving-v1","source_constructs":11,"lowered_constructs":11,"source_semantic_units":60,"lowered_semantic_units":60,"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:cd5b88749d876fb24b01ce05ff895f234f19c6aefbec6e8adfbc6690dee9d3b9","generated_semantic_digest":"sha256:cd5b88749d876fb24b01ce05ff895f234f19c6aefbec6e8adfbc6690dee9d3b9","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":"GoooPackage1ActivityClamp","activity_id":"urn:learn-gooo:clamp","program_sha256":"sha256:df470a0110b9410a7a7d81138609a296b76df1f7a0cda1f75aee450c4adb7e52"},{"name":"GoooPackage0ActivityInRange","activity_id":"urn:learn-gooo:in-range","program_sha256":"sha256:75d25412fef65ad926f10d9188675e1267c347f40dcb195566c9931f105a4d22"}],"edges":[{"caller_id":"urn:learn-gooo:describe","callee_id":"urn:learn-gooo:clamp","ordinal":0},{"caller_id":"urn:learn-gooo:describe","callee_id":"urn:learn-gooo:in-range","ordinal":1}],"max_calls_per_invocation":2},"compiler_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","decision_mode":"deterministic_fallback","decision_provider":"deterministic","domain_scope":"one pure typed Gooo activity with source-declared fixed callees; bounded acyclic call closure","excluded_scope":["unstated natural-language intent","independently sourced production workflows","generated runtime behavior","unrestricted Gooo body syntax","route clarity or utility"],"execution_environment":"linux/amd64","input_type":"(int64,string)","laya_mode":"deterministic_fallback","laya_provider":"deterministic","observed_system_cost":{"human_actions":0,"repository_writes":0},"output_type":"Summary","plan_sha256":"sha256:1797bf00baa912eb6812007233c77e662cf286baa3a058f28f8f263e4cef25f3","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":"Summary","id":"urn:learn-gooo:summary","go_name":"GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9","fields":[{"name":"score","id":"urn:learn-gooo:score","type_id":"urn:gooo:type:integer","go_name":"GoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591"},{"name":"remaining","id":"urn:learn-gooo:remaining","type_id":"urn:gooo:type:integer","go_name":"GoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd"},{"name":"in_range","id":"urn:learn-gooo:in-range-field","type_id":"urn:gooo:type:boolean","go_name":"GoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d"},{"name":"label","id":"urn:learn-gooo:label","type_id":"urn:gooo:type:string","go_name":"GoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d"}]}],"system_budget":{"maximum_human_actions":0,"maximum_repository_writes":0},"toolchain":"go1.27.2"},"core_dimensions":["declaration_coverage","generation_coverage","internal_replay_coverage","provenance_integrity","receipt_schema_binding","repository_write_boundary","route_choice_protocol","route_semantic_equivalence","source_ast_coverage","typecheck_coverage"],"dimensions":[{"id":"declaration_coverage","status":"PASS","numerator":1,"denominator":1,"unit":"stable activity declarations","reason":"Counts the requested activity only when it resolves to a stable semantic ID.","evidence":["source_digest:sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","activity_id:urn:learn-gooo:describe"]},{"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:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","report decision:PASS"]},{"id":"source_ast_coverage","status":"PASS","numerator":60,"denominator":60,"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:cd5b88749d876fb24b01ce05ff895f234f19c6aefbec6e8adfbc6690dee9d3b9","generated_semantic_digest:sha256:cd5b88749d876fb24b01ce05ff895f234f19c6aefbec6e8adfbc6690dee9d3b9"]},{"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:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","replay_digest:sha256:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6"]},{"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:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","program_digest:sha256:1da2ee6017f9d8bf88a491ac5228b49d327ff3486d8a6b1fc983025fee472f37","generated_digest:sha256:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","replay_digest:sha256:4e101ea417b7680759ff53903e0a1486cee4576d8065d4db45aa09fa1bde7df6","activity_id:urn:learn-gooo:describe","compiler_source_sha:83928fa4538245abe33b08549da47f8cbdc50ed2","route_equivalence semantic digests"]},{"id":"receipt_schema_binding","status":"PASS","numerator":1,"denominator":1,"unit":"source-owned receipt schema and generated structure bindings","reason":"The receipt data structure is generated from the embedded Gooo declaration with stable entity and field IDs.","evidence":["receipt_declaration_sha256:c7059936a1fe6b98d6129e9a90a38d09779e8aaa5575868c703ff8a089d184ae","projection_profile:gooo/receipt-structure-projection/v1"]},{"id":"repository_write_boundary","status":"PASS","numerator":1,"denominator":1,"unit":"repository writes","reason":"The command emits generated source without mutating the repository.","evidence":["repository_writes:0"]},{"id":"execution_boundary","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"generated package runtime executions","reason":"This command typechecks and replays generated source but does not execute the generated package.","evidence":["body-codegen does not run generated Go"]},{"id":"permission_boundary","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"observed host permission profiles","reason":"The report does not capture the caller's operating-system permission profile.","evidence":["host permission profile is not observed"]},{"id":"external_network_boundary","status":"PASS","numerator":1,"denominator":1,"unit":"runs with no Laya provider request","reason":"A deterministic fallback caused by an unconfigured provider or ineligible alternative routes records no Laya decision request; other provider/network scope is not audited.","evidence":["decision.mode:deterministic_fallback","decision.provider:deterministic","decision.fallback_reason:NO_ALTERNATIVE_ROUTE"]},{"id":"laya_decision_observation","status":"UNKNOWN","numerator":0,"denominator":0,"unit":"eligible multi-route Laya decisions","reason":"Records a model choice only after Gooo has declared multiple typed candidates and the Laya provider supplied the decision.","evidence":["candidate_routes","route_decision.mode:deterministic_fallback","route_decision.request_sha256:","route_decision.model_revision:"]},{"id":"use_case_coverage","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"independently sourced real workflows","reason":"A single source fixture is not evidence of independent real-world workflow coverage.","evidence":["no independent workflow corpus is bound"]},{"id":"reverse_observation_coverage","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"generated runtime observations mapped back to source","reason":"No generated runtime is executed or reverse-mapped by this command.","evidence":["no source-bound reverse-observation trace"]},{"id":"full_domain_semantics","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"complete input-domain behavior proofs","reason":"Typechecking and structural equivalence do not prove behavior over the input domain.","evidence":["generated package execution and an independent domain oracle are not part of this command"]},{"id":"route_quality","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"independent route-clarity or utility criteria","reason":"Semantic equivalence does not rank readability, clarity, or downstream utility.","evidence":["no independent route-quality oracle"]},{"id":"resource_observation","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"complete process resource profiles","reason":"The report records route-decision latency but not process CPU time or peak memory.","evidence":["route_decision_latency_ms is recorded","CPU and peak RSS are not captured"]},{"id":"resource_baseline_comparison","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"compatible prior resource receipts","reason":"No same-profile, same-toolchain resource baseline is bound.","evidence":["no compatible prior resource receipt"]},{"id":"semantic_profile_delta","status":"UNKNOWN","numerator":0,"denominator":1,"unit":"compatible before/after semantic receipts","reason":"No same-plan, same-compiler semantic baseline is bound for regression deltas.","evidence":["no comparable prior semantic receipt"]}],"status_counts":{"FAIL_CLOSED":0,"PASS":11,"PROGRESS":0,"UNKNOWN":10},"aggregate_completeness_score":null,"first_unresolved":{"id":"execution_boundary","status":"UNKNOWN","reason":"This command typechecks and replays generated source but does not execute the generated package.","next_operation":"EXECUTE_GENERATED_CODE_IN_A_SEPARATE_BOUNDED_RUNNER"},"unresolved_claims":[{"id":"execution_boundary","status":"UNKNOWN","reason":"This command typechecks and replays generated source but does not execute the generated package.","next_operation":"EXECUTE_GENERATED_CODE_IN_A_SEPARATE_BOUNDED_RUNNER"},{"id":"permission_boundary","status":"UNKNOWN","reason":"The report does not capture the caller's operating-system permission profile.","next_operation":"RECORD_THE_HOST_PERMISSION_PROFILE_WITHOUT_GRANTING_AUTHORITY"},{"id":"laya_decision_observation","status":"UNKNOWN","reason":"Records a model choice only after Gooo has declared multiple typed candidates and the Laya provider supplied the decision.","next_operation":"RUN_AN_ELIGIBLE_CASE_WITH_A_PINNED_LAYA_REVISION"},{"id":"use_case_coverage","status":"UNKNOWN","reason":"A single source fixture is not evidence of independent real-world workflow coverage.","next_operation":"BIND_INDEPENDENTLY_SOURCED_REAL_WORKFLOW_FIXTURES"},{"id":"reverse_observation_coverage","status":"UNKNOWN","reason":"No generated runtime is executed or reverse-mapped by this command.","next_operation":"MAP_GENERATED_RUNTIME_OBSERVATIONS_BACK_TO_SOURCE_IDS"},{"id":"full_domain_semantics","status":"UNKNOWN","reason":"Typechecking and structural equivalence do not prove behavior over the input domain.","next_operation":"EXECUTE_A_DOMAIN_PARTITION_OR_PROOF_FOR_THE_DECLARED_INPUT_TYPE"},{"id":"route_quality","status":"UNKNOWN","reason":"Semantic equivalence does not rank readability, clarity, or downstream utility.","next_operation":"ADD_AN_INDEPENDENT_ROUTE_CLARITY_OR_UTILITY_ORACLE"},{"id":"resource_observation","status":"UNKNOWN","reason":"The report records route-decision latency but not process CPU time or peak memory.","next_operation":"CAPTURE_WALL_CPU_AND_PEAK_RSS_FOR_THE_COMPILER_PROCESS"},{"id":"resource_baseline_comparison","status":"UNKNOWN","reason":"No same-profile, same-toolchain resource baseline is bound.","next_operation":"BIND_A_COMPATIBLE_RESOURCE_BASELINE"},{"id":"semantic_profile_delta","status":"UNKNOWN","reason":"No same-plan, same-compiler semantic baseline is bound for regression deltas.","next_operation":"BIND_A_COMPATIBLE_BASELINE_AND_REPORT_PER_DIMENSION_DELTAS"}],"not_claimed":["user-intent completeness","real-workflow coverage","generated runtime behavior","full-domain semantics","route quality","universal language completeness"],"fail_closed_reason":null}},"source":"package gooo_workspace\n\n//gooo:generated:start id=\"urn:learn-gooo:summary\" kind=\"entity\"\ntype GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9 struct {\n\tGoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591 int64  `json:\"score\"`\n\tGoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd int64  `json:\"remaining\"`\n\tGoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d bool   `json:\"in_range\"`\n\tGoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d string `json:\"label\"`\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:summary\" kind=\"entity\"\n//gooo:generated:start id=\"urn:learn-gooo:describe\" kind=\"activity\"\nfunc GoooPackage2ActivityDescribe(input0 int64, input1 string) GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9 {\n\tvar score = GoooPackage1ActivityClamp(input0)\n\tvar label = input1 + \": low\"\n\tif score >= 60 {\n\t\tlabel = input1 + \": high\"\n\t}\n\treturn GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9{GoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591: score, GoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd: 100 - score,\n\t\tGoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d: GoooPackage0ActivityInRange(input0), GoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d: label}\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:describe\" kind=\"activity\"\n//gooo:generated:start id=\"urn:learn-gooo:clamp\" kind=\"activity\"\nfunc GoooPackage1ActivityClamp(input int64) int64 {\n\tif input < 0 {\n\t\treturn 0\n\t}\n\tif input > 100 {\n\t\treturn 100\n\t}\n\treturn input\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:clamp\" kind=\"activity\"\n//gooo:generated:start id=\"urn:learn-gooo:in-range\" kind=\"activity\"\nfunc GoooPackage0ActivityInRange(input int64) bool {\n\treturn input >= 0 && input <= 100\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:in-range\" kind=\"activity\"\n"}}],"gooo_source":"package gooo_workspace\nnamespace gooo_workspace\n\nentity Integer id \"urn:gooo:type:integer\"\nentity Boolean id \"urn:gooo:type:boolean\"\nentity Text id \"urn:gooo:type:string\"\nentity Summary id \"urn:learn-gooo:summary\" fields {\n    field score id \"urn:learn-gooo:score\" type integer required one\n    field remaining id \"urn:learn-gooo:remaining\" type integer required one\n    field in_range id \"urn:learn-gooo:in-range-field\" type boolean required one\n    field label id \"urn:learn-gooo:label\" type string required one\n}\nactivity GoooPackage0ActivityInRange(Integer) -> Boolean id \"urn:learn-gooo:in-range\" computes \"return input >= 0 && input <= 100\"\nactivity GoooPackage1ActivityClamp(Integer) -> Integer id \"urn:learn-gooo:clamp\" computes \"if input < 0 { return 0 }\\nif input > 100 { return 100 }\\nreturn input\"\nactivity GoooPackage2ActivityDescribe(Integer, Text) -> Summary id \"urn:learn-gooo:describe\" computes \"let score = GoooPackage1ActivityClamp(input0)\\nlet label = input1 + \\\": low\\\"\\nif score >= 60 { label = input1 + \\\": high\\\" }\\nreturn Summary{score: score, remaining: 100 - score,\\n    in_range: GoooPackage0ActivityInRange(input0), label: label}\"\n","source":"package main\n\n//gooo:generated:start id=\"urn:learn-gooo:summary\" kind=\"entity\"\ntype GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9 struct {\n\tGoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591 int64  `json:\"score\"`\n\tGoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd int64  `json:\"remaining\"`\n\tGoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d bool   `json:\"in_range\"`\n\tGoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d string `json:\"label\"`\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:summary\" kind=\"entity\"\n\n//gooo:generated:start id=\"urn:learn-gooo:describe\" kind=\"activity\"\nfunc GoooComposedActivity0(input0 int64, input1 string) GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9 {\n\tvar score = GoooComposedActivity0Call0(input0)\n\tvar label = input1 + \": low\"\n\tif score >= 60 {\n\t\tlabel = input1 + \": high\"\n\t}\n\treturn GoooRecord10a2f408a200cabadc205a892967382d0feffa3b6387925c2a01e3f75fa9c7a9{GoooField6f2adfca306f02d934409566648d27182d53aace52aa41cb6379056857c08591: score, GoooField35ffbf7b0fde75f378a8d68e70edf9d853359bd0abcd47127bbab297989e35cd: 100 - score,\n\t\tGoooFieldfd52e213297222e5e96737fd43cd84631af4386e010f7eb70f26db8e3f46ad8d: GoooComposedActivity0Call1(input0), GoooField04a1711b30bcbaf32e324a4dcdddc420cd0c5c9c4036e9e6a71b9c1f5e0b145d: label}\n}\nfunc GoooComposedActivity0Call0(input int64) int64 {\n\tif input < 0 {\n\t\treturn 0\n\t}\n\tif input > 100 {\n\t\treturn 100\n\t}\n\treturn input\n}\nfunc GoooComposedActivity0Call1(input int64) bool {\n\treturn input >= 0 && input <= 100\n}\n\n//gooo:generated:end id=\"urn:learn-gooo:describe\" kind=\"activity\"\n","driver_source":"package main\n\nimport (\n\t\"encoding/json\"\n\t\"os\"\n)\n\nfunc main() {\n\tvar in [][2]json.RawMessage\n\tif json.NewDecoder(os.Stdin).Decode(&in) != nil || len(in) > 128 {\n\t\tos.Exit(2)\n\t}\n\tout := make([][1]json.RawMessage, len(in))\n\tfor c, row := range in {\n\t\tvar input0 int64\n\t\tif json.Unmarshal(row[0], &input0) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tvar input1 string\n\t\tif json.Unmarshal(row[1], &input1) != nil {\n\t\t\tos.Exit(2)\n\t\t}\n\t\tv0 := GoooComposedActivity0(input0, input1)\n\t\tout[c][0], _ = json.Marshal(v0)\n\t}\n\tif json.NewEncoder(os.Stdout).Encode(out) != nil {\n\t\tos.Exit(3)\n\t}\n}\n","elapsed_ns":4901591,"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:6c1105f08a4af48915806d33f5b6fd92aef0ec308f5b859f5ea71f8fefb801b3","original_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","selected_source_sha256":"sha256:29a5284a82e5372f0a958605cd4a7b9f714e73b5cf5d199e2fbdd9781859159d","typed_plan_sha256":"sha256:c81ac238e8a76d671b28059bbf9889bac1df8c72ed87154d73c07c48573b7fc5","generated_sha256":"sha256:dd7787c484741691991c13d46326a9ded0c884a09eaf9e09e05f05e98f878c10","driver_sha256":"sha256:a81bab217c37d02bcbe652437d67cc0f8da3c1af6c63ef6199a2479934c73caa","runtime_suite_sha256":"sha256:9c7c9b3ae2d66a09828d2122fd77bc8ab483ca3095af4b5fd800d5a9a9e55cd5","executable_sha256":"sha256:5c97bfc6dd186d0d73c6b4f15c1efe2ff4efca6a4b5b8c71182b1a57a11bf3a2","go_tool_sha256":"sha256:548d3c32f83fa81152f543eb1526be7884cfe0526eb5e9ce29d3eca14786e7e0","go_tool_selection":"path","go_version":"go version go1.27.2 linux/amd64","producer_source_sha":"83928fa4538245abe33b08549da47f8cbdc50ed2","producer_module":{"path":"github.com/kimjooyoon/meta-ontology-go","version":"v0.0.0-20261011201109-83928fa45382"},"toolchain":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":3188287,"user_ns":1115000,"system_ns":2230000,"peak_rss_bytes":26693632,"stdout_sha256":"sha256:ed4307d760c597256afdc696a61d47d13e832615d7741ead11c64966a440b376","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":331577,"wait_ns":2856710,"deadline_remaining_ns":59982845117,"context_at_start_return":"ACTIVE"}},"build":{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":151764558,"user_ns":226325000,"system_ns":41549000,"peak_rss_bytes":83410944,"stdout_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":230290,"wait_ns":151534268,"deadline_remaining_ns":59979345766,"context_at_start_return":"ACTIVE"}},"runs":[{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":1861505,"user_ns":0,"system_ns":2024000,"peak_rss_bytes":26824704,"stdout_sha256":"sha256:d012c4befb44d9a53ec46e88545c69a93032bfe9245b09ea6e20ce39a54169a4","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":240474,"wait_ns":1621031,"wait_limit_ns":2000000000,"deadline_remaining_ns":59824264233,"context_at_start_return":"ACTIVE"}},{"started":true,"completed":true,"canceled":false,"timed_out":false,"diagnostics_bytes":0,"output_truncated":false,"exit_code":0,"wall_ns":1879545,"user_ns":0,"system_ns":2040000,"peak_rss_bytes":26824704,"stdout_sha256":"sha256:d012c4befb44d9a53ec46e88545c69a93032bfe9245b09ea6e20ce39a54169a4","stderr_sha256":"sha256:e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855","timing":{"start_ns":211597,"wait_ns":1667948,"wait_limit_ns":2000000000,"deadline_remaining_ns":59822280715,"context_at_start_return":"ACTIVE"}}],"traces":[{"case_index":0,"deliveries":[{"activity_id":"urn:learn-gooo:describe","inputs":[{"port":"input0","entity_id":"urn:gooo:type:integer","value":-5},{"port":"input1","entity_id":"urn:gooo:type:string","value":"sensor"}],"actual":{"in_range":false,"label":"sensor: low","remaining":100,"score":0},"actual_fields":[{"id":"urn:learn-gooo:score","name":"score","value":0},{"id":"urn:learn-gooo:remaining","name":"remaining","value":100},{"id":"urn:learn-gooo:in-range-field","name":"in_range","value":false},{"id":"urn:learn-gooo:label","name":"label","value":"sensor: low"}]}]},{"case_index":1,"deliveries":[{"activity_id":"urn:learn-gooo:describe","inputs":[{"port":"input0","entity_id":"urn:gooo:type:integer","value":42},{"port":"input1","entity_id":"urn:gooo:type:string","value":"sensor"}],"actual":{"in_range":true,"label":"sensor: low","remaining":58,"score":42},"actual_fields":[{"id":"urn:learn-gooo:score","name":"score","value":42},{"id":"urn:learn-gooo:remaining","name":"remaining","value":58},{"id":"urn:learn-gooo:in-range-field","name":"in_range","value":true},{"id":"urn:learn-gooo:label","name":"label","value":"sensor: low"}]}]},{"case_index":2,"deliveries":[{"activity_id":"urn:learn-gooo:describe","inputs":[{"port":"input0","entity_id":"urn:gooo:type:integer","value":75},{"port":"input1","entity_id":"urn:gooo:type:string","value":"sensor"}],"actual":{"in_range":true,"label":"sensor: high","remaining":25,"score":75},"actual_fields":[{"id":"urn:learn-gooo:score","name":"score","value":75},{"id":"urn:learn-gooo:remaining","name":"remaining","value":25},{"id":"urn:learn-gooo:in-range-field","name":"in_range","value":true},{"id":"urn:learn-gooo:label","name":"label","value":"sensor: high"}]}]},{"case_index":3,"deliveries":[{"activity_id":"urn:learn-gooo:describe","inputs":[{"port":"input0","entity_id":"urn:gooo:type:integer","value":105},{"port":"input1","entity_id":"urn:gooo:type:string","value":"sensor"}],"actual":{"in_range":false,"label":"sensor: high","remaining":0,"score":100},"actual_fields":[{"id":"urn:learn-gooo:score","name":"score","value":100},{"id":"urn:learn-gooo:remaining","name":"remaining","value":0},{"id":"urn:learn-gooo:in-range-field","name":"in_range","value":false},{"id":"urn:learn-gooo:label","name":"label","value":"sensor: high"}]}]}],"projection_replayed":true,"runtime_replayed":true,"finite_passed":0,"finite_total":0,"input_separation":{"status":"UNKNOWN","reason":"NO_RUNTIME_EXPECTATIONS","unique_inputs":4,"duplicate_rows":0,"overlapping_inputs":0,"disjoint_inputs":0,"disjoint_cases_passed":0,"unknown_inputs":4,"scope":"unique root-input tuples; actual inputs at graph activities and constructed helper calls compared with source output/condition/holdout cases and recorded probes; all supplied expectations across duplicate rows must match; model-training exposure is unknown"},"model_calls":0,"elapsed_ns":181362688,"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"}}