The engine compiles Connecticut'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
- 45 rules, 7 sources, 26 proofs, 1 ints, 228 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
76bf955c900012f4261b7b4a0f95e7b60ce025d87904fbff9a0270fa181cf79c
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 CT-EXAM-1 exam_no_bill - Conn. Gen. Stat. 19a-112a(e)(1)
R1 CT-EXAM-2 exam_payment - Conn. Gen. Stat. 19a-112a(e)(1)
R2 CT-EXAM-3 exam_no_bill - Conn. Gen. Stat. 19a-112a(e)(2)
R3 CT-CAP-3 expense_cap security per claim JD-VS-8PI, Section 9
R4 CT-CAP-4 expense_cap clothing_bedding per claim JDP-VS-10 brochure, Examples of Eligible Expenses
R5 CT-CAP-5 expense_cap crime_scene_cleanup per claim JD-VS-8PI, Section 9
R6 CT-COV-1 covered medical Conn. Gen. Stat. 54-210(a)(1)
R7 CT-COV-2 covered counseling JD-VS-47, Mental Health Expenses
R8 CT-COV-3 covered dental JD-VS-47, Medical Expenses
R9 CT-COV-4 covered prescription JD-VS-47, Medical Expenses
R10 CT-COV-5 covered lost_wages Conn. Gen. Stat. 54-210(a)(2)
R11 CT-COV-6 covered transportation JDP-VS-10 brochure, Eligible Expenses Continued
R12 CT-COV-7 covered security JD-VS-47, Crime Scene Clean-up and Security Systems
R13 CT-COV-8 covered clothing_bedding JD-VS-47, Crime Scene Clean-up and Security Systems
R14 CT-COV-9 covered crime_scene_cleanup JD-VS-47, Crime Scene Clean-up and Security Systems
R15 CT-EXCL-1 excluded property_replacement JDP-VS-10 brochure, Eligible Expenses Continued
R16 CT-EXCL-2 info - excluded_expense JDP-VS-10 brochure, Eligible Expenses Continued
R17 CT-EXCL-3 excluded - Conn. Gen. Stat. 54-211(c)
R18 CT-DEADLINE-1 deadline - from crime Conn. Gen. Stat. 54-211(a)(1)(A)
R19 CT-DEADLINE-2 deadline - from crime Conn. Gen. Stat. 54-211(a)(2)
R20 CT-REPORT-1 reporting - Conn. Gen. Stat. 54-211(a)(1)(C)
R21 CT-REPORT-2 reporting - Conn. Gen. Stat. 54-209(d)(1)(K)
R22 CT-REPORT-3 reporting - Conn. Gen. Stat. 54-209(d)(2)
R23 CT-COLL-1 collateral - Conn. Gen. Stat. 54-208(e)
R24 CT-COLL-2 collateral - Conn. Gen. Stat. 54-208(e)
R25 CT-CONDUCT-1 info - conduct_reduction Conn. Gen. Stat. 54-208(c)
R26 CT-CONDUCT-2 info - conduct_reduction Conn. Gen. Stat. 54-211(b)
R27 CT-CRIME-1 info - eligible_crime Conn. Gen. Stat. 54-209(d)
R28 CT-RES-1 info - residency Conn. Gen. Stat. 54-211(f)(1)
R29 CT-SUBMIT-1 info - submission JD-VS-8PI, end of Section 10
R30 CT-SUBMIT-2 info - submission JD-VS-8PI, end of Section 10
R31 CT-SUBMIT-3 info - submission JD-VS-8PI, end of Section 10
R32 CT-DOC-1 info - required_document JD-VS-8PI, Section 9, Medical, Mental Health, Dental, and Prescription Expenses
R33 CT-DOC-2 info - required_document JD-VS-8PI, Section 9, Medical, Mental Health, Dental, and Prescription Expenses
R34 CT-DOC-3 info - required_document JD-VS-8PI, Section 9, Medical, Mental Health, Dental, and Prescription Expenses
R35 CT-DOC-4 info - required_document JD-VS-8PI, Section 9, Crime Scene Cleanup and Security System Expenses
R36 CT-DOC-5 info - required_document JD-VS-8PI, Section 9, Wage Loss
R37 CT-DOC-6 info - required_document JD-VS-47, Lost Wages and Travel Expenses to Attend Proceedings, Requirements
R38 CT-DOC-7 info - required_document JD-VS-8PI, Section 7a
R39 CT-DOC-8 info - required_document JDP-VS-10 brochure, overview
R40 CT-DOC-9 info - required_document JD-VS-8PI, Section 10
R41 CT-ACP-1 info - address_confidentiality Conn. Gen. Stat. sec. 54-240a(a)
R42 CT-RECCONF-1 info - record_confidentiality Conn. Gen. Stat. sec. 54-204(b)
R43 CT-CAP-1 skipped - total_cap Conn. Gen. Stat. 54-211(d)(1)(A)
R44 CT-CAP-2 skipped - total_cap Conn. Gen. Stat. 54-211(d)(1)(D)
.tags phone=bit0, pain_suffering=bit1
.sources
S0 CT-S1 sha256 7452f023d7ab1a73 https://www.cga.ct.gov/current/pub/chap_968.htm
S1 CT-S2 sha256 e873926755195507 https://www.cga.ct.gov/current/pub/chap_368a.htm
S2 CT-S4 sha256 04e0e7c2c71f789c https://www.jud.ct.gov/webforms/forms/vs008PI.pdf
S3 CT-S5 sha256 7d7067062177b3f3 https://www.jud.ct.gov/Publications/vs010.pdf
S4 CT-S8 sha256 6a6608a513fd10ee https://www.jud.ct.gov/webforms/forms/VS047.pdf
S5 CT-S9 sha256 b32712a0ec13d568 https://www.cga.ct.gov/current/pub/chap_968a.htm
S6 CT-S10 sha256 57c01462937e6a62 https://portal.ct.gov/sots/business-services/acp/address-confidentiality-program
.proofs
P0 ()
P1 (CT-EXAM-1, CT-EXAM-3, CT-EXAM-2)
P2 (CT-EXCL-3)
P3 (CT-COV-1)
P4 (CT-COV-1, CT-COLL-1, CT-COLL-2)
P5 (CT-COV-2)
P6 (CT-COV-2, CT-COLL-1, CT-COLL-2)
P7 (CT-COV-5)
P8 (CT-COV-5, CT-COLL-1, CT-COLL-2)
P9 (CT-COV-6)
P10 (CT-COV-6, CT-COLL-1, CT-COLL-2)
P11 (CT-CAP-3, CT-COV-7)
P12 (CT-CAP-3, CT-COV-7, CT-COLL-1, CT-COLL-2)
P13 (CT-CAP-5, CT-COV-9)
P14 (CT-CAP-5, CT-COV-9, CT-COLL-1, CT-COLL-2)
P15 (CT-EXCL-1)
P16 (CT-EXCL-1, CT-EXCL-3)
P17 (CT-CAP-4, CT-COV-8)
P18 (CT-CAP-4, CT-COV-8, CT-COLL-1, CT-COLL-2)
P19 (CT-COV-4)
P20 (CT-COV-4, CT-COLL-1, CT-COLL-2)
P21 (CT-COV-3)
P22 (CT-COV-3, CT-COLL-1, CT-COLL-2)
P23 (CT-DEADLINE-1, CT-DEADLINE-2)
P24 (CT-REPORT-1, CT-REPORT-2, CT-REPORT-3)
P25 (CT-EXCL-2, CT-COLL-1, CT-COLL-2, CT-CONDUCT-1, CT-CONDUCT-2, CT-CRIME-1, CT-RES-1, CT-SUBMIT-1, CT-SUBMIT-2, CT-SUBMIT-3, CT-DOC-1, CT-DOC-2, CT-DOC-3, CT-DOC-4, CT-DOC-5, CT-DOC-6, CT-DOC-7, CT-DOC-8, CT-DOC-9, CT-ACP-1, CT-RECCONF-1)
.ints
K0 100000
.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 L22
case medical -> L2
case forensic_exam -> L1
case counseling -> L7
case lost_wages -> L12
case transportation -> L17
case relocation -> L22
case temporary_housing -> L22
case security -> L26
case crime_scene_cleanup -> L31
case childcare -> L22
case property_replacement -> L36
case clothing_bedding -> L43
case prescription -> L48
case dental -> L53
case funeral -> L22
case legal -> L22
case tuition -> L22
case other -> L22
case unknown -> L22
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, R23
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, R23
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, R23
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: ldi confirmed
01d0 jnz L21
01d5 push 0
01da decide needs_confirmation, P9
01de ret
01df L21: ldi amount_cents
01e1 decide eligible, P10
01e5 lda
01e6 ldi insurance_paid_cents
01e8 subs
01e9 push 0
01ee max
01ef seta collateral, R23
01f3 ret
01f4 L22: push 0
01f9 str r0
01fb ldi tags
01fd push 2
0202 and
0203 jz L23
0208 ldr r0
020a push 1
020f or
0210 str r0
0212 L23: ldr r0
0214 switch 2, default L25
case 0 -> L25
case 1 -> L24
0222 L24: push 0
0227 decide excluded, P2
022b ret
022c L25: push 0
0231 decide unknown_rule, P0
0235 ret
0236 L26: push 0
023b str r0
023d ldi tags
023f push 2
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, R23
0293 ret
0294 L31: push 0
0299 str r0
029b ldi tags
029d push 2
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, R23
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: ldi tags
0312 push 2
0317 and
0318 jz L38
031d ldr r0
031f push 2
0324 or
0325 str r0
0327 L38: ldr r0
0329 switch 4, default L42
case 0 -> L42
case 1 -> L39
case 2 -> L40
case 3 -> L41
033f L39: push 0
0344 decide excluded, P15
0348 ret
0349 L40: push 0
034e decide excluded, P2
0352 ret
0353 L41: push 0
0358 decide excluded, P16
035c ret
035d L42: push 0
0362 decide unknown_rule, P0
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, R23
03c4 ret
03c5 L48: push 0
03ca str r0
03cc ldi tags
03ce push 2
03d3 and
03d4 jz L49
03d9 ldr r0
03db push 1
03e0 or
03e1 str r0
03e3 L49: ldr r0
03e5 switch 2, default L51
case 0 -> L51
case 1 -> L50
03f3 L50: push 0
03f8 decide excluded, P2
03fc ret
03fd L51: ldi confirmed
03ff jnz L52
0404 push 0
0409 decide needs_confirmation, P19
040d ret
040e L52: ldi amount_cents
0410 decide eligible, P20
0414 lda
0415 ldi insurance_paid_cents
0417 subs
0418 push 0
041d max
041e seta collateral, R23
0422 ret
0423 L53: push 0
0428 str r0
042a ldi tags
042c push 2
0431 and
0432 jz L54
0437 ldr r0
0439 push 1
043e or
043f str r0
0441 L54: ldr r0
0443 switch 2, default L56
case 0 -> L56
case 1 -> L55
0451 L55: push 0
0456 decide excluded, P2
045a ret
045b L56: ldi confirmed
045d jnz L57
0462 push 0
0467 decide needs_confirmation, P21
046b ret
046c L57: ldi amount_cents
046e decide eligible, P22
0472 lda
0473 ldi insurance_paid_cents
0475 subs
0476 push 0
047b max
047c seta collateral, R23
0480 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each security, 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, R3
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, R3
004d L3: next L0
0052 L4: push 0
0057 str r0
0059 push 0
005e str r1
0060 each clothing_bedding, 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, R4
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, R4
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each crime_scene_cleanup, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K0
00c6 gt
00c7 jz L11
00cc ldk K0
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R5
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, R5
00f1 L13: next L10
00f6 L14: push 0
00fb check minimum_loss, P0
00ff ldx incident_date
0101 push 1095
0106 adds
0107 ldx incident_date
0109 push 1095
010e adds
010f max
0110 dup
0111 setdate
0112 ldx as_of_date
0114 ge
0115 jz L15
011a push 0
011f jmp L16
0124 L15: push 1
0129 L16: check deadline, P23
012d ldx police_report
012f push 1
0134 eq
0135 jnz L18
013a ldx forensic_exam
013c jnz L18
0141 ldx police_report
0143 push 0
0148 eq
0149 jnz L17
014e push 3
0153 jmp L19
0158 L17: push 1
015d jmp L19
0162 L18: push 0
0167 L19: check reporting, P24
016b info P25
016e ret