The engine compiles Arizona's rules into a law image and runs it as bytecode. Rule ids in the listing link back to the rules above.
- Listing from
- the engine's disassembler, tdis, when the site was built
- Compiled by
- tendc 1.3.0, image format 1.3
- Contents
- 53 rules, 13 sources, 18 proofs, 4 ints, 277 strings
- Compiled from these rules
- Yes. The image names the same SHA-256 as the verified rules above.
- Compiled from the current law IR
- Yes. The image carries the SHA-256 of the IR shown on this page.
- Image SHA-256
96a91fcee1f955a39a9dce72f978e9ea0f2190818bf1abdc6b7bacce98733d01
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 AZ-EXAM-1 exam_payment - A.R.S. 13-1414(A)
R1 AZ-EXAM-2 exam_no_bill - A.R.S. 36-420.02(B)
R2 AZ-EXAM-3 exam_no_bill - A.R.S. 36-420.02(A)
R3 AZ-CAP-1 total_cap - A.A.C. R10-4-108(D)(1)
R4 AZ-CAP-2 expense_cap counseling per claim A.A.C. R10-4-108(D)(5)
R5 AZ-CAP-4 expense_cap transportation per claim A.A.C. R10-4-108(D)(8)
R6 AZ-CAP-5 expense_cap crime_scene_cleanup per claim A.A.C. R10-4-108(D)(7)
R7 AZ-CAP-6 expense_cap funeral per claim A.A.C. R10-4-108(D)(6)
R8 AZ-COV-1 covered medical A.A.C. R10-4-108(C)(1)
R9 AZ-COV-2 covered counseling A.A.C. R10-4-108(C)(4)
R10 AZ-COV-3 covered lost_wages A.A.C. R10-4-108(C)(2)(a)
R11 AZ-COV-4 covered transportation A.A.C. R10-4-108(C)(6)(d)
R12 AZ-COV-5 covered crime_scene_cleanup A.A.C. R10-4-108(C)(5)
R13 AZ-COV-6 covered crime_scene_cleanup A.A.C. R10-4-101(8)(b)
R14 AZ-COV-7 covered transportation A.A.C. R10-4-108(C)(6)(e)
R15 AZ-COV-8 covered medical A.A.C. R10-4-108(C)(1)(a)(i)
R16 AZ-EXC-1 info - excluded_expense ACJC Victim Compensation brochure
R17 AZ-EXC-2 excluded legal A.A.C. R10-4-108(J)
R18 AZ-DEAD-1 deadline - from discovery A.A.C. R10-4-106(A)(7)
R19 AZ-REP-1 reporting - A.A.C. R10-4-106(A)(4)
R20 AZ-REP-2 reporting - A.A.C. R10-4-106(B)
R21 AZ-COLL-1 collateral - A.A.C. R10-4-108(F)(1)
R22 AZ-COND-1 info - conduct_reduction A.A.C. R10-4-108(G)
R23 AZ-EMER-1 info - emergency_award A.A.C. R10-4-111(A)-(C)
R24 AZ-ELIG-1 info - eligible_crime A.A.C. R10-4-101(9)(a)
R25 AZ-RES-1 info - residency A.A.C. R10-4-106(A)(1)
R26 AZ-SUB-1 info - submission ACJC county contact list, Apache County entry
R27 AZ-SUB-2 info - submission ACJC county contact list, Mohave County entry
R28 AZ-SUB-3 info - submission ACJC county contact list, Cochise County entry
R29 AZ-SUB-4 info - submission ACJC county contact list, Navajo County entry
R30 AZ-SUB-5 info - submission ACJC county contact list, Coconino County entry
R31 AZ-SUB-6 info - submission ACJC county contact list, Pima County entry
R32 AZ-SUB-7 info - submission ACJC county contact list, Gila County entry
R33 AZ-SUB-8 info - submission ACJC county contact list, Pinal County entry
R34 AZ-SUB-9 info - submission ACJC county contact list, Graham County entry
R35 AZ-SUB-10 info - submission ACJC county contact list, Santa Cruz County entry
R36 AZ-SUB-11 info - submission ACJC county contact list, Greenlee County entry
R37 AZ-SUB-12 info - submission ACJC county contact list, Yavapai County entry
R38 AZ-SUB-13 info - submission ACJC county contact list, La Paz County entry
R39 AZ-SUB-14 info - submission ACJC county contact list, Yuma County entry
R40 AZ-SUB-15 info - submission Application, page 3 (mail-to box)
R41 AZ-SUB-16 info - submission Victim Compensation section, Application for Crime Victim Compensation
R42 AZ-DOC-1 info - required_document A.A.C. R10-4-107(E)(1)
R43 AZ-DOC-2 info - required_document A.A.C. R10-4-107(E)(1)
R44 AZ-DOC-3 info - required_document A.A.C. R10-4-107(E)(1)
R45 AZ-DOC-4 info - required_document A.A.C. R10-4-107(E)(2)(a)
R46 AZ-DOC-5 info - required_document Application, Section 4, Work Loss Requirement
R47 AZ-DOC-6 info - required_document Application, Section 3, travel expenses box
R48 AZ-DOC-7 info - required_document Application, page 3
R49 AZ-DOC-8 info - required_document A.A.C. R10-4-107(E)(3)
R50 AZ-TIME-1 info - processing_time A.A.C. R10-4-108(A)
R51 AZ-ACP-1 info - address_confidentiality Arizona SOS About ACP page, opening paragraph
R52 AZ-CAP-3 skipped - expense_cap A.A.C. R10-4-108(D)(4)(a)
.sources
S0 AZ-S1 sha256 362f1cceb99da2a3 https://www.azleg.gov/ars/41/02407.htm
S1 AZ-S2 sha256 a9ca5d250ca062f9 https://www.azleg.gov/ars/13/01414.htm
S2 AZ-S3 sha256 a69cf44aa5e4d5ed https://apps.azsos.gov/public_services/Title_10/10-04.pdf
S3 AZ-S4 sha256 70dbc27b83e347b5 https://www.azcjc.gov/Programs/Victim-Services/Compensation-Program
S4 AZ-S6 sha256 85267c26e39fc9ce https://www.azcjc.gov/Portals/0/Documents/pubs/VC_English_Brochure.pdf
S5 AZ-S7 sha256 269fd549bf7ef2f8 https://www.azcjc.gov/Portals/0/Documents/pubs/VC_APP_June_2015_FINAL.pdf
S6 AZ-S8 sha256 cfb5ee2d6d9d3b91 https://www.azleg.gov/ars/36/00420-02.htm
S7 AZ-S9 sha256 87ef846dfc223c3c https://www.azcjc.gov/Portals/0/Documents/pubs/Victim_Comp_Contact_List.pdf
S8 AZ-S10 sha256 fa6880798f58a2a5 https://maricopacountyattorney.org/182/Victim-Related-Information
S9 AZ-S11 sha256 792c75aa41d8adb0 https://maricopacountyattorney.org/DocumentCenter/View/120
S10 AZ-S12 sha256 cf8035b2a260e73b https://azsos.gov/services/address-confidentiality-program/eligibility-enrollment
S11 AZ-S13 sha256 c114ddf575419446 https://azsos.gov/services/address-confidentiality-program/about-acp
S12 AZ-S14 sha256 20923b8bee194d9e https://www.pinal.gov/1709/Crime-Victim-Compensation-Board-Meetings
.proofs
P0 ()
P1 (AZ-EXAM-2, AZ-EXAM-3, AZ-EXAM-1)
P2 (AZ-COV-1, AZ-COV-8)
P3 (AZ-COV-1, AZ-COV-8, AZ-COLL-1)
P4 (AZ-CAP-2, AZ-COV-2)
P5 (AZ-CAP-2, AZ-COV-2, AZ-COLL-1)
P6 (AZ-COV-3)
P7 (AZ-COV-3, AZ-COLL-1)
P8 (AZ-CAP-4, AZ-COV-4, AZ-COV-7)
P9 (AZ-CAP-4, AZ-COV-4, AZ-COV-7, AZ-COLL-1)
P10 (AZ-CAP-5, AZ-COV-5, AZ-COV-6)
P11 (AZ-CAP-5, AZ-COV-5, AZ-COV-6, AZ-COLL-1)
P12 (AZ-CAP-6)
P13 (AZ-CAP-6, AZ-COLL-1)
P14 (AZ-EXC-2)
P15 (AZ-DEAD-1)
P16 (AZ-REP-1, AZ-REP-2)
P17 (AZ-EXC-1, AZ-COLL-1, AZ-COND-1, AZ-EMER-1, AZ-ELIG-1, AZ-RES-1, AZ-SUB-1, AZ-SUB-2, AZ-SUB-3, AZ-SUB-4, AZ-SUB-5, AZ-SUB-6, AZ-SUB-7, AZ-SUB-8, AZ-SUB-9, AZ-SUB-10, AZ-SUB-11, AZ-SUB-12, AZ-SUB-13, AZ-SUB-14, AZ-SUB-15, AZ-SUB-16, AZ-DOC-1, AZ-DOC-2, AZ-DOC-3, AZ-DOC-4, AZ-DOC-5, AZ-DOC-6, AZ-DOC-7, AZ-DOC-8, AZ-TIME-1, AZ-ACP-1)
.ints
K0 500000
K1 200000
K2 1000000
K3 2500000
.item
0000 ldi date
0002 ldx incident_date
0004 lt
0005 jnz L0
000a ldi date
000c ldx as_of_date
000e gt
000f jnz L0
0014 ldi expense
0016 switch 19, default L10
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L10
case temporary_housing -> L10
case security -> L10
case crime_scene_cleanup -> L11
case childcare -> L10
case property_replacement -> L10
case clothing_bedding -> L10
case prescription -> L10
case dental -> L10
case funeral -> L13
case legal -> L15
case tuition -> L10
case other -> L10
case unknown -> L10
0068 L0: push 0
006d decide out_of_window, P0
0071 ret
0072 L1: push 0
0077 decide held, P1
007b ret
007c L2: ldi confirmed
007e jnz L3
0083 push 0
0088 decide needs_confirmation, P2
008c ret
008d L3: ldi amount_cents
008f decide eligible, P3
0093 lda
0094 ldi insurance_paid_cents
0096 subs
0097 push 0
009c max
009d seta collateral, R21
00a1 ret
00a2 L4: ldi confirmed
00a4 jnz L5
00a9 push 0
00ae decide needs_confirmation, P4
00b2 ret
00b3 L5: ldi amount_cents
00b5 decide eligible, P5
00b9 lda
00ba ldi insurance_paid_cents
00bc subs
00bd push 0
00c2 max
00c3 seta collateral, R21
00c7 ret
00c8 L6: ldi confirmed
00ca jnz L7
00cf push 0
00d4 decide needs_confirmation, P6
00d8 ret
00d9 L7: ldi amount_cents
00db decide eligible, P7
00df lda
00e0 ldi insurance_paid_cents
00e2 subs
00e3 push 0
00e8 max
00e9 seta collateral, R21
00ed ret
00ee L8: ldi confirmed
00f0 jnz L9
00f5 push 0
00fa decide needs_confirmation, P8
00fe ret
00ff L9: ldi amount_cents
0101 decide eligible, P9
0105 lda
0106 ldi insurance_paid_cents
0108 subs
0109 push 0
010e max
010f seta collateral, R21
0113 ret
0114 L10: push 0
0119 decide unknown_rule, P0
011d ret
011e L11: ldi confirmed
0120 jnz L12
0125 push 0
012a decide needs_confirmation, P10
012e ret
012f L12: ldi amount_cents
0131 decide eligible, P11
0135 lda
0136 ldi insurance_paid_cents
0138 subs
0139 push 0
013e max
013f seta collateral, R21
0143 ret
0144 L13: ldi confirmed
0146 jnz L14
014b push 0
0150 decide needs_confirmation, P12
0154 ret
0155 L14: ldi amount_cents
0157 decide eligible, P13
015b lda
015c ldi insurance_paid_cents
015e subs
015f push 0
0164 max
0165 seta collateral, R21
0169 ret
016a L15: push 0
016f decide excluded, P14
0173 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each counseling, L4
0014 L0: ldr r1
0016 jnz L2
001b ldr r0
001d lda
001e adds
001f ldk K0
0022 gt
0023 jz L1
0028 ldk K0
002b ldr r0
002d subs
002e cap expense_cap, R4
0032 push 1
0037 str r1
0039 L1: ldr r0
003b lda
003c adds
003d str r0
003f jmp L3
0044 L2: push 0
0049 cap expense_cap, R4
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each transportation, L9
0066 L5: ldr r1
0068 jnz L7
006d ldr r0
006f lda
0070 adds
0071 ldk K1
0074 gt
0075 jz L6
007a ldk K1
007d ldr r0
007f subs
0080 cap expense_cap, R5
0084 push 1
0089 str r1
008b L6: ldr r0
008d lda
008e adds
008f str r0
0091 jmp L8
0096 L7: push 0
009b cap expense_cap, R5
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each crime_scene_cleanup, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K1
00c6 gt
00c7 jz L11
00cc ldk K1
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R6
00d6 push 1
00db str r1
00dd L11: ldr r0
00df lda
00e0 adds
00e1 str r0
00e3 jmp L13
00e8 L12: push 0
00ed cap expense_cap, R6
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each funeral, L19
010a L15: ldr r1
010c jnz L17
0111 ldr r0
0113 lda
0114 adds
0115 ldk K2
0118 gt
0119 jz L16
011e ldk K2
0121 ldr r0
0123 subs
0124 cap expense_cap, R7
0128 push 1
012d str r1
012f L16: ldr r0
0131 lda
0132 adds
0133 str r0
0135 jmp L18
013a L17: push 0
013f cap expense_cap, R7
0143 L18: next L15
0148 L19: push 0
014d str r0
014f push 0
0154 str r1
0156 each all, L24
015c L20: ldr r1
015e jnz L22
0163 ldr r0
0165 lda
0166 adds
0167 ldk K3
016a gt
016b jz L21
0170 ldk K3
0173 ldr r0
0175 subs
0176 cap total_cap, R3
017a push 1
017f str r1
0181 L21: ldr r0
0183 lda
0184 adds
0185 str r0
0187 jmp L23
018c L22: push 0
0191 cap total_cap, R3
0195 L23: next L20
019a L24: push 0
019f check minimum_loss, P0
01a3 ldx incident_date
01a5 push 730
01aa adds
01ab dup
01ac setdate
01ad ldx as_of_date
01af ge
01b0 jz L25
01b5 push 0
01ba jmp L26
01bf L25: push 1
01c4 L26: note deadline_from_discovery
01c6 check deadline, P15
01ca ldx police_report
01cc push 1
01d1 eq
01d2 jnz L28
01d7 ldx police_report
01d9 push 0
01de eq
01df jnz L27
01e4 push 3
01e9 jmp L29
01ee L27: push 1
01f3 jmp L29
01f8 L28: push 0
01fd L29: check reporting, P16
0201 info P17
0204 ret