forked from CredenceOrg/Credence-Contracts
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathfunctions.txt
More file actions
2782 lines (2782 loc) · 184 KB
/
Copy pathfunctions.txt
File metadata and controls
2782 lines (2782 loc) · 184 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
accept_ownership
accept_ownership_rejected_when_caller_is_not_pending_owner
accept_ownership_succeeds_when_pending_owner_authorizes
accept_upgrade_admin
acquire_lock
action_strategy
active_delegation_passes
active_revocation_always_allowed
add
add_admin
add_admin_rejects_authorization_for_different_arguments
add_attestation
add_attestation_batch
add_attestation_rejected_when_attester_is_not_registered
add_attestation_succeeds_when_registered_attester_authorizes
add_attestations
add_claims
add_depositor
add_i128
add_pending_claim
add_signer
add_signers
add_slash_records
add_to_cumulative
add_verifier
add_verifier_role
admin_can_deactivate_verifier
admin_can_update_and_read_grace_period
admin_function
admin_rotated_schema_matches
advance
advance_keeper_cursor
advance_ledger_sequence
advance_nonce_to
advance_sequence
advance_time
all_signers
all_variants
all_variants_count_is_consistent_with_enum_definition
allowance
append_slash_history
apply
apply_renewal
approve
approve_pause_proposal
approve_upgrade_proposal
approve_withdrawal
approved_by_is_scoped_to_supplied_signers
arbitrary_with
arbitrator_registered_schema_matches
arm_attack
as_admin
as_bond
as_num
assert_all_bond_invariants
assert_all_invariants
assert_all_invariants_for_subject
assert_attack_rejected
assert_attestation_count_consistent
assert_attestation_weight_sum_non_negative
assert_bond_invariants
assert_bonded_non_negative
assert_budget_under
assert_invariant
assert_invariants
assert_notice_period_bounded
assert_pause_invariant
assert_pause_snapshot
assert_pinned
assert_replay_matches
assert_self_consistent
assert_self_consistent_for_subject
assert_slashed_non_negative
assert_slashed_within_bonded
assert_tier
assert_withdrawal_request_requires_rolling
atomic_transfer_and_update
attack_attempted
attack_rejected
attest
attestation_boundary_weight_max
attestation_boundary_weight_min
attestation_dedup_key_equality
attestation_is_active
attestation_validate_accepts_empty_data
attestation_validate_accepts_valid
attestation_validate_rejects_over_max_weight
attestation_validate_rejects_too_long_data
attestation_validate_rejects_zero_weight
attestation_weight_sum
attestation_weight_validation_accepts_valid
attestation_weight_validation_rejects_over_max
attestation_weight_validation_rejects_zero
authorized_upgraders
balance
base64_value
batch_create_cost
below_threshold_excluded
bond_created_v1_schema_matches
bond_created_v2_schema_matches
bond_drift_attestation_count_mismatch_emits_event
bond_drift_attestation_count_mismatch_panics
bond_drift_detected_schema_matches
bond_drift_slashed_over_bonded_emits_structured_event
bond_drift_slashed_over_bonded_panics_with_invariant_violation
bond_increased_v1_schema_matches
bond_increased_v2_schema_matches
bond_invariants_pass_for_well_formed_bond
bond_liquidated_schema_matches
bond_rejects_fee_on_transfer_token_on_create
bond_slashed_v1_schema_matches
bond_slashed_v2_schema_matches
bond_withdrawn_v1_schema_matches
bond_withdrawn_v2_schema_matches
bonded_amount_never_decreases_from_top_up
bool
boundary_double_invalidation_still_rejects_old_nonces
boundary_first_valid_nonce_accepted
boundary_invalidate_by_one
boundary_invalidate_max_span_succeeds
boundary_invalidate_over_max_span_fails
boundary_last_invalidated_nonce_rejected
boundary_non_monotone_invalidation_fails
boundary_post_invalidation_nonce_consumed_once
bps
bps_denominator_is_ten_thousand
bps_matches_legacy_formula
bps_max_rate_full_amount
bps_one_percent_of_ten_thousand
bps_round_up
bps_round_up_uses_wide_intermediate
bps_round_up_zero_bps
bps_ten_percent_of_one_million
bps_u64
bps_u64_boundaries
bps_u64_matches_legacy_formula
bps_zero_rate_returns_zero
budget_add_attestation_max_prior_attestations
budget_add_attestation_max_size_payload
budget_add_attestation_normal
budget_collect_fees
budget_create_bond_non_rolling
budget_create_bond_rolling
budget_extend_duration
budget_regression_guard_fails
budget_renew_if_rolling
budget_request_withdrawal
budget_slash
budget_slash_bond
budget_slash_bond_max_slash
budget_slash_then_withdraw_interaction
budget_top_up
budget_top_up_large_amount
budget_withdraw_after_lockup
budget_withdraw_bond_partial
budget_withdraw_bond_rolling_after_notice
budget_withdraw_early
bug_exploration_a_bonded_3_slashed_2_threshold_6667
bug_exploration_b_bonded_10001_slashed_5001_threshold_5001
bug_exploration_c_bonded_7_slashed_3_threshold_4286
build_valid_batch
build_verifier_key
bump_delegation_ttl
bump_instance_ttl
bump_nonce_ttl
calculate_fee
calculate_penalty
calculate_penalty_ceil
can_normalize_safely
can_withdraw
can_withdraw_after_notice
cancel_dispute
cancel_dispute_by_admin_succeeds
cancel_dispute_by_creator_succeeds
cancel_dispute_rejected_when_stranger_calls
cancel_drain
cancel_emergency_drain
cancel_operation
cancel_rejects_executed_operation_with_typed_error
cancel_upgrade_admin_transfer
capture
category
ceil_div_checked_i128
ceil_div_i128
ceil_div_i128_bonded_one
ceil_div_i128_differs_from_floor_by_one_on_remainder
ceil_div_i128_divisor_one_is_identity
ceil_div_i128_exact_division
ceil_div_i128_inner_add_overflows
ceil_div_i128_just_under_overflow_succeeds
ceil_div_i128_known_pairs
ceil_div_i128_large_divisor_overflows
ceil_div_i128_large_values
ceil_div_i128_off_by_one_boundary
ceil_div_i128_zero_numerator
chained_calls_produce_contiguous_non_overlapping_chunks
chaos_injection_1_slash_bond_callback_panic_reverts_state
chaos_injection_2_withdraw_bond_callback_panic_reverts_state
chaos_injection_3_collect_fees_callback_panic_reverts_fees
chaos_injection_4_missing_admin_key_slash_bond_fails
chaos_injection_4b_missing_admin_key_bond_state_unchanged
chaos_injection_5_missing_bond_key_withdraw_fails
chaos_injection_6_slash_exceeds_bond_rejected_state_unchanged
chaos_injection_7_reentrancy_guard_blocks_double_lock
chaos_injection_8_rolling_bond_notice_period_not_elapsed
chaos_injection_9a_chaos_token_transfer_panic
chaos_injection_9a_chaos_token_transfer_recovery
chaos_injection_9b_chaos_token_balance_read_failure
chaos_injection_9c_chaos_token_transfer_from_panic
chaos_validation_guard_absent_double_call_succeeds_without_guard
check_and_record
check_attestation_count_consistent
check_bond_slashed_within_bonded
check_delegation_active
check_lock
check_payload_age
check_role_at_ledger
checked_add_i128
checked_add_or_error
checked_div_leverage
checked_mul_i128
chunked_iter
claim_by_id
claim_counter
claim_counter_starts_at_zero
claim_ids_are_strictly_increasing
claimable_amount
clamp_lower_bound_first_unit_above_floor
clamp_lower_bound_pins_at_default
clamp_set_attester_stake_rejects_negative
clamp_upper_bound_exact_config_max_passes_through
clamp_upper_bound_host_cap_wins_over_config_max
clamp_upper_bound_pins_at_config_max
cleanup_expired
cleanup_expired_claims
collect_fees
compute_key
compute_weight
compute_weight_exact_boundary_no_remainder
compute_weight_formula_floor_division
compute_weight_is_deterministic
compute_weight_zero_stake_returns_default
computed_weight
configure_all
configure_weights
constant_time_eq
consume_nonce
contract_paused_schema_matches
contract_spec_version_matches_pinned_manifest
contract_spec_xdr_detects_single_byte_drift
contract_spec_xdr_is_pinned
contract_unpaused_schema_matches
count_active_signatures
count_event_topics
count_v1_tier_events
count_v2_tier_events
count_votes
counter_to_u128
create_batch_bonds
create_bond
create_bond_amount_checked_before_duration
create_bond_duration_checked_before_notice
create_bond_emits_events_in_order
create_bond_no_tier_events_when_tier_unchanged
create_bond_non_rolling_ignores_notice_period
create_bond_rejects_large_negative_amount
create_bond_rejects_negative_amount
create_bond_rejects_notice_greater_than_duration
create_bond_rejects_notice_much_greater_than_duration
create_bond_rejects_overflow_both_max
create_bond_rejects_overflow_on_bond_end
create_bond_rejects_zero_amount
create_bond_rejects_zero_duration
create_bond_rejects_zero_duration_rolling
create_bond_rejects_zero_notice_for_rolling_bond
create_bond_succeeds_when_identity_authorizes
create_bond_valid_max_amount
create_bond_valid_minimum_duration
create_bond_valid_minimum_positive_amount
create_bond_valid_no_overflow_at_boundary
create_bond_valid_non_rolling
create_bond_valid_rolling_minimum_notice
create_bond_valid_rolling_notice_equals_duration
create_bond_valid_rolling_notice_less_than_duration
create_contract
create_dispute
create_dispute_succeeds_when_creator_authorizes
create_test_address
create_test_env
cross_contract_replay_rejected
cross_domain_replay_delegate_payload_in_revoke
cross_domain_replay_delegate_payload_in_revoke_attestation
cross_domain_replay_revoke_payload_in_delegate
cross_namespace_bond_payload_rejected_by_delegated_delegate_without_consuming_nonce
cross_namespace_bond_payload_rejected_by_delegated_revoke_attest_without_consuming_nonce
cross_namespace_bond_payload_rejected_by_delegated_revoke_without_consuming_nonce
cumulative_penalty_fairness
cumulative_to_u256
current_spec_xdr_hex
data_key_fingerprints
datakey_fingerprints_are_pinned
datakey_fingerprints_are_unique
deactivate
deactivate_admin
deactivate_admin_rejected_when_caller_does_not_outrank_target
deactivate_admin_succeeds_when_caller_outranks_target
deactivate_if_exists
deactivate_verifier
deactivate_verifier_prevents_attestation_and_allows_withdrawal
deadline_at_exact_timestamp_accepted
dec
decimals
decode_scheme_safe
deduped_signer_list_strategy
default_baseline_path
default_config_and_missing_stake_use_documented_floors
default_grace_window_is_zero
default_grace_window_provides_post_expiry_buffer
default_scheme
default_weight_is_one
delegate
delegate_payload
delegate_payload_with_scheme
delegate_rejected_when_expiry_is_in_the_past
delegate_succeeds_when_owner_authorizes
delegated_action
delegation_active_at_one_second_before_expiry_passes
delegation_inactive_at_exact_expiry_ledger_rejects
delegation_namespace_replay_rejected_on_add_attestation_without_consuming_bond_nonce
delegation_namespace_replay_rejected_on_revoke_without_consuming_bond_nonce
delegation_status
delegation_ttl
deliberate_divergence_is_caught
denormalize
deposit_fees
deregister_bond_holder
derive_proposal_id
describe_bond
describe_config
description
detect_regressions
diff
discriminant_codes_fit_their_documentated_category_range
discriminant_collision_panic_message_mentions_diagnostic
dispute_cancelled_schema_matches
dispute_created_schema_matches
dispute_resolved_schema_matches
dispute_tied_schema_matches
div_checked_i128
div_i128
div1_tips_at_amount_100_bps_100
div1_tips_when_amount_bps_equals_denominator
div1_zero_bps_always_zero
div1_zero_for_bps_100_amount_99
div1_zero_when_amount_bps_below_denominator
div2_small_remaining_at_moderate_bps
div2_tips_when_charge_remaining_equals_duration
div2_zero_when_charge_remaining_below_duration
do_pause
do_unpause
dropping_topup_event_diverges
dump_pause_storage
dust_split_exploit_unit
early_exit_penalty_full_remaining_equals_base_penalty
early_exit_penalty_matches_direct_bps
early_exit_penalty_regression_vectors
effective_voter
emergency_drain_to_treasury
emit_access_denied
emit_admin_rotated
emit_admin_transfer_completed
emit_admin_transfer_started
emit_bond_created
emit_bond_created_v2
emit_bond_drift_detected
emit_bond_increased
emit_bond_increased_v2
emit_bond_liquidated
emit_bond_slashed
emit_bond_slashed_v2
emit_bond_withdrawn
emit_bond_withdrawn_v2
emit_claim_added
emit_claims_expired
emit_claims_processed
emit_cooldown_cancelled
emit_cooldown_executed
emit_cooldown_period_updated
emit_cooldown_requested
emit_emergency_mode_event
emit_emergency_withdrawal_event
emit_evidence_submitted
emit_fee_event
emit_governance_event
emit_parameter_changed
emit_parameter_updated
emit_penalty_event
emit_registration_event
emit_reputation_event
emit_slashing_event
emit_tier_change_if_needed
emit_unslashing_event
emit_upgrade_admin_transfer_cancelled
emit_upgrade_admin_transfer_completed
emit_upgrade_admin_transfer_started
emit_upgrade_approved
emit_upgrade_auth_granted
emit_upgrade_auth_initialized
emit_upgrade_auth_revoked
emit_upgrade_executed
emit_upgrade_proposed
emit_verifier_registered
empty_claims_with_various_limits_always_returns_empty
empty_set_returns_empty_page_and_none
empty_source_at_nonzero_offset_returns_empty_chunk_and_no_next
empty_source_at_offset_zero_returns_empty_chunk_and_no_next
empty_source_returns_empty_chunk_and_no_next
ensure_accrued
ensure_release_wasm_built
env
env_u64
env_usize
event_name
every_contract_error_variant_has_a_unique_u32_discriminant
exact_divisible_no_regression
exact_divisor_final_chunk_returns_no_next
exactly_at_limit_delegate_is_accepted
execute_delegated_delegate
execute_delegated_revoke
execute_delegated_revoke_attest
execute_drain
execute_operation
execute_pause_proposal
execute_proposal
execute_rejects_already_executed_operation_with_typed_error
execute_rejects_cancelled_operation_with_typed_error
execute_slash_if_approved
execute_upgrade
execute_withdrawal
expected_is_recoverable
expected_tier_for_amount
expected_weight
expire_claims
expire_claims_bounded
expire_proposal
expired_deadline_does_not_consume_nonce_on_add_attestation
expired_deadline_rejected_on_add_attestation
expired_deadline_rejected_on_revoke
expired_delegation_rejects_with_inactive
expires_at
expiry
extend_duration
extend_duration_rejected_when_stranger_calls
extend_duration_succeeds_when_identity_authorizes
fail_drift
fee_and_penalty_use_same_denominator_for_equal_rates
fee_calculation_half_percent
fee_calculation_max_bps_takes_full_amount
fee_calculation_one_percent
fee_math_edge_cases
fingerprints
first_chunk_correct_values_and_has_next
force_approve
fresh_delegate_is_accepted
fresh_env
full_iteration_chunk_larger_than_source
full_iteration_single_element_vec
full_iteration_visits_all_elements
full_nonce_invalidation_rejects_previously_valid_payload
full_withdrawal_two_sources_balances_to_zero
future_ledger_number_is_rejected
future_ts
fuzz_actions_per_iter
fuzz_bond_operations
fuzz_iters
fuzz_rapid_threshold_crossing
fuzz_seed
fuzz_tier_tracks_bonded_amount_under_random_sequences
gen_bool
gen_i128_nonneg
gen_range
gen_range_u64
get_accepted_tokens
get_active_admin_count
get_admin
get_admin_count
get_admin_info
get_admin_role
get_admins_by_role
get_all_admins
get_all_identities
get_approval_count
get_arbitrator_weight
get_arbitrators_page
get_attestation
get_attestation_fee_bps
get_attestation_status
get_attester_stake
get_attester_stake_default_zero
get_authorized_upgraders
get_available_balance
get_balance
get_balance_by_source
get_batch_total_amount
get_bond_code_hash
get_bond_contract
get_bond_status_snapshot
get_bronze_threshold
get_claim_by_id
get_claimable_amount
get_claims_summary
get_config
get_cooldown_period
get_cumulative_by_source
get_cumulative_by_source_u256
get_cumulative_received
get_cumulative_received_u256
get_delegate
get_delegation
get_delegation_summary
get_dispute
get_drain_eta
get_drain_record
get_evidence
get_evidence_count
get_gold_threshold
get_governors
get_grace_window
get_identities_page
get_identity
get_identity_state
get_implementation
get_keeper_cursor
get_latest_drain_id
get_liquidation_treasury
get_liquidation_treasury_unset_returns_none
get_max_leverage
get_min_liquidity
get_min_stake
get_next_claim_id
get_next_slash_id
get_nonce
get_operation
get_owner
get_pause_proposal_state
get_pending_claims
get_pending_claims_count
get_pending_claims_page
get_pending_claims_paginated
get_pending_owner
get_pending_upgrade_admin
get_platinum_threshold
get_privileged_cases
get_proposal
get_proposal_by_legacy_id
get_proposal_evidence
get_proposal_evidence_details
get_proposal_ttl
get_protocol_fee_bps
get_quorum
get_quorum_config
get_record
get_registry_size
get_required_role_to_assign
get_revocation_grace_period
get_role
get_scale_info
get_signature_count
get_signer_count
get_signers
get_silver_threshold
get_slash_cooldown_secs
get_slash_count
get_slash_history
get_slash_history_page
get_slash_record
get_slash_treasury
get_slashed_amount
get_snap_amount
get_snap_bonded
get_subject_attestation_count
get_subject_attestations
get_subject_attestations_page
get_tally
get_threshold
get_tier
get_tier_for_amount
get_tier_rank
get_token
get_total_slashed_from_history
get_transition
get_upgrade_auth
get_upgrade_history
get_upgrade_proposal
get_upgrade_role
get_usdc_network
get_verifier
get_verifier_info
get_vote
get_weight_config
get_weight_config_returns_set_values
get_withdrawal_cooldown_secs
grace_window_accepts_at_exact_grace_end
grace_window_accepts_within_grace
grace_window_applies_to_revoke
grace_window_rejects_one_second_past_grace_end
grace_zero_preserves_hard_cliff_status_and_unlimited_late_revoke
grant_upgrade_auth
handle
happy_path_delegated_delegate_then_revoke
happy_path_delegated_revoke_attestation
has_approved
has_record
has_role_at_least
has_signed
has_token
has_voted
hash_delegated_action
hash_exists
hex
hostile_token_reentry_into_collect_fees_is_rejected
hostile_token_reentry_into_slash_is_rejected
hostile_token_reentry_into_top_up_is_rejected
hostile_token_reentry_into_withdraw_early_is_rejected
hostile_token_reentry_into_withdraw_is_rejected
implementation
in_grace_status_without_authority
increment_drain_seq
increment_seq
info_key
initialize
initialize_governance
initialize_rejected_when_called_twice
initialize_slashed_pool
initialize_succeeds_when_admin_authorizes
initialize_upgrade_auth
initialize_with_registry
inject_attestation_count_drift
inject_slashed_over_bonded
insufficient_role_level_rejects_with_not_admin
invalidate_nonce_range
invalidate_nonce_range_burns_delegation_window_without_cross_namespace_leakage
invalidate_nonce_range_succeeds_when_identity_authorizes
invariants_hold_after_attestations
invariants_hold_after_incremental_slashes
invariants_hold_after_renew
invariants_hold_after_request_then_renew_is_noop
invariants_hold_after_slash_to_full_amount
invariants_hold_after_withdraw_request
invariants_hold_after_withdraw_request_then_slash
invariants_hold_through_full_lifecycle
invoke_transfer_admin
is_active
is_admin
is_approved
is_attester
is_authorized_upgrader
is_base64
is_borrow_frozen
is_cooldown_active
is_depositor
is_expired
is_fee_waived
is_fully_slashed
is_governor
is_hex
is_known
is_liquidated
is_locked
is_operation_executed
is_partial_slash
is_paused
is_period_ended
is_ready
is_ready_boundary_eta_equals_now_exact_tie
is_ready_boundary_eta_max_minus_one_now_max
is_ready_boundary_eta_max_now_max
is_ready_boundary_eta_max_now_max_minus_one
is_ready_boundary_eta_zero_now_nonzero
is_ready_boundary_eta_zero_now_zero
is_ready_boundary_no_panic_exhaustive_pairs
is_ready_boundary_now_one_after_eta
is_ready_boundary_now_one_before_eta
is_ready_boundary_now_zero_eta_nonzero
is_recoverable
is_registered
is_signer
is_token_accepted
is_used
is_valid_bond
is_valid_bond_negative_is_invalid
is_valid_bond_positive_amount
is_valid_bond_zero_is_invalid
is_valid_delegate
is_verifier
is_verifier_active
key_delegate
key_evidence
key_evidence_counter
key_governors
key_hash_exists
key_min_governors
key_next_id
key_proposal
key_proposal_evidence
key_quorum_bps
key_vote
last_bond_drift_event
last_chunk_smaller_than_chunk_size_and_no_next
latest_drain_id
latest_record_id
latest_transition_id
legacy_bps_i128
legacy_bps_u64
legacy_split_bps
limit_is_clamped_to_max_page_limit
liquidate
liquidate_after_withdraw_bond_does_not_set_liquidated_flag
liquidate_after_withdraw_bond_panics
liquidate_expired_at_exact_boundary_succeeds
liquidate_expired_unrenewed_succeeds
liquidate_fully_slashed_succeeds
liquidate_healthy_bond_rejected
liquidate_no_bond_rejected
liquidate_non_admin_rejected
liquidate_one_second_before_expiry_rejected
liquidate_partially_slashed_bond_rejected
liquidate_preserves_slashed_and_bonded_amounts
liquidate_rolling_bond_past_lockup_rejected
liquidate_twice_rejected
liquidate_without_treasury_still_marks_bond_inactive
load_bond
load_delegation
main
make_attestation_data
make_bond
make_delegate_payload
make_env
make_payload
make_vec
many_claims_pagination_boundary_conditions
many_claims_with_remainder_pagination
many_elements_chunk_larger_than_source_returns_whole_vec_and_no_next
many_elements_exact_multiple_final_chunk_has_no_next
many_elements_first_chunk_has_correct_values_and_next_offset
many_elements_full_loop_visits_every_element_exactly_once
many_elements_last_chunk_is_smaller_than_chunk_size_and_has_no_next
many_elements_next_offset_equals_offset_plus_chunk_length
many_elements_offset_beyond_end_returns_empty_chunk_and_no_next
many_elements_zero_chunk_size_falls_back_to_default
mark_delegation_revoked
max_safe_amount
maybe_reenter
measure
measure_all
migrate_v1_to_v2
migration_guard_allows_completed_state
migration_guard_allows_unset_state
migration_guard_rejects_in_progress_state
min_delay_is_one_day
min_delay_seconds
min_delay_seconds_is_86400_one_second_per_ledger
min_stake_key
mint
missing_delegation_rejects_with_not_found
mock_admin
mock_attest
mock_attester
mock_balance
mock_bond_active
mock_bond_owner
mock_deactivate
mock_delegate
mock_depositor
mock_early_exit
mock_execute
mock_get_attestation
mock_get_bond
mock_get_bond_contract
mock_get_delegation
mock_get_identity
mock_init_once
mock_lockup
mock_multisig_execute
mock_nonce
mock_penalty_bps
mock_propose
mock_reactivate
mock_receive_fee
mock_reentrancy
mock_register_bond_contract
mock_register_identity
mock_require_init
mock_revoke
mock_revoke_delegation
mock_rolling
mock_set_threshold
mock_signer
mock_slash
mock_stake
mock_weight
mock_withdrawal_requested
mul_div_down_matches_legacy_bps_formula
mul_div_down_matches_rust_division_for_signed_inputs
mul_div_handles_zero_numerator_and_denom_one
mul_div_i128
mul_div_nearest_rounds_half_ties_away_from_zero
mul_div_panics_only_when_final_positive_result_overflows
mul_div_panics_with_msg_on_zero_denominator
mul_div_rounds_up_on_non_zero_remainder
mul_div_uses_wide_intermediate_when_result_fits
mul_i128
mul_u64
multi_event_tx_ordering_create_bond
must
name
negative_attester_stake_is_rejected
network_key
new
next
next_bool
next_offset_equals_offset_plus_chunk_len
next_proposal_id
next_u64
non_admin_cannot_set_grace_period
non_admin_cannot_set_grace_window
non_admin_setter_is_rejected
nonce_does_not_wrap_around_from_zero_after_consume
nonce_increases_monotonically_after_consume
nonce_increments_after_add_attestation
nonce_increments_after_delegated_delegate
nonce_increments_after_revoke
nonce_invalidation_must_be_monotonic
nonce_invalidation_range_bound_enforced
nonce_never_decreases_after_any_number_of_consumes
nonce_replay_10k_deterministic_sweep
nonce_replay_boundary_first_after_range_accepted
nonce_replay_boundary_last_in_range_rejected
nonce_replay_max_span_succeeds_and_rejects_all_prior_nonces
nonce_replay_over_max_span_panics
nonce_replay_rejected_cross_domain_stale_nonce
nonce_replay_rejected_same_domain
nonce_replay_span_one_rejects_only_nonce
nonce_reuse_rejected_within_grace_window
nonce_starts_at_zero
nonce_triple
nonce_ttl
normalize
not_ready_when_before_eta
number
obj_get
object
offset_beyond_end_returns_empty_chunk_and_no_next
on_collect
on_flash_loan
on_slash
on_withdraw
open_dispute
operator_can_add_admin_after_promotion_to_admin
operator_cannot_add_admin_after_role_revoked_by_deactivation
operator_cannot_add_admin_after_use_before
ops_strategy
oversized_notice_period_is_detected
ownership_transfer_accepted_schema_matches
ownership_transfer_initiated_schema_matches
pages_reassemble_into_full_set_in_order
panic_msg
param_updated_schema_matches
parse_baseline
partial_nonce_invalidation_skips_range_and_allows_next_nonce
pause
pause_approved_schema_matches
pause_proposal_remains_pending_when_approvals_are_below_threshold
pause_signer_set_schema_matches
pause_via_multisig
paused_schema_matches
pending_claims
pending_upgrade_admin
per_source_sum_equals_total_balance
period_end
pick_from_i128
pick_from_u64
previous_snapshot_deserialises_with_new_spec
print_table
process_claims
prop_all_invalidated_nonces_rejected
prop_attestation_batch_count_matches_n_healthy_items
prop_attestation_batch_reverts_atomically_on_duplicate_attester
prop_attestation_batch_reverts_atomically_on_unregistered_attester
prop_attestation_batch_reverts_atomically_on_weight_cap_violation
prop_available_balance_never_negative
prop_between_batch_invariants_hold_across_sequences
prop_multi_event_tx_ordering_matches_emission
prop_negative_slash_rejected
prop_normalize_denormalize_roundtrip
prop_post_invalidation_nonce_accepted
prop_random_deposit_withdraw_invariants
prop_require_within_ttl_boundaries_enforce_strict_expiry
prop_rounding_is_floor_division
prop_signer_list_invariant_across_add_remove
prop_signer_list_length_le_input_length_every_unique_preserved_once
prop_slash_does_not_mutate_bonded_amount
prop_slash_fully_slashed_bond_is_idempotent
prop_slash_monotone_and_capped
prop_sweep_slash_and_tier_invariants
prop_tier_boundary_values_correct
prop_tier_independent_of_identity
prop_tier_is_deterministic
prop_tier_monotone_with_amount
prop_weight_monotonic_non_decreasing_in_stake
prop_weight_respects_effective_clamp
prop_zero_stake_uses_default_weight
property_execute_cooldown_withdrawal_preserved
property_sequential_withdrawals_preserved
property_withdraw_bond_before_lockup_error_preserved
property_withdraw_bond_full_unchanged
property_withdraw_bond_insufficient_balance_error_preserved
property_withdraw_bond_negative_amount_error_preserved
property_withdraw_bond_normal_behavior_preserved
property_withdraw_early_after_lockup_error_preserved
property_withdraw_early_penalty_calculations_preserved
property_zero_amount_withdrawal_preserved
proportional_deduction
proportional_deduction_basic
proportional_deduction_two_source
propose_action
propose_slash
propose_upgrade
propose_withdrawal
proposed_fix_eliminates_div1_dust
proposed_fix_eliminates_div2_dust
proposed_fix_identical_for_exact_divisions
proposed_fix_keeps_zero_for_zero_inputs
proposed_fix_never_below_floor
prune_expired_proposals
put_verifier_info
queue_operation
quorum_not_met_schema_matches
quorum_set_schema_matches
range
raw_action
raw_approval_count
raw_approved
reactivate
reactivate_admin
reactivate_admin_rejected_when_caller_does_not_outrank_target
reactivate_admin_succeeds_when_super_admin_authorizes
reactivation_fails_if_withdrawn_below_min_stake
read_release_wasm
ready_when_now_meets_eta
receive_fee
record_approval
record_attestation_issued
record_attestation_revoked
record_collateral_increase
record_fee
register
register_arbitrator
register_arbitrator_rejected_when_weight_is_negative
register_arbitrator_rejected_when_weight_is_zero
register_arbitrator_succeeds_when_admin_authorizes
register_attester
register_attester_requires_admin_auth
register_attester_succeeds_when_admin_authorizes
register_bond_holder
register_legacy
register_pool
register_trustless
register_verifier
register_verifier_enforces_min_stake
register_verifier_rejected_when_non_admin_calls
register_verifier_top_up_increases_stake
register_verifier_transfers_stake_sets_active
register_verifier_while_active_with_zero_deposit_panics
register_with_stake
regression_bonded_10001_slashed_5001
regression_bonded_3_slashed_2
regression_bonded_7_slashed_3
regression_boundary_table_under_admin_thresholds
regression_boundary_vectors_at_max_weight_threshold
regression_config_max_zero_clamps_to_default
regression_default_weight_config
regression_duration_zero
regression_equal_stake_equal_weight
regression_exact_clean_multiple
regression_floor_just_below_clean_multiple
regression_full_penalty_at_issuance
regression_max_dust_before_penalty_tips
regression_max_penalty_cap
regression_max_penalty_half_remaining
regression_max_range_inputs_do_not_overflow
regression_multiplier_equals_denominator
regression_protocol_cap_enforced_in_compute_weight
regression_rounding_direction_floor_vectors
regression_set_weight_config_clamps_silently
regression_slash_does_not_change_tier
regression_slash_vectors
regression_stored_weight_immutable_after_creation
regression_tier_boundary_vectors
regression_tiny_amount_max_duration