docs(proof): journal paging-only has_more as the product rule

[tonyketcham]

Summary

Addresses the two open 22 Aug journal-quality notes on #254. No envelope code changed.

1. The Finding that used Issue kind gap is superseded by a retrospective Finding. The gap itself is now Issue iss-pr-254-journal-used-issue-kind-on-a-finding-and--9p7t7amz79y5rn3b.
2. Accepted Decision dec-treat-page-has-more-as-pagination-only--dv24ta688adf262v states the product rule as the Choice (page.has_more is pagination-only; unpaired hasMore is refused; hard caps stay on complete / cap_reasons). The five-file split is a note. Accepted with rejectSiblings: false. The prior file-split Decision is superseded.

Related #254.

Test plan

• Proof CLI mutations only (no hand-edited frontmatter)
• Other proposed Decisions in the Effort remain proposed
• Prettier on the new records

Made with Cursor

[cursor]

Approved. Cursor Bugbot completed with no findings that need human review, and no approval policy requires a human reviewer. No reviewers were assigned.

  

_{Sent by Cursor Approval Agent: Pull Request Router and Approver}