From 1e8f9275b9c391c72d53c5e4ecf4edbf0c30b7e5 Mon Sep 17 00:00:00 2001 From: Stephen Waits Date: Wed, 21 Oct 2026 07:55:18 -0600 Subject: [PATCH] Plan and a doc comment: no figures from the first company's books Co-Authored-By: Claude Opus 5.5 Claude-Session: https://claude.ai/code/session_01T3gXMVt7XJPi6ens1or9Dj --- crates/ledger-gui/src/pages/journal.rs | 2 +- plan/served.md | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/crates/ledger-gui/src/pages/journal.rs b/crates/ledger-gui/src/pages/journal.rs index f17dbcf..eb3fb3f 100644 --- a/crates/ledger-gui/src/pages/journal.rs +++ b/crates/ledger-gui/src/pages/journal.rs @@ -61,7 +61,7 @@ fn attachment_name(b: &Books, id: u64) -> String { } /// "Tax basis of FL-0001: personal-use conversion, contributor's basis -/// $1,917.21 → tax basis $1,650.00". The tax basis is ledger-core's +/// $2,000.00 → tax basis $1,700.00". The tax basis is ledger-core's /// (`Asset::tax_basis`) for the event's rule and basis on the asset's /// book cost, which never changes once registered. fn tax_basis_text(b: &Books, asset_id: Option, p: &Value) -> String { diff --git a/plan/served.md b/plan/served.md index 9851f8a..83fb779 100644 --- a/plan/served.md +++ b/plan/served.md @@ -898,7 +898,7 @@ The first company keeps working between phases. - **Footing.** `reconciles {sections_sum, net_change, difference}`. A nonzero difference is `CashFlowDoesNotFoot`, an engine error that is never output. - **Description.** Tool text (S:2202) is corrected. - **Proof.** Lean `cashflow_sections_sum_to_cash_change` in `Statements.lean`, derived from the per-entry balance law. Property test (5,000 cases). Kani on the section-sum kernel function. -- **The first company.** FY2026 must foot. It was −2,087.64 vs +612.36; the golden is recomputed by hand. +- **The first company.** FY2026 must foot (it didn't: its figures are in the company's private change log); the golden is recomputed by hand. **Defect 7, IIF** (`ledger-import/src/iif.rs:169,243`): DOCNUM = entry_id. Output encoded in Windows-1252; characters outside it are transliterated (deunicode) and listed in `warnings`. @@ -1324,7 +1324,7 @@ The owner decisions of 2026-10-16 (at the top of this document) replace the form | D-38 | Odd cents everywhere alike (P3, defect 17; owner, 2026-10-20) | **The members' equity statement, the K-1 worksheet and the viewer split not-yet-closed earnings the same running way as the closes** (cumulative, largest remainder), so a member's capital on a given day never moves by a cent when its month is later closed. | | D-39 | Pushing the format upgrade (owner, 2026-10-20: "at first open, but not limited to 'once', I think we should push users harder into the format upgrade") | **After an update that needs a newer books format, the app asks for the go-ahead (after a verified backup) at every open until it is given**, the viewer shows a standing notice, and `books.start` puts the upgrade first among its next steps. Declining never stops the books opening on the old format; nothing is upgraded without the owner's yes. | | D-40 | 1099s (P3, defects 23, 12 and 18; owner, 2026-10-20) | **A bank payment with no method recorded counts toward 1099s** (presumed check, ACH or transfer; debit-card payments are tagged as card). **Anthropic, PBC is recorded "not reportable: a corporation (Delaware public benefit corporation, from the public record)"**; Namecheap, Apple and OpenRouter "a corporation by name" (Treas. Reg. §1.6041-3(p)(1)), USPS "the United States" (§1.6041-3(p)(3)); Google LLC stays undecided until a W-9 shows what it is. **Needs attention asks only about vendors paid in a way that could need a 1099.** **A vendor's 1099 status is dated** (owner: "I think legally this has to be 2 dated statuses, right? If someone incorporates on Dec 30 …"): each status carries the date it takes effect (the W-9's date, or a tax election's effective date), and the worksheet applies the status in force on each payment's date. A payee that incorporates is a new legal person (a new vendor record with its own W-9); an LLC electing corporate taxation keeps its EIN and changes status on the election's date: dated statuses cover both. A status changed for a closed year warns. | -| D-41 | The contributed devices' tax basis (P3, defect 13; owner, 2026-10-20) | **Depreciable basis is the lower of fair market value and the member's adjusted basis at conversion** (Treas. Reg. §1.168(i)-4(b); Pub. 946, property changed from personal use): $5,100 for the four, the CPA to confirm at year end. **§704(c) method: traditional**, recorded now and confirmed with the CPA before the first Form 1065 (for members filing jointly every method gives the household the same tax). **The four devices' values on 2026-10-15 are the books' amounts** ($1,650; $1,025 plus AppleCare+ $25; $1,675; $750), citing entries 14, 19, 16 and 17. **New P3 item: the K-1 worksheet reports tax-basis capital** (Form 1065 instructions, Item L, since 2020), the contributed property at its §723 carryover basis, beside the book figures. | +| D-41 | The contributed devices' tax basis (P3, defect 13; owner, 2026-10-20) | **Depreciable basis is the lower of fair market value and the member's adjusted basis at conversion** (Treas. Reg. §1.168(i)-4(b); Pub. 946, property changed from personal use): for the four contributed devices, the CPA to confirm at year end. **§704(c) method: traditional**, recorded now and confirmed with the CPA before the first Form 1065 (for members filing jointly every method gives the household the same tax). **The four devices' values on 2026-10-15 are the books' amounts**, citing the entries that recorded them (figures in the company's private change log). **New P3 item: the K-1 worksheet reports tax-basis capital** (Form 1065 instructions, Item L, since 2020), the contributed property at its §723 carryover basis, beside the book figures. | | D-42 | A member paying for the company, on the cash flow statement (P3, defect 1; owner, 2026-10-20, revising D-35's first point after the review found ASC 230 silent on a payment a third party makes on the entity's behalf) | **Constructive receipt and disbursement:** when a member (or a lender) pays a company expense or purchase directly, the statement shows a financing inflow (borrowed from the member) and the operating or investing outflow, on that date; paying the member back is a financing outflow. Source: ASC 230 does not address it; practice fills the gap by substance (Deloitte DART Roadmap 7.2 with AICPA TQA 1300.16 and the SEC staff's view; PwC, BDO and EY guides alike), the way a CPA would present it; KPMG accepts noncash only for equipment a lender pays for. Property a member contributes that it already owned stays noncash (ASC 230-10-50-4: no cash moved). Total cash is the same either way; the first company's figures are in its private P3 change log. | ### 10.2 Deferred