Skip to content
#

registered-report

Here are 10 public repositories matching this topic...

Four papers, three seed-pinned verification batteries, and a Lean 4 formalization of the core theorems on AI deployment and collective epistemic capacity: pressure, drift, capture - and a pre-registered audit protocol to locate deployments on the ladder.

  • Updated Aug 5, 2026
  • Lean

Scaffold for registered reports, preregistrations, and replications — freezes hypotheses, outcomes, exclusion rules, and the analysis plan into a hash-stamped ledger, logs every deviation, and audits claims so confirmatory and exploratory results stay separate. Emits hypothesis-outcome maps, analysis DAGs, deviation timelines, permutation tests.

  • Updated Aug 29, 2026
  • HTML

Add this topic to your repo

To associate your repository with the registered-report topic, visit your repo's landing page and select "manage topics."

Learn more