The engine compiles Wisconsin'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
- 50 rules, 11 sources, 25 proofs, 5 ints, 272 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
a952a5aa0b1fa96e827631b76eff3e9bfdcf32e4d0c4eb508751076c53ab39ca
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 WI-EXAM-1 exam_no_bill - Wis. Stat. 949.26(2)(a)
R1 WI-EXAM-2 exam_no_bill - Wis. Stat. 949.26(2)(b)
R2 WI-EXAM-3 exam_no_bill - Wisconsin DOJ SAFE Fund page
R3 WI-EXAM-4 exam_payment - Wis. Stat. 949.26(1)
R4 WI-EXAM-5 exam_payment - Wis. Stat. 949.26(1m)
R5 WI-REPORT-2 reporting - Wis. Stat. 949.26(3)
R6 WI-CAP-1 total_cap - Wis. Stat. 949.08(1m)(a)
R7 WI-CAP-2 expense_cap property_replacement per claim Wis. Stat. 949.06(1)(cg)
R8 WI-CAP-3 expense_cap clothing_bedding per claim Wis. Stat. 949.06(1)(c)
R9 WI-CAP-6 expense_cap crime_scene_cleanup per claim Wis. Stat. 949.06(1)(f)
R10 WI-CAP-7 expense_cap other per claim Wis. Stat. 949.06(1)(br)
R11 WI-CAP-8 expense_cap funeral per claim Wis. Stat. 949.06(1)(d)
R12 WI-COV-1 covered medical Wis. Stat. 949.01(4)
R13 WI-COV-2 covered medical Wis. Stat. 949.06(1)(a)
R14 WI-COV-3 covered counseling Wis. Admin. Code Jus 11.06(2)(b)
R15 WI-COV-4 covered lost_wages Wis. Stat. 949.06(1)(b)4.
R16 WI-COV-5 covered property_replacement Wis. Stat. 949.06(1)(cg)
R17 WI-EXCL-1 excluded property_replacement Application DJ-CVC-1, Application Information
R18 WI-EXCL-2 info - excluded_expense Wisconsin DOJ CVC Program page
R19 WI-EXCL-3 info - excluded_expense Wisconsin DOJ CVC FAQs, Compensation
R20 WI-EXCL-4 excluded - Wisconsin DOJ CVC FAQs, Compensation
R21 WI-EXCL-5 info - excluded_expense Wis. Admin. Code Jus 11.06(3)(c)
R22 WI-DEADLINE-1 deadline - from crime Wis. Stat. 949.08(1)
R23 WI-DEADLINE-2 deadline - from crime Wisconsin DOJ CVC FAQs, Applying and Eligibility
R24 WI-REPORT-1 reporting - Wis. Stat. 949.08(1)
R25 WI-REPORT-3 reporting - Wis. Stat. 949.08(2)(d)
R26 WI-REPORT-4 reporting - Wis. Admin. Code Jus 11.07(5)(e)
R27 WI-COLL-1 collateral - Wis. Stat. 949.06(3)
R28 WI-COLL-2 collateral - Wisconsin DOJ CVC FAQs, Medical Treatment/Counseling
R29 WI-CONDUCT-1 info - conduct_reduction Wis. Stat. 949.08(2)(a)
R30 WI-CRIME-1 info - eligible_crime Wisconsin DOJ Compensable Crimes list (Wis. Stat. 949.03(2))
R31 WI-CRIME-2 info - eligible_crime Wis. Stat. 949.01(5)
R32 WI-RES-1 info - residency Wis. Stat. 949.01(1)
R33 WI-RES-2 info - residency Wis. Stat. 949.035(1)
R34 WI-SUB-1 info - submission Wisconsin DOJ Crime Victim Compensation Application page, Submit Your Completed Paper Application
R35 WI-SUB-2 info - submission Wisconsin DOJ Crime Victim Compensation Application page, Submit Your Completed Paper Application
R36 WI-SUB-3 info - submission Wisconsin DOJ Crime Victim Compensation Application page, Option 1 (Apply Online link)
R37 WI-DOC-1 info - required_document Crime Victim Compensation Application, DJ-CVC-1 (Rev. 10/2024), Application Information, What To Do
R38 WI-DOC-2 info - required_document Crime Victim Compensation Application, DJ-CVC-1 (Rev. 10/2024), Section 6: Insurance and Benefit Information
R39 WI-DOC-3 info - required_document Crime Victim Compensation Application, DJ-CVC-1 (Rev. 10/2024), Eligibility Requirements
R40 WI-DOC-4 info - required_document Wisconsin DOJ Crime Victim Compensation FAQs, Compensation
R41 WI-DOC-5 info - required_document Wisconsin DOJ Crime Victim Compensation FAQs, Compensation
R42 WI-DOC-6 info - required_document Wisconsin DOJ Crime Victim Compensation FAQs, Medical Treatment/Counseling
R43 WI-DOC-7 info - required_document Wisconsin DOJ Crime Victim Compensation FAQs, Medical Treatment/Counseling
R44 WI-DOC-8 info - required_document Wisconsin DOJ Crime Victim Compensation FAQs, Applying and Eligibility
R45 WI-TIME-1 info - processing_time Wisconsin DOJ Crime Victim Compensation Program page, How will my claim be processed?
R46 WI-ACP-1 info - address_confidentiality Wisconsin DOJ, Safe at Home Address Confidentiality Program page, program description
R47 WI-RECCONF-1 info - record_confidentiality Wis. Stat. 949.05(2)(a)
R48 WI-CAP-5 skipped - expense_cap Wis. Stat. 949.06(1)(bg)
R49 WI-CAP-4 skipped - expense_cap Wis. Stat. 949.06(1)(cm)
.tags cash=bit0, pain_suffering=bit1
.sources
S0 WI-S1 sha256 22aa313b42b1d914 https://docs.legis.wisconsin.gov/statutes/statutes/949.pdf
S1 WI-S2 sha256 5077942b78d715b1 https://docs.legis.wisconsin.gov/code/admin_code/jus/11.pdf
S2 WI-S3 sha256 48fd3e342743ba00 https://www.wisdoj.gov/Pages/CrimeVictimServices/crime-victim-compensation-program.aspx
S3 WI-S4 sha256 bc5978b02aa7c3a6 https://www.wisdoj.gov/Pages/CrimeVictimServices/crime-victim-compensation-faqs.aspx
S4 WI-S5 sha256 6806477078224f9d https://www.wisdoj.gov/Pages/CrimeVictimServices/crime-victim-compensation-application.aspx
S5 WI-S6 sha256 2fea02558732cc1f https://www.wisdoj.gov/Pages/CrimeVictimServices/crime-victims-compensable-crimes.aspx
S6 WI-S7 sha256 4cc48468d2cfed09 https://www.wisdoj.gov/Pages/CrimeVictimServices/sexual-assault-forensic-exam-fund.aspx
S7 WI-S8 sha256 999dc4a9321e2d1e https://www.wisdoj.gov/Crime%20Victims%20Services/cvcapp-english-print.pdf
S8 WI-S9 sha256 2f9e4708d1c71d4d https://www.wisdoj.gov/Pages/CrimeVictimServices/safe-at-home-address-confidentiality-program.aspx
S9 WI-S10 sha256 f8c45e1422924b4a https://docs.legis.wisconsin.gov/document/statutes/165.68
S10 WI-S11 sha256 75661fcb867aca62 https://docs.legis.wisconsin.gov/document/statutes/103.10(1m)
.proofs
P0 ()
P1 (WI-EXAM-1, WI-EXAM-2, WI-EXAM-3, WI-EXAM-4, WI-EXAM-5)
P2 (WI-EXCL-4)
P3 (WI-COV-1, WI-COV-2)
P4 (WI-COV-1, WI-COV-2, WI-COLL-1, WI-COLL-2)
P5 (WI-COV-3)
P6 (WI-COV-3, WI-COLL-1, WI-COLL-2)
P7 (WI-COV-4)
P8 (WI-COV-4, WI-COLL-1, WI-COLL-2)
P9 (WI-CAP-6)
P10 (WI-CAP-6, WI-COLL-1, WI-COLL-2)
P11 (WI-EXCL-1)
P12 (WI-EXCL-1, WI-EXCL-4)
P13 (WI-CAP-4)
P14 (WI-CAP-2, WI-COV-5)
P15 (WI-CAP-2, WI-COV-5, WI-COLL-1, WI-COLL-2)
P16 (WI-CAP-3)
P17 (WI-CAP-3, WI-COLL-1, WI-COLL-2)
P18 (WI-CAP-8)
P19 (WI-CAP-8, WI-COLL-1, WI-COLL-2)
P20 (WI-CAP-7)
P21 (WI-CAP-7, WI-COLL-1, WI-COLL-2)
P22 (WI-DEADLINE-1, WI-DEADLINE-2)
P23 (WI-REPORT-2, WI-REPORT-1, WI-REPORT-3, WI-REPORT-4)
P24 (WI-EXCL-2, WI-EXCL-3, WI-EXCL-5, WI-COLL-1, WI-COLL-2, WI-CONDUCT-1, WI-CRIME-1, WI-CRIME-2, WI-RES-1, WI-RES-2, WI-SUB-1, WI-SUB-2, WI-SUB-3, WI-DOC-1, WI-DOC-2, WI-DOC-3, WI-DOC-4, WI-DOC-5, WI-DOC-6, WI-DOC-7, WI-DOC-8, WI-TIME-1, WI-ACP-1, WI-RECCONF-1)
.ints
K0 20000
K1 30000
K2 100000
K3 500000
K4 4000000
.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 L17
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L17
case temporary_housing -> L17
case security -> L17
case crime_scene_cleanup -> L21
case childcare -> L17
case property_replacement -> L26
case clothing_bedding -> L34
case prescription -> L17
case dental -> L17
case funeral -> L39
case legal -> L17
case tuition -> L17
case other -> L44
case unknown -> L17
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: ldi confirmed
0172 jnz L16
0177 push 0
017c decide needs_confirmation, P7
0180 ret
0181 L16: ldi amount_cents
0183 decide eligible, P8
0187 lda
0188 ldi insurance_paid_cents
018a subs
018b push 0
0190 max
0191 seta collateral, R27
0195 ret
0196 L17: push 0
019b str r0
019d ldi tags
019f push 2
01a4 and
01a5 jz L18
01aa ldr r0
01ac push 1
01b1 or
01b2 str r0
01b4 L18: ldr r0
01b6 switch 2, default L20
case 0 -> L20
case 1 -> L19
01c4 L19: push 0
01c9 decide excluded, P2
01cd ret
01ce L20: push 0
01d3 decide unknown_rule, P0
01d7 ret
01d8 L21: push 0
01dd str r0
01df ldi tags
01e1 push 2
01e6 and
01e7 jz L22
01ec ldr r0
01ee push 1
01f3 or
01f4 str r0
01f6 L22: ldr r0
01f8 switch 2, default L24
case 0 -> L24
case 1 -> L23
0206 L23: push 0
020b decide excluded, P2
020f ret
0210 L24: ldi confirmed
0212 jnz L25
0217 push 0
021c decide needs_confirmation, P9
0220 ret
0221 L25: ldi amount_cents
0223 decide eligible, P10
0227 lda
0228 ldi insurance_paid_cents
022a subs
022b push 0
0230 max
0231 seta collateral, R27
0235 ret
0236 L26: push 0
023b str r0
023d ldi tags
023f push 3
0244 and
0245 jz L27
024a ldr r0
024c push 1
0251 or
0252 str r0
0254 L27: ldi tags
0256 push 2
025b and
025c jz L28
0261 ldr r0
0263 push 2
0268 or
0269 str r0
026b L28: ldr r0
026d switch 4, default L32
case 0 -> L32
case 1 -> L29
case 2 -> L30
case 3 -> L31
0283 L29: push 0
0288 decide excluded, P11
028c ret
028d L30: push 0
0292 decide excluded, P2
0296 ret
0297 L31: push 0
029c decide excluded, P12
02a0 ret
02a1 L32: alts P13
02a4 ldi confirmed
02a6 jnz L33
02ab push 0
02b0 decide needs_confirmation, P14
02b4 ret
02b5 L33: ldi amount_cents
02b7 decide eligible, P15
02bb lda
02bc ldi insurance_paid_cents
02be subs
02bf push 0
02c4 max
02c5 seta collateral, R27
02c9 ret
02ca L34: push 0
02cf str r0
02d1 ldi tags
02d3 push 2
02d8 and
02d9 jz L35
02de ldr r0
02e0 push 1
02e5 or
02e6 str r0
02e8 L35: ldr r0
02ea switch 2, default L37
case 0 -> L37
case 1 -> L36
02f8 L36: push 0
02fd decide excluded, P2
0301 ret
0302 L37: ldi confirmed
0304 jnz L38
0309 push 0
030e decide needs_confirmation, P16
0312 ret
0313 L38: ldi amount_cents
0315 decide eligible, P17
0319 lda
031a ldi insurance_paid_cents
031c subs
031d push 0
0322 max
0323 seta collateral, R27
0327 ret
0328 L39: push 0
032d str r0
032f ldi tags
0331 push 2
0336 and
0337 jz L40
033c ldr r0
033e push 1
0343 or
0344 str r0
0346 L40: ldr r0
0348 switch 2, default L42
case 0 -> L42
case 1 -> L41
0356 L41: push 0
035b decide excluded, P2
035f ret
0360 L42: ldi confirmed
0362 jnz L43
0367 push 0
036c decide needs_confirmation, P18
0370 ret
0371 L43: ldi amount_cents
0373 decide eligible, P19
0377 lda
0378 ldi insurance_paid_cents
037a subs
037b push 0
0380 max
0381 seta collateral, R27
0385 ret
0386 L44: push 0
038b str r0
038d ldi tags
038f push 2
0394 and
0395 jz L45
039a ldr r0
039c push 1
03a1 or
03a2 str r0
03a4 L45: ldr r0
03a6 switch 2, default L47
case 0 -> L47
case 1 -> L46
03b4 L46: push 0
03b9 decide excluded, P2
03bd ret
03be L47: ldi confirmed
03c0 jnz L48
03c5 push 0
03ca decide needs_confirmation, P20
03ce ret
03cf L48: ldi amount_cents
03d1 decide eligible, P21
03d5 lda
03d6 ldi insurance_paid_cents
03d8 subs
03d9 push 0
03de max
03df seta collateral, R27
03e3 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each property_replacement, 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, R7
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, R7
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each clothing_bedding, 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, R8
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, R8
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 K2
00c6 gt
00c7 jz L11
00cc ldk K2
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R9
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, R9
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each other, 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 expense_cap, R10
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, R10
0143 L18: next L15
0148 L19: push 0
014d str r0
014f push 0
0154 str r1
0156 each funeral, 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 expense_cap, R11
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 expense_cap, R11
0195 L23: next L20
019a L24: push 0
019f str r0
01a1 push 0
01a6 str r1
01a8 each all, L29
01ae L25: ldr r1
01b0 jnz L27
01b5 ldr r0
01b7 lda
01b8 adds
01b9 ldk K4
01bc gt
01bd jz L26
01c2 ldk K4
01c5 ldr r0
01c7 subs
01c8 cap total_cap, R6
01cc push 1
01d1 str r1
01d3 L26: ldr r0
01d5 lda
01d6 adds
01d7 str r0
01d9 jmp L28
01de L27: push 0
01e3 cap total_cap, R6
01e7 L28: next L25
01ec L29: push 0
01f1 check minimum_loss, P0
01f5 ldx incident_date
01f7 push 365
01fc adds
01fd ldx incident_date
01ff push 365
0204 adds
0205 max
0206 dup
0207 setdate
0208 ldx as_of_date
020a ge
020b jz L30
0210 push 0
0215 jmp L31
021a L30: push 1
021f L31: check deadline, P22
0223 ldx police_report
0225 push 1
022a eq
022b jnz L33
0230 ldx police_report
0232 push 0
0237 eq
0238 jnz L32
023d push 3
0242 jmp L34
0247 L32: push 1
024c jmp L34
0251 L33: push 0
0256 L34: check reporting, P23
025a info P24
025d ret