the press that prints truth.
Knowledge, engineered like code.
Here is the whole idea, in one breath.
Hands an agent an ungoverned pile of context and hopes for the best — no record of where a fact came from, no way to agree on which version is true.
Makes knowledge a compiled, source-gated, content-addressed artifact — so every agent reads from the same governed source of truth, you can prove what it knew and why, and the bytes you stored are the bytes you retrieved.
Infrastructure-as-code, but for what your agents know.
Said plainer: knowledge should be authored in plain text, validated by a gate before it ships, and content-addressed — so storage, retrieval, and later training can never silently disagree. The compiler is open; the durable moat is the curation judgement of what is worth gating into a World.
Today, knowledge is hearsay. There is no shared "what's true."
Agent and team knowledge accumulates as scraped notes, vector dumps, scratch logs, half-remembered facts — and it drifts out of sync. Each agent and each teammate carries a private, unverified version of the truth, so they quietly fall off the same page. Ordinary RAG and vector stores don't fix this. They are the rumor mill: ungoverned, with no record of where a fact came from, no map of how facts relate, no sense of whether they're still current, and no way to agree on which version is true.
DaC plugs into ARAIL to govern and organize the lab's knowledge — turning Buddy's gathered context into sourced, owned truth. It also runs standalone: point it at any corpus and it compiles. Underneath, DaC is Documentation-as-Code and Data-as-Code at once — one compiled, gated artifact that is both a human-readable encyclopedia and a byte-tight machine corpus.
→ we aim to ship DaC as a drop-in ARAIL component — a components.json git package with a fetched model. The engine and read API below are live today; the packaged plugin is the direction we're building toward.
Every fact cites a source. A bake stamps corpus_sha256 of the exact bytes it consumed — provenance as a hash chain, not a footnote.
A closed graph: every term is sourced, every edge resolves. assertClosedSourcedGraph refuses a dangling reference or an undeclared category.
Drift is detected and reconciled, not silent. roster-drift.mts reports the gap between what's declared and what's built — out loud.
The gate is the law: nothing becomes truth without a source. A red gate blocks the merge — exactly like failing CI on a pull request.
● available now the provenance gate (src/gate.ts), the closed-graph assembler, and the open read API are live.
Knowledge matures through three layers. Only one of them is the truth everyone builds on — and that boundary is exactly what "on the same page" means.
Scraped docs, notebooks, agent drafts, research claims. Allowed to be wrong. Traceable and on hand — but it never gets a vote on what's true.
A fact lands here first, as a proposal.Only what passed the gate, with provenance. The single source everyone reads from — no consumer holds its own copy, no consumer imports another.
"On the same page" = the gate.The forward bet: distill the compiled World into a model you own, so it knows the domain by heart and RAG of it resets toward zero. A bet on our timeline — it rides on fine-tuning and base models improving. The value you lean on today is the gated COMPILED artifact itself.
A future bet — not the headline. The press is real today.Only COMPILED is truth — sourced, gated, and live today. RAW is available, never authoritative; baking a World into owned weights is the forward bet for later.
A World is the first thing you build with DaC: a sourced, gated, queryable corpus that is at once a readable dictionary and a machine API. Below is the real gated taxonomy of Worlds. Pick a containment and watch the field nest — every edge carries the authority that justifies it. Nothing is drawn broader than its source allows.
Tap an edge label to read its real citation.
You walk into the World and read it — categories, plain definitions, a worked example for each term. The Docent grounds on this same compiled corpus.
An agent retrieves a bounded, sourced slice over the open read API — /what, /story, /dac — CORS-open, every item traceable to one immutable version.
● available now five live Worlds — about 698 sourced terms today, and the counter climbs as new facts ship — plus this gated taxonomy index, each edge sourced. → we aim to the zoomable multi-world rollup and the LLM router next.
Worlds is the first use case of DaC — not DaC itself. DaC is the engine; a World is what it makes first.
It can recall from its own weights, it can search the live web, or it can look it up in a reference World. The first is cheap but can't be trusted. The second can be trusted-ish but is expensive and never the same twice. A World is the empty quadrant — cheap and reliable and yours.
“It just knows.”
A frozen snapshot. Free and instant — but unverifiable, stale at the edges, and it can't cite or repeat itself. Confident is not the same as correct.
“It looks it up.”
Current and broad — but a noisy mix of SEO pages with no authority ranking, un-adjudicated and irreproducible. You pay latency and tokens on every call, and two runs can disagree.
“It consults the press.”
Cheap like memory. Cited and versioned like an authority. And yours — gated, owned, the same answer every call. The lookup an agent can actually defend.
“What is a snake plant, really — and is that name even current?”
A name that points at neither a snake nor one plant. Before an agent can act, it has to pin the species to one accepted name — and “snake plant” maps to a binomial that was reclassified in 2017, so the three routes don't even agree on what the plant is. Watch the same naming question through each.
Emits the now-superseded Sansevieria trifasciata as if current — frozen weights never absorbed the 2017 reclassification. Fluent, confident, and citing nothing. You can't tell stale from right.
Returns pages titled both Sansevieria and Dracaena, threads calling them interchangeable, no authority ranking. Contradictory names, no version, latency and cost every call — and a different top hit next run.
One cheap, versioned, citable lookup. The World adjudicates names, not advice: it returns the Kew-accepted Dracaena trifasciata, the dated homotypic synonym Sansevieria trifasciata, and the rank. Same answer, every call.
A reference World · illustrative record →
{
"accepted_name": "Dracaena trifasciata",
"synonym": "Sansevieria trifasciata",
"synonym_type": "homotypic",
"synonym_since": 2017,
"rank": "species",
"common_name": "snake plant"
}
Names & synonymy after Plants of the World Online (POWO), Royal Botanic Gardens, Kew — illustrative of what a botanical reference World returns. The World returns nomenclature, not care advice.
The same trap, in every domain — one surface word, three answers
reads as a gratuity
is Treasury Inflation-Protected Securities — and the deflation floor protects principal at maturity, not the interim coupon.
TreasuryDirect, U.S. Treasuryreads as one chemical
is three — a reprotoxic solvent (CAS 68-12-2), an MS drug, a biofuel. “Get the CAS” has no answer without context.
PubChem CID 6228, NCBI / NLMreads as thoughtfulness
is the bargained-for exchange that makes a contract enforceable — almost the opposite of the everyday word.
Black’s Law Dictionary, 12th ed.reads as one drug
is two — morphine or magnesium sulfate. The cited rule: never auto-expand; spell it out. Guessing is the bug.
ISMP error-prone list · TJC do-not-useillustrative Everything above teaches the pattern every agent faces — one surface word, three answers — not live DaC returns. Today's shipped Worlds are AI, Astronomy, Mathematics, Quantum, Biology, and Ecology (plus Nucleus, World-Models, Neural-Networks). These fields stand in for the domains a World could govern.
Cheap and reliable and yours.
That third corner is the whole reason an agent reaches for a World. But there is one case where it isn’t the best option — it’s the only one.
Nucleus sign?”
Memory No weights contain it. It guesses the cell nucleus, the atomic nucleus, or invents a “core training module.”
Search Nothing public — or, if it reaches a stale doc, a contradiction: an old 6-artifact claim vs. the shipped 4-artifact chain.
World A private World returns the canon: Ed25519 over sha256(corpus|teacher|config|training) — four artifacts, flat hash-of-hashes, not a Merkle tree. The “six components” framing is a deprecated overclaim.
For your private, proprietary terms there is no parametric memory and no web result. A World is not the cheaper path — it is the only path to a fact you can prove.
Because the documentation is the data, the same compiled World serves both readers at once. There is no second copy to drift — just two ways of meeting the one truth.
You read it to learn. An agent retrieves a sourced slice. And later, a model can bake it and own it.
Learn walks you through the dictionary in plain language — a place to learn the ropes, every term with a worked example.
An agent pulls a small, sourced slice over the open read API — bounded by the gate, traceable to a version.
The forward bet: Nucleus distills the compiled World into a model you own — pinned to corpus_sha256, so the weights trace back to the exact source. Designed, on our timeline.
Every change to truth — a researched claim, a correction, an observation — travels the same pipeline a code PR faces. We call it Continuous Intelligence Integration. The git diff is the changelog of truth.
A new claim lands as a raw/ proposal — available, never authoritative.
The assembler runs the closed-graph gate, then determinism (--check) and corpus-closure. A red gate blocks the merge.
Gate green → terms.json is rewritten and committed. The git SHA is the merge record.
bake-corpus.mts stamps corpus_sha256 — the lockfile binding the corpus to its exact source. It refuses an ungated World.
An autonomous Theorist proposes the next hypotheses; the gate keeps the loop tethered to sourced evidence. Designed, not yet built.
A new method arrives, a pull request for a fact lands on main,
the number climbs. Five live Worlds prove the pattern at scale —
each provenance-gated, every term sourced, the reference graph closed.
Knowledge, declared and versioned — the way software treats code.
sourced terms today across five live Worlds — AI, Astronomy, Mathematics, Quantum, Biology — and the counter climbs as new facts ship.
Every one cites its origin and passes the gate before it ships.
ARAIL gathers the context. DaC is the press that compiles it into sourced, owned truth — live today. The forward bet is Nucleus printing the book: baking a compiled World into a model you own. DaC plugs into ARAIL to organize its knowledge — and runs standalone against any corpus just the same.
A World is the first thing the press makes. Walk into one — and read the truth it printed.