61 lines
2.2 KiB
JSON
61 lines
2.2 KiB
JSON
{
|
|
"schema_version": 1,
|
|
"phase": "PHASE_1_0AM_OFFLINE_BOUNDED_COPY_RESTORE_MODEL",
|
|
"status": "HOST_EXACT_PROGRESS_AND_RESTORE_MODEL_COMPLETE_TARGET_CODE_BLOCKED",
|
|
"date": "2026-07-29",
|
|
"source_bindings": {
|
|
"phase10al_manifest_sha256": "4a143c0fb2aae98ee0c7452326f8a2fd72afc24d79867282b82ab77cb58c188a",
|
|
"model_size": 7140,
|
|
"model_sha256": "025976fe8736caea6ee33ae107f97411ff2f5981b16f7005098eb9314b1ddeb3",
|
|
"tests_size": 5081,
|
|
"tests_sha256": "6f9f97134efb83e50881fae813cb0119d4da2f17fda979ffe841209e8e5c8895"
|
|
},
|
|
"bounds": {
|
|
"maximum_copy_size": 134217728,
|
|
"maximum_chunks": 4096,
|
|
"maximum_fake_events": 4112,
|
|
"maximum_ticks": 8192,
|
|
"address_width_bits": 64
|
|
},
|
|
"contract": {
|
|
"backup_both_fields_before_change": true,
|
|
"restore_caps_and_authid_on_every_changed_exit": true,
|
|
"independent_restore_failure_bits": true,
|
|
"exact_progress_reported": true,
|
|
"zero_progress_rejected": true,
|
|
"oversized_progress_rejected": true,
|
|
"complete_status_requires_exact_length": true,
|
|
"range_arithmetic_checked": true,
|
|
"partial_copy_kills_and_reaps_child": true,
|
|
"restore_failure_kills_child_and_terminates_service": true,
|
|
"terminal_cleanup_failure_is_hard_error": true,
|
|
"credential_interface_present": false,
|
|
"process_interface_present": false,
|
|
"memory_interface_present": false,
|
|
"clock_interface_present": false
|
|
},
|
|
"remaining_blockers": [
|
|
"TARGET_SIDE_BOUNDED_COPY_IMPLEMENTATION_ABSENT",
|
|
"SERVICE_TERMINATION_AND_RESTART_OWNERSHIP_UNPROVEN",
|
|
"MDBG_RESULT_STATUS_SEMANTICS_NOT_INDEPENDENTLY_DOCUMENTED",
|
|
"BIGAPP_AND_HARDENED_LOADER_COMPOSITION_NOT_BUILT",
|
|
"PS5_CROSS_TARGET_BUILD_NOT_AUTHORIZED",
|
|
"FIRMWARE_960_RUNTIME_BEHAVIOR_UNPROVEN"
|
|
],
|
|
"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": {
|
|
"host_copy_restore_model_complete": true,
|
|
"target_implementation_allowed": false,
|
|
"device_action_allowed": false,
|
|
"service_lifecycle_source_audit_allowed": true,
|
|
"next_step": "OFFLINE_SERVICE_TERMINATION_RESTART_OWNERSHIP_AUDIT"
|
|
}
|
|
}
|