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
| Path | Source |
|---|---|
section.code_example.exists |
You supply it |
Then
- test — target
section.code_example - label — target
section.code_example
Else
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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