Skip to content
THOX Research · Technical Draft 0.2.0-review

ThoxOS and ThoxInux: Architecture, Evidence, and a Validation Protocol for Local-First AI

Craig Ross ORCID 0009-0005-9872-3673 and Tommy Xaypanya ORCID 0009-0000-4425-9565

THOX.ai LLC · November 1, 2026 · DOI 10.5281/zenodo.23876230

Status of this draft

This is a public technical draft. Experimental validation is incomplete, and the paper has not been peer reviewed. An arXiv submission is in progress; no arXiv version of this draft exists yet. The version of record is the Zenodo deposit at the DOI above, which carries the manuscript, its LaTeX source, bibliography, and the 28-claim evidence ledger every claim in the paper is scoped against.

Download the paper (PDF)Zenodo record

Abstract

Local AI systems require an evidence chain from kernel behavior to application execution, model quality, and physical device operation. This technical report examines the ThoxOS program with ThoxInux, its Ginux-derived, Rust-first x86-64 foundation. We reconcile an earlier Linux-based design with current source and release records, distinguish reusable component evidence from integrated-system evidence, and define a falsifiable validation protocol. The reviewed records document engineering-preview EFI releases and bounded virtual-machine lifecycle tests. They also record resident-agent faults in an edition payload, conditional build reproducibility, and incomplete Linux ABI behavior. Published language-model evaluations carry additional restrictions on scoring scope, serving templates, quantization, and hardware applicability. We formalize the separation between service entitlement and action authorization, and specify experiments for workload compatibility, agent lifecycle, offline operation, update recovery, and device feasibility. The review contributes a revision-bound evidence map and an explicit set of integration tests; it does not introduce a new kernel, report a performance advantage, or establish production security. Historical unit-test counts, repository-reported runs, publisher-reported model scores, and unexecuted protocols remain distinct. The resulting architecture draft supports continued implementation while identifying the measurements required for a complete empirical systems paper.

Where the paper lives

Models in the paper

The paper’s evidence ledger scopes the records of the three ThoxOS kernel models. Their public status, as recorded in the paper:

  • ThoxOS-Kernel-0.8B

    Released. Its gate record is among the model results scoped in the paper’s evidence ledger.

  • ThoxOS-Kernel-4B

    The documented baseline in the paper. Not promoted.

  • ThoxOS-Kernel-27B

    Card-only. Its weights are not public and remain behind the program gates stated on its card.

Cite this draft

@misc{ross_craig_2026_23876230,
  author       = {Ross, Craig and
                  Xaypanya, Tommy},
  title        = {{ThoxOS and ThoxInux: Architecture, Evidence, and a
                   Validation Protocol for Local-First AI}},
  month        = nov,
  year         = 2026,
  publisher    = {Zenodo},
  version      = {0.2.0-review},
  doi          = {10.5281/zenodo.23876230},
  url          = {https://doi.org/10.5281/zenodo.23876230}
}

Licensed CC BY 4.0, matching the Zenodo record.