Bow Tie Kreative Writing System

Rules / technical writing

TEC-013 Hard constraint layer: section

Code examples are runnable or explicitly partial

IF a code example is presented, THEN test it in the declared environment OR label omitted setup and placeholders ELSE do not imply it runs.

Why the rule exists

Readers copy examples as executable claims.

Condition

The rule fires when this evaluates true. Paths marked below must be present in the fact base; the engine reports the rest rather than guessing them.

  • section.code_example.exists eq true

Facts this rule reads

Fact paths read by TEC-013 and whether the analyser derives them
PathSource
section.code_example.exists You supply it

Then

  1. test — target section.code_example
  2. label — target section.code_example

Else

  1. retain — target current_text, No triggering condition is present.

LAKA

Smallest sufficient intervention
Yes
Primary axes

Sources

  • The Insider's Guide to Technical Writing — Krista Van Laan
    Documentation practice, careers, projects, and users.
  • Developing Quality Technical Information — Michelle Carey; Moira Lanyi; Deirdre Longo; et al.
    Quality dimensions for usable technical information.
The raw rule record

Verbatim from 15-technical-writing-rules.json. Also available at /v1/rules/TEC-013.

{
  "id": "TEC-013",
  "name": "Code examples are runnable or explicitly partial",
  "domain": "technical_writing",
  "layer": "section",
  "strength": "hard_constraint",
  "human_logic": "IF a code example is presented, THEN test it in the declared environment OR label omitted setup and placeholders ELSE do not imply it runs.",
  "when": {
    "path": "section.code_example.exists",
    "operator": "eq",
    "value": true
  },
  "then": [
    {
      "action": "test",
      "target": "section.code_example",
      "environment_from": "section.requirements"
    },
    {
      "action": "label",
      "target": "section.code_example",
      "when": "partial",
      "include": [
        "omitted_setup",
        "placeholders",
        "expected_output"
      ]
    }
  ],
  "else": [
    {
      "action": "retain",
      "target": "current_text",
      "reason": "No triggering condition is present."
    }
  ],
  "unless": [],
  "because": "Readers copy examples as executable claims.",
  "diagnostics": [],
  "examples": {},
  "source_ids": [
    "BK-020",
    "BK-024"
  ],
  "laka": {
    "smallest_sufficient_intervention": true,
    "primary_axes": [
      "scope",
      "depth",
      "magnitude",
      "reversibility"
    ]
  }
}

Other technical writing rules

  1. TEC-001 Choose an information type IF a technical topic is being created, THEN classify it as concept, task, reference, troubleshooting, glossary, or mixed with explicit boundaries ELSE do not draft a generic blob. Hard constraint
  2. TEC-002 Concept answers what and why IF the reader asks what something is or why it matters, THEN use a concept topic with definition, model, relationship, boundary, and example ELSE select another type. Context default
  3. TEC-003 Task answers how to achieve a goal IF the reader wants to achieve an outcome, THEN use a task topic with goal, prerequisites, steps, results, recovery, and verification ELSE select another type. Context default
  4. TEC-004 Reference supports lookup IF the reader needs facts about an entity or interface, THEN use stable repeated fields, valid values, defaults, constraints, examples, and links ELSE select another type. Context default
  5. TEC-005 Prerequisites before steps IF a task requires permissions, state, tools, knowledge, inputs, or safety conditions, THEN list them before step 1 ELSE state that none are required only when useful. Hard constraint
  6. TEC-006 Imperative starts the step IF the reader performs a procedural action, THEN start with a specific imperative verb and name the object ELSE name the actual actor. Context default
  7. TEC-007 Expected result follows uncertain action IF a step’s success is not self-evident, THEN state the observable result immediately after it ELSE retain. Context default
  8. TEC-008 Recovery follows known failure IF a step has a common or consequential failure mode, THEN provide symptom, cause or check, corrective action, and verification ELSE retain. Context default