The engine compiles West Virginia'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
- 33 rules, 16 sources, 18 proofs, 2 ints, 229 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
33cd54ec257a875cc51b49d2855d42f1679580828e524c5cc8bc9cc9add81935
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 WV-EXAM-1 exam_no_bill - W. Va. Code 61-8B-16(b)
R1 WV-EXAM-2 exam_payment - W. Va. Code 61-8B-16(a)
R2 WV-EXAM-3 exam_payment - W. Va. Code 61-8B-16(a)(2)
R3 WV-EXAM-4 info - reporting_requirement W. Va. Code 61-8B-16(c)
R4 WV-CAP-1 total_cap - W. Va. Code 14-2A-14(g)(1)
R5 WV-CAP-2 expense_cap relocation per claim W. Va. Code 14-2A-3(f)(3)
R6 WV-CAP-3 info - expense_cap W. Va. Code 14-2A-3(f)(4)
R7 WV-COV-1 covered medical W. Va. Code 14-2A-3(f)(1)
R8 WV-COV-2 covered counseling Eligibility page, Reimbursable Expenses
R9 WV-COV-3 covered transportation W. Va. Code 14-2A-3(f)(6)
R10 WV-COV-4 covered lost_wages W. Va. Code 14-2A-3(g)
R11 WV-COV-5 covered lost_wages W. Va. Code 14-2A-3(g)
R12 WV-COV-6 covered dental Eligibility page, Reimbursable Expenses
R13 WV-EXCL-1 excluded property_replacement Application packet, information page
R14 WV-EXCL-2 info - excluded_expense Eligibility page, Types of Losses Not Covered
R15 WV-DEAD-1 deadline - from crime W. Va. Code 14-2A-10(b)
R16 WV-REP-1 reporting - W. Va. Code 14-2A-14(b)
R17 WV-REP-2 info - reporting_requirement W. Va. Code 14-2A-18
R18 WV-COLL-1 collateral - W. Va. Code 14-2A-14(f)
R19 WV-COND-1 info - conduct_reduction W. Va. Code 14-2A-14(f)
R20 WV-COND-2 info - conduct_reduction W. Va. Code 14-2A-14(d)
R21 WV-CRIME-1 info - eligible_crime Eligibility page, Crimes Resulting in Personal Injury
R22 WV-RES-1 info - residency W. Va. Code 14-2A-3(c)
R23 WV-SUBMIT-1 info - submission Application packet, cover page instructions
R24 WV-SUBMIT-2 info - submission File Your Crime Victims Claim page
R25 WV-DOC-1 info - required_document Application packet, cover page instructions
R26 WV-DOC-2 info - required_document Application, Victim's Injury Information section
R27 WV-DOC-3 info - required_document Application packet, cover page instructions
R28 WV-DOC-4 info - required_document Rules of Practice and Procedure, Rule 4
R29 WV-TIME-1 info - processing_time Rules of Practice and Procedure, Rule 5(b)
R30 WV-TIME-2 info - processing_time Rules of Practice and Procedure, Rule 5(d)-(e)
R31 WV-ACP-1 info - address_confidentiality WV Secretary of State ACP page
R32 WV-RECCONF-1 info - record_confidentiality W. Va. Code 14-2A-11a(b)
.tags cash=bit0
.sources
S0 WV-S1 sha256 fdb868731e9b1a8f https://code.wvlegislature.gov/14-2A-3/
S1 WV-S2 sha256 3c7883bb272e6d46 https://code.wvlegislature.gov/14-2A-10/
S2 WV-S3 sha256 28229661133fe068 https://code.wvlegislature.gov/14-2A-14/
S3 WV-S4 sha256 1c82a695f597534e https://code.wvlegislature.gov/14-2A-14a/
S4 WV-S5 sha256 77a3232c6dc3475a https://code.wvlegislature.gov/61-8B-16/
S5 WV-S6 sha256 137c8c2557267110 https://code.wvlegislature.gov/14-2A-19b/
S6 WV-S7 sha256 7148f8f19b2e1014 https://code.wvlegislature.gov/14-2A-18/
S7 WV-S8 sha256 805dc1563eb12b23 https://www.wvlegislature.gov/Joint/victims.cfm
S8 WV-S9 sha256 411403d9d36e4557 https://victims.wvlegislature.gov/eligibility/
S9 WV-S10 sha256 56c6312c3d8ed6a6 https://www.wvlegislature.gov/Joint/Victims/rules.cfm
S10 WV-S11 sha256 e5cc3e2e2107ef4d https://www.wvlegislature.gov/Joint/Victims/crime_victim_application.pdf
S11 WV-S12 sha256 2b7b62e7f629c47f https://www.wvlegislature.gov/Joint/Victims/claim.cfm
S12 WV-S13 sha256 434b4d23bd8659c0 https://code.wvlegislature.gov/14-2A-11A/
S13 WV-S14 sha256 cef8cfe3b4a7e44c https://code.wvlegislature.gov/48-28A-101/
S14 WV-S15 sha256 9c3e4a9a5068317e https://code.wvlegislature.gov/48-28A-103/
S15 WV-S16 sha256 6ae853ce5c6f58ff https://sos.wv.gov/about-us/address-confidentiality-program-acp
.proofs
P0 ()
P1 (WV-EXAM-1, WV-EXAM-2, WV-EXAM-3)
P2 (WV-COV-1)
P3 (WV-COV-1, WV-COLL-1)
P4 (WV-COV-2)
P5 (WV-COV-2, WV-COLL-1)
P6 (WV-COV-4, WV-COV-5)
P7 (WV-COV-4, WV-COV-5, WV-COLL-1)
P8 (WV-COV-3)
P9 (WV-COV-3, WV-COLL-1)
P10 (WV-CAP-2)
P11 (WV-CAP-2, WV-COLL-1)
P12 (WV-EXCL-1)
P13 (WV-COV-6)
P14 (WV-COV-6, WV-COLL-1)
P15 (WV-DEAD-1)
P16 (WV-REP-1)
P17 (WV-EXAM-4, WV-CAP-3, WV-EXCL-2, WV-REP-2, WV-COLL-1, WV-COND-1, WV-COND-2, WV-CRIME-1, WV-RES-1, WV-SUBMIT-1, WV-SUBMIT-2, WV-DOC-1, WV-DOC-2, WV-DOC-3, WV-DOC-4, WV-TIME-1, WV-TIME-2, WV-ACP-1, WV-RECCONF-1)
.ints
K0 450000
K1 3500000
.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 -> L12
case crime_scene_cleanup -> L12
case childcare -> L12
case property_replacement -> L13
case clothing_bedding -> L12
case prescription -> L12
case dental -> L17
case funeral -> L12
case legal -> L12
case tuition -> L12
case other -> L12
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, R18
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, R18
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, R18
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, R18
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, R18
0139 ret
013a L12: push 0
013f decide unknown_rule, P0
0143 ret
0144 L13: push 0
0149 str r0
014b ldi tags
014d push 1
0152 and
0153 jz L14
0158 ldr r0
015a push 1
015f or
0160 str r0
0162 L14: ldr r0
0164 switch 2, default L16
case 0 -> L16
case 1 -> L15
0172 L15: push 0
0177 decide excluded, P12
017b ret
017c L16: push 0
0181 decide unknown_rule, P0
0185 ret
0186 L17: ldi confirmed
0188 jnz L18
018d push 0
0192 decide needs_confirmation, P13
0196 ret
0197 L18: ldi amount_cents
0199 decide eligible, P14
019d lda
019e ldi insurance_paid_cents
01a0 subs
01a1 push 0
01a6 max
01a7 seta collateral, R18
01ab ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each relocation, 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 all, 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 total_cap, R4
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 total_cap, R4
009f L8: next L5
00a4 L9: push 0
00a9 check minimum_loss, P0
00ad ldx incident_date
00af push 730
00b4 adds
00b5 dup
00b6 setdate
00b7 ldx as_of_date
00b9 ge
00ba jz L10
00bf push 0
00c4 jmp L11
00c9 L10: push 1
00ce L11: check deadline, P15
00d2 ldx police_report
00d4 push 1
00d9 eq
00da jnz L13
00df ldx forensic_exam
00e1 jnz L13
00e6 ldx police_report
00e8 push 0
00ed eq
00ee jnz L12
00f3 push 3
00f8 jmp L14
00fd L12: push 1
0102 jmp L14
0107 L13: push 0
010c L14: check reporting, P16
0110 info P17
0113 ret