Skip to content

fix(fork): Beryl harness support for shared base-anvil (backport v1.0.1) - #218

Closed
rayyan224 wants to merge 2 commits into
mainfrom
releases/v1.0.x
Closed

fix(fork): Beryl harness support for shared base-anvil (backport v1.0.1)#218
rayyan224 wants to merge 2 commits into
mainfrom
releases/v1.0.x

Conversation

@rayyan224

Copy link
Copy Markdown
Collaborator

Summary

Backports two commits onto the v1.0.0 Beryl snapshot to support testing against the new shared base-anvil revision introduced in base/base BOP-585.

381542b feat(fork): select Base upgrade via BASE_UPGRADE env
The fork harness hardcoded a bare --base, always picking the base-anvil's default upgrade. Reads BASE_UPGRADE env var and forwards --base <upgrade> to anvil, so one base-anvil binary can be tested against each frozen historical suite.

520d069 fix(fork): pin fork profile to base = "beryl" for Beryl harness
Changes [profile.fork] base = truebase = "beryl" in foundry.toml. The new base-anvil's DEFAULT_BASE_UPGRADE is Cobalt, so base = true was silently running forge's local precompile dispatcher at V2 (Cobalt) instead of V1 (Beryl), causing 14 test failures in the v1.0.0 Beryl suite.

Files changed

Only script/fork/__main__.py, script/fork/README.md, and foundry.toml — no Solidity source or test files touched.

Test plan

  • Beryl fork tests pass with base-anvil 98e7839c + BASE_UPGRADE=beryl (validated in base/base PR #4865)

🤖 Generated with Claude Code

rayyan224 and others added 2 commits September 3, 2026 10:54
The fork harness hardcoded a bare `--base`, always registering base-anvil's
default upgrade. Read an optional BASE_UPGRADE env var and forward it as
`--base <upgrade>` so a single current base-anvil revision can be tested
against each frozen historical suite. Unset preserves today's behavior.

Co-authored-by: Claude <noreply@anthropic.com>
The new base-anvil's default upgrade is Cobalt, so `base = true` in
the fork profile resolves to Cobalt — forge's local precompile
dispatcher ran V2 even when the test suite targeted Beryl behavior.
Pinning to "beryl" makes forge install V1 dispatch, matching the
frozen test expectations in the v1.0.0 snapshot.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

Interface Coverage

✅ All interface functions have test coverage.

@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

📊 Forge Coverage (src/lib/)

🟡 ≥95% across all metrics — some metrics below 99%.

File Lines Stmts Branches Funcs
🟡 B20FactoryLib.sol 97.70% 98.00% 100.00% 95.00%
🔴 test/lib/ForceFeeder.sol 0.00% 0.00% 100.00% 0.00%
🔴 test/lib/PrecompileProbe.sol 0.00% 0.00% 0.00% 0.00%
🟢 MockActivationRegistry.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockActivationRegistryStorage.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20Asset.sol 100.00% 100.00% 100.00% 100.00%
🟡 MockB20Factory.sol 98.96% 99.10% 100.00% 100.00%
🟢 MockB20Stablecoin.sol 100.00% 100.00% 100.00% 100.00%
🟢 MockB20Storage.sol 100.00% 100.00% 100.00% 100.00%
🟡 MockPolicyRegistry.sol 100.00% 99.54% 97.67% 100.00%
🟢 MockPolicyRegistryStorage.sol 100.00% 100.00% 100.00% 100.00%
Total 97.07% 97.52% 98.16% 97.00%

Full report: download artifact. To browse locally: make coverage (runs forge coverage + genhtml + opens the HTML report).

@rayyan224

Copy link
Copy Markdown
Collaborator Author

Closing — target should not be main. The 2 fix commits are already on releases/v1.0.x; tagging as v1.0.1 instead.

@rayyan224 rayyan224 closed this Sep 3, 2026
@github-actions

github-actions Bot commented Sep 3, 2026

Copy link
Copy Markdown

⚠️ Fork tests: 256 failed, 597 passed

These failures indicate divergences where base/base needs to catch up to the base-std spec. This check is advisory and does not block merging.

Failing tests
  • test_cancelUIMultiplierUpdate_revert_matured(uint256): custom error 0x628e600f; counterexample: calldata=0xea4532b300000000000000000000000000000000000000002eaa550dcda208de1a192d03 args=[14442229496892492473123286275 [1.444e28]]
  • test_cancelUIMultiplierUpdate_revert_unauthorized(address): custom error 0x628e600f; counterexample: calldata=0x22f9091c0000000000000000000000000000000000000000000000000000000084b0196f args=[0x0000000000000000000000000000000084B0196F]
  • test_cancelUIMultiplierUpdate_success_clearsPending(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x8e8d778800000000000000000000000000000000000000000000000000000000000026b400000000000000000000000000000000000000000000000000000000000010b9 args=[9908, 4281]
  • test_cancelUIMultiplierUpdate_success_emitsEvent(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0xd24efe330000000000000000000000bf803d7966bf1c85ed11c35a1d8706041353b8bf3e000000000000000000000000000000000000000000000000000014193f4c0de0 args=[279878934469874449020792853778449376199509594914622 [2.798e50], 22098668686816 [2.209e13]]
  • test_cancelUIMultiplierUpdate_success_leavesCurrentUntouched(uint256): custom error 0x628e600f; counterexample: calldata=0xaf914373000000000000000000000000000000000000000000000000000000000000001a args=[26]
  • test_childrenSlot_success_locatesChildArray(uint8): custom error 0x6fdd1491; counterexample: calldata=0x69fce7760000000000000000000000000000000000000000000000000000000000000000 args=[0]
  • test_compositePolicyChildIds_success_emptyForMalformedId(uint64): custom error 0x7c40df74; counterexample: calldata=0x1ae49a5d0000000000000000000000000000000000000000000000000000000064bc90c1 args=[1690079425 [1.69e9]]
  • test_compositePolicyChildIds_success_emptyForUncreated(uint64): custom error 0x7c40df74; counterexample: calldata=0x26541667000000000000000000000000000000000000000000000000000022b3fcd8c765 args=[38156436555621 [3.815e13]]
  • test_conversion_deprecated_stillDialable(uint256): custom error 0x3248d4ff; counterexample: calldata=0x5f15495600000000000000000000000000000000000000000000000000000062e38266ad args=[424723769005 [4.247e11]]
  • test_createCompositePolicy_revertOrder(uint8): custom error 0x6fdd1491; counterexample: calldata=0x5fafe4f700000000000000000000000000000000000000000000000000000000000000ff args=[255]
  • test_createCompositePolicy_revert_builtinChild(address,address,uint8): Error != expected error: custom error 0x6fdd1491 != InvalidChildPolicy(0); counterexample: calldata=0x87108a4b000000000000000000000000abe7eca63181678d6eb965bd80a82fa80583fbd5000000000000000000000000138300c55e7852fcccf6a708ebd59d65217ad6c40000000000000000000000000000000000000000000000000000000000000012 args=[0xaBe7eCa63181678d6eb965bd80A82fA80583fBD5, 0x138300C55E7852FCCcF6a708EBD59d65217ad6C4, 18]
  • test_createCompositePolicy_revert_childPoliciesOutsideOfRange(address,address,uint8,uint8): Error != expected error: custom error 0x6fdd1491 != ChildPoliciesOutsideOfRange(); counterexample: calldata=0xb8466436000000000000000000000000e177e185dfe294b6672e084b846ed669cfdd57680000000000000000000000008d58bd7b96c6caa02db458979886ca4a1fa6bb8e00000000000000000000000000000000000000000000000000000000000000230000000000000000000000000000000000000000000000000000000000000001 args=[0xE177e185dFe294b6672e084B846eD669cFdD5768, 0x8D58bd7b96c6cAA02db458979886Ca4a1Fa6bb8E, 35, 1]
  • test_createCompositePolicy_revert_incompatiblePolicyType(address,address,uint8): Error != expected error: custom error 0x6fdd1491 != IncompatiblePolicyType(); counterexample: calldata=0x97326925000000000000000000000000aa99b2a672ce61764eeb47312087c77b6e3e6e96000000000000000000000000218cc98b1ba23b24cd59974a882a0ac7d2ba1e4d00000000000000000000000000000000000000000000000000000000000000fc args=[0xaA99B2A672Ce61764eEb47312087c77b6E3e6e96, 0x218cC98b1Ba23b24cD59974A882a0Ac7d2BA1e4d, 252]
  • test_createCompositePolicy_revert_invalidChildPolicy(address,address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x7416f4590000000000000000000000009cc0e0e87e69affa4c710fd961f77f028baa4a1e0000000000000000000000004461cf0c7704f5542aa95d04c74bc76f9e25c89f0000000000000000000000000000000000000000000000000000000000000006 args=[0x9Cc0e0E87E69AFfa4c710Fd961f77F028BaA4a1E, 0x4461Cf0C7704F5542AA95d04c74BC76F9e25C89f, 6]
  • test_createCompositePolicy_revert_policyNotFound(address,address,uint8,uint64): Error != expected error: custom error 0x6fdd1491 != PolicyNotFound(); counterexample: calldata=0x1803f605000000000000000000000000b5a76931afbbfd2d4255a803f7d08ef71d4ade14000000000000000000000000b0eb14acada56395e3cabda11875b3a39451c28e00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000fae761edf args=[0xb5a76931aFbBFD2d4255a803f7d08Ef71D4adE14, 0xb0Eb14acADA56395e3caBda11875B3a39451c28E, 0, 67351486175 [6.735e10]]
  • test_createCompositePolicy_revert_zeroAdmin(address,uint8): Error != expected error: custom error 0x6fdd1491 != ZeroAddress(); counterexample: calldata=0xb18b5cb100000000000000000000000014f614ecd6d510ace2d9bd7ad03e6e7e7cd082600000000000000000000000000000000000000000000000000000000000000007 args=[0x14F614EcD6D510aCE2D9BD7Ad03E6e7E7cd08260, 7]
  • test_createCompositePolicy_success_advancesNextPolicyId(address,uint8,uint8): custom error 0x6fdd1491; counterexample: calldata=0xf9a1ca7700000000000000000000000000000000000000000000000000000000000010e400000000000000000000000000000000000000000000000000000000000000b20000000000000000000000000000000000000000000000000000000000000010 args=[0x00000000000000000000000000000000000010e4, 178, 16]
  • test_createCompositePolicy_success_atMaxChildren(address,address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x296e334100000000000000000000000010a9749f4a9c6c62fe70e70cf08d6d6ffa8229fe0000000000000000000000002bbd63862ee26751068683aeb8cabea59ca843f40000000000000000000000000000000000000000000000000000000000000003 args=[0x10a9749f4a9C6c62fE70E70CF08D6d6fFa8229FE, 0x2BBd63862Ee26751068683AEB8cabEA59ca843f4, 3]
  • test_createCompositePolicy_success_emitsCompositePolicyUpdated(address,address,uint8): log != expected log; counterexample: calldata=0x1694cfe0000000000000000000000000103f43addf4599e8a5565733b910466a903235d000000000000000000000000022b95928a9dc493b581c6b87f90c70b84228df520000000000000000000000000000000000000000000000000000000000000002 args=[0x103f43aDDf4599E8a5565733B910466a903235D0, 0x22b95928A9Dc493b581c6b87f90C70b84228df52, 2]
  • test_createCompositePolicy_success_emitsInitialPolicyAdminUpdated(address,address,uint8): log != expected log; counterexample: calldata=0xd6a6c2b200000000000000000000000001c0fe26a48ca30b536cc16e87f984e24bdfc849000000000000000000000000ae5d38659304de3f237d8136de19eb61c3d2a33800000000000000000000000000000000000000000000000000000000000000ff args=[0x01c0fe26A48ca30B536cC16E87f984E24bdfc849, 0xae5D38659304dE3F237D8136DE19eB61c3d2A338, 255]
  • test_createCompositePolicy_success_emitsPolicyCreated(address,address,uint8): log != expected log; counterexample: calldata=0x890311650000000000000000000000005ebc60072e16ed134424dd764e20da94ca846901000000000000000000000000c5cecc29d60b4d2927f04fe523b7dfbefacad5b30000000000000000000000000000000000000000000000000000000000000000 args=[0x5ebc60072E16ed134424dD764e20da94Ca846901, 0xc5CecC29D60B4D2927f04fe523B7DfBeFACad5B3, 0]
  • test_createCompositePolicy_success_intersect(address,address): custom error 0x6fdd1491; counterexample: calldata=0xccbe0bd400000000000000000000000017aa19afda7e444e599bc82583daee599b22b5990000000000000000000000001caf4ebd9871b40e04696d77887b373b4248e4ac args=[0x17aA19AfdA7e444E599bC82583DaEe599b22b599, 0x1CAf4EbD9871B40e04696d77887B373B4248E4Ac]
  • test_createCompositePolicy_success_union(address,address): custom error 0x6fdd1491; counterexample: calldata=0xd748b1fe0000000000000000000000008c02b07bbad7cd4180cf88366a973f7debbb825f000000000000000000000000eac0b155d5c94ef4042169dee86332407f6c7884 args=[0x8c02B07bbad7cD4180Cf88366a973f7debBB825F, 0xeAc0b155d5c94EF4042169DEE86332407F6C7884]
  • test_createPolicyWithAccounts_revertOrder(address,address,uint8,uint8): Error != expected error: custom error 0xa2d3044f: type check failed for "(address,uint8,address[])" with data: 000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000006000000000000000000000000000000000000000000000000000000000000000490000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000100100000000000000000000000000000000000000000000000000000000000010020000000000000000000000000000000000000000000000000000000000001003000000000000000000000000000000000000000000000000000000000000100400000000000000000000000000000000000000000000000000000000000010050000000000000000000000000000000000000000000000000000000000001006000000000000000000000000000000000000000000000000000000000000100700000000000000000000000000000000000000000000000000000000000010080000000000000000000000000000000000000000000000000000000000001009000000000000000000000000000000000000000000000000000000000000100a000000000000000000000000000000000000000000000000000000000000100b000000000000000000000000000000000000000000000000000000000000100c000000000000000000000000000000000000000000000000000000000000100d000000000000000000000000000000000000000000000000000000000000100e000000000000000000000000000000000000000000000000000000000000100f0000000000000000000000000000000000000000000000000000000000001010000000000000000000000000000000000000000000000000000000000000101100000000000000000000000000000000000000000000000000000000000010120000000000000000000000000000000000000000000000000000000000001013000000000000000000000000000000000000000000000000000000000000101400000000000000000000000000000000000000000000000000000000000010150000000000000000000000000000000000000000000000000000000000001016000000000000000000000000000000000000000000000000000000000000101700000000000000000000000000000000000000000000000000000000000010180000000000000000000000000000000000000000000000000000000000001019000000000000000000000000000000000000000000000000000000000000101a000000000000000000000000000000000000000000000000000000000000101b000000000000000000000000000000000000000000000000000000000000101c000000000000000000000000000000000000000000000000000000000000101d000000000000000000000000000000000000000000000000000000000000101e000000000000000000000000000000000000000000000000000000000000101f0000000000000000000000000000000000000000000000000000000000001020000000000000000000000000000000000000000000000000000000000000102100000000000000000000000000000000000000000000000000000000000010220000000000000000000000000000000000000000000000000000000000001023000000000000000000000000000000000000000000000000000000000000102400000000000000000000000000000000000000000000000000000000000010250000000000000000000000000000000000000000000000000000000000001026000000000000000000000000000000000000000000000000000000000000102700000000000000000000000000000000000000000000000000000000000010280000000000000000000000000000000000000000000000000000000000001029000000000000000000000000000000000000000000000000000000000000102a000000000000000000000000000000000000000000000000000000000000102b000000000000000000000000000000000000000000000000000000000000102c000000000000000000000000000000000000000000000000000000000000102d000000000000000000000000000000000000000000000000000000000000102e000000000000000000000000000000000000000000000000000000000000102f0000000000000000000000000000000000000000000000000000000000001030000000000000000000000000000000000000000000000000000000000000103100000000000000000000000000000000000000000000000000000000000010320000000000000000000000000000000000000000000000000000000000001033000000000000000000000000000000000000000000000000000000000000103400000000000000000000000000000000000000000000000000000000000010350000000000000000000000000000000000000000000000000000000000001036000000000000000000000000000000000000000000000000000000000000103700000000000000000000000000000000000000000000000000000000000010380000000000000000000000000000000000000000000000000000000000001039000000000000000000000000000000000000000000000000000000000000103a000000000000000000000000000000000000000000000000000000000000103b000000000000000000000000000000000000000000000000000000000000103c000000000000000000000000000000000000000000000000000000000000103d000000000000000000000000000000000000000000000000000000000000103e000000000000000000000000000000000000000000000000000000000000103f000000000000000000000000000000000000000000000000000000000000104000000000000000000000000000000000000000000000000000000000000010410000000000000000000000000000000000000000000000000000000000001042000000000000000000000000000000000000000000000000000000000000104300000000000000000000000000000000000000000000000000000000000010440000000000000000000000000000000000000000000000000000000000001045000000000000000000000000000000000000000000000000000000000000104600000000000000000000000000000000000000000000000000000000000010470000000000000000000000000000000000000000000000000000000000001048 != ZeroAddress(); counterexample: calldata=0x50803f4c0000000000000000000000000000000000000000000000000000000000001057000000000000000000000000cb00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000005a0000000000000000000000000000000000000000000000000000000000000038 args=[0x0000000000000000000000000000000000001057, 0xCB00000000000000000000000000000000000000, 90, 56]
  • test_createPolicyWithAccounts_revert_incompatiblePolicyType(address,address,uint8,address[]): Error != expected error: custom error 0xa2d3044f: type check failed for "(address,uint8,address[])" with data: 0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000d553b28482806d0db3c8b8cd6f7d935026c90c32000000000000000000000000000000000000000000000000000000000000000200000000000000000000000000000000000000000000000000000000000000600000000000000000000000000000000000000000000000000000000000000005000000000000000000000000b8f1b90e453713219c5600b62e67abc2510f5562000000000000000000000000a2f4f7f3d7d26f26e8df756dbf8dc8bd642544b8000000000000000000000000ab0eb98a1102c35e89c67b20278b5e24d9751b42000000000000000000000000f5742b0f63e5d655f17ec4f408755c0fe40c07ac00000000000000000000000084686debffabd34758097c43c24b9634b465fed2 != IncompatiblePolicyType(); counterexample: calldata=0x845707ef000000000000000000000000b40c62b9a0b26c53176704b662ec7523adb7a8e3000000000000000000000000d553b28482806d0db3c8b8cd6f7d935026c90c320000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000008000000000000000000000000000000000000000000000000000000000000000f5000000000000000000000000b8f1b90e453713219c5600b62e67abc2510f5562000000000000000000000000a2f4f7f3d7d26f26e8df756dbf8dc8bd642544b8000000000000000000000000ab0eb98a1102c35e89c67b20278b5e24d9751b42000000000000000000000000f5742b0f63e5d655f17ec4f408755c0fe40c07ac00000000000000000000000084686debffabd34758097c43c24b9634b465fed200000000000000000000000064511c3493d28fcf23da7397dcd84ffb78368cc9000000000000000000000000cbfe1ea00df00e302bb273ad80d8a1707cff866e0000000000000000000000006115a5177458198d00f466420e767d776d76a8c500000000000000000000000014f18eb3c43e34ba47d65279517a355eadef9937000000000000000000000000a40d6defd3e7def68af507eee15d16ec002e49280000000000000000000000003014d67b3eeca418e15506b7c11223db53edf797000000000000000000000000cdbfff3256f7114949859503526dac6b4d0ba5880000000000000000000000007b07473703358e261b1004aa7d1966b09ff8362c00000000000000000000000058bce5f1c36f33297a09db0231c5f7173172e8340000000000000000000000000cec453f61960024f7b57c511b13797b80712e240000000000000000000000004cea4f67e65eb7c9a218a9b18bceedbf4147443900000000000000000000000023c7542e40c9e44d1a3f6a3e31ce8771d7bad32500000000000000000000000030cb4fa85ff8eb59d13d0d81b16e8bdd7ec22e2b000000000000000000000000bc56424ef3a9af5ae4ba1495b7ea5cf5a00f812c000000000000000000000000802437121664d9761fd9d8ccc8624b8fcce8448200000000000000000000000083219190841382c39e9584e410663a15efc11ea70000000000000000000000002e1a940a8910d9e66b4aab4337c5ac7279e8057000000000000000000000000067f70fec160b235f5c9f27cec6f12932ff70eba8000000000000000000000000ba2c0d02c6fd0c5dd23981502703374f87e8006d00000000000000000000000033dad580b483c1682f45c8c00470d8463467b7de00000000000000000000000066a7ebf49c2c793e528bce256e76f15070a1419f00000000000000000000000029905041ea998a77c9b3801cd93cb7f60471e83d0000000000000000000000007271cbdbd1c7e312c81ba2d8b9681328a6dcd04700000000000000000000000060c75a7459cdb5367a8d5141f2571b6ed1dfc1f40000000000000000000000009d528e2581fb4f720fa1b7f62fe8421237252843000000000000000000000000e0f0f679b0e76baa929eab5e7132f6b3dddfdc500000000000000000000000006ef3775f7206d74779be838d1c31cde5d77a383f0000000000000000000000009f4740abb9e1b59cd8b1fc5e448168f4764eb5e20000000000000000000000000d436790ccce9974c7401b33f7073c26e8c4f1220000000000000000000000003c77b099ce3c8adf00bae9e7887c089f7ae77878000000000000000000000000db29beae00e1e42ea9be3fa5652380635791b52d0000000000000000000000004683fb0dc1a45b8953c2710610e88f4a507ff331000000000000000000000000f9bbeec519a6436a34648eba90c174ec7b44dfb00000000000000000000000001dd5c5f9301962d0c5f0042ae0325fe764094a74000000000000000000000000cca9b28de5d05e09dfe826be00f4fe7fe3c859f50000000000000000000000006b6d68614a7a398f3e8a2e9b3dee251080e685be0000000000000000000000000a2df371886e9a666372945571f3c86cbd095e68000000000000000000000000ce51818b85f65c78a1d8bf3dbe73d69c9b870d7d0000000000000000000000008685605279810416e7344900093b2d0b43f4280a000000000000000000000000fc14d44a0955b971fbfe5628432ce235292068b8000000000000000000000000660a264ebd01383453dc48b6d476495a8aac1f9d000000000000000000000000634ab1b4a8ce5ea6d845a95332b93a933f2fab81000000000000000000000000b448b7dd2e419e6841a127a6ce0e8d3a4f7dcf220000000000000000000000007a60b347b9b492f429233bd6aaa4b0d4ef3725400000000000000000000000005acaf04c11d8d5414b78971d4bf5e9e66510dc79000000000000000000000000b23dbba614d35f7e7b1e8cf8c9a0905e8bcc7d82000000000000000000000000f01dd4a1c737b5df95ce1e516d5ed6543accf73f000000000000000000000000eeb3e20c841e6f4361581ca0ff0fee9eb534a53b000000000000000000000000ab2cef44c02d84a7a5446e1c19e70abbb598453d0000000000000000000000008a4ea60c68a6a290863594085d3048707e82c1d5000000000000000000000000300ecd01e24e01ce98b7cf0f6216de4fcd099b3800000000000000000000000076019696eb9a5a02a5f54b1b2951394f447388260000000000000000000000004f64545481ca7495fbdfccbf8b851c342f7e96ec000000000000000000000000fd7b8da883b92c884bc31390ac5bf9a0371f861f0000000000000000000000007af66a1a8bdcee1e70a52c678326534d7627aca60000000000000000000000000392f10101b3b71676e89e3b9494abb1f6f999b9000000000000000000000000ab2f64b459a613b56ed3c6ac7b4c33492a5f70f600000000000000000000000077e0bbff1dd7fb587a737562eb850cd71b76ea5600000000000000000000000030b7f5a3ef22cc54f006c023bab942b8ddbacbd10000000000000000000000009630f6d0cfad399d4ba481ae2e6722b6af6735cf000000000000000000000000fbfcfc149b32f953e75fa4e8f1ffd92d8462e66f000000000000000000000000e15a48a71d100b3c1c369979d7714a789f5a9ee8000000000000000000000000f9a1ce40700b747839a3f05e45080a0e19491ebd000000000000000000000000969b5cbe5bf7493c1ff7b8d85cd5394f26064e650000000000000000000000002ce96411b40464007271df49b6b8643b29f6b4c300000000000000000000000092d9ac09dbb7e7f4a87ed724a9adda5ae626d522000000000000000000000000c47887fa450fe9852c5dc9946da11f33aba830bb000000000000000000000000c459c84bbc6cb0e8061e3e239d369509c1bd9e27000000000000000000000000c46726ba37686679a982be752a3577d30e0bcb3f000000000000000000000000188add9722b52c5dd3304c36beaf1dcb566a16910000000000000000000000002213781084b18aaefe388f744238b026453c0555000000000000000000000000db24d2def3c8155f5f9a2becb49b02e2f7b84cac000000000000000000000000b64cd53cafbc9472bf25ab508106925695ca45ca000000000000000000000000d9a83fb7a99efb2d4ee3658ee41f16e923d9671e000000000000000000000000751ca6f8b6e858ffcdd27ed6b6839bbe2befa110000000000000000000000000fb23d617098c6fd123e2435e1c9bcee2f5bcf53c000000000000000000000000a75bdeafc7e53bb494c447517560c2f492509b3a0000000000000000000000000b97a02bab2d7282f9ddbfefa9d538c2d04bcb60000000000000000000000000b01eda0c911e1db76c854d4f1ea7ab4037a03271000000000000000000000000c94882ed00f54dfd271cae0a9f19b92e12b28172000000000000000000000000d5ca29f819009ba90b79d9cd2ecd7c8787695fd90000000000000000000000004ca2d6b459a5b4c778c78493d261daed2dcf4d220000000000000000000000005ec4cb91fbfff5843ea94047e1aa7d55daff4646000000000000000000000000a598b1c0e37047049f84fc2b12fd79ee11ad70f00000000000000000000000001ec982cf2381650454cf6fe06dfd1d60528a04fb0000000000000000000000005867ba91c6830d2a0f577f1c1e2637dedcbbb2130000000000000000000000001bbe127b3a6b6e862bdf6cee6aedcb59273d3c830000000000000000000000008013e2bc6491c25411dce123d0acf571c7134bbd0000000000000000000000002aa70435d76f7fecf79a9c02016cc760a90aebbd0000000000000000000000004a6cd79d035eb366942fbc27fe8d15af6d743155000000000000000000000000c0c04aea46b08d138cb21e46a9356a0e9761d824000000000000000000000000209cf8511a4cf2d3a5d13697ba8a8f5a894703b80000000000000000000000002f1ab4d2df64dbd221dc83d034a45c9806182d9300000000000000000000000098e505b697da44a03825fc91d7928e9bbff88387000000000000000000000000db8b6e4163bfc0f756165c6102dac6caf3909767000000000000000000000000ae8fa85aaa930a1f921d005caeedd23f88911e080000000000000000000000008c11208092554d8484172baac62e2b67fb2808210000000000000000000000009cd8dbdb03eb406c9d97fe2045f15cdd58d33346000000000000000000000000120710807e9a4e97103313e7042818a879859b43000000000000000000000000d03d5b95a373dbd0f0f055e6838b70b3c716befb00000000000000000000000059766cefc5da3157b3f5867ae26592d1dac7466100000000000000000000000039aaac434ef90a71aa12ba9ac0ac729c6402444f0000000000000000000000003225101e6e6318ec00210b81a639423cbc717f15000000000000000000000000ff714f51d5854cd3dbb746a034eac95a9d154ea400000000000000000000000013f1bd13da1e4f3f5ffc231767d5070f451e10a80000000000000000000000003991317d8935292f02aebb3f78c76e13dddc2ce40000000000000000000000004598eb375dfc597a71007b266b97ad0b8fc8903a0000000000000000000000002fb752aac6cca159695646c8217531dffcff87e6000000000000000000000000b6b06aace7eb9702d0d4f59ad4afe59bdd54810a000000000000000000000000a4d27af87c0f71e216cb2ae401aeba1550d5b721000000000000000000000000e4c983b8154d1950972effef4a76496693ff715a000000000000000000000000cae04113b59d79ad98d62df8bbe430b8dfcc2f05000000000000000000000000aa6b49e3f057955b7507bd88ef0671374e2fd3190000000000000000000000003f2c5c27795215fbf34cf4aab4f0063fd3e293f900000000000000000000000068670d6c5222dcbdc59a8291047d6b1208a0281b0000000000000000000000004066feab92ad9317cc94d80658f7994d985df91d0000000000000000000000005a2ceedbda59c6eb49ad8441b5790ecceabe9265000000000000000000000000894fb69ae16e7b2cd6d3df4975f7640764159931000000000000000000000000a89cb04a89130ddfaeb16ed620cca67957944239000000000000000000000000efbeceb10c807ed0715f0822da2f4a9b37f177010000000000000000000000002a0ec0a3444035783855e7acfa48819976659a190000000000000000000000000ee85929d95b115fc847372022282654e5b447e1000000000000000000000000fb474cc4afe1dbac30b735f781aeb7076630a82b0000000000000000000000002ff1824954ae413873167c78cf74e23a591f67e1000000000000000000000000fbc6530911a766799e22913714f49aff6e16a462000000000000000000000000fb4689fbe2cd370e59ed38a81b659b67ccf253af0000000000000000000000000d247ebc9e6dacd7f28b777207fabd8830f794d7000000000000000000000000eed9693ba0301f9a7be9bfb57ccf17ee106585e10000000000000000000000008bb48a342876c0f65b8faf84839564a8bd9545dd00000000000000000000000035d7a913235db4dc9072cc428c3b19797b23346c0000000000000000000000001c677fdea3f1c5bc15f5232d7957b57e08df95f20000000000000000000000000140b74f53f2ec525d6e137be475ade404b16c6c000000000000000000000000406e443c307a2cf78a33de1859d9bbd8b8f2979f000000000000000000000000c683befb5facd509db754178910322c8aee3c8e700000000000000000000000028bad06b0d5a16a24d812a407326e0d1285c579f000000000000000000000000bff4e75eebe3685a090b4ec9929af6bc499a95740000000000000000000000002aff3dc62a93e0ad59e9ba19a3fed3746538c07200000000000000000000000036ac9650db58792bd7089719b3430ac0467c73d80000000000000000000000001be16f20bd6c25ba9665c74c6bc86cb4817072d4000000000000000000000000d0a2d87a078a8b5a297850f9f2995ea11ef08d8e00000000000000000000000062c13404613649ae72dd2a45bbef798ad07f8319000000000000000000000000ed74ed551b70b4625764e2b1e40729d2865484750000000000000000000000006ff2d560e7d452bdc909545ea3e212f7947968d80000000000000000000000008e6dbb64d10904b8385d0a27d886ada33ca785dd000000000000000000000000b11bc764e69102c3ebeba1f58f74fa9f54b41f940000000000000000000000009b6be2371f531f6129b6cf9ca84abf4a6f99182e0000000000000000000000004889d85e776f2a5915d6652522c507b62b03fd12000000000000000000000000bfdce361ceef7f02a77eccbf9e87b8efbc6359c90000000000000000000000002db6aca50594b32b2dc2bfd8dce1cf647c1c56f7000000000000000000000000c6f373cca0b3ee8e7090c1691cc21ca0ff8c2a3100000000000000000000000084188c068ae4ecedf30844f947a7b4609b53b78c00000000000000000000000023add9bbdf1912a1d7efdbe781fe43a9803c6de5000000000000000000000000dcb0846ac8b3278fa131eaa6da1450f4b5fa41df00000000000000000000000016d8cc784956a718980232a8a6411fd2549d27060000000000000000000000004ba79c086526f97302a0e7e02269faa9ed8e254f000000000000000000000000f3c165457ac33b6474ccef3a636ddc1f4e633f83000000000000000000000000251f60e4b6f34ac42109ebdc5b9b8f494f6bf84400000000000000000000000022db9e551322ab4b875a0e51a44dffa343eba0790000000000000000000000005364d1dc266c74ac2c7031e9ed2d0dd0b8f941f200000000000000000000000050fbf3d6ad86bc6ea43d284bad86a86e39f79121000000000000000000000000c18270c9716ffb9e3be4e8dbca24e8d50307978a00000000000000000000000084e923375163498a217d564f8cacdf3c538a24d6000000000000000000000000be29532377ba008550d163f3811419c41513b32a000000000000000000000000209d2f77e019e0b50b95b8b5c16b24e96c952a54000000000000000000000000013301850095e573b1c589a9bdcc9f49a2817db70000000000000000000000006c85beced523b18361a49382385bd4bbcea35ce20000000000000000000000003296ec65babe4fe0ac00da39e82a87bb27430292000000000000000000000000b75593916ab16b2932a03a8875b70f97d87284560000000000000000000000007b05de1b64bda60c59bd5a6709d5e4fd3a24e7a200000000000000000000000010263ece63ca2f577641f265b9c524561a98285e000000000000000000000000e859db8a756d3fbd6e32a37c1665cae61258b10e000000000000000000000000adf6058eb854bf94b99aab7903a6651879637545000000000000000000000000074ac00a0c81aa48f68097e670d1ba06d76af617000000000000000000000000167c3ea5a7784ff6f822337c3e64aec54eb8f6b7000000000000000000000000d545dbe55132c2095b7595290dda2303813bfd8b0000000000000000000000006f3795ec72709767d6dd855144d7951a1ebc52e2000000000000000000000000427903a164b6650e485e9d9096c7fca306c0c35a000000000000000000000000ad6323e02ac9b1093c048c6d462e3dd7ba5402b5000000000000000000000000f979c0585a6facc4d0209dabb46f70b9ff4cb9d20000000000000000000000008afe370205e30dc25a8d859c1bb718675729065600000000000000000000000014ed740b93d42fabb45214f7ba5d7f0e57f53e0e00000000000000000000000056492d4330444cb608341e7b327786e32a79f07d000000000000000000000000a3cf4dd237e737c9734770288faeae8ce61fc6ae000000000000000000000000ee5b18be7ad728d34ef560b2f509f22d58241d3300000000000000000000000063487b30c6aad0d1ecf83c2d07edb2dc167ff28a000000000000000000000000d37d8010e64a2d95930c9a081b3b3269cce44d6100000000000000000000000060a5c83d1fadb4e13a00e1f2cad1246990048cdc000000000000000000000000829aa3d4c5a05e61a7c71c4c5d6050f498f918f20000000000000000000000004f8b2886e547c815709e542982cc98b463b3518e0000000000000000000000004330a11733e0b50e3861b62e8f72581ab5eb8048000000000000000000000000afa3e20d66c74539a00140206daa1c04afafcf1a0000000000000000000000002f16e3f88f189c61cea679164d640bada351ff1a000000000000000000000000b414a1e2640facdbcb83a51a646ee388ce52d9f50000000000000000000000003c45b8823fb257d71cb286cbee59dfff6f50fefc000000000000000000000000c0cb1029c1dbf8cadce25b0f2863efbec8995960000000000000000000000000217b615b8f08daa6d808d1c35a401f1d621883f8000000000000000000000000d58b1c5b20d208e73df69d405e37ac8600c3977400000000000000000000000008bdf8110f9b4c29ea567ba6ae5869d727884ec4000000000000000000000000aba791b89ec3f2c85a499b12443a5129c8930d330000000000000000000000000b0678f4c5b1d2d85dacde63972da719189fc4e5000000000000000000000000ba8fd141af5efa010112b5bbfacbdf629c9d395c00000000000000000000000000fb78cc86013f128bccfc18f944da6eed5860cf0000000000000000000000008b6bb14fe47e7cc3b4947d8d11b14c3fe07d3a520000000000000000000000004e845fc431ec6174265d99f5fd8d7c9fb797e5270000000000000000000000006724b98b6d19240731c00baf31d06639116d884b000000000000000000000000d77cd79a3dd4f134eab4a06801ac75dbc0d81aba000000000000000000000000ea5f3ddd9ce462308a0d2dbbb743e2de70745c140000000000000000000000006f1f73ff2ce89a23ce96616ca655bb742a1190020000000000000000000000007dd3950e5055de698404d90fe6d5af9ec754ff370000000000000000000000004dd143980d051f481c3b02c864eeabca98816809000000000000000000000000aaec53c070b0887121d77c80f4ebc20727bd105c00000000000000000000000017a278839b79b9e9955629ae4e3336f95f2a469c000000000000000000000000bbe2364cdd68b51f56ac1593866e0c4500c78ed1000000000000000000000000047337aa6445624318c1e7076a5663756542c9a20000000000000000000000009df3b5e9d3b213b9582657f9c36b1ecc1c943ab7000000000000000000000000d3df9ef287ce70cbf55d1462a3df16ddb30e84a80000000000000000000000005443c30031445cef772b49f0a0243f3d3f4bad1a0000000000000000000000004552c27f3821d8574e28cb4069a3b92df5beb028000000000000000000000000267a8abbf85f0d35a32e303881c78b1628db38d800000000000000000000000098d9b6baed1b95b238e77373d5de7ade3e5f29700000000000000000000000008e531de05cde5010b818540381bb1f9c11c8794f000000000000000000000000fdbb63103c4af28b1aba5836e772179d88c135d7000000000000000000000000192211fb62034b694b9abb9dd79f07563df9266700000000000000000000000070ae6d68ffda96556f769ce37c3687be39e69f43000000000000000000000000ce35a492a156a4c60a2666cad1f13fa940d3bd42000000000000000000000000b82cfee5510073cbf374086b7dd1bd26ccf56567000000000000000000000000a3f7e0c909c9d0897b3a2ac87f3d476ba79321bc000000000000000000000000892d457052ef3634a6dc2fadbf6cf9f4aa73716f000000000000000000000000f2cd023e25e052facd60f5761d756b79a8b763df00000000000000000000000025996849c2469d5a3865daa21c18e9088a5fcf9e0000000000000000000000009d29932e0b9be5897780b7e663302a53669c440b000000000000000000000000d2c435ae86c1bceb1f361637e26f02afa42009b7000000000000000000000000eb5e9e2577c381aa7fdce7130e8b4349a379a3110000000000000000000000006669555ae51cff748de7acf84f22ff87a9e83476000000000000000000000000a93203aae831f4465f0f2068535410925febccb7000000000000000000000000f5795165a0aa3c969fe4329f3cfcae3ea6c93d9e000000000000000000000000f6914feeb2984a5f1731f2d137369863a1920a4600000000000000000000000097ff4e80dea1caf95563475accee6bd795fe4551000000000000000000000000b27972107659f64ca3dca38f0fe7aea0147c2dc0000000000000000000000000b5c52d7b18dc349217b801220006058b57fb09aa args=[0xB40c62b9A0B26c53176704B662EC7523Adb7A8e3, 0xd553B28482806d0dB3C8b8cd6f7d935026c90C32, 0, [0xb8f1B90e453713219C5600b62E67aBc2510F5562, 0xA2f4F7F3D7D26F26e8dF756dBf8DC8bd642544B8, 0xaB0eB98a1102C35e89C67b20278b5E24D9751B42, 0xf5742B0F63E5d655F17eC4F408755c0fE40C07aC, 0x84686deBfFabD34758097c43c24B9634B465feD2, 0x64511C3493D28fcf23da7397DCd84fFB78368cc9, 0xcbfe1ea00DF00E302bB273aD80D8a1707cFf866e, 0x6115a5177458198d00f466420E767D776D76A8C5, 0x14f18EB3C43E34bA47D65279517A355EAdEf9937, 0xa40D6defd3E7DEF68aF507eee15d16EC002E4928, 0x3014D67B3EECA418e15506b7C11223Db53EDf797, 0xCdBFfF3256F7114949859503526dAc6b4D0bA588, 0x7B07473703358e261b1004Aa7d1966B09FF8362c, 0x58Bce5f1C36f33297a09DB0231c5F7173172E834, 0x0CEC453F61960024F7b57c511B13797B80712e24, 0x4ceA4f67E65eB7C9a218a9b18bceeDbf41474439, 0x23C7542E40C9E44d1A3f6A3e31cE8771d7BAd325, 0x30cb4Fa85ff8eb59d13d0d81b16E8Bdd7eC22e2B, 0xbC56424eF3A9aF5ae4Ba1495B7EA5cf5a00F812C, 0x802437121664d9761FD9d8Ccc8624b8FCce84482, 0x83219190841382c39E9584E410663A15Efc11eA7, 0x2e1A940A8910d9e66B4aAb4337C5Ac7279E80570, 0x67f70FeC160B235F5C9F27cEc6f12932Ff70EBa8, 0xBA2C0D02c6fd0C5DD23981502703374f87e8006d, 0x33DaD580b483C1682f45c8c00470d8463467b7DE, 0x66A7ebf49c2c793E528BcE256e76F15070A1419f, 0x29905041eA998A77C9b3801CD93CB7f60471e83d, 0x7271CBdbD1c7e312C81ba2d8b9681328A6dCD047, 0x60C75A7459cDB5367a8d5141f2571B6Ed1DFc1f4, 0x9D528e2581fb4f720Fa1B7F62FE8421237252843, 0xe0f0f679B0e76bAa929EaB5e7132f6b3DddfDC50, 0x6ef3775F7206d74779Be838D1C31cDE5D77a383f, 0x9F4740abb9e1b59Cd8B1fC5E448168f4764EB5E2, 0x0d436790cCce9974c7401b33F7073c26e8C4f122, 0x3C77B099Ce3c8AdF00BAe9E7887c089F7AE77878, 0xDB29bEAe00E1E42EA9bE3FA5652380635791B52D, 0x4683fB0Dc1A45B8953C2710610e88f4A507FF331, 0xf9BbEEC519a6436a34648eBA90C174Ec7b44dfB0, 0x1Dd5C5f9301962d0C5F0042AE0325fE764094a74, 0xcCa9b28de5D05E09dfE826be00f4Fe7fE3c859f5, 0x6b6D68614a7A398F3E8a2E9B3dee251080e685be, 0x0a2DF371886e9a666372945571f3C86cbD095e68, 0xcE51818b85f65c78A1D8Bf3dBE73d69C9B870D7D, 0x8685605279810416E7344900093B2D0B43f4280a, 0xfc14d44a0955b971fbfE5628432Ce235292068b8, 0x660A264eBD01383453DC48b6D476495a8aaC1F9D, 0x634AB1B4a8ce5Ea6D845A95332B93a933F2FaB81, 0xB448b7DD2e419E6841a127A6Ce0E8d3a4F7DCf22, 0x7A60B347b9b492f429233bD6AaA4b0D4Ef372540, 0x5ACaf04C11d8D5414b78971D4bF5E9E66510Dc79, 0xB23dBBa614d35f7e7B1e8cf8c9A0905E8Bcc7D82, 0xf01DD4a1C737B5dF95Ce1e516d5Ed6543AcCf73f, 0xeeB3E20c841e6F4361581cA0fF0fEE9Eb534a53b, 0xAb2ceF44c02D84a7a5446e1C19e70AbBb598453d, 0x8a4eA60C68A6a290863594085D3048707e82C1d5, 0x300EcD01E24E01CE98B7Cf0F6216de4FCD099B38, 0x76019696eb9a5a02A5f54B1b2951394F44738826, 0x4F64545481cA7495fBdFcCbf8B851C342F7e96EC, 0xfD7B8dA883b92c884BC31390AC5Bf9A0371F861f, 0x7aF66A1a8bDceE1E70A52c678326534d7627aCA6, 0x0392f10101B3b71676e89e3b9494abB1f6f999B9, 0xaB2f64b459A613b56Ed3c6ac7b4c33492A5F70f6, 0x77E0bbFF1dd7FB587A737562Eb850CD71B76EA56, 0x30B7f5a3EF22cC54f006c023BaB942B8dDBacBD1, 0x9630f6d0CFaD399D4bA481Ae2E6722B6aF6735cf, 0xFbfCFc149b32F953e75fA4E8F1ffd92D8462e66f, 0xE15A48a71D100b3C1C369979D7714A789f5A9ee8, 0xF9A1CE40700b747839a3f05e45080a0e19491eBD, 0x969b5Cbe5Bf7493c1Ff7b8D85cd5394f26064e65, 0x2ce96411B40464007271DF49B6b8643b29F6B4c3, 0x92d9ac09dBb7E7F4A87ed724A9adDA5ae626d522, 0xc47887FA450FE9852c5DC9946da11F33AbA830bb, 0xC459C84BBc6cb0e8061e3e239D369509c1Bd9E27, 0xC46726bA37686679a982bE752a3577d30E0bcB3F, 0x188aDD9722b52C5Dd3304c36bEAF1DcB566A1691, 0x2213781084B18AAeFe388f744238B026453c0555, 0xdb24d2deF3c8155f5F9A2beCB49b02E2F7b84Cac, 0xb64CD53CaFbc9472bf25Ab508106925695CA45cA, 0xD9a83fb7A99efB2d4eE3658Ee41f16E923d9671E, 0x751CA6F8B6E858fFCdd27ED6B6839bbE2bEFa110, 0xfB23d617098C6FD123e2435E1C9bCeE2f5Bcf53C, 0xa75bdeafC7e53Bb494c447517560C2F492509B3a, 0x0B97a02BAB2d7282F9dDBFeFA9d538c2D04BCb60, 0xb01edA0C911E1dB76c854d4f1eA7aB4037a03271, 0xC94882ed00F54dFD271cAE0A9f19B92e12b28172, 0xD5ca29f819009BA90b79D9cd2ECd7c8787695fD9, 0x4ca2d6B459a5b4C778c78493d261dAEd2Dcf4D22, 0x5eC4cB91FBFff5843ea94047E1Aa7D55DaFf4646, 0xA598B1c0E37047049F84fC2B12Fd79Ee11aD70F0, 0x1EC982cF2381650454cf6fE06dFd1d60528a04FB, 0x5867ba91c6830d2A0f577f1c1E2637DeDCbBB213, 0x1BBe127b3a6b6E862Bdf6cee6aedCb59273d3C83, 0x8013E2Bc6491C25411Dce123D0ACf571C7134bBd, 0x2Aa70435d76f7FecF79a9C02016cC760A90AeBbd, 0x4a6CD79d035EB366942fBc27fE8D15Af6D743155, 0xc0c04aEA46B08d138Cb21e46A9356A0E9761D824, 0x209Cf8511a4CF2D3a5D13697Ba8A8f5a894703b8, 0x2f1aB4d2DF64DBD221dc83d034A45C9806182D93, 0x98e505b697Da44a03825fc91D7928e9BBFF88387, 0xDb8b6E4163BFc0f756165C6102Dac6caF3909767, 0xae8fa85aAA930a1f921D005caeEdD23F88911E08, 0x8c11208092554D8484172Baac62E2B67Fb280821, 0x9CD8dBDB03EB406c9D97Fe2045f15CDD58d33346, 0x120710807e9a4E97103313E7042818a879859b43, 0xd03d5b95A373DBD0f0f055e6838b70B3c716bEFB, 0x59766CEfC5da3157b3F5867Ae26592d1daC74661, 0x39AaAC434Ef90A71AA12BA9aC0aC729C6402444f, 0x3225101e6e6318EC00210b81a639423cBC717F15, 0xff714F51d5854Cd3Dbb746a034EAC95a9d154EA4, 0x13f1bD13Da1E4f3F5ffc231767D5070F451e10a8, 0x3991317D8935292F02AEBb3F78c76E13dDdc2cE4, 0x4598eb375DFc597a71007B266B97ad0B8Fc8903a, 0x2fb752aaC6cca159695646c8217531dffCFF87e6, 0xb6b06aacE7eb9702D0D4f59aD4aFe59bdD54810a, 0xA4D27aF87C0F71e216CB2ae401AEBa1550D5b721, 0xE4c983b8154d1950972eFFef4a76496693fF715a, 0xCae04113b59D79aD98D62DF8BBe430B8DFCC2f05, 0xaA6B49e3f057955b7507bD88eF0671374e2fd319, 0x3f2C5c27795215FBF34CF4AAB4F0063Fd3e293F9, 0x68670D6C5222DCBDc59a8291047d6b1208a0281B, 0x4066feaB92aD9317Cc94D80658f7994D985Df91d, 0x5A2CeEdbdA59C6Eb49Ad8441B5790EccEABE9265, 0x894Fb69aE16E7B2cD6d3df4975F7640764159931, 0xA89Cb04A89130DdfaEb16ED620Cca67957944239, 0xeFbeCEB10C807ed0715F0822da2F4a9B37f17701, 0x2A0Ec0A3444035783855E7acfa48819976659A19, 0x0ee85929D95b115fC847372022282654E5b447e1, 0xfb474cC4AFe1dbAC30b735f781aeb7076630A82b, 0x2Ff1824954Ae413873167c78cf74e23a591F67e1, 0xFBc6530911A766799e22913714f49afF6e16a462, 0xFB4689FBE2Cd370e59ED38A81B659B67CCf253AF, 0x0d247eBc9E6DAcd7f28b777207fABD8830f794D7, 0xeED9693ba0301F9A7bE9BFb57ccf17EE106585e1, 0x8bb48A342876C0F65b8fAF84839564a8BD9545DD, 0x35d7a913235DB4dC9072cc428c3b19797b23346C, 0x1c677Fdea3F1c5bc15f5232D7957B57E08dF95f2, 0x0140b74F53f2EC525d6E137be475aDE404b16C6c, 0x406e443c307a2cf78A33dE1859D9bbd8b8f2979f, 0xC683BEFB5faCD509DB754178910322c8aEe3C8e7, 0x28Bad06B0d5a16A24d812A407326e0d1285C579F, 0xBfF4e75eEbE3685A090B4ec9929af6Bc499a9574, 0x2aFF3dC62A93E0Ad59E9Ba19a3fed3746538c072, 0x36AC9650db58792Bd7089719b3430Ac0467C73D8, 0x1Be16F20BD6c25bA9665c74c6bc86CB4817072d4, 0xd0a2d87A078A8b5a297850F9F2995EA11eF08d8e, 0x62c13404613649Ae72Dd2A45BBeF798Ad07F8319, 0xED74ED551B70b4625764E2b1e40729d286548475, 0x6FF2D560e7D452bdC909545EA3e212F7947968d8, 0x8E6DbB64D10904B8385D0A27D886AdA33Ca785DD, 0xb11bC764e69102c3eBeBa1F58F74Fa9f54B41F94, 0x9b6be2371f531f6129B6cF9CA84aBf4A6F99182E, 0x4889D85e776f2A5915D6652522C507b62B03FD12, 0xBfdce361ceEF7F02A77EccBF9e87B8Efbc6359c9, 0x2db6acA50594b32B2DC2bfd8DCE1CF647c1c56f7, 0xC6F373cCA0b3EE8E7090C1691CC21Ca0ff8c2A31, 0x84188c068AE4eCedF30844f947A7b4609B53b78C, 0x23AdD9bbDf1912a1D7eFdbe781fE43a9803c6dE5, 0xdCB0846Ac8B3278FA131eaa6Da1450f4b5Fa41Df, 0x16D8CC784956a718980232A8a6411fd2549D2706, 0x4BA79c086526F97302a0e7e02269fAa9ED8E254f, 0xF3C165457aC33b6474cCEf3a636ddC1F4e633F83, 0x251F60E4b6F34ac42109ebdC5B9b8F494f6BF844, 0x22Db9E551322ab4B875A0E51A44Dffa343eba079, 0x5364d1Dc266c74aC2C7031E9ED2D0Dd0b8F941f2, 0x50fbF3d6AD86bc6Ea43d284bad86a86e39f79121, 0xC18270c9716FFb9E3be4E8dbCa24e8D50307978A, 0x84E923375163498a217D564f8cAcdF3C538a24D6, 0xBE29532377ba008550d163f3811419C41513B32a, 0x209d2f77E019e0b50b95b8b5c16B24e96C952a54, 0x013301850095e573b1C589a9bdcC9F49a2817db7, 0x6c85bEceD523b18361A49382385Bd4bBceA35CE2, 0x3296ec65bABE4Fe0ac00Da39e82A87bb27430292, 0xb75593916ab16b2932a03A8875B70f97d8728456, 0x7b05dE1b64bDA60c59bD5a6709D5e4FD3A24e7a2, 0x10263ECe63cA2f577641f265B9c524561A98285e, 0xE859db8A756d3FBd6E32A37c1665caE61258B10e, 0xaDf6058EB854Bf94b99aAB7903A6651879637545, 0x074aC00A0c81AA48f68097e670d1ba06D76aF617, 0x167C3Ea5a7784Ff6f822337c3E64AEC54eB8f6B7, 0xD545DBE55132C2095b7595290DdA2303813bFD8B, 0x6F3795EC72709767d6Dd855144d7951A1EbC52e2, 0x427903a164b6650E485E9D9096c7FCA306C0C35a, 0xaD6323e02ac9B1093c048c6d462E3dD7ba5402B5, 0xf979C0585A6fAcc4D0209dabb46F70B9FF4cB9D2, 0x8afE370205E30dC25A8d859C1BB7186757290656, 0x14ED740B93d42FABb45214F7BA5D7F0E57f53E0E, 0x56492D4330444Cb608341e7B327786E32A79F07d, 0xA3cf4DD237e737C9734770288faEAE8ce61fC6AE, 0xeE5b18Be7Ad728d34EF560b2F509F22D58241D33, 0x63487b30C6aAD0D1ecf83C2d07eDB2Dc167Ff28a, 0xD37D8010E64A2D95930c9a081b3B3269CCe44D61, 0x60a5c83d1FaDB4e13A00e1f2CAd1246990048cDC, 0x829aA3d4c5A05e61a7C71C4c5D6050f498F918f2, 0x4f8b2886e547c815709e542982Cc98B463b3518E, 0x4330a11733e0b50e3861B62E8f72581AB5EB8048, 0xafa3E20d66c74539A00140206DAa1C04AFaFCf1A, 0x2F16E3F88F189C61CEa679164D640BADa351FF1a, 0xb414A1e2640facDBcb83A51A646Ee388Ce52D9f5, 0x3c45b8823Fb257d71cB286cbEE59DFfF6f50FeFC, 0xc0CB1029c1DbF8CAdcE25B0F2863eFBEc8995960, 0x217B615b8f08dAA6D808d1C35A401F1d621883F8, 0xd58B1C5b20D208E73Df69D405E37aC8600C39774, 0x08Bdf8110f9b4C29ea567bA6aE5869D727884Ec4, 0xaBa791B89Ec3f2c85A499B12443A5129C8930D33, 0x0B0678F4c5B1d2d85DACDE63972Da719189fc4e5, 0xba8FD141AF5Efa010112B5bBFACbDF629c9d395c, 0x00fB78Cc86013F128bcCFc18F944da6eeD5860Cf, 0x8b6bb14fe47e7Cc3b4947d8d11B14c3Fe07D3a52, 0x4e845Fc431eC6174265d99f5fD8D7c9FB797e527, 0x6724b98B6d19240731c00bAF31D06639116D884B, 0xD77CD79a3DD4F134eAB4a06801ac75DBc0D81ABa, 0xeA5f3dDD9cE462308A0d2DbbB743E2De70745c14, 0x6F1f73Ff2CE89A23Ce96616cA655bB742a119002, 0x7dD3950e5055DE698404d90FE6D5aF9ec754FF37, 0x4dd143980d051f481C3B02C864eEABCa98816809, 0xaAeC53C070b0887121d77C80F4EBC20727BD105c, 0x17a278839b79B9E9955629ae4e3336F95F2a469c, 0xbbe2364cDd68b51f56AC1593866e0c4500c78ED1, 0x047337aa6445624318C1E7076A5663756542C9a2, 0x9DF3b5e9D3B213b9582657F9c36B1ecC1c943Ab7, 0xd3dF9EF287cE70CBf55D1462a3dF16dDb30E84A8, 0x5443c30031445cEf772B49f0A0243F3D3F4Bad1A, 0x4552c27f3821D8574E28Cb4069A3B92Df5BeB028, 0x267a8abBf85f0d35A32E303881C78b1628Db38d8, 0x98d9b6baEd1b95B238e77373D5de7aDE3e5F2970, 0x8E531De05CDE5010b818540381BB1F9C11c8794F, 0xfDBB63103c4AF28B1abA5836E772179D88C135d7, 0x192211fb62034B694B9abB9dd79F07563Df92667, 0x70aE6D68ffdA96556f769ce37c3687Be39e69f43, 0xCe35A492A156a4c60a2666Cad1f13FA940D3bD42, 0xb82cFee5510073cBF374086b7DD1BD26CcF56567, 0xa3F7E0c909C9D0897b3a2Ac87F3d476ba79321bC, 0x892D457052ef3634a6DC2FADBf6cF9F4Aa73716f, 0xF2cd023e25E052FACD60f5761d756B79A8b763DF, 0x25996849c2469D5a3865daA21c18E9088a5fcf9e, 0x9D29932E0B9be5897780b7E663302A53669c440B, 0xD2c435ae86C1bceB1F361637e26F02Afa42009b7, 0xeB5E9E2577C381Aa7fdCE7130E8B4349a379a311, 0x6669555ae51cff748de7AcF84f22ff87a9E83476, 0xA93203aAE831f4465F0f2068535410925FEBccB7, 0xF5795165A0AA3C969Fe4329F3cFcaE3Ea6C93d9E, 0xf6914fEEb2984a5F1731F2D137369863A1920A46, 0x97ff4E80DEa1cAf95563475ACcee6BD795fE4551, 0xb27972107659f64cA3dCA38f0Fe7aEa0147C2dc0, 0xb5c52D7B18DC349217B801220006058B57Fb09Aa]]
  • test_createPolicy_revert_incompatiblePolicyType(address,address,uint8): Error != expected error: custom error 0xca5d55f6: type check failed for "(address,uint8)" with data: 000000000000000000000000bcb23de9cc99b305bad4bbf10019d87897dd0ee00000000000000000000000000000000000000000000000000000000000000002 != IncompatiblePolicyType(); counterexample: calldata=0x1ade0d6f000000000000000000000000d3492be9030dbf1146cf20688526d52caa631c2f000000000000000000000000bcb23de9cc99b305bad4bbf10019d87897dd0ee00000000000000000000000000000000000000000000000000000000000000000 args=[0xD3492be9030dbf1146Cf20688526d52cAa631c2F, 0xBcb23De9cc99B305baD4bbF10019d87897dD0eE0, 0]
  • test_erc8056Surface_success_aliasesResolve(uint256): custom error 0xa60bf13d; counterexample: calldata=0x91648cee0038cd4597574e330ad1932818684c2cdf76bc74ce97b87b36bbaf22cc355ec1 args=[100360169803073049066019313152241332209913554164136802785198384266291273409 [1.003e74]]
  • test_fromUIAmount_success_explicitZeroMultiplierFallsBackToWad(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x2e5d48fc0000000000000000000000000000000000000000000000000000000000000001 args=[1]
  • test_fromUIAmount_success_identityOnWadDefault(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x14325055000000000000000000000000000000000000000000000000b5dc242e0f6c1ae9 args=[13104388795987139305 [1.31e19]]
  • test_fromUIAmount_success_invertsByStoredMultiplier(uint256,uint256): custom error 0x65cd9b3c; counterexample: calldata=0xe11ab12f0000000000000000000000000000000000000000000000000000000000000003000000000000000000000000000000000000000000000000000000ac0be3df53 args=[3, 738933858131 [7.389e11]]
  • test_fromUIAmount_success_roundTripExactOnWadDefault(uint256): custom error 0x3248d4ff; counterexample: calldata=0x76c2c36b000000000000000000000000000000000000000000000000000000000000c015 args=[49173 [4.917e4]]
  • test_fromUIAmount_success_roundTripFloors(uint256,uint256): custom error 0x3248d4ff; counterexample: calldata=0x3f088b7a000000000000000000000000000000000000000000382874ffd39120c8319b69000000000000000000000000000000000000000000073879cf1343e24def931e args=[67890898814283839641328489 [6.789e25], 8729180237720652868457246 [8.729e24]]
  • test_fromUIAmount_success_zeroUIAmount(uint256): custom error 0x65cd9b3c; counterexample: calldata=0x1da8227300000000001fb70782f5c940d800a495a3c0a8b6c950bbf8531de882af146561 args=[13046777132183250521959917558143044163069666959733943460598932833 [1.304e64]]
  • test_isAuthorized_success_composite_mixedChildTypes(address): custom error 0x6fdd1491; counterexample: calldata=0xca56e88d000000000000000000000000b4eb7241476dd61e6ebc0332c72023cb7d9f40ad args=[0xb4eb7241476dD61e6EbC0332C72023CB7d9f40ad]
  • test_isAuthorized_success_composite_reflectsChildMembershipChange(address): custom error 0x6fdd1491; counterexample: calldata=0x9154ecaf0000000000000000000000004402045ab842e2fdfe6ff919c84001c5a86e029d args=[0x4402045ab842E2fdfe6FF919c84001c5a86E029D]
  • test_isAuthorized_success_intersect_allChildrenAuthorize(address): custom error 0x6fdd1491; counterexample: calldata=0x12f37cef0000000000000000000000008453000000000000000000000000000000000002 args=[0x8453000000000000000000000000000000000002]
  • test_isAuthorized_success_intersect_oneChildDenies(address): custom error 0x6fdd1491; counterexample: calldata=0x70fa07e6000000000000000000000000e697b5fce99296f23604232f15c2b2bc121788d5 args=[0xe697B5fCe99296f23604232F15c2B2BC121788D5]
  • test_isAuthorized_success_union_anyChildAuthorizes(address): custom error 0x6fdd1491; counterexample: calldata=0x1ab54113000000000000000000000000225d8df47e51756739de55f0075691553de7f1d6 args=[0x225d8df47E51756739de55f0075691553De7f1D6]
  • test_isAuthorized_success_union_noChildAuthorizes(address): custom error 0x6fdd1491; counterexample: calldata=0x18ea2b87000000000000000000000000a61101b0a1de2b02f6bb6362d1e3db7c68419463 args=[0xa61101B0a1DE2b02f6bb6362D1E3db7C68419463]
  • test_multiplier_success_renamedFromShareRatio(uint256): custom error 0x3248d4ff; counterexample: calldata=0x94be8dcc0000000000000000000000000000000000000000000000000000000000003c72 args=[15474 [1.547e4]]
  • test_newUIMultiplier_success_maturedMirrorsUiMultiplier(uint256): custom error 0x628e600f; counterexample: calldata=0x42f4772200000000000000000000000000000000000000000000000000000000000046ae args=[18094 [1.809e4]]
  • test_newUIMultiplier_success_reportsLivePending(uint256,uint256): custom error 0xa60bf13d; counterexample: calldata=0xf70689800000000000000000000000000000000017066a78667c284adf153d332790d58b00000000000794c7ec8cbc9682cffcb304b8b3442ebd7d7570e9c233220cc03e args=[30605557158719330910546804001125488011 [3.06e37], 3118714749290840499050395460145412407152510840373342123571593278 [3.118e63]]
  • test_pendingSlot_success_decodesScheduledPending(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x24184370000000000000001e6e02e99748279be03517d6fa1400d34aa9096fdbe304ed450004bbb3122e724c7af6d05e66fc2804143269b647ef5be778f3c9e4583ef449 args=[191010523172215336935815475539571227680926219115809992928581 [1.91e59], 8362842571145016166178753790681463470499451827573807740555796685856371785 [8.362e72]]
  • test_policyId_success_reflectsUpdatePolicy(uint8,uint64): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0xa21d943e000000000000000000000000000000000000000000000000000000000000001c0000000000000000000000000000000000000000000000000000000000000000 args=[28, 0]
  • test_policyId_success_zeroByDefault(uint8): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x11a5c8f40000000000000000000000000000000000000000000000000000000000000003 args=[3]
  • test_scheduledSetter_success_renamedFromSetUIMultiplier(uint256): custom error 0x628e600f; counterexample: calldata=0x1e36717afffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffd args=[115792089237316195423570985008687907853269984665640564039457584007913129639933 [1.157e77]]
  • test_seizeWithMemo_revertOrder_blocked_beats_balance(address,address): Error != expected error: custom error 0xf916d81b != AccountNotSeizable(0xcEfBf1B26545e56EBcD34FcDc530B2851bDC0E98); counterexample: calldata=0x8dcc06c2000000000000000000000000cefbf1b26545e56ebcd34fcdc530b2851bdc0e980000000000000000000000001be0311a4fc5c3739bfdff0cea294a4d28910d28 args=[0xcEfBf1B26545e56EBcD34FcDc530B2851bDC0E98, 0x1BE0311A4fC5c3739bfdff0cEA294A4d28910d28]
  • test_seizeWithMemo_revertOrder_blocked_beats_receiver(address,address): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0x95d54d940000000000000000000000004ba377ca69a2c54807ecbe1b6b73af2b5c68c7e00000000000000000000000008c5d92324031531237f094803d5e73fb773c4102 args=[0x4ba377CA69A2c54807ecBe1B6B73aF2B5c68c7E0, 0x8C5d92324031531237F094803D5E73fB773c4102]
  • test_seizeWithMemo_revertOrder_pause_beats_blocked(address,address): custom error 0xa290249c: type check failed for "(uint8[])" with data: 0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003; counterexample: calldata=0xd8656555000000000000000000000000e63403094fcdfe1cc778e2d430927ab06c7ecbd90000000000000000000000007383a39456d678dbcf88a1a052e33cb51febdc46 args=[0xe63403094FCDFe1CC778e2d430927ab06C7EcBd9, 0x7383a39456d678DBcf88a1a052E33cB51FeBdC46]
  • test_seizeWithMemo_revertOrder_pause_beats_role(address,address,address): custom error 0xa290249c: type check failed for "(uint8[])" with data: 0000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000000000000000000000000000000000000003; counterexample: calldata=0xadeb3963000000000000000000000000e40659baa72dde2ff9e5869ffc130331d8197bfa0000000000000000000000009c5cefce5a03a5c4b6ead1c952dd2bbb25319b11000000000000000000000000cf3d2748a7dcd9bb7a0a90fcf725c76f306b0304 args=[0xE40659BaA72Dde2FF9e5869Ffc130331D8197BFA, 0x9c5ceFCe5A03A5c4b6EAD1c952DD2BBb25319B11, 0xCf3d2748a7DCD9Bb7a0A90FcF725c76F306b0304]
  • test_seizeWithMemo_revertOrder_receiver_beats_balance(address,address): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xc375ac63000000000000000000000000a534edf27f0a56b577de603898e9b0de6b40fe3d000000000000000000000000954fa59b8ca9b65233d424ffc3a19216980ab38a args=[0xa534EdF27F0A56B577de603898E9b0De6b40Fe3d, 0x954Fa59b8Ca9B65233D424FfC3a19216980ab38A]
  • test_seizeWithMemo_revertOrder_role_beats_selfSeize(address,address): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0x69d6A54b94A9708D4A71cA9A1602c9BDe45347e7, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x6af0841d00000000000000000000000069d6a54b94a9708d4a71ca9a1602c9bde45347e7000000000000000000000000939fb2ed2f0bc14605b16d186d87f3f794440838 args=[0x69d6A54b94A9708D4A71cA9A1602c9BDe45347e7, 0x939fB2ED2F0Bc14605B16D186d87F3F794440838]
  • test_seizeWithMemo_revertOrder_role_beats_zeroActors(address,address): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0xCB00000000000000000000000000000000000000, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x36c308ae000000000000000000000000cb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000003355 args=[0xCB00000000000000000000000000000000000000, 0x0000000000000000000000000000000000003355]
  • test_seizeWithMemo_revertOrder_selfSeize_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidReceiver(0xdCb86A62B627bC1f173c33AaCB82302E3BA040e0); counterexample: calldata=0xbff2d70b000000000000000000000000dcb86a62b627bc1f173c33aacb82302e3ba040e0 args=[0xdCb86A62B627bC1f173c33AaCB82302E3BA040e0]
  • test_seizeWithMemo_revertOrder_zeroActors_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidReceiver(0x0000000000000000000000000000000000000000); counterexample: calldata=0x02c145c50000000000000000000000000000000000000000000000000000000036c308ae args=[0x0000000000000000000000000000000036c308Ae]
  • test_seizeWithMemo_revertOrder_zeroSender_beats_blocked(address): Error != expected error: custom error 0xf916d81b != InvalidSender(0x0000000000000000000000000000000000000000); counterexample: calldata=0xfb590705000000000000000000000000fbdb3d5c80b4ae2b9962536f71b3cdd5925724ae args=[0xFbdB3d5C80B4AE2B9962536f71b3CDd5925724aE]
  • test_seizeWithMemo_revert_accountNotBlocked(address,address,uint256): Error != expected error: custom error 0xf916d81b != AccountNotSeizable(0xD533B0EF554C98fdCc47650bB620ea7BB16bd27D); counterexample: calldata=0x41754db2000000000000000000000000d533b0ef554c98fdcc47650bb620ea7bb16bd27d000000000000000000000000cb2859bacc533b06e716a3aabbd5c50b0ab667200000000000000001202ff9dc3a389186682708d4155392af330a6ed131a6db72 args=[0xD533B0EF554C98fdCc47650bB620ea7BB16bd27D, 0xcB2859BAcC533b06e716A3aaBBd5c50B0aB66720, 7066334641784422625167590796141846435405828067698592373618 [7.066e57]]
  • test_seizeWithMemo_revert_insufficientBalance(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x033c5005000000000000000000000000073c8cc6d6422e3b2dd39708b3e3a6176781efdc000000000000000000000000747419b0435e082bc743ba8f62b384fd654d0d0600000000003351fdbaa5e6b089d6b6a36a0f5c4da191be72a072eb06c1c1d448 args=[0x073C8cc6d6422e3b2Dd39708B3e3a6176781EFDC, 0x747419B0435E082bC743Ba8f62b384fd654d0d06, 21111937770766309189706946709203448765649061072604543091839456328 [2.111e64]]
  • test_seizeWithMemo_revert_invalidReceiver(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x92e9b388000000000000000000000000d1588616c2f931635315a7b667496566a6534ead0000000000000000830bdb8167261d54b59478643a0d72128fbb1ec9b42b5795 args=[0xd1588616c2f931635315A7B667496566a6534EAD, 3213246371089630913930670998233462574653410415346748970901 [3.213e57]]
  • test_seizeWithMemo_revert_receiverPolicyForbids(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x05a3631f00000000000000000000000038648e512877200fafa49c8897b69ebe5f78af600000000000000000000000008c1cf6f6af95cca18f693b8306eea8af728cf8bc00000000000000005bce259957df8bf4f743a96d069aead2131b79f89b8865a0 args=[0x38648E512877200fAFA49C8897b69eBE5F78AF60, 0x8C1cf6f6Af95CCa18f693b8306EEA8aF728Cf8bC, 2251058455044309261967963746137573223430264704342734431648 [2.251e57]]
  • test_seizeWithMemo_revert_selfSeize(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xffbeec22000000000000000000000000a936498e0bd06dffa184060469d0d1a3fb1f9e3e000000000000000000000000000000000002842bce9b294b9206f5b98be222d1 args=[0xa936498E0BD06dfFa184060469d0D1A3Fb1f9E3e, 13065342537230325410861171934896849 [1.306e34]]
  • test_seizeWithMemo_revert_unauthorized(address,address,address,uint256): Error != expected error: custom error 0xf916d81b != AccessControlUnauthorizedAccount(0x2a51794e13D508e4386c12Ab8A71B5ca94Ae0Ece, 0x3469b8b0d89e9604f8510ed143f74a8336d22955d4f83e23bf53d9414e27f432); counterexample: calldata=0x0334937c0000000000000000000000002a51794e13d508e4386c12ab8a71b5ca94ae0ece0000000000000000000000000ccdb55e0499bc14ec247e56624b5d672fa709cb000000000000000000000000b6122cba2c865723591a123a66baef256deff942000000000000000000000000000000000000a8b4ee00e40a4edfb2d35fd9236d args=[0x2a51794e13D508e4386c12Ab8A71B5ca94Ae0Ece, 0x0CCDB55E0499Bc14ec247e56624b5d672fa709cB, 0xB6122Cba2C865723591a123A66bAEF256deFf942, 3421779541175275401109224510006125 [3.421e33]]
  • test_seizeWithMemo_revert_whenSeizePaused(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x83c47ba4000000000000000000000000000000000000000000000000000000000334937d0000000000000000000000000000000000000000000000000000000000001b900000000000000000000000000000000000000000000000000000000000000912 args=[0x000000000000000000000000000000000334937d, 0x0000000000000000000000000000000000001B90, 2322]
  • test_seizeWithMemo_revert_zeroFrom(address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xdf1bcb7a000000000000000000000000abc6bf2da5cd37c7ae245ff54391a1d218bec593000000000000000000000000000000000000000000000621405f54bfee1bdf40 args=[0xAbC6bf2DA5cd37C7ae245ff54391a1D218BEC593, 28947579970974811676480 [2.894e22]]
  • test_seizeWithMemo_success_configuredReceiverPolicyAllows(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xd1038b0d000000000000000000000000a125135de2412274716385397ce0ed581da5deda00000000000000000000000011e65946697e3adabdd18e1a290df1921a448cf60000000000000000000000000000000000000000000000000000000000000002 args=[0xA125135De2412274716385397cE0Ed581dA5dEda, 0x11E65946697E3aDaBDD18e1A290df1921A448Cf6, 2]
  • test_seizeWithMemo_success_emitsEvents(address,address,uint256,bytes32): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x984936cb000000000000000000000000294661ed2759dfeeabc1324d9a4f98e7eca159370000000000000000000000008e1ef1ac76353a46ab6e6b97fdd7680871d884e6ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff91f5949deaf7ed22050d77041629d717ab9bd7c744913bd331887abb81a3d667 args=[0x294661ed2759DFeEAbc1324D9A4f98E7ECA15937, 0x8E1eF1aC76353a46AB6E6b97fdD7680871D884e6, 115792089237316195423570985008687907853269984665640564039457584007913129639935 [1.157e77], 0x91f5949deaf7ed22050d77041629d717ab9bd7c744913bd331887abb81a3d667]
  • test_seizeWithMemo_success_ignoresReceiverPolicy(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x6358be6c000000000000000000000000cb000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002c4a0000000000000000000000000000000000000000000000000000000000004499 args=[0xCB00000000000000000000000000000000000000, 0x0000000000000000000000000000000000002c4A, 17561 [1.756e4]]
  • test_seizeWithMemo_success_movesBalance(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xc4ab022a00000000000000000000000036e72d1bdca31c98c2f783a941c5498e3e1f657c000000000000000000000000361ad12a44eda7e0ed1f5c4deaa11c34eca4ef6d000000000000000000000000000000000258d6d56170874b0a27e4a02ea915a0 args=[0x36e72D1bDca31C98C2f783a941c5498e3e1f657c, 0x361Ad12a44EdA7E0ed1f5c4DeAa11c34EcA4EF6D, 3119735456530778121073037839459489184 [3.119e36]]
  • test_seizeWithMemo_success_noAllowanceRequired(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xdc26e1f5000000000000000000000000b98c1b5a516a730a6fef1fbea4cf751c812276d10000000000000000000000007caece730d5df7999032e16d9cfe5cc84e3278de000000000000000000235be54df146826827a99df09decc2f07fae25c609b962 args=[0xB98C1B5A516A730a6fef1Fbea4CF751c812276d1, 0x7CaECE730d5Df7999032e16d9CFe5Cc84E3278de, 3386716266635252550259723669534615219621953264461396322 [3.386e54]]
  • test_seizeWithMemo_success_unsetReceiverPolicyAllowsAnyDestination(address,address,uint256): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0x47ad42e200000000000000000000000085ee28d88bd48633bf5b23b68db8a7f3aadde221000000000000000000000000daf2614267c2dcd20eb18d2ab2da3a9141e6df4e0000000000000000000000000000000000000000000000000000000000000001 args=[0x85eE28D88bD48633Bf5B23B68Db8A7F3aaDdE221, 0xDAf2614267C2DCD20eb18d2Ab2DA3a9141e6df4e, 1]
  • test_supportsInterface_success_unknownFalse(bytes4): custom error 0x01ffc9a7; counterexample: calldata=0xf84ff406a858a2f300000000000000000000000000000000000000000000000000000000 args=[0xa858a2f3]
  • test_toUIAmount_success_explicitZeroMultiplierFallsBackToWad(uint256): custom error 0x3248d4ff; counterexample: calldata=0x800dbd6f00000000000000000000000000000000000005f512958216ddff53262619342f args=[120828699308706489359638845797423 [1.208e32]]
  • test_toUIAmount_success_identityOnWadDefault(uint256): custom error 0x3248d4ff; counterexample: calldata=0x199e403a00000000000000000000000000000000000000000000000000000000000008a2 args=[2210]
  • test_toUIAmount_success_scalesByStoredMultiplier(uint256,uint256): custom error 0x3248d4ff; counterexample: calldata=0xa378d219000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000b2 args=[4096, 178]
  • test_toUIAmount_success_zeroRawAmount(uint256): custom error 0x3248d4ff; counterexample: calldata=0x3f144b340000000000000000000000000000000000000000000000000000000000000069 args=[105]
  • test_totalSupplyUI_success_scalesByMultiplier(uint256,uint256): custom error 0x9bea6429; counterexample: calldata=0x5c65438200000000000000000000000000000000000000000000000000000000000000800000000000000000000000000000000007b72239572c3688d56c7ce0dd37b5c8 args=[128, 10255480440516718158655525069631501768 [1.025e37]]
  • test_totalSupplyUI_success_zeroWhenNoSupply(uint256): custom error 0x9bea6429; counterexample: calldata=0x605620a9000000000000000000000000000000000000000158756ea13ea5035f97f90593 args=[106604810134190544693591868819 [1.066e29]]
  • test_updateComposite_revertOrder(uint8): custom error 0x6fdd1491; counterexample: calldata=0x46b240f9000000000000000000000000000000000000000000000000000000000000003a args=[58]
  • test_updateComposite_revert_builtinChild(uint8): custom error 0x6fdd1491; counterexample: calldata=0x44e9729e0000000000000000000000000000000000000000000000000000000000000033 args=[51]
  • test_updateComposite_revert_childPoliciesOutsideOfRange(uint8,uint8): custom error 0x6fdd1491; counterexample: calldata=0x25c44760000000000000000000000000000000000000000000000000000000000000001f000000000000000000000000000000000000000000000000000000000000000a args=[31, 10]
  • test_updateComposite_revert_incompatiblePolicyType(uint8): Error != expected error: custom error 0xbfe142c0 != IncompatiblePolicyType(); counterexample: calldata=0xbe9d9a40000000000000000000000000000000000000000000000000000000000000001d args=[29]
  • test_updateComposite_revert_invalidChildPolicy(uint8): custom error 0x6fdd1491; counterexample: calldata=0xfc6d02c600000000000000000000000000000000000000000000000000000000000000e8 args=[232]
  • test_updateComposite_revert_policyNotFound(address,uint64): Error != expected error: custom error 0xbfe142c0 != PolicyNotFound(); counterexample: calldata=0xbc492f7a000000000000000000000000022cd5f109f63b37aefa65f256a72510c02a198e0000000000000000000000000000000000000000000000000000000000001b60 args=[0x022cD5f109f63b37AEfA65F256a72510C02A198E, 7008]
  • test_updateComposite_revert_policyNotFoundChild(uint8,uint64): custom error 0x6fdd1491; counterexample: calldata=0x5d96e02c000000000000000000000000000000000000000000000000000000000000001200000000000000000000000000000000000000000000000000000000a60bf13d args=[18, 2785800509 [2.785e9]]
  • test_updateComposite_revert_renouncedComposite(uint8): custom error 0x6fdd1491; counterexample: calldata=0x9c795a420000000000000000000000000000000000000000000000000000000000000000 args=[0]
  • test_updateComposite_revert_unauthorized(address,uint8): custom error 0x6fdd1491; counterexample: calldata=0x13f7deab0000000000000000000000006de3b90aec89137c7028da6f68d90a1e72ef9e2c00000000000000000000000000000000000000000000000000000000000000ff args=[0x6dE3B90AEc89137C7028da6F68d90A1e72Ef9e2C, 255]
  • test_updateComposite_success_atMaxChildren(uint8): custom error 0x6fdd1491; counterexample: calldata=0x9b8e0605000000000000000000000000000000000000000000000000000000000000003d args=[61]
  • test_updateComposite_success_emitsCompositePolicyUpdated(uint8): custom error 0x6fdd1491; counterexample: calldata=0xc975d54c0000000000000000000000000000000000000000000000000000000000000032 args=[50]
  • test_updateComposite_success_replacesChildSet(address): custom error 0x6fdd1491; counterexample: calldata=0xbb14993300000000000000000000000001e1684dfdcabf95abbe0c0edfcc8fa4917d019a args=[0x01E1684DfDcabf95aBBE0c0edFCC8fA4917D019a]
  • test_updateMultiplier_deprecated_stillDialable(uint256): deprecated updateMultiplier must emit the ERC-8056 UIMultiplierUpdated: -1 <= -1; counterexample: calldata=0x8e38ffd60000000000000000000000000000000000000000000000000000000002c1563b args=[46224955 [4.622e7]]
  • test_updateMultiplier_revert_aboveUint128Ceiling(uint256): next call did not revert as expected; counterexample: calldata=0x2b852f5600000000000000000000000000000000313bbae72e185462762f419eb8861398 args=[65442308152271975774664885640156812184 [6.544e37]]
  • test_updateMultiplier_success_emitsEvent(uint256): log != expected log; counterexample: calldata=0xfda1a8f900000000000000000000000000000000000000000000000000000000deadbeef args=[3735928559 [3.735e9]]
  • test_updatePolicy_revert_policyNotFound(uint8,uint64): Error != expected error: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed) != PolicyNotFound(2); counterexample: calldata=0x74fd7f3900000000000000000000000000000000000000000000000000000000000000210000000000000000000000000000000000000000000000000000000000000098 args=[33, 152]
  • test_updatePolicy_success_builtinAllow(uint8): UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed); counterexample: calldata=0xde997e8b00000000000000000000000000000000000000000000000000000000000000c3 args=[195]
  • test_updatePolicy_success_builtinReject(uint8): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0x56f5b908000000000000000000000000000000000000000000000000000000000000004c args=[76]
  • test_updatePolicy_success_emitsPolicyUpdated(uint8,uint64): log != expected log; counterexample: calldata=0x59afa2fa000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000000000000000000000000000000007c7 args=[64, 1991]
  • test_updatePolicy_success_writesSlot(uint8,uint64): UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d); counterexample: calldata=0x9746e8e100000000000000000000000000000000000000000000000000000000000000160000000000000000000000000000000000000000000000000000000000000002 args=[22, 2]
  • test_updateUIMultiplier_revert_aboveUint128Ceiling(uint256): Error != expected error: custom error 0x628e600f != InvalidMultiplier(); counterexample: calldata=0x83cbf42d0000000000000000000000000000000003845bf85c641a031af235c336bea8f3 args=[4674932549133217029577418669022947571 [4.674e36]]
  • test_updateUIMultiplier_revert_effectiveAtInPast(uint256): Error != expected error: custom error 0x628e600f != EffectiveAtInPast(471132912 [4.711e8]); counterexample: calldata=0x2e69d332000000000000000000000001c6c9c63503e852ac398c4583da016b19db307979 args=[2596381526011701708253047097953094973175255562617 [2.596e48]]
  • test_updateUIMultiplier_revert_effectiveAtTooFar(uint256): Error != expected error: custom error 0x628e600f != EffectiveAtTooFar(18446744073709551616 [1.844e19]); counterexample: calldata=0xfa43acdc0000000000000000000000000000000000000000000000000000000000000000 args=[0]
  • test_updateUIMultiplier_revert_metadataRoleInsufficient(uint256): Error != expected error: custom error 0x628e600f != AccessControlUnauthorizedAccount(0x1D96F2f6BeF1202E4Ce1Ff6Dad0c2CB002861d3e, 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929); counterexample: calldata=0x8e55eaf30000000000000000000000000000000000000000000000000000000000000008 args=[8]
  • test_updateUIMultiplier_revert_pendingUpdateExists(uint256,uint256): custom error 0x628e600f; counterexample: calldata=0x118ebc9f000000000000000000000000000000000000000000000000000000000000003800000000000000000000000000000000000000000000000000000000000a11ce args=[56, 659918 [6.599e5]]
  • test_updateUIMultiplier_revert_unauthorized(address,uint256): Error != expected error: custom error 0x628e600f != AccessControlUnauthorizedAccount(0x969688bcbba2f81b97bB5c01B2fedb6d6e2c7c67, 0x97667070c54ef182b0f5858b034beac1b6f3089aa2d3188bb1e8929f4fa9b929); counterexample: calldata=0x3b75c884000000000000000000000000969688bcbba2f81b97bb5c01b2fedb6d6e2c7c67000000a4d817a3e73a2f3f2e5e223bb196cbfa4932052e3554b7584cf239cf4e args=[0x969688bcbba2f81b97bB5c01B2fedb6d6e2c7c67, 4444188433446656271883061058266531612892595000345416139329931776216910 [4.444e69]]
  • test_updateUIMultiplier_success_emitsEvent(uint256,uint256): log != expected log; counterexample: calldata=0x6fb2ac3a00000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000002d355fbcbd96526a52c59ed15a50577 args=[2, 3755774582894053416244775249126950263 [3.755e36]]
  • test_updateUIMultiplier_success_lazyFlipAtBoundary(uint256): custom error 0x628e600f; counterexample: calldata=0xd55bc7fe000000000000000000000000000000000000000000000000000000017a846129 args=[6350463273 [6.35e9]]
    [FAIL: Error != expected error: InternalCallFailed(0x3248d4ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff) != panic: arithmetic underflow or overflow (0x11)] test_announce_innerPanic_propagatesRaw() (gas: 99348)
    [FAIL: Error != expected error: custom error 0x2c97a0f0 != UIMultiplierUpdateDoesNotExist()] test_cancelUIMultiplierUpdate_revert_noPending() (gas: 45690)
    [FAIL: Error != expected error: custom error 0x628e600f != InvalidMultiplier()] test_updateUIMultiplier_revert_zeroMultiplier() (gas: 45884)
    [FAIL: Error != expected error: custom error 0xf916d81b != InvalidReceiver(0x0000000000000000000000000000000000000000)] test_seizeWithMemo_revertOrder_zeroReceiver_beats_zeroSender() (gas: 44718)
    [FAIL: UnsupportedPolicyType(0xbf15b19caf5c77422c038bc25f26b8b815c3a14f6d04c6616076b81bcfe07b3d)] test_seizePolicyIdsSlot_success_decodesReceiverLane() (gas: 12548)
    [FAIL: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed)] test_b20Layout_success_populatedSnapshotMatchesAllSlots() (gas: 618346)
    [FAIL: UnsupportedPolicyType(0xedb5da348cfb67af08746d3afd1be81034b50d5c8576f31aff688f39dfd540ed)] test_seizePolicyIdsSlot_success_decodesExemptLane() (gas: 12527)
    [FAIL: custom error 0x01ffc9a7] test_supportsInterface_success_claimedIds() (gas: 5221)
    [FAIL: custom error 0x54309870] test_maxCompositeChildPolicies_success() (gas: 2586)
    [FAIL: custom error 0x628e600f] test_b20AssetLayout_success_populatedSnapshotMatchesAllSlots() (gas: 71310)
    [FAIL: custom error 0x628e600f] test_reorder_success_cancelThenScheduleInOneBracket() (gas: 45458)
    [FAIL: custom error 0x628e600f] test_updateMultiplier_success_clearsLivePending() (gas: 45462)
    [FAIL: custom error 0x628e600f] test_updateMultiplier_success_clearsMaturedPendingNoCancelEvent() (gas: 45463)
    [FAIL: custom error 0x628e600f] test_updateUIMultiplier_success_materializesMaturedPending() (gas: 45484)
    [FAIL: custom error 0x6fdd1491] test_compositePolicyChildIds_success_returnsCreationSet() (gas: 157901)
    [FAIL: custom error 0x6fdd1491] test_compositePolicyChildIds_success_tracksUpdateComposite() (gas: 184939)
    [FAIL: custom error 0x785c0cf0] test_maxUIMultiplier_success_equalsUint128Max() (gas: 5192)
    [FAIL: custom error 0x7c40df74] test_compositePolicyChildIds_success_emptyAfterFailedCreation() (gas: 133182)
    [FAIL: custom error 0xb31da27f] test_SEIZE_RECEIVER_POLICY_success_matchesExpected() (gas: 5119)
    [FAIL: custom error 0xb3ae29f7] test_minCompositeChildPolicies_success() (gas: 2519)
    [FAIL: custom error 0xfeb346ec] test_SEIZE_EXEMPT_POLICY_success_matchesExpected() (gas: 5185)
    [FAIL: custom error 0xfeb346ec] test_seizeExemptPolicy_success_renamedFromSeizeHolder() (gas: 5187)
    [FAIL: isPaused must still accept enum index 3 (SEIZE)] test_isPaused_revert_noFifthFeature() (gas: 9532)

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.

1 participant