The engine compiles Illinois'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
- 57 rules, 9 sources, 32 proofs, 4 ints, 317 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
c8a6f882cd891e8a811cd6e9a26457502a5d2c6c111c9cf227e35b1e3296892e
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 IL-EXAM-1 exam_no_bill - 410 ILCS 70/7.5(a)(1)
R1 IL-EXAM-2 exam_payment - 410 ILCS 70/7(a)(2)
R2 IL-EXAM-3 exam_payment - 410 ILCS 70/7(a)(3)
R3 IL-EXAM-4 exam_payment - 410 ILCS 70/7.5(a-5)
R4 IL-EXAM-5 exam_payment - 410 ILCS 70/7.5(b)
R5 IL-EXAM-6 exam_payment - 410 ILCS 70/7(a)(4)
R6 IL-EXAM-7 exam_payment - 410 ILCS 70/1a (text in effect before P.A. 104-837, eff. 1-1-27
R7 IL-WAGE-1 expense_cap lost_wages per month 740 ILCS 45/2(h)(14)
R8 IL-LEGAL-1 expense_cap legal per claim 740 ILCS 45/2(h)(19)
R9 IL-FUNERAL-1 expense_cap funeral per claim 740 ILCS 45/2(h)(16)
R10 IL-TOW-1 expense_cap other per claim 740 ILCS 45/2(h)(4)
R11 IL-COV-MED covered medical 740 ILCS 45/2(h)(1)
R12 IL-COV-COUNS covered counseling 740 ILCS 45/2(h)(1)
R13 IL-COV-TRANS covered transportation 740 ILCS 45/2(h)(2)
R14 IL-COV-RELO covered relocation 740 ILCS 45/2(h)(7)
R15 IL-COV-SEC covered security 740 ILCS 45/2(h)(8)
R16 IL-COV-CLOTH covered clothing_bedding 740 ILCS 45/2(h)(6)
R17 IL-COV-CLEAN covered crime_scene_cleanup 740 ILCS 45/2(h)(10)
R18 IL-COV-TUIT covered tuition 740 ILCS 45/2(h)(13)
R19 IL-COV-PROS covered other 740 ILCS 45/2(h)(3)
R20 IL-COV-DENTAL covered dental Crime Victims Compensation FAQ by Sexual Assault Victims, What types of expenses may the Crime Victims Compensation Program pay?
R21 IL-EXCL-1 excluded property_replacement 740 ILCS 45/2(h)
R22 IL-EXCL-2 info - excluded_expense Crime Victims Compensation FAQ by Sexual Assault Victims, What types of expenses cannot be paid
R23 IL-EXCL-3 info - excluded_expense Crime Victims Compensation Program guide, Do I get the money for compensation?
R24 IL-EXCL-4 info - excluded_expense Crime Victims Compensation FAQ by Sexual Assault Victims, What types of expenses may the Crime Victims Compensation Program pay?
R25 IL-DEAD-1 deadline - from crime 740 ILCS 45/6.1(a)
R26 IL-DEAD-2 info - filing_deadline 740 ILCS 45/6.1(a)
R27 IL-REPORT-1 reporting - 740 ILCS 45/6.1(b) (text in effect before P.A. 104-563, eff. 1-1-27)
R28 IL-REPORT-2 reporting - 740 ILCS 45/6.1(b-1) (text in effect before P.A. 104-563, eff. 1-1-27)
R29 IL-REPORT-3 reporting - 740 ILCS 45/6.1(b-2) (text in effect before P.A. 104-563, eff. 1-1-27)
R30 IL-REPORT-4 reporting - 740 ILCS 45/6.1(c) (text in effect before P.A. 104-563, eff. 1-1-27)
R31 IL-REPORT-5 reporting - 740 ILCS 45/6.1(c) (same text before and after P.A. 104-563, eff. 1-1-27)
R32 IL-COLL-1 collateral - 740 ILCS 45/10.1(g)
R33 IL-COLL-2 collateral - 740 ILCS 45/10.1(g)
R34 IL-CONDUCT-1 info - conduct_reduction 740 ILCS 45/10.1(d)
R35 IL-CONDUCT-2 info - conduct_reduction 740 ILCS 45/2.5
R36 IL-CONDUCT-3 info - conduct_reduction 740 ILCS 45/2.5
R37 IL-CONDUCT-4 info - conduct_reduction 740 ILCS 45/10.1(d-2)
R38 IL-EMERG-1 info - emergency_award 740 ILCS 45/10.2(a) (text in effect before P.A. 104-563, eff. 1-1-27)
R39 IL-CRIME-1 info - eligible_crime Crime Victims Compensation Program guide, What violent crimes are compensable (citing 740 ILCS 45/2(c))
R40 IL-CRIME-2 info - eligible_crime Crime Victims Compensation FAQ by Sexual Assault Victims, Who is eligible?
R41 IL-RES-1 info - residency 740 ILCS 45/2(d)(1)
R42 IL-RES-2 info - residency 740 ILCS 45/2(d)(6)
R43 IL-SUBMIT-ONLINE info - submission FAQ by Sexual Assault Victims (Rev. 01/25), closing paragraph
R44 IL-SUBMIT-EMAIL info - submission AG Crime Victim Compensation page, Crime Victim Compensation Application section
R45 IL-SUBMIT-MAIL info - submission Application (Rev. 12/2024), Application Instructions, page 1
R46 IL-DOC-POLICE info - required_document Application (Rev. 12/2024), Application Instructions, Documents
R47 IL-DOC-PROTECT info - required_document Application (Rev. 12/2024), Application Instructions, Documents
R48 IL-DOC-BILLS info - required_document Application (Rev. 12/2024), Section 4, Medical Information & Benefits
R49 IL-DOC-RECEIPTS info - required_document Compensation guide (Rev. 11/24), What proof of my expenses should I keep?
R50 IL-DOC-GUARDIAN info - required_document Application (Rev. 12/2024), Section 1
R51 IL-DOC-RESIDENCE info - required_document Compensation guide (Rev. 11/24), definition of Dwelling
R52 IL-DOC-USEFORCE info - required_document Application (Rev. 12/2024), Section 2, Use of Force Claims
R53 IL-ACP-1 info - address_confidentiality Illinois AG ACP page, opening paragraph
R54 IL-RECCONF-1 info - record_confidentiality 740 ILCS 45/4.2
R55 IL-CAP-1 skipped - total_cap 740 ILCS 45/10.1(f)
R56 IL-CAP-2 skipped - total_cap 740 ILCS 45/10.1(f)
.tags pain_suffering=bit0, phone=bit1
.sources
S0 IL-S1 sha256 b3a1f7f8b39f594e https://www.ilga.gov/Legislation/ILCS/Articles?ActID=2028&ChapterID=57
S1 IL-S2 sha256 fd34aef942798ccc https://www.ilga.gov/Legislation/ILCS/Articles?ActID=1531&ChapterID=35
S2 IL-S3 sha256 65434136c307eecc https://www.illinoisattorneygeneral.gov/safer-communities/supporting-victims-of-crime/crime-victim-compensation/
S3 IL-S4 sha256 a3cbbf29230e15ed https://illinoisattorneygeneral.gov/Page-Attachments/CVCompensationGuide.pdf
S4 IL-S5 sha256 bb578393419b9247 https://illinoisattorneygeneral.gov/Page-Attachments/CVApplicationEnglish.pdf
S5 IL-S6 sha256 48d7ffa9f5490d26 https://www.ilsos.gov/departments/court-of-claims/victims.html
S6 IL-S7 sha256 ffa43cf9df25b331 https://illinoisattorneygeneral.gov/Page-Attachments/CVFAQbySexualAssaultVictims.pdf
S7 IL-S8 sha256 fb312bc7feefc48c https://www.ilga.gov/Legislation/ILCS/Articles?ActID=2101&ChapterID=59
S8 IL-S9 sha256 8b442c5fb782a06f https://illinoisattorneygeneral.gov/safer-communities/supporting-victims-of-crime/address-confidentiality-program/
.proofs
P0 ()
P1 (IL-EXAM-1, IL-EXAM-2, IL-EXAM-3, IL-EXAM-4, IL-EXAM-5, IL-EXAM-6, IL-EXAM-7)
P2 (IL-COV-MED)
P3 (IL-COV-MED, IL-COLL-1, IL-COLL-2)
P4 (IL-COV-COUNS)
P5 (IL-COV-COUNS, IL-COLL-1, IL-COLL-2)
P6 (IL-WAGE-1)
P7 (IL-WAGE-1, IL-COLL-1, IL-COLL-2)
P8 (IL-COV-TRANS)
P9 (IL-COV-TRANS, IL-COLL-1, IL-COLL-2)
P10 (IL-COV-RELO)
P11 (IL-COV-RELO, IL-COLL-1, IL-COLL-2)
P12 (IL-COV-SEC)
P13 (IL-COV-SEC, IL-COLL-1, IL-COLL-2)
P14 (IL-COV-CLEAN)
P15 (IL-COV-CLEAN, IL-COLL-1, IL-COLL-2)
P16 (IL-EXCL-1)
P17 (IL-COV-CLOTH)
P18 (IL-COV-CLOTH, IL-COLL-1, IL-COLL-2)
P19 (IL-COV-DENTAL)
P20 (IL-COV-DENTAL, IL-COLL-1, IL-COLL-2)
P21 (IL-FUNERAL-1)
P22 (IL-FUNERAL-1, IL-COLL-1, IL-COLL-2)
P23 (IL-LEGAL-1)
P24 (IL-LEGAL-1, IL-COLL-1, IL-COLL-2)
P25 (IL-COV-TUIT)
P26 (IL-COV-TUIT, IL-COLL-1, IL-COLL-2)
P27 (IL-TOW-1, IL-COV-PROS)
P28 (IL-TOW-1, IL-COV-PROS, IL-COLL-1, IL-COLL-2)
P29 (IL-DEAD-1)
P30 (IL-REPORT-1, IL-REPORT-2, IL-REPORT-3, IL-REPORT-4, IL-REPORT-5)
P31 (IL-EXCL-2, IL-EXCL-3, IL-EXCL-4, IL-DEAD-2, IL-COLL-1, IL-COLL-2, IL-CONDUCT-1, IL-CONDUCT-2, IL-CONDUCT-3, IL-CONDUCT-4, IL-EMERG-1, IL-CRIME-1, IL-CRIME-2, IL-RES-1, IL-RES-2, IL-SUBMIT-ONLINE, IL-SUBMIT-EMAIL, IL-SUBMIT-MAIL, IL-DOC-POLICE, IL-DOC-PROTECT, IL-DOC-BILLS, IL-DOC-RECEIPTS, IL-DOC-GUARDIAN, IL-DOC-RESIDENCE, IL-DOC-USEFORCE, IL-ACP-1, IL-RECCONF-1)
.ints
K0 240000
K1 350000
K2 1000000
K3 100000
.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 L12
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L10
case temporary_housing -> L12
case security -> L13
case crime_scene_cleanup -> L15
case childcare -> L12
case property_replacement -> L17
case clothing_bedding -> L21
case prescription -> L12
case dental -> L23
case funeral -> L25
case legal -> L27
case tuition -> L29
case other -> L31
case unknown -> L12
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, R32
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, R32
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, R32
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, R32
0113 ret
0114 L10: ldi confirmed
0116 jnz L11
011b push 0
0120 decide needs_confirmation, P10
0124 ret
0125 L11: ldi amount_cents
0127 decide eligible, P11
012b lda
012c ldi insurance_paid_cents
012e subs
012f push 0
0134 max
0135 seta collateral, R32
0139 ret
013a L12: push 0
013f decide unknown_rule, P0
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, R32
0169 ret
016a L15: ldi confirmed
016c jnz L16
0171 push 0
0176 decide needs_confirmation, P14
017a ret
017b L16: ldi amount_cents
017d decide eligible, P15
0181 lda
0182 ldi insurance_paid_cents
0184 subs
0185 push 0
018a max
018b seta collateral, R32
018f ret
0190 L17: push 0
0195 str r0
0197 ldi tags
0199 push 3
019e and
019f jz L18
01a4 ldr r0
01a6 push 1
01ab or
01ac str r0
01ae L18: ldr r0
01b0 switch 2, default L20
case 0 -> L20
case 1 -> L19
01be L19: push 0
01c3 decide excluded, P16
01c7 ret
01c8 L20: push 0
01cd decide unknown_rule, P0
01d1 ret
01d2 L21: ldi confirmed
01d4 jnz L22
01d9 push 0
01de decide needs_confirmation, P17
01e2 ret
01e3 L22: ldi amount_cents
01e5 decide eligible, P18
01e9 lda
01ea ldi insurance_paid_cents
01ec subs
01ed push 0
01f2 max
01f3 seta collateral, R32
01f7 ret
01f8 L23: ldi confirmed
01fa jnz L24
01ff push 0
0204 decide needs_confirmation, P19
0208 ret
0209 L24: ldi amount_cents
020b decide eligible, P20
020f lda
0210 ldi insurance_paid_cents
0212 subs
0213 push 0
0218 max
0219 seta collateral, R32
021d ret
021e L25: ldi confirmed
0220 jnz L26
0225 push 0
022a decide needs_confirmation, P21
022e ret
022f L26: ldi amount_cents
0231 decide eligible, P22
0235 lda
0236 ldi insurance_paid_cents
0238 subs
0239 push 0
023e max
023f seta collateral, R32
0243 ret
0244 L27: ldi confirmed
0246 jnz L28
024b push 0
0250 decide needs_confirmation, P23
0254 ret
0255 L28: ldi amount_cents
0257 decide eligible, P24
025b lda
025c ldi insurance_paid_cents
025e subs
025f push 0
0264 max
0265 seta collateral, R32
0269 ret
026a L29: ldi confirmed
026c jnz L30
0271 push 0
0276 decide needs_confirmation, P25
027a ret
027b L30: ldi amount_cents
027d decide eligible, P26
0281 lda
0282 ldi insurance_paid_cents
0284 subs
0285 push 0
028a max
028b seta collateral, R32
028f ret
0290 L31: ldi confirmed
0292 jnz L32
0297 push 0
029c decide needs_confirmation, P27
02a0 ret
02a1 L32: ldi amount_cents
02a3 decide eligible, P28
02a7 lda
02a8 ldi insurance_paid_cents
02aa subs
02ab push 0
02b0 max
02b1 seta collateral, R32
02b5 ret
.aggregate
0000 each lost_wages, L4
0006 L0: ldi unit
0008 push 6
000d eq
000e jz L2
0013 ldi units
0015 push 0
001a gt
001b jz L2
0020 ldk K0
0023 ldi units
0025 muls
0026 dup
0027 lda
0028 lt
0029 jz L1
002e cap unit_cap, R7
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R7
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each legal, L9
0059 L5: ldr r1
005b jnz L7
0060 ldr r0
0062 lda
0063 adds
0064 ldk K1
0067 gt
0068 jz L6
006d ldk K1
0070 ldr r0
0072 subs
0073 cap expense_cap, R8
0077 push 1
007c str r1
007e L6: ldr r0
0080 lda
0081 adds
0082 str r0
0084 jmp L8
0089 L7: push 0
008e cap expense_cap, R8
0092 L8: next L5
0097 L9: push 0
009c str r0
009e push 0
00a3 str r1
00a5 each funeral, L14
00ab L10: ldr r1
00ad jnz L12
00b2 ldr r0
00b4 lda
00b5 adds
00b6 ldk K2
00b9 gt
00ba jz L11
00bf ldk K2
00c2 ldr r0
00c4 subs
00c5 cap expense_cap, R9
00c9 push 1
00ce str r1
00d0 L11: ldr r0
00d2 lda
00d3 adds
00d4 str r0
00d6 jmp L13
00db L12: push 0
00e0 cap expense_cap, R9
00e4 L13: next L10
00e9 L14: push 0
00ee str r0
00f0 push 0
00f5 str r1
00f7 each other, L19
00fd L15: ldr r1
00ff jnz L17
0104 ldr r0
0106 lda
0107 adds
0108 ldk K3
010b gt
010c jz L16
0111 ldk K3
0114 ldr r0
0116 subs
0117 cap expense_cap, R10
011b push 1
0120 str r1
0122 L16: ldr r0
0124 lda
0125 adds
0126 str r0
0128 jmp L18
012d L17: push 0
0132 cap expense_cap, R10
0136 L18: next L15
013b L19: push 0
0140 check minimum_loss, P0
0144 ldx incident_date
0146 push 1826
014b adds
014c dup
014d setdate
014e ldx as_of_date
0150 ge
0151 jz L20
0156 push 0
015b jmp L21
0160 L20: push 1
0165 L21: check deadline, P29
0169 ldx police_report
016b push 1
0170 eq
0171 jnz L23
0176 ldx forensic_exam
0178 jnz L23
017d ldx police_report
017f push 0
0184 eq
0185 jnz L22
018a push 3
018f jmp L24
0194 L22: push 1
0199 jmp L24
019e L23: push 0
01a3 L24: check reporting, P30
01a7 info P31
01aa ret