[andiwand]

🤖 Generated with Claude Code

This continues #219. Its second commit came after the merge, so it is here.

• The engine is odrcore 7.6.1, up from 7.6.0.
• Lazy layout and lazy loading are on. A long document lays out and loads only the part near the screen.
• A print from the web view loads every part first, because a part that has not loaded prints as empty space.
• A file that the app cannot save opens as a read-only page. odrcore loads only a read-only text file or sheet lazily.
• Pro takes typed formulas. Formula cells show new results as the sheet changes. A wrong formula says why.
• In Lite, a typed formula offers Pro with its own text. The text is in all 16 languages.

Tests:

• All 118 unit tests pass on the iPhone 18 Pro simulator (iOS 27.0).
• New fixtures: a PDF of 40 pages and a sheet with a SUM formula.
• New tests: the later pages of a long PDF load lazily, the search finds a page that has not loaded, a print holds the last page, and four formula tests.
• In the simulator, a 38-page book loads its pages on scroll, and the search counts hits on pages that have not loaded. A locked copy, which prints from the screen, printed its later pages with their text.
• In the simulator, Pro computes =A1*2 at once. Lite shows "Part of Pro" for the same input.

Known issues in core, not caused by this change:

• The search marks of a PDF sit a few letters to the right of the hit in WebKit (pdf: search marks sit about three letters right of the hit in WebKit OpenDocument.core#1279).
• A PDF page view prints on two sheets each, the second one empty. Core 7.5.2 does the same (pdf page view prints each page on two sheets in WKWebView OpenDocument.core#1280).