REQ-FUN-070
Every state-changing operation produces exactly one audit row
What
Every state-changing operation SHALL produce exactly one audit row.
Acceptance
Mutation count == audit row count in instrumentation tests.
Source
OBJ-6.
established project management guidelines Mapping
Exactly-one-audit-row guarantee is the Monitor and Control completeness invariant.