The engine compiles Nebraska'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
- 42 rules, 22 sources, 21 proofs, 3 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
cea5a2ed8f30b1c2b0094390afce902b856f7ed44223aa8dda99b462d8a6c3a3
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 NE-EXAM-1 exam_no_bill - Neb. Rev. Stat. 81-1429.03(1)
R1 NE-EXAM-2 exam_payment - Neb. Rev. Stat. 81-1429.03(1)
R2 NE-MED-1 covered medical Neb. Rev. Stat. 81-1807(2)(a)
R3 NE-CAP-1 total_cap - Neb. Rev. Stat. 81-1823
R4 NE-CAP-2 expense_cap counseling per claim NCC Crime Victim Reparations page, Types of Expenses
R5 NE-CAP-3 expense_cap crime_scene_cleanup per claim NCC Crime Victim Reparations page, Types of Expenses
R6 NE-CAP-4 expense_cap funeral per claim NCC Crime Victim Reparations page, Types of Expenses
R7 NE-COV-1 covered medical NCC Crime Victim Reparations page, Types of Expenses
R8 NE-COV-2 covered counseling Neb. Rev. Stat. 81-1819(1)
R9 NE-COV-3 covered lost_wages Neb. Rev. Stat. 81-1819(2)
R10 NE-COV-4 covered dental NCC Crime Victim Reparations page, Types of Expenses
R11 NE-COV-5 covered prescription NCC Crime Victim Reparations page, Types of Expenses
R12 NE-EXCL-1 info - excluded_expense NCC Crime Victim Reparations page, Limitations
R13 NE-EXCL-2 excluded - NCC Crime Victim Reparations page, Limitations
R14 NE-WAGE-1 minimum_loss - CVR Claim Application (Oct 2023), Section 6
R15 NE-DEAD-1 deadline - from crime Neb. Rev. Stat. 81-1821(2)(a)
R16 NE-REP-1 reporting - Neb. Rev. Stat. 81-1821(1)(b)
R17 NE-REP-2 reporting - Neb. Rev. Stat. 81-1821(4)
R18 NE-COLL-1 collateral - 80 Neb. Admin. Code ch. 3, 004
R19 NE-COLL-2 collateral - 80 Neb. Admin. Code ch. 3, 004
R20 NE-COND-1 info - conduct_reduction Neb. Rev. Stat. 81-1816(1)
R21 NE-COND-2 info - conduct_reduction NCC: Innocence and Contributory Conduct
R22 NE-COND-3 info - conduct_reduction Neb. Rev. Stat. 81-1822(3)
R23 NE-EMER-1 info - emergency_award Neb. Rev. Stat. 81-1820(1)(a)
R24 NE-ELIG-1 info - eligible_crime Neb. Rev. Stat. 81-1818(2)
R25 NE-ELIG-2 info - eligible_crime Neb. Rev. Stat. 81-1821(4)
R26 NE-RES-1 info - residency Neb. Rev. Stat. 81-1807(1)
R27 NE-SUBMIT-1 info - submission CVR Claim Application (Oct 2023), cover page
R28 NE-SUBMIT-2 info - submission Crime Victim Reparations program page, Apply
R29 NE-SUBMIT-3 info - submission CVR Claim Application (Oct 2023), cover page
R30 NE-DOC-1 info - required_document FAQ, What must I do to apply for compensation?
R31 NE-DOC-2 info - required_document CVR Claim Application (Oct 2023), Section 4: Expenses
R32 NE-DOC-3 info - required_document CVR Claim Application (Oct 2023), Authorization to Release Information
R33 NE-DOC-4 info - required_document CVR Claim Application (Oct 2023), United States Citizenship Attestation
R34 NE-DOC-5 info - required_document CVR Claim Application (Oct 2023), Section 6: Loss of Wage Information
R35 NE-DOC-6 info - required_document CVR Claim Application (Oct 2023), Section 6: Loss of Wage Information
R36 NE-DOC-7 info - required_document CVR Claim Application (Oct 2023), Section 6: Loss of Wage Information
R37 NE-DOC-8 info - required_document CVR Claim Application (Oct 2023), Section 4: Expenses
R38 NE-TIME-1 info - processing_time Claims Process, quoting Neb. Rev. Stat. 81-1809(1)
R39 NE-TIME-2 info - processing_time CVR pamphlet (English), back panel
R40 NE-ACP-1 info - address_confidentiality Program eligibility
R41 NE-RECORDS-1 info - record_confidentiality Neb. Rev. Stat. 81-1842
.tags pain_suffering=bit0
.sources
S0 NE-S1 sha256 c16b9f79ee68f7b4 https://ncc.nebraska.gov/crime-victim-reparations
S1 NE-S2 sha256 1bb83990f017c834 https://nebraskalegislature.gov/laws/statutes.php?statute=81-1807
S2 NE-S3 sha256 0fe6456dd106bbc4 https://nebraskalegislature.gov/laws/statutes.php?statute=81-1816
S3 NE-S4 sha256 0febd743e416681c https://nebraskalegislature.gov/laws/statutes.php?statute=81-1817
S4 NE-S5 sha256 d0479e74a91dd50f https://nebraskalegislature.gov/laws/statutes.php?statute=81-1819
S5 NE-S6 sha256 7b74608b1e7cd6ef https://nebraskalegislature.gov/laws/statutes.php?statute=81-1820
S6 NE-S7 sha256 08423fe91ee6ebf1 https://nebraskalegislature.gov/laws/statutes.php?statute=81-1821
S7 NE-S8 sha256 5a1a368f3bcef1db https://nebraskalegislature.gov/laws/statutes.php?statute=81-1822
S8 NE-S9 sha256 5249f7533688e4de https://nebraskalegislature.gov/laws/statutes.php?statute=81-1823
S9 NE-S10 sha256 e35eba643ece3a05 https://nebraskalegislature.gov/laws/statutes.php?statute=81-1429.03
S10 NE-S11 sha256 aae502bd6e78a18b https://nebraskalegislature.gov/laws/statutes.php?statute=81-1801
S11 NE-S12 sha256 85ea7945d6fba0bc https://nebraskalegislature.gov/laws/statutes.php?statute=81-1818
S12 NE-S13 sha256 ac759d0c53a9ebd6 https://ncc.nebraska.gov/sites/default/files/doc/Frequently%20Asked%20Questions.pdf
S13 NE-S14 sha256 de945a9f54868ca3 https://ncc.nebraska.gov/sites/default/files/doc/57844_78_Nebraska%20Crime%20Victim_s%20Reparations%20New%20Brochure%20-%20Statute%20spelled%20correctly.pdf
S14 NE-S15 sha256 504843f36be9f074 https://ncc.nebraska.gov/sites/default/files/doc/CVR%20Claim%20Application%2010-2023.pdf
S15 NE-S17 sha256 3272d6eab9fc2e99 https://ncc.nebraska.gov/sites/default/files/doc/Innocence%20and%20Contributory%20Conduct.pdf
S16 NE-S20 sha256 aab55034367d0711 https://www.law.cornell.edu/regulations/nebraska/80-Neb-Admin-Code-ch-3-SS-003
S17 NE-S21 sha256 efc25ab9a66aee17 https://www.law.cornell.edu/regulations/nebraska/80-Neb-Admin-Code-ch-3-SS-004
S18 NE-S22 sha256 2fe24d94f109452f https://ncc.nebraska.gov/sites/default/files/doc/Claims%20Process.pdf
S19 NE-S23 sha256 ad580a82d8018359 https://sos.nebraska.gov/business-services/address-confidentiality-program
S20 NE-S24 sha256 cb8449f16f3e63fc https://nebraskalegislature.gov/laws/statutes.php?statute=42-1203
S21 NE-S25 sha256 dc730cdcfc2cd8ee https://nebraskalegislature.gov/laws/statutes.php?statute=81-1842
.proofs
P0 ()
P1 (NE-EXAM-1, NE-EXAM-2)
P2 (NE-EXCL-2)
P3 (NE-MED-1, NE-COV-1)
P4 (NE-MED-1, NE-COV-1, NE-COLL-1, NE-COLL-2)
P5 (NE-CAP-2, NE-COV-2)
P6 (NE-CAP-2, NE-COV-2, NE-COLL-1, NE-COLL-2)
P7 (NE-COV-3)
P8 (NE-COV-3, NE-COLL-1, NE-COLL-2)
P9 (NE-CAP-3)
P10 (NE-CAP-3, NE-COLL-1, NE-COLL-2)
P11 (NE-COV-5)
P12 (NE-COV-5, NE-COLL-1, NE-COLL-2)
P13 (NE-COV-4)
P14 (NE-COV-4, NE-COLL-1, NE-COLL-2)
P15 (NE-CAP-4)
P16 (NE-CAP-4, NE-COLL-1, NE-COLL-2)
P17 (NE-WAGE-1)
P18 (NE-DEAD-1)
P19 (NE-REP-1, NE-REP-2)
P20 (NE-EXCL-1, NE-COLL-1, NE-COLL-2, NE-COND-1, NE-COND-2, NE-COND-3, NE-EMER-1, NE-ELIG-1, NE-ELIG-2, NE-RES-1, NE-SUBMIT-1, NE-SUBMIT-2, NE-SUBMIT-3, NE-DOC-1, NE-DOC-2, NE-DOC-3, NE-DOC-4, NE-DOC-5, NE-DOC-6, NE-DOC-7, NE-DOC-8, NE-TIME-1, NE-TIME-2, NE-ACP-1, NE-RECORDS-1)
.ints
K0 500000
K1 1000000
K2 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 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 -> L17
case clothing_bedding -> L17
case prescription -> L26
case dental -> L31
case funeral -> L36
case legal -> L17
case tuition -> L17
case other -> L17
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 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, R18
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: 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, R18
0137 ret
0138 L12: push 0
013d str r0
013f ldi tags
0141 push 1
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, R18
0195 ret
0196 L17: push 0
019b str r0
019d ldi tags
019f push 1
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 1
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, R18
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: ldr r0
0256 switch 2, default L29
case 0 -> L29
case 1 -> L28
0264 L28: push 0
0269 decide excluded, P2
026d ret
026e L29: ldi confirmed
0270 jnz L30
0275 push 0
027a decide needs_confirmation, P11
027e ret
027f L30: ldi amount_cents
0281 decide eligible, P12
0285 lda
0286 ldi insurance_paid_cents
0288 subs
0289 push 0
028e max
028f seta collateral, R18
0293 ret
0294 L31: push 0
0299 str r0
029b ldi tags
029d push 1
02a2 and
02a3 jz L32
02a8 ldr r0
02aa push 1
02af or
02b0 str r0
02b2 L32: ldr r0
02b4 switch 2, default L34
case 0 -> L34
case 1 -> L33
02c2 L33: push 0
02c7 decide excluded, P2
02cb ret
02cc L34: ldi confirmed
02ce jnz L35
02d3 push 0
02d8 decide needs_confirmation, P13
02dc ret
02dd L35: ldi amount_cents
02df decide eligible, P14
02e3 lda
02e4 ldi insurance_paid_cents
02e6 subs
02e7 push 0
02ec max
02ed seta collateral, R18
02f1 ret
02f2 L36: push 0
02f7 str r0
02f9 ldi tags
02fb push 1
0300 and
0301 jz L37
0306 ldr r0
0308 push 1
030d or
030e str r0
0310 L37: ldr r0
0312 switch 2, default L39
case 0 -> L39
case 1 -> L38
0320 L38: push 0
0325 decide excluded, P2
0329 ret
032a L39: ldi confirmed
032c jnz L40
0331 push 0
0336 decide needs_confirmation, P15
033a ret
033b L40: ldi amount_cents
033d decide eligible, P16
0341 lda
0342 ldi insurance_paid_cents
0344 subs
0345 push 0
034a max
034b seta collateral, R18
034f ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each counseling, 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, R4
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, R4
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each crime_scene_cleanup, L9
0066 L5: ldr r1
0068 jnz L7
006d ldr r0
006f lda
0070 adds
0071 ldk K0
0074 gt
0075 jz L6
007a ldk K0
007d ldr r0
007f subs
0080 cap expense_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 expense_cap, R5
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each funeral, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K1
00c6 gt
00c7 jz L11
00cc ldk K1
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R6
00d6 push 1
00db str r1
00dd L11: ldr r0
00df lda
00e0 adds
00e1 str r0
00e3 jmp L13
00e8 L12: push 0
00ed cap expense_cap, R6
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each all, L19
010a L15: ldr r1
010c jnz L17
0111 ldr r0
0113 lda
0114 adds
0115 ldk K2
0118 gt
0119 jz L16
011e ldk K2
0121 ldr r0
0123 subs
0124 cap total_cap, R3
0128 push 1
012d str r1
012f L16: ldr r0
0131 lda
0132 adds
0133 str r0
0135 jmp L18
013a L17: push 0
013f cap total_cap, R3
0143 L18: next L15
0148 L19: push 0
014d str r5
014f push 0
0154 str r6
0156 each lost_wages, L23
015c L20: ldi unit
015e push 2
0163 eq
0164 jz L21
0169 ldr r5
016b ldi units
016d adds
016e str r5
0170 jmp L22
0175 L21: ldi unit
0177 push 5
017c eq
017d jz L22
0182 ldr r6
0184 ldi units
0186 adds
0187 str r6
0189 L22: next L20
018e L23: ldr r5
0190 push 5
0195 muls
0196 ldr r6
0198 adds
0199 str r1
019b push 0
01a0 str r2
01a2 ldr r1
01a4 push 7
01a9 ge
01aa jnz L24
01af push 2
01b4 ldr r2
01b6 max
01b7 str r2
01b9 L24: ldr r2
01bb check minimum_loss, P17
01bf ldx incident_date
01c1 push 730
01c6 adds
01c7 dup
01c8 setdate
01c9 ldx as_of_date
01cb ge
01cc jz L25
01d1 push 0
01d6 jmp L26
01db L25: push 1
01e0 L26: check deadline, P18
01e4 ldx police_report
01e6 push 1
01eb eq
01ec jnz L28
01f1 ldx forensic_exam
01f3 jnz L28
01f8 ldx police_report
01fa push 0
01ff eq
0200 jnz L27
0205 push 3
020a jmp L29
020f L27: push 1
0214 jmp L29
0219 L28: push 0
021e L29: check reporting, P19
0222 info P20
0225 ret