[aelmanaa]

This pull request improves the robustness and test coverage of the on-chain code verification logic in VerifyChain. The main focus is ensuring that when an RPC (fork) is unavailable, the on-chain verification rung reports its status as a skipped/unverified gap, rather than failing silently. This change is reflected in both the contract logic and its associated tests and test scripts.

On-chain code verification robustness:

• The _checkOnChainCode function now always runs, regardless of RPC status, and explicitly reports a skip with a descriptive message if no fork is present, instead of returning silently. [1] [2]

Test enhancements:

• The test for RPC-gated rungs now includes the on-chain code rung, expecting four unverified gaps (on-chain, registry TAR, roles, and lanes) instead of three. [1] [2]
• Added a dedicated test to ensure the on-chain rung does not exit silently without a fork and that the verdict is set to INCOMPLETE as expected.
• Introduced a new test hook onChainNoForkVerdictForTest to facilitate this check.

Test script updates:

• The test tooling script now includes a case to verify that the on-chain rung prints its SKIP message when run without an RPC, ensuring visibility of the unverified gap.

[github-actions]

👋 aelmanaa, thanks for creating this pull request!

To help reviewers, please consider creating future PRs as drafts first. This allows you to self-review and make any final changes before notifying the team.

Once you're ready, you can mark it as "Ready for review" to request feedback. Thanks!