2026-08-01 / physical terminal validated 2026-08-08

PythOS Runs Persistent Object Storage Through Physical SDHCI/eMMC Hardware

The Phase 10 storage backend panel was reached across two cold-boot runs on a disposable O2 Micro 1217:8620 laptop target. A later physical evidence-terminal run exposed the full five-page Milestone 1 marker stream on the same target. This page records the public claim, the evidence, and what remains outside the claim.

Observed Panel

PythOS
sdhci emmc backend
phase10 ok
disk writes
capacity 000000000747C000

The panel is rendered only after the verify-storage path reaches PYTHOS:CORE:PHASE_10_COMPLETE. QEMU remains the automated oracle through COM1 serial and host-image checks; the physical laptop currently has no serial capture path.

Second physical PythOS SDHCI eMMC backend acceptance frame
Second-run committed frame from the physical acceptance video.

2026-08-08 follow-up evidence

Physical Evidence Terminal

Five readable physical terminal pages report count 00000139, drop 00000000, and crc 176F4C6E. The count field is hexadecimal, so 0x139 equals 313 decimal markers. The evidence-terminal implementation, Cargo feature, and QEMU harness are present on main.

Two separate physical boots reproduced the same count, zero-drop state, and CRC. The reconstructed physical stream, including the observed hardware-specific audio path and existing-storage path, contains 313 markers and recomputes to CRC 176F4C6E.

The physical stream is not required to be textually identical to the QEMU stream: hardware discovery and persistent state can truthfully select different marker branches. CRC-32 repeatability is strong reproducibility evidence, not collision-proof identity proof.

Open the evidence-terminal gallery, read the physical validation record, or read ADR 0063.

Hardware and Repository

Target

O2 Micro SDHCI/eMMC, vendor/device 1217:8620, BDF 01:00.0, class/subclass/pi 08/05/01.

Evidence terminal

main carries the implementation and scripts/test-evidence-terminal.py QEMU acceptance harness.

QEMU Backing

Automated acceptance remains rooted in COM1 serial ordering and host checks. The evidence-terminal harness additionally validates the framebuffer terminal structure and rejects dropped transcripts.

cargo fmt --check
cargo clippy -p pythos-core --target x86_64-unknown-none --features verify -- -D warnings
cargo test -p pythos-core
python scripts\test-sdhci-emmc-block-device.py
python scripts\test-object-shell.py --backend sdhci-emmc
python scripts\test-boot.py --slice milestone-1
python scripts\test-evidence-terminal.py

Not Claimed

Storage scope

No generic SDHCI/eMMC compatibility, DMA/ADMA, interrupts, hotplug, partitions, or filesystems are claimed.

Hardware scope

No safe-write claim is made for machines other than the confirmed disposable O2 Micro 1217:8620 target.

Input scope

The physical evidence covers framebuffer output and the evidence terminal, not physical interactive object-shell input.