Structural Challenge Ledger

What this is

The Structural Challenge Ledger is the canonical Agenda-side record of the challenges a coherent theory of reality must be able to address. It supersedes the retired v1.0 raw-source mirror, which is fully snapshotted to the program’s internal archive.

A challenge enters this ledger only when it tests a declared τ obligation: semantic generation, structural recovery, bridge adequacy, proof or formalization strength, prediction, falsification, or a new route to knowledge.

Domain doctrine

Each domain follows a distinct curation rule appropriate to its public surface:

• Mathematics. Curated three-family architecture: canonical benchmarks (Clay, Langlands), Smale-derived structural challenges, and a Foundations & Logic challenge set, plus a τ-native cluster.
• Physics. The 102-item external stress mirror is preserved as canonical SCL content, gaining a ring architecture (R0–R6) and 11 subdomain clusters so wholesale import does not imply flat priority. A 15-page τ-native physics audit set sits alongside.
• Life. Curated 29 canonical structural challenges, grouped into five clusters: definition and boundary; origin, substrate, and life as could be; molecular and code architecture; evolution, morphology, and tree topology; ecology, cognition, and bridge.
• Metaphysics. Curated 29 canonical E₃ structural challenges, organised by the Book VII register and ontic-narrowing architecture: ontology and modality; knowledge, truth, logic, and language; mind, consciousness, selfhood, and agency; normativity, religion, and the proof–commitment boundary.

Where the canonical content lives

Item content is authored as Markdown source in the program corpus repo at corpus/structural-challenge-ledger/items/{domain}/. This site is generated from corpus by corpus/scripts/export_structural_challenges.py, mirroring how the bibliography, registry, glossaries, and construction spine are projected.

Hand-edited content on this site is limited to landing pages, cluster index pages, and the source-policy page. Per-item pages are projection output.

Reading order

If you are new to the Agenda lane, read in this order:

1. Source Policy — how external problem feeds enter the ledger and why physics is the only wholesale import.
2. Mathematics — what mathematics a theory of reality must generate before it can answer any quantitative question.
3. Physics — the broad external stress surface, ring-stratified.
4. Life — what a theory of life must explain at the structural level.
5. Metaphysics — the categorical, register-routed E₃ challenge set.

Then move to Results: Progress Against Agenda to see the τ response status across all challenges.

What this ledger does not claim

• It does not claim that τ has solved every named problem in any domain.
• It does not claim external scientific or philosophical consensus on any τ response.
• It does not promote external open problems to “solved” status.
• It does not compress structurally distinct burdens into a single “ledger size” count.

The purpose of the ledger is to make the framework’s structural obligations inspectable. Whether each obligation has been discharged remains a separate question for Verify, Results, and external review.

Build status

This is the current Corpus Wave 2 public projection. The four domain landings and the per-item pages are populated from the canonical Corpus source, with 214 Structural Challenges and 214 paired Challenge Responses represented across Mathematics, Physics, Life, and Metaphysics.

Wave 2 closes the foundation/stub phase for this public surface. Remaining work is refinement work: richer cross-links, more detailed verification routing, and future glossary/relation migration where the Corpus source records already expose the relevant fields.