F.18:7.2a - Method Relation Structure and Method Algebra Name
A lab says: “Use the robot-engineering method algebra: choose scouting, then calibration, then training; fall back to teleoperation if training fails.”
Recovered values:
- one or more robot-engineering methods or method families under
A.3.1; - a method-family registry or selector outcome under
G.5when the family registry or selector result is current; MethodRelationStructurefor the namedMusicalRobotLab_2026use when the current claim concerns serial composition, guarded fallback, or family selection among exact methods;- a C.2.1 description episteme whose EntityOfConcern is that selected MethodRelationStructure; it is not thereby a U.MethodDescription;
- a
C.29mathematical-lens use when “algebra” is the selected representation for checking composition, fallback, or preserved/lost structure; - work plan or dated work only when a concrete plan or occurrence is current.
F.18 settlement: RobotEngineeringMethod names a Method or method family only when that is the governed value. RobotEngineeringMethodRelationStructure may name the selected method relation structure when durable naming is needed. RobotEngineeringMethodAlgebra names the lens only when the algebraic representation itself is the governed value. Do not use a system-role-kind label such as RoboticsEngineerSystemRole to name the method relation structure, and do not use method algebra to hide a WorkPlan or performed Work.