160 lines
3.8 KiB
JSON
160 lines
3.8 KiB
JSON
{
|
|
"schema_version": 1,
|
|
"phase": "PHASE_1_0B_FIRST_DEVICE_SMOKE_CANDIDATE_HARDENING",
|
|
"status": "SOURCE_BOUND_OFFLINE_CONTRACT",
|
|
"runtime_limit_ms": 60000,
|
|
"frame_limit": 3600,
|
|
"shutdown_hold_ms": 2000,
|
|
"shutdown_request_max": 1,
|
|
"exit_reachable_call_count": 1,
|
|
"selected_exit_method": "PROCESS__EXIT_AFTER_TEARDOWN",
|
|
"automatic_retry": false,
|
|
"autoload": false,
|
|
"persistent_writes_allowed": false,
|
|
"audio_submit_bounded": false,
|
|
"hardware_evidence": false,
|
|
"phases": [
|
|
"S00_ENTRY",
|
|
"S01_PLATFORM_INIT",
|
|
"S02_SDL_INIT",
|
|
"S03_VIDEO_INIT",
|
|
"S04_INPUT_INIT",
|
|
"S05_AUDIO_INIT",
|
|
"S06_CORE_INIT",
|
|
"S07_RUNNING",
|
|
"S08_SHUTDOWN_REQUESTED",
|
|
"S09_CORE_DEINIT",
|
|
"S10_AUDIO_DEINIT",
|
|
"S11_INPUT_DEINIT",
|
|
"S12_VIDEO_DEINIT",
|
|
"S13_SDL_DEINIT",
|
|
"S14_EXITING",
|
|
"S15_COMPLETE"
|
|
],
|
|
"errors": [
|
|
"E000_NONE",
|
|
"E101_PLATFORM_INIT",
|
|
"E102_SDL_INIT",
|
|
"E103_VIDEO_OPEN",
|
|
"E104_FRAMEBUFFER_ALLOC",
|
|
"E105_FRAMEBUFFER_BOUNDS",
|
|
"E106_FLIP_SUBMIT",
|
|
"E107_FLIP_WAIT_TIMEOUT",
|
|
"E108_INPUT_OPEN",
|
|
"E109_INPUT_READ",
|
|
"E110_INPUT_DISCONNECTED",
|
|
"E111_AUDIO_OPEN",
|
|
"E112_AUDIO_SUBMIT",
|
|
"E113_AUDIO_SUBMIT_TIMEOUT",
|
|
"E114_CORE_INIT",
|
|
"E115_CORE_RUN",
|
|
"E116_RUNTIME_DEADLINE",
|
|
"E117_FRAME_DEADLINE",
|
|
"E118_WRITE_BLOCKED",
|
|
"E119_DUPLICATE_INIT",
|
|
"E120_CLEANUP_ORDER",
|
|
"E121_DUPLICATE_CLEANUP",
|
|
"E122_CLEANUP_FAILED",
|
|
"E123_EXIT_UNAVAILABLE"
|
|
],
|
|
"initialized_subsystems": [
|
|
"platform",
|
|
"sdl",
|
|
"video",
|
|
"input",
|
|
"audio",
|
|
"retroarch_frontend",
|
|
"smokecore",
|
|
"threads",
|
|
"buffers",
|
|
"direct_memory",
|
|
"device_handles"
|
|
],
|
|
"cleanup_contract": {
|
|
"initialized_only": true,
|
|
"exactly_once": true,
|
|
"reverse_order": true,
|
|
"failures_are_sticky": true,
|
|
"retry": false
|
|
},
|
|
"write_routes": [
|
|
{
|
|
"name": "retroarch_vfs",
|
|
"write": false,
|
|
"create": false,
|
|
"append": false,
|
|
"truncate": false,
|
|
"rename": false,
|
|
"unlink": false,
|
|
"mkdir": false,
|
|
"retry": false
|
|
},
|
|
{
|
|
"name": "link_time_libc_wrappers",
|
|
"write": false,
|
|
"create": false,
|
|
"append": false,
|
|
"truncate": false,
|
|
"rename": false,
|
|
"unlink": false,
|
|
"mkdir": false,
|
|
"retry": false
|
|
},
|
|
{
|
|
"name": "config_content_and_save_paths",
|
|
"write": false,
|
|
"create": false,
|
|
"append": false,
|
|
"truncate": false,
|
|
"rename": false,
|
|
"unlink": false,
|
|
"mkdir": false,
|
|
"retry": false
|
|
}
|
|
],
|
|
"input_contract": {
|
|
"controller_count": 1,
|
|
"shutdown_mapping": "PS5_OPTIONS_TO_SDL_BACK_TO_RETROARCH_SELECT",
|
|
"hold_ms": 2000,
|
|
"deadzone_raw": 4915,
|
|
"deadzone_percent": 15,
|
|
"rumble": false,
|
|
"lightbar": false
|
|
},
|
|
"video_contract": {
|
|
"source_width": 320,
|
|
"source_height": 240,
|
|
"pixel_format": "XRGB8888",
|
|
"double_buffered": true,
|
|
"copy_bounds_checked": true,
|
|
"flip_wait_timeout_us": 100000,
|
|
"open_timeout_evidenced": false
|
|
},
|
|
"audio_contract": {
|
|
"sample_rate_hz": 48000,
|
|
"channels": 2,
|
|
"submit_calls_counted": true,
|
|
"submitted_frames_counted": true,
|
|
"submit_duration_measured": true,
|
|
"cleanup_duration_measured": true,
|
|
"native_underrun_counter": "UNSUPPORTED",
|
|
"native_overrun_counter": "UNSUPPORTED",
|
|
"blocking_submit_timeout_evidenced": false
|
|
},
|
|
"declared_unbounded_or_unproven_calls": [
|
|
"sceVideoOutOpen",
|
|
"scePadOpen",
|
|
"sceAudioOutOpen",
|
|
"sceAudioOutOutput",
|
|
"pthread_join",
|
|
"sceKernelMapDirectMemory_cleanup"
|
|
],
|
|
"startup_effects": {
|
|
"sdk_crt_temporary_process_kernel_writes": true,
|
|
"sdk_runtime_module_resolution": true,
|
|
"sdk_conditional_sysmodule_load": true,
|
|
"retroarch_dynamic_core_loading": false,
|
|
"firmware_9_60_runtime_behavior": "UNPROVEN"
|
|
}
|
|
}
|