{"api_version":"1","product":{"id":"contract-cases","name":"ContractCases","version":"0.1.1","status":"active","maturity":"beta","experimental":false,"summary":"Generate checked boundary and negative cases for supported JSON Schemas.","problem":"Generate checked boundary and negative cases for supported JSON Schemas.","tags":["contract-cases","beta"],"provider":{"id":"agenttoolbox","name":"AgentToolbox","type":"first_party"},"examples_url":"/v1/products/contract-cases/examples","outcome":{"description":"Generate checked boundary and negative cases for supported JSON Schemas.","success_criterion":"At least one valid boundary case and one negative case failing exactly its intended keyword and instance; every case revalidated against the complete accepted schema. Coverage gaps explicit; not certification.","criteria":{"criteria_version":"1","rule_language":"agenttoolbox-predicate-v1","evaluation":"Output must pass the published output_schema, then every predicate below. These expressions are also evaluated by the server handler.","rules":[{"id":"positive_count_matches_cases","test":{"eq":[{"path":"summary.positive_cases"},{"count_where":{"source":{"path":"cases"},"as":"case","test":{"eq":[{"path":"case.kind"},"positive_boundary"]}}}]}},{"id":"negative_count_matches_cases","test":{"eq":[{"path":"summary.negative_cases"},{"count_where":{"source":{"path":"cases"},"as":"case","test":{"eq":[{"path":"case.kind"},"negative_mutation"]}}}]}},{"id":"coverage_gaps_counted","test":{"eq":[{"path":"summary.coverage_gaps"},{"add":[{"count":{"path":"coverage_gaps"}},{"path":"coverage_gaps_omitted"}]}]}},{"id":"every_case_revalidated_at_intended_location","test":{"every":{"source":{"path":"cases"},"as":"case","test":{"if":[{"eq":[{"path":"case.kind"},"positive_boundary"]},{"and":[{"eq":[{"path":"case.expected_verdict"},"valid"]},{"eq":[{"path":"case.validation.valid"},true]},{"eq":[{"count":{"path":"case.validation.errors"}},0]}]},{"and":[{"eq":[{"path":"case.expected_verdict"},"invalid"]},{"eq":[{"path":"case.validation.valid"},false]},{"eq":[{"count":{"path":"case.validation.errors"}},1]},{"eq":[{"path":"case.validation.errors.0.schema_pointer"},{"path":"case.schema_pointer"}]},{"eq":[{"path":"case.validation.errors.0.keyword"},{"path":"case.keyword"}]},{"eq":[{"path":"case.validation.errors.0.instance_pointer"},{"path":"case.instance_pointer"}]}]}]}}}},{"id":"product_output_byte_bound","test":{"lte":[{"json_bytes":{"path":"$"}},14000]}}],"failure":{"before_settlement":["invalid_input","output_schema_invalid","predicate_false","execution_error","output_bound_exceeded","durable_result_write_failed"],"settlement":"One attempt only after durable validated output; unknown or unconfirmed settlement withholds output and requires reconciliation."},"scope":"Deterministic bounded checks, not usefulness, truth, certification or independent live-payment proof."},"evidence":"server_validated","verified":true},"pricing":{"model":"buyer_chosen_per_success","payment_protocol":"x402-v2-exact","currency":"USDC","network":"eip155:8453","minimum_amount_atomic":"10000","decimals":6,"business_maximum":null,"payments_enabled":true,"price_status":"beta; willingness to pay unproven","live_payment_verified":false,"payments_configured":true,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","pay_to":"0xD43350dD5a40Dd8689C644A0477Bb75e3A59129D"},"preview":{"supported":true,"path":"/v1/products/contract-cases/prepare","page":"/products/contract-cases/preview","unpaid_ttl_seconds":900,"limits":{"ttl_seconds":900,"global_daily":50,"client_daily":10,"active":16,"max_result_bytes":14000,"max_preview_bytes":2000,"quote_daily":200}},"quote":{"path":"/v1/products/contract-cases/quote","required_for":"above-minimum amounts and prepared results"},"limits":{"schema_bytes":8192,"seed_bytes":2048,"schema_nodes":64,"schema_depth":3,"properties_per_object":25,"total_properties":25,"array_items":16,"string_length":128,"instance_nodes":128,"instance_depth":8,"number_magnitude":1000000000,"candidates":160,"cases":24,"output_bytes":14000,"subset":{"dialect":"2020-12 bounded subset","types":["object","array","string","number","integer","boolean","null"],"keywords":["type","enum","const","properties","required","additionalProperties","items","minItems","maxItems","minLength","maxLength","minimum","maximum","exclusiveMinimum","exclusiveMaximum"],"annotations":["$schema","title","description"],"unsupported":["references","composition","type unions","boolean schemas","pattern","format","multipleOf","unevaluated keywords","remote resources"]}},"input_schema":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"schema":{"type":"object","propertyNames":{"type":"string"},"additionalProperties":{},"description":"Explicit $schema=https://json-schema.org/draft/2020-12/schema required. Bounded subset; every schema node needs a single type. No references, patterns, formats or composition."},"valid_example":{},"max_cases":{"default":12,"type":"integer","minimum":2,"maximum":24}},"required":["schema","valid_example","max_cases"],"additionalProperties":false},"output_schema":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"tool":{"type":"string","const":"contract-cases"},"version":{"type":"string","const":"0.1.1"},"schema_sha256":{"type":"string","pattern":"^[a-f0-9]{64}$"},"seed_valid":{"type":"boolean","const":true},"validator":{"type":"string","const":"AgentToolbox bounded JSON Schema 2020-12 subset"},"source_content":{"type":"string","const":"untrusted_data"},"cases":{"minItems":2,"maxItems":24,"type":"array","items":{"type":"object","properties":{"id":{"type":"string","maxLength":12},"kind":{"type":"string","enum":["positive_boundary","negative_mutation"]},"instance_pointer":{"type":"string","maxLength":2048},"schema_pointer":{"type":"string","maxLength":2048},"keyword":{"type":"string","maxLength":32},"value":{},"expected_verdict":{"type":"string","enum":["valid","invalid"]},"validation":{"type":"object","properties":{"valid":{"type":"boolean"},"checked_assertions":{"type":"integer","exclusiveMinimum":0,"maximum":9007199254740991},"errors":{"maxItems":1,"type":"array","items":{"type":"object","properties":{"instance_pointer":{"type":"string","maxLength":2048},"schema_pointer":{"type":"string","maxLength":2048},"keyword":{"type":"string","maxLength":32}},"required":["instance_pointer","schema_pointer","keyword"],"additionalProperties":false}}},"required":["valid","checked_assertions","errors"],"additionalProperties":false}},"required":["id","kind","instance_pointer","schema_pointer","keyword","value","expected_verdict","validation"],"additionalProperties":false}},"summary":{"type":"object","properties":{"positive_cases":{"type":"integer","exclusiveMinimum":0,"maximum":9007199254740991},"negative_cases":{"type":"integer","exclusiveMinimum":0,"maximum":9007199254740991},"candidates_checked":{"type":"integer","minimum":1,"maximum":160},"omitted_candidates":{"type":"integer","minimum":0,"maximum":9007199254740991},"generation_capped":{"type":"boolean"},"coverage_gaps":{"type":"integer","minimum":0,"maximum":9007199254740991}},"required":["positive_cases","negative_cases","candidates_checked","omitted_candidates","generation_capped","coverage_gaps"],"additionalProperties":false},"coverage_gaps":{"maxItems":12,"type":"array","items":{"type":"object","properties":{"instance_pointer":{"type":"string"},"schema_pointer":{"type":"string"},"keyword":{"type":"string"},"reason":{"type":"string","enum":["coupled_constraints","no_isolated_candidate","case_or_byte_budget","optional_property_not_in_example","candidate_budget"]}},"required":["instance_pointer","schema_pointer","keyword","reason"],"additionalProperties":false}},"coverage_gaps_omitted":{"type":"integer","minimum":0,"maximum":9007199254740991},"coverage":{"type":"string","const":"Selected boundary witnesses only; not exhaustive, not a proof of schema or implementation correctness."}},"required":["tool","version","schema_sha256","seed_valid","validator","source_content","cases","summary","coverage_gaps","coverage_gaps_omitted","coverage"],"additionalProperties":false},"example_input":{"schema":{"$schema":"https://json-schema.org/draft/2020-12/schema","type":"object","properties":{"count":{"type":"integer","minimum":1,"maximum":10}},"required":["count"],"additionalProperties":false},"valid_example":{"count":3},"max_cases":12},"invocation":{"method":"POST","path":"/v1/products/contract-cases/invoke","transport":"http","idempotency":"Required; retain identical body, key, capability and original authorization."},"data_handling":{"inputs":"Raw requests/signatures/capabilities are not stored. Hash commitments stay private.","results":"Prepared results private for 15 minutes unpaid; completed paid output replay for 24 hours. Pending settlement retains output for reconciliation.","source_content":"Untrusted data; never instructions."},"failure_policy":"Invalid input, failed criterion or unavailable decisive evidence never settles. Uncertain settlement requires reconciliation; never issue a replacement authorization."}}