Ruleset diagnostics, grouped by family.

Errors

Generated from the language definition for ruleset 1.7.

Compiler diagnostics are listed on the compiler index.

fsm

fsm/cancelled-state — a state named Cancelled is declared or targeted
fsm/non-pascal-state — a state name is not PascalCase
fsm/initial-state-count — a board declares no initial state, or more than one
fsm/unknown-state — a transition's from or to names no declared state
fsm/orphan-state — a declared state is neither initial nor named by any transition
fsm/unreachable-state — forward edges from the initial state never reach this state
fsm/duplicate-transition — two transitions share (from, event); first-match-wins would shadow the later one
fsm/terminal-has-exit — a declared terminal state has an outgoing transition
fsm/dead-end-state — a non-terminal, non-initial state has no outgoing transition
fsm/no-terminal — the board declares no terminal state
fsm/malformed-guard — a guard is not an object, or uses an operator outside the JSONLogic allowlist
fsm/unbounded-self-loop — a self-loop has no guard; auto-firing may flood event_log
fsm/guarantee-unknown — a guarantee name is not a declared state
fsm/guarantee-initial — a guarantee does not start at the initial state
fsm/guarantee-terminal — a guarantee does not end on a terminal state
fsm/guarantee-gap — a consecutive pair on the guarantee has no transition
fsm/guarantee-skip — a transition jumps forward along the guarantee
fsm/guarantee-back — a transition moves backward along the guarantee
fsm/guarantee-aside — a transition leaves the guarantee or returns to it without aside
fsm/no-path-to-terminal — a non-terminal state cannot reach a terminal while a guarantee is present
fsm/unbounded-cycle — unguarded edges form a cycle that can avoid every terminal while a guarantee is present
fsm/idempotency-unstable — an idempotency atom changes on every retry
fsm/idempotency-omitted — a workflow names no retry key
fsm/too-many-states — a board declares more than 50 states
fsm/sla-malformed — an sla block has a zero threshold, sits on a terminal state, or names an action type the engine cannot enqueue
fsm/missing-ui-aliases — the board has no display labels though its entity is not a job
fsm/event-not-verb — an event name is not snake_case
fsm/dialect-mismatch — the schema keys transitions as event/on or the initial state as initial, where the engine reads event_type and initial_state
fsm/infer-fail — an infer fail state is missing, unknown, or leaves the guarantee without aside

entity

entity/name-keyed-relationship — a related list or reference joins on a field that is not a relationship
entity/raw-id-column — a list column ends in _id with no relationship declared, so the cell shows a bare id
entity/money-as-number — a field keyed like money is typed number without a currency
entity/pii-unmarked — a field keyed like personal data is not marked pii
entity/pii-unmasked — a pii field names no mask

sync

sync/replicated-conflict — a replicated copy names a conflict other than lww
sync/edge-conflict — an edge copy names a conflict the device cannot apply
sync/fsm-needs-workflow — conflict fsm is declared on an entity with no workflow

seed

seed/empty-lane — a non-terminal state has no seeded job on its board
seed/dangling-ref — a seed job or row references a record the seed does not declare
seed/foreign-prefix — a seed value embeds another listing's seed prefix without a declared dependency

docs

docs/phase-number-in-customer-docs — the emitted customer page names an internal phase or a private path

query

query/unknown-entity — a query or write names an entity the app does not declare
query/unknown-field — a projection, predicate, assignment, grouping or order names a field the entity does not declare
query/type-mismatch — a literal is compared or assigned against a field of another type
query/write-to-builtin — an effect writes to jobs, event_log or fsm_schemas
query/ledger-mutation — an update or delete targets a ledger-kind entity
query/unbounded-write — an update or delete has no where
query/unbounded-select — a query in a list or related position has no limit
query/param-unbound — a query parameter has no binding at its use site, or a binding names no declared parameter
query/builtin-in-page-position — a built-in source is read from a page position
query/prefer-select — a dal { … } literal could be written as select …

view

view/unknown-view — a use names no declared view
view/arity — a use passes arguments that do not match the view's parameters
view/recursive-use — a view mounts itself through a chain of uses
view/each-depth — an each is nested more than two deep
view/unused-param — a view parameter is never read by an element
view/never-used — a view is declared but nothing mounts it

script

script/grant-kind — a component carries using db, or another kind carries using sdk
script/duplicate-name — a component and a view share a name; use resolves one namespace
script/missing-sidecar — a component names a sidecar but carries no source, so the install cannot build it

style

style/prefer-view — a component with no grant and no state hooks is a projection a view expresses without code
style/untyped-prop — a component prop is json, so nothing checks what a use passes

effect

effect/script-grant-missing — a script's source uses db. but its declaration has no using db … grant
effect/script-grant-unused — a declared grant names a capability the script's source never uses
effect/script-grant-tier — a write or fsm grant needs the Team tier; read needs Pro
effect/set-expression-in-browser-position — a set-level construct sits in visible_when, enabled_when or visible_if, which the browser evaluates
effect/fire-with-payload — a do transition carries a payload; the engine takes none
effect/transition-in-guard — an effect is placed where only a predicate may run
effect/unknown-verb — an action type has no row in the effect table
effect/infer-schema-type — an infer schema field is ref, computed, or file
effect/infer-into — an infer from or into name is not a field, or the field's type does not accept the schema
effect/infer-timeout — an infer action has no timeout
effect/infer-over-pii — an infer from list names a pii field
effect/infer-requires-ee — an infer action calls a hosted model and the tenant is not entitled

binding

binding/rollup-missing-delete — a rollup recomputes when a child row is created but not when one is deleted
binding/rollup-missing-field-change — a rollup reads a child field (its aggregated field or a where field) that no on_field_change trigger watches
binding/rollup-config-mismatch — bindings named as one rollup (rollup:<entity>.<field>:…) carry different configs
binding/unknown-field — a binding's trigger or config names a field its entity does not declare (payloads are schemaless, so a deliberately hidden counter is legitimate; a typo is not)