Start with one small rule and one specific question.
- Find the source and identify its edition.
- Write down the conditions, exceptions, and result.
- Pick a case that meets the conditions and a case at the boundary.
- Run an available example from the quickstart.
- Compare the facts, answer, and grounds. Do not fill missing facts with guesses.
Share your first result here. Include the canon version, input, and anything that is still unclear. Having a source passage does not by itself establish that its formalization is complete.