Failures · rule
failure.unknown_context_field
Rejected failure has no such field.
Area 4, Failures; not declinable; the next step is usually the agent's.
type Lookup = Text {}type Missing = Failure { kind: FailureKind.not_found internal: { lookup: Lookup }}action find(lookup: Lookup) fails Missing -> Lookup { reject Missing { lookup: lookup search: lookup }}
error: `Missing` has no field `search` --> main.jadpo:13:9 |13 | search: lookup | ^^^^^^ not declared reason: `Missing`'s fields are `lookup`. A failure carries only the fields its `client` and `internal` blocks declare. next: Remove `search`, or declare it in `Missing`'s `client` or `internal` block (agent) rule: failure.unknown_context_field help: https://jadpo.dev/docs/errors/failure.unknown_context_fieldcheck failed: 1 error, 1 file
Markdown for agents: /docs/errors/failure.unknown_context_field.md.Built from Jadpo main at a707efb.