test(grey-state): add proptests for refine sub-transition

[wangzishuai1987]

Summary

Adds property-based tests for the refine sub-transition's pure functions (Section B):

error_refine_result:

• Preserves the work item's service_id and code_hash
• Computes correct payload_hash via blake2b-256
• OutOfGas with gas_used == gas_limit yields zero accumulate_gas

encode_work_package_simple:

• Deterministic encoding
• Concatenates authorization bytes then each item's payload in order
• Sensitive to authorization byte changes

RefineError display:

• CodeNotFound contains "code not found"
• AuthorizationFailed contains the provided message
• PvmInitFailed contains "PVM"

Refs: #229

[github-actions]

Genesis Review

Comparison targets:

• 6d050e34 (6d050e3)
• 6ea885ce (6ea885c)
• 71607b55 (71607b5)
• b60bec02 (b60bec0)
• 9b8aef76 (9b8aef7)
• fa14fc5d (fa14fc5)
• c0ab02e7 (c0ab02e)

How to review

Post a comment with the following format (rank from best to worst):

/review
difficulty: <commit1>, <commit2>, ..., <commitN>, currentPR
novelty: <commit1>, <commit2>, ..., <commitN>, currentPR
design: <commit1>, <commit2>, ..., <commitN>, currentPR
verdict: merge

Use the short commit hashes above and currentPR for this PR.
Each line ranks all comparison targets + this PR from best to worst.

To meta-review another reviewer's comment, react with 👍 or 👎.

[johandroid]

/review
difficulty: 6d050e3, 6ea885c, 71607b5, currentPR, b60bec0, 9b8aef7, fa14fc5, c0ab02e
novelty: 6d050e3, 6ea885c, 71607b5, currentPR, b60bec0, 9b8aef7, fa14fc5, c0ab02e
design: 6d050e3, 6ea885c, 71607b5, b60bec0, 9b8aef7, currentPR, fa14fc5, c0ab02e
verdict: merge

Adds useful property coverage around refine error-result identity, payload hashing, simple package encoding, and display formatting. It is narrower than the consensus/audit/finality targets and mostly locks existing helper behavior rather than changing architecture, so it sits mid-pack on difficulty and lower on design. Merge is reasonable as focused test coverage.

[github-actions]

JAR Bot: Review recorded from @johandroid (1 reviews, 0 meta-reviews).
Merge weight: 0/37665 (need >50%).