The engine compiles Texas'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
- 44 rules, 21 sources, 25 proofs, 6 ints, 285 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
a0ecf0797cd508a9c9a9de928fab2a9c6d23827c76c8589b7fa6c83b865920e0
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 TX-EXAM-1 exam_no_bill - Tex. Code Crim. Proc. art. 56A.304(f)
R1 TX-EXAM-2 exam_payment - Tex. Code Crim. Proc. art. 56A.304(a)
R2 TX-EXAM-3 info - expense_cap Tex. Code Crim. Proc. art. 56A.305(b)
R3 TX-EXAM-4 exam_no_bill - OAG Emergency Medical Care Compensation page
R4 TX-CAP-1 total_cap - Tex. Code Crim. Proc. art. 56B.106(a)
R5 TX-WAGES-1 expense_cap lost_wages per week 1 Tex. Admin. Code 61.402(h)(5)
R6 TX-RELO-1 covered relocation Tex. Code Crim. Proc. art. 56B.106(c)
R7 TX-RELO-2 expense_cap relocation per claim Tex. Code Crim. Proc. art. 56B.106(c-3)
R8 TX-RELO-3 covered temporary_housing OAG Rent and Relocation Reimbursement page
R9 TX-TRAVEL-1 covered transportation OAG Travel Cost Reimbursement page
R10 TX-MED-1 covered medical Tex. Code Crim. Proc. art. 56B.003(10)(A)
R11 TX-MED-2 covered prescription OAG Medical Care Expenses page
R12 TX-COUNSEL-2 covered counseling Tex. Code Crim. Proc. art. 56B.003(10)(A)
R13 TX-WAGES-2 covered lost_wages Tex. Code Crim. Proc. art. 56B.003(10)(B)
R14 TX-CHILD-1 expense_cap childcare per week 1 Tex. Admin. Code 61.405(b)(6)(B)
R15 TX-CLEAN-1 expense_cap crime_scene_cleanup per claim 1 Tex. Admin. Code 61.405(d)(2)
R16 TX-SEIZED-1 covered clothing_bedding Tex. Code Crim. Proc. art. 56B.003(10)(G)
R17 TX-SEIZED-2 expense_cap clothing_bedding per claim 1 Tex. Admin. Code 61.405(e)(2)
R18 TX-EXCL-1 info - excluded_expense OAG CVC Covered Costs page, Costs Not Covered
R19 TX-EXCL-2 info - excluded_expense OAG CVC Covered Costs page, Costs Not Covered
R20 TX-EXCL-3 info - excluded_expense OAG Mental Health Care Expenses page
R21 TX-DEADLINE-1 deadline - from crime OAG CVC Eligibility page
R22 TX-REPORT-1 reporting - Tex. Code Crim. Proc. art. 56B.053(a)
R23 TX-REPORT-2 reporting - OAG CVC Eligibility page, Basic requirements
R24 TX-COLLAT-1 collateral - Tex. Code Crim. Proc. art. 56B.103(b)
R25 TX-CONDUCT-1 info - conduct_reduction Tex. Code Crim. Proc. art. 56B.107(a)(1)-(2)
R26 TX-CONDUCT-2 info - conduct_reduction Tex. Code Crim. Proc. art. 56B.107(d)
R27 TX-EMERG-1 info - emergency_award Tex. Code Crim. Proc. art. 56B.102(b)
R28 TX-CRIME-1 info - eligible_crime OAG CVC Eligibility page, Covered crimes
R29 TX-RES-1 info - residency Tex. Code Crim. Proc. art. 56B.003(14)(A)
R30 TX-SUBMIT-1 info - submission CVC Application (rev. 10/15), instructions, page 1
R31 TX-SUBMIT-2 info - submission OAG How to Apply page, Step 1
R32 TX-DOC-1 info - required_document CVC Application (rev. 10/15), instructions, page 1
R33 TX-DOC-2 info - required_document CVC Application (rev. 10/15), instructions, page 1
R34 TX-DOC-3 info - required_document OAG Emergency Medical Care page, How to apply
R35 TX-DOC-4 info - required_document OAG Emergency Medical Care page, How to apply
R36 TX-DOC-5 info - required_document OAG Emergency Medical Care page, How to apply
R37 TX-DOC-6 info - required_document CVC Application (rev. 10/15), instructions, page 1
R38 TX-DOC-7 info - required_document OAG Lost Wages page, How to apply
R39 TX-DOC-8 info - required_document OAG Lost Wages page, How to apply
R40 TX-DOC-9 info - required_document OAG Rent and Relocation page, How to apply
R41 TX-ACP-1 info - address_confidentiality Tex. Code Crim. Proc. art. 58.052(a), (b)(1)
R42 TX-RECORDS-1 info - record_confidentiality Tex. Code Crim. Proc. art. 56B.058(b)
R43 TX-COUNSEL-1 skipped - expense_cap 1 Tex. Admin. Code 61.503(a)(4)
.sources
S0 TX-S1 sha256 ed4d5cfb82c2e12f https://statutes.capitol.texas.gov/Docs/CR/htm/CR.56B.htm
S1 TX-S2 sha256 9dfb06bad9e6216f https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program
S2 TX-S3 sha256 4fe049db45a422d2 https://www.texasattorneygeneral.gov/crime-victims/compensation-program-overview/cvc-covered-costs
S3 TX-S4 sha256 abc49347ac68e412 https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/eligibility-victims
S4 TX-S5 sha256 48ea9a5f4c793fe7 https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/apply-crime-victims-compensation
S5 TX-S6 sha256 0bd409e4665bde06 https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/collateral-sources
S6 TX-S7 sha256 e299cc2a6ca385bf https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/cvc-covered-costs/mental-health-care-expenses
S7 TX-S8 sha256 aeed6f3fd9fcc1b6 https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/lost-wages-for-victims
S8 TX-S9 sha256 d19ae0e51f4e3f3c https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/cvc-covered-costs/rent-and-relocation-reimbursement
S9 TX-S10 sha256 84950a9642e5dd1e https://www.texasattorneygeneral.gov/crime-victims/compensation-program-overview/cvc-covered-costs/travel-cost-reimbursement
S10 TX-S11 sha256 6c295237d102bd8a https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/cvc-covered-costs/emergency-medical-care-compensation
S11 TX-S13 sha256 6de63daf60d41d04 https://www.texasattorneygeneral.gov/crime-victims/compensation-program-overview/cvc-covered-costs/medical-care-expenses
S12 TX-S15 sha256 8d2eb957b13d817b https://statutes.capitol.texas.gov/Docs/CR/htm/CR.56A.htm
S13 TX-S16 sha256 f3d97a7f32d21ca2 https://www.texasattorneygeneral.gov/sites/default/files/files/divisions/crime-victims/Printed%20CVC%20Application.pdf
S14 TX-S17 sha256 d44d47cb7872b17a https://www.law.cornell.edu/regulations/texas/1-Tex-Admin-Code-SS-61-503
S15 TX-S18 sha256 d032b9394affb3fd https://www.law.cornell.edu/regulations/texas/1-Tex-Admin-Code-SS-61-402
S16 TX-S19 sha256 d509fe85ac33ad66 https://www.law.cornell.edu/regulations/texas/1-Tex-Admin-Code-SS-61-404
S17 TX-S20 sha256 14dda9212a797d8f https://www.law.cornell.edu/regulations/texas/1-Tex-Admin-Code-SS-61-405
S18 TX-S21 sha256 f863eb876a602a72 https://www.texasattorneygeneral.gov/crime-victims/crime-victims-compensation-program/victims-portal-guide
S19 TX-S22 sha256 1f0f68c3afc1f81d https://statutes.capitol.texas.gov/Docs/CR/htm/CR.58.htm
S20 TX-S23 sha256 3d4420f9712c8edd https://www.texasattorneygeneral.gov/crime-victims/address-confidentiality-program
.proofs
P0 ()
P1 (TX-EXAM-1, TX-EXAM-4, TX-EXAM-2)
P2 (TX-MED-1)
P3 (TX-MED-1, TX-COLLAT-1)
P4 (TX-COUNSEL-2)
P5 (TX-COUNSEL-2, TX-COLLAT-1)
P6 (TX-WAGES-1, TX-WAGES-2)
P7 (TX-WAGES-1, TX-WAGES-2, TX-COLLAT-1)
P8 (TX-TRAVEL-1)
P9 (TX-TRAVEL-1, TX-COLLAT-1)
P10 (TX-RELO-1, TX-RELO-2)
P11 (TX-RELO-1, TX-RELO-2, TX-COLLAT-1)
P12 (TX-RELO-3)
P13 (TX-RELO-3, TX-COLLAT-1)
P14 (TX-CLEAN-1)
P15 (TX-CLEAN-1, TX-COLLAT-1)
P16 (TX-CHILD-1)
P17 (TX-CHILD-1, TX-COLLAT-1)
P18 (TX-SEIZED-1, TX-SEIZED-2)
P19 (TX-SEIZED-1, TX-SEIZED-2, TX-COLLAT-1)
P20 (TX-MED-2)
P21 (TX-MED-2, TX-COLLAT-1)
P22 (TX-DEADLINE-1)
P23 (TX-REPORT-1, TX-REPORT-2)
P24 (TX-EXAM-3, TX-EXCL-1, TX-EXCL-2, TX-EXCL-3, TX-COLLAT-1, TX-CONDUCT-1, TX-CONDUCT-2, TX-EMERG-1, TX-CRIME-1, TX-RES-1, TX-SUBMIT-1, TX-SUBMIT-2, TX-DOC-1, TX-DOC-2, TX-DOC-3, TX-DOC-4, TX-DOC-5, TX-DOC-6, TX-DOC-7, TX-DOC-8, TX-DOC-9, TX-ACP-1, TX-RECORDS-1)
.ints
K0 70000
K1 30000
K2 500000
K3 225000
K4 100000
K5 5000000
.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 L14
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 -> L15
case childcare -> L17
case property_replacement -> L14
case clothing_bedding -> L19
case prescription -> L21
case dental -> L14
case funeral -> L14
case legal -> L14
case tuition -> L14
case other -> L14
case unknown -> L14
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, R24
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, R24
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, R24
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, R24
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, R24
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, R24
015f ret
0160 L14: push 0
0165 decide unknown_rule, P0
0169 ret
016a L15: ldi confirmed
016c jnz L16
0171 push 0
0176 decide needs_confirmation, P14
017a ret
017b L16: ldi amount_cents
017d decide eligible, P15
0181 lda
0182 ldi insurance_paid_cents
0184 subs
0185 push 0
018a max
018b seta collateral, R24
018f ret
0190 L17: ldi confirmed
0192 jnz L18
0197 push 0
019c decide needs_confirmation, P16
01a0 ret
01a1 L18: ldi amount_cents
01a3 decide eligible, P17
01a7 lda
01a8 ldi insurance_paid_cents
01aa subs
01ab push 0
01b0 max
01b1 seta collateral, R24
01b5 ret
01b6 L19: ldi confirmed
01b8 jnz L20
01bd push 0
01c2 decide needs_confirmation, P18
01c6 ret
01c7 L20: ldi amount_cents
01c9 decide eligible, P19
01cd lda
01ce ldi insurance_paid_cents
01d0 subs
01d1 push 0
01d6 max
01d7 seta collateral, R24
01db ret
01dc L21: ldi confirmed
01de jnz L22
01e3 push 0
01e8 decide needs_confirmation, P20
01ec ret
01ed L22: ldi amount_cents
01ef decide eligible, P21
01f3 lda
01f4 ldi insurance_paid_cents
01f6 subs
01f7 push 0
01fc max
01fd seta collateral, R24
0201 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, R5
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R5
0040 L3: next L0
0045 L4: each childcare, L9
004b L5: ldi unit
004d push 2
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, R14
0077 jmp L8
007c L6: pop
007d jmp L8
0082 L7: flag R14
0085 L8: next L5
008a L9: push 0
008f str r0
0091 push 0
0096 str r1
0098 each relocation, L14
009e L10: ldr r1
00a0 jnz L12
00a5 ldr r0
00a7 lda
00a8 adds
00a9 ldk K2
00ac gt
00ad jz L11
00b2 ldk K2
00b5 ldr r0
00b7 subs
00b8 cap expense_cap, R7
00bc push 1
00c1 str r1
00c3 L11: ldr r0
00c5 lda
00c6 adds
00c7 str r0
00c9 jmp L13
00ce L12: push 0
00d3 cap expense_cap, R7
00d7 L13: next L10
00dc L14: push 0
00e1 str r0
00e3 push 0
00e8 str r1
00ea each crime_scene_cleanup, L19
00f0 L15: ldr r1
00f2 jnz L17
00f7 ldr r0
00f9 lda
00fa adds
00fb ldk K3
00fe gt
00ff jz L16
0104 ldk K3
0107 ldr r0
0109 subs
010a cap expense_cap, R15
010e push 1
0113 str r1
0115 L16: ldr r0
0117 lda
0118 adds
0119 str r0
011b jmp L18
0120 L17: push 0
0125 cap expense_cap, R15
0129 L18: next L15
012e L19: push 0
0133 str r0
0135 push 0
013a str r1
013c each clothing_bedding, L24
0142 L20: ldr r1
0144 jnz L22
0149 ldr r0
014b lda
014c adds
014d ldk K4
0150 gt
0151 jz L21
0156 ldk K4
0159 ldr r0
015b subs
015c cap expense_cap, R17
0160 push 1
0165 str r1
0167 L21: ldr r0
0169 lda
016a adds
016b str r0
016d jmp L23
0172 L22: push 0
0177 cap expense_cap, R17
017b L23: next L20
0180 L24: push 0
0185 str r0
0187 push 0
018c str r1
018e each all, L29
0194 L25: ldr r1
0196 jnz L27
019b ldr r0
019d lda
019e adds
019f ldk K5
01a2 gt
01a3 jz L26
01a8 ldk K5
01ab ldr r0
01ad subs
01ae cap total_cap, R4
01b2 push 1
01b7 str r1
01b9 L26: ldr r0
01bb lda
01bc adds
01bd str r0
01bf jmp L28
01c4 L27: push 0
01c9 cap total_cap, R4
01cd L28: next L25
01d2 L29: push 0
01d7 check minimum_loss, P0
01db ldx incident_date
01dd push 1095
01e2 adds
01e3 dup
01e4 setdate
01e5 ldx as_of_date
01e7 ge
01e8 jz L30
01ed push 0
01f2 jmp L31
01f7 L30: push 1
01fc L31: check deadline, P22
0200 ldx police_report
0202 push 1
0207 eq
0208 jnz L33
020d ldx forensic_exam
020f jnz L33
0214 ldx police_report
0216 push 0
021b eq
021c jnz L32
0221 push 3
0226 jmp L34
022b L32: push 1
0230 jmp L34
0235 L33: push 0
023a L34: check reporting, P23
023e info P24
0241 ret