The engine compiles Minnesota'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
- 56 rules, 15 sources, 28 proofs, 7 ints, 315 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
c3227f7d63c1c0e0ea0b7d976af7fcb680be1c9be3797a3b1f57995cdb0d047c
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 MN-EXAM-1 exam_no_bill - Minn. Stat. 609.35(b)
R1 MN-EXAM-2 exam_no_bill - Minn. Stat. 609.35(b)
R2 MN-EXAM-3 exam_payment - Minn. Stat. 609.35(a)
R3 MN-EXAM-4 exam_payment - Minn. Stat. 609.35(c)
R4 MN-TOTAL-1 total_cap - Minn. Stat. 611A.54(3)
R5 MN-CAP-COUNSELING expense_cap counseling per claim CVRB training slides (10/4/2025), slide 25
R6 MN-CAP-COUNSELING-2 covered counseling Minn. Stat. 611A.52, subd. 8(b)(3)
R7 MN-CAP-RELOCATION expense_cap relocation per claim Minn. Stat. 611A.52, subd. 8(b)(7)
R8 MN-CAP-CLEANUP expense_cap crime_scene_cleanup per claim CVRB training slides (10/4/2025), slide 32
R9 MN-CAP-CHILDCARE expense_cap childcare per hour Minn. Stat. 611A.52, subd. 8(b)(5)
R10 MN-CAP-HEALING expense_cap other per claim CVRB training slides (10/4/2025), slide 26
R11 MN-COV-MEDICAL covered medical Minn. Stat. 611A.52, subd. 8(b)(1)
R12 MN-COV-COUNSELING covered counseling Financial Help brochure (9/24), benefits list
R13 MN-COV-WAGES covered lost_wages Minn. Stat. 611A.52, subd. 8(b)(4)
R14 MN-COV-TRANSPORT covered transportation Mileage Reimbursement Request form
R15 MN-COV-CHILDCARE covered childcare Minn. Stat. 611A.52, subd. 8(b)(5)
R16 MN-EXC-PROPERTY excluded property_replacement Financial Help brochure (9/24), benefits list
R17 MN-EXC-PROPERTY-2 excluded property_replacement Application form (Rev. 5/24), page 1
R18 MN-EXC-SECURITY excluded security CVRB training slides (10/4/2025), slide 33
R19 MN-EXC-CLOTHING excluded clothing_bedding CVRB training slides (10/4/2025), slide 33
R20 MN-EXC-LEGAL excluded legal CVRB training slides (10/4/2025), slide 33
R21 MN-EXC-TUITION excluded tuition Minn. R. 3050.3200, subp. 8
R22 MN-EXC-LEAVE info - excluded_expense Minn. R. 3050.3200, subp. 4
R23 MN-DEADLINE-1 deadline - from discovery Minn. Stat. 611A.53, subd. 2(5)
R24 MN-DEADLINE-2 deadline - from report Minn. Stat. 611A.53, subd. 2
R25 MN-REPORT-1 reporting - Minn. Stat. 611A.53, subd. 2(1)
R26 MN-REPORT-2 reporting - Financial Help brochure (9/24), eligibility requirements
R27 MN-REPORT-3 reporting - Minn. Stat. 611A.53, subd. 2(2)
R28 MN-MIN-1 minimum_loss - Minn. Stat. 611A.53, subd. 2(6)
R29 MN-COLL-1 collateral - Minn. Stat. 611A.54(1)
R30 MN-COLL-2 collateral - Minn. Stat. 611A.52, subd. 5
R31 MN-CONDUCT-1 info - conduct_reduction Minn. Stat. 611A.54(2)
R32 MN-CONDUCT-2 info - conduct_reduction CVRB training slides (10/4/2025), slide 15
R33 MN-EMERG-1 info - emergency_award Minn. Stat. 611A.56, subd. 2(7)
R34 MN-CRIME-1 info - eligible_crime Financial Help brochure (9/24), types of crimes covered
R35 MN-CRIME-2 info - eligible_crime Minn. Stat. 611A.52, subd. 9
R36 MN-RES-1 info - residency CVRB training slides (10/4/2025), slide 9
R37 MN-RES-2 info - residency Minn. Stat. 611A.53, subd. 1b(a)
R38 MN-RES-3 info - residency Minn. Stat. 611A.52, subd. 6(a)(1)
R39 MN-SUBMIT-MAIL info - submission Application Form (Rev. 5/24), page 1, 'Complete and submit to' box
R40 MN-SUBMIT-FAX info - submission Application Form (Rev. 5/24), page 1, 'Complete and submit to' box
R41 MN-SUBMIT-EMAIL info - submission Application Form (Rev. 5/24), page 1, 'Complete and submit to' box
R42 MN-SUBMIT-ONLINE info - submission DPS OJP program page, Apply for reimbursement
R43 MN-DOC-EXPENSES info - required_document Application Form, Instructions
R44 MN-DOC-ITEMIZED info - required_document Application Form, Section 10 (Medical and Dental Expenses)
R45 MN-DOC-EOB info - required_document Application Form, Section 8 (Other Sources of Payment)
R46 MN-DOC-INSCARD info - required_document Application Form, Section 8 (Other Sources of Payment)
R47 MN-DOC-TAXRETURN info - required_document Application Form, Section 9 (Loss of Earnings)
R48 MN-DOC-W9 info - required_document Application Form, Instructions
R49 MN-DOC-RELEASE info - required_document Application Form, Instructions
R50 MN-DOC-SIGNATURE info - required_document Application Form, Section 18 (Victim and Claimant Signatures)
R51 MN-DOC-MILEAGE info - required_document CVRB training slides (10/4/2025), slide 39, Application Instructions
R52 MN-ACP-1 info - address_confidentiality Secretary of State, Safe at Home page, program description
R53 MN-RECORDS-1 info - record_confidentiality Minn. Stat. 611A.57, subd. 6
R54 MN-CAP-WAGES skipped - expense_cap Minn. R. 3050.3200, subp. 5
R55 MN-CAP-WAGES-2 skipped - expense_cap Minn. R. 3050.3200, subp. 6
.tags cash=bit0, pain_suffering=bit1
.sources
S0 MN-S1 sha256 13a94640865baf02 https://www.revisor.mn.gov/statutes/cite/611A.52
S1 MN-S2 sha256 0dbb6ad30d6572d6 https://www.revisor.mn.gov/statutes/cite/611A.53
S2 MN-S3 sha256 649b0c746ba58f08 https://www.revisor.mn.gov/statutes/cite/611A.54
S3 MN-S4 sha256 c8c55eb3f9191664 https://www.revisor.mn.gov/statutes/cite/611A.57
S4 MN-S5 sha256 1ae29ba609cfb5f1 https://www.revisor.mn.gov/statutes/cite/609.35
S5 MN-S6 sha256 e89ed7975d379962 https://www.revisor.mn.gov/rules/3050.3200/
S6 MN-S7 sha256 f1c62fb87f8c1ea1 https://www.revisor.mn.gov/statutes/cite/611A.56
S7 MN-S8 sha256 084866c8228cf86d https://dps.mn.gov/divisions/ojp/for-crime-victims/crime-victim-resources/financial-help/mn-crime-victims-reimbursement-program
S8 MN-S9 sha256 eb20285eccd1b1ce https://assets.dps.mn.gov/files/ojp/Financial-Help-English.pdf
S9 MN-S10 sha256 ce3342a97ca9bfd5 https://assets.dps.mn.gov/files/ojp/Reimbursement%20claim%20form%20%28English%29.pdf
S10 MN-S11 sha256 f8ff6a1f2c295f3c https://assets.dps.mn.gov/files/ojp/Mileage-Reimbursement-Request.pdf
S11 MN-S12 sha256 f5971349d8d8f334 https://assets.dps.mn.gov/files/ojp/MNVAA-2025-CVRB-slides.pdf
S12 MN-S13 sha256 f8364cede92b3735 https://www.revisor.mn.gov/statutes/cite/5B.02
S13 MN-S14 sha256 0753c5671f290d09 https://www.revisor.mn.gov/statutes/cite/5B.03
S14 MN-S15 sha256 eacc15599389ca92 https://www.sos.state.mn.us/safe-at-home/
.proofs
P0 ()
P1 (MN-EXAM-1, MN-EXAM-2, MN-EXAM-3, MN-EXAM-4)
P2 (MN-COV-MEDICAL)
P3 (MN-COV-MEDICAL, MN-COLL-1, MN-COLL-2)
P4 (MN-CAP-COUNSELING, MN-CAP-COUNSELING-2, MN-COV-COUNSELING)
P5 (MN-CAP-COUNSELING, MN-CAP-COUNSELING-2, MN-COV-COUNSELING, MN-COLL-1, MN-COLL-2)
P6 (MN-COV-WAGES)
P7 (MN-COV-WAGES, MN-COLL-1, MN-COLL-2)
P8 (MN-COV-TRANSPORT)
P9 (MN-COV-TRANSPORT, MN-COLL-1, MN-COLL-2)
P10 (MN-CAP-RELOCATION)
P11 (MN-CAP-RELOCATION, MN-COLL-1, MN-COLL-2)
P12 (MN-EXC-SECURITY)
P13 (MN-CAP-CLEANUP)
P14 (MN-CAP-CLEANUP, MN-COLL-1, MN-COLL-2)
P15 (MN-CAP-CHILDCARE, MN-COV-CHILDCARE)
P16 (MN-CAP-CHILDCARE, MN-COV-CHILDCARE, MN-COLL-1, MN-COLL-2)
P17 (MN-EXC-PROPERTY, MN-EXC-PROPERTY-2)
P18 (MN-EXC-PROPERTY-2)
P19 (MN-EXC-CLOTHING)
P20 (MN-EXC-LEGAL)
P21 (MN-EXC-TUITION)
P22 (MN-CAP-HEALING)
P23 (MN-CAP-HEALING, MN-COLL-1, MN-COLL-2)
P24 (MN-MIN-1)
P25 (MN-DEADLINE-1, MN-DEADLINE-2)
P26 (MN-REPORT-1, MN-REPORT-2, MN-REPORT-3)
P27 (MN-EXC-LEAVE, MN-COLL-1, MN-COLL-2, MN-CONDUCT-1, MN-CONDUCT-2, MN-EMERG-1, MN-CRIME-1, MN-CRIME-2, MN-RES-1, MN-RES-2, MN-RES-3, MN-SUBMIT-MAIL, MN-SUBMIT-FAX, MN-SUBMIT-EMAIL, MN-SUBMIT-ONLINE, MN-DOC-EXPENSES, MN-DOC-ITEMIZED, MN-DOC-EOB, MN-DOC-INSCARD, MN-DOC-TAXRETURN, MN-DOC-W9, MN-DOC-RELEASE, MN-DOC-SIGNATURE, MN-DOC-MILEAGE, MN-ACP-1, MN-RECORDS-1)
.ints
K0 300
K1 750000
K2 100000
K3 1000000
K4 150000
K5 5000000
K6 5000
.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 -> L14
case childcare -> L16
case property_replacement -> L18
case clothing_bedding -> L22
case prescription -> L12
case dental -> L12
case funeral -> L12
case legal -> L23
case tuition -> L24
case other -> L25
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, R29
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, R29
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, R29
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, R29
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, R29
0139 ret
013a L12: push 0
013f decide unknown_rule, P0
0143 ret
0144 L13: push 0
0149 decide excluded, P12
014d ret
014e L14: ldi confirmed
0150 jnz L15
0155 push 0
015a decide needs_confirmation, P13
015e ret
015f L15: ldi amount_cents
0161 decide eligible, P14
0165 lda
0166 ldi insurance_paid_cents
0168 subs
0169 push 0
016e max
016f seta collateral, R29
0173 ret
0174 L16: ldi confirmed
0176 jnz L17
017b push 0
0180 decide needs_confirmation, P15
0184 ret
0185 L17: ldi amount_cents
0187 decide eligible, P16
018b lda
018c ldi insurance_paid_cents
018e subs
018f push 0
0194 max
0195 seta collateral, R29
0199 ret
019a L18: push 0
019f str r0
01a1 ldi tags
01a3 push 3
01a8 and
01a9 jz L19
01ae ldr r0
01b0 push 1
01b5 or
01b6 str r0
01b8 L19: ldr r0
01ba switch 2, default L21
case 0 -> L21
case 1 -> L20
01c8 L20: push 0
01cd decide excluded, P17
01d1 ret
01d2 L21: push 0
01d7 decide excluded, P18
01db ret
01dc L22: push 0
01e1 decide excluded, P19
01e5 ret
01e6 L23: push 0
01eb decide excluded, P20
01ef ret
01f0 L24: push 0
01f5 decide excluded, P21
01f9 ret
01fa L25: ldi confirmed
01fc jnz L26
0201 push 0
0206 decide needs_confirmation, P22
020a ret
020b L26: ldi amount_cents
020d decide eligible, P23
0211 lda
0212 ldi insurance_paid_cents
0214 subs
0215 push 0
021a max
021b seta collateral, R29
021f ret
.aggregate
0000 each childcare, L4
0006 L0: ldi unit
0008 push 3
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, R9
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R9
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, R5
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, R5
0092 L8: next L5
0097 L9: push 0
009c str r0
009e push 0
00a3 str r1
00a5 each relocation, 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, R7
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, R7
00e4 L13: next L10
00e9 L14: push 0
00ee str r0
00f0 push 0
00f5 str r1
00f7 each crime_scene_cleanup, 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, R8
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, R8
0136 L18: next L15
013b L19: push 0
0140 str r0
0142 push 0
0147 str r1
0149 each other, 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 expense_cap, R10
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 expense_cap, R10
0188 L23: next L20
018d L24: push 0
0192 str r0
0194 push 0
0199 str r1
019b each all, L29
01a1 L25: ldr r1
01a3 jnz L27
01a8 ldr r0
01aa lda
01ab adds
01ac ldk K5
01af gt
01b0 jz L26
01b5 ldk K5
01b8 ldr r0
01ba subs
01bb cap total_cap, R4
01bf push 1
01c4 str r1
01c6 L26: ldr r0
01c8 lda
01c9 adds
01ca str r0
01cc jmp L28
01d1 L27: push 0
01d6 cap total_cap, R4
01da L28: next L25
01df L29: push 0
01e4 str r0
01e6 each all, L31
01ec L30: ldr r0
01ee lda
01ef adds
01f0 str r0
01f2 next L30
01f7 L31: push 0
01fc str r2
01fe ldr r0
0200 ldk K6
0203 ge
0204 jnz L32
0209 push 4
020e ldr r2
0210 max
0211 str r2
0213 L32: ldr r2
0215 check minimum_loss, P24
0219 ldx incident_date
021b push 1095
0220 adds
0221 ldx incident_date
0223 push 1095
0228 adds
0229 max
022a dup
022b setdate
022c ldx as_of_date
022e ge
022f jz L33
0234 push 0
0239 jmp L34
023e L33: push 1
0243 L34: note deadline_from_report
0245 note deadline_from_discovery
0247 check deadline, P25
024b ldx police_report
024d push 1
0252 eq
0253 jnz L36
0258 ldx police_report
025a push 0
025f eq
0260 jnz L35
0265 push 3
026a jmp L37
026f L35: push 1
0274 jmp L37
0279 L36: push 0
027e L37: check reporting, P26
0282 info P27
0285 ret