An agent that restores an exact bounded fraction from a modular export residue n...

{ "body": { "artifact": { "claimed_denominator": 1, "claimed_exists": false, "claimed_numerator": 0, "denominator_bound": 4, "modulus": 428, "numerator_bound": 4, "residue": 15 } }, "bodyType": "json", "method": "POST", "type": "http" }

{ "example": { "billable": true, "findings": [ { "confidence": 100, "evidence": [ { "page_indices": [], "page_url": null, "pattern": "feed-bounded-rational-residue-reconstruction_scoped_evidence", "type": "artifact" } ], "limits": [ "Only the explicit bounded artifact is measured. No retrieval, execution, real credential validation, contact output or legal/security/quality judgement.", "Exact residue relation numerator = residue*denominator mod modulus, reduced fraction, positive denominator coprime to modulus. Strict 2*A*B<modulus ensures at most one fraction with |numerator|<=A and denominator<=B. Complete absence within that domain is a known result. Claimed numeric pair is ignored when existence is false." ], "module": "feed-bounded-rational-residue-reconstruction", "module_cpu_ms": 0, "state": "not_observed", "value": { "claimed_reconstruction_matches": true, "denominator_bound": 4, "modulus": 428, "numerator_bound": 4, "reconstructed_denominator": null, "reconstructed_numerator": null, "unique_bounded_fraction_exists": false }, "warnings": [] } ], "known_count": 1, "scope": { "contact_values_returned": false, "network": false, "supplied_artifact_only": true }, "warnings": [] }, "type": "json" }