{"v":1,"type":"bragproof/receipt","spec":{"v":1,"claim":"The docs tool returns the index of the SDK reference shipped in the package.","subject":{"kind":"mcp-stdio","name":"run402 MCP","package":"run402-mcp","version":"4.150.0"},"steps":[{"tool":"docs","arguments":{},"expect":{"contains":"# run402-mcp docs: index"}}],"tags":["mcp","docs","deploy"]},"result":{"pass":true,"subjectIntegrity":"sha512-CQh/dUnY0K372pOt9MJ+dAwdFSIpZltnYNRxGQbUhueAXLCNRXg6n4k2QoO8qn2G6KoNMPvlTevXIeBxGsoMNw==","lockHash":"0bdfa404deac8ba3cc24c77642edba0fca84b874dbd2b936e2ca90718c640501","steps":[{"tool":"docs","pass":true,"outputHash":"b5dfabf43b195949ab75adc79aacce978822ec8bce82d8ec34d5aaa5dcd4f708","outputPreview":"docs: index — 168 lines, all shown (ref res_d891bc9f0d2c6b48).\n\n# run402-mcp docs: index\n\nEight tools: `up` and `deploy` (the first deploy), `status`, `whoami`, `doctor`, `docs` (this), `run`, and `ex"}],"startedAt":"2026-11-12T00:33:44.678Z","finishedAt":"2026-11-12T00:33:57.329Z","runnerVersion":"0.1.0"},"bodyHash":"56dba682a3cf23bd42c2691631015dae0b006349c3764ddb14ffd94eac94560c","evidence":{"kind":"github-actions","token":"eyJhbGciOiJSUzI1NiIsImtpZCI6IjM4ODI2YjE3LTZhMzAtNWY5Yi1iMTY5LThiZWI4MjAyZjcyMyIsInR5cCI6IkpXVCIsIng1dCI6InlrTmFZNHFNX3RhNGsyVGdaT0NFWUxrY1lsQSJ9.eyJhY3RvciI6Iml0c0hhZGRhZCIsImFjdG9yX2lkIjoiMTE0NzMyNjEiLCJhdWQiOiJicmFncHJvb2Y6NTZkYmE2ODJhM2NmMjNiZDQyYzI2OTE2MzEwMTVkYWUwYjAwNjM0OWMzNzY0ZGRiMTRmZmQ5NGVhYzk0NTYwYyIsImJhc2VfcmVmIjoiIiwiY2hlY2tfcnVuX2lkIjoiMTMwODg1NDAyNzQ4IiwiZXZlbnRfbmFtZSI6IndvcmtmbG93X2Rpc3BhdGNoIiwiZXhwIjoxNzk0NDQzOTM3LCJoZWFkX3JlZiI6IiIsImlhdCI6MTc5NDQ0MzYzNywiaXNzIjoiaHR0cHM6Ly90b2tlbi5hY3Rpb25zLmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImpvYl93b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL2NoZWNrLnltbEByZWZzL3RhZ3MvY2hlY2stdjEiLCJqb2Jfd29ya2Zsb3dfc2hhIjoiNmJhMjljODBmZGQ3ZTQwYmIyZTY4MTM3MDY3NGJhZGVhZDEwOWRkNiIsImp0aSI6ImI5Y2FjZjY1LTM3ZDUtNDVjYS05MGQzLWQ5YzI5NzU5OTY1MyIsIm5iZiI6MTc5NDQ0MzMzNywicmVmIjoicmVmcy9oZWFkcy9tYWluIiwicmVmX3Byb3RlY3RlZCI6ImZhbHNlIiwicmVmX3R5cGUiOiJicmFuY2giLCJyZXBvc2l0b3J5IjoiaXRzSGFkZGFkL2JyYWdwcm9vZiIsInJlcG9zaXRvcnlfaWQiOiIxNDU0NjIxMTgzIiwicmVwb3NpdG9yeV9vd25lciI6Iml0c0hhZGRhZCIsInJlcG9zaXRvcnlfb3duZXJfaWQiOiIxMTQ3MzI2MSIsInJlcG9zaXRvcnlfdmlzaWJpbGl0eSI6InB1YmxpYyIsInJ1bl9hdHRlbXB0IjoiMSIsInJ1bl9pZCI6IjQzMTI4MDYyMzkzIiwicnVuX251bWJlciI6IjMiLCJydW5uZXJfZW52aXJvbm1lbnQiOiJnaXRodWItaG9zdGVkIiwic2hhIjoiMzYyYzg4ZmE2M2JkZWYxZWNlZDJmN2M4NDJjZWMzMDhhMzg2MzQxNyIsInN1YiI6InJlcG86aXRzSGFkZGFkQDExNDczMjYxL2JyYWdwcm9vZkAxNDU0NjIxMTgzOnJlZjpyZWZzL2hlYWRzL21haW4iLCJ3b3JrZmxvdyI6InNlZWQiLCJ3b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL3NlZWQueW1sQHJlZnMvaGVhZHMvbWFpbiIsIndvcmtmbG93X3NoYSI6IjM2MmM4OGZhNjNiZGVmMWVjZWQyZjdjODQyY2VjMzA4YTM4NjM0MTcifQ.Xvbcju8xuE6lVLNjD7mhVFjfDdXRqxheuuoad5N4f2VN_mdf6ieGVex566emQcnradwE4S_yT45JPFjcQqr2YoevmSojCDy0n3bmPahEJQhNBazekzmlHm3kl9iqRIlPBUbEwOQ7aLoDj-htcXOD9RFfsDH1S7hDjfco_ahWFhbVJvbuVvwA7hrIWNUbIP7nmFfOCtIlgEoysKFq9X6ztzQAvZqZBq7yoXJpwhIt280GxE9oNKd-p95-mjLipCCpAHLUX5yYVguS2g5hOwpSopxwiZdnzY1os1CK6a7bRAZPSczKHQyIZjmWG1ygToKGq4-Q6NnLa98wMIX0oA-x4A"}}