{ "observed_at_jst": "2026-10-13T00:25:48.063475+09:00", "status": "draft_unaccepted_not_approval_ready", "original_counts": { "packages": 30, "delivery_units": 88, "completed": 9 }, "applied_to_product": false, "entries": [ { "path": "docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/PROPOSAL.md", "sha256": "95024959e7c301c6a68a24de36dd6629e45b189f9d038f4397757124ba0bb41f", "bytes": 9918, "source": "/Users/korizatou114/Projects/TheTree-managed-worktrees/mana-proposal/MP-01-implement/docs/plans/original-completion-2026-10-02/execution/mana-proposal/PROPOSAL.md", "scope": "unaccepted draft snapshot only; not original unit acceptance" }, { "path": "docs/plans/original-completion-2026-10-02/checkpoints/mana-proposal-draft-r01/proposal.json", "sha256": "aca6d781d5ce730c9f905b5dc817f27548b372b043beea68cf6de73761f6f0d2", "bytes": 71713, "source": "/Users/korizatou114/Projects/TheTree-managed-worktrees/mana-proposal/MP-01-implement/docs/plans/original-completion-2026-10-02/execution/mana-proposal/proposal.json", "scope": "unaccepted draft snapshot only; not original unit acceptance" } ], "root_checks": { "source_pins_verified": 53, "arithmetic_flows_verified": 126, "demand_resources": 37, "one_each_observed_load": 63, "scope": "proposal arithmetic/source traceability only; no game or formal Runner acceptance" }, "known_formal_gaps": [ "source_pins list differs from fixed mapping schema", "formal proposal-consistency not executed", "formal Runner reviewer not executed", "managed worker stopped after two correction attempts; no unlimited retries" ], "read_only_content_review_job": "9d8583a74456470ea73a2bd531feb8ca", "diagnostic_review_completed": true, "content_findings": [ "HIGH-1 furnace headroom moment ambiguous; same-boundary tree generation can create overflow after consuming actor; furnace F>0 boundary cases absent", "HIGH-2 restore from zero only possible when generation exceeds retained demand; after==0 stop must preserve original depletion constraint; unconditional recovery claim needs qualification and owner decision", "MED-1 generous excess demand reaches zero on ninth interval, not twelfth", "MED-2 distinguish tree generation loss from local distribution loss; stock balance and local power result separate" ], "review_disposition": "review-disposition.json" }