W-POST-TAIL-2: Cash/Inventory close ∅-by-data-state + ERPUserGuide core S&D chapter#47
Merged
Merged
Conversation
…rically driven) + ERPUserGuide core S&D chapter Drove the REAL compiled posters on a fresh scratch clone (idempiere_tail) over the 2 real CO cash journals + 3 real inventory drafts, zero seed authoring. Both classes turn out blocked by real engine-level data-state gates, not "never attempted": C_Cash's 2 docs are IsActive=N (CannotPostInactiveDocument, Doc.java:591-605); M_Inventory's 2 drafts have zero lines (@nolines@), and the 1 completable draft has no cost data anywhere (No Costs for TShirt - Red Large, Doc_Inventory.java:319-336). Neither worked around — mutating IsActive or seeding costs onto an existing document is out of the seed-prep ruling's scope, same boundary the card drew for the @nolines@ docs. doc_poster.js gained deriveCash/deriveInventory (source-cited, reusable) proven live via falsifier since no oracle-diff exists to claim. Ledger stays 52/17-of-20 posters — Cash and Inventory join Production as named ⛔, each precisely cited. Also adds ERPUserGuide.md's "lay of the land" navigation map and the core S&D standard-flow chapter (Sales Order → Shipment → AR → Allocation → Replenishment → PO/Receipt/Match → GL/Bank → Trial Balance → Financial Reports), each step citing its real proving witness. Addon lenses untouched. Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
red1oon
added a commit
that referenced
this pull request
Jul 17, 2026
…he OPEN item (#48) Both halves of RESUME_ERP_POST_TAIL_AND_USERGUIDE.md are done and merged (#47); folds the two posting-tail archive bullets into one, adds the ERPUserGuide line, and drops the now-stale OPEN pointer. Net line count goes down, keeping PROGRESS.md closer to its 80-line budget. Co-authored-by: Claude Sonnet 5 <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
idempiere_tail) over the 2 real CO cash journals + 3 real inventory drafts — zero seed authoring. Both classes turn out to be blocked by real engine-level data-state gates (not "never attempted"):C_Cash's 2 docs areIsActive='N'(CannotPostInactiveDocument);M_Inventory's 2 drafts have zero lines (@NoLines@) and the 1 completable draft has no cost data anywhere ("No Costs for TShirt - Red Large"). Neither blocker is worked around — that would be data mutation on an existing document, out of the seed-prep ruling's scope.doc_poster.jsgainedderiveCash/deriveInventory(source-cited, reusable for future live documents), proven live via falsifier since no compiled-poster oracle exists to diff against for these specific documents.docs/ERPUserGuide.mdgains "The lay of the land" (navigation map, mermaid diagram) and "The standard flow — order to cash, procure to pay, books to reports" (the core S&D chapter, 8 steps, each citing its real proving witness). Addon lenses (POS/Kitchen/WH/Tenancy/4D-5D/Ninja) untouched.Test plan
bash scripts/generate_post_tail_oracle.sh— real engine run on scratch clone, exit 0, log readbash build/erp/run_witness.sh scripts/poc_post_tail.js— 🟢 PASS, all falsifiers load-bearingpoc_post_b3·poc_post_harden·poc_factacct_doc·poc_doc_poster·poc_morder_post·poc_alloc_fx·poc_money_post·poc_matchinv_fx·poc_gljournal·test_report_fin(TB 46574.97/300 intact)mkdocs build --strictclean (no new broken anchors)~/idempiere-dev-setup/idempierecheckout left clean (oracle test file rsynced in per-run, removed after)🤖 Generated with Claude Code