The engine compiles California'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
- 39 rules, 18 sources, 19 proofs, 5 ints, 263 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
1f924b3ff7645d3bb7dfd4d2cae6b554917cbd6f6d7d61a20a9eed483b6726de
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 CA-EXAM-1 exam_no_bill - Cal. Penal Code 13823.95(a)
R1 CA-EXAM-2 exam_payment - Cal. Penal Code 13823.95(c)
R2 CA-TOTAL-1 total_cap - CalVCB, What Is Covered, Limits: Dollar limits
R3 CA-COUNSEL-1 expense_cap counseling per claim Cal. Gov. Code 13957(a)(2)(A)(i)
R4 CA-COUNSEL-2 expense_cap counseling per hour Cal. Gov. Code 13957.7(d)
R5 CA-RELOC-1 expense_cap relocation per claim Cal. Gov. Code 13957(a)(7)(A)
R6 CA-SECURITY-1 expense_cap security per claim Cal. Gov. Code 13957(a)(5)
R7 CA-MEDICAL-1 covered medical Cal. Gov. Code 13957(a)(1)
R8 CA-WAGES-1 covered lost_wages Cal. Gov. Code 13957(a)(3)
R9 CA-TRANSPORT-1 covered transportation CalVCB, What Is Covered, Eligible expenses
R10 CA-EXCL-1 info - excluded_expense CalVCB, What Is Covered, Non-eligible expenses
R11 CA-EXCL-2 excluded - CalVCB, What Is Covered, Non-eligible expenses
R12 CA-EXCL-3 info - excluded_expense Cal. Gov. Code 13957.7(a)
R13 CA-DEADLINE-1 deadline - from discovery Cal. Gov. Code 13953(a)
R14 CA-REPORT-1 reporting - Cal. Gov. Code 13956(b)(3)
R15 CA-REPORT-2 reporting - Cal. Code Regs. tit. 2, 649.49(a)(4)-(5)
R16 CA-REPORT-3 reporting - Cal. Gov. Code 13956(b)(1)
R17 CA-COLLATERAL-1 collateral - CalVCB, What Is Covered, Payor of last resort
R18 CA-CONDUCT-1 info - conduct_reduction Cal. Gov. Code 13956(a)
R19 CA-EMERGENCY-1 info - emergency_award Cal. Gov. Code 13952.5(a)
R20 CA-CRIME-1 info - eligible_crime CalVCB, Who Is Eligible, Crimes covered
R21 CA-CRIME-2 info - eligible_crime Cal. Gov. Code 13955(f)(3)(A)
R22 CA-RESIDENCY-1 info - residency CalVCB, Who Is Eligible, Eligibility criteria
R23 CA-SUBMIT-MAIL info - submission Form VCGCB-VCP-005 (Rev. 10/2017), page 6, after Section 13a
R24 CA-SUBMIT-INPERSON info - submission Form VCGCB-VCP-005 (Rev. 10/2017), page 6, after Section 13a
R25 CA-SUBMIT-ONLINE info - submission CalVCB How To Get Compensated, Steps to apply, Step 2
R26 CA-DOC-BILLS info - required_document Form VCGCB-VCP-005 (Rev. 10/2017), Section 4
R27 CA-DOC-INSURANCE info - required_document Form VCGCB-VCP-005 (Rev. 10/2017), page 5, closing instructions
R28 CA-DOC-POLICE info - required_document CalVCB How To Get Compensated, How we review your application
R29 CA-DOC-RECEIPTS info - required_document CalVCB How To Get Compensated, How we review your application
R30 CA-DOC-WAGES info - required_document Benefit Reference Guide (Rev. 05/2025), Income Loss, Examples of What We Need
R31 CA-DOC-DISABILITY info - required_document Benefit Reference Guide (Rev. 05/2025), Income Loss, Examples of What We Need
R32 CA-DOC-MEDICAL info - required_document Benefit Reference Guide (Rev. 05/2025), Medical and Dental Expenses, Examples of What We Need
R33 CA-DOC-COUNSEL info - required_document Benefit Reference Guide (Rev. 05/2025), Mental Health Treatment, Examples of What We Need
R34 CA-TIME-1 info - processing_time CalVCB How To Get Compensated, Step 3
R35 CA-TIME-2 info - processing_time Form VCGCB-VCP-005 (Rev. 10/2017), Section 4, Emergency Award Request
R36 CA-ACP-1 info - address_confidentiality Secretary of State, Safe at Home page, 'What is the Safe at Home program?'
R37 CA-RECORDS-1 info - record_confidentiality CalVCB Confidentiality page, 'Your claim is confidential'
R38 CA-COUNSEL-3 skipped - expense_cap CalVCB Benefit Reference Guide (Rev. 05/2025), Mental Health Treatment
.tags pain_suffering=bit0
.sources
S0 CA-S1 sha256 916c65247c948e77 https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-2/section-13953/
S1 CA-S2 sha256 a92a75fb707831b8 https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-3/section-13955/
S2 CA-S3 sha256 c599824f04fefe53 https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-3/section-13956/
S3 CA-S4 sha256 fb009c873b10fa24 https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-4/section-13957/
S4 CA-S6 sha256 ba50966a098b1b88 https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-4/section-13957-7/
S5 CA-S7 sha256 94dc9483a114eaeb https://law.justia.com/codes/california/code-gov/title-2/division-3/part-4/chapter-5/article-2/section-13952-5/
S6 CA-S8 sha256 9afb86e24d769abe https://law.justia.com/codes/california/code-pen/part-4/title-6/chapter-3/section-13823-95/
S7 CA-S10 sha256 c92b46fa0fdfd309 https://victims.ca.gov/for-victims/what-is-covered/
S8 CA-S11 sha256 57fa5a2640bb11f3 https://victims.ca.gov/for-victims/who-is-eligible/
S9 CA-S12 sha256 f4e9d017cd142ab3 https://victims.ca.gov/for-victims/how-compensation-works/
S10 CA-S13 sha256 9af739e449978b36 https://victims.ca.gov/for-victims/frequently-asked-questions/
S11 CA-S14 sha256 9305e6294a3a838f https://victims.ca.gov/forms/
S12 CA-S16 sha256 dcc1005875a8b830 https://victims.ca.gov/uploads/2025/05/Benefit-Reference-Guide_ENG.pdf
S13 CA-S17 sha256 74feefbdfb42649b https://victims.ca.gov/uploads/2021/01/victimcompensationapp_eng.pdf
S14 CA-S18 sha256 3d064590db65ca06 https://www.law.cornell.edu/regulations/california/2-CCR-649.49
S15 CA-S19 sha256 457b2c247ef6d2d4 https://law.justia.com/codes/california/code-gov/title-1/division-7/chapter-3-1/section-6206/
S16 CA-S20 sha256 48e6c42e81e0e31c https://www.sos.ca.gov/registries/safe-home
S17 CA-S21 sha256 37df47ae060d4844 https://victims.ca.gov/for-service-providers/confidentiality/
.proofs
P0 ()
P1 (CA-EXAM-1, CA-EXAM-2)
P2 (CA-EXCL-2)
P3 (CA-MEDICAL-1)
P4 (CA-MEDICAL-1, CA-COLLATERAL-1)
P5 (CA-COUNSEL-3)
P6 (CA-COUNSEL-1, CA-COUNSEL-2)
P7 (CA-COUNSEL-1, CA-COUNSEL-2, CA-COLLATERAL-1)
P8 (CA-WAGES-1)
P9 (CA-WAGES-1, CA-COLLATERAL-1)
P10 (CA-TRANSPORT-1)
P11 (CA-TRANSPORT-1, CA-COLLATERAL-1)
P12 (CA-RELOC-1)
P13 (CA-RELOC-1, CA-COLLATERAL-1)
P14 (CA-SECURITY-1)
P15 (CA-SECURITY-1, CA-COLLATERAL-1)
P16 (CA-DEADLINE-1)
P17 (CA-REPORT-1, CA-REPORT-2, CA-REPORT-3)
P18 (CA-EXCL-1, CA-EXCL-3, CA-COLLATERAL-1, CA-CONDUCT-1, CA-EMERGENCY-1, CA-CRIME-1, CA-CRIME-2, CA-RESIDENCY-1, CA-SUBMIT-MAIL, CA-SUBMIT-INPERSON, CA-SUBMIT-ONLINE, CA-DOC-BILLS, CA-DOC-INSURANCE, CA-DOC-POLICE, CA-DOC-RECEIPTS, CA-DOC-WAGES, CA-DOC-DISABILITY, CA-DOC-MEDICAL, CA-DOC-COUNSEL, CA-TIME-1, CA-TIME-2, CA-ACP-1, CA-RECORDS-1)
.ints
K0 1500
K1 1000000
K2 341800
K3 100000
K4 7000000
.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 L27
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L22
case temporary_housing -> L27
case security -> L31
case crime_scene_cleanup -> L27
case childcare -> L27
case property_replacement -> L27
case clothing_bedding -> L27
case prescription -> L27
case dental -> L27
case funeral -> L27
case legal -> L27
case tuition -> L27
case other -> L27
case unknown -> L27
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, R17
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: alts P5
0115 ldi confirmed
0117 jnz L11
011c push 0
0121 decide needs_confirmation, P6
0125 ret
0126 L11: ldi amount_cents
0128 decide eligible, P7
012c lda
012d ldi insurance_paid_cents
012f subs
0130 push 0
0135 max
0136 seta collateral, R17
013a ret
013b L12: push 0
0140 str r0
0142 ldi tags
0144 push 1
0149 and
014a jz L13
014f ldr r0
0151 push 1
0156 or
0157 str r0
0159 L13: ldr r0
015b switch 2, default L15
case 0 -> L15
case 1 -> L14
0169 L14: push 0
016e decide excluded, P2
0172 ret
0173 L15: ldi confirmed
0175 jnz L16
017a push 0
017f decide needs_confirmation, P8
0183 ret
0184 L16: ldi amount_cents
0186 decide eligible, P9
018a lda
018b ldi insurance_paid_cents
018d subs
018e push 0
0193 max
0194 seta collateral, R17
0198 ret
0199 L17: push 0
019e str r0
01a0 ldi tags
01a2 push 1
01a7 and
01a8 jz L18
01ad ldr r0
01af push 1
01b4 or
01b5 str r0
01b7 L18: ldr r0
01b9 switch 2, default L20
case 0 -> L20
case 1 -> L19
01c7 L19: push 0
01cc decide excluded, P2
01d0 ret
01d1 L20: ldi confirmed
01d3 jnz L21
01d8 push 0
01dd decide needs_confirmation, P10
01e1 ret
01e2 L21: ldi amount_cents
01e4 decide eligible, P11
01e8 lda
01e9 ldi insurance_paid_cents
01eb subs
01ec push 0
01f1 max
01f2 seta collateral, R17
01f6 ret
01f7 L22: push 0
01fc str r0
01fe ldi tags
0200 push 1
0205 and
0206 jz L23
020b ldr r0
020d push 1
0212 or
0213 str r0
0215 L23: ldr r0
0217 switch 2, default L25
case 0 -> L25
case 1 -> L24
0225 L24: push 0
022a decide excluded, P2
022e ret
022f L25: ldi confirmed
0231 jnz L26
0236 push 0
023b decide needs_confirmation, P12
023f ret
0240 L26: ldi amount_cents
0242 decide eligible, P13
0246 lda
0247 ldi insurance_paid_cents
0249 subs
024a push 0
024f max
0250 seta collateral, R17
0254 ret
0255 L27: push 0
025a str r0
025c ldi tags
025e push 1
0263 and
0264 jz L28
0269 ldr r0
026b push 1
0270 or
0271 str r0
0273 L28: ldr r0
0275 switch 2, default L30
case 0 -> L30
case 1 -> L29
0283 L29: push 0
0288 decide excluded, P2
028c ret
028d L30: push 0
0292 decide unknown_rule, P0
0296 ret
0297 L31: push 0
029c str r0
029e ldi tags
02a0 push 1
02a5 and
02a6 jz L32
02ab ldr r0
02ad push 1
02b2 or
02b3 str r0
02b5 L32: ldr r0
02b7 switch 2, default L34
case 0 -> L34
case 1 -> L33
02c5 L33: push 0
02ca decide excluded, P2
02ce ret
02cf L34: ldi confirmed
02d1 jnz L35
02d6 push 0
02db decide needs_confirmation, P14
02df ret
02e0 L35: ldi amount_cents
02e2 decide eligible, P15
02e6 lda
02e7 ldi insurance_paid_cents
02e9 subs
02ea push 0
02ef max
02f0 seta collateral, R17
02f4 ret
.aggregate
0000 each counseling, L4
0006 L0: ldi unit
0008 push 3
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, R4
0032 jmp L3
0037 L1: pop
0038 jmp L3
003d L2: flag R4
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 relocation, 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, R5
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, R5
00e4 L13: next L10
00e9 L14: push 0
00ee str r0
00f0 push 0
00f5 str r1
00f7 each security, 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, R6
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, R6
0136 L18: next L15
013b L19: push 0
0140 str r0
0142 push 0
0147 str r1
0149 each all, L24
014f L20: ldr r1
0151 jnz L22
0156 ldr r0
0158 lda
0159 adds
015a ldk K4
015d gt
015e jz L21
0163 ldk K4
0166 ldr r0
0168 subs
0169 cap total_cap, R2
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 total_cap, R2
0188 L23: next L20
018d L24: push 0
0192 check minimum_loss, P0
0196 ldx incident_date
0198 push 2556
019d adds
019e dup
019f setdate
01a0 ldx as_of_date
01a2 ge
01a3 jz L25
01a8 push 0
01ad jmp L26
01b2 L25: push 1
01b7 L26: note deadline_from_discovery
01b9 check deadline, P16
01bd ldx police_report
01bf push 1
01c4 eq
01c5 jnz L27
01ca ldx forensic_exam
01cc jnz L27
01d1 push 2
01d6 jmp L28
01db L27: push 0
01e0 L28: check reporting, P17
01e4 info P18
01e7 ret