Fix: some issues in the documentation.

[Wi1l-B0t]

Fix some issues in the documentation:

• The framework has some SafeMath methods already.
• The framework has Pow and Sqrt operations for BigInteger;
• Don't add test cases to document;
• The exception of Contract.Call cannot be caught;
• Cannot limit the GAS consumption of Contract.Call at present.
• There is no Security Test Automation Framework now.
• ...

NOTE: Please review the AI generated content.

[codecov]

Codecov Report

❌ Patch coverage is 0% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 80.25%. Comparing base (0de2b46) to head (4d68db7).
⚠️ Report is 1 commits behind head on master-n3.

Files with missing lines	Patch %	Lines
...eo.SmartContract.Framework/Helpers/GuardHelpers.cs	0.00%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master-n3    #1584   +/-   ##
==========================================
  Coverage      80.24%   80.25%           
==========================================
  Files            295      295           
  Lines          25456    25456           
  Branches        3453     3453           
==========================================
+ Hits           20428    20429    +1     
  Misses          4132     4132           
+ Partials         896      895    -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[Copilot]

Pull request overview

Updates the security and arithmetic documentation to remove/replace AI-generated pseudo-code and align guidance with current Neo N3 Framework capabilities/limitations (e.g., existing SafeMath, availability of Pow/Sqrt, and Contract.Call behavior).

Changes:

• Removes large AI-generated “security automation / performance testing” code samples from security docs and replaces some sections with templates/bullets.
• Updates security best-practices guidance around Contract.Call (no catchable exceptions / no gas limit enforcement).
• Updates safe-arithmetic docs to reference framework SafeMath and NeoVM-supported operations, and refines the BigInteger overflow description.

Reviewed changes

Copilot reviewed 6 out of 6 changed files in this pull request and generated 6 comments.

Show a summary per file

File	Description
src/Neo.SmartContract.Framework/Helpers/GuardHelpers.cs	Changes default/assert fault strings used by GuardHelpers methods.
guidance/security-guide.md	Removes AI-generated “automated checklist” / incident enum sample and replaces with incident classification bullets + template.
docs/security/security-testing.md	Deletes large AI-generated sections on performance/load testing and a fictional “Security Test Automation Framework”.
docs/security/security-best-practices.md	Revises Contract.Call example to remove try/catch and gas-limiting claims.
docs/security/safe-arithmetic.md	Updates arithmetic examples to reference SafeMath, NeoVM Pow/Sqrt, and removes extensive test-case content.
docs/security/common-vulnerabilities.md	Updates overflow/underflow section to explain the 256-bit BigInteger limit and adjust prevention wording.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[ajara87]

lgtm