The six stations

1. 01CaptureEvery turn, with its author.
2. 02BoundLabels on every line, the lattice on every read.
3. 03EntailEvidence must support the claim.
4. 04CompileA hashed packet of cleared context.
5. 05GatePolicy before any tool call runs.
6. 06ReceiptSigned, hash-chained, replayable.

Figure 1. The six stations. Every write and every read passes through them in order.

Writes pass through Capture, Bound and Entail. Reads pass through Bound, Compile and Gate. Both end with a Receipt.

Capture

Every turn, with its author. Syderial retains what was said and who said it, whether a person, an agent acting for a person or a system. Evidence can quote only what Syderial captured.

Bound

Labels on every line, the lattice on every read. Syderial labels each line when it’s written and checks each read against the reader’s clearance before a model sees anything. See Labels and information flow.

Entail

Evidence must support the claim. Syderial judges each line against its cited span and a bounded window around it, and assigns one of four outcomes.

Outcome	Meaning
commit	The evidence supports the line. Syderial commits it to the record.
propose	The evidence partly supports the line. Syderial serves it only as a labeled lead.
quarantine	The evidence doesn’t support the line. Syderial withholds it.
degraded	The check couldn’t run. Syderial marks the line and doesn’t commit it.

Syderial never entails a claim that something is absent. It answers with the scope it searched.

Compile

A hashed packet of cleared context. For each call, Syderial compiles the context of record the reader is cleared to see into a packet and hashes it. The same question asked of the same record at the same coordinates produces the same packet. The hash goes into the receipt, so a reviewer can identify the context behind any answer.

Gate

Policy before any tool call runs. Syderial checks each proposed tool call against the caller’s clearance and the tool’s reach before it executes. A tool with no declared reach doesn’t run, and Syderial records each denial.

Available to design partners as it ships.

Receipt

Signed, hash-chained, replayable. Every answer, abstention, posting and tool decision gets a receipt, signed and chained to the one before. A reviewer can replay the sequence from the receipts without reading the content. See Receipts and verification.