The engine compiles Idaho'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
- 52 rules, 17 sources, 25 proofs, 5 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
8cba6e7c8fb5a3762b01755526f7ab0b46b9981903ec2846d275f3d67507bcbd
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 ID-EXAM-1 exam_payment - Idaho Code 19-5303
R1 ID-EXAM-2 exam_payment - Idaho Code 72-1019(2)
R2 ID-EXAM-3 exam_no_bill - CVCP Sexual Assault Forensics Examinations page
R3 ID-EXAM-4 exam_payment - CVCP FAQ, Will you bill my insurance?
R4 ID-EXAM-5 exam_no_bill - Idaho Code 72-1026(2)
R5 ID-CAP-1 total_cap - Idaho Code 72-1019(5)(a)
R6 ID-CAP-1B total_cap - CVCP Benefits You May Be Eligible For page
R7 ID-CAP-2 expense_cap counseling per claim Idaho Code 72-1019(5)(b)
R8 ID-CAP-4 expense_cap lost_wages per week Idaho Code 72-1019(1)
R9 ID-CAP-6 expense_cap lost_wages per claim Idaho Code 72-1019(7)(c)
R10 ID-CAP-7 expense_cap funeral per claim Idaho Code 72-1019(4)
R11 ID-COV-1 covered medical Idaho Code 72-1019(2)
R12 ID-COV-2 covered counseling Idaho Code 72-1019(2)
R13 ID-COV-3 covered transportation Idaho Code 72-1019(10)
R14 ID-COV-4 covered forensic_exam CVCP FAQ, What benefits are offered by CVCP?
R15 ID-COV-5 covered other CVCP Sexual Assault Forensics Examinations page, Billing
R16 ID-COV-6 covered dental CVCP FAQ, What benefits are offered by CVCP? (Medical)
R17 ID-COV-7 covered prescription CVCP FAQ, What benefits are offered by CVCP? (Medical)
R18 ID-EXCL-1 excluded property_replacement Idaho Code 72-1019(6)
R19 ID-EXCL-2 excluded - Idaho Code 72-1019(6)
R20 ID-EXCL-3 info - excluded_expense CVCP FAQ, Mental Health
R21 ID-EXCL-4 info - excluded_expense IDAPA 17.10.01.013.06
R22 ID-EXCL-5 info - excluded_expense CVCP FAQ, What is Restitution?
R23 ID-DEADLINE-1 deadline - from crime Idaho Code 72-1016(1)
R24 ID-REPORT-1 reporting - Idaho Code 72-1016(3)
R25 ID-REPORT-2 info - reporting_requirement Adult Sexual Assault Forensic Examination Reimbursement Application, page 1
R26 ID-REPORT-3 reporting - Idaho Code 72-1016(4)
R27 ID-COLL-1 collateral - Idaho Code 72-1016(5)
R28 ID-CONDUCT-1 info - conduct_reduction Idaho Code 72-1016(7)(a)
R29 ID-CONDUCT-2 info - conduct_reduction Idaho Code 72-1016(7)(b)
R30 ID-CONDUCT-3 info - conduct_reduction Idaho Code 72-1016(4)
R31 ID-EMERG-1 info - emergency_award Idaho Code 72-1017
R32 ID-CRIME-1 info - eligible_crime Idaho Code 72-1003(7)
R33 ID-CRIME-2 info - eligible_crime CVCP FAQ, Does the offender have to be convicted?
R34 ID-CRIME-3 info - eligible_crime CVCP Sexual Assault Forensics Examinations page, Applying for CVCP
R35 ID-RES-1 info - residency Idaho Code 72-1003(4)(a)
R36 ID-SUBMIT-1 info - submission Application for Compensation, page 4, submission box
R37 ID-SUBMIT-2 info - submission Application for Compensation, page 4, submission box
R38 ID-SUBMIT-3 info - submission Application for Compensation, page 4, submission box
R39 ID-DOC-1 info - required_document Application for Compensation, page 4, submission box
R40 ID-DOC-2 info - required_document Application for Compensation, page 2, Claimant Information
R41 ID-DOC-3 info - required_document Complete an Application page, Out of Pocket Expenses
R42 ID-DOC-4 info - required_document Sexual Assault Forensics Examinations page, provider documentation list
R43 ID-DOC-5 info - required_document Sexual Assault Forensics Examinations page, provider documentation list
R44 ID-DOC-6 info - required_document Sexual Assault Forensics Examinations page, provider documentation list
R45 ID-DOC-7 info - required_document Complete an Application page, Mental Health
R46 ID-DOC-8 info - required_document IDAPA 17.10.01.013.07.b
R47 ID-TIME-1 info - processing_time FAQ, What happens after my application is received?
R48 ID-ACP-1 info - address_confidentiality Address Confidentiality Program page, introduction
R49 ID-REC-1 info - record_confidentiality Idaho Code 72-1007
R50 ID-CAP-3 skipped - expense_cap Idaho Code 72-1019(9)(b)
R51 ID-CAP-5 skipped - expense_cap Idaho Code 72-1019(7)(a)
.tags phone=bit0, pain_suffering=bit1
.sources
S0 ID-S1 sha256 4060afc57fb1e651 https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1003
S1 ID-S2 sha256 e0270a8ab1f59a88 https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1016
S2 ID-S3 sha256 4906cbde63c3db0c https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1017
S3 ID-S4 sha256 45187b34c5e7f615 https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1019
S4 ID-S5 sha256 ff437fae8bfb1809 https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1026
S5 ID-S6 sha256 aea91b2abc830a22 https://legislature.idaho.gov/statutesrules/idstat/Title19/T19CH53/SECT19-5303
S6 ID-S7 sha256 8b2df84ea15fd1ca https://adminrules.idaho.gov/rules/current/17/171001.pdf
S7 ID-S8 sha256 c660b2ab88a370db https://crimevictimcomp.idaho.gov/sexual-assault-forensics-examinations/
S8 ID-S9 sha256 6a668b4a61477a01 https://crimevictimcomp.idaho.gov/frequently-asked-questions/
S9 ID-S10 sha256 6977ad772ae97cd8 https://crimevictimcomp.idaho.gov/file-a-claim/
S10 ID-S11 sha256 3dcce5f912ecc40e https://crimevictimcomp.idaho.gov/wp-content/uploads/2026/06/CVCP-Application-for-Compensation_20260630.pdf
S11 ID-S12 sha256 6e72368a85c85e45 https://crimevictimcomp.idaho.gov/benefits/
S12 ID-S13 sha256 362087d213892705 https://crimevictimcomp.idaho.gov/wp-content/uploads/2026/04/SAE-Reimbursement-Form-4-14-26.pdf
S13 ID-S14 sha256 0c318dd23d77c215 https://legislature.idaho.gov/statutesrules/idstat/Title72/T72CH10/SECT72-1007
S14 ID-S15 sha256 1e5eb0c002fa598c https://legislature.idaho.gov/statutesrules/idstat/Title19/T19CH57/SECT19-5703
S15 ID-S16 sha256 93196e499d0d9fd0 https://sos.idaho.gov/acp/
S16 ID-S17 sha256 a78bc19cb7f5c38c https://legislature.idaho.gov/statutesrules/idstat/Title19/T19CH57/SECT19-5701
.proofs
P0 ()
P1 (ID-EXAM-3, ID-EXAM-5, ID-EXAM-1, ID-EXAM-2, ID-EXAM-4)
P2 (ID-EXCL-2)
P3 (ID-COV-1)
P4 (ID-COV-1, ID-COLL-1)
P5 (ID-CAP-2, ID-COV-2)
P6 (ID-CAP-2, ID-COV-2, ID-COLL-1)
P7 (ID-CAP-5)
P8 (ID-CAP-4, ID-CAP-6)
P9 (ID-CAP-4, ID-CAP-6, ID-COLL-1)
P10 (ID-COV-3)
P11 (ID-COV-3, ID-COLL-1)
P12 (ID-EXCL-1)
P13 (ID-EXCL-1, ID-EXCL-2)
P14 (ID-COV-7)
P15 (ID-COV-7, ID-COLL-1)
P16 (ID-COV-6)
P17 (ID-COV-6, ID-COLL-1)
P18 (ID-CAP-7)
P19 (ID-CAP-7, ID-COLL-1)
P20 (ID-COV-5)
P21 (ID-COV-5, ID-COLL-1)
P22 (ID-DEADLINE-1)
P23 (ID-REPORT-1, ID-REPORT-3)
P24 (ID-EXCL-3, ID-EXCL-4, ID-EXCL-5, ID-REPORT-2, ID-COLL-1, ID-CONDUCT-1, ID-CONDUCT-2, ID-CONDUCT-3, ID-EMERG-1, ID-CRIME-1, ID-CRIME-2, ID-CRIME-3, ID-RES-1, ID-SUBMIT-1, ID-SUBMIT-2, ID-SUBMIT-3, ID-DOC-1, ID-DOC-2, ID-DOC-3, ID-DOC-4, ID-DOC-5, ID-DOC-6, ID-DOC-7, ID-DOC-8, ID-TIME-1, ID-ACP-1, ID-REC-1)
.ints
K0 17500
K1 250000
K2 2000000
K3 500000
K4 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 L22
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L22
case temporary_housing -> L22
case security -> L22
case crime_scene_cleanup -> L22
case childcare -> L22
case property_replacement -> L26
case clothing_bedding -> L22
case prescription -> L33
case dental -> L38
case funeral -> L43
case legal -> L22
case tuition -> L22
case other -> L48
case unknown -> L22
0068 L0: push 0
006d decide out_of_window, P0
0071 ret
0072 L1: push 0
0077 decide held, P1
007b ret
007c L2: push 0
0081 str r0
0083 ldi tags
0085 push 2
008a and
008b jz L3
0090 ldr r0
0092 push 1
0097 or
0098 str r0
009a L3: ldr r0
009c switch 2, default L5
case 0 -> L5
case 1 -> L4
00aa L4: push 0
00af decide excluded, P2
00b3 ret
00b4 L5: ldi confirmed
00b6 jnz L6
00bb push 0
00c0 decide needs_confirmation, P3
00c4 ret
00c5 L6: ldi amount_cents
00c7 decide eligible, P4
00cb lda
00cc ldi insurance_paid_cents
00ce subs
00cf push 0
00d4 max
00d5 seta collateral, R27
00d9 ret
00da L7: push 0
00df str r0
00e1 ldi tags
00e3 push 2
00e8 and
00e9 jz L8
00ee ldr r0
00f0 push 1
00f5 or
00f6 str r0
00f8 L8: ldr r0
00fa switch 2, default L10
case 0 -> L10
case 1 -> L9
0108 L9: push 0
010d decide excluded, P2
0111 ret
0112 L10: ldi confirmed
0114 jnz L11
0119 push 0
011e decide needs_confirmation, P5
0122 ret
0123 L11: ldi amount_cents
0125 decide eligible, P6
0129 lda
012a ldi insurance_paid_cents
012c subs
012d push 0
0132 max
0133 seta collateral, R27
0137 ret
0138 L12: push 0
013d str r0
013f ldi tags
0141 push 2
0146 and
0147 jz L13
014c ldr r0
014e push 1
0153 or
0154 str r0
0156 L13: ldr r0
0158 switch 2, default L15
case 0 -> L15
case 1 -> L14
0166 L14: push 0
016b decide excluded, P2
016f ret
0170 L15: alts P7
0173 ldi confirmed
0175 jnz L16
017a push 0
017f decide needs_confirmation, P8
0183 ret
0184 L16: ldi amount_cents
0186 decide eligible, P9
018a lda
018b ldi insurance_paid_cents
018d subs
018e push 0
0193 max
0194 seta collateral, R27
0198 ret
0199 L17: push 0
019e str r0
01a0 ldi tags
01a2 push 2
01a7 and
01a8 jz L18
01ad ldr r0
01af push 1
01b4 or
01b5 str r0
01b7 L18: ldr r0
01b9 switch 2, default L20
case 0 -> L20
case 1 -> L19
01c7 L19: push 0
01cc decide excluded, P2
01d0 ret
01d1 L20: ldi confirmed
01d3 jnz L21
01d8 push 0
01dd decide needs_confirmation, P10
01e1 ret
01e2 L21: ldi amount_cents
01e4 decide eligible, P11
01e8 lda
01e9 ldi insurance_paid_cents
01eb subs
01ec push 0
01f1 max
01f2 seta collateral, R27
01f6 ret
01f7 L22: push 0
01fc str r0
01fe ldi tags
0200 push 2
0205 and
0206 jz L23
020b ldr r0
020d push 1
0212 or
0213 str r0
0215 L23: ldr r0
0217 switch 2, default L25
case 0 -> L25
case 1 -> L24
0225 L24: push 0
022a decide excluded, P2
022e ret
022f L25: push 0
0234 decide unknown_rule, P0
0238 ret
0239 L26: push 0
023e str r0
0240 ldi tags
0242 push 1
0247 and
0248 jz L27
024d ldr r0
024f push 1
0254 or
0255 str r0
0257 L27: ldi tags
0259 push 2
025e and
025f jz L28
0264 ldr r0
0266 push 2
026b or
026c str r0
026e L28: ldr r0
0270 switch 4, default L32
case 0 -> L32
case 1 -> L29
case 2 -> L30
case 3 -> L31
0286 L29: push 0
028b decide excluded, P12
028f ret
0290 L30: push 0
0295 decide excluded, P2
0299 ret
029a L31: push 0
029f decide excluded, P13
02a3 ret
02a4 L32: push 0
02a9 decide unknown_rule, P0
02ad ret
02ae L33: push 0
02b3 str r0
02b5 ldi tags
02b7 push 2
02bc and
02bd jz L34
02c2 ldr r0
02c4 push 1
02c9 or
02ca str r0
02cc L34: ldr r0
02ce switch 2, default L36
case 0 -> L36
case 1 -> L35
02dc L35: push 0
02e1 decide excluded, P2
02e5 ret
02e6 L36: ldi confirmed
02e8 jnz L37
02ed push 0
02f2 decide needs_confirmation, P14
02f6 ret
02f7 L37: ldi amount_cents
02f9 decide eligible, P15
02fd lda
02fe ldi insurance_paid_cents
0300 subs
0301 push 0
0306 max
0307 seta collateral, R27
030b ret
030c L38: push 0
0311 str r0
0313 ldi tags
0315 push 2
031a and
031b jz L39
0320 ldr r0
0322 push 1
0327 or
0328 str r0
032a L39: ldr r0
032c switch 2, default L41
case 0 -> L41
case 1 -> L40
033a L40: push 0
033f decide excluded, P2
0343 ret
0344 L41: ldi confirmed
0346 jnz L42
034b push 0
0350 decide needs_confirmation, P16
0354 ret
0355 L42: ldi amount_cents
0357 decide eligible, P17
035b lda
035c ldi insurance_paid_cents
035e subs
035f push 0
0364 max
0365 seta collateral, R27
0369 ret
036a L43: push 0
036f str r0
0371 ldi tags
0373 push 2
0378 and
0379 jz L44
037e ldr r0
0380 push 1
0385 or
0386 str r0
0388 L44: ldr r0
038a switch 2, default L46
case 0 -> L46
case 1 -> L45
0398 L45: push 0
039d decide excluded, P2
03a1 ret
03a2 L46: ldi confirmed
03a4 jnz L47
03a9 push 0
03ae decide needs_confirmation, P18
03b2 ret
03b3 L47: ldi amount_cents
03b5 decide eligible, P19
03b9 lda
03ba ldi insurance_paid_cents
03bc subs
03bd push 0
03c2 max
03c3 seta collateral, R27
03c7 ret
03c8 L48: push 0
03cd str r0
03cf ldi tags
03d1 push 2
03d6 and
03d7 jz L49
03dc ldr r0
03de push 1
03e3 or
03e4 str r0
03e6 L49: ldr r0
03e8 switch 2, default L51
case 0 -> L51
case 1 -> L50
03f6 L50: push 0
03fb decide excluded, P2
03ff ret
0400 L51: ldi confirmed
0402 jnz L52
0407 push 0
040c decide needs_confirmation, P20
0410 ret
0411 L52: ldi amount_cents
0413 decide eligible, P21
0417 lda
0418 ldi insurance_paid_cents
041a subs
041b push 0
0420 max
0421 seta collateral, R27
0425 ret
.aggregate
0000 each lost_wages, L4
0006 L0: ldi unit
0008 push 2
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, R8
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R8
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each counseling, 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, R7
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, R7
0092 L8: next L5
0097 L9: push 0
009c str r0
009e push 0
00a3 str r1
00a5 each lost_wages, 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 funeral, 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 str r0
0142 push 0
0147 str r1
0149 each all, L24
014f L20: ldr r1
0151 jnz L22
0156 ldr r0
0158 lda
0159 adds
015a ldk K4
015d gt
015e jz L21
0163 ldk K4
0166 ldr r0
0168 subs
0169 cap total_cap, R5
016d push 1
0172 str r1
0174 L21: ldr r0
0176 lda
0177 adds
0178 str r0
017a jmp L23
017f L22: push 0
0184 cap total_cap, R5
0188 L23: next L20
018d L24: push 0
0192 check minimum_loss, P0
0196 ldx incident_date
0198 push 365
019d adds
019e dup
019f setdate
01a0 ldx as_of_date
01a2 ge
01a3 jz L25
01a8 push 0
01ad jmp L26
01b2 L25: push 1
01b7 L26: check deadline, P22
01bb ldx police_report
01bd push 1
01c2 eq
01c3 jnz L28
01c8 ldx police_report
01ca push 0
01cf eq
01d0 jnz L27
01d5 push 3
01da jmp L29
01df L27: push 1
01e4 jmp L29
01e9 L28: push 0
01ee L29: check reporting, P23
01f2 info P24
01f5 ret