Fleet Schemas ↑↓ move within a pane · ←→ move between panes · Enter opens · Esc backs out
FireReceipt 16 fields

laws-core/FireReceipt

fireId non-empty string
Historical duplicate of the owning run id, retained until the coordinated receipt conversion.
caseId non-empty string
Historical duplicate of the owning case identity, retained until the coordinated receipt conversion.
arm one of: control | cure | trim | model | variant | compound | doc
Treatment selected for this fire; control varies nothing, and `doc` substitutes declared bytes inside one named tool result.
required
pairedControlId non-empty string OR null
Exact control reference checked before treatment dispatch; null for a control.
required
judgeId non-empty string OR null
Historical unused judge slot, retained until the coordinated receipt conversion.
classifierHash non-empty string OR null
Historical unused classifier slot, retained until the coordinated receipt conversion.
clauseBytesSha256 string matching /^sha256:[a-f0-9]{64}$/
SHA-256 of ordered law id and clause quote pairs, with a NUL after each component.
required
clauseSource non-empty string
Historical launch assertion diagnostic, retained until the coordinated receipt conversion.
prefixSha256 string matching /^sha256:[a-f0-9]{64}$/
SHA-256 of the exact saved messages.json bytes for the first recorded reply, preserving its serialization and any saved message delta.
required
replyCount integer >= 0
Independent count of replies this fire produced, checked against generation.replyRunIds before certifying population size or raw-cap exhaustion; not a duplicate of that list length, since a padded id list must not certify exhaustion.
banBlockPresent boolean
Historical delivery assertion diagnostic, retained until the coordinated receipt conversion.
banBlockSha256 string matching /^sha256:[a-f0-9]{64}$/ OR null
Historical delivery assertion hash, retained until the coordinated receipt conversion.
offLawBytes integer >= 0 OR null
Off-law byte difference measured by lawSwap; null when that measurement was not made.
required
launchLoadPerCore number >= 0
Historical launch diagnostic, retained until the coordinated receipt conversion.
host non-empty string
Historical launch host diagnostic, retained until the coordinated receipt conversion.
startedAt string matching /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}\.\d{3}Z$/
Historical duplicate of the run lifecycle time, retained until the coordinated receipt conversion.

Checks

This binding declares no checks beyond its field shape.

Defects

Checked 200 of 1,518 records (the per-store cap is 200), so this is a sample, not a whole-store verdict.

No defects in the 200 records checked.

Where it lives

Bound bylaws-cases
Declared in~/mnt/laws/laws-cases/assets/schemas/fire-receipt.ts
BindingfireReceiptDataStore
Directory~/runs/autoresearch-experiments
Files*/*/*/artifacts/fire-receipt.json
Referenced asfire-receipt