The engine compiles Wyoming'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, 12 sources, 30 proofs, 7 ints, 290 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
9abe7c98c7574fdbec43ba20a6e2d7a2b820a526810d206c94cb8c621a1dd052
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 WY-EXAM-1 exam_payment - W.S. 6-2-309(g)
R1 WY-EXAM-4 exam_payment - WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), SANE Exam Payment Policy: Anonymous Reporting of Sexual Assault
R2 WY-EXAM-5 exam_payment - WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), SANE Exam Payment Policy
R3 WY-EXAM-6 covered forensic_exam W.S. 6-2-309(h)
R4 WY-EXAM-7 exam_payment - WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Law Enforcement Reporting of Sexual Assault
R5 WY-CAP-1 total_cap - W.S. 1-40-109(d)
R6 WY-CAP-2 expense_cap counseling per hour WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Mental Health Expenses
R7 WY-CAP-4 expense_cap relocation per claim WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Relocation, Financial Limits
R8 WY-CAP-5 expense_cap clothing_bedding per claim WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Replacement of Personal Property Seized as Evidence
R9 WY-CAP-6 expense_cap crime_scene_cleanup per claim WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Crime Scene Cleanup
R10 WY-CAP-7 expense_cap funeral per claim WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Funeral/Burial Expenses
R11 WY-CAP-8 expense_cap other per claim WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Medical/Dental Expenses
R12 WY-COV-1 covered medical W.S. 1-40-102(a)(vi)
R13 WY-COV-2 covered medical WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Medical/Dental Expenses
R14 WY-COV-3 covered dental WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Medical/Dental Expenses
R15 WY-COV-4 covered prescription WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Medical/Dental Expenses
R16 WY-COV-5 covered counseling W.S. 1-40-109(d)
R17 WY-COV-6 covered counseling WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Mental Health Expenses
R18 WY-COV-7 covered lost_wages WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Loss of Earnings, Financial Limits
R19 WY-COV-8 covered lost_wages W.S. 1-40-109(b)
R20 WY-COV-9 covered transportation WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Travel Expenses
R21 WY-COV-10 covered relocation WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Relocation, Requirements
R22 WY-COV-11 covered clothing_bedding WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Replacement of Personal Property Seized as Evidence
R23 WY-EXC-1 excluded property_replacement WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Replacement of Personal Property Seized as Evidence, Exemptions
R24 WY-EXC-2 excluded property_replacement WY DVS Primary Victim Compensation Application Instructions, General Information
R25 WY-EXC-3 info - excluded_expense WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Replacement of Personal Property Seized as Evidence
R26 WY-EXC-4 info - excluded_expense WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Mental Health Expenses, Ineligible Expenses
R27 WY-DEAD-1 deadline - from crime W.S. 1-40-106(a)(v)
R28 WY-REP-1 reporting - W.S. 1-40-106(a)(iv)
R29 WY-REP-3 reporting - WY DVS Compensation FAQ, Does There Have To Be An Arrest Or Conviction
R30 WY-COL-1 collateral - W.S. 1-40-110(d)
R31 WY-COL-2 collateral - WY DVS Compensation FAQ, Insurance or Another Source
R32 WY-COL-3 collateral - WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), NOT considered Collateral Sources
R33 WY-CON-1 info - conduct_reduction W.S. 1-40-110(b)(i)
R34 WY-CON-2 info - conduct_reduction WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Contributory Factors to be Considered
R35 WY-EMER-1 info - emergency_award W.S. 1-40-111(b)
R36 WY-ELIG-1 info - eligible_crime WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Primary Victim Eligibility, Examples of violent crimes
R37 WY-ELIG-2 info - eligible_crime W.S. 1-40-102(a)(iii)
R38 WY-RES-1 info - residency W.S. 1-40-106(b)(ii)
R39 WY-RES-2 info - residency W.S. 1-40-102(a)(ix)(B)(II)
R40 WY-SUB-1 info - submission Application, authorization page
R41 WY-DOC-1 info - required_document Application, Crime Information
R42 WY-DOC-2 info - required_document Application, checklist before sending
R43 WY-DOC-3 info - required_document Application, Types of Compensation Requested
R44 WY-DOC-4 info - required_document Application, checklist before sending
R45 WY-DOC-5 info - required_document Application, Insurance/Other Collateral Sources
R46 WY-DOC-6 info - required_document Guidelines, Medical/Dental Expenses, Requirements
R47 WY-DOC-7 info - required_document Guidelines, Loss of Earnings, Requirements
R48 WY-DOC-8 info - required_document Guidelines, Mental Health Expenses, Requirements
R49 WY-DOC-9 info - required_document Application, checklist before sending
R50 WY-DOC-10 info - required_document Application, Request for Taxpayer Identification Number & Certification
R51 WY-RECORDS-1 info - record_confidentiality W.S. 1-40-107(d)
R52 WY-EXAM-2 skipped - exam_no_bill WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Law Enforcement Reporting of Sexual Assault
R53 WY-CAP-3 skipped - expense_cap WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Payment Threshold on Associated Victim Claims
R54 WY-REP-2 skipped - reporting_requirement WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Primary Victim Eligibility
R55 WY-CAP-9 skipped - expense_cap WY DVS Compensation Guidelines and Policy (eff. Jan 1, 2025), Relocation, Financial Limits
.tags phone=bit0, pain_suffering=bit1
.sources
S0 WY-S1 sha256 4329f90e9179aa71 https://dvs.wyo.gov/compensation
S1 WY-S2 sha256 89841d6a350b661d https://drive.google.com/uc?export=download&id=1-x-HQqDPsqpMzT8duGeEbhfoN0EPeqqk
S2 WY-S3 sha256 80e8155016bfb315 https://drive.google.com/uc?export=download&id=1Zvzf8VC9HEhB-phGvVFadXOoyJGJDWVq
S3 WY-S4 sha256 e1a29c3a29b6cef9 https://drive.google.com/uc?export=download&id=1y7VFwJ3Bff_OKLiN7cIhfCR4tc29roNe
S4 WY-S5 sha256 fac2c77e253150a4 https://drive.google.com/uc?export=download&id=1pJpd5eewW_q_IzO-dCup5lAKbua4j8Mr
S5 WY-S6 sha256 738e3aca3c94068f https://drive.google.com/uc?export=download&id=1r3tb2JHkQ5qfkUBgTluYxci9bXRgC42P
S6 WY-S7 sha256 2e07479d1f85d018 https://dvs.wyo.gov/sane
S7 WY-S8 sha256 1413d5914ebde444 https://law.justia.com/codes/wyoming/title-6/chapter-2/article-3/section-6-2-309/
S8 WY-S9 sha256 acfdfb17188eabc5 https://law.justia.com/codes/wyoming/title-1/chapter-40/article-1/section-1-40-109/
S9 WY-S10 sha256 8c01ce0ff0a44a9d https://law.justia.com/codes/wyoming/title-1/chapter-40/article-1/section-1-40-106/
S10 WY-S11 sha256 617ccf11e8d4364a https://law.justia.com/codes/wyoming/title-1/chapter-40/article-1/section-1-40-110/
S11 WY-S12 sha256 3dc7bccd9959ae4d https://law.justia.com/codes/wyoming/title-1/chapter-40/article-1/section-1-40-111/
.proofs
P0 ()
P1 (WY-COV-1, WY-COV-2)
P2 (WY-COV-1, WY-COV-2, WY-COL-1, WY-COL-2, WY-COL-3)
P3 (WY-CAP-2, WY-COV-5, WY-COV-6)
P4 (WY-CAP-2, WY-COV-5, WY-COV-6, WY-COL-1, WY-COL-2, WY-COL-3)
P5 (WY-COV-7, WY-COV-8)
P6 (WY-COV-7, WY-COV-8, WY-COL-1, WY-COL-2, WY-COL-3)
P7 (WY-COV-9)
P8 (WY-COV-9, WY-COL-1, WY-COL-2, WY-COL-3)
P9 (WY-CAP-9)
P10 (WY-CAP-4, WY-COV-10)
P11 (WY-CAP-4, WY-COV-10, WY-COL-1, WY-COL-2, WY-COL-3)
P12 (WY-CAP-6)
P13 (WY-CAP-6, WY-COL-1, WY-COL-2, WY-COL-3)
P14 (WY-EXC-1)
P15 (WY-EXC-2)
P16 (WY-EXC-1, WY-EXC-2)
P17 (WY-CAP-5, WY-COV-11)
P18 (WY-CAP-5, WY-COV-11, WY-COL-1, WY-COL-2, WY-COL-3)
P19 (WY-COV-4)
P20 (WY-COV-4, WY-COL-1, WY-COL-2, WY-COL-3)
P21 (WY-COV-3)
P22 (WY-COV-3, WY-COL-1, WY-COL-2, WY-COL-3)
P23 (WY-CAP-7)
P24 (WY-CAP-7, WY-COL-1, WY-COL-2, WY-COL-3)
P25 (WY-CAP-8)
P26 (WY-CAP-8, WY-COL-1, WY-COL-2, WY-COL-3)
P27 (WY-DEAD-1)
P28 (WY-REP-1, WY-REP-3)
P29 (WY-EXAM-1, WY-EXAM-4, WY-EXAM-5, WY-EXAM-7, WY-EXC-3, WY-EXC-4, WY-COL-1, WY-COL-2, WY-COL-3, WY-CON-1, WY-CON-2, WY-EMER-1, WY-ELIG-1, WY-ELIG-2, WY-RES-1, WY-RES-2, WY-SUB-1, WY-DOC-1, WY-DOC-2, WY-DOC-3, WY-DOC-4, WY-DOC-5, WY-DOC-6, WY-DOC-7, WY-DOC-8, WY-DOC-9, WY-DOC-10, WY-RECORDS-1)
.ints
K0 8500
K1 120000
K2 50000
K3 250000
K4 700000
K5 30000
K6 1500000
.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 -> L13
case childcare -> L12
case property_replacement -> L15
case clothing_bedding -> L22
case prescription -> L24
case dental -> L26
case funeral -> L28
case legal -> L12
case tuition -> L12
case other -> L30
case unknown -> L12
0068 L0: push 0
006d decide out_of_window, P0
0071 ret
0072 L1: setexp medical
0074 jmp L2
0079 L2: ldi confirmed
007b jnz L3
0080 push 0
0085 decide needs_confirmation, P1
0089 ret
008a L3: ldi amount_cents
008c decide eligible, P2
0090 lda
0091 ldi insurance_paid_cents
0093 subs
0094 push 0
0099 max
009a seta collateral, R30
009e ret
009f L4: ldi confirmed
00a1 jnz L5
00a6 push 0
00ab decide needs_confirmation, P3
00af ret
00b0 L5: ldi amount_cents
00b2 decide eligible, P4
00b6 lda
00b7 ldi insurance_paid_cents
00b9 subs
00ba push 0
00bf max
00c0 seta collateral, R30
00c4 ret
00c5 L6: ldi confirmed
00c7 jnz L7
00cc push 0
00d1 decide needs_confirmation, P5
00d5 ret
00d6 L7: ldi amount_cents
00d8 decide eligible, P6
00dc lda
00dd ldi insurance_paid_cents
00df subs
00e0 push 0
00e5 max
00e6 seta collateral, R30
00ea ret
00eb L8: ldi confirmed
00ed jnz L9
00f2 push 0
00f7 decide needs_confirmation, P7
00fb ret
00fc L9: ldi amount_cents
00fe decide eligible, P8
0102 lda
0103 ldi insurance_paid_cents
0105 subs
0106 push 0
010b max
010c seta collateral, R30
0110 ret
0111 L10: alts P9
0114 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, R30
0139 ret
013a L12: push 0
013f decide unknown_rule, P0
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, R30
0169 ret
016a L15: push 0
016f str r0
0171 ldi tags
0173 push 1
0178 and
0179 jz L16
017e ldr r0
0180 push 1
0185 or
0186 str r0
0188 L16: ldi tags
018a push 2
018f and
0190 jz L17
0195 ldr r0
0197 push 2
019c or
019d str r0
019f L17: ldr r0
01a1 switch 4, default L21
case 0 -> L21
case 1 -> L18
case 2 -> L19
case 3 -> L20
01b7 L18: push 0
01bc decide excluded, P14
01c0 ret
01c1 L19: push 0
01c6 decide excluded, P15
01ca ret
01cb L20: push 0
01d0 decide excluded, P16
01d4 ret
01d5 L21: push 0
01da decide unknown_rule, P0
01de ret
01df L22: ldi confirmed
01e1 jnz L23
01e6 push 0
01eb decide needs_confirmation, P17
01ef ret
01f0 L23: ldi amount_cents
01f2 decide eligible, P18
01f6 lda
01f7 ldi insurance_paid_cents
01f9 subs
01fa push 0
01ff max
0200 seta collateral, R30
0204 ret
0205 L24: ldi confirmed
0207 jnz L25
020c push 0
0211 decide needs_confirmation, P19
0215 ret
0216 L25: ldi amount_cents
0218 decide eligible, P20
021c lda
021d ldi insurance_paid_cents
021f subs
0220 push 0
0225 max
0226 seta collateral, R30
022a ret
022b L26: ldi confirmed
022d jnz L27
0232 push 0
0237 decide needs_confirmation, P21
023b ret
023c L27: ldi amount_cents
023e decide eligible, P22
0242 lda
0243 ldi insurance_paid_cents
0245 subs
0246 push 0
024b max
024c seta collateral, R30
0250 ret
0251 L28: ldi confirmed
0253 jnz L29
0258 push 0
025d decide needs_confirmation, P23
0261 ret
0262 L29: ldi amount_cents
0264 decide eligible, P24
0268 lda
0269 ldi insurance_paid_cents
026b subs
026c push 0
0271 max
0272 seta collateral, R30
0276 ret
0277 L30: ldi confirmed
0279 jnz L31
027e push 0
0283 decide needs_confirmation, P25
0287 ret
0288 L31: ldi amount_cents
028a decide eligible, P26
028e lda
028f ldi insurance_paid_cents
0291 subs
0292 push 0
0297 max
0298 seta collateral, R30
029c ret
.aggregate
0000 each counseling, 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, R6
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R6
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each relocation, 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 clothing_bedding, 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, R8
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, R8
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, R9
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, R9
0136 L18: next L15
013b L19: push 0
0140 str r0
0142 push 0
0147 str r1
0149 each funeral, 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 other, 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 expense_cap, R11
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 expense_cap, R11
01da L28: next L25
01df L29: push 0
01e4 str r0
01e6 push 0
01eb str r1
01ed each all, L34
01f3 L30: ldr r1
01f5 jnz L32
01fa ldr r0
01fc lda
01fd adds
01fe ldk K6
0201 gt
0202 jz L31
0207 ldk K6
020a ldr r0
020c subs
020d cap total_cap, R5
0211 push 1
0216 str r1
0218 L31: ldr r0
021a lda
021b adds
021c str r0
021e jmp L33
0223 L32: push 0
0228 cap total_cap, R5
022c L33: next L30
0231 L34: push 0
0236 check minimum_loss, P0
023a ldx incident_date
023c push 365
0241 adds
0242 dup
0243 setdate
0244 ldx as_of_date
0246 ge
0247 jz L35
024c push 0
0251 jmp L36
0256 L35: push 1
025b L36: check deadline, P27
025f ldx police_report
0261 push 1
0266 eq
0267 jnz L38
026c ldx police_report
026e push 0
0273 eq
0274 jnz L37
0279 push 3
027e jmp L39
0283 L37: push 1
0288 jmp L39
028d L38: push 0
0292 L39: check reporting, P28
0296 info P29
0299 ret