The engine compiles North Carolina'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
- 41 rules, 11 sources, 22 proofs, 4 ints, 251 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
e906d60e1e16d7c2c9da89c353e19f6b25efba90c1886f800ea2d5c6bab7e1c4
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 NC-EXAM-1 exam_no_bill - N.C. Gen. Stat. 143B-1200(c)
R1 NC-EXAM-2 exam_payment - N.C. Gen. Stat. 143B-1200(b)
R2 NC-EXAM-3 exam_payment - N.C. Gen. Stat. 143B-1200(c)
R3 NC-CAP-1 total_cap - N.C. Gen. Stat. 15B-11(g)
R4 NC-WAGE-1 expense_cap lost_wages per week N.C. Gen. Stat. 15B-2(14)
R5 NC-WAGE-2 covered lost_wages N.C. Gen. Stat. 15B-2(14)
R6 NC-FUN-1 expense_cap funeral per claim N.C. Gen. Stat. 15B-2(1)
R7 NC-MED-1 covered medical N.C. Gen. Stat. 15B-2(1)
R8 NC-COUN-1 covered counseling N.C. Gen. Stat. 15B-2(1)
R9 NC-MED-2 covered medical N.C. Gen. Stat. 15B-2(1)
R10 NC-DENT-1 covered dental NC DPS Victim Compensation Program page, Accepted Expenses
R11 NC-CLEAN-1 covered crime_scene_cleanup NC DPS Victim Compensation Program page, FAQ: What paperwork do I need to submit? (Crime scene cleanup)
R12 NC-EXCL-1 excluded property_replacement NC DPS Victim Compensation Program page, Not Accepted
R13 NC-EXCL-2 info - excluded_expense NC DPS Victim Compensation Program page, Not Accepted
R14 NC-EXCL-3 info - excluded_expense NC DPS Victim Compensation Program page, Not Accepted
R15 NC-EXCL-4 excluded - N.C. Gen. Stat. 15B-4(a)
R16 NC-EXCL-5 info - excluded_expense NC DPS Victim Compensation Program page, Not Accepted
R17 NC-REPL-1 expense_cap other per week N.C. Gen. Stat. 15B-2(12)
R18 NC-DEAD-1 deadline - from crime N.C. Gen. Stat. 15B-11(a)(1)
R19 NC-REPORT-1 reporting - N.C. Gen. Stat. 15B-11(a)(3)
R20 NC-COLL-1 collateral - N.C. Gen. Stat. 15B-11(d)
R21 NC-COLL-2 collateral - NC DPS Victim Compensation Program page, FAQ: Do I need to file a claim with my insurance?
R22 NC-COND-1 info - conduct_reduction N.C. Gen. Stat. 15B-11(b)(2)
R23 NC-COND-2 info - conduct_reduction N.C. Gen. Stat. 15B-11(c)
R24 NC-CRIME-1 info - eligible_crime NC DPS Victim Compensation Program page, FAQ: What financial support is available?
R25 NC-RES-1 info - residency N.C. Gen. Stat. 15B-4(b)
R26 NC-RES-2 info - residency NC DPS Victim Compensation Program page, FAQ: Am I eligible?
R27 NC-SUBMIT-1 info - submission NC DPS Victim Compensation Program page, How to Apply
R28 NC-SUBMIT-2 info - submission NC DPS Rape Victim Assistance Program FAQ, 'Is financial help available for medical expenses beyond the cost of the forensic exam?'
R29 NC-DOC-1 info - required_document NC DPS Victim Compensation Program FAQ, 'How can applicants avoid delays?'
R30 NC-DOC-2 info - required_document NC DPS Victim Compensation Program FAQ, 'How can applicants avoid delays?'
R31 NC-DOC-3 info - required_document NC DPS Victim Compensation Program FAQ, 'What paperwork do I need to submit with my application?' (Medical and counseling services)
R32 NC-DOC-4 info - required_document NC DPS Victim Compensation Program FAQ, 'How can applicants avoid delays?'
R33 NC-DOC-5 info - required_document NC DPS Victim Compensation Program FAQ, 'What paperwork do I need to submit with my application?' (Lost wages)
R34 NC-DOC-6 info - required_document NC DPS Victim Compensation Program FAQ, 'What paperwork do I need to submit with my application?' (Lost wages)
R35 NC-DOC-7 info - required_document NC DPS Victim Compensation Program FAQ, 'What paperwork do I need to submit with my application?' (Dental services)
R36 NC-DOC-8 info - required_document NC DPS Victim Compensation Program FAQ, 'What paperwork do I need to submit with my application?' (Funeral expenses)
R37 NC-TIME-1 info - processing_time NC DPS Victim Compensation Program FAQ, 'What happens after I submit my application?'
R38 NC-ACP-1 info - address_confidentiality N.C. Gen. Stat. 15C-2(2)
R39 NC-ACP-2 info - address_confidentiality N.C. Gen. Stat. 15C-4(a)
R40 NC-CONF-1 info - record_confidentiality N.C. Gen. Stat. 15B-8.1(b)
.tags cash=bit0, pain_suffering=bit1
.sources
S0 NC-S1 sha256 ef3fa0094421cf85 https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15B/GS_15B-2.html
S1 NC-S2 sha256 335b8337a2a2922a https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15B/GS_15B-4.html
S2 NC-S3 sha256 bf9ec2451237c8a8 https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15B/GS_15B-11.html
S3 NC-S4 sha256 368d9271d06ac8c0 https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_143B/GS_143B-1200.html
S4 NC-S5 sha256 df30903c19774ca2 https://www.ncdps.gov/dps-services/victim-compensation-services/victim-compensation-services
S5 NC-S6 sha256 74898cf8bab248d1 https://www.ncdps.gov/dps-services/crime-victims-compensation-services/rape-victim-assistance-program
S6 NC-S7 sha256 676171cca3e24657 https://www.ncdps.gov/dps-services/office-victim-compensation-services
S7 NC-S8 sha256 5d16fc0828444301 https://www.ncdps.gov/division/victim-compensation-services/victim-compensation-application-english/download?attachment
S8 NC-S9 sha256 b9d2b22c84cb943e https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15C/GS_15C-2.html
S9 NC-S10 sha256 2b2bb167052276ac https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15C/GS_15C-4.html
S10 NC-S11 sha256 99a113febc1856f5 https://www.ncleg.gov/EnactedLegislation/Statutes/HTML/BySection/Chapter_15B/GS_15B-8.1.html
.proofs
P0 ()
P1 (NC-EXAM-1, NC-EXAM-2, NC-EXAM-3)
P2 (NC-EXCL-4)
P3 (NC-MED-1, NC-MED-2)
P4 (NC-MED-1, NC-MED-2, NC-COLL-1, NC-COLL-2)
P5 (NC-COUN-1)
P6 (NC-COUN-1, NC-COLL-1, NC-COLL-2)
P7 (NC-WAGE-1, NC-WAGE-2)
P8 (NC-WAGE-1, NC-WAGE-2, NC-COLL-1, NC-COLL-2)
P9 (NC-CLEAN-1)
P10 (NC-CLEAN-1, NC-COLL-1, NC-COLL-2)
P11 (NC-EXCL-1)
P12 (NC-EXCL-1, NC-EXCL-4)
P13 (NC-DENT-1)
P14 (NC-DENT-1, NC-COLL-1, NC-COLL-2)
P15 (NC-FUN-1)
P16 (NC-FUN-1, NC-COLL-1, NC-COLL-2)
P17 (NC-REPL-1)
P18 (NC-REPL-1, NC-COLL-1, NC-COLL-2)
P19 (NC-DEAD-1)
P20 (NC-REPORT-1)
P21 (NC-EXCL-2, NC-EXCL-3, NC-EXCL-5, NC-COLL-1, NC-COLL-2, NC-COND-1, NC-COND-2, NC-CRIME-1, NC-RES-1, NC-RES-2, NC-SUBMIT-1, NC-SUBMIT-2, NC-DOC-1, NC-DOC-2, NC-DOC-3, NC-DOC-4, NC-DOC-5, NC-DOC-6, NC-DOC-7, NC-DOC-8, NC-TIME-1, NC-ACP-1, NC-ACP-2, NC-CONF-1)
.ints
K0 40000
K1 20000
K2 1000000
K3 4500000
.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 L17
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L17
case temporary_housing -> L17
case security -> L17
case crime_scene_cleanup -> L21
case childcare -> L17
case property_replacement -> L26
case clothing_bedding -> L17
case prescription -> L17
case dental -> L33
case funeral -> L38
case legal -> L17
case tuition -> L17
case other -> L43
case unknown -> L17
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 2
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, R20
00d9 ret
00da L7: push 0
00df str r0
00e1 ldi tags
00e3 push 2
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: 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, R20
0137 ret
0138 L12: push 0
013d str r0
013f ldi tags
0141 push 2
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, P2
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, R20
0195 ret
0196 L17: push 0
019b str r0
019d ldi tags
019f push 2
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, P2
01cd ret
01ce L20: push 0
01d3 decide unknown_rule, P0
01d7 ret
01d8 L21: push 0
01dd str r0
01df ldi tags
01e1 push 2
01e6 and
01e7 jz L22
01ec ldr r0
01ee push 1
01f3 or
01f4 str r0
01f6 L22: ldr r0
01f8 switch 2, default L24
case 0 -> L24
case 1 -> L23
0206 L23: push 0
020b decide excluded, P2
020f ret
0210 L24: ldi confirmed
0212 jnz L25
0217 push 0
021c decide needs_confirmation, P9
0220 ret
0221 L25: ldi amount_cents
0223 decide eligible, P10
0227 lda
0228 ldi insurance_paid_cents
022a subs
022b push 0
0230 max
0231 seta collateral, R20
0235 ret
0236 L26: push 0
023b str r0
023d ldi tags
023f push 1
0244 and
0245 jz L27
024a ldr r0
024c push 1
0251 or
0252 str r0
0254 L27: ldi tags
0256 push 2
025b and
025c jz L28
0261 ldr r0
0263 push 2
0268 or
0269 str r0
026b L28: ldr r0
026d switch 4, default L32
case 0 -> L32
case 1 -> L29
case 2 -> L30
case 3 -> L31
0283 L29: push 0
0288 decide excluded, P11
028c ret
028d L30: push 0
0292 decide excluded, P2
0296 ret
0297 L31: push 0
029c decide excluded, P12
02a0 ret
02a1 L32: push 0
02a6 decide unknown_rule, P0
02aa ret
02ab L33: push 0
02b0 str r0
02b2 ldi tags
02b4 push 2
02b9 and
02ba jz L34
02bf ldr r0
02c1 push 1
02c6 or
02c7 str r0
02c9 L34: ldr r0
02cb switch 2, default L36
case 0 -> L36
case 1 -> L35
02d9 L35: push 0
02de decide excluded, P2
02e2 ret
02e3 L36: ldi confirmed
02e5 jnz L37
02ea push 0
02ef decide needs_confirmation, P13
02f3 ret
02f4 L37: ldi amount_cents
02f6 decide eligible, P14
02fa lda
02fb ldi insurance_paid_cents
02fd subs
02fe push 0
0303 max
0304 seta collateral, R20
0308 ret
0309 L38: push 0
030e str r0
0310 ldi tags
0312 push 2
0317 and
0318 jz L39
031d ldr r0
031f push 1
0324 or
0325 str r0
0327 L39: ldr r0
0329 switch 2, default L41
case 0 -> L41
case 1 -> L40
0337 L40: push 0
033c decide excluded, P2
0340 ret
0341 L41: ldi confirmed
0343 jnz L42
0348 push 0
034d decide needs_confirmation, P15
0351 ret
0352 L42: ldi amount_cents
0354 decide eligible, P16
0358 lda
0359 ldi insurance_paid_cents
035b subs
035c push 0
0361 max
0362 seta collateral, R20
0366 ret
0367 L43: push 0
036c str r0
036e ldi tags
0370 push 2
0375 and
0376 jz L44
037b ldr r0
037d push 1
0382 or
0383 str r0
0385 L44: ldr r0
0387 switch 2, default L46
case 0 -> L46
case 1 -> L45
0395 L45: push 0
039a decide excluded, P2
039e ret
039f L46: ldi confirmed
03a1 jnz L47
03a6 push 0
03ab decide needs_confirmation, P17
03af ret
03b0 L47: ldi amount_cents
03b2 decide eligible, P18
03b6 lda
03b7 ldi insurance_paid_cents
03b9 subs
03ba push 0
03bf max
03c0 seta collateral, R20
03c4 ret
.aggregate
0000 push 26
0005 str r3
0007 each lost_wages, L4
000d L0: ldi unit
000f push 2
0014 eq
0015 jz L2
001a ldi units
001c push 0
0021 gt
0022 jz L2
0027 ldi units
0029 ldr r3
002b min
002c str r4
002e ldr r3
0030 ldr r4
0032 subs
0033 str r3
0035 ldk K0
0038 ldr r4
003a muls
003b dup
003c lda
003d lt
003e jz L1
0043 cap unit_cap, R4
0047 jmp L3
004c L1: pop
004d jmp L3
0052 L2: flag R4
0055 L3: next L0
005a L4: push 26
005f str r3
0061 each other, L9
0067 L5: ldi unit
0069 push 2
006e eq
006f jz L7
0074 ldi units
0076 push 0
007b gt
007c jz L7
0081 ldi units
0083 ldr r3
0085 min
0086 str r4
0088 ldr r3
008a ldr r4
008c subs
008d str r3
008f ldk K1
0092 ldr r4
0094 muls
0095 dup
0096 lda
0097 lt
0098 jz L6
009d cap unit_cap, R17
00a1 jmp L8
00a6 L6: pop
00a7 jmp L8
00ac L7: flag R17
00af L8: next L5
00b4 L9: push 0
00b9 str r0
00bb push 0
00c0 str r1
00c2 each funeral, L14
00c8 L10: ldr r1
00ca jnz L12
00cf ldr r0
00d1 lda
00d2 adds
00d3 ldk K2
00d6 gt
00d7 jz L11
00dc ldk K2
00df ldr r0
00e1 subs
00e2 cap expense_cap, R6
00e6 push 1
00eb str r1
00ed L11: ldr r0
00ef lda
00f0 adds
00f1 str r0
00f3 jmp L13
00f8 L12: push 0
00fd cap expense_cap, R6
0101 L13: next L10
0106 L14: push 0
010b str r0
010d push 0
0112 str r1
0114 each all, L19
011a L15: ldr r1
011c jnz L17
0121 ldr r0
0123 lda
0124 adds
0125 ldk K3
0128 gt
0129 jz L16
012e ldk K3
0131 ldr r0
0133 subs
0134 cap total_cap, R3
0138 push 1
013d str r1
013f L16: ldr r0
0141 lda
0142 adds
0143 str r0
0145 jmp L18
014a L17: push 0
014f cap total_cap, R3
0153 L18: next L15
0158 L19: push 0
015d check minimum_loss, P0
0161 ldx incident_date
0163 push 730
0168 adds
0169 dup
016a setdate
016b ldx as_of_date
016d ge
016e jz L20
0173 push 0
0178 jmp L21
017d L20: push 1
0182 L21: check deadline, P19
0186 ldx police_report
0188 push 1
018d eq
018e jnz L23
0193 ldx police_report
0195 push 0
019a eq
019b jnz L22
01a0 push 3
01a5 jmp L24
01aa L22: push 1
01af jmp L24
01b4 L23: push 0
01b9 L24: check reporting, P20
01bd info P21
01c0 ret