We build the machinery that lets autonomous systems do real work, and we publish what it has and has not been shown to do.

Alpha Omega Labs is a research and engineering lab. Below is everything we have built, with the evidence grade attached to each one.

How the lab’s work fits togetherCortex connects to Engram, Gauntlet, OMP and Cortex Control. Gauntlet feeds Dentate, which feeds Sema, which underpins Sema Search. omegaXiv connects to the quarks run engine, and the engineering harness supports omegaXiv. Spiral is drawn unconnected because it is standalone research. One planned connection, from Sema back to Cortex, is dashed because it is not built yet.Cortexgoverned runtimeEngrammemoryGauntletbenchmarkOMPcoding agentCortex Controlcontrol planeDentateRLVR trainingSemalanguageSema Searchreference appHarnessengineering rulesomegaXivresearch runsquarksrun engineSpiralarchitecture research
  • Cortexgoverned runtime
  • Engrammemoryfrom Cortex
  • Gauntletbenchmarkfrom Cortex
  • OMPcoding agentfrom Cortex
  • Cortex Controlcontrol planefrom Cortex
  • DentateRLVR trainingfrom Gauntlet
  • Semalanguagefrom Dentateplanned into Cortex — not built
  • Sema Searchreference appfrom Sema
  • Harnessengineering rules
  • omegaXivresearch runsfrom Harness
  • quarksrun enginefrom omegaXiv
  • Spiralarchitecture research
  • Built
  • Planned, not built

Solid lines are built relations. The dashed line is planned and not yet built.

The work

Four evidence grades, and they are not presented as equals, because they are not.

Research

Hypotheses under test. These are not products, and the entries say what has not been shown.

SemaAsk a model and prove a property, as equal peers.Research prototypeno public link
Sema SearchA deep-research stack written from scratch in Sema.Research prototypeno public link
SpiralOne small block, iterated. Each pass folded into a new subspace.Research prototypeno public link
DentateGauntlet tests; Dentate trains.Research prototypeno public link

Measured

Every number the lab publishes, with how it was obtained and what it does not establish. The last row is as much a part of this table as the first.

MeasurandValueMethodUncertainty
Gauntlet benchmark runs96executed, four tracksself-reported, undated
omegaXiv published research runs45public repositories, each with paper, sources and review±0, countable
Compliance documents12three bands, published in fullconformity-ready, not certified
Peer-reviewed publications0no external review process existsmachine-produced drafts, not accepted papers
Spiral knowledge compression100×hypothesis under testunsupported — capacity gap, narrow domains first

How the lab works

Four rules, in the words we actually use internally. They are the reason the table above has a fourth and fifth row.

  • Match proof to claim.

    A unit test is not an integration test. A hermetic run is not a live one. Name the tier, and name the limitation.

  • A gate that has never been red is not yet evidence.

    Break what a check guards, watch it fail, then restore it. Otherwise the green tick is decoration.

  • Resolve root causes.

    Never suppress, work around, or defer an error to keep moving.

  • Done means a user can do the thing.

    A green build on a feature nobody can reach is a green build, and nothing more.

DWG
A2O-000
Sheet
01 of 09
Scale
1:1
Works
7