{
  "schema_version": 1,
  "phase": "PHASE_1_0AR_OFFLINE_EXCLUSIVE_RESULT_CHANNEL_MODEL",
  "status": "HOST_PARTIAL_READ_AND_DEADLINE_MODEL_COMPLETE_LIVE_CHANNEL_BLOCKED",
  "date": "2026-07-29",
  "source_bindings": {
    "phase10aq_manifest_sha256": "04d5e26c3dcb54ddd029e477e329d1824fae3ab851752cac35c3b450975e7cfc",
    "model_size": 3999,
    "model_sha256": "416a17addde1ecf114f2f9924287c3358c9a10c84bed251c008d2aee6e4dd1c8",
    "tests_size": 4202,
    "tests_sha256": "a8dfc17daf3d05dade537aacd4cd60482958a30a527c7bfc60ae9cba5355e1b4"
  },
  "bounds": {
    "record_size": 128,
    "maximum_chunks": 128,
    "maximum_ticks": 256,
    "writers": 1,
    "records": 1
  },
  "channel": {
    "writer_pid_generation_and_nonce_precommitted": true,
    "exclusive_writer_required": true,
    "arbitrary_partial_reads_supported": true,
    "byte_at_a_time_supported": true,
    "record_overflow_rejected": true,
    "deadline_preempts_crossing_read": true,
    "eof_is_success": false,
    "silent_incomplete_is_success": false,
    "record_completion_is_success_boundary": true,
    "trailing_event_after_record_rejected": true,
    "failure_requires_worker_child_containment": true,
    "live_pipe_present": false,
    "live_fd_present": false,
    "real_clock_present": false,
    "process_interface_present": false
  },
  "remaining_blockers": [
    "PS5_PIPE_OR_SOCKETPAIR_CREATION_OWNERSHIP_UNPROVEN",
    "EXCLUSIVE_FD_INHERITANCE_AND_CLOSE_ORDER_UNPROVEN",
    "NONBLOCKING_READ_AND_HARD_DEADLINE_PRIMITIVES_UNBOUND",
    "PIPE_BUF_ATOMICITY_NOT_REQUIRED_BY_MODEL_BUT_LIVE_FRAMING_UNPROVEN",
    "BLOCKED_WORKER_TERMINATION_AND_REAP_UNPROVEN",
    "TARGET_SOURCE_AND_CROSS_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_channel_model_complete": true,
    "live_channel_implementation_allowed": false,
    "target_implementation_allowed": false,
    "device_action_allowed": false,
    "channel_primitive_source_audit_allowed": true,
    "next_step": "OFFLINE_RESULT_CHANNEL_PRIMITIVE_AND_FD_OWNERSHIP_AUDIT"
  }
}