Intent-Code Divergence
High
- Confidence
- 93% confidence
- Finding
- The class-level contract explicitly claims there are no UPDATE or DELETE paths, but prune_visibility() later performs an UPDATE on existing rows. This breaks the stated append-only integrity model and can mislead downstream consumers, auditors, or security controls into trusting immutability guarantees that are not actually enforced.
