InterpolationSearch present-key proof

[Grover-c13]

No description provided.

[github-actions]

bmc4j proof results

2 proofs → 1 matched expectation, 1 mismatched

Proof	Expected	Actual	Why it fails	Counterexample
InterpolationSearchProof.interpolation_findsPresentKey_size4	VERIFIED	❌ REFUTED	java.lang.ArithmeticException: / by zero at InterpolationSearch.java:45 (InterpolationSearch.java:45) counterexample: key = 4L, v = 4, start = 0, end = 3, a = [4, 4, 4, 4] replay: int v = 4; int start = 0; int end = 3; int[] a = {4, 4, 4, 4}; // key: could not express integer value as a literal —…	key = 4L, v = 4, start = 0, end = 3, a = [4, 4, 4, 4]
BaselineProof.increment_grows_below_int_max	VERIFIED	✅ VERIFIED