_source
string
manifest
non-empty string
palette
object
control
string
no_effect
string
cured
string
partial
string
not_run
string
ten_reply_style
string
fig1_flips
object
claim
string
rows
list of object
case
string
control
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
verdict
string
fig2_cascade
object
claim
string
arms
list of string
thirty_reply
list of object
case
string
control
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
text
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
sol_trim
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
sol_full
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
ten_reply_0904
list of object
case
string
control
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
text
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
sol_trim
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
sol_full
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
fig3_judge
object
claim
string
source
string
rows
list of object OR object
form 1
object
template
string
n
integer >= 0
of
integer >= 0
note
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
form 2
object
template
string
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
fig4_funnel
object
claim
string
source
string
stages
list of object
label
string
n
integer >= 0
note
string
sinceCount
boolean
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
fig5_ladder
object
claim
string
rungs_note
string
rows
list of object
case
string
control
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_ruling_clear_clause
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_reply_to_peer_clause
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
peel1
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
peel2
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_self_check
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_precedence
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_ask_why
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
l3_minus_literal_ban
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
pinned_law_only
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
clause_only_luna
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
fig6_judge_per_case
object
claim
string
source
string
_check
string
rows
list of object
case
string
red
integer >= 0
green
integer >= 0
black
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
fig7_zeros
object
claim
string
source
string
rows
list of object
case
string
genuine_zero
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
original
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
first
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
corrected
object OR object
form 1
object
red
integer >= 0
colored
integer >= 0
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
arm
string
fire
string
judge
string
ledgerRow
string
status
string
note
string
pendingLedger
boolean
form 2
object
notRun
exactly true
why
string
sources
list of object
case
non-empty string
rowId
non-empty string
fireRunId
non-empty string
judgeRunId
non-empty string
reverted
string
This binding declares no checks beyond its field shape.
No defects in the 1 record checked.
| Bound by | laws-cases |
|---|---|
| Declared in | ~/ |
| Binding | figureDataStore |
| Directory | ~/ |
| Files | data.json |
| Referenced as | figure-data |