rowId
non-empty string
campaign
non-empty string
case
non-empty string
round
non-empty string OR integer
arm
non-empty string
armKind
one of: rewrite | context | model | mixed | clause-removed | all-removed
cause
one of: misspecification | context | model | mixed | capability
firstSeparatingRound
integer > 0
seat
non-empty string
fingerprint
object
judge
non-empty string
behavior
string matching /^sha256:[a-f0-9]{64}$/
recipe
string matching /^sha256:[a-f0-9]{64}$/
template
string matching /^sha256:[a-f0-9]{64}$/
evidence
object
fireRunIds
list of non-empty string
judgeRunIds
list of non-empty string
sourceRunIds
list of non-empty string
counts
object
red
integer >= 0 OR null
green
integer >= 0 OR null
black
integer >= 0 OR null
undecidable
integer >= 0 OR null
toolOnly
integer >= 0 OR null
decidable
integer >= 0 OR null
terminal
one of: cured | does-not-reproduce | unfireable | insufficient-decidable | incurable OR null
ratification
object
ruling
one of: accepted | overfit | redundant-with-existing-law | conflicts-with-ruling
rulingQuote
non-empty string
existingLaw
non-empty string
statuteCommit
string matching /^[0-9a-f]{7,40}$/
ruledAt
non-empty string
supersedesRowId
non-empty string
note
non-empty string
_legacy
map of any shape (not yet constrained by the schema)
This binding declares no checks beyond its field shape.
| Bound by | laws-cases |
|---|---|
| Declared in | ~/ |
| Binding | CampaignLedgerRow |
| Directory | none |
| Files | none |
| Referenced as | campaign-ledger-row |