Ackren / playground
Deterministic conversational engine · every output re-derivable by hand · Aleten
Sign in to keep your conversations No account is needed on this page.
01

What runs here

stated before you type

All eight pipeline stages run behind this page, and the input is live. The engine grounds what you assert, asks generated follow-up questions, answers from what you taught it (with attribution, never as fact), and refuses everything else with a typed reason. It knows nothing: there is no verified knowledge base yet, and it will say so rather than pretend.

On this page the conversation state never stays on a server. It travels with this browser as a signed envelope, sent back with each turn; close the tab and this playground conversation is gone. The signed-in chat is different: it stores your conversations in your account so you can return to them, and it states where they are held.

This hosted instance is display-only evidence: the determinism gates (byte-identical replay, the ten-turn stateless conversation, two runs identical) run locally against the pinned build, and this page may run on a different interpreter than the one those gates ran on.

Pipeline stages live
8 / 8 counted
Stateless conversation gate
10 / 10 turns measured · fresh process per turn, two runs byte-identical
Replay, frozen probes
20 / 20 measured · reply and log bytes
Verified knowledge base
0 records counted · the honest number until the annotation programme runs
Lexicon
395 + 249 counted · entries + irregular full forms
Grammar
29 rules counted · honest flags outside it

Superseded at the grammar widening: lexicon 392 entries and grammar 20 rules, both counted, both corrected 2026-08-01. Struck, never deleted.

02

Converse

on this page, state lives in your browser

Small talk works best: the grammar is a published 29-rule fragment [counted] and everything outside it flags honestly. Quoted echoes appear marked because they are your words coming back, not the engine's.

03

The assumption ledger

what it is leaning on, visibly
Nothing yet. Assert something and it appears here as a session-scoped, user-asserted belief, queued for human verification, never written to any shared knowledge base.
04

The derivation log

the product, not a debug view

The full log of the last turn, verbatim from the engine: flags with their summands, the σ branch that fired, every bind with its licence, the round-trip verdict, and the envelope tag the state travelled under.

no turn yet