The record

Context of record, not memory.

Syderial decides what a model is given, limits what an agent can do to what the record supports, records what the agent knew, was allowed to see and did, with receipts, and says when the record has nothing to say. What it serves to a model is the context of record. Memory tools recall. Syderial keeps the record.

Adjacent tools

Each adjacent tool solves a different problem.

Memory

Memory tools recall. A record attests. Each line states its evidence, its two clocks and its boundary.

Retrieval

Retrieval finds similar text. The record compiles supported claims inside the reader's clearance, with citations.

Logs

Observability logs after the fact. The record says what the model was allowed to see, and which fact replaced which.

Models

A lab sells one model's stack. The record serves any model and outlasts each of them.

The unit of the record

Each line of the record is a claim.

A claim is a statement about the world with its evidence attached. It names who asserted it, the source, when it applied according to that source, when the record learned it, and the boundary it belongs to.

Claims post as lines of an entry. Each line cites its evidence. That’s either a quote of retained source, located by start, end and a hash of the text, or a pointer to another entry.

entry
syd:entry/7Q4N-0193
line
observation · V-204 status failed
valid_from
2026-03-11 09:14Z
recorded_at
2026-03-11 11:02Z
source
sensor/plant-2/V-204 · retained
evidence
quote · start 1482 · end 1611 · text hash
labels
boundary operations · sensitivity internal
compartment
plant-2 · integrity sensor
posting_lane
reader · poster agent · trigger hook
decider
typed · supported · commit
supersedes
syd:entry/7Q4N-0190
chain
ed25519 · prev 9f1c…a204
Figure 1. One entry, as the record keeps it. Examples are illustrative.

Two clocks

When it applied, and when it was known.

Valid from and valid to mark when a claim applied, according to its source. Recorded at marks when Syderial learned it. A row updated in place loses the old value; Syderial keeps both.

The record can answer what its sources said applied on a given day, and what the record knew on that day. A review of a decision asks the second question.

Valid fromin the worldRecorded atwhen it was learned09:0010:0011:0012:0009:1411:02
Figure 2. Two clocks for one line. The sensor log dates the failure from 09:14. The record learned it at 11:02. Both times stay on the entry.

The journal

The record is a journal. The chain of signed entries is the ledger.

Kept the way books are kept. Each entry is posted once, dated and signed. A correction is a new entry that cites what it corrects, and the corrected entry stays where it was.

7Q4N-0190Observation

V-204 in service

quote · shift log, 2 Feb, line 14

valid from
2026-02-02 06:00Z
recorded at
2026-02-03 08:10Z
posting lane
import · receipt
signed
ed25519 · prev 41ab…c3e0
7Q4N-0193Observation

V-204 status failed

quote · sensor log, start 1482, end 1611

valid from
2026-03-11 09:14Z
recorded at
2026-03-11 11:02Z
posting lane
reader · receipt
signed
ed25519 · prev 9f1c…a204
7Q4N-0201Adjustment

V-204 failed from 22:40

pointer · entry 7Q4N-0193, valid from

valid from
2026-03-10 22:40Z
recorded at
2026-03-14 08:30Z
posting lane
principal · receipt
signed
ed25519 · prev 7d02…19e8
Figure 3. Three entries in the journal, in posting order. The adjustment moves the failure earlier in the world and later in the record. Both clocks stay visible. Examples are illustrative.

Posted once

Dated, signed, chained to the entry before. Never edited.

Lines with evidence

A quote of retained source, or a pointer to an entry.

Posting lanes

Reader, principal or import, each with a receipt.

Corrections

New entries that cite what they correct.

Imported journals

Existing journals and notes post as entries.

Properties

Six properties of the record.

Bitemporal

When it applied, and when it was known.

Every entry keeps the source's clock and the record's clock.

Bounded

Labels travel with every claim.

Every derived answer takes the strictest label of the claims it came from.

Verifiable

Every line cites its evidence.

A quote of retained source, or a pointer to another entry.

Rebuildable

Every graph is rebuilt from the record.

Graphs, indexes and briefs are views of the journal. None of them is a second record.

Governed

Grants are data the tenant ratifies.

Who may see, decide and act is itself on the record, signed.

Long-lived

The record outlives the model.

People, models and vendors change. The record of what each claimed stays.

How it works

One record, in the inference path.

A harness points at a Syderial door as its provider. Every turn passes through six stations, and every station writes to the same signed record.