The engine compiles District of Columbia'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
- 55 rules, 18 sources, 33 proofs, 10 ints, 317 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
3289b186deb4271c4cf8fbc015fe32d330d8ba8bc3ed98fdc3d042975c38e365
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 DC-EXAM-1 exam_no_bill - D.C. Code § 4-561.03
R1 DC-EXAM-2 exam_no_bill - D.C. Code § 23-1908(a)(1)
R2 DC-CAP-1 total_cap - D.C. Code § 4-507(b)
R3 DC-CAP-2 expense_cap counseling per claim D.C. Super. Ct. CVCP Rule 24(d)
R4 DC-CAP-3 expense_cap lost_wages per claim D.C. Super. Ct. CVCP Rule 28
R5 DC-CAP-4 expense_cap relocation per claim D.C. Super. Ct. CVCP Rule 34
R6 DC-CAP-5 expense_cap temporary_housing per claim D.C. Super. Ct. CVCP Rule 29
R7 DC-CAP-6 expense_cap transportation per claim D.C. Super. Ct. CVCP Rule 35
R8 DC-CAP-7 expense_cap security per claim D.C. Super. Ct. CVCP Rule 32
R9 DC-CAP-8 expense_cap clothing_bedding per claim D.C. Super. Ct. CVCP Rule 27
R10 DC-CAP-9 expense_cap crime_scene_cleanup per claim D.C. Super. Ct. CVCP Rule 26
R11 DC-CAP-10 expense_cap childcare per week D.C. Super. Ct. CVCP Rule 31
R12 DC-CAP-11 expense_cap other per claim D.C. Super. Ct. CVCP Rule 33
R13 DC-CAP-12 expense_cap childcare per claim D.C. Super. Ct. CVCP Rule 31
R14 DC-CAP-13 expense_cap funeral per claim D.C. Code § 4-501(7)(A)(ii)
R15 DC-COV-1 covered medical D.C. Code § 4-501(7)(A)(i)
R16 DC-COV-2 covered medical D.C. Super. Ct. CVCP Rule 24(c)
R17 DC-COV-3 covered counseling D.C. Code § 4-501(9)(D)
R18 DC-COV-4 covered lost_wages D.C. Code § 4-501(7)(A)(iv)
R19 DC-COV-5 covered relocation D.C. Code § 4-501(7)(A)(xii)
R20 DC-COV-6 covered dental D.C. Code § 4-501(9)(A)
R21 DC-EXC-1 excluded property_replacement D.C. Code § 4-501(7)(B)
R22 DC-EXC-2 excluded legal CVCP Application page, Information on Attorneys
R23 DC-DEAD-1 deadline - from crime D.C. Code § 4-506(a)(1)
R24 DC-REP-1 reporting - D.C. Code § 4-506(a)(2)
R25 DC-REP-2 reporting - D.C. Code § 4-506(c)(3)
R26 DC-REP-3 reporting - D.C. Code § 4-506(c)(5)
R27 DC-COL-1 collateral - D.C. Code § 4-507(a)
R28 DC-COL-2 collateral - D.C. Code § 4-507(a-1)
R29 DC-COND-1 info - conduct_reduction D.C. Code § 4-508(b)
R30 DC-COND-2 info - conduct_reduction D.C. Code § 4-508(b)(2)
R31 DC-EMER-1 info - emergency_award D.C. Code § 4-510(a)
R32 DC-CRIME-1 info - eligible_crime D.C. Code § 4-501(6)(KK)
R33 DC-RES-1 info - residency D.C. Code § 4-501(14)
R34 DC-SUB-1 info - submission CVCP Application (rev. 4/21/23), p.7, submission instructions
R35 DC-SUB-2 info - submission CVCP Application (rev. 4/21/23), p.7, submission instructions
R36 DC-SUB-3 info - submission CVCP Application (rev. 4/21/23), p.7, submission instructions
R37 DC-SUB-4 info - submission CVCP Application page, ways to submit
R38 DC-SUB-5 info - submission CVCP Information Brochure, Where can I get an application?
R39 DC-DOC-1 info - required_document CVCP Information Brochure, Documents Needed
R40 DC-DOC-2 info - required_document CVCP Application page
R41 DC-DOC-3 info - required_document CVCP Application (rev. 4/21/23), p.2, Documentation of Crime
R42 DC-DOC-4 info - required_document CVCP Application page
R43 DC-DOC-5 info - required_document CVCP Application (rev. 4/21/23), p.3, Section 2
R44 DC-DOC-6 info - required_document CVCP Application (rev. 4/21/23), p.3, Section 2
R45 DC-DOC-7 info - required_document CVCP Application (rev. 4/21/23), p.3, Section 2
R46 DC-DOC-8 info - required_document CVCP Application (rev. 4/21/23), p.4, Section 4
R47 DC-DOC-9 info - required_document CVCP Application (rev. 4/21/23), p.4, Section 4
R48 DC-DOC-10 info - required_document CVCP Application (rev. 4/21/23), p.3, Section 1
R49 DC-DOC-11 info - required_document CVCP Application (rev. 4/21/23), p.6, Section 12
R50 DC-DOC-12 info - required_document CVCP Application (rev. 4/21/23), p.5, Section 6
R51 DC-DOC-13 info - required_document D.C. Courts Forms Help Online, Crime Victims
R52 DC-TIME-1 info - processing_time CVCP Application (rev. 4/21/23), p.7
R53 DC-ACP-1 info - address_confidentiality OVSJG Address Confidentiality Program page, program description
R54 DC-RECCONF-1 info - record_confidentiality D.C. Code § 4-511(a)
.sources
S0 DC-S1 sha256 6524e70d4b744547 https://www.dccourts.gov/superior-court/superior-court-divisions/crime-victims-compensation-program
S1 DC-S2 sha256 64e7af0f6e978cda https://www.dccourts.gov/superior-court/superior-court-divisions/crime-victims-compensation-program/eligibility
S2 DC-S3 sha256 4eae274abb906eac https://www.dccourts.gov/superior-court/superior-court-divisions/crime-victims-compensation-program/compensable-costs
S3 DC-S4 sha256 d924b4169753a7c6 https://www.dccourts.gov/superior-court/superior-court-divisions/crime-victims-compensation-program/application
S4 DC-S5 sha256 194680f685bb6214 https://www.dccourts.gov/sites/default/files/matters-docs/CVCP-Information-Brochure.pdf
S5 DC-S6 sha256 6a15cc784df7c1e0 https://www.dccourts.gov/sites/default/files/CVCP_Application_New_Code_Changes_2023.pdf
S6 DC-S7 sha256 7c993fad7104b7af https://www.dccourts.gov/sites/default/files/superior-rules/Crime%20Victim%20Compensation%20Program%20Rules.pdf
S7 DC-S8 sha256 66f2d34bbb257883 https://code.dccouncil.gov/us/dc/council/code/sections/4-501
S8 DC-S9 sha256 c1d6ec06ebda1e61 https://code.dccouncil.gov/us/dc/council/code/sections/4-506
S9 DC-S10 sha256 99037530ac17520b https://code.dccouncil.gov/us/dc/council/code/sections/4-507
S10 DC-S11 sha256 d06b3d0d97be843c https://code.dccouncil.gov/us/dc/council/code/sections/4-508
S11 DC-S12 sha256 8cf8a75037ed0fba https://code.dccouncil.gov/us/dc/council/code/sections/4-510
S12 DC-S13 sha256 bf06692e8c6ce425 https://code.dccouncil.gov/us/dc/council/code/sections/4-512
S13 DC-S14 sha256 ab6d79dc705699a2 https://code.dccouncil.gov/us/dc/council/code/sections/4-561.03
S14 DC-S15 sha256 9e8e25141045d44f https://code.dccouncil.gov/us/dc/council/code/sections/23-1908
S15 DC-S16 sha256 28a60f35f0e30b85 https://www.probono.net/dccourts/crimevictims/
S16 DC-S17 sha256 d723d81aa5119644 https://code.dccouncil.gov/us/dc/council/code/sections/4-511
S17 DC-S18 sha256 2c157f5a324716e2 https://ovsjg.dc.gov/acp
.proofs
P0 ()
P1 (DC-EXAM-1, DC-EXAM-2)
P2 (DC-COV-1, DC-COV-2)
P3 (DC-COV-1, DC-COV-2, DC-COL-1, DC-COL-2)
P4 (DC-CAP-2, DC-COV-3)
P5 (DC-CAP-2, DC-COV-3, DC-COL-1, DC-COL-2)
P6 (DC-CAP-3, DC-COV-4)
P7 (DC-CAP-3, DC-COV-4, DC-COL-1, DC-COL-2)
P8 (DC-CAP-6)
P9 (DC-CAP-6, DC-COL-1, DC-COL-2)
P10 (DC-CAP-4, DC-COV-5)
P11 (DC-CAP-4, DC-COV-5, DC-COL-1, DC-COL-2)
P12 (DC-CAP-5)
P13 (DC-CAP-5, DC-COL-1, DC-COL-2)
P14 (DC-CAP-7)
P15 (DC-CAP-7, DC-COL-1, DC-COL-2)
P16 (DC-CAP-9)
P17 (DC-CAP-9, DC-COL-1, DC-COL-2)
P18 (DC-CAP-10, DC-CAP-12)
P19 (DC-CAP-10, DC-CAP-12, DC-COL-1, DC-COL-2)
P20 (DC-EXC-1)
P21 (DC-CAP-8)
P22 (DC-CAP-8, DC-COL-1, DC-COL-2)
P23 (DC-COV-6)
P24 (DC-COV-6, DC-COL-1, DC-COL-2)
P25 (DC-CAP-13)
P26 (DC-CAP-13, DC-COL-1, DC-COL-2)
P27 (DC-EXC-2)
P28 (DC-CAP-11)
P29 (DC-CAP-11, DC-COL-1, DC-COL-2)
P30 (DC-DEAD-1)
P31 (DC-REP-1, DC-REP-2, DC-REP-3)
P32 (DC-COL-1, DC-COL-2, DC-COND-1, DC-COND-2, DC-EMER-1, DC-CRIME-1, DC-RES-1, DC-SUB-1, DC-SUB-2, DC-SUB-3, DC-SUB-4, DC-SUB-5, DC-DOC-1, DC-DOC-2, DC-DOC-3, DC-DOC-4, DC-DOC-5, DC-DOC-6, DC-DOC-7, DC-DOC-8, DC-DOC-9, DC-DOC-10, DC-DOC-11, DC-DOC-12, DC-DOC-13, DC-TIME-1, DC-ACP-1, DC-RECCONF-1)
.ints
K0 20000
K1 300000
K2 1000000
K3 150000
K4 60000
K5 100000
K6 10000
K7 200000
K8 250000
K9 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 L23
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 -> L14
case crime_scene_cleanup -> L16
case childcare -> L18
case property_replacement -> L20
case clothing_bedding -> L21
case prescription -> L23
case dental -> L24
case funeral -> L26
case legal -> L28
case tuition -> L23
case other -> L29
case unknown -> L23
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: ldi confirmed
013c jnz L13
0141 push 0
0146 decide needs_confirmation, P12
014a ret
014b L13: ldi amount_cents
014d decide eligible, P13
0151 lda
0152 ldi insurance_paid_cents
0154 subs
0155 push 0
015a max
015b seta collateral, R27
015f ret
0160 L14: ldi confirmed
0162 jnz L15
0167 push 0
016c decide needs_confirmation, P14
0170 ret
0171 L15: ldi amount_cents
0173 decide eligible, P15
0177 lda
0178 ldi insurance_paid_cents
017a subs
017b push 0
0180 max
0181 seta collateral, R27
0185 ret
0186 L16: ldi confirmed
0188 jnz L17
018d push 0
0192 decide needs_confirmation, P16
0196 ret
0197 L17: ldi amount_cents
0199 decide eligible, P17
019d lda
019e ldi insurance_paid_cents
01a0 subs
01a1 push 0
01a6 max
01a7 seta collateral, R27
01ab ret
01ac L18: ldi confirmed
01ae jnz L19
01b3 push 0
01b8 decide needs_confirmation, P18
01bc ret
01bd L19: ldi amount_cents
01bf decide eligible, P19
01c3 lda
01c4 ldi insurance_paid_cents
01c6 subs
01c7 push 0
01cc max
01cd seta collateral, R27
01d1 ret
01d2 L20: push 0
01d7 decide excluded, P20
01db ret
01dc L21: ldi confirmed
01de jnz L22
01e3 push 0
01e8 decide needs_confirmation, P21
01ec ret
01ed L22: ldi amount_cents
01ef decide eligible, P22
01f3 lda
01f4 ldi insurance_paid_cents
01f6 subs
01f7 push 0
01fc max
01fd seta collateral, R27
0201 ret
0202 L23: push 0
0207 decide unknown_rule, P0
020b ret
020c L24: ldi confirmed
020e jnz L25
0213 push 0
0218 decide needs_confirmation, P23
021c ret
021d L25: ldi amount_cents
021f decide eligible, P24
0223 lda
0224 ldi insurance_paid_cents
0226 subs
0227 push 0
022c max
022d seta collateral, R27
0231 ret
0232 L26: ldi confirmed
0234 jnz L27
0239 push 0
023e decide needs_confirmation, P25
0242 ret
0243 L27: ldi amount_cents
0245 decide eligible, P26
0249 lda
024a ldi insurance_paid_cents
024c subs
024d push 0
0252 max
0253 seta collateral, R27
0257 ret
0258 L28: push 0
025d decide excluded, P27
0261 ret
0262 L29: ldi confirmed
0264 jnz L30
0269 push 0
026e decide needs_confirmation, P28
0272 ret
0273 L30: ldi amount_cents
0275 decide eligible, P29
0279 lda
027a ldi insurance_paid_cents
027c subs
027d push 0
0282 max
0283 seta collateral, R27
0287 ret
.aggregate
0000 each childcare, 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, R11
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R11
0040 L3: next L0
0045 L4: push 0
004a str r0
004c push 0
0051 str r1
0053 each counseling, L9
0059 L5: ldr r1
005b jnz L7
0060 ldr r0
0062 lda
0063 adds
0064 ldk K1
0067 gt
0068 jz L6
006d ldk K1
0070 ldr r0
0072 subs
0073 cap expense_cap, R3
0077 push 1
007c str r1
007e L6: ldr r0
0080 lda
0081 adds
0082 str r0
0084 jmp L8
0089 L7: push 0
008e cap expense_cap, R3
0092 L8: next L5
0097 L9: push 0
009c str r0
009e push 0
00a3 str r1
00a5 each lost_wages, L14
00ab L10: ldr r1
00ad jnz L12
00b2 ldr r0
00b4 lda
00b5 adds
00b6 ldk K2
00b9 gt
00ba jz L11
00bf ldk K2
00c2 ldr r0
00c4 subs
00c5 cap expense_cap, R4
00c9 push 1
00ce str r1
00d0 L11: ldr r0
00d2 lda
00d3 adds
00d4 str r0
00d6 jmp L13
00db L12: push 0
00e0 cap expense_cap, R4
00e4 L13: next L10
00e9 L14: push 0
00ee str r0
00f0 push 0
00f5 str r1
00f7 each relocation, L19
00fd L15: ldr r1
00ff jnz L17
0104 ldr r0
0106 lda
0107 adds
0108 ldk K3
010b gt
010c jz L16
0111 ldk K3
0114 ldr r0
0116 subs
0117 cap expense_cap, R5
011b push 1
0120 str r1
0122 L16: ldr r0
0124 lda
0125 adds
0126 str r0
0128 jmp L18
012d L17: push 0
0132 cap expense_cap, R5
0136 L18: next L15
013b L19: push 0
0140 str r0
0142 push 0
0147 str r1
0149 each temporary_housing, L24
014f L20: ldr r1
0151 jnz L22
0156 ldr r0
0158 lda
0159 adds
015a ldk K1
015d gt
015e jz L21
0163 ldk K1
0166 ldr r0
0168 subs
0169 cap expense_cap, R6
016d push 1
0172 str r1
0174 L21: ldr r0
0176 lda
0177 adds
0178 str r0
017a jmp L23
017f L22: push 0
0184 cap expense_cap, R6
0188 L23: next L20
018d L24: push 0
0192 str r0
0194 push 0
0199 str r1
019b each transportation, L29
01a1 L25: ldr r1
01a3 jnz L27
01a8 ldr r0
01aa lda
01ab adds
01ac ldk K4
01af gt
01b0 jz L26
01b5 ldk K4
01b8 ldr r0
01ba subs
01bb cap expense_cap, R7
01bf push 1
01c4 str r1
01c6 L26: ldr r0
01c8 lda
01c9 adds
01ca str r0
01cc jmp L28
01d1 L27: push 0
01d6 cap expense_cap, R7
01da L28: next L25
01df L29: push 0
01e4 str r0
01e6 push 0
01eb str r1
01ed each security, L34
01f3 L30: ldr r1
01f5 jnz L32
01fa ldr r0
01fc lda
01fd adds
01fe ldk K5
0201 gt
0202 jz L31
0207 ldk K5
020a ldr r0
020c subs
020d cap expense_cap, R8
0211 push 1
0216 str r1
0218 L31: ldr r0
021a lda
021b adds
021c str r0
021e jmp L33
0223 L32: push 0
0228 cap expense_cap, R8
022c L33: next L30
0231 L34: push 0
0236 str r0
0238 push 0
023d str r1
023f each clothing_bedding, L39
0245 L35: ldr r1
0247 jnz L37
024c ldr r0
024e lda
024f adds
0250 ldk K6
0253 gt
0254 jz L36
0259 ldk K6
025c ldr r0
025e subs
025f cap expense_cap, R9
0263 push 1
0268 str r1
026a L36: ldr r0
026c lda
026d adds
026e str r0
0270 jmp L38
0275 L37: push 0
027a cap expense_cap, R9
027e L38: next L35
0283 L39: push 0
0288 str r0
028a push 0
028f str r1
0291 each crime_scene_cleanup, L44
0297 L40: ldr r1
0299 jnz L42
029e ldr r0
02a0 lda
02a1 adds
02a2 ldk K5
02a5 gt
02a6 jz L41
02ab ldk K5
02ae ldr r0
02b0 subs
02b1 cap expense_cap, R10
02b5 push 1
02ba str r1
02bc L41: ldr r0
02be lda
02bf adds
02c0 str r0
02c2 jmp L43
02c7 L42: push 0
02cc cap expense_cap, R10
02d0 L43: next L40
02d5 L44: push 0
02da str r0
02dc push 0
02e1 str r1
02e3 each other, L49
02e9 L45: ldr r1
02eb jnz L47
02f0 ldr r0
02f2 lda
02f3 adds
02f4 ldk K7
02f7 gt
02f8 jz L46
02fd ldk K7
0300 ldr r0
0302 subs
0303 cap expense_cap, R12
0307 push 1
030c str r1
030e L46: ldr r0
0310 lda
0311 adds
0312 str r0
0314 jmp L48
0319 L47: push 0
031e cap expense_cap, R12
0322 L48: next L45
0327 L49: push 0
032c str r0
032e push 0
0333 str r1
0335 each childcare, L54
033b L50: ldr r1
033d jnz L52
0342 ldr r0
0344 lda
0345 adds
0346 ldk K8
0349 gt
034a jz L51
034f ldk K8
0352 ldr r0
0354 subs
0355 cap expense_cap, R13
0359 push 1
035e str r1
0360 L51: ldr r0
0362 lda
0363 adds
0364 str r0
0366 jmp L53
036b L52: push 0
0370 cap expense_cap, R13
0374 L53: next L50
0379 L54: push 0
037e str r0
0380 push 0
0385 str r1
0387 each funeral, L59
038d L55: ldr r1
038f jnz L57
0394 ldr r0
0396 lda
0397 adds
0398 ldk K2
039b gt
039c jz L56
03a1 ldk K2
03a4 ldr r0
03a6 subs
03a7 cap expense_cap, R14
03ab push 1
03b0 str r1
03b2 L56: ldr r0
03b4 lda
03b5 adds
03b6 str r0
03b8 jmp L58
03bd L57: push 0
03c2 cap expense_cap, R14
03c6 L58: next L55
03cb L59: push 0
03d0 str r0
03d2 push 0
03d7 str r1
03d9 each all, L64
03df L60: ldr r1
03e1 jnz L62
03e6 ldr r0
03e8 lda
03e9 adds
03ea ldk K9
03ed gt
03ee jz L61
03f3 ldk K9
03f6 ldr r0
03f8 subs
03f9 cap total_cap, R2
03fd push 1
0402 str r1
0404 L61: ldr r0
0406 lda
0407 adds
0408 str r0
040a jmp L63
040f L62: push 0
0414 cap total_cap, R2
0418 L63: next L60
041d L64: push 0
0422 check minimum_loss, P0
0426 ldx incident_date
0428 push 365
042d adds
042e dup
042f setdate
0430 ldx as_of_date
0432 ge
0433 jz L65
0438 push 0
043d jmp L66
0442 L65: push 1
0447 L66: check deadline, P30
044b ldx police_report
044d push 1
0452 eq
0453 jnz L68
0458 ldx forensic_exam
045a jnz L68
045f ldx police_report
0461 push 0
0466 eq
0467 jnz L67
046c push 3
0471 jmp L69
0476 L67: push 1
047b jmp L69
0480 L68: push 0
0485 L69: check reporting, P31
0489 info P32
048c ret