Profile contract

decision.rules@1

Typed conjunction predicates; unique/first/collect hit policies; bounded partition proof and evaluation.

decision projectionRule decision table

Open this profile in the gallery

Primary palette

rule.row

Profile verification

Declare 1..8 input domains: enum (1..30 unique nonnull scalar values), boolean, or finite closed numeric interval; optional/null states are explicit.
Rules are conjunction records with eq/in/interval/null/missing predicates; omitted input predicate means unrestricted within its domain. Outputs name 1..20 unique keys and every rule supplies each finite scalar output.
unique/first/collect have bounded local matching semantics. priority/any/output_order/rule_order/aggregation retain the currently supplied table annotations and matching order, without claiming a complete DMN evaluator.
Coverage is complete/report/none. Partition numeric domains at predicate boundaries; budget 1..50000, default 4096. Exhaustion is UNKNOWN/budget_exceeded, never a proof; unique or complete obligations fail closed.

Profile defaults

Explicit file settings override eligible CSS, then these profile defaults and the common standard apply. Unspecified semantic facts remain unspecified.

{
  "projection.kind": "decision",
  "projection.profile": "decision.rules@1",
  "projection.coverage": "report",
  "projection.analysis_budget": 4096
}

Projection properties

kind, profile, width, height, records, inputs, outputs, hit_policy, coverage, analysis_budget, filter, order, x_completeness

Search the property codex

Design operations

Declare input/output columns; create/reorder rule rows; edit typed predicates and outputs; choose policy/coverage; inspect overlap, uncovered, unreachable and shadowed witnesses.

Bounded analysis

Bounded declared-domain analysis and safe local match evaluation; no arbitrary expressions, FEEL or delegated engine execution.

Outside this profile

FEEL
DMN interchange
unbounded analysis