eBIOS: Epistemic Basic Input/Output System

eBIOS (Epistemic Basic Input/Output System) is a foundational firmware layer for uncertainty-aware computation in safety-critical systems. Like a traditional BIOS provides hardware initialization and I/O primitives, eBIOS provides epistemic primitives for uncertainty quantification, formal verification, and accountability.

Key Features:

• N/U (Nominal/Uncertainty) Algebra with O(1) operations
• Formal verification in Lean 4 (62.5% complete)
• Cryptographic audit ledger with Ed25519 signatures
• Policy-driven runtime monitoring
• Complete governance API

Core Principles:

1. Immutability: Truth is a data structure, not a declaration
2. Provability: Failure is allowed. Lying about failure is not.
3. Accountability: You can run what you want above it, but you can't hide what you did

Status: Alpha release with 172 passing tests, 100% code coverage, and 403 lines of rigorous formal verification.

Status Update — This Version is Superseded (added 2026-05-18)

This is the v0.2.0-alpha deposit from October 2025. It has been superseded by substantial development. As of 2026-05-18:

• Formal verification: 100% complete — 8/8 Lean 4 proofs, zero sorries (this deposit's description said 62.5%; that figure is from October 2025 and no longer reflects the project state).
• Production v1.0.0 shipped October 2025; subsequent work through 2026-04-30 added the UNKINT 20-unit Morton Z-order stream, the swapFlip operator with corrected period-2 theorems (F-002 fix), USO v2.2.0 layer-stack remediation, Layer0_SPEC.md, REGISTRY.md, and Einstein platform integration research.
• SSOT analysis findings F-032 through F-045 documented since this deposit (eBIOS analysis March 2026).

For the current state of the codebase and the production-ready version, see the latest version under the concept DOI 10.5281/zenodo.17477520 and the live repository at github.com/abba-01/ebios.

This v0.2.0-alpha deposit is preserved for citation continuity. The dataset and software files in this deposit remain valid as a snapshot of October 2025 state. Description and version claims should be read with the October 2025 context in mind.