The engine compiles Massachusetts'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
- 52 rules, 15 sources, 28 proofs, 6 ints, 297 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
8d4ef3276c373f07d5fa5b7b4029b309fb9845b991902bc159b3937547c1a894
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 MA-EXAM-1 exam_no_bill - MA SANE Protocol, Section X (Victim compensation)
R1 MA-EXAM-2 exam_no_bill - MA SANE Protocol, Section X (Victim compensation)
R2 MA-EXAM-3 exam_no_bill - MSAECK survivor brochure, Payment of Related Expenses
R3 MA-EXAM-4 exam_no_bill - Coverage and Billing Procedures for Sexual Assault Exams in Massachusetts (2018), If a Sexual Assault Forensic Exam is Administered
R4 MA-EXAM-5 exam_payment - 124 CMR 2.06(15)
R5 MA-EXAM-6 exam_payment - 124 CMR 2.06(15)(g)
R6 MA-EXAM-7 reporting - MA SANE Protocol, Section X (Direct billing process)
R7 MA-EXAM-8 covered medical 124 CMR 2.06(15)(b)
R8 MA-CAP-1 total_cap - M.G.L. c. 258C, s. 3(a)
R9 MA-CAP-2 expense_cap security per claim M.G.L. c. 258C, s. 3(b)(2)(I)
R10 MA-CAP-3 expense_cap clothing_bedding per claim M.G.L. c. 258C, s. 3(b)(2)(H)
R11 MA-CAP-4 expense_cap crime_scene_cleanup per claim M.G.L. c. 258C, s. 3(b)(2)(G)
R12 MA-CAP-5 expense_cap funeral per claim M.G.L. c. 258C, s. 3(b)(1)(A)
R13 MA-CAP-6 expense_cap legal per hour 124 CMR 2.06(10)(b)
R14 MA-COV-1 covered counseling M.G.L. c. 258C, s. 3(b)(2)(C)
R15 MA-COV-2 covered medical M.G.L. c. 258C, s. 3(b)(2)(B)
R16 MA-COV-3 covered lost_wages M.G.L. c. 258C, s. 3(b)(2)(D)
R17 MA-COV-4 covered prescription MOVA, Applying for Victims of Violent Crime Assistance, What expenses are covered?
R18 MA-COV-5 covered dental M.G.L. c. 258C, s. 1 ("Medical care")
R19 MA-COV-6 covered transportation 124 CMR 2.06(4)(b)
R20 MA-COV-7 covered security 124 CMR 2.06(13)(b)
R21 MA-EXCL-1 excluded property_replacement MOVA, Applying for Victims of Violent Crime Assistance, What expenses are not covered?
R22 MA-EXCL-2 info - excluded_expense 124 CMR 2.06(4)(b)
R23 MA-EXCL-3 info - excluded_expense 124 CMR 2.06(5)(f)
R24 MA-DEAD-1 deadline - from crime M.G.L. c. 258C, s. 5(a)(1)
R25 MA-DEAD-2 info - filing_deadline 124 CMR 2.05(7)(a)
R26 MA-DEAD-3 deadline - from discovery 124 CMR 2.05(7)(c)
R27 MA-REPORT-1 reporting - M.G.L. c. 258C, s. 2(b)
R28 MA-REPORT-2 reporting - 124 CMR 2.05(4)(d)
R29 MA-REPORT-3 reporting - 124 CMR 2.05(4)(c)
R30 MA-REPORT-4 reporting - 124 CMR 2.05(4)(e)
R31 MA-REPORT-5 reporting - 124 CMR 2.05(5)(b)-(c)
R32 MA-REPORT-6 reporting - 124 CMR 2.05(4)(b)
R33 MA-COLL-1 collateral - M.G.L. c. 258C, s. 10
R34 MA-COLL-2 collateral - 124 CMR 2.08(2)(g)
R35 MA-COND-1 info - conduct_reduction M.G.L. c. 258C, s. 2(e)
R36 MA-COND-2 info - conduct_reduction 124 CMR 2.07(1)(b)
R37 MA-CRIME-1 info - eligible_crime MA SANE Protocol, Section X (Victim compensation)
R38 MA-CRIME-2 info - eligible_crime 124 CMR 2.03 (Crime)
R39 MA-RES-1 info - residency M.G.L. c. 258C, s. 1 ("Crime")
R40 MA-RES-2 info - residency 124 CMR 2.03 (Crime)
R41 MA-SUB-1 info - submission MOVA Application for Victim Compensation (2026, English), page 4, after section 9 (Acknowledgement)
R42 MA-SUB-2 info - submission MOVA Application for Victim Compensation (2026, English), page 4, after section 9 (Acknowledgement)
R43 MA-SUB-3 info - submission MOVA Application for Victim Compensation (2026, English), page 4, after section 9 (Acknowledgement)
R44 MA-DOC-1 info - required_document MOVA Application for Victim Compensation (2026, English), page 3, section 5 (Expenses)
R45 MA-DOC-2 info - required_document 124 CMR 2.08(1)(c)
R46 MA-DOC-3 info - required_document MA SANE Protocol, Section X (Patient declines MSAECK or patient ineligible for MSAECK)
R47 MA-DOC-4 info - required_document 124 CMR 2.06(6)(f)1.
R48 MA-DOC-5 info - required_document 124 CMR 2.06(6)(a)
R49 MA-TIME-1 info - processing_time Mass.gov, Applying for Victims of Violent Crime Assistance, 'To apply'
R50 MA-ACP-1 info - address_confidentiality Secretary of the Commonwealth, Address Confidentiality Program page, introduction
R51 MA-RECORDS-1 info - record_confidentiality 124 CMR 2.09, Confidentiality of Records
.tags pain_suffering=bit0
.sources
S0 MA-S1 sha256 cc3f5397ac8d1aac https://www.mass.gov/massachusetts-victims-of-violent-crime-compensation
S1 MA-S2 sha256 13b7627fa7e15d7d https://www.mass.gov/info-details/applying-for-victims-of-violent-crime-assistance
S2 MA-S4 sha256 046f0367724c6f05 https://www.mass.gov/doc/victim-compensation-application-english/download
S3 MA-S5 sha256 3f095c5a964e4cde https://malegislature.gov/Laws/GeneralLaws/PartIII/TitleIV/Chapter258C/Section1
S4 MA-S6 sha256 3d281e593d2162c8 https://malegislature.gov/Laws/GeneralLaws/PartIII/TitleIV/Chapter258C/Section2
S5 MA-S7 sha256 2219ba9e8043e699 https://malegislature.gov/Laws/GeneralLaws/PartIII/TitleIV/Chapter258C/Section3
S6 MA-S9 sha256 f027bfe8924268e2 https://malegislature.gov/Laws/GeneralLaws/PartIII/TitleIV/Chapter258C/Section5
S7 MA-S10 sha256 3feeab2d7542e0b8 https://malegislature.gov/Laws/GeneralLaws/PartIII/TitleIV/Chapter258C/Section10
S8 MA-S11 sha256 17629898a091ca94 https://www.mass.gov/doc/124-cmr-2-compensation-for-victims-of-violent-crimes/download
S9 MA-S12 sha256 046e09c1ed7e6eca https://www.mass.gov/doc/coverage-and-billing-procedures-for-sexual-assault-exams-in-massachusetts/download
S10 MA-S13 sha256 7c7aaddf4756d970 https://www.mass.gov/info-details/section-x-victim-compensation
S11 MA-S14 sha256 828fdedaae1e4a16 https://www.mass.gov/doc/information-on-the-massachusetts-sexual-assault-evidence-collection-kit/download
S12 MA-S15 sha256 d0da3cb978f901c8 https://www.mass.gov/doc/attachment-b-forensic-sexual-assault-medical-examination-contact-form/download
S13 MA-S16 sha256 479fcae242057855 https://www.sec.state.ma.us/divisions/acp/address-confidentiality-program.htm
S14 MA-S17 sha256 ff11a14003bb0bc9 https://www.sec.state.ma.us/divisions/acp/how-to-apply-survivors.htm
.proofs
P0 ()
P1 (MA-EXAM-1, MA-EXAM-2, MA-EXAM-3, MA-EXAM-4, MA-EXAM-5, MA-EXAM-6)
P2 (MA-EXAM-8, MA-COV-2)
P3 (MA-EXAM-8, MA-COV-2, MA-COLL-1, MA-COLL-2)
P4 (MA-COV-1)
P5 (MA-COV-1, MA-COLL-1, MA-COLL-2)
P6 (MA-COV-3)
P7 (MA-COV-3, MA-COLL-1, MA-COLL-2)
P8 (MA-COV-6)
P9 (MA-COV-6, MA-COLL-1, MA-COLL-2)
P10 (MA-CAP-2, MA-COV-7)
P11 (MA-CAP-2, MA-COV-7, MA-COLL-1, MA-COLL-2)
P12 (MA-CAP-4)
P13 (MA-CAP-4, MA-COLL-1, MA-COLL-2)
P14 (MA-EXCL-1)
P15 (MA-CAP-3)
P16 (MA-CAP-3, MA-COLL-1, MA-COLL-2)
P17 (MA-COV-4)
P18 (MA-COV-4, MA-COLL-1, MA-COLL-2)
P19 (MA-COV-5)
P20 (MA-COV-5, MA-COLL-1, MA-COLL-2)
P21 (MA-CAP-5)
P22 (MA-CAP-5, MA-COLL-1, MA-COLL-2)
P23 (MA-CAP-6)
P24 (MA-CAP-6, MA-COLL-1, MA-COLL-2)
P25 (MA-DEAD-1, MA-DEAD-3)
P26 (MA-EXAM-7, MA-REPORT-1, MA-REPORT-2, MA-REPORT-3, MA-REPORT-4, MA-REPORT-5, MA-REPORT-6)
P27 (MA-EXCL-2, MA-EXCL-3, MA-DEAD-2, MA-COLL-1, MA-COLL-2, MA-COND-1, MA-COND-2, MA-CRIME-1, MA-CRIME-2, MA-RES-1, MA-RES-2, MA-SUB-1, MA-SUB-2, MA-SUB-3, MA-DOC-1, MA-DOC-2, MA-DOC-3, MA-DOC-4, MA-DOC-5, MA-TIME-1, MA-ACP-1, MA-RECORDS-1)
.ints
K0 7500
K1 300000
K2 25000
K3 150000
K4 1300000
K5 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 -> L11
case crime_scene_cleanup -> L13
case childcare -> L10
case property_replacement -> L15
case clothing_bedding -> L19
case prescription -> L21
case dental -> L23
case funeral -> L25
case legal -> L27
case tuition -> L10
case other -> L10
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, R33
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, R33
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, R33
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, R33
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, R33
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, R33
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: ldr r0
018a switch 2, default L18
case 0 -> L18
case 1 -> L17
0198 L17: push 0
019d decide excluded, P14
01a1 ret
01a2 L18: push 0
01a7 decide unknown_rule, P0
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, R33
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, R33
01f7 ret
01f8 L23: ldi confirmed
01fa jnz L24
01ff push 0
0204 decide needs_confirmation, P19
0208 ret
0209 L24: ldi amount_cents
020b decide eligible, P20
020f lda
0210 ldi insurance_paid_cents
0212 subs
0213 push 0
0218 max
0219 seta collateral, R33
021d ret
021e L25: ldi confirmed
0220 jnz L26
0225 push 0
022a decide needs_confirmation, P21
022e ret
022f L26: ldi amount_cents
0231 decide eligible, P22
0235 lda
0236 ldi insurance_paid_cents
0238 subs
0239 push 0
023e max
023f seta collateral, R33
0243 ret
0244 L27: ldi confirmed
0246 jnz L28
024b push 0
0250 decide needs_confirmation, P23
0254 ret
0255 L28: ldi amount_cents
0257 decide eligible, P24
025b lda
025c ldi insurance_paid_cents
025e subs
025f push 0
0264 max
0265 seta collateral, R33
0269 ret
.aggregate
0000 each legal, 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, R13
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R13
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each security, 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, R9
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, R9
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, R10
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, R10
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, R11
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, R11
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, R12
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, R12
0188 L23: next L20
018d L24: push 0
0192 str r0
0194 push 0
0199 str r1
019b each all, 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 total_cap, R8
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 total_cap, R8
01da L28: next L25
01df L29: push 0
01e4 check minimum_loss, P0
01e8 ldx incident_date
01ea push 1095
01ef adds
01f0 ldx incident_date
01f2 push 1095
01f7 adds
01f8 max
01f9 dup
01fa setdate
01fb ldx as_of_date
01fd ge
01fe jz L30
0203 push 0
0208 jmp L31
020d L30: push 1
0212 L31: note deadline_from_discovery
0214 check deadline, P25
0218 ldx police_report
021a push 1
021f eq
0220 jnz L33
0225 ldx police_report
0227 push 0
022c eq
022d jnz L32
0232 push 3
0237 jmp L34
023c L32: push 1
0241 jmp L34
0246 L33: push 0
024b L34: check reporting, P26
024f info P27
0252 ret