Science Progress
Latest execution deltas, wins, blockers, and concrete next moves.
Prethinker Docs Hub
Current Truth, Operator Paths, And Evidence.
This hub now prioritizes current verified status, the live Prethinker Console front door, and the durable design notes that survived the repo cleanup. Historical experiment surfaces remain available, but they are explicitly archive material.
Note: any link to a .md file opens on the GitHub repo page for reliable rendering from GitHub Pages.
Safety Gate
142
Latest verified full gate
Blocksworld Strict
20/20
Solve/replay green; pilot 8/8
Temporal Pack
8/12
Frozen pack now has 0 fail; correction is 10/12
Historical Runs
142
From docs/data/historical_metrics.json
Current Status
These are the durable top-level notes that describe what is actually true right now, not the retired rolling handoff clutter.
Focus Execution Plan
Current operating spine, gate policy, and promotion rules for the verified lanes.
Design Spine
The durable system view: what Prethinker is, where Freethinker fits, and how ontology steering stays explicit.
Prethinker Console
The console is the operator cockpit for testing the governed intent compiler through the shared interactive entry path.
Console MVP Note
Scope, purpose, and current runtime contract for the product-style front door.
Console Trybook
Manual test script with write/query/clarification probes for live console sessions.
Gateway README
Run instructions, strict lock behavior, endpoints, slash commands, and batch turnset support.
Evidence
These are the highest-signal artifacts for understanding what is holding, what recovered, and where the caveats still live.
Process Utterance Pipeline Batch
The current highest-signal interactive frontier report: correction and temporal pack results on the canonical `process_utterance()` path.
Blocksworld Guarded Lane
The strict green baseline with zero-hit gating and average-hit floors.
Narrative Recovery
The last verified strict narrative sweep and temporal-interrogator recovery, kept here as broader-lane context rather than the newest interactive headline.
Interrogator + MITM Contract
How deterministic ingest, clarification, commit, and exam loops are wired and interpreted.
Architecture Notes
Compact explainers for collaborators who need the mental model without digging through session logs.
Goldilocks Roundtrip
Useful for failure analysis and narration from captured KB state, but not the current headline strict proof lane.
Media + Podcasts
Manifest-driven media cards with direct embedded playback and download links.
Showcase
Asset Feed
Loading media from assets/media_manifest.json...
Live Data Snapshot
The latest runs and feed pointers that drive downstream analysis pages.
Recent Manifest Rows
| Finished (UTC) | Scenario | Status | Artifact |
|---|---|---|---|
| loading... | |||
Archive + Tooling
High-volume explorer surfaces, legacy cards, and long-running assembly history live here.
Run Reports Hub
Full run explorer across published HTML reports and prompt snapshots.
Progress Cards
Compact per-run cards and learning notes from prior phases.
Rungs Archive
Ladder artifacts retained for replay, forensic checks, and regression safety.
Assembly Log
Session-by-session build history, migration notes, and the long operational record that used to live in rolling handoff files.