Skip to content

Latest commit

 

History

History
57 lines (42 loc) · 1.86 KB

File metadata and controls

57 lines (42 loc) · 1.86 KB

Discussion Categories

Use this category model for GitHub Organization Discussions:

  1. Announcements

    • Format: Announcement
    • Purpose: release updates, Research Notes, publication releases, major site changes.
  2. Start Here / Orientation

    • Format: Q&A
    • Purpose: first questions, where to read, where to post, how to navigate.
  3. Ask About the Framework

    • Format: Q&A
    • Purpose: conceptual questions about Category tau and the overall program.
  4. Research Agenda

    • Format: Q&A or open-ended
    • Purpose: Problem Ledger, Recovery Requirements, Kernel/Model/Reality, Construction Roadmap.
  5. Corpus & Construction Spine

    • Format: Q&A
    • Purpose: Registry, Construction Spine, dependency paths, Corpus navigation.
  6. TauLib / Formalization

    • Format: Q&A
    • Purpose: Lean, formal statements, modules, build issues, formalization questions.
  7. Results & World Readouts

    • Format: Q&A
    • Purpose: result status, Landmark Results, World Readouts, Problem Ledger Answers.
  8. Predictions & Falsification

    • Format: Q&A
    • Purpose: numerical predictions, falsification paths, challenge threads.
  9. Research Notes

    • Format: open-ended
    • Purpose: discussion of published Research Notes.
  10. Impact & Public-Good Briefings

    • Format: open-ended
    • Purpose: conditional impact, Research Briefings, Public-Good Briefings.
  11. Corrections / Errata Candidates

    • Format: Q&A or open-ended
    • Purpose: possible errors before they become formal Issues.
  12. Review Offers / Domain Expertise

    • Format: open-ended
    • Purpose: offers to inspect a bounded area of the program.
  13. 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.