PY-WL-010 Semantic Equivalents — Tier 1 Promotion on Serialisation Path Without Restoration Evidence¶
Framework rule: WL-009 Pattern: An @integral_read or @integral_construction consumer reaches a manifest-declared serialisation boundary without traced upstream restoration evidence that satisfies the Python binding contract
This is a structural verification rule, not a Part I §7 pattern rule. "Semantic equivalents" here are topology-preserving ways to present an apparently restored Tier 1 path without actually establishing a valid upstream restoration boundary.
| ID | Technique | Detection | Priority | Agent Likelihood |
|---|---|---|---|---|
| EV-001 | Direct call from a Tier 1 consumer to a serialisation source with no restoration boundary | DETECTED | -- | -- |
| EV-002 | One undecorated intermediary hop between the consumer and the serialisation source | DETECTED | -- | -- |
| EV-003 | Same-function @integral_read + @restoration_boundary stack | DETECTED (contradictory; still finding-producing) | -- | HIGH |
| EV-004 | Same-function @integral_construction + @restoration_boundary stack | DETECTED (contradictory; still finding-producing) | -- | HIGH |
| EV-005 | Traced restoration boundary exists but only supports Tier 2 while the consumer claims Tier 1 | DETECTED | -- | MODERATE |
| EV-006 | Promotion source is staged through for-header binding, with-header binding, or attribute/subscript-backed return before the final Tier 1 return | DETECTED | -- | MODERATE |
| EV-007 | Three-hop serialisation chain beyond the documented level-1 minimum scope | NOT DETECTED at level 1 (documented scope boundary) | MEDIUM | MODERATE |
Notes:
- Python treats same-function
@integral_*+@restoration_boundarycomposition as contradictory under SCN-021. Those stacks are catalogued here because they are a realistic agent-produced pseudo-restoration shortcut, but they do not satisfy PY-WL-010. - The minimum conformance claim is direct source plus one undecorated intermediary hop. Deeper transitive recovery may appear at higher analysis levels, but it is outside the level-1 conformance floor and is documented honestly as such.
- A restoration boundary with
serialization_boundary: falseis outside PY-WL-010 activation, so it is not a semantic equivalent of the violation. It remains part of the row-level negative evidence story, not the equivalent list itself.