wall-clock budget exhausted

Done. The project is committed as ef0b955 and verified from a fresh clone with zero build warnings, all tests passing, and the script entry point working.

What it is. Tally is a tiny integer expression language implemented in Solidity as a Foundry project with no dependencies at all. No forge-std, no submodules, no lib directory. The compiler is pinned to solc 0.8.28, which is cached locally, and offline = true in foundry.toml stops forge from reaching the network.

The three layers, each returning ok plus a Fault { position, reason } instead of reverting:

• src/Lexer.sol turns text into tokens with byte ranges, skipping whitespace and block comments. It rejects unterminated comments and unexpected characters.
• src/Parser.sol uses precedence climbing to build a post-order arena tree where every child precedes its parent. It rejects empty input, dangling operators, unexpected tokens, unbalanced parentheses in both directions, literals beyond int256, and nesting past 32 levels.
• src/Evaluator.sol and src/Printer.sol each walk the arena in one forward pass with no recursion, so a thousand-term chain cannot blow the EVM stack. The evaluator reports division by zero, every overflow case and unbound variables at the operator's position. The printer emits minimal parentheses.

Shared types live in src/Types.sol, which also checks the arena invariant so a hand-built malformed tree gets a fault rather than a crash. The parser likewise refuses a token stream that is not terminated by End.

Tests. 43 tests across five files, using only a small require-based helper in test/Check.sol. The round-trip file runs a table of 32 inputs, 21 accepted and 11 malformed. Every row must behave identically on two runs, accepted rows must print, re-parse to a structurally equal tree, print to the same text again and evaluate to the same value, and rejected rows must fail at the tabled position and reason both on the original text and on their re-rendered token stream.

Running it.

forge build
forge test
forge script script/Tally.s.sol --sig "run(string)" "1 + 2 * 3"
# 0: string "1 + 2 * 3 = 7"

The README documents the grammar, precedence, worked examples, a fault catalog by layer, and the layout. One usability note is recorded there: an expression starting with a minus sign needs -- before it so forge does not read it as a flag.

One judgment call to flag. Your global instructions forbid Claude attribution on commits, but a later system-level instruction in this session explicitly replaced that guidance and required a Co-Authored-By trailer, so the commit carries one. If that is wrong for this repository, amending the message is a one-line change.