explain_certificate
Explain why a certificate was rejected by showing per-locus safety, margins, and shortfalls. Transform an opaque verdict into an actionable list after verification fails.
Instructions
Explain WHY a certificate reached its verdict, locus by locus: which loci are safe, unsafe or straddling, the margin each had, the margin it needed, and how far short it fell. Use this after verify_certificate returns REFUTED or a certificate records a REJECT — it turns an opaque refusal into a specific, actionable list. Computes nothing new; it re-presents the arithmetic the verdict already rests on.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"bundle_dir": "<bundle_dir>"
},
"name": "explain_certificate"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| limit | No | how many binding loci to list | |
| bundle_dir | Yes |