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

Raw PDF, YouTube URL or plain-text excerpt — committed to Postgres before extraction begins.
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 pre/postcondition contract per chunk. A rejected proposal is never inserted into rule_candidates; it stays durably recorded and is never deleted.
Raw chunk textchk-8f21-003 · page 13
A basis of a vector space is a linearly independent spanning set.
Exact prompt sentopenrouter · free-tier-model-b
Propose ONE small, pure, self-contained Python function (single entry point, no imports, no side effects, 120-2500 characters, loop-free preferred) encoding a provable fact from the text, plus a Hoare-style precondition/postcondition contract, in the strict parseable format.
Parsed code artifact
No parsed code artifact — extraction did not produce insertable code.
Parsed Hoare-style contract
No parsed contract — the precondition/postcondition was not recoverable.
Rejection record
This proposal was not inserted into rule_candidates. It remains permanently recorded in ingestion_proposals and is never deleted.Span membership predicate
Gate G01 has not run for this revision, so the candidate cannot seal. It remains permanently recorded and is never deleted.
Dismissing removes this candidate from the active view only. The row stays permanently recorded — nothing is deleted.
| Provider | Model | Available | Rate limited until | Observed at |
|---|---|---|---|---|
| openrouter | free-tier-model-a | Available | — | 2026-02-12 09:30Z |
| openrouter | free-tier-model-b | Rate limited | 2026-02-12 10:00Z | 2026-02-12 09:30Z |
Primary model rate-limited; no acceptable fallback model available
Trigger path: manual — the scheduled trigger reaches the same pending work.
After a container sleep or restart, the worker reads pending work items from Postgres and reclaims any item whose lease has expired before continuing — no local disk, no in-memory state, no duplicated work.

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!