{"absence_after":{"authorization_r71":true,"build_r3_a":true,"build_r3_b":true,"candidate_r3":true,"execution_r71":true,"inputs_r3":true,"observer_r71":true,"preflight_r71":true,"preseal_r71":true,"receipts_r3":true},"cleanup":{"changed_bytecode_removed":true,"temporary_files_removed":true},"forbidden_effects":{"builds":0,"commits":0,"customer_messages":0,"customer_updates":0,"git":0,"live_profile":0,"network":0,"seals":0,"service":0},"frozen_source_hashes":{"scripts/execute_nutricoach_v150_sealed_live.py":"2fd6b4d08e1e075ef014b8f26537f84f80b96e04d9a651f6aec18111910e9322","scripts/nutricoach_v150_detached_bootstrap.py":"2b3b233e7f4336bc86063230baebd3d544dd04e2a32f8d29081e9bae50f736b9","scripts/nutricoach_v150_sealed_controller.py":"91f282ebe2bfcd6d4986001f0f4fffea09cbc08ee8c8fa50eace936baf46e58e","scripts/prepare_nutricoach_v150_v15_preseal.py":"dad7863ed21a312371634ed397c6638b2308002a384e752d481f324948d4c9e7","scripts/rehearse_nutricoach_v150_v15.py":"6df2fa9fc7a5337d8cac3a6c1812afebb3e81828c7ea79c2340043f685eb209a","scripts/seal_nutricoach_v150_candidate.py":"5f7fa6df076c6533c30453069d78c9afb83453e73a5c81b7333d69727830b970","scripts/verify_nutricoach_v150_candidate.py":"baf05e574dfbcc462afc5d12f564c473fe1093a6680c2c799272c15d92baf21b","scripts/verify_nutricoach_v150_candidate_inputs.py":"668839b6ddd3e791d17b9ea4110808c173f8af5059a7cc8cece0912a6c900343","scripts/verify_nutricoach_v150_preseal_v15.py":"5c116ea13f8e03dbfb891bf9e0d09e33c0ce2adfe09dd3e1cbaed60f8163e48d","tests/test_nutricoach_v150_v15_closure.py":"fd68ddff333e0de98860346cb3c0d61f1dcb5a61373b3b9d379e603f5d12a1a5"},"immutable_candidates":{"r1":{"digest":"aa377308a8967fb8e2557f5283b1c67e5fec0ad2410ce2bee3b4835888cae14f","modes":"UNCHANGED_IMMUTABLE","ordered_absolute_hash_stream":"47b84e21fbc7963d1491ad2295093df9dd28dafb1288f404b5efc4dab8bd172e","tree_digest":"03c7a6b241e301904180a523a82e679ed82c25ed54e06c320b6cfa65b9090501","trusted":false},"r2":{"digest":"54550d75a31055f40a293d444a17fdd463ace784ca16e0cb0137cd695f7ab37e","fixture_only":true,"modes":"UNCHANGED_IMMUTABLE","sealed_source_verifier":"NUTRICOACH_V150_CANDIDATE_PASS","tree_digest":"90ec738593b74a40e3dadde8816191754601e176c236e14d283815d6510bbb9b"}},"phase":"source-freeze-only","r3_artifacts_created":0,"reference_audit":{"expected_observer_r70":"Todo11-only observer runtime and seven-day observer","expected_r71":"preseal, preflight, authority ID, rehearsal, detached bootstrap, controller, live launcher","expected_tombstones":"evidence roots only; absent from source selection","unintended_r70_or_r2_in_candidate_preseal_controller_live_files":0},"root_contract":{"default_candidate":"/home/cube/projects/richard/traning coach/.omo/evidence/nutricoach-v150-combined/task-v15r71-candidate-r3","fixture_env":"NUTRICOACH_V150_CANDIDATE_ROOT","validated_fixture":"/home/cube/projects/richard/traning coach/.omo/evidence/nutricoach-v150-combined/task-v15r71-candidate-r2"},"schema":"nutricoach-telegram-checkin-stepper-task-8-r71-r3-source-freeze-v1","source_hash_stream":"6a289c279376b5b2ceb45fa8bd70bebcf688a59280b1a7e2c2f628b742a537e8","status":"SOURCE_FREEZE_PASS","tdd":{"green":{"basedpyright":"0 errors, 0 warnings, 0 notes","compile":"PASS","focused_selection":"12 passed, 5 deselected","focused_tests":"19 passed in 1.03s","lsp_errors":0,"lsp_files":10,"ruff":"PASS","ty":"PASS"},"red":{"basedpyright_errors":3,"details":["private _SUCCESSOR_OVERLAY_PATHS import","invariant list argument to verify_v17_overlay","unused seal_candidate return"],"exit_code":1}},"typed_changes":{"any":0,"assertion_weakening":0,"cast":0,"ignore":0,"input_contract":"Sequence[Mapping[str, JsonValue]]","noqa":0,"public_overlay_contract":"SUCCESSOR_OVERLAY_PATHS: Final[frozenset[str]]","sealer_result_consumed":true}}