The engine compiles Rhode Island'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
- 43 rules, 15 sources, 20 proofs, 3 ints, 259 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
3713e40d142e2c5ced65aaafc3f56df459e341b940752bd10a2cc41cf86fd6b3
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 RI-EXAM-1 exam_payment - Sexual Assault Victims Bill of Rights (R.I. Gen. Laws § 23-98-5), "Your right to obtain a medical examination"
R1 RI-CRIME-1 info - eligible_crime R.I. Gen. Laws § 12-25-20(11)
R2 RI-CRIME-2 info - eligible_crime R.I. Gen. Laws § 12-25-17(8)
R3 RI-CAP-1 total_cap - R.I. Gen. Laws § 12-25-22(b)
R4 RI-DEADLINE-1 deadline - from crime R.I. Gen. Laws § 12-25-22(a)
R5 RI-DEADLINE-2 info - filing_deadline 120-RICR-00-00-2.7(A)(1)(a)
R6 RI-DEADLINE-3 info - filing_deadline 120-RICR-00-00-2.7(A)(1)(c)
R7 RI-REPORT-1 reporting - R.I. Gen. Laws § 12-25-22(a)
R8 RI-REPORT-2 reporting - 120-RICR-00-00-2.7(A)(2)(c)
R9 RI-REPORT-3 reporting - 120-RICR-00-00-2.7(A)(2)(d)
R10 RI-REPORT-4 reporting - 120-RICR-00-00-2.7(A)(3)(b)
R11 RI-REPORT-5 reporting - 120-RICR-00-00-2.7(A)(2)(b)
R12 RI-COLLATERAL-1 collateral - R.I. Gen. Laws § 12-25-23(b)
R13 RI-CONDUCT-1 info - conduct_reduction R.I. Gen. Laws § 12-25-19(d)(1)(iv)
R14 RI-EMERG-1 info - emergency_award R.I. Gen. Laws § 12-25-21.1(a)
R15 RI-MED-1 covered medical R.I. Gen. Laws § 12-25-17(7)(i)(A)
R16 RI-MED-2 covered medical R.I. Gen. Laws § 12-25-19(h)
R17 RI-DENTAL-1 covered dental CVCP FAQ, "What expenses are eligible for reimbursement?"
R18 RI-COUNSEL-1 covered counseling 120-RICR-00-00-2.8(A)(3)(a)
R19 RI-COUNSEL-2 expense_cap counseling per hour 120-RICR-00-00-2.8(A)(3)(e)(1)
R20 RI-WAGES-1 covered lost_wages R.I. Gen. Laws § 12-25-17(7)(i)(C)
R21 RI-WAGES-2 covered lost_wages 120-RICR-00-00-2.8(A)(4)(b)
R22 RI-TRAVEL-1 expense_cap transportation per claim 120-RICR-00-00-2.8(A)(14)(a)(1)
R23 RI-RELOC-1 covered relocation 120-RICR-00-00-2.8(A)(12)
R24 RI-SECURITY-1 expense_cap security per claim R.I. Gen. Laws § 12-25-21.1(f)
R25 RI-EXCL-1 info - excluded_expense 120-RICR-00-00-2.8(A)(1)(h)
R26 RI-EXCL-2 excluded - 120-RICR-00-00-2.8(A)(8)
R27 RI-RES-1 info - residency R.I. Gen. Laws § 12-25-19(a)(1)
R28 RI-RES-2 info - residency R.I. Gen. Laws § 12-25-19(a)(3)
R29 RI-SUBMIT-1 info - submission CVCP Application, page 2, return address
R30 RI-SUBMIT-2 info - submission Crime Victim Compensation Program page, how to apply
R31 RI-SUBMIT-3 info - submission Crime Victim Compensation Program page, how to apply (link target http://cvcapp.treasury.ri.gov/)
R32 RI-DOC-1 info - required_document CVCP Application, page 2
R33 RI-DOC-2 info - required_document CVCP Application, page 1, Expenses section
R34 RI-DOC-3 info - required_document 120-RICR-00-00-2.11, Applicant's Obligations (2)
R35 RI-DOC-4 info - required_document 120-RICR-00-00-2.11(C) Burden of Proof
R36 RI-DOC-5 info - required_document 120-RICR-00-00-2.11(C) Burden of Proof
R37 RI-DOC-6 info - required_document 120-RICR-00-00-2.7(A)(2)(e)
R38 RI-DOC-7 info - required_document 120-RICR-00-00-2.8(A)(4)(a)
R39 RI-ACP-1 info - address_confidentiality ACP page, program description
R40 RI-RECCONF-1 info - record_confidentiality 120-RICR-00-00-2.13
R41 RI-COUNSEL-3 skipped - expense_cap 120-RICR-00-00-2.8(A)(3)(e)(2)
R42 RI-COUNSEL-4 skipped - expense_cap 120-RICR-00-00-2.8(A)(3)(e)(3)
.tags pain_suffering=bit0
.sources
S0 RI-S1 sha256 d416b93fcca6b868 https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-17.htm
S1 RI-S2 sha256 c30f0da972e3fbfe https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-19.htm
S2 RI-S3 sha256 5024b4465badb738 https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-20.htm
S3 RI-S4 sha256 8a2899b6756c19c0 https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-21.htm
S4 RI-S5 sha256 3c0b6ad1e69fd9b9 https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-21.1.htm
S5 RI-S6 sha256 da578385e641228b https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-22.htm
S6 RI-S7 sha256 d5cbf9066e631707 https://webserver.rilegislature.gov/Statutes/TITLE12/12-25/12-25-23.htm
S7 RI-S8 sha256 73e9d376109ef912 https://treasury.ri.gov/programs/crime-victim-compensation-program
S8 RI-S9 sha256 df766d3d75768a41 https://treasury.ri.gov/media/521/download?language=en
S9 RI-S11 sha256 302db4de6edc0018 https://treasury.ri.gov/media/436/download?language=en
S10 RI-S12 sha256 0328a8822db126b2 https://riag.ri.gov/savbor
S11 RI-S14 sha256 9122ba364aeeadf7 https://risos-apa-production-public.s3.amazonaws.com/GT/REG_13512_20260923144402107.pdf
S12 RI-S15 sha256 ffa9966beb13bc7f https://webserver.rilegislature.gov/Statutes/TITLE42/42-164/42-164-3.htm
S13 RI-S16 sha256 867e849e63695406 https://webserver.rilegislature.gov/Statutes/TITLE42/42-164/42-164-2.htm
S14 RI-S17 sha256 19e2799c6e5b5d78 https://www.sos.ri.gov/AddressConfidentialityProgram
.proofs
P0 ()
P1 (RI-EXCL-2)
P2 (RI-MED-1, RI-MED-2)
P3 (RI-MED-1, RI-MED-2, RI-COLLATERAL-1)
P4 (RI-COUNSEL-3, RI-COUNSEL-4)
P5 (RI-COUNSEL-1, RI-COUNSEL-2)
P6 (RI-COUNSEL-1, RI-COUNSEL-2, RI-COLLATERAL-1)
P7 (RI-WAGES-1, RI-WAGES-2)
P8 (RI-WAGES-1, RI-WAGES-2, RI-COLLATERAL-1)
P9 (RI-TRAVEL-1)
P10 (RI-TRAVEL-1, RI-COLLATERAL-1)
P11 (RI-RELOC-1)
P12 (RI-RELOC-1, RI-COLLATERAL-1)
P13 (RI-SECURITY-1)
P14 (RI-SECURITY-1, RI-COLLATERAL-1)
P15 (RI-DENTAL-1)
P16 (RI-DENTAL-1, RI-COLLATERAL-1)
P17 (RI-DEADLINE-1)
P18 (RI-REPORT-1, RI-REPORT-2, RI-REPORT-3, RI-REPORT-4, RI-REPORT-5)
P19 (RI-EXAM-1, RI-CRIME-1, RI-CRIME-2, RI-DEADLINE-2, RI-DEADLINE-3, RI-COLLATERAL-1, RI-CONDUCT-1, RI-EMERG-1, RI-EXCL-1, RI-RES-1, RI-RES-2, RI-SUBMIT-1, RI-SUBMIT-2, RI-SUBMIT-3, RI-DOC-1, RI-DOC-2, RI-DOC-3, RI-DOC-4, RI-DOC-5, RI-DOC-6, RI-DOC-7, RI-ACP-1, RI-RECCONF-1)
.ints
K0 13000
K1 100000
K2 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 L27
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L22
case temporary_housing -> L27
case security -> L31
case crime_scene_cleanup -> L27
case childcare -> L27
case property_replacement -> L27
case clothing_bedding -> L27
case prescription -> L27
case dental -> L36
case funeral -> L27
case legal -> L27
case tuition -> L27
case other -> L27
case unknown -> L27
0068 L0: push 0
006d decide out_of_window, P0
0071 ret
0072 L1: setexp medical
0074 jmp L2
0079 L2: push 0
007e str r0
0080 ldi tags
0082 push 1
0087 and
0088 jz L3
008d ldr r0
008f push 1
0094 or
0095 str r0
0097 L3: ldr r0
0099 switch 2, default L5
case 0 -> L5
case 1 -> L4
00a7 L4: push 0
00ac decide excluded, P1
00b0 ret
00b1 L5: ldi confirmed
00b3 jnz L6
00b8 push 0
00bd decide needs_confirmation, P2
00c1 ret
00c2 L6: ldi amount_cents
00c4 decide eligible, P3
00c8 lda
00c9 ldi insurance_paid_cents
00cb subs
00cc push 0
00d1 max
00d2 seta collateral, R12
00d6 ret
00d7 L7: push 0
00dc str r0
00de ldi tags
00e0 push 1
00e5 and
00e6 jz L8
00eb ldr r0
00ed push 1
00f2 or
00f3 str r0
00f5 L8: ldr r0
00f7 switch 2, default L10
case 0 -> L10
case 1 -> L9
0105 L9: push 0
010a decide excluded, P1
010e ret
010f L10: alts P4
0112 ldi confirmed
0114 jnz L11
0119 push 0
011e decide needs_confirmation, P5
0122 ret
0123 L11: ldi amount_cents
0125 decide eligible, P6
0129 lda
012a ldi insurance_paid_cents
012c subs
012d push 0
0132 max
0133 seta collateral, R12
0137 ret
0138 L12: push 0
013d str r0
013f ldi tags
0141 push 1
0146 and
0147 jz L13
014c ldr r0
014e push 1
0153 or
0154 str r0
0156 L13: ldr r0
0158 switch 2, default L15
case 0 -> L15
case 1 -> L14
0166 L14: push 0
016b decide excluded, P1
016f ret
0170 L15: ldi confirmed
0172 jnz L16
0177 push 0
017c decide needs_confirmation, P7
0180 ret
0181 L16: ldi amount_cents
0183 decide eligible, P8
0187 lda
0188 ldi insurance_paid_cents
018a subs
018b push 0
0190 max
0191 seta collateral, R12
0195 ret
0196 L17: push 0
019b str r0
019d ldi tags
019f push 1
01a4 and
01a5 jz L18
01aa ldr r0
01ac push 1
01b1 or
01b2 str r0
01b4 L18: ldr r0
01b6 switch 2, default L20
case 0 -> L20
case 1 -> L19
01c4 L19: push 0
01c9 decide excluded, P1
01cd ret
01ce L20: ldi confirmed
01d0 jnz L21
01d5 push 0
01da decide needs_confirmation, P9
01de ret
01df L21: ldi amount_cents
01e1 decide eligible, P10
01e5 lda
01e6 ldi insurance_paid_cents
01e8 subs
01e9 push 0
01ee max
01ef seta collateral, R12
01f3 ret
01f4 L22: push 0
01f9 str r0
01fb ldi tags
01fd push 1
0202 and
0203 jz L23
0208 ldr r0
020a push 1
020f or
0210 str r0
0212 L23: ldr r0
0214 switch 2, default L25
case 0 -> L25
case 1 -> L24
0222 L24: push 0
0227 decide excluded, P1
022b ret
022c L25: ldi confirmed
022e jnz L26
0233 push 0
0238 decide needs_confirmation, P11
023c ret
023d L26: ldi amount_cents
023f decide eligible, P12
0243 lda
0244 ldi insurance_paid_cents
0246 subs
0247 push 0
024c max
024d seta collateral, R12
0251 ret
0252 L27: push 0
0257 str r0
0259 ldi tags
025b push 1
0260 and
0261 jz L28
0266 ldr r0
0268 push 1
026d or
026e str r0
0270 L28: ldr r0
0272 switch 2, default L30
case 0 -> L30
case 1 -> L29
0280 L29: push 0
0285 decide excluded, P1
0289 ret
028a L30: push 0
028f decide unknown_rule, P0
0293 ret
0294 L31: push 0
0299 str r0
029b ldi tags
029d push 1
02a2 and
02a3 jz L32
02a8 ldr r0
02aa push 1
02af or
02b0 str r0
02b2 L32: ldr r0
02b4 switch 2, default L34
case 0 -> L34
case 1 -> L33
02c2 L33: push 0
02c7 decide excluded, P1
02cb ret
02cc L34: ldi confirmed
02ce jnz L35
02d3 push 0
02d8 decide needs_confirmation, P13
02dc ret
02dd L35: ldi amount_cents
02df decide eligible, P14
02e3 lda
02e4 ldi insurance_paid_cents
02e6 subs
02e7 push 0
02ec max
02ed seta collateral, R12
02f1 ret
02f2 L36: push 0
02f7 str r0
02f9 ldi tags
02fb push 1
0300 and
0301 jz L37
0306 ldr r0
0308 push 1
030d or
030e str r0
0310 L37: ldr r0
0312 switch 2, default L39
case 0 -> L39
case 1 -> L38
0320 L38: push 0
0325 decide excluded, P1
0329 ret
032a L39: ldi confirmed
032c jnz L40
0331 push 0
0336 decide needs_confirmation, P15
033a ret
033b L40: ldi amount_cents
033d decide eligible, P16
0341 lda
0342 ldi insurance_paid_cents
0344 subs
0345 push 0
034a max
034b seta collateral, R12
034f 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, R19
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R19
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each transportation, 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, R22
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, R22
0092 L8: next L5
0097 L9: push 0
009c str r0
009e push 0
00a3 str r1
00a5 each security, L14
00ab L10: ldr r1
00ad jnz L12
00b2 ldr r0
00b4 lda
00b5 adds
00b6 ldk K1
00b9 gt
00ba jz L11
00bf ldk K1
00c2 ldr r0
00c4 subs
00c5 cap expense_cap, R24
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, R24
00e4 L13: next L10
00e9 L14: push 0
00ee str r0
00f0 push 0
00f5 str r1
00f7 each all, L19
00fd L15: ldr r1
00ff jnz L17
0104 ldr r0
0106 lda
0107 adds
0108 ldk K2
010b gt
010c jz L16
0111 ldk K2
0114 ldr r0
0116 subs
0117 cap total_cap, R3
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 total_cap, R3
0136 L18: next L15
013b L19: push 0
0140 check minimum_loss, P0
0144 ldx incident_date
0146 push 1095
014b adds
014c dup
014d setdate
014e ldx as_of_date
0150 ge
0151 jz L20
0156 push 0
015b jmp L21
0160 L20: push 1
0165 L21: check deadline, P17
0169 ldx police_report
016b push 1
0170 eq
0171 jnz L23
0176 ldx forensic_exam
0178 jnz L23
017d ldx police_report
017f push 0
0184 eq
0185 jnz L22
018a push 3
018f jmp L24
0194 L22: push 1
0199 jmp L24
019e L23: push 0
01a3 L24: check reporting, P18
01a7 info P19
01aa ret