Policy client · Newton Explorer

Revision 4 is superseded. Every attestation minted against 0x19ef800b…f9fb was revoked when revision 5 landed on 2026-10-15 — regardless of its expiry block, because the client’s policyId no longer matches. Tasks created under it still replay correctly: each one carries this exact set as its own frozen snapshot. See revision 6, the current set →

POLICY ID

0x19ef800b…f9fb

REVISION

4 of 6

POLICIES

1 of 8

DISTINCT

RESPONSE EXPIRY

300 blocks

CHAIN

Sepolia

TASKS · 24H

—

ALLOW RATE

—

Every policy must allowFail-closed, and no short-circuit: every policy is evaluated even after one has denied, and a single denial denies the intent. The response expires 300 blocks after its reference block — the shortest expireAfter in the set, on slot 0.

Policies — 1

one Rego + WASM pair per slot

0
0xe3c043a6039ac44c69f23e2db5ad09e96f220c50 0xe3c0…0c50not in factory registry300 blocksbounds set expiry
wasmnone — pure Regorego
— rules— denyno WASMspecHash 0xff7bd91a…
hooknot in schema0xfa2b8f045eb50cc6f8e13e82e10a41ef45732880
sheetnot in schemahttps://docs.google.com/spreadsheets/d/1lT3cmztG7dxTgnNDiVZjbE84UHtKogH07W6XWnbJd2Y/gviz/tq?tqx=out:csv
max_age_snot in schema600
swap_selectornot in schema0x9d555cf7
threshold_hexnot in schema0000000000000000000000000000000000000000000000000000000000000000
deposit_selectornot in schema0xf08a814e
policyParams — 327 bytes on chain
0x7b22737761705f73656c6563746f72223a2230783964353535636637222c226465706f7369745f73656c6563746f72223a2230786630386138313465222c227468726573686f6c645f686578223a2230303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030303030222c227368656574223a2268747470733a2f2f646f63732e676f6f676c652e636f6d2f7370726561647368656574732f642f316c5433636d7a744737647854676e4e4469565a6a624538345548744b6f67483037573658576e624a6432592f6776697a2f74713f7471783d6f75743a637376222c22686f6f6b223a22307866613262386630343565623530636336663865313365383265313061343165663435373332383830222c226d61785f6167655f73223a3630307d

Each module is evaluated against its own input — {"params": <this slot’s policyParams>, "wasm": <this slot’s WASM output>}. There is no shared data.wasm object and no cross-slot namespace, so slot 1 cannot read slot 0’s WASM output and a policy cannot be written to depend on its neighbours.

SET IDENTITY

policyId0x19ef800b96e09d63078a8af7f945ac16f24cdcfacd21610ac98c067f97f8f9fb

POLICY_SET_DOMAINkeccak256("newton.policy.set")

chainId11155111

policyClient0xfa2b8f045eb50cc6f8e13e82e10a41ef45732880

revision4

policies0xe3c0…0c50@300

Task managerreads getPolicies() at task creation, then never again

policyId = keccak256(abi.encode(POLICY_SET_DOMAIN, chainId, client, revision, policies)), where policies is the complete ordered array with each entry’s parameters and expiry. Order is part of it, so a reorder alone is a new id.

WHAT A TASK FREEZES

A task carries this exact ordered set as its own snapshot, plus one WASM input per slot. Response validation reads that snapshot and never re-reads the client, so reconfiguring mid-flight cannot change what an in-flight task means — and replay proves it by recomputing the policyId over the snapshot and comparing against the task’s own.

The bound is MAX_POLICIES = 8, enforced on chain and mirrored in the operator, the enclave and the proof guest. An oversize set is rejected, never truncated, and an empty one is rejected too — there is no vacuous allow.

Tasks under revision 4

50 of 64 matchingExport CSV JSON

Task	Sender	Policy	Function	Signers	Result	Age
0x3e05b63d…	0xfb9f…0c0f		0x66756e6374696f6e207377617028616464726573732063757272656e6379302c20616464726573732063757272656e6379312c2075696e743234206665652c20696e743234207469636b53706163696e672c20626f6f6c207a65726f466f724f6e652c20626f6f6c206578616374496e7075742c2075696e7432353620616d6f756e742c2075696e74313630207371727450726963654c696d697458393629		NON-COMPLIANT	5d 12h
0x42c6ac3f…	0x7442…a36e	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 12h
0xfd98bbd9…	0x7442…a36e	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 12h
0xefbb55e6…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 12h
0x8ac0622d…	0xf232…2aa8	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 12h
0x22c42165…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 12h
0xdec7c99c…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 13h
0xadf7ed57…	0xf880…49a3	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 13h
0x20da05f2…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 13h
0xf4577235…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 13h
0xbaecd12b…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 13h
0x7e5becde…	0x20c4…4864	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 13h
0x9bc860d2…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 13h
0x2e5374c0…	0xccba…e763	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 13h
0x0e6bd75b…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 13h
0xc824173a…	0x7442…a36e	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 13h
0xc07c0075…	0x7442…a36e	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	NON-COMPLIANT	5d 13h
0xa9d16c85…	0x885c…92a5	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 14h
0x2d260080…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 14h
0x61491c5c…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 14h
0x639d8de5…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 14h
0x42c4bbd2…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 14h
0x083bb1c2…	0x17ea…6cef	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 14h
0xc2fdb208…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	5d 15h
0x8ba200cc…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	5d 15h
0x026a4cd0…	0xd813…aea0	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	5d 15h
0xfdf69f82…	0x95bb…07a0	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 4h
0xc6b69b73…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 4h
0x7697f089…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 4h
0xaa078c52…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 4h
0xa3704766…	0xf92d…16cd	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 4h
0x2e992f7d…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 4h
0xbe7aeeab…	0xefdc…4121	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 5h
0x783ce11b…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 5h
0x2ae6e933…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 5h
0xe3140b68…	0x0710…951a	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 5h
0xe0342220…	0x0710…951a	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	NON-COMPLIANT	6d 5h
0x9de952b2…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 5h
0x50ed3961…	0x185c…9445	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 5h
0x263056b9…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 5h
0x12dd4b24…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 5h
0xf8e08575…	0x3b2d…1533	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 6h
0x81376562…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 6h
0x0ebb80c8…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 6h
0x6b69739a…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 6h
0xb51acbd8…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 6h
0xa20ad836…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	COMPLIANT	6d 6h
0x6ba533da…	0xa497…aeb2	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 6h
0xde04cb37…	0x6631…d098	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function swap(address currency0, address currency1, uint24 fee, int24 tickSpacing, bool zeroForOne, bool exactInput, uint256 amount, uint160 sqrtPriceLimitX96)	2	NON-COMPLIANT	6d 7h
0x9f7e59ed…	0xfb9f…0c0f	0xe3c043a6039ac44c69f23e2db5ad09e96f220c50	function addLiquidity(address currency0, address currency1, uint24 fee, int24 tickSpacing, int24 tickLower, int24 tickUpper, uint256 liquidity)	2	COMPLIANT	6d 7h

The export carries one row per task with the frozen policy set in slot order, and it is the complete filtered history rather than this page. It has no per-policy verdict column: TaskResponse.allowed is a single boolean for the whole set, so which policy denied a task is in no record.

0xfa2b…2880revision 4 · superseded

Policies — 1

Tasks under revision 4