Native verification ledger

This page separates acceptance text, verifier entrypoints and release claims. The point is not to make every milestone look green. The point is to show what the supplied documents actually require.

Evidence classes§

E0  RELEASE CLAIM
E1  SOURCE / DOC CONTRACT
E2  DETERMINISTIC BUILD + HASH COMPARISON
E3  OBJECT / ELF / RELOCATION / DISASSEMBLY INSPECTION
E4  QEMU EXECUTION + SERIAL / DEBUG / INTERRUPT TRACE
E5  MULTI-BOOT PERSISTENCE / HOST-SIDE POST-RUN INSPECTION

HIGHER DOES NOT ERASE LOWER.
A REPORT ABOUT E4 IS NOT ITSELF E4.

v11.0 native compiler§

ENTRY     scripts/verify_native.ps1
REQUIRES
  double build + SHA256 comparison
  ELF bounds parse
  post-emission GNU objdump inspection
  QEMU boot

SERIAL
  DBYTE NATIVE KERNEL
  MACHINE CODE ONLINE
  42

v11.2 kernel core§

ENTRY     scripts/verify_native_kernel_core.ps1
SERIAL
  DBYTEOS NATIVE CORE
  GDT ONLINE
  IDT ONLINE
  EXCEPTIONS ONLINE
  PIC ONLINE
  IRQ0 TIMER ONLINE
  TICKS 1
  TICKS 8

GATE
  deterministic ET_REL / ELF / BIN
  symbols + relocations
  .dbyte.interrupts
  final disassembly
  QEMU -d int,cpu_reset,guest_errors

v11.3 memory core§

ENTRY     scripts/verify_native_memory_core.ps1
RAM       32 MiB AND 64 MiB
SERIAL
  DBYTEOS NATIVE MEMORY
  MEMORY MAP ONLINE
  FRAME ALLOCATOR ONLINE
  PAGING ONLINE
  PAGE FAULT ABI ONLINE
  PAGE ALLOC 001
  PAGE ALLOC 002
  MEMORY CHECK OK

TRACE
  QEMU vector 14
  error code 0002
  CR2 = 00400000
  fabricated INT14 / triple fault => FAIL

v11.4 kernel runtime§

ENTRY     scripts/verify_native_runtime_core.ps1
RAM       32 MiB AND 64 MiB
SERIAL
  DBYTEOS NATIVE RUNTIME
  VIRTUAL ARENA ONLINE
  KERNEL HEAP ONLINE
  ALLOC 001 OK
  ALLOC 002 OK
  FREE REUSE OK
  ALIGNMENT OK
  MEMORY OPS OK
  RUNTIME CHECK OK

NEGATIVE PROBES
  bad alignment
  size overflow
  outside/interior/double free
  mapping collision
  unexpected #PF / triple fault => FAIL

v11.5 scheduler§

ENTRY     scripts/verify_native_scheduler_core.ps1
IMAGES    normal + fatal guard
PROOF
  two non-yielding CPL0 workers preempted by real PIT IRQ0
  task A explicit exit
  task B returns through linker trampoline
  idle reclaims both stack mappings / frames
  lowest slot and released frame reused deterministically
GUARD
  write 0xC1200FFC
  real supervisor-write #PF
  (error & 7) == 2
  guard PTE remains absent

v11.6 blocking§

ENTRY     scripts/verify_native_blocking_core.ps1
RAM       32 MiB AND 64 MiB
PROOF
  sleep without spinning
  FIFO waiter order
  runnable peer progresses while others block
  empty task/IRQ pulses are not remembered
  all exited worker stacks / frames reclaimed
  deterministic reuse

v11.7 IRQ I/O§

ENTRY     scripts/verify_native_irq_io_core.ps1
INPUT     1E 30 2E 20 via i8042 command D2
PROOF
  four real IRQ1 deliveries
  blocked reader wakes
  exact FIFO bytes observed
  another runnable task advances while input unavailable
  sticky-token / FIFO-order / max-count / byte-65-drop probes
  exact slot/frame reuse

v11.8 block device§

ENTRY     scripts/verify_native_block_device_core.ps1
DISK      fresh 8 MiB raw image
RAM       32 MiB AND 64 MiB
PROOF
  ATA IDENTIFY
  LBA28 required
  LBA8 fixed seed
  LBA9 scratch sector
  guest read
  guest write/readback
  host post-run byte inspection
  real IRQ14 traces
  no CPU faults / runtime dependency

v11.9 DBFS1§

ENTRY     scripts/verify_native_filesystem_core.ps1
BOOT 1
  format DBFS1
  write PERSIST.TXT
  prove exact freed-block reuse
BOOT 2
  mount same disk without formatting
  read exact persistent bytes
HOST
  parse superblock + checksum
  inspect inode / directory geometry
  verify bitmap ownership
  verify reserved LBAs
  verify persistent SHA256
  NO REPAIR WRITES

v11.10 filesystem runtime§

ENTRY     scripts/verify_native_filesystem_runtime.ps1
RELEASE-LEVEL CLAIMS
  hierarchical paths
  generation-safe task-owned handles
  write-through sector cache
  native integer division / remainder
  typed pointer-field access
  persistent kernel config + log state
  three-boot persistence proof

The supplied site source has no standalone DBYTE_NATIVE_FILESYSTEM_RUNTIME.md. This contract therefore remains a release-level summary unless/until the dedicated document or raw verifier evidence is supplied.

v11.10.1 native boundary patch§

ARTIFACT  REISSUED 2026-08-24
SIZE      2300011
SHA256    52e86e0fa0a34972ad60aa8de442583329e9deaee2a967142fc708f61b581c78

DELTA
  16-bit volatile access
  bulk memory copy / set / zero
  CLI / STI / PAUSE
  IDT / EFLAGS call-name delta
  port-I/O alias lane
  x86 encoder support

The supplied material does not include an executed 11.10.1 verifier transcript proving every new call. This manual therefore records the artifact and named delta but does not manufacture a PASS line.

Failure policy§

NO OUTPUT REPLACEMENT ON COMPILE/LINK FAILURE
NO EXTERNAL CODE GENERATOR IN NATIVE PATH
UNEXPECTED CPU FAULT => FAIL
TRIPLE FAULT         => FAIL
ORPHAN QEMU          => FAIL WHERE VERIFIER SPECIFIES
HASH MISMATCH        => FAIL
STALE SAME-VERSION ARTIFACT => WITHDRAWN