tooling subcommittee notes 2026-06-05

subcommittee/tooling/meetings/2026-06-05/minutes.md

@@ -0,0 +1,77 @@
+# Tooling Subcommittee Meeting on 5 June 2026 @ 4pm GMT
+
+| Search Key | Description |
+| :---- | :---- |
+| \[todo\] | Action Item |
+| \[decision\] | Something decided on |
+| \[important\] | Key information |
+
+## Agenda
+
+1. Solicitation of notetaker
+2. Review last and last-last time's meeting minutes
+   1. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633)
+   2. [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675)
+3. Present new members
+4. Tooling Task Force
+   1. Why no preview [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/310)
+5. Rust Project Bridge Task Force
+   1. Updates from Rust Project [Safety-Critical Rust Roadmap](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html)
+   2. Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal
+      1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Getting.20involved.20with.20Clippy.20for.20SCRC.20lints/with/583090116) on Rust Zulip
+   3. Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal
+      1. Register interest [here](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/SCRC.20.3C.3D.3E.20t-opsem.3A.20Normative.20Documentation.20for.20Sound.20.60unsafe.60/with/586198564) on Rust Zulip
+   4. Technical Marketing Track / Sessions
+6. Rust Project t-fls
+
+## Check-in area
+
+**Please add your name, and an emoji that describes your day.**
+
+* Pete LeVasseur ✍️🦀
+* Stefan Akatyschew :-)
+* Tony Aiello 😴
+* Mark Hermeling ☀️
+* Arnaud Fontaine 🙂
+* Oreste Bernardi 🏕️
+* Manuel Hatzl
+* Zalán Bálint Lévai 😅
+
+**Notetaker:**
+
+* Stefan Akatyschew
+
+## Housekeeping section
+
+Xx
+
+## Tasks
+
+* 
+
+## Meeting Minutes
+
+* Review last and last-last time's meeting minutes
+  * Approved both
+    * [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/633)
+    * [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/pull/675)
+* Tooling Task Force
+  * Member of task force attended
+  * Feedback on nuclear standard outstanding
+  * No new tool requests so far
+  * Handshake deal to acquire the standards lists for the committee; the list of standards to be acquired is still TBD and should be committed to GitHub
+  * Work got merged last month, can be viewed here: [https://arewesafetycriticalyet.org/tooling/tools-list](https://arewesafetycriticalyet.org/tooling/tools-list)
+* Rust Project Bridge Task Force
+  * There is a Roadmap for FuSa in Rust including e.g. MC/DC, normative documentation of using unsafe Rust, etc.
+  * Soliciting those interested in [Establish a Spot for Safety-Critical Lints in Clippy](https://rust-lang.github.io/rust-project-goals/2026/safety-critical-lints-in-clippy.html) goal
+    * Initial meeting went well to get on-boarded; Pete needs to publish the notes
+  * Soliciting those interested in [Normative Documentation for Sound unsafe Rust](https://rust-lang.github.io/rust-project-goals/2026/safe-unsafe-for-safety-critical.html) goal
+    * Initial meeting went well to understand next steps; Pete needs to publish the notes
+    * Iceoryx team is investigating some undefined behavior in the std library and discussing it with the operational semantics teams
+  * Technical Marketing Track / Sessions
+    * Xx
+* Rust Project FLS
+  * Request: if interested in getting involved with the FLS team, feel free to post in Zulip to get onboarded and shown how to contribute; a lot to do, help appreciated
+  * Q: It is questioned if enough "consumers" of the FLS are involved, e.g. compiler vendors
+    * A: Ferrous is investing a lot of time, also AdaCore
+  * There are quite some perks with getting involved: e.g. you get invited to the Unconf or Rust all-hands