The engine compiles New York'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
- 59 rules, 18 sources, 28 proofs, 7 ints, 350 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
440498dadf0011365fa1a266e35002602e0ba9e20adc5506f763d9ca37b834d7
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 NY-EXAM-1 exam_no_bill - N.Y. Exec. Law 631(13)(b)
R1 NY-EXAM-2 exam_no_bill - N.Y. Exec. Law 631(13)(b)
R2 NY-EXAM-3 exam_no_bill - N.Y. Pub. Health Law 2805-i(1)
R3 NY-EXAM-6 exam_no_bill - OVS FRE Provider Billing Manual (March 2026), III.c Reimbursement Rates
R4 NY-EXAM-4 exam_payment - N.Y. Exec. Law 631(13)(a)
R5 NY-EXAM-5 exam_payment - OVS Forensic Rape Exam Direct Reimbursement Program page
R6 NY-EXAM-7 exam_payment - OVS FRE Provider Billing Manual (March 2026), III Reimbursement
R7 NY-COVER-1 covered forensic_exam N.Y. Exec. Law 631(7)
R8 NY-COVER-2 covered medical N.Y. Exec. Law 626(1)
R9 NY-COVER-3 covered counseling N.Y. Exec. Law 626(1)
R10 NY-COVER-4 covered transportation 9 NYCRR 525.3(d)(2)
R11 NY-COVER-5 covered transportation N.Y. Exec. Law 631(10)
R12 NY-COVER-6 covered security 9 NYCRR 525.12(g)(3)
R13 NY-COVER-7 covered relocation N.Y. Exec. Law 621(23)
R14 NY-CAP-1 expense_cap lost_wages per claim N.Y. Exec. Law 631(2)
R15 NY-CAP-2 expense_cap lost_wages per week N.Y. Exec. Law 631(3)
R16 NY-CAP-3 expense_cap relocation per claim N.Y. Exec. Law 631(2)
R17 NY-CAP-4 info - expense_cap N.Y. Exec. Law 631(2)
R18 NY-CAP-5 expense_cap crime_scene_cleanup per claim N.Y. Exec. Law 631(2)
R19 NY-CAP-13 expense_cap property_replacement per item 9 NYCRR 525.12(n)(4)
R20 NY-CAP-14 expense_cap property_replacement per claim N.Y. Exec. Law 631(9)(a)
R21 NY-CAP-8 expense_cap clothing_bedding per item 9 NYCRR 525.12(n)(1)(i)
R22 NY-CAP-10 expense_cap clothing_bedding per claim 9 NYCRR 525.12(n)(2)(i)
R23 NY-CAP-12 expense_cap legal per claim N.Y. Exec. Law 626(1)
R24 NY-EXCL-1 info - excluded_expense 9 NYCRR 525.12(g)(3)
R25 NY-EXCL-2 info - excluded_expense 9 NYCRR 525.3(d)(2)
R26 NY-EXCL-3 excluded transportation N.Y. Exec. Law 621(25) (employment-related transportation)
R27 NY-DEADLINE-1 deadline - from discovery N.Y. Exec. Law 625(2)
R28 NY-DEADLINE-2 deadline - from crime OVS Compensation Program Updates for Victims and Survivors, Timely Filing
R29 NY-REPORT-1 reporting - N.Y. Exec. Law 631(1)(a)(iii)
R30 NY-REPORT-2 reporting - N.Y. Exec. Law 631(1)(c)(i)
R31 NY-REPORT-3 reporting - N.Y. Exec. Law 631(1)(c)(ii)
R32 NY-REPORT-4 reporting - OVS Compensation Program Updates for Victims and Survivors, Reporting a Crime
R33 NY-REPORT-5 reporting - N.Y. Exec. Law 631(1)(c)(iii)
R34 NY-COLLAT-1 collateral - N.Y. Exec. Law 631(4)
R35 NY-COLLAT-2 collateral - OVS Claim Application, Reminder
R36 NY-CONDUCT-1 info - conduct_reduction N.Y. Exec. Law 631(5)(a)
R37 NY-CONDUCT-2 info - conduct_reduction 9 NYCRR 525.12(m)(3)
R38 NY-EMERG-1 info - emergency_award N.Y. Exec. Law 630(1)
R39 NY-CRIME-1 info - eligible_crime N.Y. Exec. Law 626(1)
R40 NY-RES-1 info - residency N.Y. Exec. Law 621(3)(a)
R41 NY-RES-2 info - residency N.Y. Exec. Law 621(3)(b)
R42 NY-SUB-1 info - submission OVS Victim Compensation Claim Application (Feb. 2026), page 2, OVS Contact Information
R43 NY-SUB-2 info - submission OVS Victim Compensation Claim Application (Feb. 2026), page 2, OVS Contact Information
R44 NY-SUB-3 info - submission OVS Victim Compensation Claim Application (Feb. 2026), page 1, FAQ: Is there another way to apply?
R45 NY-DOC-1 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 2, Processing Your Claim
R46 NY-DOC-2 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 2, Processing Your Claim
R47 NY-DOC-3 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 2, Processing Your Claim
R48 NY-DOC-4 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 2, Processing Your Claim
R49 NY-DOC-5 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 9, Supporting Documentation for Crime Verification
R50 NY-DOC-6 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 9, Supporting Documentation for Crime Verification
R51 NY-DOC-7 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 10, Medical Care
R52 NY-DOC-8 info - required_document OVS Victim Compensation Claim Application (Feb. 2026), page 16, Workers Compensation/Disability
R53 NY-ACP-1 info - address_confidentiality N.Y. Exec. Law 108 (preamble)
R54 NY-REC-1 info - record_confidentiality N.Y. Exec. Law 633(1)
R55 NY-CAP-6 skipped - expense_cap N.Y. Exec. Law 631(9)(a)
R56 NY-CAP-7 skipped - expense_cap 9 NYCRR 525.12(n)(3)
R57 NY-CAP-9 skipped - expense_cap 9 NYCRR 525.12(n)(1)(ii)
R58 NY-CAP-11 skipped - expense_cap 9 NYCRR 525.12(n)(2)(ii)
.tags vehicle=bit0
.sources
S0 NY-S1 sha256 d3113b06d6cc128d https://ovs.ny.gov/victim-compensation
S1 NY-S4 sha256 2367920434fa7224 https://ovs.ny.gov/system/files/documents/2026/02/fillable-ovs-compensation-application-02.12.26.pdf
S2 NY-S7 sha256 da892a2efe8cbf07 https://ovs.ny.gov/compensation-program-updates-victims-and-survivors
S3 NY-S8 sha256 1269e97f6f61f2bf https://ovs.ny.gov/FRE
S4 NY-S9 sha256 8b2ef1b51e06ccdd https://www.nysenate.gov/legislation/laws/EXC/631
S5 NY-S10 sha256 5a30a72b565342ea https://www.nysenate.gov/legislation/laws/EXC/625
S6 NY-S12 sha256 f968b9ace748ce06 https://www.nysenate.gov/legislation/laws/EXC/630
S7 NY-S13 sha256 47096a179069b0ce https://www.nysenate.gov/legislation/laws/EXC/626
S8 NY-S14 sha256 e2069dffbdb9ea45 https://www.nysenate.gov/legislation/laws/EXC/621
S9 NY-S15 sha256 c1bbf845c73816fe https://www.nysenate.gov/legislation/laws/PBH/2805-I
S10 NY-S17 sha256 d3e111781aec2925 https://www.law.cornell.edu/regulations/new-york/9-NYCRR-525.12
S11 NY-S18 sha256 5cf03029553f1738 https://www.law.cornell.edu/regulations/new-york/9-NYCRR-525.3
S12 NY-S19 sha256 b50ccec6da4c39b3 https://ovs.ny.gov/fre-provider-billing-manual
S13 NY-S20 sha256 539424f97b6f6fe5 https://www.nysenate.gov/legislation/laws/EXC/633
S14 NY-S21 sha256 00feeece082fc17a https://www.nysenate.gov/legislation/laws/EXC/108
S15 NY-S22 sha256 6c5b2b7ccac62720 https://dos.ny.gov/address-confidentiality-program
S16 NY-S23 sha256 535d361811aaed35 https://dos.ny.gov/apply-address-confidentiality-program
S17 NY-S24 sha256 523963b1fe2865d9 https://dos.ny.gov/ACP
.proofs
P0 ()
P1 (NY-EXAM-1, NY-EXAM-2, NY-EXAM-3, NY-EXAM-6, NY-EXAM-4, NY-EXAM-5, NY-EXAM-7)
P2 (NY-COVER-2)
P3 (NY-COVER-2, NY-COLLAT-1, NY-COLLAT-2)
P4 (NY-COVER-3)
P5 (NY-COVER-3, NY-COLLAT-1, NY-COLLAT-2)
P6 (NY-CAP-1, NY-CAP-2)
P7 (NY-CAP-1, NY-CAP-2, NY-COLLAT-1, NY-COLLAT-2)
P8 (NY-EXCL-3)
P9 (NY-COVER-4, NY-COVER-5)
P10 (NY-COVER-4, NY-COVER-5, NY-COLLAT-1, NY-COLLAT-2)
P11 (NY-COVER-7, NY-CAP-3)
P12 (NY-COVER-7, NY-CAP-3, NY-COLLAT-1, NY-COLLAT-2)
P13 (NY-COVER-6)
P14 (NY-COVER-6, NY-COLLAT-1, NY-COLLAT-2)
P15 (NY-CAP-5)
P16 (NY-CAP-5, NY-COLLAT-1, NY-COLLAT-2)
P17 (NY-CAP-7, NY-CAP-6)
P18 (NY-CAP-13, NY-CAP-14)
P19 (NY-CAP-13, NY-CAP-14, NY-COLLAT-1, NY-COLLAT-2)
P20 (NY-CAP-9, NY-CAP-11)
P21 (NY-CAP-8, NY-CAP-10)
P22 (NY-CAP-8, NY-CAP-10, NY-COLLAT-1, NY-COLLAT-2)
P23 (NY-CAP-12)
P24 (NY-CAP-12, NY-COLLAT-1, NY-COLLAT-2)
P25 (NY-DEADLINE-1, NY-DEADLINE-2)
P26 (NY-REPORT-1, NY-REPORT-2, NY-REPORT-3, NY-REPORT-4, NY-REPORT-5)
P27 (NY-CAP-4, NY-EXCL-1, NY-EXCL-2, NY-COLLAT-1, NY-COLLAT-2, NY-CONDUCT-1, NY-CONDUCT-2, NY-EMERG-1, NY-CRIME-1, NY-RES-1, NY-RES-2, NY-SUB-1, NY-SUB-2, NY-SUB-3, NY-DOC-1, NY-DOC-2, NY-DOC-3, NY-DOC-4, NY-DOC-5, NY-DOC-6, NY-DOC-7, NY-DOC-8, NY-ACP-1, NY-REC-1)
.ints
K0 60000
K1 250000
K2 50000
K3 3000000
K4 1000000
K5 200000
K6 100000
.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 L15
case medical -> L2
case forensic_exam -> L1
case counseling -> L4
case lost_wages -> L6
case transportation -> L8
case relocation -> L13
case temporary_housing -> L15
case security -> L16
case crime_scene_cleanup -> L18
case childcare -> L15
case property_replacement -> L20
case clothing_bedding -> L22
case prescription -> L15
case dental -> L15
case funeral -> L15
case legal -> L24
case tuition -> L15
case other -> L15
case unknown -> L15
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, R34
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, R34
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, R34
00ed ret
00ee L8: push 0
00f3 str r0
00f5 ldi tags
00f7 push 1
00fc and
00fd jz L9
0102 ldr r0
0104 push 1
0109 or
010a str r0
010c L9: ldr r0
010e switch 2, default L11
case 0 -> L11
case 1 -> L10
011c L10: push 0
0121 decide excluded, P8
0125 ret
0126 L11: ldi confirmed
0128 jnz L12
012d push 0
0132 decide needs_confirmation, P9
0136 ret
0137 L12: ldi amount_cents
0139 decide eligible, P10
013d lda
013e ldi insurance_paid_cents
0140 subs
0141 push 0
0146 max
0147 seta collateral, R34
014b ret
014c L13: ldi confirmed
014e jnz L14
0153 push 0
0158 decide needs_confirmation, P11
015c ret
015d L14: ldi amount_cents
015f decide eligible, P12
0163 lda
0164 ldi insurance_paid_cents
0166 subs
0167 push 0
016c max
016d seta collateral, R34
0171 ret
0172 L15: push 0
0177 decide unknown_rule, P0
017b ret
017c L16: ldi confirmed
017e jnz L17
0183 push 0
0188 decide needs_confirmation, P13
018c ret
018d L17: ldi amount_cents
018f decide eligible, P14
0193 lda
0194 ldi insurance_paid_cents
0196 subs
0197 push 0
019c max
019d seta collateral, R34
01a1 ret
01a2 L18: ldi confirmed
01a4 jnz L19
01a9 push 0
01ae decide needs_confirmation, P15
01b2 ret
01b3 L19: ldi amount_cents
01b5 decide eligible, P16
01b9 lda
01ba ldi insurance_paid_cents
01bc subs
01bd push 0
01c2 max
01c3 seta collateral, R34
01c7 ret
01c8 L20: alts P17
01cb ldi confirmed
01cd jnz L21
01d2 push 0
01d7 decide needs_confirmation, P18
01db ret
01dc L21: ldi amount_cents
01de decide eligible, P19
01e2 lda
01e3 ldi insurance_paid_cents
01e5 subs
01e6 push 0
01eb max
01ec seta collateral, R34
01f0 ret
01f1 L22: alts P20
01f4 ldi confirmed
01f6 jnz L23
01fb push 0
0200 decide needs_confirmation, P21
0204 ret
0205 L23: ldi amount_cents
0207 decide eligible, P22
020b lda
020c ldi insurance_paid_cents
020e subs
020f push 0
0214 max
0215 seta collateral, R34
0219 ret
021a L24: ldi confirmed
021c jnz L25
0221 push 0
0226 decide needs_confirmation, P23
022a ret
022b L25: ldi amount_cents
022d decide eligible, P24
0231 lda
0232 ldi insurance_paid_cents
0234 subs
0235 push 0
023a max
023b seta collateral, R34
023f ret
.aggregate
0000 each lost_wages, L4
0006 L0: ldi unit
0008 push 2
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, R15
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R15
0040 L3: next L0
0045 L4: each property_replacement, L9
004b L5: ldi unit
004d push 7
0052 eq
0053 jz L7
0058 ldi units
005a push 0
005f gt
0060 jz L7
0065 ldk K1
0068 ldi units
006a muls
006b dup
006c lda
006d lt
006e jz L6
0073 cap unit_cap, R19
0077 jmp L8
007c L6: pop
007d jmp L8
0082 L7: flag R19
0085 L8: next L5
008a L9: each clothing_bedding, L14
0090 L10: ldi unit
0092 push 7
0097 eq
0098 jz L12
009d ldi units
009f push 0
00a4 gt
00a5 jz L12
00aa ldk K2
00ad ldi units
00af muls
00b0 dup
00b1 lda
00b2 lt
00b3 jz L11
00b8 cap unit_cap, R21
00bc jmp L13
00c1 L11: pop
00c2 jmp L13
00c7 L12: flag R21
00ca L13: next L10
00cf L14: push 0
00d4 str r0
00d6 push 0
00db str r1
00dd each lost_wages, L19
00e3 L15: ldr r1
00e5 jnz L17
00ea ldr r0
00ec lda
00ed adds
00ee ldk K3
00f1 gt
00f2 jz L16
00f7 ldk K3
00fa ldr r0
00fc subs
00fd cap expense_cap, R14
0101 push 1
0106 str r1
0108 L16: ldr r0
010a lda
010b adds
010c str r0
010e jmp L18
0113 L17: push 0
0118 cap expense_cap, R14
011c L18: next L15
0121 L19: push 0
0126 str r0
0128 push 0
012d str r1
012f each relocation, L24
0135 L20: ldr r1
0137 jnz L22
013c ldr r0
013e lda
013f adds
0140 ldk K1
0143 gt
0144 jz L21
0149 ldk K1
014c ldr r0
014e subs
014f cap expense_cap, R16
0153 push 1
0158 str r1
015a L21: ldr r0
015c lda
015d adds
015e str r0
0160 jmp L23
0165 L22: push 0
016a cap expense_cap, R16
016e L23: next L20
0173 L24: push 0
0178 str r0
017a push 0
017f str r1
0181 each crime_scene_cleanup, L29
0187 L25: ldr r1
0189 jnz L27
018e ldr r0
0190 lda
0191 adds
0192 ldk K1
0195 gt
0196 jz L26
019b ldk K1
019e ldr r0
01a0 subs
01a1 cap expense_cap, R18
01a5 push 1
01aa str r1
01ac L26: ldr r0
01ae lda
01af adds
01b0 str r0
01b2 jmp L28
01b7 L27: push 0
01bc cap expense_cap, R18
01c0 L28: next L25
01c5 L29: push 0
01ca str r0
01cc push 0
01d1 str r1
01d3 each property_replacement, L34
01d9 L30: ldr r1
01db jnz L32
01e0 ldr r0
01e2 lda
01e3 adds
01e4 ldk K4
01e7 gt
01e8 jz L31
01ed ldk K4
01f0 ldr r0
01f2 subs
01f3 cap expense_cap, R20
01f7 push 1
01fc str r1
01fe L31: ldr r0
0200 lda
0201 adds
0202 str r0
0204 jmp L33
0209 L32: push 0
020e cap expense_cap, R20
0212 L33: next L30
0217 L34: push 0
021c str r0
021e push 0
0223 str r1
0225 each clothing_bedding, L39
022b L35: ldr r1
022d jnz L37
0232 ldr r0
0234 lda
0235 adds
0236 ldk K5
0239 gt
023a jz L36
023f ldk K5
0242 ldr r0
0244 subs
0245 cap expense_cap, R22
0249 push 1
024e str r1
0250 L36: ldr r0
0252 lda
0253 adds
0254 str r0
0256 jmp L38
025b L37: push 0
0260 cap expense_cap, R22
0264 L38: next L35
0269 L39: push 0
026e str r0
0270 push 0
0275 str r1
0277 each legal, L44
027d L40: ldr r1
027f jnz L42
0284 ldr r0
0286 lda
0287 adds
0288 ldk K6
028b gt
028c jz L41
0291 ldk K6
0294 ldr r0
0296 subs
0297 cap expense_cap, R23
029b push 1
02a0 str r1
02a2 L41: ldr r0
02a4 lda
02a5 adds
02a6 str r0
02a8 jmp L43
02ad L42: push 0
02b2 cap expense_cap, R23
02b6 L43: next L40
02bb L44: push 0
02c0 check minimum_loss, P0
02c4 ldx incident_date
02c6 push 1095
02cb adds
02cc ldx incident_date
02ce push 1095
02d3 adds
02d4 max
02d5 dup
02d6 setdate
02d7 ldx as_of_date
02d9 ge
02da jz L45
02df push 0
02e4 jmp L46
02e9 L45: push 1
02ee L46: note deadline_from_discovery
02f0 check deadline, P25
02f4 ldx police_report
02f6 push 1
02fb eq
02fc jnz L47
0301 ldx forensic_exam
0303 jnz L47
0308 push 2
030d jmp L48
0312 L47: push 0
0317 L48: check reporting, P26
031b info P27
031e ret