The engine compiles Washington'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
- 58 rules, 25 sources, 20 proofs, 4 ints, 365 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
b41e73285fae65a01f214ebf1321d83bc341008f9d8ce753260bd74f9044a5a4
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 WA-EXAM-1 exam_no_bill - RCW 7.68.170
R1 WA-EXAM-2 exam_payment - RCW 7.68.170
R2 WA-EXAM-3 exam_payment - WAC 296-30-170
R3 WA-EXAM-4 exam_no_bill - L&I Sexual Assault Victims page, Information for medical providers
R4 WA-EXAM-5 exam_no_bill - L&I Sexual Assault Victims page, Information for victims
R5 WA-EXAM-6 exam_payment - WAC 296-30-170
R6 WA-EXAM-7 exam_payment - F800-100-000, page 1 (general information)
R7 WA-TOTAL-1 total_cap - L&I Who Can File and What is Covered, How much we may pay
R8 WA-CAP-NONMEDICAL expense_cap other per claim RCW 7.68.070(1)
R9 WA-CAP-MEDICAL expense_cap medical per claim RCW 7.68.085
R10 WA-CAP-COUNSELING expense_cap counseling per claim L&I Who Can File and What is Covered, How much we may pay
R11 WA-CAP-WAGES expense_cap lost_wages per claim RCW 7.68.070(1)(a)
R12 WA-COV-WAGES-2 covered lost_wages RCW 7.68.070(5)
R13 WA-COV-WAGES covered lost_wages RCW 7.68.070(2)
R14 WA-EXC-WAGES info - excluded_expense RCW 7.68.070(4)
R15 WA-COV-COUNSELING covered counseling RCW 7.68.080(5)
R16 WA-COV-COUNSELING-2 covered counseling WAC 296-30-080(3)
R17 WA-COV-MEDICAL covered medical L&I Who Can File and What is Covered, What are the benefits?
R18 WA-COV-TRANSPORT covered transportation RCW 7.68.080(1)
R19 WA-COV-TRANSPORT-2 covered transportation L&I Who Can File and What is Covered, Travel Reimbursement
R20 WA-COV-TRANSPORT-3 covered transportation L&I Who Can File and What is Covered, How to get reimbursed
R21 WA-COV-CLOTHING covered clothing_bedding RCW 7.68.074
R22 WA-COV-PEP covered prescription F800-100-000, Post-exposure prophylaxis (PEP) drugs for HIV
R23 WA-COV-GLASSES covered medical L&I Who Can File and What is Covered, Will I be reimbursed for damaged personal property?
R24 WA-EXC-PROPERTY info - excluded_expense L&I Who Can File and What is Covered, How much we may pay
R25 WA-EXC-CLEANUP excluded crime_scene_cleanup L&I Who Can File and What is Covered, How much we may pay
R26 WA-EXC-MEDICAID info - excluded_expense RCW 7.68.070(12)
R27 WA-DEADLINE-1 deadline - from report RCW 7.68.060(1)(a)
R28 WA-DEADLINE-2 deadline - from report RCW 7.68.060(1)(a)
R29 WA-DEADLINE-3 info - filing_deadline RCW 7.68.060(5)
R30 WA-DEADLINE-4 info - filing_deadline L&I Who Can File and What is Covered, Do I qualify?
R31 WA-DEADLINE-5 info - filing_deadline RCW 7.68.060(6)(b)
R32 WA-REPORT-1 reporting - RCW 7.68.060(1)(b)
R33 WA-REPORT-2 reporting - WAC 296-30-060
R34 WA-REPORT-3 reporting - RCW 7.68.060(3)
R35 WA-COLLATERAL-1 collateral - RCW 7.68.130(3)
R36 WA-COLLATERAL-2 collateral - RCW 7.68.130(5)
R37 WA-COLLATERAL-3 collateral - WAC 296-30-087(1)
R38 WA-CONDUCT-1 info - conduct_reduction RCW 7.68.060(2)(a)-(b)
R39 WA-CONDUCT-2 info - conduct_reduction RCW 7.68.060(4)
R40 WA-CRIME-1 info - eligible_crime L&I Who Can File and What is Covered, Do I qualify?
R41 WA-CRIME-2 info - eligible_crime RCW 7.68.080(5)
R42 WA-RESIDENCY-1 info - residency RCW 7.68.020(6)(c)
R43 WA-RESIDENCY-2 info - residency RCW 7.68.170
R44 WA-SUBMIT-1 info - submission L&I Apply for Crime Victim Benefits page, filing instructions
R45 WA-SUBMIT-2 info - submission L&I Apply for Crime Victim Benefits page, Application for Benefits (F800-042-000)
R46 WA-SUBMIT-3 info - submission F800-042-000, page 1 header
R47 WA-DOC-1 info - required_document L&I Apply for Crime Victim Benefits page, Note under the application form
R48 WA-DOC-2 info - required_document F800-042-000, Authorization to Release Confidential Information
R49 WA-DOC-3 info - required_document L&I Apply for Crime Victim Benefits page, Questions crime victim applicants have
R50 WA-DOC-4 info - required_document L&I Apply for Crime Victim Benefits page, Questions crime victim applicants have
R51 WA-DOC-5 info - required_document F800-042-000, Provider Information
R52 WA-DOC-6 info - required_document F800-042-000, Insurance Information
R53 WA-DOC-7 info - required_document F800-042-000, Authorization to Release Confidential Information
R54 WA-DOC-8 info - required_document F800-042-000, Wage Information
R55 WA-TIME-1 info - processing_time L&I Apply for Crime Victim Benefits page, after the filing instructions
R56 WA-ACP-1 info - address_confidentiality WA Secretary of State ACP page, opening paragraph
R57 WA-RECCONF-1 info - record_confidentiality RCW 7.68.140
.sources
S0 WA-S1 sha256 c5850be29664e7f3 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.020
S1 WA-S2 sha256 33ce243e1e3dcde3 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.060
S2 WA-S3 sha256 6dc561c74f5dc9c1 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.070
S3 WA-S4 sha256 dda7a0b66c1937e8 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.080
S4 WA-S5 sha256 7ba9096ef80beed3 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.170
S5 WA-S6 sha256 4d869e05b3906078 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.085
S6 WA-S7 sha256 c8c450066f18766b https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.130
S7 WA-S8 sha256 f885b2347efa8934 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.074&pdf=true
S8 WA-S9 sha256 fed921a573c5a9a6 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.061
S9 WA-S10 sha256 ade5dee2e66785cd https://app.leg.wa.gov/WAC/default.aspx?cite=296-30-060
S10 WA-S11 sha256 1b0414ca1895d7fb https://app.leg.wa.gov/WAC/default.aspx?cite=296-30-170
S11 WA-S12 sha256 a2021be5a11f97b8 https://app.leg.wa.gov/WAC/default.aspx?cite=296-30-087
S12 WA-S13 sha256 0a219cc49d32e0ea https://app.leg.wa.gov/WAC/default.aspx?cite=296-30-080
S13 WA-S14 sha256 4f571ec67230199d https://lni.wa.gov/claims/crime-victim-claims/apply-for-crime-victim-benefits
S14 WA-S15 sha256 98ec4ebb83d17e23 https://lni.wa.gov/forms-publications/F800-042-000.pdf
S15 WA-S16 sha256 b573dfa36827d0b7 https://lni.wa.gov/claims/crime-victim-claims/who-can-file-and-what-is-covered
S16 WA-S17 sha256 05b8506516bc1261 https://lni.wa.gov/claims/crime-victim-claims/sexual-assault-victims
S17 WA-S18 sha256 788850152c18823b https://lni.wa.gov/claims/crime-victim-claims/crime-victims-forms-publications
S18 WA-S19 sha256 a707a99bc107d084 https://lni.wa.gov/forms-publications/F800-100-000.pdf
S19 WA-S20 sha256 bf158f8adbc78755 https://lni.wa.gov/forms-publications/F800-105-000.pdf
S20 WA-S21 sha256 9aecd1f237dcfac2 https://lni.wa.gov/forms-publications/F800-049-000.pdf
S21 WA-S22 sha256 1dfea8a64f4b7201 https://app.leg.wa.gov/RCW/default.aspx?cite=7.68.140
S22 WA-S23 sha256 53865238c4059c2a https://app.leg.wa.gov/RCW/default.aspx?cite=40.24.030
S23 WA-S24 sha256 917619aa8187f3c5 https://www.sos.wa.gov/statewide-programs/address-confidentiality-program-acp
S24 WA-S25 sha256 2885a8f5a6efcc94 https://www.sos.wa.gov/statewide-programs/address-confidentiality-program-acp/application-process
.proofs
P0 ()
P1 (WA-EXAM-1, WA-EXAM-4, WA-EXAM-5, WA-EXAM-2, WA-EXAM-3, WA-EXAM-6, WA-EXAM-7)
P2 (WA-CAP-MEDICAL, WA-COV-MEDICAL, WA-COV-GLASSES)
P3 (WA-CAP-MEDICAL, WA-COV-MEDICAL, WA-COV-GLASSES, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P4 (WA-CAP-COUNSELING, WA-COV-COUNSELING, WA-COV-COUNSELING-2)
P5 (WA-CAP-COUNSELING, WA-COV-COUNSELING, WA-COV-COUNSELING-2, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P6 (WA-CAP-WAGES, WA-COV-WAGES-2, WA-COV-WAGES)
P7 (WA-CAP-WAGES, WA-COV-WAGES-2, WA-COV-WAGES, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P8 (WA-COV-TRANSPORT, WA-COV-TRANSPORT-2, WA-COV-TRANSPORT-3)
P9 (WA-COV-TRANSPORT, WA-COV-TRANSPORT-2, WA-COV-TRANSPORT-3, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P10 (WA-EXC-CLEANUP)
P11 (WA-COV-CLOTHING)
P12 (WA-COV-CLOTHING, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P13 (WA-COV-PEP)
P14 (WA-COV-PEP, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P15 (WA-CAP-NONMEDICAL)
P16 (WA-CAP-NONMEDICAL, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3)
P17 (WA-DEADLINE-1, WA-DEADLINE-2)
P18 (WA-REPORT-1, WA-REPORT-2, WA-REPORT-3)
P19 (WA-EXC-WAGES, WA-EXC-PROPERTY, WA-EXC-MEDICAID, WA-DEADLINE-3, WA-DEADLINE-4, WA-DEADLINE-5, WA-COLLATERAL-1, WA-COLLATERAL-2, WA-COLLATERAL-3, WA-CONDUCT-1, WA-CONDUCT-2, WA-CRIME-1, WA-CRIME-2, WA-RESIDENCY-1, WA-RESIDENCY-2, WA-SUBMIT-1, WA-SUBMIT-2, WA-SUBMIT-3, WA-DOC-1, WA-DOC-2, WA-DOC-3, WA-DOC-4, WA-DOC-5, WA-DOC-6, WA-DOC-7, WA-DOC-8, WA-TIME-1, WA-ACP-1, WA-RECCONF-1)
.ints
K0 4000000
K1 15000000
K2 1500000
K3 19000000
.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 L10
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L10
case temporary_housing -> L10
case security -> L10
case crime_scene_cleanup -> L11
case childcare -> L10
case property_replacement -> L10
case clothing_bedding -> L12
case prescription -> L14
case dental -> L10
case funeral -> L10
case legal -> L10
case tuition -> L10
case other -> L16
case unknown -> L10
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, R35
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, R35
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, R35
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, R35
0113 ret
0114 L10: push 0
0119 decide unknown_rule, P0
011d ret
011e L11: push 0
0123 decide excluded, P10
0127 ret
0128 L12: ldi confirmed
012a jnz L13
012f push 0
0134 decide needs_confirmation, P11
0138 ret
0139 L13: ldi amount_cents
013b decide eligible, P12
013f lda
0140 ldi insurance_paid_cents
0142 subs
0143 push 0
0148 max
0149 seta collateral, R35
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, R35
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, R35
0199 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each other, 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, R8
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, R8
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each medical, 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, R9
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, R9
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each counseling, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K1
00c6 gt
00c7 jz L11
00cc ldk K1
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R10
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, R10
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each lost_wages, L19
010a L15: ldr r1
010c jnz L17
0111 ldr r0
0113 lda
0114 adds
0115 ldk K2
0118 gt
0119 jz L16
011e ldk K2
0121 ldr r0
0123 subs
0124 cap expense_cap, R11
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, R11
0143 L18: next L15
0148 L19: push 0
014d str r0
014f push 0
0154 str r1
0156 each all, 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 total_cap, R7
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 total_cap, R7
0195 L23: next L20
019a L24: push 0
019f check minimum_loss, P0
01a3 ldx incident_date
01a5 push 1095
01aa adds
01ab ldx incident_date
01ad push 1826
01b2 adds
01b3 max
01b4 dup
01b5 setdate
01b6 ldx as_of_date
01b8 ge
01b9 jz L25
01be push 0
01c3 jmp L26
01c8 L25: push 1
01cd L26: note deadline_from_report
01cf check deadline, P17
01d3 ldx police_report
01d5 push 1
01da eq
01db jnz L28
01e0 ldx police_report
01e2 push 0
01e7 eq
01e8 jnz L27
01ed push 3
01f2 jmp L29
01f7 L27: push 1
01fc jmp L29
0201 L28: push 0
0206 L29: check reporting, P18
020a info P19
020d ret