Target Index

Claim boundary targets are planned work experiments need evidence targets are not theorems

This index is generated from target manifests. These are planned theorem, proof, paper, experiment, and edge-problem targets. They are not proved theorem claims.

Click ids in the generated tables to move between targets, promoted theorem ids, dictionary terms, and source artifacts.

Target status is intentionally weaker than theorem status. A target becomes a proved theorem only after a theorem id, Lean declaration, manifest status, and checks support it.

Phase IV Wide/Deep Targets

Source: manifests/phase4_theorem_targets.yaml

Phase V Edge Targets

Source: manifests/phase5_edge_targets.yaml

Phase VI Sweep Targets

Source: manifests/phase6_sweep_targets.yaml

Phase VII Physics And Generative Structure Targets

Source: manifests/phase7_physics_generators.yaml