78 lines
2.4 KiB
JSON
78 lines
2.4 KiB
JSON
{
|
|
"artifact_built": false,
|
|
"decision": "BLOCKED",
|
|
"entries": [
|
|
{
|
|
"component": "payload_args_t field layout",
|
|
"evidence": ["include/ps5/payload.h", "crt1.o disassembly offset 0x28"],
|
|
"status": "SAFE"
|
|
},
|
|
{
|
|
"component": "default crt1.o startup",
|
|
"evidence": ["crt/crt.c", "crt/Makefile", "crt1.o reachable callgraph"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "__patch_init",
|
|
"evidence": ["crt/patch.c", "crt1.o relocation and disassembly"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "kernel credential capability and attribute writes",
|
|
"evidence": ["kernel_set_ucred_caps", "kernel_set_ucred_attrs", "kernel_copyin"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "syscall address-bound writes",
|
|
"evidence": ["crt/patch.c offsets 0xf0 and 0xf8", "kernel_copyin"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "ptrace and JIT capability changes",
|
|
"evidence": ["crt/patch.c caps[15] and attrs[3] mutations"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "SPRX module loading during SDK rtld initialization",
|
|
"evidence": ["__rtld_init", "__rtld_sprx_init", "sceKernelLoadStartModule"],
|
|
"status": "UNSAFE"
|
|
},
|
|
{
|
|
"component": "new network initialization",
|
|
"evidence": ["kernel_overlap_sockets linked but not startup-reachable", "default libSceNet dependency"],
|
|
"status": "UNPROVEN"
|
|
},
|
|
{
|
|
"component": "GNM, VideoOut, and SDL calls in Phase-0.5 project source",
|
|
"evidence": ["no Phase-0.5 candidate source or artifact was created"],
|
|
"status": "SAFE"
|
|
},
|
|
{
|
|
"component": "-nostartfiles -nodefaultlibs driver suppression",
|
|
"evidence": ["prospero-clang -### trace"],
|
|
"status": "SAFE"
|
|
},
|
|
{
|
|
"component": "loader caller stack and return ABI",
|
|
"evidence": ["exact pinned loader caller source absent"],
|
|
"status": "UNPROVEN"
|
|
},
|
|
{
|
|
"component": "payloadout ownership, lifetime, and writability",
|
|
"evidence": ["callee header only"],
|
|
"status": "UNPROVEN"
|
|
},
|
|
{
|
|
"component": "post-return and crash cleanup",
|
|
"evidence": ["exact pinned loader caller source absent"],
|
|
"status": "UNPROVEN"
|
|
},
|
|
{
|
|
"component": "loader changes before entry",
|
|
"evidence": ["kernel-access fields are supplied but their creation path is absent"],
|
|
"status": "UNPROVEN"
|
|
}
|
|
],
|
|
"schema_version": 1
|
|
}
|