Tool Qualification
This section documents the tool qualification of rules_score following
ISO 26262 principles. The qualification chain is:
Use Cases → Potential Errors → Tool Requirements → Source Code / Tests
Use cases define the goals users achieve with the tool. Potential errors describe hypothetical bugs that could impact those use cases. Tool requirements specify what the tool shall do to mitigate potential errors, and are traced to source code (via lobster-trace tags) and test cases (via record properties).