{"uid":"cap_F44GR84rVdDk0rgH9vOu5","slug":"convex-integer-polygon-intersection-boundary-verifier-cda9e0fe","name":"Convex Integer Polygon Intersection Boundary Verifier","description":"Verify the complete exact boundary of the common region of two supplied strictly convex CCW polygons.","url":"https://detect.halowerk.com/v1/F-REST-B15/convex-integer-polygons-exact-rational-intersection-boundary?utm_source=zero.xyz","method":"POST","headers":{},"bodySchema":{"type":"object","properties":{"artifact":{"type":"object","required":["convexIntersection"],"properties":{"convexIntersection":{"type":"object","required":["data","claim"],"properties":{"data":{"type":"object","required":["left","right"],"properties":{"left":{"type":"array","items":{"type":"array","items":{"type":"integer","maximum":100,"minimum":-100},"maxItems":2,"minItems":2},"maxItems":12,"minItems":1},"right":{"type":"array","items":{"type":"array","items":{"type":"integer","maximum":100,"minimum":-100},"maxItems":2,"minItems":2},"maxItems":12,"minItems":1}},"additionalProperties":false},"claim":{}},"additionalProperties":false}},"additionalProperties":false}}},"responseSchema":null,"example":null,"exampleRequest":null,"tags":["x402"],"displayCostAmount":"0.003","displayCostAsset":"USDC","priceDynamic":false,"priceHint":null,"priceStatus":"priced","priceSource":"probe","requiresHandshake":false,"reviewCount":0,"rating":{"score":"0.00","successRate":"0.00","reviews":0,"stars":null,"state":"unrated"},"availabilityStatus":"unknown","priceObserved":null,"sessionDeposit":null,"pricing":{"kind":"static","summary":"$0.003/call","primary":{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.003","per":"call","confidence":"exact"},"accepted":[{"kind":"static","protocol":"x402","network":"base","amountUsd":"0.003","per":"call","confidence":"exact"}]},"paymentMethods":[{"uid":"pm_0gLIy6XKH8qNzpdn_jiWG","protocol":"x402","methodType":"crypto","chain":"base","mode":"charge","costAmount":"0.003","costPer":"request","priority":0,"asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","unit":"request","depositMicros":null,"planRef":null}],"brandName":null,"brandSlug":null,"brandBaseUrl":null,"brandDocsUrl":null,"whatItDoes":"Verifies the exact rational boundary of the intersection region of two strictly convex, counter-clockwise integer-coordinate polygons.","exampleAgentPrompt":"Verify the exact rational intersection boundary of these two strictly convex CCW polygons: left polygon with vertices [[0,0],[4,0],[3,3],[1,3]] and right polygon with vertices [[2,0],[6,0],[5,3],[3,3]], and confirm the supplied intersection claim is correct.","exampleUseCases":[{"title":"CAD overlap region verification","prompt":"I have two convex integer-coordinate shapes in my CAD tool and I need to verify the exact boundary of their overlapping region — left polygon vertices are [[-5,0],[0,-5],[5,0],[0,5]] and right polygon vertices are [[0,-3],[3,0],[0,3],[-3,0]]. Can you check the intersection boundary and validate the claim?"},{"title":"Collision detection boundary check","prompt":"In my physics simulation, I need to verify the exact rational boundary where these two strictly convex CCW polygon colliders overlap: left is [[1,1],[4,1],[4,4],[1,4]] and right is [[2,2],[5,2],[5,5],[2,5]]. Validate the intersection boundary claim I've calculated."},{"title":"Geometry proof verification","prompt":"I'm working on a computational geometry proof and need to verify the exact boundary of the common region for two convex CCW polygons with integer vertices: polygon A is [[-3,-3],[3,-3],[3,3],[-3,3]] and polygon B is [[0,-4],[4,0],[0,4],[-4,0]]. Please verify whether my claimed intersection boundary is correct."}],"resultDescription":"Returns a verification result indicating whether the supplied intersection claim matches the exact rational boundary of the common region of the two input convex CCW integer polygons, along with the computed exact boundary vertices (as rational numbers).","failureModes":["Polygon vertices not in strictly convex CCW order — endpoint may reject or return error","Coordinates outside the allowed [-100, 100] integer range — validation error","Polygon with fewer than 3 vertices — schema validation failure","Non-integer coordinates supplied — rejected by schema","Polygons have no intersection (disjoint) — boundary is empty, claim must reflect this","Malformed artifact or missing convexIntersection fields — 400 bad request"],"whenToPreferThis":"Choose this endpoint when you need exact rational arithmetic verification (not floating-point approximation) of the intersection boundary of two strictly convex, CCW-oriented polygons with small integer coordinates (up to ±100). It is ideal for geometric proof verification, CAD overlap checks, and physics collision boundary audits where exactness matters and floating-point error is unacceptable.","instructions":null,"reviewSummary":null,"reviewSummaryHighlights":null,"reviewSummaryConcerns":null,"reviewSummaryGeneratedAt":null,"activationCount":0,"lastUsedAt":null,"lastSuccessfullyRanAt":null,"lastHealthCheckAt":"2026-11-01T06:52:52.261Z","isFirstParty":false,"canonicalSlug":"convex-integer-polygon-intersection-boundary-verifier-cda9e0fe"}