{"mcpName":"station__tov-proofs__verify-attenuation","slug":"tov-proofs__verify-attenuation","label":"verify-attenuation","description":"Verify the attenuation property holds: harm probability strictly decreases with each additional protective layer. Returns true if ℙ(H₁) > ℙ(H₂) > ... > ℙ(Hₙ).","domainSlug":"tov-proofs","pvRelevance":"pv-core","backend":"external","agentMetadata":{"idempotent":null,"read_only":null,"expected_latency_ms":null,"cost_tokens_estimate":null,"pipes_to":null},"inputSchema":{"type":"object","properties":{"probabilities":{"type":"array","description":"Array of propagation probabilities, each in (0, 1)"}},"required":["probabilities"]},"example":null,"taxonomy":{"rank":{"domain":"Substrata","kingdom":"Constructa","phylum":"Configa","class":"station-config","order":"tov","family":"mcp-tool-config"},"characteristics":{"substrate":"config","domain":"pv","lifecycle":"continuous","stateful":false,"persistence":"none","authority":"read","compounding":"producer","io_input":"agent-request","io_output":"tool-response"}},"_links":{"html":"/tools/tov-proofs__verify-attenuation","markdown":"/tools/tov-proofs__verify-attenuation/raw.md","invoke":"/api/mcp","catalog":"/api/mcp"}}