why
Retrieve the evidence and grounds behind a simulation-verified claim card. Inspect or cite the exact JSON with verdict, conditions, and narrative for a given claim ID.
Instructions
Grounding for one executable-substrate claim-card — the evidence behind a citation. Use it
to inspect (or cite) a specific sim-verdicted claim. Remember the boundary: the claim's QUANT
verdict is oracle-certified, but its narrative is interpretive (a mechanism the engineer
narrates, NEVER an oracle-certified fact).
Args:
claim_card_id: the id from query_executable, format {spec_id}:{claim}.
Returns:
JSON {claim_card_id, found, claim, knob, metric, verdict, narrative, grounds,
conditions:{corner,temp_c,vdd}, spec_id, topology_class}.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| claim_card_id | Yes |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |