85 lines
3.4 KiB
JSON
85 lines
3.4 KiB
JSON
{
|
|
"schema_version": 1,
|
|
"phase": "PHASE_1_0AU_OFFLINE_LIVE_RESULT_CHANNEL_FEASIBILITY_REASSESSMENT",
|
|
"status": "PRIMITIVE_SIGNATURES_COMPLETE_COMPOSITION_AND_RUNTIME_BLOCKED",
|
|
"date": "2026-07-29",
|
|
"source_bindings": {
|
|
"phase10at_manifest_sha256": "17584b4ee70ecca138b8fbddf03526b6070daa6ccb4aa366231457b5272df9da",
|
|
"sdk_commit": "a0d2bc60bdcc0a5ee9e790fa3b02fe5051a152d0",
|
|
"shsrv_commit": "6f320637d56d344a0e7797753099e33238bbf146",
|
|
"sdk_sys_unistd_blob": "d4d4d340c3d90def316b2f061f81280767191c2b",
|
|
"sdk_sys_unistd_size": 7543,
|
|
"sdk_unistd_blob": "a30be948adfc3c554b1ec9e25362544c35a5fbd5",
|
|
"sdk_unistd_size": 19016,
|
|
"sdk_sys_fcntl_blob": "ac16b8e4dbd4b097a697f39b779d46d68ae5992a",
|
|
"sdk_sys_fcntl_size": 11295,
|
|
"sdk_time_blob": "a19d550e5264b4a082b0ef0eab5cb98be210b627",
|
|
"sdk_time_size": 6699,
|
|
"sdk_wait_blob": "0d41bc6e40518cb88c8df4ac92bac581c12e1661",
|
|
"sdk_wait_size": 6272,
|
|
"sdk_signal_blob": "0b98653e66cd54641f42b2e51ddc5c936abcae3c",
|
|
"sdk_signal_size": 4545,
|
|
"shsrv_builtin_blob": "59a244fba80c1d51d1cb4204ea1a3b26d0be3ada",
|
|
"shsrv_builtin_size": 3980,
|
|
"shsrv_shell_blob": "40d7107dbc1c3616f830a27a2b51c17cba1cec83",
|
|
"shsrv_shell_size": 12635,
|
|
"shsrv_service_blob": "7f77aef966a995b6fd4f1fec3f7c681115884177",
|
|
"shsrv_service_size": 5051
|
|
},
|
|
"public_source_contracts": {
|
|
"pipe_declared": true,
|
|
"rffdg_copy_fd_table_declared": true,
|
|
"fcntl_getfl_setfl_and_nonblock_declared": true,
|
|
"poll_declared": true,
|
|
"clock_monotonic_declared": true,
|
|
"kill_declared": true,
|
|
"waitpid_and_wnohang_declared": true,
|
|
"source_level_design_inputs_complete": true
|
|
},
|
|
"official_composition_audit": {
|
|
"worker_uses_rffdg": false,
|
|
"worker_uses_rfcfdg_close_all": true,
|
|
"exclusive_result_pipe_ownership_present": false,
|
|
"nonblocking_result_read_present": false,
|
|
"absolute_monotonic_deadline_present": false,
|
|
"bounded_kill_and_reap_present": false,
|
|
"service_has_unbounded_restart_loop": true,
|
|
"direct_shsrv_reuse_allowed": false
|
|
},
|
|
"evidence_limits": {
|
|
"headers_prove_firmware_960_runtime": false,
|
|
"source_callsites_prove_hard_preemption": false,
|
|
"phase10at_fake_model_proves_live_cleanup": false,
|
|
"launch_context_fix_proven": false,
|
|
"videoout_permission_proven": false,
|
|
"visible_flip_proven": false
|
|
},
|
|
"remaining_blockers": [
|
|
"NO_OFFICIAL_SAFE_RESULT_CHANNEL_COMPOSITION",
|
|
"CURRENT_SHSRV_WORKER_CLOSES_PRECREATED_FDS",
|
|
"CURRENT_SHSRV_SERVICE_RESTARTS_AUTOMATICALLY",
|
|
"HARD_WALL_CLOCK_PREEMPTION_UNPROVEN",
|
|
"BOUNDED_REAL_WORKER_REAP_UNPROVEN",
|
|
"DEPLOYED_SHSRV_IDENTITY_UNPROVEN",
|
|
"FIRMWARE_960_RUNTIME_BEHAVIOR_UNPROVEN",
|
|
"TARGET_SOURCE_AND_CROSS_BUILD_NOT_AUTHORIZED"
|
|
],
|
|
"authorizations": {
|
|
"target_source_authorized": false,
|
|
"target_build_authorized": false,
|
|
"ps5_connection_authorized": false,
|
|
"device_transfer_authorized": false,
|
|
"device_execution_authorized": false,
|
|
"device_write_authorized": false
|
|
},
|
|
"decision": {
|
|
"offline_source_feasibility_reassessment_complete": true,
|
|
"live_result_channel_implementation_allowed": false,
|
|
"copy_shsrv_code_allowed": false,
|
|
"target_implementation_allowed": false,
|
|
"device_action_allowed": false,
|
|
"offline_canary_contract_design_allowed": true,
|
|
"next_step": "OFFLINE_LAUNCH_CONTEXT_CANARY_CONTRACT_WITH_DISTINCT_TERMINAL"
|
|
}
|
|
}
|