From e6b7a45f70dac1e881b487e1a94ba3d9b9d34018 Mon Sep 17 00:00:00 2001 From: Arthur Hanson Rasmusson Date: Thu, 1 Oct 2026 07:14:24 -0400 Subject: STATE-CURRENT: 07:12 check-back snapshot (backend hardening/read-only dry-run stage before live boot) --- STATE-CURRENT.md | 9 ++++++--- 1 file 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 -- cgit v1.2.3