[jwiegley]

Summary

• A commodity block's format sample may now spell the block's symbol bare, as the commodity header does, although an amount must quote it: commodity N1 with format 1,000.00 N1 declares the display precision of N1. Before parseAmount reads the sample, quoteBareSymbol quotes a bare occurrence of the block's symbol at either end of it.
• This follows the C++ fix for commodity directive: can't agree if quoted commodity needs to be quoted ledger#3312, which C++ rejected before (unexpected characters '1' after commodity symbol in format directive). This reader took the bare N1 for a malformed commodity and skipped the line, so N1 kept the precision its postings had taught it.
• The conditions are those of C++ (textual_directives.cc quote_bare_symbol). The symbol must need quotes by the C++ table (commodity.cc invalid_chars, which is not this reader's validCommodity). The sample must quote nothing itself. The symbol must not run into the number between two characters of a number, as in N11,000.00, where nothing marks where it ends.
• Witness: test/regress/3312.test in ledger/ledger, whose N1 balance rounds to the format's two places only under this rule. The rule's comment cites it.

ledger/ledger#3316, which fixes C++ for ledger/ledger#3312, moves both pins (the flake input and the lean/ submodule) to this branch's commit, 1f4d113. Please merge this with a merge commit, as #1 and #2 were, so that the commit stays reachable from main. ledger-semantics#3, #4 and #6 also start from f5d891e. The four rules touch separate definitions, and a trial merge of #6 (the commodity header and alias comment rules, for ledger/ledger#3313) into this branch applies cleanly.

Test plan

• nix build .#oracle -L exits 0, so every proof checks
• Bisimulation of the fixed C++ build against this oracle over the whole C++ suite (test/semantic/check_all.py): 3800 PASS, 0 FAIL, 0 out-of-scope, 0 cpp-parse (491 negative, 77 no-journal, 2 python)
• With the pinned oracle f5d891e, the same run fails on exactly 3312.test (only_oracle: N1|1234.567|Assets:N1, only_cpp: N1|1234.57|Assets:N1)

🤖 Generated with Claude Code

https://claude.ai/code/session_01CBCCbSZ9jNESexSR5iwBDC