Support support_page canonical The program's dated public ledger of meaningful research-stream events — distinct from the Changelog and the Corpus Changelog.
Research Log

Research Progress Log

A dated public ledger of meaningful research updates, artifacts, formalization milestones, result-status changes, and inspection routes.

The program's dated public ledger of meaningful research-stream events — distinct from the Changelog and the Corpus Changelog.

Typed and dated
Every entry carries a stable id, a date, a type drawn from the IA §4.4 enum, and a status. Entries are appended; nothing is silently rewritten.
Not a blog
Not a newsletter, not a press feed, not a marketing surface. Operational ledger language only, sized for reviewers and journalists.
Distinct from /changelog/
The Changelog records site, layout, and release changes. The Corpus Changelog records semantic corpus corrections. This log records the active research stream.

What this page records

This page records meaningful research-stream events — new publications, registry additions, result-status changes, falsification-pack updates, formalization milestones, errata, release packets, and refinements to the inspection routes that let readers check claims. Each entry is typed, dated, and pinned by a stable identifier so future references resolve.

What it does not record

This page is not a blog, not a newsletter, not a press feed, and not a replacement for Publications. Three near-adjacent surfaces deliberately do not overlap:

Surface Records
Changelog Site, layout, infrastructure, release, navigation, feature changes
Corpus Changelog Semantic corpus corrections, status changes, bridge-boundary updates
Publications / Latest Stable citable artifact stream
Research Log (this page) Active research progress and artifact / process updates

If you are tracking a single published artifact, start at Publications. If you want the program’s near-term progress, this is the right page.

How entries are constructed

Each entry follows the IA Doctrine v5 §4.4 schema: a stable rlog-YYYY-MM-DD-NNN id, an ISO date, one of nine type values (publication · registry · taulib · result-status · pre-registration · falsification · erratum · release · website), a status (recorded · updated · superseded · corrected), a title, a short operational summary, optional linked artifacts, and related lanes. Entries are appended; older entries are not silently rewritten.

The current backfill starts in late April 2026. The cadence is intentional — not a daily log, not a release-engineering ticker, but a record of events the program judges worth reading later.

Entries

1 entries · newest first · oldest entry