This is a controlled code-generation measurement, not a repository task. Do not call tools, read files, search, execute commands, delegate, or modify anything. Return only JSON matching the supplied schema. Generate source for the three functions below, without a main function, HTTP code, tests, comments, or markdown. Helpers are allowed. No external dependencies.
quote(unit_price, quantity): multiply signed 64-bit integers with checked overflow.
can_order(stock, quantity): stock >= 0 AND quantity > 0 AND quantity <= stock.
remaining(stock, quantity): subtract quantity from stock with checked signed 64-bit overflow.
Negative results are permitted. Do not add business validation beyond can_order. Inputs already fit signed int64. The functions must be named exactly as above. No input or output parsing.
Language: FONUMA basic-0.1. Module declaration: module comparison.inventory; Function syntax: fn name(a: Int, b: Int) -> Int effects [pure] { return expression; } Bool uses Bool. Multiplication and subtraction on Int already fail on int64 overflow in the runtime. Comparisons use >=, >, <= and conjunction uses &&. All functions are pure. Return ordinary Int or Bool, not Option. Reserved if/else/loop/record syntax is unsupported.