proof_ledger_volume1_volume2_draft_without_truth_status
| Point | Content | Status |
|---|
| v157 | Proof-ledger schema and dependency graph | alpha |
| v158 | Volume I chapters 4-5: FOS, Desargues-Kurpishev, Fano barrier | draft |
| v159 | Volume II projective and packet geometry start | draft |
PDFSQLitev32-159