{"id":"transparency-inclusion-verify","version":"1.0.0","description":"Strictly verify an RFC 9162 Certificate Transparency inclusion proof.","supported_operations":["verify current certificate transparency inclusion proof","validate RFC 9162 audit path","check leaf membership in transparency log","authenticate CT leaf membership","recompute audit proof root","detect malformed inclusion evidence"],"unsupported_operations":["RFC 6962 compatibility behavior","verify consistency between tree heads"],"semantics":["RFC 9162 sections 2.1 and 2.1.4; leaf is raw lowercase hexadecimal bytes, not a pre-hash.","Well-typed proof failures return a stable verdict; malformed contracts throw invalid_input.","Security-sensitive verification: a valid proof establishes membership only relative to the supplied root; callers must authenticate that root and apply appropriate Certificate Transparency log and freshness policy."],"limits":{"max_leaf_bytes":65536,"max_audit_path_entries":53},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"required":["leaf","leaf_index","tree_size","audit_path","root"],"properties":{"leaf":{"type":"string","maxLength":131072,"pattern":"^([0-9a-f]{2})*$"},"leaf_index":{"type":"integer","minimum":0,"maximum":9007199254740991},"tree_size":{"type":"integer","minimum":1,"maximum":9007199254740991},"audit_path":{"type":"array","maxItems":53,"items":{"type":"string","pattern":"^[0-9a-f]{64}$"}},"root":{"type":"string","pattern":"^[0-9a-f]{64}$"}}},"output_schema":{"type":"object","additionalProperties":false,"required":["valid","reason","computed_root","standard","reference"],"properties":{"valid":{"type":"boolean"},"reason":{"type":["string","null"],"enum":["root_mismatch","path_length_wrong","index_out_of_range",null]},"computed_root":{"type":["string","null"],"pattern":"^[0-9a-f]{64}$"},"standard":{"type":"string","const":"RFC 9162"},"reference":{"type":"string","const":"RFC 9162 sections 2.1 and 2.1.4"}}},"examples":[{"input":{"leaf":"","leaf_index":0,"tree_size":1,"audit_path":[],"root":"6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d"},"output":{"valid":true,"reason":null,"computed_root":"6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d","standard":"RFC 9162","reference":"RFC 9162 sections 2.1 and 2.1.4"}},{"input":{"leaf":"","leaf_index":0,"tree_size":1,"audit_path":[],"root":"6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d"},"output":{"valid":true,"reason":null,"computed_root":"6e340b9cffb37a989ca544e6bb780a2c78901d3fb33738768511a30617afa01d","standard":"RFC 9162","reference":"RFC 9162 sections 2.1 and 2.1.4"}}],"execute_url":"/v1/tools/transparency-inclusion-verify/versions/1.0.0/execute"}