|
| 1 | +# Tooling Subcommittee Meeting on 31 October 2025 @ 4pm GMT |
| 2 | + |
| 3 | +| Search Key | Description | |
| 4 | +| :---- | :---- | |
| 5 | +| \[todo\] | Action Item | |
| 6 | +| \[decision\] | Something decided on | |
| 7 | +| \[important\] | Key information | |
| 8 | + |
| 9 | +## Agenda |
| 10 | + |
| 11 | +1. Solicitation of notetaker |
| 12 | +2. Update on Rust Project Bridge Task Force |
| 13 | +3. Update from Tooling Submissions Task Force[manuel.hatzl@ferrous-systems.com](mailto:manuel.hatzl@ferrous-systems.com) |
| 14 | + |
| 15 | +## Check-in area |
| 16 | + |
| 17 | +**Please add your name, and an emoji that describes your day.** |
| 18 | + |
| 19 | +* Tshepang 😀 |
| 20 | +* Xander Cesari 🚆 |
| 21 | +* Manuel Hatzl 🍕 |
| 22 | +* Pete LeVasseur 👋 |
| 23 | +* Alexandru Radovici 👶🪑 |
| 24 | +* Dorian Peron |
| 25 | +* Oreste Bernardi 🏙️ |
| 26 | + |
| 27 | +**Notetaker:** |
| 28 | + |
| 29 | +* Xander Cesari |
| 30 | + |
| 31 | +People interested in joining the **Rust Project Bridge Task Force** |
| 32 | + |
| 33 | +* Manuel Hatzl |
| 34 | + |
| 35 | +## Housekeeping section |
| 36 | + |
| 37 | +* |
| 38 | + |
| 39 | +## Tasks |
| 40 | + |
| 41 | +* See \[todo\] below ⏬ |
| 42 | + |
| 43 | +## Meeting Minutes |
| 44 | + |
| 45 | +* Introduction of Satoshi Kaneko, currently an observer |
| 46 | +* Manuel Hatzl prepared flow chart diagram showing how to handle the new tool submissions |
| 47 | + * Being discussed in PR 497: [https://github.com/rustfoundation/safety-critical-rust-consortium/pull/497](https://github.com/rustfoundation/safety-critical-rust-consortium/pull/497) |
| 48 | + * Assigning phase \- works through who will take over new issues and which committee/taskforce it goes to |
| 49 | + * Review New Issues flow takes over after the issue is assigned |
| 50 | + * Feedback: |
| 51 | + * It’s nice to split up these large charts into smaller files/charts to make it easier to review/refer to. |
| 52 | + * This might make it tricky to maintain cross links between different sections of the diagram but more research into Mermaid would probably enable it. |
| 53 | + * How do we make this an actual workflow? |
| 54 | + * Currently flowing into the subcommittee/tooling/flow folder with raw files. |
| 55 | + * Having links from the issue templates to the rendered versions of these diagrams would be good. |
| 56 | + * Mermaid diagrams automatically render directly in GitHub and also via docasaurus |
| 57 | + * Might consider explicitly tracking which state an issue is in so we can place each one on the flow chart and better track what they need next. |
| 58 | +* Updates to the PR for machine readable file format for tools and desired compile features: |
| 59 | + * [https://github.com/rustfoundation/safety-critical-rust-consortium/pull/463](https://github.com/rustfoundation/safety-critical-rust-consortium/pull/463) |
| 60 | + * Licenses can be complex depending on usage restrictions. Suggesting to have `license` and `license-note` field to make a machine readable license field and an arbitrary string with more information. |
| 61 | + * License limitations can be complicated and arbitrary; like an open source software that might have a paid safety manual available to make it certifiable. |
| 62 | + * Perhaps a `liability` field to indicate an open source but commercial software where the commercializer is taking liability? |
| 63 | + * We might need a glossary or a description of why there’s more complexity in this software licensing categorization than most open source projects. |
| 64 | + * If there isn’t a good reason to make this data highly machine sortable then perhaps we should just stick with arbitrary strings and description? |
| 65 | + * We could put any liability notes into the `license-note` field but license is often an unexciting discussion point whereas `liability` jumps out and is more differentiated. |
| 66 | + * What should go in the description? How long should it be, how much marketing speak should be allowed? |
| 67 | + * An easy way to minimize marketing speak is “put what your tool does, not how well it does it”. This skews towards descriptions like “a static code analyzer” and away from “the fastest static code analyzer on the market”. |
| 68 | + * We can deal with overly sales-y descriptions as the submissions come in. |
| 69 | +* New first-time member joining: Dorian Peron, from AdaCore, working on bringing MC/DC back into the compiler |
| 70 | + * Upcoming meeting with the Rust Project to discuss alignment and MC/DC will certainly come up |
| 71 | +* Update from the RFC process |
| 72 | + * Pete: RFC process is still in review |
| 73 | + * Pete: Hope to have the process reviewed and merged next week |
| 74 | + * Pete: Will then make RFC repo public |
| 75 | + * Pete: will then create the “zeroth RFC”, describing the current state of the safety critical consortium |
| 76 | +* Rust project bridge task force update? |
| 77 | + * Aforementioned meeting between members of the task force and members of the Rust Project to discuss industry support |
0 commit comments