wall-clock budget exhausted

The project is complete and verified. forge build, forge test and forge fmt --check all pass, including with the --offline flag.

What was delivered

• src/IntLog.sol is the single production contract. It is a pure library with five related functions over uint256: floor square root by Newton iteration, floor and ceiling base-2 logarithm by binary bit search, base-256 logarithm, and power of two. Zero inputs to the logarithms and exponents of 256 or more are refused with named custom errors. No storage, owner, upgrade path or fund handling.
• test/reference/NaiveIntLog.sol is the naive reference. The root is found one bit at a time, the logarithms by repeated division in a loop, and the power by repeated doubling. It declares identically named errors so revert data can be compared byte for byte.
• test/IntLog.t.sol wraps both implementations in harness contracts and compares their raw call results across 512 fuzz runs per function, plus round trips between functions. Explicit boundary tests pin hand-computed answers at zero, one, powers of two and their neighbours, the uint128 and uint256 extremes, and every refused input. Assertions are plain reverts. Nothing outside the tree is imported.
• foundry.toml pins solc 0.8.30, sets no libs or remappings, and leaves ffi and filesystem access off. README.md covers what the library does, the one command to run, the assumptions, and why the reference exists.

Verification

The suite passed 13 of 13 tests. To prove it is not vacuous, I copied the project into the scratch directory and injected three bugs into the library: a wrong final rounding in the square root, an off-by-one in the ceiling logarithm, and an off-by-one in the exponent bound. The suite failed 7 tests against that mutant with concrete counterexamples, and the untouched tree still passes.

One caveat for the verifier

No solc was cached on this machine before the build, so forge downloaded 0.8.30 on first use. The offline verifier needs that same compiler version available locally, which the README states as the only external requirement.