These documents describe the current design. Acceptance of a decision does not prove implementation or runtime qualification. Feature specifications and exact source artifacts own those checks.