dsh-model-everything 0.2.0

A model can come from a file, a truncated check can be printed on its own, and the text got smaller.

• model_verify, model_datamodel_verify and model_design_review take modelPath: the model comes from a JSON file in the workspace in any formatting. It is the alternative to an inline model; passing both is refused, and the refusal is a report with ran: false.
• check: "<id>" prints one check in full when the digest truncated it. The digest had promised that since 0.1.0 and no tool could do it.
• reportView: "full" is compact JSON instead of pretty-printed: the same object, 37% fewer characters on a large report.
• States that share an ignored-event set print as one line with a count, not one line per state: the largest report in the evaluation went from 4,941 to 3,636 characters.
• The entry skill says the same thing in fewer words (37,478 to 31,000 characters) and no longer repeats the tool descriptions or the report fields the model already has.
• The README's cordis.patch.yml example was wrong: a row with name inserts a second row instead of overriding the first one's config. It now shows the id-only override that was verified.

Measured on dsh 0.2.1-rc.2: install from the packed tarball, both rows mounted with the gate enabled, model_verify answering through modelPath and inline, check printing, uninstall leaving no row. Evidence in DSH-COMPATIBILITY.md.