{"id":"homography-incidence-verify","version":"1.0.0","description":"Verify exact point-line incidence before and after a 2D homography with certificates.","supported_operations":["verify projective incidence","check point lies on line after homography","certify homogeneous point line incidence","exact incidence preservation test","validate transformed point and line","produce projective incidence certificate"],"unsupported_operations":["approximate distance to a line","polygon topology validation"],"semantics":["Canonical rationals are integers or reduced p/q strings with a positive denominator.","Homogeneous outputs are primitive integer tuples with first nonzero coordinate positive.","All arithmetic and predicates use exact BigInt cross-products; binary floating point and epsilon comparisons are never used.","Reference: Hartley & Zisserman, Multiple View Geometry, 2nd ed., Chapter 2."],"limits":{"max_input_bytes":8192,"max_rational_bytes":256,"max_output_bytes":8192,"max_tree_nodes":128},"pricing":{"status":"unpriced","charge_usd":null},"input_schema":{"type":"object","additionalProperties":false,"required":["matrix","point","line"],"properties":{"matrix":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"}}},"point":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"}},"line":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"}}}},"output_schema":{"type":"object","additionalProperties":false,"required":["source_incident","transformed_incident","source_certificate","transformed_certificate","point","line","reference"],"properties":{"source_incident":{"type":"boolean"},"transformed_incident":{"type":"boolean"},"source_certificate":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"},"transformed_certificate":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"},"point":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"}},"line":{"type":"array","minItems":3,"maxItems":3,"items":{"type":"string","minLength":1,"maxLength":256,"pattern":"^(?:0|-?[1-9][0-9]*)(?:/[1-9][0-9]*)?$"}},"reference":{"type":"string","const":"Hartley & Zisserman, Multiple View Geometry, 2nd ed., Chapter 2"}}},"examples":[{"input":{"matrix":[["1","0","0"],["0","1","0"],["0","0","1"]],"point":["1","2","1"],"line":["1","0","-1"]},"output":{"source_incident":true,"transformed_incident":true,"source_certificate":"0","transformed_certificate":"0","point":["1","2","1"],"line":["1","0","-1"],"reference":"Hartley & Zisserman, Multiple View Geometry, 2nd ed., Chapter 2"}},{"input":{"matrix":[["1","0","0"],["0","1","0"],["0","0","1"]],"point":["0","0","1"],"line":["1","0","-1"]},"output":{"source_incident":false,"transformed_incident":false,"source_certificate":"-1","transformed_certificate":"-1","point":["0","0","1"],"line":["1","0","-1"],"reference":"Hartley & Zisserman, Multiple View Geometry, 2nd ed., Chapter 2"}}],"execute_url":"/v1/tools/homography-incidence-verify/versions/1.0.0/execute"}