The engine compiles Indiana'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
- 47 rules, 25 sources, 26 proofs, 5 ints, 329 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
7f8438a121b700a253ef91ca1f7404600961afdb4e6d48465078ec6217b16234
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 IN-EXAM-1 exam_no_bill - IC 16-21-8-6(f)
R1 IN-EXAM-2 exam_no_bill - IC 5-2-6.1-39(d)
R2 IN-EXAM-4 exam_no_bill - IC 16-21-8-6(a)
R3 IN-EXAM-3 exam_payment - IC 16-21-8-5(a)
R4 IN-CAP-1 total_cap - IC 5-2-6.1-35(a)
R5 IN-CAP-2 expense_cap counseling per claim IC 5-2-6.1-21.1(d)(7)
R6 IN-CAP-3 expense_cap childcare per claim IC 5-2-6.1-21.1(d)(4)
R7 IN-CAP-4 expense_cap funeral per claim IC 5-2-6.1-21.1(d)(6)
R8 IN-COV-1 covered medical IC 5-2-6.1-21.1(d)(1)
R9 IN-COV-2 covered medical IC 5-2-6.1-21.1(h)
R10 IN-COV-3 covered lost_wages IC 5-2-6.1-21.1(d)(2)
R11 IN-COV-4 covered temporary_housing IC 5-2-6.1-21.1(d)(3)
R12 IN-COV-5 covered security IC 5-2-6.1-21.1(d)(9)
R13 IN-COV-6 covered crime_scene_cleanup IC 5-2-6.1-21.1(d)(10)
R14 IN-COV-7 covered prescription IC 5-2-6.1-21.1(d)(1)(B)
R15 IN-COV-8 covered counseling IC 5-2-6.1-21.1(i)
R16 IN-EXCL-1 excluded property_replacement ICJI program page, Non-eligible expenses
R17 IN-EXCL-2 info - excluded_expense ICJI program page, Non-eligible expenses
R18 IN-EXCL-3 info - excluded_expense ICJI program page, Non-eligible expenses
R19 IN-EXCL-4 excluded other ICJI program page, Non-eligible expenses
R20 IN-EXCL-5 info - excluded_expense IC 5-2-6.1-32(e)
R21 IN-DEADLINE-1 deadline - from crime IC 5-2-6.1-16(b)
R22 IN-REPORT-1 reporting - IC 5-2-6.1-17(a)
R23 IN-REPORT-2 reporting - IC 5-2-6.1-17(d)
R24 IN-REPORT-3 reporting - IC 5-2-6.1-20
R25 IN-REPORT-4 reporting - IC 16-21-8-1(a)
R26 IN-MIN-1 minimum_loss - IC 5-2-6.1-21.1(b), (c)
R27 IN-COLL-1 collateral - IC 5-2-6.1-32(a)
R28 IN-COND-1 info - conduct_reduction IC 5-2-6.1-34(b)
R29 IN-COND-2 info - conduct_reduction IC 5-2-6.1-13(c)
R30 IN-EMERG-1 info - emergency_award 203 IAC 1-1-9(k)
R31 IN-CRIME-1 info - eligible_crime ICJI program page, Additional eligibility requirements
R32 IN-CRIME-2 info - eligible_crime IC 5-2-6.1-8(1)
R33 IN-RES-1 info - residency IC 5-2-6.1-12(a)(1), (2)
R34 IN-SUBMIT-1 info - submission Apply for Violent Crime Compensation, File a PDF claim
R35 IN-SUBMIT-2 info - submission Apply for Violent Crime Compensation, File a PDF claim
R36 IN-SUBMIT-3 info - submission Apply for Violent Crime Compensation, File a PDF claim
R37 IN-DOC-1 info - required_document 203 IAC 1-1-4(1)
R38 IN-DOC-2 info - required_document Non-eligible expenses
R39 IN-DOC-3 info - required_document Non-eligible expenses
R40 IN-DOC-4 info - required_document 203 IAC 1-1-4(4)
R41 IN-DOC-5 info - required_document 203 IAC 1-1-4(5)
R42 IN-DOC-6 info - required_document Eligible expenses, loss of support
R43 IN-DOC-7 info - required_document State Form 23776, Eligibility Requirements, item 7
R44 IN-TIME-1 info - processing_time IC 5-2-6.1-43(b)
R45 IN-ACP-1 info - address_confidentiality Attorney General, Address Confidentiality Program page, opening paragraphs
R46 IN-RECORDS-1 info - record_confidentiality IC 5-2-6.1-11.5
.tags cash=bit0, pain_suffering=bit1
.sources
S0 IN-S1 sha256 6c81abaf46b03009 https://www.in.gov/cji/victim-compensation/
S1 IN-S2 sha256 98acdc7b56d92612 https://www.in.gov/cji/victim-compensation/frequently-asked-questions/
S2 IN-S3 sha256 04bc844d429e7743 https://www.in.gov/cji/victim-compensation/files/23776-fill-in-R14-10-21.pdf
S3 IN-S4 sha256 a75e545312d0360f https://www.in.gov/cji/victim-compensation/rights-of-victims-of-sexual-assault/
S4 IN-S5 sha256 6534612e7c0b1850 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-8/
S5 IN-S6 sha256 8ca097c06ad39a62 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-12/
S6 IN-S7 sha256 4a385dd4b77ba7a4 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-13/
S7 IN-S8 sha256 5b3221f27c1506f7 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-16/
S8 IN-S9 sha256 9f3b1917e933853b https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-17/
S9 IN-S10 sha256 b889a25bd914806b https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-20/
S10 IN-S11 sha256 b6eab18c88a8361e https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-21-1/
S11 IN-S12 sha256 7e61d5bebbe8292f https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-32/
S12 IN-S13 sha256 856b01a9365dbde9 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-34/
S13 IN-S14 sha256 ccc046c433fc24c6 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-35/
S14 IN-S15 sha256 c254171281d93ecd https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-39/
S15 IN-S16 sha256 7a97059cf2b10d07 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-43/
S16 IN-S17 sha256 86d4e3292ca91a16 https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-0-5/
S17 IN-S18 sha256 16c0238de5cff517 https://law.justia.com/codes/indiana/title-16/article-21/chapter-8/section-16-21-8-5/
S18 IN-S19 sha256 9d2300c87f2d7225 https://law.justia.com/codes/indiana/title-16/article-21/chapter-8/section-16-21-8-6/
S19 IN-S20 sha256 7fc207a3ef97e4aa https://law.justia.com/codes/indiana/title-16/article-21/chapter-8/section-16-21-8-1/
S20 IN-S21 sha256 9254ec75017d29c3 https://iar.iga.in.gov/latestArticle/203/1
S21 IN-S22 sha256 5f5cc774e51f66b2 https://www.in.gov/cji/victim-compensation/files/Sexual-assault-victims-rights-revised-English.pdf
S22 IN-S23 sha256 e48fab4e31c3c500 https://www.in.gov/attorneygeneral/about-the-office/appeals/victim-services/address-confidentiality-program/
S23 IN-S24 sha256 cb34d185bebf6119 https://law.justia.com/codes/indiana/title-5/article-26-5/chapter-2/section-5-26-5-2-1/
S24 IN-S25 sha256 949eb89d8ee7ad1a https://law.justia.com/codes/indiana/title-5/article-2/chapter-6-1/section-5-2-6-1-11-5/
.proofs
P0 ()
P1 (IN-EXAM-1, IN-EXAM-2, IN-EXAM-4, IN-EXAM-3)
P2 (IN-COV-1, IN-COV-2)
P3 (IN-COV-1, IN-COV-2, IN-COLL-1)
P4 (IN-CAP-2, IN-COV-8)
P5 (IN-CAP-2, IN-COV-8, IN-COLL-1)
P6 (IN-COV-3)
P7 (IN-COV-3, IN-COLL-1)
P8 (IN-COV-4)
P9 (IN-COV-4, IN-COLL-1)
P10 (IN-COV-5)
P11 (IN-COV-5, IN-COLL-1)
P12 (IN-COV-6)
P13 (IN-COV-6, IN-COLL-1)
P14 (IN-CAP-3)
P15 (IN-CAP-3, IN-COLL-1)
P16 (IN-EXCL-1)
P17 (IN-COV-7)
P18 (IN-COV-7, IN-COLL-1)
P19 (IN-CAP-4)
P20 (IN-CAP-4, IN-COLL-1)
P21 (IN-EXCL-4)
P22 (IN-MIN-1)
P23 (IN-DEADLINE-1)
P24 (IN-REPORT-1, IN-REPORT-2, IN-REPORT-3, IN-REPORT-4)
P25 (IN-EXCL-2, IN-EXCL-3, IN-EXCL-5, IN-COLL-1, IN-COND-1, IN-COND-2, IN-EMERG-1, IN-CRIME-1, IN-CRIME-2, IN-RES-1, IN-SUBMIT-1, IN-SUBMIT-2, IN-SUBMIT-3, IN-DOC-1, IN-DOC-2, IN-DOC-3, IN-DOC-4, IN-DOC-5, IN-DOC-6, IN-DOC-7, IN-TIME-1, IN-ACP-1, IN-RECORDS-1)
.ints
K0 300000
K1 100000
K2 500000
K3 1500000
K4 10000
.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 L8
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L8
case temporary_housing -> L9
case security -> L11
case crime_scene_cleanup -> L13
case childcare -> L15
case property_replacement -> L17
case clothing_bedding -> L8
case prescription -> L21
case dental -> L8
case funeral -> L23
case legal -> L8
case tuition -> L8
case other -> L25
case unknown -> L8
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, R27
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, R27
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, R27
00ed ret
00ee L8: push 0
00f3 decide unknown_rule, P0
00f7 ret
00f8 L9: ldi confirmed
00fa jnz L10
00ff push 0
0104 decide needs_confirmation, P8
0108 ret
0109 L10: ldi amount_cents
010b decide eligible, P9
010f lda
0110 ldi insurance_paid_cents
0112 subs
0113 push 0
0118 max
0119 seta collateral, R27
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, R27
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, R27
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, R27
018f ret
0190 L17: push 0
0195 str r0
0197 ldi tags
0199 push 1
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, R27
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, R27
021d ret
021e L25: push 0
0223 str r0
0225 ldi tags
0227 push 2
022c and
022d jz L26
0232 ldr r0
0234 push 1
0239 or
023a str r0
023c L26: ldr r0
023e switch 2, default L28
case 0 -> L28
case 1 -> L27
024c L27: push 0
0251 decide excluded, P21
0255 ret
0256 L28: push 0
025b decide unknown_rule, P0
025f 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, R5
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, R5
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each childcare, 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, R6
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, R6
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each funeral, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K2
00c6 gt
00c7 jz L11
00cc ldk K2
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R7
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, R7
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each all, L19
010a L15: ldr r1
010c jnz L17
0111 ldr r0
0113 lda
0114 adds
0115 ldk K3
0118 gt
0119 jz L16
011e ldk K3
0121 ldr r0
0123 subs
0124 cap total_cap, R4
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 total_cap, R4
0143 L18: next L15
0148 L19: push 0
014d str r0
014f each all, L21
0155 L20: ldr r0
0157 lda
0158 adds
0159 str r0
015b next L20
0160 L21: push 0
0165 str r2
0167 ldr r0
0169 ldk K4
016c ge
016d jnz L22
0172 push 3
0177 ldr r2
0179 max
017a str r2
017c L22: ldr r2
017e check minimum_loss, P22
0182 ldx incident_date
0184 push 180
0189 adds
018a dup
018b setdate
018c ldx as_of_date
018e ge
018f jz L23
0194 push 0
0199 jmp L24
019e L23: push 1
01a3 L24: check deadline, P23
01a7 ldx police_report
01a9 push 1
01ae eq
01af jnz L26
01b4 ldx forensic_exam
01b6 jnz L26
01bb ldx police_report
01bd push 0
01c2 eq
01c3 jnz L25
01c8 push 3
01cd jmp L27
01d2 L25: push 1
01d7 jmp L27
01dc L26: push 0
01e1 L27: check reporting, P24
01e5 info P25
01e8 ret