OS 原专项台账¶
本页由原 CSV 派生,不是新的状态权威、执行记录或软件资格。
原编号、顺序和全部原字段来自 原台账。
源文件:docs/design/os-execution.csv;SHA-256:df25e8d6e399df3b1aa6a1c444b9570be04929bf70d30f8484a11dff4e3ed747。
不同台账范围重叠,不相加数量或计算全项目完成率。实现状态与软件、
物理状态分别解释;development_passed 不表示当前文档 HEAD 已执行。
qualification_record_authority 要回到精确结果索引判断源码和范围。
绝对 /workspace、/dev/shm 定位保留原字节,仅说明原执行主机位置;
可取得归档及 member 定位见 软件证据入口。
原退出字段只有原 CSV 中实际存在的字段;任务、资格前提和合同链接 也按原文保留,不能据此补造某次执行。
原台账未定义单独退出字段。本页保留任务与 qualification_authority 等 原字段;具体合同和实际验证需按原路径复核,不补写另一份退出条件。
本表包含 55 条原记录,仅表示来源行数。
OS01¶
原字段 |
原值 |
|---|---|
|
OS01 |
|
P1 |
|
Finite deadline under continuous unrelated wake |
|
os/baremetal/notify.c;os/native/native.c;os/freertos/freertos.c |
|
tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS02¶
原字段 |
原值 |
|---|---|
|
OS02 |
|
P1 |
|
Final observed completion wins timeout competition |
|
os/wait.c;os/include/nexus/os/wait.h |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS03¶
原字段 |
原值 |
|---|---|
|
OS03 |
|
P1 |
|
Unified wait deadline/error/context contract |
|
os/include/nexus/os/wait.h;docs/design/os-contracts.md |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS04¶
原字段 |
原值 |
|---|---|
|
OS04 |
|
P1 |
|
Actual port startup stack minimum and alignment |
|
os/freertos/freertos.c;tools/configure/kernel.py |
|
tests/google/freertos_context_test.cpp;tools/configure/test_kernel.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS05¶
原字段 |
原值 |
|---|---|
|
OS05 |
|
P1 |
|
Task rejection before object mutation/kernel entry |
|
os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h |
|
tests/google/freertos_context_test.cpp |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS06¶
原字段 |
原值 |
|---|---|
|
OS06 |
|
P1 |
|
Baseline complete IRQ wake binding |
|
io/src/wake.c;io/native/uart.c |
|
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 |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS07¶
原字段 |
原值 |
|---|---|
|
OS07 |
|
P1 |
|
Explicit NONE/PRIMASK/BASEPRI kernel policy |
|
io/include/nexus/io/wake.h;io/src/wake.c;tools/configure/kernel.py |
|
tests/google/wake_test.cpp;tools/configure/test_kernel.py |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS08¶
原字段 |
原值 |
|---|---|
|
OS08 |
|
P1 |
|
SysTick exact clock/rate/reload validation |
|
tools/configure/kernel.py;os/freertos/include/FreeRTOSConfig.h |
|
tools/configure/test_kernel.py;scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS09¶
原字段 |
原值 |
|---|---|
|
OS09 |
|
P1 |
|
External Tick strong setup hook |
|
os/freertos/tick.c;os/freertos/include/nexus/os/tick.h |
|
scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS10¶
原字段 |
原值 |
|---|---|
|
OS10 |
|
P2 |
|
Notification publisher/waiter lifecycle |
|
os/include/nexus/os/wait.h;os/native/include/nexus/os/native.h;docs/design/os-contracts.md |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS11¶
原字段 |
原值 |
|---|---|
|
OS11 |
|
P2 |
|
Single lifecycle owner and single joiner |
|
os/native/include/nexus/os/native.h;os/freertos/include/nexus/os/freertos.h |
|
tests/google/os_wait_test.cpp;tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS12¶
原字段 |
原值 |
|---|---|
|
OS12 |
|
P2 |
|
Native external cancellation/detach exclusion |
|
os/native/include/nexus/os/native.h;docs/design/os-contracts.md |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS13¶
原字段 |
原值 |
|---|---|
|
OS13 |
|
P2 |
|
Explicit queue close/drain/destroy |
|
os/freertos/include/nexus/os/freertos.h;os/freertos/freertos.c;os/native/native.c |
|
tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS14¶
原字段 |
原值 |
|---|---|
|
OS14 |
|
P2 |
|
Queue absolute deadlines without repeated relative extension |
|
os/freertos/freertos.c;os/native/native.c |
|
tests/google/freertos_context_test.cpp;tests/google/os_wait_test.cpp |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS15¶
原字段 |
原值 |
|---|---|
|
OS15 |
|
P2 |
|
Owner progresses during producer stop/drain/join |
|
components/bus_owner/src/bus_owner.c;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime |
|
X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS16¶
原字段 |
原值 |
|---|---|
|
OS16 |
|
P2 |
|
SETTLED distinct from notification reclamation |
|
docs/design/os-contracts.md;os/include/nexus/os/wait.h |
|
tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS17¶
原字段 |
原值 |
|---|---|
|
OS17 |
|
P2 |
|
Error ownership and recovery obligations |
|
docs/design/os-contracts.md;docs/delivery/os.md |
|
X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS18¶
原字段 |
原值 |
|---|---|
|
OS18 |
|
P2 |
|
Maintained OS profiles and immutable IR |
|
tools/configure/kernel.py;tools/configure/ir.py;tools/configure/runtime.py |
|
tools/configure/test_kernel.py;scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS19¶
原字段 |
原值 |
|---|---|
|
OS19 |
|
P2 |
|
Separate CPU/IRQ facts from kernel policy |
|
tools/configure/kernel.py;tools/configure/cpu.py |
|
tools/configure/test_kernel.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS20¶
原字段 |
原值 |
|---|---|
|
OS20 |
|
P2 |
|
Optional kernel capability pruning |
|
os/freertos/include/FreeRTOSConfig.h;tools/configure/kernel.py |
|
scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS21¶
原字段 |
原值 |
|---|---|
|
OS21 |
|
P2 |
|
Explicit Idle stack and task name budgets |
|
tools/configure/kernel.py;os/freertos/hooks.c |
|
tools/configure/test_kernel.py;scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS22¶
原字段 |
原值 |
|---|---|
|
OS22 |
|
P2 |
|
Direct task notification optional adapter |
|
os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h |
|
tests/google/freertos_context_test.cpp;tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS23¶
原字段 |
原值 |
|---|---|
|
OS23 |
|
P2 |
|
Permanent task without join semaphore |
|
os/freertos/freertos.c;os/freertos/include/nexus/os/freertos.h |
|
tests/google/freertos_context_test.cpp;tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS24¶
原字段 |
原值 |
|---|---|
|
OS24 |
|
P2 |
|
Measure shared wait table before ABI change |
|
scripts/ci/os_wait_cost.py;tests/contracts/os_wait_cost |
|
scripts/ci/test_os_wait_cost.py |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS25¶
原字段 |
原值 |
|---|---|
|
OS25 |
|
P2 |
|
Stable operation descriptors rather than payload copy |
|
components/bus_owner/include/nexus/components/bus_owner.h;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime |
|
X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS26¶
原字段 |
原值 |
|---|---|
|
OS26 |
|
P2 |
|
Actual OS object and linked image cost report |
|
scripts/ci/os_resources.py;scripts/ci/os_profiles.py;scripts/ci/os_wait_cost.py |
|
tests/contracts/os_wait_cost;scripts/ci/test_os_resources.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS27¶
原字段 |
原值 |
|---|---|
|
OS27 |
|
P2 |
|
Hot path instruction costs and measurement definitions |
|
scripts/ci/os_resources.py;scripts/ci/os_wait_cost.py;tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py;scripts/ci/test_os_resources.py |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS28¶
原字段 |
原值 |
|---|---|
|
OS28 |
|
P1 |
|
Deadline GoogleTest/GoogleMock regression |
|
tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS29¶
原字段 |
原值 |
|---|---|
|
OS29 |
|
P1 |
|
Startup stack/alignment/zero-effect regression |
|
tests/google/freertos_context_test.cpp;tools/configure/test_kernel.py |
|
tests/google/freertos_context_test.cpp |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS30¶
原字段 |
原值 |
|---|---|
|
OS30 |
|
P1 |
|
Baseline facts to provider wake regression |
|
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 |
|
tests/google/wake_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS31¶
原字段 |
原值 |
|---|---|
|
OS31 |
|
P2 |
|
Deterministic wait races and publisher isolation |
|
tests/google/os_wait_test.cpp;tests/google/freertos_context_test.cpp |
|
tests/google/os_wait_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS32¶
原字段 |
原值 |
|---|---|
|
OS32 |
|
P2 |
|
Queue close broadcast and drain regression |
|
tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp |
|
tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS33¶
原字段 |
原值 |
|---|---|
|
OS33 |
|
P2 |
|
Returning task timeout/reuse/storage regression |
|
tests/contracts/os_freertos_runtime;tests/google/freertos_context_test.cpp |
|
tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS34¶
原字段 |
原值 |
|---|---|
|
OS34 |
|
P2 |
|
Controlled concurrency and sanitizer validation |
|
tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/apps/uart_owner_runtime;docs/design/os-contracts.md |
|
tests/google/os_wait_test.cpp;X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS35¶
原字段 |
原值 |
|---|---|
|
OS35 |
|
P2 |
|
Profiles included in permanent CI and SDK checks |
|
scripts/ci/os_profiles.py;.github/workflows |
|
scripts/ci/os_profiles.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS36¶
原字段 |
原值 |
|---|---|
|
OS36 |
|
P2 |
|
Actual pinned POSIX kernel lifecycle integration |
|
tests/contracts/os_freertos_runtime |
|
tests/contracts/os_freertos_runtime |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS37¶
原字段 |
原值 |
|---|---|
|
OS37 |
|
P2 |
|
Current OS contracts and support boundaries |
|
docs/design/os-contracts.md;docs/delivery/os.md;os/README.md;docs/sphinx/os.rst |
|
docs/design/os-execution.csv |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS38¶
原字段 |
原值 |
|---|---|
|
OS38 |
|
P2 |
|
Kernel/port/overlay upgrade review workflow |
|
docs/design/os-contracts.md;os/freertos/prepare_m7_integer.py;dependencies |
|
os/freertos/test_m7_integer_overlay.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS39¶
原字段 |
原值 |
|---|---|
|
OS39 |
|
P2 |
|
Backend acceptance contract and checklist |
|
docs/design/os-contracts.md;docs/delivery/os.md;docs/design/os-backend-integration.md |
|
tests/google/os_wait_test.cpp;tests/contracts/os_freertos_runtime;scripts/ci/os_backend_probe.py;scripts/ci/test_os_backend_probe.py |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS40¶
原字段 |
原值 |
|---|---|
|
OS40 |
|
P2 |
|
External multiproducer IRQ UART owner example |
|
X-Gen-Lab/nexus-examples/apps/uart_owner_runtime |
|
X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS41¶
原字段 |
原值 |
|---|---|
|
OS41 |
|
P2 |
|
External admission/drain/join/reclaim example |
|
X-Gen-Lab/nexus-examples/apps/uart_owner_runtime/lifecycle.c |
|
X-Gen-Lab/nexus-examples/tests/owner_lifecycle_test.cpp |
|
implemented |
|
development_passed |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS42¶
原字段 |
原值 |
|---|---|
|
OS42 |
|
P2 |
|
Bounded failure hooks with product-owned policy |
|
os/freertos/hooks.c;docs/design/os-contracts.md |
|
tools/hil/os_acceptance.py |
|
implemented |
|
pending_exact_head_qualification |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS43¶
原字段 |
原值 |
|---|---|
|
OS43 |
|
optional |
|
CPU-local atomic shallow idle |
|
arch/include/nexus/arch/sleep.h;arch/cortex_m/nx_arch_sleep.c |
|
tests/google/arch_sleep_test.cpp |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS44¶
原字段 |
原值 |
|---|---|
|
OS44 |
|
optional |
|
Explicit FreeRTOS custom tickless timer port |
|
os/freertos/lowpower.c;os/freertos/include/nexus/os/lowpower.h |
|
tests/google/os_lowpower_test.cpp |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS45¶
原字段 |
原值 |
|---|---|
|
OS45 |
|
optional |
|
Caller-sized diagnostics and actual trace hooks |
|
os/freertos/diagnostics.c;os/include/nexus/os/diagnostic.h;os/freertos/include/nexus/os/freertos_diagnostics.h |
|
tests/google/os_diagnostic_test.cpp |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS46¶
原字段 |
原值 |
|---|---|
|
OS46 |
|
optional |
|
MPU user task kernel gateway |
|
os/freertos/mpu;os/freertos/include/nexus/os/freertos_mpu.h;os/freertos/include/nexus/os/freertos_user.h |
|
tests/google/freertos_mpu_test.cpp;scripts/ci/os_mpu.py;scripts/ci/test_os_mpu.py |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS47¶
原字段 |
原值 |
|---|---|
|
OS47 |
|
optional |
|
TrustZone cross-world task service |
|
os/freertos/secure;os/freertos/include/nexus/os/secure_context.h;cmake/platform/Runtime.cmake |
|
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 |
|
implemented |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS48¶
原字段 |
原值 |
|---|---|
|
OS48 |
|
optional |
|
Other RTOS backend admission contract |
|
docs/design/os-backend-integration.md;scripts/ci/os_backend_probe.py;tests/contracts/os_backend_probe |
|
scripts/ci/test_os_backend_probe.py;tests/google/os_wait_test.cpp |
|
implemented_contract |
|
no_additional_kernel_selected |
|
not_applicable |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS49¶
原字段 |
原值 |
|---|---|
|
OS49 |
|
physical |
|
Actual IRQ to task wake latency |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS50¶
原字段 |
原值 |
|---|---|
|
OS50 |
|
physical |
|
Integer FP MVE register retention |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS51¶
原字段 |
原值 |
|---|---|
|
OS51 |
|
physical |
|
Task stack and exception MSP peaks |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS52¶
原字段 |
原值 |
|---|---|
|
OS52 |
|
physical |
|
Tick frequency and deadline accuracy |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS53¶
原字段 |
原值 |
|---|---|
|
OS53 |
|
physical |
|
Lifecycle full-load stress and borrow settlement |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS54¶
原字段 |
原值 |
|---|---|
|
OS54 |
|
physical |
|
Low-power restore clock/events |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |
OS55¶
原字段 |
原值 |
|---|---|
|
OS55 |
|
physical |
|
Observed assert/overflow safe output |
|
tools/hil/os_acceptance.py |
|
tools/testing/test_os_acceptance.py |
|
implemented_tooling |
|
development_passed |
|
not_executed |
|
fresh exact source/SDK/ELF evidence; physical requires admitted equipment records |