Audit/stellar wraith names

[sudo-robi]

closes #4

[Copilot]

Copilot wasn't able to review this pull request because it exceeds the maximum number of lines (20,000). Try reducing the number of changed lines and requesting a review from Copilot again.

[drips-wave]

@sudo-robi Great news! 🎉 Based on an automated assessment of this PR, the linked Wave issue(s) no longer count against your application limits.

You can now already apply to more issues while waiting for a review of this PR. Keep up the great work! 🚀

Learn more about application limits

[truthixify]

The audit work itself looks good. The Medium finding on update_internal publishing a register symbol (so indexers can't distinguish updates from new registrations) is a real catch and the recommendation is concrete. Audit doc is at the right path (audits/2026-05-author.md) matching #34's pattern, and the proptest snapshots are correct to commit for CI determinism.

Blocker is the same as your #30: this PR was opened against an older main and now conflicts hard with develop. The diff currently shows it removing or rewriting:

• EVENT_TOPIC_DESIGN.md, ANNOUNCEMENT_SCHEMA.md, POSTMORTEMS.md, MAINNET_READINESS.md
• scripts/rescue-stealth-funds.ts and friends
• The announcer + sender audit reports
• The tests/properties.rs proptest harnesses
• The stellar-nightly CI job

Please rebase onto develop:

git fetch origin
git rebase origin/develop
git push --force-with-lease

Keep all the existing files listed above. Your audit doc and tests/audit.rs go in alongside them. Snapshots under stellar/wraith-names/test_snapshots/ are fine to keep as new files.

Once rebased I will re-review and merge. Thanks @sudo-robi.

[truthixify]

Clean rebase. 705-line audit.rs with adversarial coverage across name validation, ownership, release/re-register, reverse-lookup integrity. The Medium finding on update_internal event symbol is a real catch. Merging. Thanks @sudo-robi.