procedure

Procedure is a specific kind of method — a systematic, step-by-step implementation of a broader approach. Method is the general category of systematic approaches to accomplishing tasks. Law 9: X is a specific kind of Y.

Normalization is a specific kind of procedure — it standardizes or brings to a norm through a repeatable set of steps. A procedure is the broader category of systematic step sequences; normalization is a specific case. Law 9: specific→general.

A protocol is a specific kind of procedure — a formalized, standardized procedure governing interaction between parties or systems. A competent speaker calls a protocol 'a procedure' (Law 9a test). Direction: specific (protocol) → general (procedure).

Ratification is a specific kind of procedure — a formal process of giving official approval or consent. Law 9a: a competent speaker would call ratification a (formal approval) procedure. Direction: specific (ratification, epoch 0.71)→general (procedure, epoch 0.25).

A routine is a specific kind of procedure — a regular sequence of actions performed in a fixed order. Per Law 9, a competent speaker calls a routine 'a type of procedure.' The distinction from method is that routines emphasize repetition and regularity.

Direction tested: operating-procedure INSTANCE_OF procedure. Law 9: an operating-procedure is a specific kind of procedure — one that is documented, sequenced, and standardized for repeated use. A competent speaker calls it 'a procedure.' Files against the nearest kind.

Direction tested: quality control INSTANCE_OF procedure. Quality control is a specific kind of procedure — a set of systematic steps for verifying conformance to standards. A competent speaker would call quality control a type of procedure. Removal test not applicable for INSTANCE_OF; this is a kind-of relation.

Due process IS a specific kind of procedure — a legally mandated process ensuring fair treatment. Direction specific→general per Law 9. A competent speaker would call due process 'a type of procedure' (legal procedure).

A legal procedure IS a specific kind of procedure — a formally established method within the legal domain. Direction: specific (legal procedure) → general (procedure). Law 9.

A playbook is a specific kind of procedure — a documented set of steps for achieving a goal in a particular domain. Law 9: specific→general.

Direction test: algorithm is a specific case of the general concept of procedure. A competent speaker would call an algorithm 'a type of procedure' — specifically, a precise, step-by-step procedure for solving a problem or performing a task. Law 9 direction correct (specific→general). Per Law 9a, algorithm is not an instance of its own property nor a topic of its field; it IS a kind of procedure. The pinned sense is algorithm as a defined computational/mathematical procedure, not as a natural process.

Direction test (Law 9): computation IS a specific kind of procedure — specifically, a systematic, rule-governed transformation of information. A competent speaker would accept 'computation is a type of procedure.' The edge-test confirms procedure is more foundational (epoch 0.23 vs 1.01), consistent with computation being a specialization. Nearest kind: procedure (not formalism — computation is the process, not the symbolic system used in it).

Counterpoint IS a specific kind of procedure — a structured compositional method with defined steps (voice-leading rules, independence constraints, harmonic coordination). A competent speaker in music theory would call counterpoint 'a procedure' for combining melodic lines. Direction: specific (counterpoint, epoch 0.87) → general (procedure, epoch 0.23). INSTANCE_OF, not DEPENDS_ON — counterpoint is a kind of procedure, not merely needing one.

A recipe IS a specific kind of procedure — a structured set of instructions for preparing food or drink. Competent-speaker test passes: a recipe is 'a type of procedure/instruction set'. Law 9: specific→general.

A workflow is a specific kind of procedure — a sequence of steps organized to achieve a result. Competent-speaker test: 'a workflow is a procedure.' Direction: specific→general.

Replication IS a specific kind of procedure: systematic reproduction of results. A competent speaker would call replication 'a kind of procedure.' Files against the nearest kind.

A runbook is a specific kind of procedure — specifically, a documented step-by-step procedure for operational tasks. Any competent operator would describe a runbook as 'a procedure.' The nearest kind is procedure (not documentation, which is the format, or playbook, which is a different genre of procedure).

An emergency-procedure is a specific kind of procedure: a documented sequence of actions for handling emergencies. Per Law 9, a topic is a specific kind of its general category. A competent speaker would call an emergency procedure 'a procedure'.

Pre-test: incident-investigation is a specific kind of procedure — a structured process for examining incidents after they occur to determine causes and prevent recurrence. A competent speaker would say 'incident investigation is a procedure.' Nearest kind is procedure (not risk-assessment, which is the analytical activity, not the procedural framework).

Pre-test: safety-instruction is a specific kind of procedure — a structured instructional procedure for conveying safety knowledge and practices. A competent speaker would call it 'a type of procedure' (specifically, an instructional procedure). Nearest kind: procedure (already the target of incident-investigation INSTANCE_OF→procedure).

Pre-test: safety-recovery is a specific kind of procedure — a structured recovery procedure following safety incidents. A competent speaker would call it 'a type of procedure' (specifically, a recovery procedure). Nearest kind: procedure.

A safety-protocol is a specific kind of procedure — a standardized set of safety steps that must be followed. Per Law 9, a competent speaker calls it a 'safety procedure.' Direction: specific (protocol) → general (procedure).

A safety-procedure IS a specific kind of procedure — a standardized sequence of steps. A competent speaker would call a safety-procedure 'a procedure' (specifically, a safety-related one). Files against the nearest kind (procedure, already ACCEPTED). Law 9 satisfied.

A lottery is a specific kind of procedure — a series of actions conducted in a certain order (Law 9). A competent speaker would call a lottery 'a procedure' — specifically, a random selection procedure used for distributing prizes.

checklist INSTANCE_OF procedure: A checklist is a specific kind of procedure — a sequential set of items to be verified or completed. The competent-speaker test passes: 'a checklist is a kind of procedure.' The removal test doesn't apply (INSTANCE_OF, not DEPENDS_ON). Direction: specific→general.

shift-handover is a specific kind of procedure: a structured method for transferring responsibility between shifts. Per Law 9, a competent speaker would call it 'a procedure'. Nearest kind is procedure.

systematic-inspection is a specific kind of procedure: a methodical examination following a fixed method. A competent speaker calls it 'a systematic procedure.' Direction: specific→general, verified.

A training loop is a specific kind of procedure: a structured sequence of steps repeated iteratively to adjust model parameters during machine learning training. A competent speaker would call a training loop 'a procedure.'

Iteration is a specific kind of structured procedure: a cycle that repeats with state carried forward. A competent speaker calls iteration 'a procedure' (or 'a procedural pattern'). The sense is the algorithmic/operational one, not the mathematical limit sense.