Corrective Stage 1 Final Follow-Up: close trusted-path and proof gaps#552

PLeVasseur merged 2 commits into

Safety-Critical-Rust-Consortium:mainSafety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines:mainfrom

PLeVasseur:refactor/reviewer-bot-maintainability-remediation-stage1-corrective-final-followupPLeVasseur/safety-critical-rust-coding-guidelines:refactor/reviewer-bot-maintainability-remediation-stage1-corrective-final-followupCopy head branch name to clipboard