An important unresolved boundary
Public diagnostics were found to permit ownership mutations affecting later context and verification. The canonical claims register identifies this as an implementation failure, not a counterexample to Foundation.
No unsupported model advantage
The ordinary-text baseline anchor does not by itself provide a matched FP comparison. The preregistered native text A1 trial had no model outcome in the verified source snapshot.