The engine compiles Oklahoma'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
- 55 rules, 16 sources, 25 proofs, 7 ints, 325 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
d583e332a036711cd7cf62a4016c5095e3f9e31a2d6f04dba8c5984dcec99d7f
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 OK-EXAM-1 exam_no_bill - 21 O.S. 142A-3(C)(4)
R1 OK-EXAM-2 exam_no_bill - Okla. Admin. Code 185:15-1-6(a)-(b)
R2 OK-EXAM-3 exam_payment - 21 O.S. 142.20(C)
R3 OK-EXAM-4 expense_cap forensic_exam per claim 21 O.S. 142.20(D)(1)
R4 OK-EXAM-5 expense_cap prescription per claim 21 O.S. 142.20(D)(2)
R5 OK-EXAM-6 exam_payment - DAC Sexual Assault Examination Fund page
R6 OK-CAP-1 total_cap - 21 O.S. 142.13(B)
R7 OK-CAP-2 expense_cap counseling per claim 21 O.S. 142.13(H)
R8 OK-CAP-3 expense_cap other per claim 21 O.S. 142.13(H)
R9 OK-CAP-5 expense_cap funeral per claim 21 O.S. 142.13(I)
R10 OK-CAP-6 expense_cap crime_scene_cleanup per claim 21 O.S. 142.13(J)
R11 OK-COV-1 covered medical 21 O.S. 142.9(F)
R12 OK-COV-1B covered medical 21 O.S. 142.9(F)
R13 OK-COV-2 covered medical 21 O.S. 142.9(F)
R14 OK-COV-3 covered lost_wages 21 O.S. 142.13(A)
R15 OK-COV-4 covered counseling 21 O.S. 142.13(H)
R16 OK-COV-5 covered transportation OCVC home page, eligible expenses
R17 OK-COV-6 covered dental OCVC home page, eligible expenses
R18 OK-EXCL-1 excluded property_replacement OCVC Fund Eligibility page
R19 OK-DEAD-1 deadline - from crime 21 O.S. 142.10(A)(1)
R20 OK-DEAD-2 info - filing_deadline 21 O.S. 142.10(A)(1)
R21 OK-RPT-1 reporting - 21 O.S. 142.10(A)(4)
R22 OK-RPT-2 reporting - 21 O.S. 142.10(C)
R23 OK-COLL-1 collateral - 21 O.S. 142.10(B)(1)
R24 OK-COND-1 info - conduct_reduction 21 O.S. 142.10(B)(2)
R25 OK-EMER-1 info - emergency_award 21 O.S. 142.14
R26 OK-ELIG-1 info - eligible_crime OCVC Fund Eligibility page
R27 OK-RES-1 info - residency 21 O.S. 142.3(5)(a)
R28 OK-EXAM-7 collateral - Okla. Admin. Code 185:15-1-6(d)
R29 OK-EXAM-8 exam_payment - DAC Sexual Assault Examination Fund page
R30 OK-ELIG-2 info - eligible_crime 21 O.S. 142.20(B)(1)
R31 OK-SUBMIT-1 info - submission VCP Online Access home page, How to Apply
R32 OK-SUBMIT-2 info - submission Official Claim Form (Revised June 2019), page 1 header
R33 OK-SUBMIT-3 info - submission Official Claim Form (Revised June 2019), page 1 header
R34 OK-SUBMIT-4 info - submission Official Claim Form (Revised June 2019), instructions header
R35 OK-DOC-1 info - required_document Official Claim Form (Revised June 2019), Instructions
R36 OK-DOC-2 info - required_document Official Claim Form (Revised June 2019), Instructions, Section I
R37 OK-DOC-3 info - required_document FAQ, Do I need to submit all bills with the application?
R38 OK-DOC-4 info - required_document Application Process, Payments
R39 OK-DOC-5 info - required_document Application Process, Documentation
R40 OK-DOC-6 info - required_document Official Claim Form (Revised June 2019), Types of Expenses Covered, Income Loss / Economic Loss
R41 OK-DOC-7 info - required_document Official Claim Form (Revised June 2019), Instructions, Section G
R42 OK-DOC-8 info - required_document Official Claim Form (Revised June 2019), Section G heading
R43 OK-DOC-9 info - required_document Official Claim Form (Revised June 2019), Types of Expenses Covered, Travel
R44 OK-DOC-10 info - required_document Official Claim Form (Revised June 2019), Types of Expenses Covered, Future Economic Loss
R45 OK-DOC-11 info - required_document Official Claim Form (Revised June 2019), Types of Expenses Covered, Future Economic Loss
R46 OK-DOC-12 info - required_document Eligible Expenses, Traditional American Indian Services
R47 OK-DOC-13 info - required_document Sexual Assault Examination Fund page
R48 OK-TIME-1 info - processing_time FAQ, How Long is the Process?
R49 OK-TIME-2 info - processing_time Application Process
R50 OK-TIME-3 info - processing_time Application Process, Payments
R51 OK-TIME-4 info - processing_time Sexual Assault Examination Fund page
R52 OK-ACP-1 info - address_confidentiality OAG ACP page, program description
R53 OK-RECCONF-1 info - record_confidentiality 21 O.S. 142.9(G)
R54 OK-CAP-4 skipped - expense_cap 21 O.S. 142.13(K)
.tags pain_suffering=bit0
.sources
S0 OK-S1 sha256 533bd3950e3e8b0a https://www.okvictimscomp.com/
S1 OK-S2 sha256 7e25846ee3a89f30 https://www.okvictimscomp.com/fund-eligibility/
S2 OK-S5 sha256 50141911bba9bab6 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=69015
S3 OK-S6 sha256 8ea871d24ace45f4 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=440161
S4 OK-S7 sha256 a00ef62fdb5caba5 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=69022
S5 OK-S8 sha256 0d9ca8738dc0e7e9 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=69026
S6 OK-S9 sha256 7704adba63eb22d6 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=69032
S7 OK-S10 sha256 37a26bce80f1b966 https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=69025
S8 OK-S12 sha256 e3c55ccc204a3c67 https://www.okvictimscomp.com/wp-content/uploads/2019-Official-Claim-Form-EN_1.pdf
S9 OK-S13 sha256 4cdd89058433e113 https://oklahoma.gov/dac/victims/sexual-assault-fund.html
S10 OK-S15 sha256 b286ad18e851b62c https://www.oscn.net/applications/oscn/DeliverDocument.asp?CiteID=459386
S11 OK-S20 sha256 3153987a3d5af595 https://www.law.cornell.edu/regulations/oklahoma/OAC-185-15-1-6
S12 OK-S21 sha256 7e35f0dd13b40219 https://www.okvictimscomp.com/frequently-asked-questions/
S13 OK-S24 sha256 4661dcb1e5e19c14 https://oklahoma.gov/dac/victims/victims-compensation-program.html
S14 OK-S25 sha256 e2682481a9837f8a https://ocvcapp.okvictimscomp.com
S15 OK-S26 sha256 0b8eb7eab2b06468 https://oklahoma.gov/oag/about/divisions/victim-advocacy-and-services-unit/acp.html
.proofs
P0 ()
P1 (OK-EXAM-1, OK-EXAM-2, OK-EXAM-3, OK-EXAM-6, OK-EXAM-8)
P2 (OK-COV-1, OK-COV-1B, OK-COV-2)
P3 (OK-COV-1, OK-COV-1B, OK-COV-2, OK-COLL-1, OK-EXAM-7)
P4 (OK-CAP-2, OK-COV-4)
P5 (OK-CAP-2, OK-COV-4, OK-COLL-1, OK-EXAM-7)
P6 (OK-COV-3)
P7 (OK-COV-3, OK-COLL-1, OK-EXAM-7)
P8 (OK-COV-5)
P9 (OK-COV-5, OK-COLL-1, OK-EXAM-7)
P10 (OK-CAP-6)
P11 (OK-CAP-6, OK-COLL-1, OK-EXAM-7)
P12 (OK-EXCL-1)
P13 (OK-EXAM-5)
P14 (OK-EXAM-5, OK-COLL-1, OK-EXAM-7)
P15 (OK-COV-6)
P16 (OK-COV-6, OK-COLL-1, OK-EXAM-7)
P17 (OK-CAP-5)
P18 (OK-CAP-5, OK-COLL-1, OK-EXAM-7)
P19 (OK-CAP-4)
P20 (OK-CAP-3)
P21 (OK-CAP-3, OK-COLL-1, OK-EXAM-7)
P22 (OK-DEAD-1)
P23 (OK-RPT-1, OK-RPT-2)
P24 (OK-DEAD-2, OK-COLL-1, OK-COND-1, OK-EMER-1, OK-ELIG-1, OK-RES-1, OK-EXAM-7, OK-ELIG-2, OK-SUBMIT-1, OK-SUBMIT-2, OK-SUBMIT-3, OK-SUBMIT-4, OK-DOC-1, OK-DOC-2, OK-DOC-3, OK-DOC-4, OK-DOC-5, OK-DOC-6, OK-DOC-7, OK-DOC-8, OK-DOC-9, OK-DOC-10, OK-DOC-11, OK-DOC-12, OK-DOC-13, OK-TIME-1, OK-TIME-2, OK-TIME-3, OK-TIME-4, OK-ACP-1, OK-RECCONF-1)
.ints
K0 80000
K1 10000
K2 300000
K3 2000000
K4 750000
K5 200000
K6 2500000
.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 -> L13
case clothing_bedding -> L10
case prescription -> L17
case dental -> L19
case funeral -> L21
case legal -> L10
case tuition -> L10
case other -> L23
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, R23
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, R23
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, R23
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, R23
0113 ret
0114 L10: push 0
0119 decide unknown_rule, P0
011d ret
011e L11: ldi confirmed
0120 jnz L12
0125 push 0
012a decide needs_confirmation, P10
012e ret
012f L12: ldi amount_cents
0131 decide eligible, P11
0135 lda
0136 ldi insurance_paid_cents
0138 subs
0139 push 0
013e max
013f seta collateral, R23
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, R23
01ab ret
01ac L19: ldi confirmed
01ae jnz L20
01b3 push 0
01b8 decide needs_confirmation, P15
01bc ret
01bd L20: ldi amount_cents
01bf decide eligible, P16
01c3 lda
01c4 ldi insurance_paid_cents
01c6 subs
01c7 push 0
01cc max
01cd seta collateral, R23
01d1 ret
01d2 L21: ldi confirmed
01d4 jnz L22
01d9 push 0
01de decide needs_confirmation, P17
01e2 ret
01e3 L22: ldi amount_cents
01e5 decide eligible, P18
01e9 lda
01ea ldi insurance_paid_cents
01ec subs
01ed push 0
01f2 max
01f3 seta collateral, R23
01f7 ret
01f8 L23: alts P19
01fb ldi confirmed
01fd jnz L24
0202 push 0
0207 decide needs_confirmation, P20
020b ret
020c L24: ldi amount_cents
020e decide eligible, P21
0212 lda
0213 ldi insurance_paid_cents
0215 subs
0216 push 0
021b max
021c seta collateral, R23
0220 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each forensic_exam, 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, R3
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, R3
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each prescription, 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, 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 expense_cap, R4
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 K2
00c6 gt
00c7 jz L11
00cc ldk K2
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R7
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, R7
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, R8
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, R8
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 K4
016a gt
016b jz L21
0170 ldk K4
0173 ldr r0
0175 subs
0176 cap expense_cap, R9
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, R9
0195 L23: next L20
019a L24: push 0
019f str r0
01a1 push 0
01a6 str r1
01a8 each crime_scene_cleanup, L29
01ae L25: ldr r1
01b0 jnz L27
01b5 ldr r0
01b7 lda
01b8 adds
01b9 ldk K5
01bc gt
01bd jz L26
01c2 ldk K5
01c5 ldr r0
01c7 subs
01c8 cap expense_cap, R10
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 expense_cap, R10
01e7 L28: next L25
01ec L29: push 0
01f1 str r0
01f3 push 0
01f8 str r1
01fa each all, L34
0200 L30: ldr r1
0202 jnz L32
0207 ldr r0
0209 lda
020a adds
020b ldk K6
020e gt
020f jz L31
0214 ldk K6
0217 ldr r0
0219 subs
021a cap total_cap, R6
021e push 1
0223 str r1
0225 L31: ldr r0
0227 lda
0228 adds
0229 str r0
022b jmp L33
0230 L32: push 0
0235 cap total_cap, R6
0239 L33: next L30
023e L34: push 0
0243 check minimum_loss, P0
0247 ldx incident_date
0249 push 900
024e adds
024f dup
0250 setdate
0251 ldx as_of_date
0253 ge
0254 jz L35
0259 push 0
025e jmp L36
0263 L35: push 1
0268 L36: check deadline, P22
026c ldx police_report
026e push 1
0273 eq
0274 jnz L38
0279 ldx forensic_exam
027b jnz L38
0280 ldx police_report
0282 push 0
0287 eq
0288 jnz L37
028d push 3
0292 jmp L39
0297 L37: push 1
029c jmp L39
02a1 L38: push 0
02a6 L39: check reporting, P23
02aa info P24
02ad ret