58 lines
2.0 KiB
JSON
58 lines
2.0 KiB
JSON
{
|
|
"schema_version": 1,
|
|
"phase": "PHASE_1_0AF_OFFLINE_BIGAPP_LIFECYCLE_MODEL",
|
|
"status": "HOST_LIFECYCLE_MODEL_COMPLETE_TARGET_IMPLEMENTATION_BLOCKED",
|
|
"date": "2026-07-29",
|
|
"source_bindings": {
|
|
"phase10ae_manifest_sha256": "eeebff316a84b184bb802485e0ed5ad42016f3236ba44c04e718c9fb08ca680d",
|
|
"model_size": 8096,
|
|
"model_sha256": "00c8bed501715d737ad1328f3d4c98fe16f69c061016a939ecb3774d9c1f28f3",
|
|
"tests_size": 4749,
|
|
"tests_sha256": "d112a5202fd3520a407256ebb64e1b06e37f76a52d7e6cfe95d2410ae4c834a1"
|
|
},
|
|
"model": {
|
|
"fixed_title": "PPSA01659",
|
|
"maximum_main_ticks": 64,
|
|
"maximum_fake_events": 64,
|
|
"maximum_cleanup_events": 3,
|
|
"require_no_existing_bigapp": true,
|
|
"unique_positive_child_id": true,
|
|
"parent_detach_on_every_acquired_path": true,
|
|
"restore_before_child_termination": true,
|
|
"terminate_only_observed_new_child": true,
|
|
"existing_bigapp_killed": false,
|
|
"target_code_present": false,
|
|
"socket_present": false,
|
|
"process_api_present": false,
|
|
"syscall_present": false,
|
|
"real_clock_present": false,
|
|
"filesystem_output_present": false
|
|
},
|
|
"remaining_blockers": [
|
|
"REAL_BOUNDED_WAIT_IMPLEMENTATION_ABSENT",
|
|
"REAL_UNIQUE_CHILD_CORRELATION_UNPROVEN",
|
|
"TARGET_CLEANUP_BEHAVIOR_UNPROVEN",
|
|
"BOUNDED_ELF_VALIDATOR_ABSENT",
|
|
"PPSA01659_FIRMWARE_9_60_ROLE_UNPROVEN",
|
|
"SYSTEMSERVICE_DECLARATIONS_SINGLE_LINEAGE",
|
|
"KERNEL_PTRACE_EFFECT_POLICY_UNREVIEWED"
|
|
],
|
|
"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,
|
|
"app_termination_authorized": false,
|
|
"system_remount_authorized": false
|
|
},
|
|
"decision": {
|
|
"host_model_complete": true,
|
|
"target_implementation_allowed": false,
|
|
"device_action_allowed": false,
|
|
"bounded_elf_host_validator_allowed": true,
|
|
"next_step": "OFFLINE_BOUNDED_ELF_CONTRACT_AND_VALIDATOR"
|
|
}
|
|
}
|