sql-walkthrough
Installation
SKILL.md
sql-walkthrough
Show the logic as one bundle: code → the real rows it reads → per-line arithmetic → results → counter-example. This is mandatory when the evidence is a negative ("there is no date cut"). Prose does not land; the counter-example value next to the real value does.
When
- "If I run this batch for an old date, does it overwrite today's values?"
- "Why is this number 154?" / "Where is the SUM?" / "What is the condition?" / "What is the proof query?" asked back-to-back
- Any MyBatis / batch SQL upsert or aggregation that a non-developer must trust
Output shape (keep this order and layout)
<code block: real line numbers + the deployed source text, line breaks and comments intact>
**Real data: entity B (read-only env, id prefix xxxxxxxx)**