diff options
| -rw-r--r-- | STATE-CURRENT.md | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/STATE-CURRENT.md b/STATE-CURRENT.md index 728a85b..bf494fa 100644 --- a/STATE-CURRENT.md +++ b/STATE-CURRENT.md @@ -1,6 +1,6 @@ # Open-IOV Current State -> **Snapshot: 2026-10-01 01:12.** This is a dated public status page, not live +> **Snapshot: 2026-10-01 07:12.** This is a dated public status page, not live > state; it is refreshed on every progress check. Live working notes are > maintained outside this repository; the public known-knowns/unknowns document > is authoritative here: @@ -133,8 +133,11 @@ chain succeeds. verified live under the supervised claim harness (three green claim/release cycles; the root-port D0 hold is the load-bearing invariant), and the secure-verification stage (VBIOS security-blob extraction, falcon reset and - staging) is implemented build-only pending an adversarially-reviewed, - supervised live boot; the booter and RISC-V start follow. + staging) is implemented build-only; before any live boot the plan now + requires an offline VBIOS analysis and a read-only dry-run of the staging + computation (zero device writes) under the supervised claim harness, + pending adversarial review and explicit approval; the booter and RISC-V + start follow. - Host stability: the host hang class observed on 2026-09-28 (kernel stack overflow in a channel snapshot path) is fixed and frame-audited; repeated VM load/attach/teardown cycles run without panics or pstore records. A |