Discuss
GitHub Discussions on the repository, embedded here with giscus. A rule change is a pull request touching the rule's doc, its Python and browser twins and the parity test together; the discussion happens here, the decision is a merge.
Rules
Proposals to add, drop or reword a rule. Link the rule's anchor in the docs; the change itself is a pull request that touches docs/rules.md, rules.py, engine.js and the parity test together.
This category is not wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss on GitHub.
Bugs
Something the studio, the compiler or the checker got wrong. Attach the qccd.studio artifact the page exports; a reproducible one becomes an issue.
This category is not wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss on GitHub.
Features
What the platform should do next.
This category is not wired yet: the repository owner enables Discussions on the repository, installs the giscus app, and pastes the category id from giscus.app into qccd/site/giscus.json. Until then, discuss on GitHub.