The engine compiles Hawaii'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
- 39 rules, 17 sources, 23 proofs, 1 ints, 234 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
c24e99842879f9f664086ab6889653a86de2a602dc96537cecf42f60e11edc50
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 HI-EXAM-1 exam_no_bill - Dept. of the Attorney General, HSART Program page, "Who We Are and What We Do"
R1 HI-CAP-1 total_cap - HRS 351-62(b)
R2 HI-DEADLINE-1 deadline - from crime HRS 351-62(a)
R3 HI-DEADLINE-2 deadline - from crime Haw. Admin. R. 23-605-2 (definition of "Good cause")
R4 HI-REPORT-1 reporting - HRS 351-31(d)
R5 HI-REPORT-2 reporting - Haw. Admin. R. 23-605-2 (definition of "Undue delay")
R6 HI-COLLATERAL-1 collateral - HRS 351-63(a)
R7 HI-COLLATERAL-2 collateral - CVCC Crime-Related Expenses page
R8 HI-CONDUCT-1 info - conduct_reduction HRS 351-31(c)
R9 HI-CONDUCT-2 info - conduct_reduction Haw. Admin. R. 23-605-7(a)(1)
R10 HI-CRIME-1 info - eligible_crime HRS 351-32(12)-(15)
R11 HI-CRIME-2 info - eligible_crime HRS 351-32(17)
R12 HI-RES-1 info - residency HRS 351-31(a)
R13 HI-COVER-MED-1 covered medical Haw. Admin. R. 23-605-9(c)
R14 HI-COVER-RX-1 covered prescription Haw. Admin. R. 23-605-9(c)(5)
R15 HI-COVER-GLASSES-1 covered medical Haw. Admin. R. 23-605-9(c)(6)
R16 HI-COVER-COUNSEL-1 covered counseling CVCC Crime-Related Expenses page
R17 HI-COVER-DENTAL-1 covered dental CVCC Crime-Related Expenses page
R18 HI-COVER-WAGES-1 covered lost_wages HRS 351-33(2)
R19 HI-COVER-PAIN-1 covered other HRS 351-33(4)
R20 HI-COVER-EVIDENCE-1 covered property_replacement Haw. Admin. R. 23-605-14(1)-(2)
R21 HI-COVER-CLEANUP-1 covered crime_scene_cleanup Haw. Admin. R. 23-605-14(1)
R22 HI-COVER-CHILDCARE-1 covered childcare Haw. Admin. R. 23-605-14(4)
R23 HI-EXCL-PROPERTY-1 info - excluded_expense CVCC Crime-Related Expenses page
R24 HI-EXCL-JAIL-1 info - excluded_expense HRS 351-31(f)
R25 HI-EXCL-NOSHOW-1 info - excluded_expense Haw. Admin. R. 23-605-10(c)(3)
R26 HI-SUBMIT-1 info - submission How to Apply, Compensation Application
R27 HI-SUBMIT-2 info - submission How to Apply, Compensation Application
R28 HI-SUBMIT-3 info - submission Application Form, page 2, submission block
R29 HI-SUBMIT-4 info - submission Application Form, page 2, submission block
R30 HI-DOC-1 info - required_document How to Apply, Compensation Application
R31 HI-DOC-2 info - required_document How to Apply, Compensation Application
R32 HI-DOC-3 info - required_document How to Apply, Compensation Application
R33 HI-DOC-4 info - required_document How to Apply, Compensation Application
R34 HI-DOC-5 info - required_document How to Apply, How will my application be processed by the Commission?
R35 HI-DOC-6 info - required_document HAR 23-605-4(b)
R36 HI-DOC-7 info - required_document HAR 23-605-12(b)
R37 HI-DOC-8 info - required_document Application Form, page 2, submission block
R38 HI-ACP-1 info - address_confidentiality Dept. of Law Enforcement, Hawaii ACP page, "What is Hawaii ACP?"
.sources
S0 HI-S1 sha256 c6d3ad9d983ab862 https://dcr.hawaii.gov/cvcc/who-is-eligible/
S1 HI-S2 sha256 41fba5183c694a14 https://dcr.hawaii.gov/cvcc/benefits/
S2 HI-S3 sha256 9c27a67a5a3e5426 https://dcr.hawaii.gov/cvcc/apply-for-compensation/
S3 HI-S4 sha256 a9630b64d1fed3da https://dcr.hawaii.gov/cvcc/cvcc-frequently-asked-questions/
S4 HI-S5 sha256 6777dc066714062a https://dcr.hawaii.gov/wp-content/uploads/2026/03/rules23-605.pdf
S5 HI-S7 sha256 621dfaeddd13aa56 https://dcr.hawaii.gov/cvcc/wp-content/uploads/sites/2/2026/06/Compensation_Application_2026-Fillable-06092026.pdf
S6 HI-S8 sha256 ac2edd8a40e5ba77 https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0062.htm
S7 HI-S9 sha256 c5deb85c71df31c6 https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0031.htm
S8 HI-S10 sha256 91d77d1b5c4d53a5 https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0032.htm
S9 HI-S11 sha256 91a4565e3c51d0ff https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0033.htm
S10 HI-S12 sha256 877b032b11b850eb https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0063.htm
S11 HI-S13 sha256 d9432fda26ea3f23 https://www.capitol.hawaii.gov/hrscurrent/Vol07_Ch0346-0398/HRS0351/HRS_0351-0002.htm
S12 HI-S14 sha256 950663a79470572f https://ag.hawaii.gov/cpja/home/hawaii-sexual-assault-response-and-training-hsart-program/
S13 HI-S15 sha256 be91c4f20064308d https://www.capitol.hawaii.gov/hrscurrent/Vol14_Ch0701-0853/HRS0801G/HRS_0801G-0001.htm
S14 HI-S16 sha256 7f74d88927ef3980 https://www.capitol.hawaii.gov/hrscurrent/Vol14_Ch0701-0853/HRS0801G/HRS_0801G-0002.htm
S15 HI-S17 sha256 3d62c44d678ca8a3 https://www.capitol.hawaii.gov/hrscurrent/Vol14_Ch0701-0853/HRS0801G/HRS_0801G-0003.htm
S16 HI-S18 sha256 099d89cbc0111583 https://law.hawaii.gov/resources/hawaii-address-confidentiality-program-acp/
.proofs
P0 ()
P1 (HI-EXAM-1)
P2 (HI-COVER-MED-1, HI-COVER-GLASSES-1)
P3 (HI-COVER-MED-1, HI-COVER-GLASSES-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P4 (HI-COVER-COUNSEL-1)
P5 (HI-COVER-COUNSEL-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P6 (HI-COVER-WAGES-1)
P7 (HI-COVER-WAGES-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P8 (HI-COVER-CLEANUP-1)
P9 (HI-COVER-CLEANUP-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P10 (HI-COVER-CHILDCARE-1)
P11 (HI-COVER-CHILDCARE-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P12 (HI-COVER-EVIDENCE-1)
P13 (HI-COVER-EVIDENCE-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P14 (HI-COVER-RX-1)
P15 (HI-COVER-RX-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P16 (HI-COVER-DENTAL-1)
P17 (HI-COVER-DENTAL-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P18 (HI-COVER-PAIN-1)
P19 (HI-COVER-PAIN-1, HI-COLLATERAL-1, HI-COLLATERAL-2)
P20 (HI-DEADLINE-1, HI-DEADLINE-2)
P21 (HI-REPORT-1, HI-REPORT-2)
P22 (HI-COLLATERAL-1, HI-COLLATERAL-2, HI-CONDUCT-1, HI-CONDUCT-2, HI-CRIME-1, HI-CRIME-2, HI-RES-1, HI-EXCL-PROPERTY-1, HI-EXCL-JAIL-1, HI-EXCL-NOSHOW-1, HI-SUBMIT-1, HI-SUBMIT-2, HI-SUBMIT-3, HI-SUBMIT-4, HI-DOC-1, HI-DOC-2, HI-DOC-3, HI-DOC-4, HI-DOC-5, HI-DOC-6, HI-DOC-7, HI-DOC-8, HI-ACP-1)
.ints
K0 1000000
.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 L8
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L8
case temporary_housing -> L8
case security -> L8
case crime_scene_cleanup -> L9
case childcare -> L11
case property_replacement -> L13
case clothing_bedding -> L8
case prescription -> L15
case dental -> L17
case funeral -> L8
case legal -> L8
case tuition -> L8
case other -> L19
case unknown -> L8
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, R6
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, R6
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, R6
00ed ret
00ee L8: push 0
00f3 decide unknown_rule, P0
00f7 ret
00f8 L9: ldi confirmed
00fa jnz L10
00ff push 0
0104 decide needs_confirmation, P8
0108 ret
0109 L10: ldi amount_cents
010b decide eligible, P9
010f lda
0110 ldi insurance_paid_cents
0112 subs
0113 push 0
0118 max
0119 seta collateral, R6
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, R6
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, R6
0169 ret
016a L15: ldi confirmed
016c jnz L16
0171 push 0
0176 decide needs_confirmation, P14
017a ret
017b L16: ldi amount_cents
017d decide eligible, P15
0181 lda
0182 ldi insurance_paid_cents
0184 subs
0185 push 0
018a max
018b seta collateral, R6
018f ret
0190 L17: ldi confirmed
0192 jnz L18
0197 push 0
019c decide needs_confirmation, P16
01a0 ret
01a1 L18: ldi amount_cents
01a3 decide eligible, P17
01a7 lda
01a8 ldi insurance_paid_cents
01aa subs
01ab push 0
01b0 max
01b1 seta collateral, R6
01b5 ret
01b6 L19: ldi confirmed
01b8 jnz L20
01bd push 0
01c2 decide needs_confirmation, P18
01c6 ret
01c7 L20: ldi amount_cents
01c9 decide eligible, P19
01cd lda
01ce ldi insurance_paid_cents
01d0 subs
01d1 push 0
01d6 max
01d7 seta collateral, R6
01db ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each all, 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 total_cap, R1
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 total_cap, R1
004d L3: next L0
0052 L4: push 0
0057 check minimum_loss, P0
005b ldx incident_date
005d push 540
0062 adds
0063 ldx incident_date
0065 push 540
006a adds
006b max
006c dup
006d setdate
006e ldx as_of_date
0070 ge
0071 jz L5
0076 push 0
007b jmp L6
0080 L5: push 1
0085 L6: check deadline, P20
0089 ldx police_report
008b push 1
0090 eq
0091 jnz L8
0096 ldx police_report
0098 push 0
009d eq
009e jnz L7
00a3 push 3
00a8 jmp L9
00ad L7: push 1
00b2 jmp L9
00b7 L8: push 0
00bc L9: check reporting, P21
00c0 info P22
00c3 ret