The engine compiles Maine'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
- 45 rules, 14 sources, 26 proofs, 2 ints, 269 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
559f168712e079add6ee56ef2b6080c91cbc4306ef3e0d9a32eeadd019d1c6f4
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 ME-EXAM-1 exam_no_bill - 5 M.R.S. 3360-M(3)
R1 ME-EXAM-2 exam_payment - 5 M.R.S. 3360-M(2)
R2 ME-EXAM-3 reporting - 5 M.R.S. 3360-M(3)
R3 ME-EXAM-4 exam_no_bill - Maine AG SAFE page, Notice to sexual assault victims
R4 ME-EXAM-5 exam_payment - Maine AG SAFE page, Notice to healthcare providers performing SAFE
R5 ME-CAP-1 total_cap - 5 M.R.S. 3360-E(1)
R6 ME-CAP-2 total_cap - 5 M.R.S. 3360-E(3)
R7 ME-MED-1 covered medical Maine AG Victims' Compensation page, What Expenses Are Covered?
R8 ME-DENT-1 covered dental Maine AG Victims' Compensation page, What Expenses Are Covered?
R9 ME-COUNS-1 covered counseling 5 M.R.S. 3360(4)
R10 ME-COUNS-2 covered counseling 5 M.R.S. 3360-B(3)
R11 ME-WAGE-1 covered lost_wages 5 M.R.S. 3360(4)
R12 ME-WAGE-2 covered lost_wages Maine AG Victims' Compensation page, What Expenses Are Covered?
R13 ME-TRANS-1 covered transportation 5 M.R.S. 3360(4)
R14 ME-SEC-1 covered security 5 M.R.S. 3360(4)
R15 ME-RELO-1 covered relocation 5 M.R.S. 3360(4)
R16 ME-CLEAN-1 covered crime_scene_cleanup 5 M.R.S. 3360(4)
R17 ME-PROS-1 covered other 5 M.R.S. 3360(4)
R18 ME-FUN-1 expense_cap funeral per claim Maine AG Victims' Compensation page, What Expenses Are Covered?
R19 ME-EXCL-1 excluded property_replacement Maine AG Victims' Compensation page, What Expenses Are Covered?
R20 ME-EXCL-2 info - excluded_expense Maine AG Program Law and History, What Is an Eligible Expense?
R21 ME-DEAD-1 deadline - from crime 5 M.R.S. 3360-C(1)(B)
R22 ME-DEAD-2 deadline - from discovery 5 M.R.S. 3360-C(1)(B)
R23 ME-DEAD-3 info - filing_deadline 5 M.R.S. 3360-C(3)
R24 ME-REP-1 reporting - 5 M.R.S. 3360-C(1)(A)
R25 ME-REP-2 reporting - 5 M.R.S. 3360-C(1)
R26 ME-REP-3 reporting - Maine AG SAFE page, Notice to sexual assault victims
R27 ME-COLL-1 collateral - Maine AG Victims' Compensation page, What Are the Requirements?
R28 ME-COND-1 info - conduct_reduction 5 M.R.S. 3360-C(2)(B)
R29 ME-COND-2 info - conduct_reduction 5 M.R.S. 3360-C(2)(A)
R30 ME-CRIME-1 info - eligible_crime 5 M.R.S. 3360-B(1)(B)
R31 ME-CRIME-2 info - eligible_crime 5 M.R.S. 3360(3)(J)
R32 ME-CRIME-3 info - eligible_crime 5 M.R.S. 3360(3)(H)
R33 ME-RES-1 info - residency 5 M.R.S. 3360-B(1)(A)
R34 ME-RES-2 info - residency 5 M.R.S. 3360-B(1)(C)(3)
R35 ME-SUBMIT-ONLINE info - submission AG Victims' Compensation page, Victims links
R36 ME-DOC-SIGNED info - required_document AG Program Law and History, Application Process
R37 ME-DOC-MEDICAL info - required_document 5 M.R.S. 3360-D(1)(C)
R38 ME-DOC-BILLS info - required_document 5 M.R.S. 3360-D(1)(C)
R39 ME-DOC-WAGES info - required_document 5 M.R.S. 3360-D(1)(C)
R40 ME-DOC-INSURANCE info - required_document 5 M.R.S. 3360-D(1)(D)
R41 ME-DOC-POLICE info - required_document 5 M.R.S. 3360-D(1)(B)
R42 ME-DOC-COUNSEL info - required_document AG Mental Health Counseling Guidelines
R43 ME-ACP-1 info - address_confidentiality 5 M.R.S. 90-B(2)
R44 ME-RECCONF-1 info - record_confidentiality 5 M.R.S. 3360-D(4)
.tags pain_suffering=bit0
.sources
S0 ME-S1 sha256 16ecd7100bf1835c https://www.maine.gov/ag/crime-victims/victims-compensation
S1 ME-S2 sha256 60dcbc95cb99ca91 https://www.maine.gov/ag/crime-victims/victims-compensation/eligibility-checklist
S2 ME-S3 sha256 1fdb72baf091f69d https://www.maine.gov/ag/crime-victims/sexual-assault-forensic-examinations-safe
S3 ME-S4 sha256 7ed6dae507768847 https://www.maine.gov/ag/crime-victims/victims-compensation/program-law-and-history
S4 ME-S5 sha256 00463280ba200626 https://www.maine.gov/ag/crime-victims/victims-compensation/mental-health-counseling-guidelines
S5 ME-S6 sha256 938decdb41d6af1c https://legislature.maine.gov/statutes/5/title5sec3360.html
S6 ME-S7 sha256 ee3c54d83cc2f917 https://legislature.maine.gov/statutes/5/title5sec3360-B.html
S7 ME-S8 sha256 babfce3e9c2eb8d9 https://legislature.maine.gov/statutes/5/title5sec3360-C.html
S8 ME-S9 sha256 bd603ca3a0e99026 https://legislature.maine.gov/statutes/5/title5sec3360-D.html
S9 ME-S10 sha256 9c0b8b9590631150 https://legislature.maine.gov/statutes/5/title5sec3360-F.html
S10 ME-S11 sha256 bd39762a6d84bcb3 https://legislature.maine.gov/statutes/5/title5sec3360-M.html
S11 ME-S12 sha256 7c8be6f3ef5949f2 https://legislature.maine.gov/statutes/5/title5sec3360-E-2.html
S12 ME-S13 sha256 b44dba82527f3390 https://legislature.maine.gov/statutes/5/title5sec3360-S.html
S13 ME-S14 sha256 1bede3834635e947 https://legislature.maine.gov/statutes/5/title5sec90-B.html
.proofs
P0 ()
P1 (ME-EXAM-1, ME-EXAM-4, ME-EXAM-2, ME-EXAM-5)
P2 (ME-MED-1)
P3 (ME-MED-1, ME-COLL-1)
P4 (ME-COUNS-1, ME-COUNS-2)
P5 (ME-COUNS-1, ME-COUNS-2, ME-COLL-1)
P6 (ME-WAGE-1, ME-WAGE-2)
P7 (ME-WAGE-1, ME-WAGE-2, ME-COLL-1)
P8 (ME-TRANS-1)
P9 (ME-TRANS-1, ME-COLL-1)
P10 (ME-RELO-1)
P11 (ME-RELO-1, ME-COLL-1)
P12 (ME-SEC-1)
P13 (ME-SEC-1, ME-COLL-1)
P14 (ME-CLEAN-1)
P15 (ME-CLEAN-1, ME-COLL-1)
P16 (ME-EXCL-1)
P17 (ME-DENT-1)
P18 (ME-DENT-1, ME-COLL-1)
P19 (ME-FUN-1)
P20 (ME-FUN-1, ME-COLL-1)
P21 (ME-PROS-1)
P22 (ME-PROS-1, ME-COLL-1)
P23 (ME-DEAD-1, ME-DEAD-2)
P24 (ME-EXAM-3, ME-REP-1, ME-REP-2, ME-REP-3)
P25 (ME-EXCL-2, ME-DEAD-3, ME-COLL-1, ME-COND-1, ME-COND-2, ME-CRIME-1, ME-CRIME-2, ME-CRIME-3, ME-RES-1, ME-RES-2, ME-SUBMIT-ONLINE, ME-DOC-SIGNED, ME-DOC-MEDICAL, ME-DOC-BILLS, ME-DOC-WAGES, ME-DOC-INSURANCE, ME-DOC-POLICE, ME-DOC-COUNSEL, ME-ACP-1, ME-RECCONF-1)
.ints
K0 450000
K1 1500000
.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 L12
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L10
case temporary_housing -> L12
case security -> L13
case crime_scene_cleanup -> L15
case childcare -> L12
case property_replacement -> L17
case clothing_bedding -> L12
case prescription -> L12
case dental -> L21
case funeral -> L23
case legal -> L12
case tuition -> L12
case other -> L25
case unknown -> L12
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, R27
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, R27
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, R27
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, R27
0113 ret
0114 L10: ldi confirmed
0116 jnz L11
011b push 0
0120 decide needs_confirmation, P10
0124 ret
0125 L11: ldi amount_cents
0127 decide eligible, P11
012b lda
012c ldi insurance_paid_cents
012e subs
012f push 0
0134 max
0135 seta collateral, R27
0139 ret
013a L12: push 0
013f decide unknown_rule, P0
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, R27
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, R27
018f ret
0190 L17: push 0
0195 str r0
0197 ldi tags
0199 push 1
019e and
019f jz L18
01a4 ldr r0
01a6 push 1
01ab or
01ac str r0
01ae L18: ldr r0
01b0 switch 2, default L20
case 0 -> L20
case 1 -> L19
01be L19: push 0
01c3 decide excluded, P16
01c7 ret
01c8 L20: push 0
01cd decide unknown_rule, P0
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, R27
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, R27
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, R27
0243 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each funeral, 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, R18
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, R18
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each all, 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 total_cap, R5
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 total_cap, R5
009f L8: next L5
00a4 L9: push 0
00a9 check minimum_loss, P0
00ad ldx incident_date
00af push 1095
00b4 adds
00b5 ldx incident_date
00b7 push 60
00bc adds
00bd max
00be dup
00bf setdate
00c0 ldx as_of_date
00c2 ge
00c3 jz L10
00c8 push 0
00cd jmp L11
00d2 L10: push 1
00d7 L11: note deadline_from_discovery
00d9 check deadline, P23
00dd ldx police_report
00df push 1
00e4 eq
00e5 jnz L13
00ea ldx police_report
00ec push 0
00f1 eq
00f2 jnz L12
00f7 push 3
00fc jmp L14
0101 L12: push 1
0106 jmp L14
010b L13: push 0
0110 L14: check reporting, P24
0114 info P25
0117 ret