diff options
Diffstat (limited to 'docs/05-operations')
| -rw-r--r-- | docs/05-operations/01-performance-correctness-security.md | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/docs/05-operations/01-performance-correctness-security.md b/docs/05-operations/01-performance-correctness-security.md index 21afd06..2f10b35 100644 --- a/docs/05-operations/01-performance-correctness-security.md +++ b/docs/05-operations/01-performance-correctness-security.md @@ -22,8 +22,12 @@ Rung 5 MULTI-TENANT N VMs, isolation + fairness + no cross-talk (`ALL OK` 64/64, copies matched) — `cuInit`, device queries, context creation, allocation, copies, free and destroy complete, and the copies are verified byte-for-byte. **Rung 3 is partial:** CE-class copies execute on the physical -copy engine (default off) with engine-authored releases and a fault relay, but -CUDA kernel execution is blocked on GR engine-context validity. Before Rung 3 +copy engine (default off) with engine-authored releases and a fault relay; for +GR kernel execution a forwarded guest launch now reaches the front-end but the +inline launch-descriptor install has not been observed (no grid dispatched; +context validity at dispatch is ruled out — +[`../04-implementation/03-execution-frontier.md`](../04-implementation/03-execution-frontier.md)). +Before Rung 3 is claimed, the **reply-fidelity gate** applies: a control whose reply fields the driver consumes is not implemented until the reply is coherent (status-only → |