--- title: Horizon A: Bare-Metal Consensus Without an Operating System description: Horizon A is described as a freestanding 64-bit UEFI application that runs a multi-agent consensus algorithm directly on x86_64 hardware, bypassing any OS... canonical: https://daily.dev/posts/horizon-a-bare-metal-consensus-without-an-operating-system-scxj2ousq twitter:card: summary_large_image twitter:site: @dailydotdev og:type: website og:site_name: daily.dev og:title: Horizon A: Bare-Metal Consensus Without an Operating System | daily.dev og:description: Horizon A is described as a freestanding 64-bit UEFI application that runs a multi-agent consensus algorithm directly on x86_64 hardware, bypassing any OS... og:url: https://daily.dev/posts/horizon-a-bare-metal-consensus-without-an-operating-system-scxj2ousq og:image: https://api.daily.dev/og/posts/SCxj2ouSq.png og:image:alt: Horizon A: Bare-Metal Consensus Without an Operating System og:image:width: 1200 og:image:height: 630 og:locale: en --- > ## Documentation Index > Fetch the complete documentation index at: https://daily.dev/llms.txt > Use this file to discover all available pages before exploring further. # Horizon A: Bare-Metal Consensus Without an Operating System **[Dan Dragolich](https://daily.dev/sources/qftu5ioyd5lvzrmhx2wru)** · [@fatmandandan](https://daily.dev/fatmandandan) · 2 min read · 0 upvotes · 0 comments ## Summary Horizon A is described as a freestanding 64-bit UEFI application that runs a multi-agent consensus algorithm directly on x86_64 hardware, bypassing any OS kernel, bootloader abstraction, or standard math libraries. It executes in ring 0 right after firmware handoff, using raw SSE double-precision math. The core transition logic is based on the Gauss map, claimed to match the theoretical Lyapunov exponent of the Gauss-Kuzmin constant, with a described sensitivity threshold where nearby values diverge within nine iterations. State is checkpointed to UEFI NVRAM every second for crash-safe resume, and the boot sequence is sealed with a SHA-256 root hash over a timestamped ledger. The project claims open code, a demo video, and Zenodo records for replication. ## Content There's a fundamental problem in how we run consensus algorithms and AI inference on modern hardware. Every inference passes through layers of abstraction—UEFI firmware, bootloader, OS kernel, syscall translation, standard math libraries. Each layer adds latency, introduces non-determinism, and expands the attack surface. The hardware becomes obscured by software. Horizon A is a freestanding 64-bit UEFI application that runs a multi-agent consensus algorithm directly on x86_64 silicon, with no kernel, no operating system, and no libm. It executes in ring 0 immediately after firmware hands control, using raw SSE double-precision math and direct hardware access via UEFI Boot Services.  The core transition kernel uses the Gauss map and empirically matches the theoretical Lyapunov exponent of the Gauss-Kuzmin constant to four decimal places. A sensitivity analysis shows that two phi values separated by 1e-9 diverge to O(1) within nine iterations. This defines a computational horizon where finite-precision arithmetic loses deterministic continuity—a formal boundary the firmware detects but cannot cross.  State is checkpointed to UEFI NVRAM every second. A hard power loss at any point results in a clean resume from the exact tick, rather than a cold start. The full boot sequence is cryptographically sealed with a timestamped ledger and SHA-256 root hash. Altering any byte of the boot image or NVRAM state invalidates the root. This matters because trust starts at the silicon. If you can't verify the core physics of the system before it executes, you can't trust anything built on top of it. Horizon A demonstrates that complex consensus algorithms can run directly on the metal, with mathematical guarantees anchored to the Gauss map, and with cryptographic state continuity across power cycles.  The binary boots on any UEFI-compliant x86_64 machine. The code is open. The video shows it running. The Zenodo records have everything needed to replicate it. [Bare-metal Proof](https://doi.org/10.5281/zenodo.22175389) If you work on systems programming, formal verification, or distributed consensus, this is worth a look ## Similar posts on daily.dev - [NightRun UEFI application boots a local LLM on Raspberry Pi 5 and x86 PCs without an OS](https://daily.dev/posts/nightrun-uefi-application-boots-a-local-llm-on-raspberry-pi-5-and-x86-pcs-without-an-os-4vcw3e8ej) · CNX Software · 0 upvotes · 0 comments - [Announcing AnduinOS v2.0.1: ARM64 Expansion, Edge AI, and a Globalized Ecosystem](https://daily.dev/posts/announcing-anduinos-v2-0-1-arm64-expansion-edge-ai-and-a-globalized-ecosystem-s44odjjob) · AnduinOS · 0 upvotes · 0 comments --- [View this post on daily.dev](https://daily.dev/posts/horizon-a-bare-metal-consensus-without-an-operating-system-scxj2ousq) ```json {"@context":"https://schema.org","@graph":[{"@type":"Organization","@id":"https://daily.dev/#organization","name":"daily.dev","url":"https://daily.dev","logo":{"@type":"ImageObject","url":"https://daily.dev/apple-touch-icon.png","width":180,"height":180},"sameAs":["https://twitter.com/dailydotdev","https://github.com/dailydotdev","https://www.linkedin.com/company/daily-dev-ltd"]},{"@type":"WebSite","@id":"https://daily.dev/#website","url":"https://daily.dev","name":"daily.dev","publisher":{"@id":"https://daily.dev/#organization"},"potentialAction":{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https://daily.dev/search?q={search_term_string}"},"query-input":"required name=search_term_string"}}]} {"@context":"https://schema.org","@type":"DiscussionForumPosting","mainEntityOfPage":"https://daily.dev/posts/horizon-a-bare-metal-consensus-without-an-operating-system-scxj2ousq","headline":"Horizon A: Bare-Metal Consensus Without an Operating System","text":"Horizon A is described as a freestanding 64-bit UEFI application that runs a multi-agent consensus algorithm directly on x86_64 hardware, bypassing any OS kernel, bootloader abstraction, or standard math libraries. It executes in ring 0 right after firmware handoff, using raw SSE double-precision math. The core transition logic is based on the Gauss map, claimed to match the theoretical Lyapunov exponent of the Gauss-Kuzmin constant, with a described sensitivity threshold where nearby values diverge within nine iterations. State is checkpointed to UEFI NVRAM every second for crash-safe resume, and the boot sequence is sealed with a SHA-256 root hash over a timestamped ledger. The project claims open code, a demo video, and Zenodo records for replication.","url":"https://daily.dev/posts/horizon-a-bare-metal-consensus-without-an-operating-system-scxj2ousq","datePublished":"2026-09-08T18:33:19.217Z","dateModified":"2026-09-08T18:33:37.014Z","author":{"@type":"Person","name":"Dan Dragolich","url":"https://daily.dev/fatmandandan","image":"https://media.daily.dev/image/upload/s--uRb_bdCZ--/f_auto/v1788830904/avatars/avatar_QfTU5ioYD5LvzrMHx2WRu?_a=BAMAMicg0","description":"I dig research and building cool stuff https://zenodo.org/pi_origin_architecture","interactionStatistic":{"@type":"InteractionCounter","interactionType":{"@type":"EndorseAction"},"userInteractionCount":110}},"image":"https://media.daily.dev/image/upload/s--klJR8Hs3--/f_auto/v1788892399/posts/SCxj2ouSq?_a=BAMAMicg0","interactionStatistic":[{"@type":"InteractionCounter","interactionType":{"@type":"LikeAction"},"userInteractionCount":0},{"@type":"InteractionCounter","interactionType":{"@type":"CommentAction"},"userInteractionCount":0}],"isPartOf":{"@type":"WebPage","url":"https://daily.dev/sources/qftu5ioyd5lvzrmhx2wru","name":"Dan Dragolich"}} {"@context":"https://schema.org","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https://daily.dev"},{"@type":"ListItem","position":2,"name":"Dan Dragolich","item":"https://daily.dev/sources/qftu5ioyd5lvzrmhx2wru"},{"@type":"ListItem","position":3,"name":"Horizon A: Bare-Metal Consensus Without an Operating System"}]} ```