The engine compiles Florida'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
- 49 rules, 24 sources, 19 proofs, 5 ints, 308 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
338c1c9e913aea7a50d4e567bdcd3397a04fd43ecb7606bf2e0ff7d0b08ffa6a
Jump to: rule table, per-cost program, totals program, or download the listing.
.rules
R0 FL-EXAM-1 exam_no_bill - Fla. Stat. 960.28(1)
R1 FL-EXAM-2 exam_no_bill - Fla. Stat. 960.28(2)
R2 FL-EXAM-3 exam_payment - Fla. Stat. 960.28(2)
R3 FL-EXAM-4 expense_cap forensic_exam per claim Fla. Stat. 960.28(2)
R4 FL-CAP-1 total_cap - Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2)(c))
R5 FL-CAP-2 expense_cap medical per claim Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2))
R6 FL-CAP-4 expense_cap counseling per claim Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2))
R7 FL-CAP-5 expense_cap lost_wages per claim Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2))
R8 FL-CAP-6 expense_cap relocation per claim Fla. Stat. 960.199(1)
R9 FL-CAP-7 expense_cap property_replacement per claim Fla. Stat. 960.195(1)
R10 FL-COV-1 covered counseling Fla. Admin. Code R. 2A-2.2002(2)(g)5.
R11 FL-COV-2 covered lost_wages Fla. Admin. Code R. 2A-2.2002(2)(c)1.a.
R12 FL-COV-3 covered transportation Fla. Admin. Code R. 2A-2.2002(2)(h)4.
R13 FL-COV-4 covered transportation Fla. Admin. Code R. 2A-2.2002(2)(g)8.
R14 FL-COV-5 covered medical Fla. Admin. Code R. 2A-2.2002(2)(e)2.
R15 FL-COV-6 covered relocation Fla. Stat. 960.199(2)(c)-(e)
R16 FL-EXC-1 excluded - Fla. Admin. Code R. 2A-2.2002(3)(g)
R17 FL-DEADLINE-1 deadline - from crime Fla. Stat. 960.07(2)(b)1.
R18 FL-DEADLINE-3 deadline - from crime Fla. Stat. 960.07(2)(b)2.-3.
R19 FL-DEADLINE-2 info - filing_deadline Fla. Stat. 960.07(3)(c)
R20 FL-REPORT-1 reporting - Fla. Stat. 960.13(1)(b)2.
R21 FL-REPORT-2 reporting - Fla. Admin. Code R. 2A-2.2001(9)
R22 FL-COLLATERAL-1 collateral - Fla. Stat. 960.13(3)
R23 FL-CONDUCT-1 info - conduct_reduction Fla. Stat. 960.13(7)
R24 FL-CONDUCT-2 info - conduct_reduction Fla. Admin. Code R. 2A-2.2002(1)(b)2.
R25 FL-EMERG-1 info - emergency_award Fla. Stat. 960.12(1)-(2)
R26 FL-CRIME-1 info - eligible_crime Fla. Stat. 960.03(3)(a)
R27 FL-CRIME-2 info - eligible_crime Fla. Stat. 776.08
R28 FL-RES-1 info - residency Fla. Stat. 960.03(3)(d)
R29 FL-RES-2 info - residency Fla. Admin. Code R. 2A-2.2001(8)
R30 FL-SUBMIT-1 info - submission Claim Form BVC100 (08/24), page 1 header and Section One, instruction 4
R31 FL-SUBMIT-2 info - submission Claim Form BVC100 (08/24), page 1 header and Section One, instruction 4
R32 FL-SUBMIT-3 info - submission Claim Form BVC100 (08/24), page 1 header and Section One, instruction 4
R33 FL-SUBMIT-4 info - submission Fla. Stat. 960.07(5)
R34 FL-DOC-1 info - required_document Victim Compensation Brochure, Documentation Needed
R35 FL-DOC-2 info - required_document Victim Compensation Brochure, Documentation Needed
R36 FL-DOC-3 info - required_document Victim Compensation Brochure, Documentation Needed
R37 FL-DOC-4 info - required_document Claim Form BVC100 (08/24), Section Two, Emergency Reimbursement
R38 FL-DOC-5 info - required_document Victim Compensation Brochure, Documentation Needed
R39 FL-DOC-6 info - required_document Claim Form BVC100 (08/24), Section Nine
R40 FL-DOC-7 info - required_document Claim Form BVC100 (08/24), Section Two, Wage Loss
R41 FL-DOC-8 info - required_document Claim Form BVC100 (08/24), Section Two, Wage Loss
R42 FL-DOC-9 info - required_document Victim Compensation Brochure, Documentation Needed
R43 FL-DOC-10 info - required_document Victim Compensation Brochure, Documentation Needed
R44 FL-DOC-11 info - required_document Claim Form BVC100 (08/24), Section Four, Relocation Payment Limitations
R45 FL-ACP-1 info - address_confidentiality Office of the Attorney General, Address Confidentiality Program page
R46 FL-RECORDS-1 info - record_confidentiality Fla. Stat. 119.071(2)(j)1.b.(I)
R47 FL-CAP-3 skipped - expense_cap Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2))
R48 FL-CAP-8 skipped - expense_cap Schedule of Benefits (Fla. Admin. Code R. 2A-2.2003(2))
.tags cash=bit0
.sources
S0 FL-S1 sha256 0fdb8a7756a05d22 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.03.html
S1 FL-S2 sha256 224fff92845669ff http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.065.html
S2 FL-S3 sha256 68f33c092fc296b4 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.07.html
S3 FL-S4 sha256 360055ce3505db47 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.13.html
S4 FL-S5 sha256 d4647c87274ab1e9 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.28.html
S5 FL-S6 sha256 724ed0f4e1a3da11 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.195.html
S6 FL-S8 sha256 69759a09cec0424e http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0700-0799/0776/Sections/0776.08.html
S7 FL-S9 sha256 9fbdbedeb4266672 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.198.html
S8 FL-S10 sha256 399821838163a804 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.199.html
S9 FL-S11 sha256 3c48c077abdecfbb http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.12.html
S10 FL-S12 sha256 ecae9fce48e9459d https://www.law.cornell.edu/regulations/florida/Fla-Admin-Code-Ann-R-2A-2-2003
S11 FL-S13 sha256 905c1008bcf8d615 https://www.law.cornell.edu/regulations/florida/Fla-Admin-Code-Ann-R-2A-2-2002
S12 FL-S14 sha256 c8b076c740ca8981 https://www.law.cornell.edu/regulations/florida/Fla-Admin-Code-Ann-R-2A-2-2001
S13 FL-S15 sha256 4690d8b6eb0da984 https://www.myfloridalegal.com/victim-compensation
S14 FL-S16 sha256 2aff4901d9ee0c4d https://www.myfloridalegal.com/sites/default/files/2025.01.06.2022.schedule-of-benefits.pdf
S15 FL-S17 sha256 b6cc46f911749b2a https://www.myfloridalegal.com/sites/default/files/BVCVictimCompensationBrochure%5B1%5D.pdf
S16 FL-S18 sha256 0a9d306256189301 https://www.myfloridalegal.com/sites/default/files/2025.applicationclaimform.bvc100.pdf
S17 FL-S19 sha256 4686aa8c80d206b0 https://www.myfloridalegal.com/sites/default/files/2025.sbapplicationclaimform.bvc100sb.pdf
S18 FL-S20 sha256 2edbd0a8d01e30ad http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0700-0799/0741/Sections/0741.403.html
S19 FL-S21 sha256 8927cb399f226b89 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0900-0999/0960/Sections/0960.15.html
S20 FL-S22 sha256 d56720e9d84abda4 http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0700-0799/0741/Sections/0741.4651.html
S21 FL-S23 sha256 21b3cac88feddf3a https://www.fcpti.com/fcpti.nsf/pages/AddressConfidentialityProgram
S22 FL-S24 sha256 2fe87cb197ace67e http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0700-0799/0741/Sections/0741.402.html
S23 FL-S25 sha256 90f046ac00227b8b http://www.leg.state.fl.us/statutes/index.cfm?App_mode=Display_Statute&URL=0100-0199/0119/Sections/0119.071.html
.proofs
P0 ()
P1 (FL-EXAM-1, FL-EXAM-2, FL-EXAM-3)
P2 (FL-EXC-1)
P3 (FL-CAP-2, FL-COV-5)
P4 (FL-CAP-2, FL-COV-5, FL-COLLATERAL-1)
P5 (FL-CAP-3, FL-CAP-8)
P6 (FL-CAP-4, FL-COV-1)
P7 (FL-CAP-4, FL-COV-1, FL-COLLATERAL-1)
P8 (FL-CAP-5, FL-COV-2)
P9 (FL-CAP-5, FL-COV-2, FL-COLLATERAL-1)
P10 (FL-COV-3, FL-COV-4)
P11 (FL-COV-3, FL-COV-4, FL-COLLATERAL-1)
P12 (FL-CAP-6, FL-COV-6)
P13 (FL-CAP-6, FL-COV-6, FL-COLLATERAL-1)
P14 (FL-CAP-7)
P15 (FL-CAP-7, FL-COLLATERAL-1)
P16 (FL-DEADLINE-1, FL-DEADLINE-3)
P17 (FL-REPORT-1, FL-REPORT-2)
P18 (FL-DEADLINE-2, FL-COLLATERAL-1, FL-CONDUCT-1, FL-CONDUCT-2, FL-EMERG-1, FL-CRIME-1, FL-CRIME-2, FL-RES-1, FL-RES-2, FL-SUBMIT-1, FL-SUBMIT-2, FL-SUBMIT-3, FL-SUBMIT-4, FL-DOC-1, FL-DOC-2, FL-DOC-3, FL-DOC-4, FL-DOC-5, FL-DOC-6, FL-DOC-7, FL-DOC-8, FL-DOC-9, FL-DOC-10, FL-DOC-11, FL-ACP-1, FL-RECORDS-1)
.ints
K0 100000
K1 1000000
K2 1500000
K3 150000
K4 50000
.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 -> L27
case childcare -> L27
case property_replacement -> L31
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, R22
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, R22
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, R22
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, R22
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, R22
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, R22
02f4 ret
.aggregate
0000 push 0
0005 str r0
0007 push 0
000c str r1
000e each forensic_exam, 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 medical, L9
0066 L5: ldr r1
0068 jnz L7
006d ldr r0
006f lda
0070 adds
0071 ldk K1
0074 gt
0075 jz L6
007a ldk K1
007d ldr r0
007f subs
0080 cap expense_cap, R5
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, R5
009f L8: next L5
00a4 L9: push 0
00a9 str r0
00ab push 0
00b0 str r1
00b2 each counseling, L14
00b8 L10: ldr r1
00ba jnz L12
00bf ldr r0
00c1 lda
00c2 adds
00c3 ldk K1
00c6 gt
00c7 jz L11
00cc ldk K1
00cf ldr r0
00d1 subs
00d2 cap expense_cap, R6
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, R6
00f1 L13: next L10
00f6 L14: push 0
00fb str r0
00fd push 0
0102 str r1
0104 each lost_wages, L19
010a L15: ldr r1
010c jnz L17
0111 ldr r0
0113 lda
0114 adds
0115 ldk K2
0118 gt
0119 jz L16
011e ldk K2
0121 ldr r0
0123 subs
0124 cap expense_cap, R7
0128 push 1
012d str r1
012f L16: ldr r0
0131 lda
0132 adds
0133 str r0
0135 jmp L18
013a L17: push 0
013f cap expense_cap, R7
0143 L18: next L15
0148 L19: push 0
014d str r0
014f push 0
0154 str r1
0156 each relocation, L24
015c L20: ldr r1
015e jnz L22
0163 ldr r0
0165 lda
0166 adds
0167 ldk K3
016a gt
016b jz L21
0170 ldk K3
0173 ldr r0
0175 subs
0176 cap expense_cap, R8
017a push 1
017f str r1
0181 L21: ldr r0
0183 lda
0184 adds
0185 str r0
0187 jmp L23
018c L22: push 0
0191 cap expense_cap, R8
0195 L23: next L20
019a L24: push 0
019f str r0
01a1 push 0
01a6 str r1
01a8 each property_replacement, L29
01ae L25: ldr r1
01b0 jnz L27
01b5 ldr r0
01b7 lda
01b8 adds
01b9 ldk K4
01bc gt
01bd jz L26
01c2 ldk K4
01c5 ldr r0
01c7 subs
01c8 cap expense_cap, R9
01cc push 1
01d1 str r1
01d3 L26: ldr r0
01d5 lda
01d6 adds
01d7 str r0
01d9 jmp L28
01de L27: push 0
01e3 cap expense_cap, R9
01e7 L28: next L25
01ec L29: push 0
01f1 str r0
01f3 push 0
01f8 str r1
01fa each all, L34
0200 L30: ldr r1
0202 jnz L32
0207 ldr r0
0209 lda
020a adds
020b ldk K2
020e gt
020f jz L31
0214 ldk K2
0217 ldr r0
0219 subs
021a cap total_cap, R4
021e push 1
0223 str r1
0225 L31: ldr r0
0227 lda
0228 adds
0229 str r0
022b jmp L33
0230 L32: push 0
0235 cap total_cap, R4
0239 L33: next L30
023e L34: push 0
0243 check minimum_loss, P0
0247 ldx incident_date
0249 push 1095
024e adds
024f ldx incident_date
0251 push 1826
0256 adds
0257 max
0258 dup
0259 setdate
025a ldx as_of_date
025c ge
025d jz L35
0262 push 0
0267 jmp L36
026c L35: push 1
0271 L36: check deadline, P16
0275 ldx police_report
0277 push 1
027c eq
027d jnz L38
0282 ldx police_report
0284 push 0
0289 eq
028a jnz L37
028f push 3
0294 jmp L39
0299 L37: push 1
029e jmp L39
02a3 L38: push 0
02a8 L39: check reporting, P17
02ac info P18
02af ret