The engine compiles Kansas'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
- 46 rules, 15 sources, 25 proofs, 6 ints, 273 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
5c3c96bbb954ddd6350972aa3094409a054e05f4f10af45e06778cc19e24071f
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 KS-EXAM-1 exam_no_bill - K.S.A. 65-448(h) as amended by 2026 HB 2613, sec. 1
R1 KS-EXAM-2 exam_payment - Kansas AG Crime Victims Compensation page, SAFE Program section
R2 KS-EXAM-3 exam_payment - 2026 HB 2613, sec. 1, amending K.S.A. 65-448(h)
R3 KS-EXAM-4 exam_payment - SAFE Program Reimbursement Invoice, Billing Instructions
R4 KS-CAP-1 total_cap - K.S.A. 74-7305(i)
R5 KS-CAP-2 expense_cap lost_wages per week K.S.A. 74-7305(h)
R6 KS-CAP-3 expense_cap counseling per claim K.A.R. 20-2-3(a)
R7 KS-CAP-4 expense_cap counseling per hour K.A.R. 20-2-3(f)(1)
R8 KS-CAP-6 expense_cap crime_scene_cleanup per claim K.S.A. 74-7301(a)
R9 KS-CAP-7 expense_cap funeral per claim K.S.A. 74-7301(a)
R10 KS-COV-1 covered medical Kansas AG Crime Victims Compensation page, overview
R11 KS-COV-2 covered transportation K.A.R. 20-2-9(c)
R12 KS-COV-3 covered relocation K.A.R. 20-2-9(b)
R13 KS-COV-4 covered clothing_bedding Application, Eligible and Ineligible Expenses
R14 KS-EXC-1 excluded property_replacement Kansas AG Crime Victims Compensation page, overview
R15 KS-EXC-2 excluded - Application, Eligible and Ineligible Expenses
R16 KS-EXC-3 info - excluded_expense K.A.R. 20-2-9(d)
R17 KS-DEAD-1 deadline - from crime K.S.A. 74-7305(b)(2)(A)-(B)
R18 KS-DEAD-2 deadline - from crime K.S.A. 74-7305(b)(2)(C)(ii)(a)
R19 KS-DEAD-3 info - filing_deadline K.S.A. 74-7305(b)(2)(C)(ii)(b)
R20 KS-DEAD-4 deadline - from report K.S.A. 74-7305(b)(1)
R21 KS-REP-1 reporting - K.S.A. 74-7305(f)
R22 KS-REP-2 info - reporting_requirement K.S.A. 65-448(h) as amended by 2026 HB 2613, sec. 1
R23 KS-CON-3 info - conduct_reduction K.S.A. 74-7305(g)
R24 KS-COL-1 collateral - K.S.A. 74-7305(d)(1)(A)
R25 KS-CON-1 info - conduct_reduction K.S.A. 74-7305(d)(1)(B)
R26 KS-CON-2 info - conduct_reduction K.S.A. 74-7305(d)(2)
R27 KS-EMR-1 info - emergency_award K.S.A. 74-7314
R28 KS-ELIG-1 info - eligible_crime Application, Section D, Subsection 1
R29 KS-RES-1 info - residency K.S.A. 74-7301(e)(1)(A)
R30 KS-RES-2 info - residency K.S.A. 74-7301(e)(2)
R31 KS-SUBMIT-1 info - submission Crime Victims Compensation Board page, Contact
R32 KS-DOC-1 info - required_document Application, Section H (Medical Information)
R33 KS-DOC-2 info - required_document Application, Section H (Medical Information)
R34 KS-DOC-3 info - required_document Application, Section H (Medical Information)
R35 KS-DOC-4 info - required_document Application, Section I (Counseling Information)
R36 KS-DOC-5 info - required_document Application, Section I (Counseling Information)
R37 KS-DOC-6 info - required_document Application, Section I (Counseling Information)
R38 KS-DOC-7 info - required_document Application, Section L (Wage Loss)
R39 KS-DOC-8 info - required_document Application, Section F (Funeral/burial expenses)
R40 KS-DOC-9 info - required_document Application, Section G (Loss of support)
R41 KS-DOC-10 info - required_document Application, How to File Your Application for Compensation
R42 KS-TIME-1 info - processing_time Application, How to File Your Application for Compensation
R43 KS-ACP-1 info - address_confidentiality How Safe at Home Works, Eligibility Criteria
R44 KS-CONF-1 info - record_confidentiality K.S.A. 74-7308(e) (renumbered (e)(1) by 2026 HB 2613, sec. 3)
R45 KS-CAP-5 skipped - expense_cap K.A.R. 20-2-3(f)(2)
.tags phone=bit0, pain_suffering=bit1
.sources
S0 KS-S1 sha256 9408e27559659072 https://www.ag.ks.gov/reports-resources/affiliated-organizations/crime-victims-compensation-board
S1 KS-S2 sha256 b723dbe94463bca7 https://www.ag.ks.gov/home/showpublisheddocument/10146/638816895575900000
S2 KS-S3 sha256 64c9212d8a286def https://www.ag.ks.gov/home/showpublisheddocument/26249/639221337842800000
S3 KS-S4 sha256 f39f4dfc79469eaa https://www.kslegislature.gov/b2025_26/laws/074_000_0000_chapter/074_073_0000_article/074_073_0005_section/074_073_0005_k/
S4 KS-S5 sha256 8e35f1fd218e0310 https://www.kslegislature.gov/b2025_26/laws/074_000_0000_chapter/074_073_0000_article/074_073_0001_section/074_073_0001_k/
S5 KS-S6 sha256 3dd0cbfe92a137d5 https://www.kslegislature.gov/b2025_26/laws/074_000_0000_chapter/074_073_0000_article/074_073_0014_section/074_073_0014_k/
S6 KS-S7 sha256 06a20c809cc67212 https://www.kslegislature.gov/b2025_26/laws/065_000_0000_chapter/065_004_0000_article/065_004_0048_section/065_004_0048_k/
S7 KS-S8 sha256 044700b17b567705 https://www.kslegislature.gov/b2025_26/bills/download/?apn=b2025_26/year2/ready_for_publication/hb_2613/hb2613_enrolled.pdf
S8 KS-S9 sha256 b26a721a840cbdc6 https://rules.ks.gov/browse/collections/0ae1e448-f5a1-4e09-9d6d-a488ac7c284a/policies/7f43580a-650f-4129-ba13-630035500002
S9 KS-S10 sha256 c0fa0398835dbdbc https://rules.ks.gov/browse/collections/0ae1e448-f5a1-4e09-9d6d-a488ac7c284a/policies/d8b0c3ed-a069-48ba-9c91-46dddfa76153
S10 KS-S11 sha256 0ea408f0f4537c0b https://www.kslegislature.gov/b2025_26/laws/022_000_0000_chapter/022_037_0000_article/022_037_0017_section/022_037_0017_k/
S11 KS-S12 sha256 34bf1e49cbe018bb https://www.ag.ks.gov/divisions/victim-services/safe-at-home
S12 KS-S13 sha256 7aaffba9794eb7b9 https://www.kslegislature.gov/b2025_26/laws/074_000_0000_chapter/074_073_0000_article/074_073_0008_section/074_073_0008_k/
S13 KS-S14 sha256 6ecd3a83263668ce https://www.ag.ks.gov/home/showpublisheddocument/10320/638460265912970000
S14 KS-S15 sha256 665d00badb217c97 https://www.kslegislature.gov/b2025_26/laws/075_000_0000_chapter/075_004_0000_article/075_004_0055_section/075_004_0055_k/
.proofs
P0 ()
P1 (KS-EXAM-1, KS-EXAM-2, KS-EXAM-3, KS-EXAM-4)
P2 (KS-EXC-2)
P3 (KS-COV-1)
P4 (KS-COV-1, KS-COL-1)
P5 (KS-CAP-5)
P6 (KS-CAP-3, KS-CAP-4)
P7 (KS-CAP-3, KS-CAP-4, KS-COL-1)
P8 (KS-CAP-2)
P9 (KS-CAP-2, KS-COL-1)
P10 (KS-COV-2)
P11 (KS-COV-2, KS-COL-1)
P12 (KS-COV-3)
P13 (KS-COV-3, KS-COL-1)
P14 (KS-CAP-6)
P15 (KS-CAP-6, KS-COL-1)
P16 (KS-EXC-1)
P17 (KS-EXC-1, KS-EXC-2)
P18 (KS-COV-4)
P19 (KS-COV-4, KS-COL-1)
P20 (KS-CAP-7)
P21 (KS-CAP-7, KS-COL-1)
P22 (KS-DEAD-1, KS-DEAD-2, KS-DEAD-4)
P23 (KS-REP-1)
P24 (KS-EXC-3, KS-DEAD-3, KS-REP-2, KS-CON-3, KS-COL-1, KS-CON-1, KS-CON-2, KS-EMR-1, KS-ELIG-1, KS-RES-1, KS-RES-2, KS-SUBMIT-1, KS-DOC-1, KS-DOC-2, KS-DOC-3, KS-DOC-4, KS-DOC-5, KS-DOC-6, KS-DOC-7, KS-DOC-8, KS-DOC-9, KS-DOC-10, KS-TIME-1, KS-ACP-1, KS-CONF-1)
.ints
K0 80000
K1 9000
K2 500000
K3 250000
K4 750000
K5 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 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 -> L27
case crime_scene_cleanup -> L31
case childcare -> L27
case property_replacement -> L36
case clothing_bedding -> L43
case prescription -> L27
case dental -> L27
case funeral -> L48
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 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, R24
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: 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, R24
013a ret
013b L12: push 0
0140 str r0
0142 ldi tags
0144 push 2
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, R24
0198 ret
0199 L17: push 0
019e str r0
01a0 ldi tags
01a2 push 2
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, R24
01f6 ret
01f7 L22: push 0
01fc str r0
01fe ldi tags
0200 push 2
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, R24
0254 ret
0255 L27: push 0
025a str r0
025c ldi tags
025e push 2
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 2
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, R24
02f4 ret
02f5 L36: push 0
02fa str r0
02fc ldi tags
02fe push 1
0303 and
0304 jz L37
0309 ldr r0
030b push 1
0310 or
0311 str r0
0313 L37: ldi tags
0315 push 2
031a and
031b jz L38
0320 ldr r0
0322 push 2
0327 or
0328 str r0
032a L38: ldr r0
032c switch 4, default L42
case 0 -> L42
case 1 -> L39
case 2 -> L40
case 3 -> L41
0342 L39: push 0
0347 decide excluded, P16
034b ret
034c L40: push 0
0351 decide excluded, P2
0355 ret
0356 L41: push 0
035b decide excluded, P17
035f ret
0360 L42: push 0
0365 decide unknown_rule, P0
0369 ret
036a L43: push 0
036f str r0
0371 ldi tags
0373 push 2
0378 and
0379 jz L44
037e ldr r0
0380 push 1
0385 or
0386 str r0
0388 L44: ldr r0
038a switch 2, default L46
case 0 -> L46
case 1 -> L45
0398 L45: push 0
039d decide excluded, P2
03a1 ret
03a2 L46: ldi confirmed
03a4 jnz L47
03a9 push 0
03ae decide needs_confirmation, P18
03b2 ret
03b3 L47: ldi amount_cents
03b5 decide eligible, P19
03b9 lda
03ba ldi insurance_paid_cents
03bc subs
03bd push 0
03c2 max
03c3 seta collateral, R24
03c7 ret
03c8 L48: push 0
03cd str r0
03cf ldi tags
03d1 push 2
03d6 and
03d7 jz L49
03dc ldr r0
03de push 1
03e3 or
03e4 str r0
03e6 L49: ldr r0
03e8 switch 2, default L51
case 0 -> L51
case 1 -> L50
03f6 L50: push 0
03fb decide excluded, P2
03ff ret
0400 L51: ldi confirmed
0402 jnz L52
0407 push 0
040c decide needs_confirmation, P20
0410 ret
0411 L52: ldi amount_cents
0413 decide eligible, P21
0417 lda
0418 ldi insurance_paid_cents
041a subs
041b push 0
0420 max
0421 seta collateral, R24
0425 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 counseling, L9
004b L5: ldi unit
004d push 3
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, R7
0077 jmp L8
007c L6: pop
007d jmp L8
0082 L7: flag R7
0085 L8: next L5
008a L9: push 0
008f str r0
0091 push 0
0096 str r1
0098 each counseling, 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, R6
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, R6
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, R8
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, R8
0129 L18: next L15
012e L19: push 0
0133 str r0
0135 push 0
013a str r1
013c each funeral, 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, R9
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, R9
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 1826
01e2 adds
01e3 ldx incident_date
01e5 push 3652
01ea adds
01eb max
01ec ldx incident_date
01ee push 730
01f3 adds
01f4 max
01f5 dup
01f6 setdate
01f7 ldx as_of_date
01f9 ge
01fa jz L30
01ff push 0
0204 jmp L31
0209 L30: push 1
020e L31: note deadline_from_report
0210 check deadline, P22
0214 ldx police_report
0216 push 1
021b eq
021c jnz L32
0221 ldx forensic_exam
0223 jnz L32
0228 push 2
022d jmp L33
0232 L32: push 0
0237 L33: check reporting, P23
023b info P24
023e ret