Skip to content

Conversation

@Stevengre
Copy link

No description provided.

- Added the shared inner_test_validate_owner helper (program/src/entrypoint-runtime-verification.rs:207-248) and started reusing it in the transfer harness. This eliminates the duplicated “Validate Owner” logic there and sets up the pattern needed for the other harnesses.

- Added the missing rent-sysvar validation so both initialize-mint harnesses now reject a non-Rent account before proceeding (program/src/entrypoint-runtime-verification.rs:582-605 and 644-672).

- Ported the CloseAccount fixes from p-token: source/destination lamports are tracked correctly, overflow is checked with the right operands, and we assert the source account ends with zero lamports (program/src/entrypoint-runtime-verification.rs:2168-2280).
@Stevengre Stevengre changed the title update the spl-token specification without separating normal account test and multisig test test[spl]: update the spl-token specification without separating normal account test and multisig test Nov 18, 2025
@Stevengre Stevengre changed the title test[spl]: update the spl-token specification without separating normal account test and multisig test test(spl): update the spl-token specification without separating normal account test and multisig test Nov 18, 2025
@Stevengre Stevengre self-assigned this Nov 19, 2025
@Stevengre Stevengre marked this pull request as ready for review November 19, 2025 06:05
Copy link
Member

@jberthold jberthold left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Large amount of changes but all in the same straightforward way. Auto-generated?

@Stevengre
Copy link
Author

Yes, follow the same pattern as p-token does.

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 537d9e1 into proofs Nov 19, 2025
1 check passed
@Stevengre Stevengre deleted the jh/update-spl-specs branch November 19, 2025 14:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants