v0.0.3: Candidate audits and compact decision visuals

Solution Gate now audits both greenfield fixes and existing contributor work without letting the candidate define the contract. Its visual step also uses the smallest auditable representation instead of requiring HTML for every run.

Solution Gate

• Candidate-audit mode seals an existing PR or patch, reconstructs the contract and solution shapes blind, probes discriminating cases, then reveals the candidate as a third proposal.
• Compact visual routing uses trees, pseudocode, types, diffs, Mermaid sequence or state diagrams, and reserves HTML for dense multi-view artifacts.
• Observed evidence and proposed shapes remain separate. Observations cite probe IDs; proposal links retain observed, inferred, and guessed marks.
• A focused A/B changed the representative output from a self-contained HTML page to inline Mermaid plus signatures without losing provenance.

The visual routing adapts the smallest-view principle from HumanLayer's show-me skill without adding an external runtime dependency.

Also included

• Primitive-contract mismatch as failure shape S12, harvested from agent-browser #1669.
• Additional public cases and gate-run evidence.
• Markdown link validation fixes for code spans and fenced code.

Install

bunx skills add Railly/skills --skill solution-gate --full-depth

Solution Gate remains Experimental and dogfooded. It has not completed a baseline comparison.