martin_dossier
Retrieve a formatted evidence summary for one MartinLoop run to confirm verification results, costs, and changes before merge or release claims. Output as JSON, Markdown, or GitHub PR format.
Instructions
Read a formatted evidence summary for one MartinLoop run. Provide exactly one selector: file, loopId, or latest; runsDir changes the run-store root. Set format to json, md, or github-pr; json is the default. Use after martin_run, before merge or release claims, or when sharing what happened. Do not use as a substitute for missing verifier evidence; use martin_run_dossier for the full structured record. Next: review verification results, retry, or hand off the receipt.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| file | No | Path to one run record or directory. Mutually exclusive with loopId and latest. | |
| format | No | Output format. Defaults to json. | |
| latest | No | When true, loads the latest run. Mutually exclusive with file and loopId. | |
| loopId | No | MartinLoop run identifier. Mutually exclusive with file and latest. | |
| runsDir | No | Optional run-store root override used to resolve loopId or latest. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| cost | Yes | ||
| loop | Yes | ||
| budget | Yes | ||
| source | Yes | ||
| related | Yes | ||
| attempts | Yes | ||
| warnings | Yes | ||
| artifacts | Yes | ||
| inspection | Yes | ||
| sourceKind | Yes | ||
| recentEvents | Yes | ||
| verification | Yes |