The engine compiles Vermont'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, 20 sources, 22 proofs, 5 ints, 293 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
a2ce60901b146ac13bfd22542559b1d762e245e4e44fd22810fe235ebcc3ca06
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 VT-EXAM-1 exam_payment - 32 V.S.A. § 1407(b)
R1 VT-EXAM-2 exam_no_bill - 32 V.S.A. § 1407(c)(2)
R2 VT-EXAM-3 exam_no_bill - 32 V.S.A. § 1407(c)(1)
R3 VT-EXAM-4 covered forensic_exam CCVS Sexual Assault Program page, What is covered?
R4 VT-CAP-1 total_cap - 13 V.S.A. § 5356(a)
R5 VT-COUNSEL-1 expense_cap counseling per session CCVS Mental Health Policy, Guidelines 1 (Fee Schedule)
R6 VT-COUNSEL-3 covered counseling CCVS Sexual Assault Program Mental Health Policy, Introduction
R7 VT-COUNSEL-4 covered counseling 13 V.S.A. § 5351(5)
R8 VT-WAGES-1 expense_cap lost_wages per week CCVS Policy for Reimbursement of Lost Wages, para. 5b
R9 VT-WAGES-2 covered lost_wages CCVS Policy for Reimbursement of Lost Wages, para. 2
R10 VT-RELOC-1 expense_cap relocation per claim CCVS Policy for Housing and Relocation, Relocation Costs
R11 VT-RELOC-2 expense_cap temporary_housing per day CCVS Policy for Housing and Relocation, Emergency Housing
R12 VT-RELOC-3 covered relocation CCVS Policy for Housing and Relocation, introduction
R13 VT-TRAVEL-1 expense_cap transportation per claim CCVS Policy for Reimbursement of Travel Expenses
R14 VT-TRAVEL-2 covered transportation Code Vt. R. 80-220-001, Section 5356(B)
R15 VT-MED-1 covered medical 13 V.S.A. § 5356(c)
R16 VT-MED-2 covered medical 13 V.S.A. § 5351(5)
R17 VT-SEC-1 covered security CCVS Eligibility page, Expenses the Victims Compensation Program may pay for
R18 VT-EXCL-1 info - excluded_expense CCVS Eligibility page, Expenses that cannot be paid by the Compensation Program
R19 VT-EXCL-2 excluded - CCVS Eligibility page, Expenses that cannot be paid by the Compensation Program
R20 VT-EXCL-3 excluded legal CCVS Eligibility page, Expenses that cannot be paid by the Compensation Program
R21 VT-DEADLINE-1 info - filing_deadline 13 V.S.A. § 5355(b)(1)
R22 VT-DEADLINE-2 info - filing_deadline 13 V.S.A. § 4501(a), read with 13 V.S.A. § 5355(b)(1)
R23 VT-REPORT-1 reporting - 13 V.S.A. § 5353(a)(1)
R24 VT-REPORT-2 reporting - CCVS Sexual Assault Program page, Who is eligible?
R25 VT-COLL-1 collateral - 13 V.S.A. § 5351(6)(A)
R26 VT-COLL-2 collateral - CCVS Victims Compensation FAQ
R27 VT-CONDUCT-1 info - conduct_reduction 13 V.S.A. § 5355(b)(2)
R28 VT-EMERG-1 info - emergency_award Code Vt. R. 80-220-001, Section 5356(A)
R29 VT-CRIME-1 info - eligible_crime CCVS Eligibility page, Types of crimes that may qualify
R30 VT-CRIME-2 info - eligible_crime 13 V.S.A. § 5351(4)
R31 VT-RES-1 info - residency 13 V.S.A. § 5353(a)(2)-(3)
R32 VT-RES-2 info - residency CCVS Sexual Assault Program page, Who is eligible?
R33 VT-SUBMIT-1 info - submission Application for Vermont Victims Compensation, cover page
R34 VT-SUBMIT-2 info - submission CCVS Application & Forms page
R35 VT-DOC-1 info - required_document Victims Compensation FAQ, What happens when an application is received?
R36 VT-DOC-2 info - required_document Application for Vermont Victims Compensation, page 6
R37 VT-DOC-3 info - required_document CCVS Policy for Reimbursement of Lost Wages, item 3
R38 VT-DOC-4 info - required_document CCVS Policy for Reimbursement of Lost Wages, item 4b
R39 VT-DOC-5 info - required_document CCVS Victims Compensation Mental Health Policy, section 2, Treatment Plans
R40 VT-DOC-6 info - required_document CCVS Policy for Housing and Relocation, Security Deposits
R41 VT-DOC-7 info - required_document CCVS Sexual Assault Program page, How to access the Program?
R42 VT-ACP-1 info - address_confidentiality Vermont SOS Safe at Home page, opening paragraph
R43 VT-REC-1 info - record_confidentiality 13 V.S.A. § 5358a(a)
R44 VT-COUNSEL-2 skipped - expense_cap CCVS Sexual Assault Program Mental Health Policy, Guidelines & Fee Schedule
.tags pain_suffering=bit0
.sources
S0 VT-S1 sha256 1158c5b01b333bf7 https://legislature.vermont.gov/statutes/fullchapter/13/167
S1 VT-S2 sha256 085db58166547df5 https://www.ccvs.vermont.gov/victims-compensation
S2 VT-S3 sha256 5f2b48af2a393a8e https://www.ccvs.vermont.gov/victims-compensation/frequently-asked-questions
S3 VT-S4 sha256 e5c2a8416cd49034 https://www.ccvs.vermont.gov/victims-compensation/eligibility
S4 VT-S5 sha256 8ac8c06878bf1c24 https://www.ccvs.vermont.gov/victims-compensation/policies
S5 VT-S6 sha256 c7d5c4b3b4ae5f91 https://www.ccvs.vermont.gov/victims-compensation/sexual-assault-program
S6 VT-S7 sha256 d3e07387e2672d17 https://www.ccvs.vermont.gov/victims-compensation/application-forms
S7 VT-S8 sha256 9ae6d1137a62e1b2 https://www.ccvs.vermont.gov/sites/ccvs/files/documents/English%20Victims%20Compensation%20Application.pdf
S8 VT-S9 sha256 c6aaccc57a8f885e https://www.ccvs.vermont.gov/sites/ccvs/files/documents/Mental%20Health%20Policy%203.24.26.pdf
S9 VT-S10 sha256 6cc7193fccc9d52d https://www.ccvs.vermont.gov/sites/ccvs/files/documents/Sexual%20Assault%20Program%20Mental%20Health%20Policy%203.23.26.pdf
S10 VT-S11 sha256 e605004c84b9eba7 https://www.ccvs.vermont.gov/sites/ccvs/files/documents/Lost%20Wage%20Policy%203.24.26.pdf
S11 VT-S12 sha256 5ec2c15581465109 https://www.ccvs.vermont.gov/sites/ccvs/files/documents/POLICY%20FOR%20REIMBURSEMENT%20OF%20TRAVEL%20EXPENSES%203.24.26.pdf
S12 VT-S13 sha256 e94582f4a15a41a7 https://www.ccvs.vermont.gov/sites/ccvs/files/documents/Housing%20and%20Relocation%20Policy%203.24.26.pdf
S13 VT-S14 sha256 a6c5bb17bf0b443e https://www.ccvs.vermont.gov/sites/ccvs/files/documents/Payment%20Policy%20for%20Health%20Care%20Providers%203.24.26.pdf
S14 VT-S15 sha256 a14f82c6f9107822 https://legislature.vermont.gov/statutes/section/32/017/01407
S15 VT-S16 sha256 b1f12d100f566029 https://www.law.cornell.edu/regulations/vermont/80-001-Code-Vt-R-80-220-001-X
S16 VT-S17 sha256 5316155f1ca9a497 https://legislature.vermont.gov/statutes/section/13/151/04501
S17 VT-S18 sha256 b0b58794f6c8e755 https://ccvcvt.org/
S18 VT-S19 sha256 1304e1890f93f5bc https://sos.vermont.gov/secretary-of-state-services/safe-at-home
S19 VT-S20 sha256 877f0463e90de812 https://legislature.vermont.gov/statutes/fullchapter/15/021
.proofs
P0 ()
P1 (VT-EXAM-2, VT-EXAM-3, VT-EXAM-1)
P2 (VT-EXCL-2)
P3 (VT-MED-1, VT-MED-2)
P4 (VT-MED-1, VT-MED-2, VT-COLL-1, VT-COLL-2)
P5 (VT-COUNSEL-2)
P6 (VT-COUNSEL-1, VT-COUNSEL-3, VT-COUNSEL-4)
P7 (VT-COUNSEL-1, VT-COUNSEL-3, VT-COUNSEL-4, VT-COLL-1, VT-COLL-2)
P8 (VT-WAGES-1, VT-WAGES-2)
P9 (VT-WAGES-1, VT-WAGES-2, VT-COLL-1, VT-COLL-2)
P10 (VT-TRAVEL-1, VT-TRAVEL-2)
P11 (VT-TRAVEL-1, VT-TRAVEL-2, VT-COLL-1, VT-COLL-2)
P12 (VT-RELOC-1, VT-RELOC-3)
P13 (VT-RELOC-1, VT-RELOC-3, VT-COLL-1, VT-COLL-2)
P14 (VT-RELOC-2)
P15 (VT-RELOC-2, VT-COLL-1, VT-COLL-2)
P16 (VT-SEC-1)
P17 (VT-SEC-1, VT-COLL-1, VT-COLL-2)
P18 (VT-EXCL-2, VT-EXCL-3)
P19 (VT-EXCL-3)
P20 (VT-REPORT-1, VT-REPORT-2)
P21 (VT-EXCL-1, VT-DEADLINE-1, VT-DEADLINE-2, VT-COLL-1, VT-COLL-2, VT-CONDUCT-1, VT-EMERG-1, VT-CRIME-1, VT-CRIME-2, VT-RES-1, VT-RES-2, VT-SUBMIT-1, VT-SUBMIT-2, VT-DOC-1, VT-DOC-2, VT-DOC-3, VT-DOC-4, VT-DOC-5, VT-DOC-6, VT-DOC-7, VT-ACP-1, VT-REC-1)
.ints
K0 10000
K1 75000
K2 150000
K3 200000
K4 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 L37
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 -> L32
case crime_scene_cleanup -> L37
case childcare -> L37
case property_replacement -> L37
case clothing_bedding -> L37
case prescription -> L37
case dental -> L37
case funeral -> L37
case legal -> L41
case tuition -> L37
case other -> L37
case unknown -> L37
0068 L0: push 0
006d decide out_of_window, P0
0071 ret
0072 L1: push 0
0077 decide held, P1
007b ret
007c L2: push 0
0081 str r0
0083 ldi tags
0085 push 1
008a and
008b jz L3
0090 ldr r0
0092 push 1
0097 or
0098 str r0
009a L3: ldr r0
009c switch 2, default L5
case 0 -> L5
case 1 -> L4
00aa L4: push 0
00af decide excluded, P2
00b3 ret
00b4 L5: ldi confirmed
00b6 jnz L6
00bb push 0
00c0 decide needs_confirmation, P3
00c4 ret
00c5 L6: ldi amount_cents
00c7 decide eligible, P4
00cb lda
00cc ldi insurance_paid_cents
00ce subs
00cf push 0
00d4 max
00d5 seta collateral, R25
00d9 ret
00da L7: push 0
00df str r0
00e1 ldi tags
00e3 push 1
00e8 and
00e9 jz L8
00ee ldr r0
00f0 push 1
00f5 or
00f6 str r0
00f8 L8: ldr r0
00fa switch 2, default L10
case 0 -> L10
case 1 -> L9
0108 L9: push 0
010d decide excluded, P2
0111 ret
0112 L10: alts P5
0115 ldi confirmed
0117 jnz L11
011c push 0
0121 decide needs_confirmation, P6
0125 ret
0126 L11: ldi amount_cents
0128 decide eligible, P7
012c lda
012d ldi insurance_paid_cents
012f subs
0130 push 0
0135 max
0136 seta collateral, R25
013a ret
013b L12: push 0
0140 str r0
0142 ldi tags
0144 push 1
0149 and
014a jz L13
014f ldr r0
0151 push 1
0156 or
0157 str r0
0159 L13: ldr r0
015b switch 2, default L15
case 0 -> L15
case 1 -> L14
0169 L14: push 0
016e decide excluded, P2
0172 ret
0173 L15: ldi confirmed
0175 jnz L16
017a push 0
017f decide needs_confirmation, P8
0183 ret
0184 L16: ldi amount_cents
0186 decide eligible, P9
018a lda
018b ldi insurance_paid_cents
018d subs
018e push 0
0193 max
0194 seta collateral, R25
0198 ret
0199 L17: push 0
019e str r0
01a0 ldi tags
01a2 push 1
01a7 and
01a8 jz L18
01ad ldr r0
01af push 1
01b4 or
01b5 str r0
01b7 L18: ldr r0
01b9 switch 2, default L20
case 0 -> L20
case 1 -> L19
01c7 L19: push 0
01cc decide excluded, P2
01d0 ret
01d1 L20: ldi confirmed
01d3 jnz L21
01d8 push 0
01dd decide needs_confirmation, P10
01e1 ret
01e2 L21: ldi amount_cents
01e4 decide eligible, P11
01e8 lda
01e9 ldi insurance_paid_cents
01eb subs
01ec push 0
01f1 max
01f2 seta collateral, R25
01f6 ret
01f7 L22: push 0
01fc str r0
01fe ldi tags
0200 push 1
0205 and
0206 jz L23
020b ldr r0
020d push 1
0212 or
0213 str r0
0215 L23: ldr r0
0217 switch 2, default L25
case 0 -> L25
case 1 -> L24
0225 L24: push 0
022a decide excluded, P2
022e ret
022f L25: ldi confirmed
0231 jnz L26
0236 push 0
023b decide needs_confirmation, P12
023f ret
0240 L26: ldi amount_cents
0242 decide eligible, P13
0246 lda
0247 ldi insurance_paid_cents
0249 subs
024a push 0
024f max
0250 seta collateral, R25
0254 ret
0255 L27: push 0
025a str r0
025c ldi tags
025e push 1
0263 and
0264 jz L28
0269 ldr r0
026b push 1
0270 or
0271 str r0
0273 L28: ldr r0
0275 switch 2, default L30
case 0 -> L30
case 1 -> L29
0283 L29: push 0
0288 decide excluded, P2
028c ret
028d L30: ldi confirmed
028f jnz L31
0294 push 0
0299 decide needs_confirmation, P14
029d ret
029e L31: ldi amount_cents
02a0 decide eligible, P15
02a4 lda
02a5 ldi insurance_paid_cents
02a7 subs
02a8 push 0
02ad max
02ae seta collateral, R25
02b2 ret
02b3 L32: push 0
02b8 str r0
02ba ldi tags
02bc push 1
02c1 and
02c2 jz L33
02c7 ldr r0
02c9 push 1
02ce or
02cf str r0
02d1 L33: ldr r0
02d3 switch 2, default L35
case 0 -> L35
case 1 -> L34
02e1 L34: push 0
02e6 decide excluded, P2
02ea ret
02eb L35: ldi confirmed
02ed jnz L36
02f2 push 0
02f7 decide needs_confirmation, P16
02fb ret
02fc L36: ldi amount_cents
02fe decide eligible, P17
0302 lda
0303 ldi insurance_paid_cents
0305 subs
0306 push 0
030b max
030c seta collateral, R25
0310 ret
0311 L37: push 0
0316 str r0
0318 ldi tags
031a push 1
031f and
0320 jz L38
0325 ldr r0
0327 push 1
032c or
032d str r0
032f L38: ldr r0
0331 switch 2, default L40
case 0 -> L40
case 1 -> L39
033f L39: push 0
0344 decide excluded, P2
0348 ret
0349 L40: push 0
034e decide unknown_rule, P0
0352 ret
0353 L41: push 0
0358 str r0
035a ldi tags
035c push 1
0361 and
0362 jz L42
0367 ldr r0
0369 push 1
036e or
036f str r0
0371 L42: ldr r0
0373 switch 2, default L44
case 0 -> L44
case 1 -> L43
0381 L43: push 0
0386 decide excluded, P18
038a ret
038b L44: push 0
0390 decide excluded, P19
0394 ret
.aggregate
0000 each counseling, L4
0006 L0: ldi unit
0008 push 1
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, R5
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R5
0040 L3: next L0
0045 L4: push 12
004a str r3
004c each lost_wages, L9
0052 L5: ldi unit
0054 push 2
0059 eq
005a jz L7
005f ldi units
0061 push 0
0066 gt
0067 jz L7
006c ldi units
006e ldr r3
0070 min
0071 str r4
0073 ldr r3
0075 ldr r4
0077 subs
0078 str r3
007a ldk K1
007d ldr r4
007f muls
0080 dup
0081 lda
0082 lt
0083 jz L6
0088 cap unit_cap, R8
008c jmp L8
0091 L6: pop
0092 jmp L8
0097 L7: flag R8
009a L8: next L5
009f L9: push 7
00a4 str r3
00a6 each temporary_housing, L14
00ac L10: ldi unit
00ae push 5
00b3 eq
00b4 jz L12
00b9 ldi units
00bb push 0
00c0 gt
00c1 jz L12
00c6 ldi units
00c8 ldr r3
00ca min
00cb str r4
00cd ldr r3
00cf ldr r4
00d1 subs
00d2 str r3
00d4 ldk K0
00d7 ldr r4
00d9 muls
00da dup
00db lda
00dc lt
00dd jz L11
00e2 cap unit_cap, R11
00e6 jmp L13
00eb L11: pop
00ec jmp L13
00f1 L12: flag R11
00f4 L13: next L10
00f9 L14: push 0
00fe str r0
0100 push 0
0105 str r1
0107 each relocation, L19
010d L15: ldr r1
010f jnz L17
0114 ldr r0
0116 lda
0117 adds
0118 ldk K2
011b gt
011c jz L16
0121 ldk K2
0124 ldr r0
0126 subs
0127 cap expense_cap, R10
012b push 1
0130 str r1
0132 L16: ldr r0
0134 lda
0135 adds
0136 str r0
0138 jmp L18
013d L17: push 0
0142 cap expense_cap, R10
0146 L18: next L15
014b L19: push 0
0150 str r0
0152 push 0
0157 str r1
0159 each transportation, L24
015f L20: ldr r1
0161 jnz L22
0166 ldr r0
0168 lda
0169 adds
016a ldk K3
016d gt
016e jz L21
0173 ldk K3
0176 ldr r0
0178 subs
0179 cap expense_cap, R13
017d push 1
0182 str r1
0184 L21: ldr r0
0186 lda
0187 adds
0188 str r0
018a jmp L23
018f L22: push 0
0194 cap expense_cap, R13
0198 L23: next L20
019d L24: push 0
01a2 str r0
01a4 push 0
01a9 str r1
01ab each all, L29
01b1 L25: ldr r1
01b3 jnz L27
01b8 ldr r0
01ba lda
01bb adds
01bc ldk K4
01bf gt
01c0 jz L26
01c5 ldk K4
01c8 ldr r0
01ca subs
01cb cap total_cap, R4
01cf push 1
01d4 str r1
01d6 L26: ldr r0
01d8 lda
01d9 adds
01da str r0
01dc jmp L28
01e1 L27: push 0
01e6 cap total_cap, R4
01ea L28: next L25
01ef L29: push 0
01f4 check minimum_loss, P0
01f8 push 2
01fd check deadline, P0
0201 ldx police_report
0203 push 1
0208 eq
0209 jnz L31
020e ldx police_report
0210 push 0
0215 eq
0216 jnz L30
021b push 3
0220 jmp L32
0225 L30: push 1
022a jmp L32
022f L31: push 0
0234 L32: check reporting, P20
0238 info P21
023b ret