add TODO

Author: myfreess

TODO.md

@@ -7,3 +7,27 @@
   an identifier capture. This inference may be too broad. Consider requiring
   an explicit kind for cross-position reuse, improving the diagnostic, or
   adding a storage-path metavariable kind.
+
+- Correct the commands in the embedded rule-writing guides. They currently
+  recommend `moon run . -- scan ...`, which only runs moongrep when invoked
+  from the moongrep module. Document the installed `moongrep scan ...` and
+  Mooncakes/Wasm `moonx moonbit-community/moongrep -- scan ...` forms, and
+  keep `moon run .` in a contributor-only section if it is still needed.
+
+- Define and document the contract for `#moongrep.skip`. It is currently
+  recognized on functions, impls, top-level lets, tests, and views; ignores
+  any payload, including `false`; and suppresses structural rules but not
+  taint analysis. If it remains public, cover those semantics in the user and
+  e2e documentation. Otherwise, make it internal or remove it.
+
+- Clarify constant matching in the RuleSpec overview. Constants are compared
+  using the parser AST constant kind and preserved source spelling, so
+  equivalent values such as `1000` and `1_000` do not necessarily match.
+  Update the English and Chinese summaries so they do not imply that all
+  formatting is ignored.
+
+- Make the Chinese rule documentation available through the `docs` command,
+  or document that only English documents are embedded. `docs/export.mbt`
+  currently registers only `RuleSpec` and `WritingRules`; consider adding
+  `RuleSpec_CN` and `WritingRules_CN`, or linking to accessible Chinese
+  documents from `SKILL_CN.md`.