IR-597: Centralize typed operator catalog

[kreneskyp]

Summary

A single typed IntegerOperator catalog now supplies scalar oracle generation and Kani scalar/frame projections. It keeps the source operator spelling and consumer behavior aligned, with catalog consistency and negative controls. Refs IR-597.

Review and validation

• Independent code/Rust review and changed-scope gap review (SR-8660/SR-8661) are clean, including the delta after rebasing onto IR-496.
• Focused post-rebase formatting, Clippy, test compilation, catalog/frame/scalar unit tests, and strict-reader/catalog negative tests passed on the final head.
• Both full make -k ci runs passed: the final-head run on 10c8f87 passed 493 integration tests (27 Kani-only ignored), doctest 1/1, formatting, spec validation, Clippy, MSRV/stable tests, deny/one-copy, unsafe audit, and rustdoc. The IR-496 100K and strict 129-call schedule controls passed.
• Both formal make kani-gate runs passed 27/27; the final-head run used Kani 0.68.0 and CBMC 6.11.0.
• The repository has no string-edge/xtask endpoint, so that optional check was unavailable.

Final-head receipts: /tmp/ir597-rebase-prepush-f1024f2.log, /tmp/ir597-premerge-make-k-ci-10c8f87.log, /tmp/ir597-kani-premerge-10c8f87.log.