chore: fix minor typos in specs

[MoNyAvA]

verify the is true -> verify this is true
than -> then

[changeset-bot]

⚠️ No Changeset found

Latest commit: 0a4fcae

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

This PR includes no changesets

When changesets are added to this PR, you'll see the packages that this PR includes changesets for and the associated semver types

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

[coderabbitai]

Walkthrough

Two specification files received minor editorial updates. In fv/specs/AccessControlDefaultAdminRules.spec, a comment within the ownerConsistency rule was corrected from "verify the is true" to "verify this is true". In fv/specs/ERC20Wrapper.spec, a grammar correction was made in a comment within the burn invariant block. Both changes are documentation-only with no modifications to logic, control flow, or function signatures.

Suggested labels

typo

Pre-merge checks and finishing touches

✅ Passed checks (3 passed)

Check name	Status	Explanation
Title check	✅ Passed	The PR title 'chore: fix minor typos in specs' accurately and directly describes the main change: correcting typos in specification files.
Description check	✅ Passed	The PR description clearly relates to the changeset by listing the specific typos being corrected ('verify the is true' to 'verify this is true' and 'than' to 'then').
Docstring Coverage	✅ Passed	No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check.

✨ Finishing touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Post copyable unit tests in a comment

---

📜 Recent review details

Configuration used: CodeRabbit UI

Review profile: CHILL

Plan: Pro

📥 Commits

Reviewing files that changed from the base of the PR and between 79e4988 and 0a4fcae.

📒 Files selected for processing (2)

• fv/specs/AccessControlDefaultAdminRules.spec (1 hunks)
• fv/specs/ERC20Wrapper.spec (1 hunks)

⏰ Context from checks skipped due to timeout of 90000ms. You can increase the timeout in your CodeRabbit configuration to a maximum of 15 minutes (900000ms). (3)

• GitHub Check: Redirect rules - solidity-contracts
• GitHub Check: Header rules - solidity-contracts
• GitHub Check: Pages changed - solidity-contracts

🔇 Additional comments (2)

fv/specs/ERC20Wrapper.spec (1)

68-68: Grammar correction approved.

The typo fix ("than" → "then") improves the clarity of the comment without affecting any logic or invariant behavior.

fv/specs/AccessControlDefaultAdminRules.spec (1)

74-74: Grammar correction approved.

The typo fix ("the is" → "this is") improves the clarity of the comment without affecting any rule logic or assertions.

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands and usage tips.}