/**
 * Numeric Proof Walk — Facade
 *
 * Re-exports IR tree traversal and proof attachment from sub-modules:
 * - numeric-proof-statement-walk: NumericProofResult, StatementProcessor, runNumericProofPass
 * - numeric-proof-expression-walk: processExpression
 */
export { runNumericProofPass } from "./numeric-proof-statement-walk.js";
//# sourceMappingURL=numeric-proof-walk.js.map