SOURCES
Raw PDF, YouTube URL, or plain text excerpt submitted and committed durably to Postgres before extraction.

A raw source is committed durably to Postgres, then extracted to text and split into bounded, ordered chunks, each chunk carrying its source location — page number, timestamp, or excerpt offset. Every chunk goes to a free-tier LLM that proposes one small, pure, self-contained Python function with a Hoare-style precondition and postcondition contract, and the proposal is inserted as an immutable rule_candidates row.
The existing engine then evaluates the candidate through the six gates G1–G6. When all six return PASS against the current approved policy digest, sovereign.finalize_candidate seals it into sovereign_rules. Any failure leaves the candidate permanently recorded, never deleted, and the pipeline moves to the next chunk.
Entry state is anonymous. The operator console is protected.Raw PDF, YouTube URL, or plain text excerpt submitted and committed durably to Postgres before extraction.
Bounded, ordered pieces of extracted text, each carrying page number, timestamp, or excerpt offset.
One small, pure, self-contained Python function plus a Hoare-style precondition/postcondition contract per chunk.
Immutable rule_candidates row with a computed digest and six gate receipts G1–G6.
sovereign_rules row written by sovereign.finalize_candidate when all six gates PASS.
06 — LedgerOperating facts
Seven facts the operator can rely on before entering the pipeline. Each row is a constraint the system already enforces, not a promise about it.
Queue — Postgres only
Store — Supabase free tier
Workers — Replit free tier
Deletes — None
Entry
First-use self-service enrollment and returning verification are handled inside the anonymous Ingestion Entry state. No pipeline run data is read on this public page.

A raw source is committed durably to Postgres, then extracted to text and split into bounded, ordered chunks, each chunk carrying its source location — page number, timestamp, or excerpt offset. Every chunk goes to a free-tier LLM that proposes one small, pure, self-contained Python function with a Hoare-style precondition and postcondition contract, and the proposal is inserted as an immutable rule_candidates row.
The existing engine then evaluates the candidate through the six gates G1–G6. When all six return PASS against the current approved policy digest, sovereign.finalize_candidate seals it into sovereign_rules. Any failure leaves the candidate permanently recorded, never deleted, and the pipeline moves to the next chunk.
Entry state is anonymous. The operator console is protected.Raw PDF, YouTube URL, or plain text excerpt submitted and committed durably to Postgres before extraction.
Bounded, ordered pieces of extracted text, each carrying page number, timestamp, or excerpt offset.
One small, pure, self-contained Python function plus a Hoare-style precondition/postcondition contract per chunk.
Immutable rule_candidates row with a computed digest and six gate receipts G1–G6.
sovereign_rules row written by sovereign.finalize_candidate when all six gates PASS.
06 — LedgerOperating facts
Seven facts the operator can rely on before entering the pipeline. Each row is a constraint the system already enforces, not a promise about it.
Queue — Postgres only
Store — Supabase free tier
Workers — Replit free tier
Deletes — None
Entry
First-use self-service enrollment and returning verification are handled inside the anonymous Ingestion Entry state. No pipeline run data is read on this public page.
No comments yet. Be the first!