Original OS workstream ledger¶

This page is derived from the original CSV; it is not a new status authority, execution record or software qualification. Original IDs, order and all fields come from the original ledger. Source: docs/design/os-execution.csv; SHA-256: df25e8d6e399df3b1aa6a1c444b9570be04929bf70d30f8484a11dff4e3ed747.

Different ledgers overlap in scope; do not add their counts or calculate a project-wide completion rate. Interpret implementation, software and physical status separately. development_passed does not mean execution at the current documentation HEAD. Consult the exact results index for the source and scope of qualification_record_authority. Absolute /workspace and /dev/shm locators retain their original bytes and only identify the original execution host. See the software-evidence entry for retrievable archives and member locations.

Original exit fields are only fields actually present in the original CSV. Tasks, qualification prerequisites and contract links also retain their original wording; they cannot be used to invent an execution.

The original ledger defines no separate exit field. This page retains original task fields and fields such as qualification_authority. Review specific contracts and actual validation at their original paths; do not write a second set of exit conditions.

This table contains 55 original records; this is only the source row count.

OS01 ¶

Original field	Original value
`task_id`	OS01
`priority`	P1
`task`	Finite deadline under continuous unrelated wake
`implementation_paths`	os/baremetal/notify.c;os/native/native.c;os/freertos/freertos.c
`evidence_paths`	tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS02 ¶

Original field	Original value
`task_id`	OS02
`priority`	P1
`task`	Final observed completion wins timeout competition
`implementation_paths`	os/wait.c;os/include/nexus/os/wait.h
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS03 ¶

Original field	Original value
`task_id`	OS03
`priority`	P1
`task`	Unified wait deadline/error/context contract
`implementation_paths`	os/include/nexus/os/wait.h;docs/design/os-contracts.md
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS04 ¶

Original field	Original value
`task_id`	OS04
`priority`	P1
`task`	Actual port startup stack minimum and alignment
`implementation_paths`	os/freertos/freertos.c;tools/configure/kernel.py
`evidence_paths`	tests/google/freertos_context_test.cpp;tools/configure/test_kernel.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS05 ¶

Original field	Original value
`task_id`	OS05
`priority`	P1
`task`	Task rejection before object mutation/kernel entry
`implementation_paths`	os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h
`evidence_paths`	tests/google/freertos_context_test.cpp
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS06 ¶

Original field	Original value
`task_id`	OS06
`priority`	P1
`task`	Baseline complete IRQ wake binding
`implementation_paths`	io/src/wake.c;io/native/uart.c
`evidence_paths`	tests/google/wake_test.cpp;tests/google/irq_wake_test.cpp;tests/google/irq_wake_stm32_test.cpp;tests/google/irq_wake_gd32_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS07 ¶

Original field	Original value
`task_id`	OS07
`priority`	P1
`task`	Explicit NONE/PRIMASK/BASEPRI kernel policy
`implementation_paths`	io/include/nexus/io/wake.h;io/src/wake.c;tools/configure/kernel.py
`evidence_paths`	tests/google/wake_test.cpp;tools/configure/test_kernel.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS08 ¶

Original field	Original value
`task_id`	OS08
`priority`	P1
`task`	SysTick exact clock/rate/reload validation
`implementation_paths`	tools/configure/kernel.py;os/freertos/include/FreeRTOSConfig.h
`evidence_paths`	tools/configure/test_kernel.py;scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS09 ¶

Original field	Original value
`task_id`	OS09
`priority`	P1
`task`	External Tick strong setup hook
`implementation_paths`	os/freertos/tick.c;os/freertos/include/nexus/os/tick.h
`evidence_paths`	scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS10 ¶

Original field	Original value
`task_id`	OS10
`priority`	P2
`task`	Notification publisher/waiter lifecycle
`implementation_paths`	os/include/nexus/os/wait.h;os/native/include/nexus/os/native.h;docs/design/os-contracts.md
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS11 ¶

Original field	Original value
`task_id`	OS11
`priority`	P2
`task`	Single lifecycle owner and single joiner
`implementation_paths`	os/native/include/nexus/os/native.h;os/freertos/include/nexus/os/freertos.h
`evidence_paths`	tests/google/os_wait_test.cpp;tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS12 ¶

Original field	Original value
`task_id`	OS12
`priority`	P2
`task`	Native external cancellation/detach exclusion
`implementation_paths`	os/native/include/nexus/os/native.h;docs/design/os-contracts.md
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS13 ¶

Original field	Original value
`task_id`	OS13
`priority`	P2
`task`	Explicit queue close/drain/destroy
`implementation_paths`	os/freertos/include/nexus/os/freertos.h;os/freertos/freertos.c;os/native/native.c
`evidence_paths`	tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS14 ¶

Original field	Original value
`task_id`	OS14
`priority`	P2
`task`	Queue absolute deadlines without repeated relative extension
`implementation_paths`	os/freertos/freertos.c;os/native/native.c
`evidence_paths`	tests/google/freertos_context_test.cpp;tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS15 ¶

Original field	Original value
`task_id`	OS15
`priority`	P2
`task`	Owner progresses during producer stop/drain/join
`implementation_paths`	components/bus_owner/src/bus_owner.c;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime
`evidence_paths`	X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS16 ¶

Original field	Original value
`task_id`	OS16
`priority`	P2
`task`	SETTLED distinct from notification reclamation
`implementation_paths`	docs/design/os-contracts.md;os/include/nexus/os/wait.h
`evidence_paths`	tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS17 ¶

Original field	Original value
`task_id`	OS17
`priority`	P2
`task`	Error ownership and recovery obligations
`implementation_paths`	docs/design/os-contracts.md;docs/delivery/os.md
`evidence_paths`	X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS18 ¶

Original field	Original value
`task_id`	OS18
`priority`	P2
`task`	Maintained OS profiles and immutable IR
`implementation_paths`	tools/configure/kernel.py;tools/configure/ir.py;tools/configure/runtime.py
`evidence_paths`	tools/configure/test_kernel.py;scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS19 ¶

Original field	Original value
`task_id`	OS19
`priority`	P2
`task`	Separate CPU/IRQ facts from kernel policy
`implementation_paths`	tools/configure/kernel.py;tools/configure/cpu.py
`evidence_paths`	tools/configure/test_kernel.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS20 ¶

Original field	Original value
`task_id`	OS20
`priority`	P2
`task`	Optional kernel capability pruning
`implementation_paths`	os/freertos/include/FreeRTOSConfig.h;tools/configure/kernel.py
`evidence_paths`	scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS21 ¶

Original field	Original value
`task_id`	OS21
`priority`	P2
`task`	Explicit Idle stack and task name budgets
`implementation_paths`	tools/configure/kernel.py;os/freertos/hooks.c
`evidence_paths`	tools/configure/test_kernel.py;scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS22 ¶

Original field	Original value
`task_id`	OS22
`priority`	P2
`task`	Direct task notification optional adapter
`implementation_paths`	os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h
`evidence_paths`	tests/google/freertos_context_test.cpp;tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS23 ¶

Original field	Original value
`task_id`	OS23
`priority`	P2
`task`	Permanent task without join semaphore
`implementation_paths`	os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h
`evidence_paths`	tests/google/freertos_context_test.cpp;tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS24 ¶

Original field	Original value
`task_id`	OS24
`priority`	P2
`task`	Measure shared wait table before ABI change
`implementation_paths`	scripts/ci/os_wait_cost.py;tests/contracts/os_wait_cost
`evidence_paths`	scripts/ci/test_os_wait_cost.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS25 ¶

Original field	Original value
`task_id`	OS25
`priority`	P2
`task`	Stable operation descriptors rather than payload copy
`implementation_paths`	components/bus_owner/include/nexus/components/bus_owner.h;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime
`evidence_paths`	X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS26 ¶

Original field	Original value
`task_id`	OS26
`priority`	P2
`task`	Actual OS object and linked image cost report
`implementation_paths`	scripts/ci/os_resources.py;scripts/ci/os_profiles.py;scripts/ci/os_wait_cost.py
`evidence_paths`	tests/contracts/os_wait_cost;scripts/ci/test_os_resources.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS27 ¶

Original field	Original value
`task_id`	OS27
`priority`	P2
`task`	Hot path instruction costs and measurement definitions
`implementation_paths`	scripts/ci/os_resources.py;scripts/ci/os_wait_cost.py;tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py;scripts/ci/test_os_resources.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS28 ¶

Original field	Original value
`task_id`	OS28
`priority`	P1
`task`	Deadline GoogleTest/GoogleMock regression
`implementation_paths`	tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS29 ¶

Original field	Original value
`task_id`	OS29
`priority`	P1
`task`	Startup stack/alignment/zero-effect regression
`implementation_paths`	tests/google/freertos_context_test.cpp;tools/configure/test_kernel.py
`evidence_paths`	tests/google/freertos_context_test.cpp
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS30 ¶

Original field	Original value
`task_id`	OS30
`priority`	P1
`task`	Baseline facts to provider wake regression
`implementation_paths`	tests/google/wake_test.cpp;tests/google/irq_wake_test.cpp;tests/google/irq_wake_stm32_test.cpp;tests/google/irq_wake_gd32_test.cpp
`evidence_paths`	tests/google/wake_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS31 ¶

Original field	Original value
`task_id`	OS31
`priority`	P2
`task`	Deterministic wait races and publisher isolation
`implementation_paths`	tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp
`evidence_paths`	tests/google/os_wait_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS32 ¶

Original field	Original value
`task_id`	OS32
`priority`	P2
`task`	Queue close broadcast and drain regression
`implementation_paths`	tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp
`evidence_paths`	tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS33 ¶

Original field	Original value
`task_id`	OS33
`priority`	P2
`task`	Returning task timeout/reuse/storage regression
`implementation_paths`	tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp
`evidence_paths`	tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS34 ¶

Original field	Original value
`task_id`	OS34
`priority`	P2
`task`	Controlled concurrency and sanitizer validation
`implementation_paths`	tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime;docs/design/os-contracts.md
`evidence_paths`	tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS35 ¶

Original field	Original value
`task_id`	OS35
`priority`	P2
`task`	Profiles included in permanent CI and SDK checks
`implementation_paths`	scripts/ci/os_profiles.py;.github/workflows
`evidence_paths`	scripts/ci/os_profiles.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS36 ¶

Original field	Original value
`task_id`	OS36
`priority`	P2
`task`	Actual pinned POSIX kernel lifecycle integration
`implementation_paths`	tests/contracts/os_freertos_runtime
`evidence_paths`	tests/contracts/os_freertos_runtime
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS37 ¶

Original field	Original value
`task_id`	OS37
`priority`	P2
`task`	Current OS contracts and support boundaries
`implementation_paths`	docs/design/os-contracts.md;docs/delivery/os.md;os/README.md;docs/sphinx/os.rst
`evidence_paths`	docs/design/os-execution.csv
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS38 ¶

Original field	Original value
`task_id`	OS38
`priority`	P2
`task`	Kernel/port/overlay upgrade review workflow
`implementation_paths`	docs/design/os-contracts.md;os/freertos/prepare_m7_integer.py;dependencies
`evidence_paths`	os/freertos/test_m7_integer_overlay.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS39 ¶

Original field	Original value
`task_id`	OS39
`priority`	P2
`task`	Backend acceptance contract and checklist
`implementation_paths`	docs/design/os-contracts.md;docs/delivery/os.md;docs/design/os-backend-integration.md
`evidence_paths`	tests/google/os_wait_test.cpp;tests/contracts/os_freertos_runtime;scripts/ci/os_backend_probe.py;scripts/ci/test_os_backend_probe.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS40 ¶

Original field	Original value
`task_id`	OS40
`priority`	P2
`task`	External multiproducer IRQ UART owner example
`implementation_paths`	X-Gen-Lab/nexus-examples/apps/uart_owner_runtime
`evidence_paths`	X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS41 ¶

Original field	Original value
`task_id`	OS41
`priority`	P2
`task`	External admission/drain/join/reclaim example
`implementation_paths`	X-Gen-Lab/nexus-examples/apps/uart_owner_runtime/lifecycle.c
`evidence_paths`	X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS42 ¶

Original field	Original value
`task_id`	OS42
`priority`	P2
`task`	Bounded failure hooks with product-owned policy
`implementation_paths`	os/freertos/hooks.c;docs/design/os-contracts.md
`evidence_paths`	tools/hil/os_acceptance.py
`implementation_status`	implemented
`software_status`	pending_exact_head_qualification
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS43 ¶

Original field	Original value
`task_id`	OS43
`priority`	optional
`task`	CPU-local atomic shallow idle
`implementation_paths`	arch/include/nexus/arch/sleep.h;arch/cortex_m/nx_arch_sleep.c
`evidence_paths`	tests/google/arch_sleep_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS44 ¶

Original field	Original value
`task_id`	OS44
`priority`	optional
`task`	Explicit FreeRTOS custom tickless timer port
`implementation_paths`	os/freertos/lowpower.c;os/freertos/include/nexus/os/lowpower.h
`evidence_paths`	tests/google/os_lowpower_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS45 ¶

Original field	Original value
`task_id`	OS45
`priority`	optional
`task`	Caller-sized diagnostics and actual trace hooks
`implementation_paths`	os/freertos/diagnostics.c;os/include/nexus/os/diagnostic.h;os/freertos/include/nexus/os/freertos_diagnostics.h
`evidence_paths`	tests/google/os_diagnostic_test.cpp
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS46 ¶

Original field	Original value
`task_id`	OS46
`priority`	optional
`task`	MPU user task kernel gateway
`implementation_paths`	os/freertos/mpu;os/freertos/include/nexus/os/freertos_mpu.h;os/freertos/include/nexus/os/freertos_user.h
`evidence_paths`	tests/google/freertos_mpu_test.cpp;scripts/ci/os_mpu.py;scripts/ci/test_os_mpu.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS47 ¶

Original field	Original value
`task_id`	OS47
`priority`	optional
`task`	TrustZone cross-world task service
`implementation_paths`	os/freertos/secure;os/freertos/include/nexus/os/secure_context.h;cmake/platform/Runtime.cmake
`evidence_paths`	tests/google/os_secure_context_test.cpp;tests/contracts/os_secure_runtime;scripts/ci/os_secure_runtime.py;scripts/ci/test_os_secure_runtime.py
`implementation_status`	implemented
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS48 ¶

Original field	Original value
`task_id`	OS48
`priority`	optional
`task`	Other RTOS backend admission contract
`implementation_paths`	docs/design/os-backend-integration.md;scripts/ci/os_backend_probe.py;tests/contracts/os_backend_probe
`evidence_paths`	scripts/ci/test_os_backend_probe.py;tests/google/os_wait_test.cpp
`implementation_status`	implemented_contract
`software_status`	no_additional_kernel_selected
`hardware_status`	not_applicable
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS49 ¶

Original field	Original value
`task_id`	OS49
`priority`	physical
`task`	Actual IRQ to task wake latency
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS50 ¶

Original field	Original value
`task_id`	OS50
`priority`	physical
`task`	Integer FP MVE register retention
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS51 ¶

Original field	Original value
`task_id`	OS51
`priority`	physical
`task`	Task stack and exception MSP peaks
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS52 ¶

Original field	Original value
`task_id`	OS52
`priority`	physical
`task`	Tick frequency and deadline accuracy
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS53 ¶

Original field	Original value
`task_id`	OS53
`priority`	physical
`task`	Lifecycle full-load stress and borrow settlement
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS54 ¶

Original field	Original value
`task_id`	OS54
`priority`	physical
`task`	Low-power restore clock/events
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records

OS55 ¶

Original field	Original value
`task_id`	OS55
`priority`	physical
`task`	Observed assert/overflow safe output
`implementation_paths`	tools/hil/os_acceptance.py
`evidence_paths`	tools/testing/test_os_acceptance.py
`implementation_status`	implemented_tooling
`software_status`	development_passed
`hardware_status`	not_executed
`qualification_authority`	fresh exact source/SDK/ELF evidence; physical requires admitted equipment records