Bow Tie Kreative WCAG Grammar

Example rules

LAKA-WCAG-FORM-ERROR

wcag_requirement change level: Major Change execution: NOT_TESTED

Object

form validation — A concrete authorized component instance; bind before execution.

States: invalid submitted corrected

Applicability — IF

  • validation.error_automatically_detected

Requirement — THEN REQUIRE

  • AND
    • error.field_identified
    • error.described_in_text

WCAG references

Implementation

Bind to the actual error rendering and field relationships; choose and review a feedback pattern.

LAKA instantiation

Object
form validation in the declared test scope.
Conditions
Use the listed states with a recorded role, fixture and environment.
Actions
Execute the named task and its relevant recovery transitions.
Tools
Use repository test adapters and qualified manual review where needed.
Resources
Synthetic fixtures, a test environment, accountable owner and evidence store.
Outcomes
The affected field and error are understandable from the textual feedback.
Feedback
Preserve observations and create a linked regression check after repair.
Constraints
Do not weaken security, erase information or reduce task functionality.
Value
Support independent operation of this task without the recorded barrier.
Failure mode
An assertion fails, remains unknown or regresses in a relevant state.

Measurement lenses: Scope Detectability Propagation Reversibility

Full record

examples/laka-wcag-form-error.json
{
  "id": "LAKA-WCAG-FORM-ERROR",
  "version": "1.0.0",
  "authority": "wcag_requirement",
  "source_refs": [
    "SC-3.3.1"
  ],
  "wcag_refs": [
    {
      "criterion_id": "3.3.1",
      "level": "A"
    }
  ],
  "covers_full_criteria": false,
  "object": {
    "type": "form validation",
    "scope": "A concrete authorized component instance; bind before execution.",
    "states": [
      "invalid",
      "submitted",
      "corrected"
    ]
  },
  "applicability": {
    "predicate": "validation.error_automatically_detected"
  },
  "require": {
    "all": [
      {
        "predicate": "error.field_identified"
      },
      {
        "predicate": "error.described_in_text"
      }
    ]
  },
  "exceptions": [],
  "implementation": "Bind to the actual error rendering and field relationships; choose and review a feedback pattern.",
  "laka": {
    "change_level": "Major Change",
    "internal_variables": {
      "Object": "form validation in the declared test scope.",
      "Conditions": "Use the listed states with a recorded role, fixture and environment.",
      "Actions": "Execute the named task and its relevant recovery transitions.",
      "Tools": "Use repository test adapters and qualified manual review where needed.",
      "Resources": "Synthetic fixtures, a test environment, accountable owner and evidence store.",
      "Outcomes": "The affected field and error are understandable from the textual feedback.",
      "Feedback": "Preserve observations and create a linked regression check after repair.",
      "Constraints": "Do not weaken security, erase information or reduce task functionality.",
      "Value": "Support independent operation of this task without the recorded barrier.",
      "Failure mode": "An assertion fails, remains unknown or regresses in a relevant state."
    },
    "meta_variables": [
      "Scope",
      "Detectability",
      "Propagation",
      "Reversibility"
    ]
  },
  "tests": [
    {
      "method": "mixed",
      "steps": [
        "Enter a controlled invalid value.",
        "Submit using the required input method.",
        "Inspect the error and identify the field.",
        "Correct the value and continue."
      ],
      "expected": "The affected field and error are understandable from the textual feedback.",
      "evidence_required": [
        "build and test fixture",
        "rendered interaction observations",
        "reviewed manual evidence where required"
      ]
    }
  ],
  "metrics": [
    {
      "measure": "supported required assertions",
      "unit": "count",
      "decision": "No false or unresolved required assertions.",
      "denominator": "All applicable planned assertions for this bound instance."
    }
  ],
  "guardrails": [
    "Do not use color alone.",
    "Do not fabricate an assistive-technology observation."
  ],
  "owner": "Assigned accessibility implementation owner",
  "execution_status": "NOT_TESTED"
}

This rule as JSON →