update

zjma · zjma · commit ccf4491f370b · 2026-04-20T14:22:22.000-07:00
diff --git a/aptos-move/framework/aptos-framework/sources/jwks.spec.move b/aptos-move/framework/aptos-framework/sources/jwks.spec.move
@@ -53,6 +53,10 @@ spec aptos_framework::jwks {
         pragma verify = false;
     }
 
+    spec initialize_with_defaults(fx: &signer, providers: vector<OIDCProvider>, patches: vector<Patch>) {
+        pragma verify = false;
+    }
+
     spec try_get_jwk_by_id(provider_jwks: &ProviderJWKs, jwk_id: vector<u8>): Option<JWK> {
         pragma verify_duration_estimate = 80;
     }

Original file line number	Diff line number	Diff line change
`@@ -53,6 +53,10 @@ spec aptos_framework::jwks {`
`53`	`53`	`pragma verify = false;`
`54`	`54`	`}`
`55`	`55`
	`56`	`+ spec initialize_with_defaults(fx: &signer, providers: vector<OIDCProvider>, patches: vector<Patch>) {`
	`57`	`+ pragma verify = false;`
	`58`	`+ }`
	`59`	`+`
`56`	`60`	`spec try_get_jwk_by_id(provider_jwks: &ProviderJWKs, jwk_id: vector<u8>): Option<JWK> {`
`57`	`61`	`pragma verify_duration_estimate = 80;`
`58`	`62`	`}`