Use this category model for GitHub Organization Discussions:
-
Announcements
- Format: Announcement
- Purpose: release updates, Research Notes, publication releases, major site changes.
-
Start Here / Orientation
- Format: Q&A
- Purpose: first questions, where to read, where to post, how to navigate.
-
Ask About the Framework
- Format: Q&A
- Purpose: conceptual questions about Category tau and the overall program.
-
Research Agenda
- Format: Q&A or open-ended
- Purpose: Problem Ledger, Recovery Requirements, Kernel/Model/Reality, Construction Roadmap.
-
Corpus & Construction Spine
- Format: Q&A
- Purpose: Registry, Construction Spine, dependency paths, Corpus navigation.
-
TauLib / Formalization
- Format: Q&A
- Purpose: Lean, formal statements, modules, build issues, formalization questions.
-
Results & World Readouts
- Format: Q&A
- Purpose: result status, Landmark Results, World Readouts, Problem Ledger Answers.
-
Predictions & Falsification
- Format: Q&A
- Purpose: numerical predictions, falsification paths, challenge threads.
-
Research Notes
- Format: open-ended
- Purpose: discussion of published Research Notes.
-
Impact & Public-Good Briefings
- Format: open-ended
- Purpose: conditional impact, Research Briefings, Public-Good Briefings.
-
Corrections / Errata Candidates
- Format: Q&A or open-ended
- Purpose: possible errors before they become formal Issues.
-
Review Offers / Domain Expertise
- Format: open-ended
- Purpose: offers to inspect a bounded area of the program.
-
Meta / Infrastructure
- Format: open-ended
- Purpose: GitHub org, website structure, taxonomy, search, tooling, workflows.
De-emphasize generic defaults such as General, Polls, and Show and tell where possible.