Active project
bogbin / BogOS
A deterministic verified storage and computing substrate spanning exact containers, packages, processes, filesystems, persistent workspaces, and append-only journals.
What problem it addresses
Systems work often relies on mutable opaque state, making exact replay, provenance, rollback, and trust boundaries difficult to inspect.
How it works
Use canonical serialization, hashes, capabilities, manifests, state roots, deterministic transitions, and receipts across storage and runtime operations.
What exists now
The deepest systems-engineering line in the ecosystem, with v41.1-era journal persistence beyond the older public release label.
Evidence / receipts
The repository has progressed through exact file round trips, package verification, scheduling, paging, loaders, syscalls, IPC, writable/persistent BogFS, disk-loaded apps, workspace roots, and journal persistence.
Limits
This remains a research substrate. It is not a production host kernel, general-purpose operating system, or proven secure hardware platform.
Next milestone
Align README, release tags, status documents, and a visible QEMU/reference demo before expanding the kernel surface further.
How to run / inspect
Install / open
git clone https://github.com/BoggersTheFish/bogbin && cd bogbinInspect
Run the milestone tests and inspect canonical vectors, boot logs, state roots, workspace receipts, journal loading, and rollback behaviour.
Links
Focus tags
Related receipts