Skip to content

test(contracts): add state oracle v2 fuzz and edge coverage - #47

Open
fredo wants to merge 1 commit into
frederik/eng-4229-fixcontracts-scope-executor-event-guard-by-keyfrom
frederik/eng-4251-testcontracts-add-v2-fuzz-edge-coverage
Open

test(contracts): add state oracle v2 fuzz and edge coverage#47
fredo wants to merge 1 commit into
frederik/eng-4229-fixcontracts-scope-executor-event-guard-by-keyfrom
frederik/eng-4251-testcontracts-add-v2-fuzz-edge-coverage

Conversation

@fredo

@fredo fredo commented Jul 31, 2026

Copy link
Copy Markdown
Contributor

Addresses ENG-4251.

Adds focused fuzz and edge coverage for assignments, bounds, role isolation, recovery, retirement, reinstallation, and trigger-unit conservation.

@linear-code

linear-code Bot commented Jul 31, 2026

Copy link
Copy Markdown

ENG-4251

@fredo

fredo commented Jul 31, 2026

Copy link
Copy Markdown
Contributor Author

Known inherited CI blocker: the shared workflow builds StateOracleV2 with the default unoptimized profile and fails EIP-170 size enforcement. The dedicated optimized V2 profile passes; CI/profile integration is tracked in ENG-4250. No fix is included here so the reviewed implementation remains unchanged.

}

function test_eachOperationalRoleIsRejectedFromEveryOtherRoleCapability() public {
address[5] memory actors = [GOVERNANCE, GUARDIAN, PROJECT_CREATOR, PROJECT_ADMIN, TRIGGER_LIMITER];

Copy link
Copy Markdown

Choose a reason for hiding this comment

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

Guardian Admin is missing from this matrix. The hierarchy test proves it can manage Guardian membership and not default administered roles, but it never proves that holder cannot pause, create projects, change limits, recover projects, or take Guardian actions. ENG 4251 calls for every operational role to be isolated, so can we include it here as a sixth actor?

@fredo
fredo force-pushed the frederik/eng-4251-testcontracts-add-v2-fuzz-edge-coverage branch from bd52fc3 to a54a146 Compare August 12, 2026 11:05
@fredo
fredo force-pushed the frederik/eng-4229-fixcontracts-scope-executor-event-guard-by-key branch from 78862b5 to 079196e Compare August 12, 2026 11:05
@fredo
fredo marked this pull request as ready for review August 12, 2026 11:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants