{"v":1,"type":"bragproof/receipt","spec":{"v":1,"claim":"The client.and tool returns the last value when all are truthy, and client.not negates a boolean.","subject":{"kind":"mcp-stdio","name":"Procedures MCP dev tools","package":"@procedures/mcp-dev-tools","version":"0.55.0"},"steps":[{"tool":"client.and","arguments":{"values":[true,"bragproof"]},"expect":{"equals":"bragproof"}},{"tool":"client.not","arguments":{"value":false},"expect":{"equals":"true"}}],"tags":["mcp","logic","testing"]},"result":{"pass":true,"subjectIntegrity":"sha512-Q/ZwhQp+jNBKrJ8JdjmsrBFrLMuNLjgj7DtJi9F9gFKVMqGtvfm1IDqk6/nnJuDWSiuL37EnT/oDnJgrDQttrw==","lockHash":"2f18df45e91e91585869704c18315949e192f4bbb4871ce01f5b47c3d4a723eb","steps":[{"tool":"client.and","pass":true,"outputHash":"1b0141bd38283061a2adc3af291d41c99a88a0a1f44bc1c4acc7119e3d4d4f5a","outputPreview":"bragproof"},{"tool":"client.not","pass":true,"outputHash":"b5bea41b6c623f7c09f1bf24dcae58ebab3c0cdd90ad966bc43a45b44867e12b","outputPreview":"true"}],"startedAt":"2026-11-12T00:33:41.662Z","finishedAt":"2026-11-12T00:33:58.785Z","runnerVersion":"0.1.0"},"bodyHash":"998e671172323bbc9f4b0b43ad4b800a8b2b5a31dcd5d3fa3b520a97c205f77a","evidence":{"kind":"github-actions","token":"eyJhbGciOiJSUzI1NiIsImtpZCI6IjM4ODI2YjE3LTZhMzAtNWY5Yi1iMTY5LThiZWI4MjAyZjcyMyIsInR5cCI6IkpXVCIsIng1dCI6InlrTmFZNHFNX3RhNGsyVGdaT0NFWUxrY1lsQSJ9.eyJhY3RvciI6Iml0c0hhZGRhZCIsImFjdG9yX2lkIjoiMTE0NzMyNjEiLCJhdWQiOiJicmFncHJvb2Y6OTk4ZTY3MTE3MjMyM2JiYzlmNGIwYjQzYWQ0YjgwMGE4YjJiNWEzMWRjZDVkM2ZhM2I1MjBhOTdjMjA1Zjc3YSIsImJhc2VfcmVmIjoiIiwiY2hlY2tfcnVuX2lkIjoiMTMwODg1Mzc3MjM3IiwiZXZlbnRfbmFtZSI6IndvcmtmbG93X2Rpc3BhdGNoIiwiZXhwIjoxNzk0NDQzOTM4LCJoZWFkX3JlZiI6IiIsImlhdCI6MTc5NDQ0MzYzOCwiaXNzIjoiaHR0cHM6Ly90b2tlbi5hY3Rpb25zLmdpdGh1YnVzZXJjb250ZW50LmNvbSIsImpvYl93b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL2NoZWNrLnltbEByZWZzL3RhZ3MvY2hlY2stdjEiLCJqb2Jfd29ya2Zsb3dfc2hhIjoiNmJhMjljODBmZGQ3ZTQwYmIyZTY4MTM3MDY3NGJhZGVhZDEwOWRkNiIsImp0aSI6ImNmNzRjZWI2LWM5NjYtNDUxMS1hYjFmLWYwMDIwNGIzNTgyYiIsIm5iZiI6MTc5NDQ0MzMzOCwicmVmIjoicmVmcy9oZWFkcy9tYWluIiwicmVmX3Byb3RlY3RlZCI6ImZhbHNlIiwicmVmX3R5cGUiOiJicmFuY2giLCJyZXBvc2l0b3J5IjoiaXRzSGFkZGFkL2JyYWdwcm9vZiIsInJlcG9zaXRvcnlfaWQiOiIxNDU0NjIxMTgzIiwicmVwb3NpdG9yeV9vd25lciI6Iml0c0hhZGRhZCIsInJlcG9zaXRvcnlfb3duZXJfaWQiOiIxMTQ3MzI2MSIsInJlcG9zaXRvcnlfdmlzaWJpbGl0eSI6InB1YmxpYyIsInJ1bl9hdHRlbXB0IjoiMSIsInJ1bl9pZCI6IjQzMTI4MDYyMzkzIiwicnVuX251bWJlciI6IjMiLCJydW5uZXJfZW52aXJvbm1lbnQiOiJnaXRodWItaG9zdGVkIiwic2hhIjoiMzYyYzg4ZmE2M2JkZWYxZWNlZDJmN2M4NDJjZWMzMDhhMzg2MzQxNyIsInN1YiI6InJlcG86aXRzSGFkZGFkQDExNDczMjYxL2JyYWdwcm9vZkAxNDU0NjIxMTgzOnJlZjpyZWZzL2hlYWRzL21haW4iLCJ3b3JrZmxvdyI6InNlZWQiLCJ3b3JrZmxvd19yZWYiOiJpdHNIYWRkYWQvYnJhZ3Byb29mLy5naXRodWIvd29ya2Zsb3dzL3NlZWQueW1sQHJlZnMvaGVhZHMvbWFpbiIsIndvcmtmbG93X3NoYSI6IjM2MmM4OGZhNjNiZGVmMWVjZWQyZjdjODQyY2VjMzA4YTM4NjM0MTcifQ.HB-EuNTXES4B9kpCsTpg3NIdvz8yR1Vv1zYBvUMOkwbMapoPjv5_G2wCBs-0rzCPO8rV0rHdHutzeVOYXUkCwKhUC7g_IdpzB8CMln7lWQ4WFeAyujgkXr6a2lGbLLO1lOJBSlr8QOsE_Saj15bS0uCCWSElVixEVgOnjhZx9h9WB9DAACTJ0G72niQ58piAmNnpNOCf4sh0zDhZUpOd2HOMUfKixyUI6hxozJ7ZZPpb_xd8fQ6pRPN5PzVbHzamHGQEH6g_6ujeBGbq2JupORm782MUNp_OGqNSYiqcDjkwI6Pl8KYDvD9Lg8kHQ6sp5-BPlGz1QsO-pKxPdRk7ag"}}