Skip to content

Commit a329081

Browse files
authored
Coding Guidelines Subcommittee Meeting on 2025-09-02 (#424)
1 parent 8a4ae6b commit a329081

1 file changed

Lines changed: 89 additions & 0 deletions

File tree

  • subcommittee/coding-guidelines/meetings/2025-09-02
Lines changed: 89 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,89 @@
1+
# **Coding Guidelines Subcommittee Meeting on 2025-09-02 @ 2000 EDT / 2025-09-03 0900 JST**
2+
3+
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,100,2643743,12,1850147,2193733,1880252,8,6&h=5&date=2025-9-2&sln=20-21&hf=1) to meeting time in common time zones.
4+
5+
| Search Key | Description |
6+
| :---- | :---- |
7+
| \[todo\] | Action Item |
8+
| \[decision\] | Something decided on |
9+
| \[important\] | Key information |
10+
11+
## **Agenda**
12+
13+
1. Solicitation of notetaker
14+
2. Acceptance of [Previous Meeting Minutes](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2025-08-27/minutes.md)
15+
3. Introduction of new members
16+
4. Share launch milestone & Kanban board (Andrew)
17+
* [Prepare for launch to wider Rust community](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/milestone/1)
18+
* [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
19+
* [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
20+
* [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
21+
5. Review progress on guidelines incorporated from CERT (Andrew)
22+
* [High-level mapping of CERT rule groups to Rust](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/152)
23+
* Integers \- Félix
24+
* Arrays \- Alex
25+
* Floating Point \- Andrew
26+
6. Discussion session
27+
* "Under what circumstances is `panic`\-ing safety-critical software okay?" (Félix)
28+
* Relevant [issue](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/158)
29+
* “Should we create a list of rules we intend to create? I can imagine that such a list could facilitate contributions of people who don't have the big picture but are willing to take a single rule and just write it. If so, what is a good format and where should it live to maximize contributor experience”
30+
* Relevant [issue](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/197)
31+
* “(Where) do we have a place to cover higher level concepts? I'm thinking of patterns like Newtype and Typestate which can reduce errors significantly.”
32+
* Relevant [issue](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/198)
33+
7. Round table
34+
35+
## **Check-in area**
36+
37+
**Please add your name, and an emoji that describes your day.**
38+
39+
* Félix Fischer 🥱
40+
* Yuchen Shen
41+
* Andrew Fernandes
42+
* Matthew Butler
43+
44+
**Notetaker:**
45+
46+
* Andrew Fernandes
47+
48+
For tips on how we take notes in the Safety-Critical Rust Consortium, please see the [Meeting Notetaker Role](https://github.com/rustfoundation/safety-critical-rust-consortium/blob/main/docs/notetaker-role.md) doc.
49+
50+
## **Housekeeping section**
51+
52+
* Document space: [coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines)
53+
* Zulip: [safety-critical-consortium: Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Coding.20Guidelines)
54+
* [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
55+
* [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
56+
* [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
57+
58+
## **Tasks**
59+
60+
* Search for the \[todo\] markers
61+
62+
## **Meeting Minutes**
63+
64+
* Bit of a kerfuffle migrating to a new meeting **without** an AI notetaker
65+
* Previous minutes were accepted
66+
* No new members
67+
* Review of the Kanban board
68+
* Prepare to launch page review
69+
* Review of the integer CERT C rules as per rust
70+
* Review of all the [integer CERT C rules](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/152#issuecomment-3161474482) (status table)
71+
* No update on arrays or floats
72+
* ~~\[todo\]~~ **ask** have an item in each rule saying “you can check for this rule with these clippy lints” [(new issue added](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/201))
73+
* This is very similar to “[Should we create a list of rules we want to create](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/197)?”
74+
* Discussion Section
75+
* “Should we create a list of rules we intend to create?”
76+
* Discussed above
77+
* “(Where) do we have a place to cover higher level concepts?”
78+
* Sort-of-rough consensus is that “design patterns” are not necessarily a good fit for low-level safety-critical guidelines because context (like FFI) are often the most important condition.
79+
* For example, `unsafe` is necessary a lot in embedded work.
80+
* "Under what circumstances is panic-ing safety-critical software okay?"
81+
* \[todo\] Andrew to write up thoughts re: explicit behaviour that is driven by requirements, and differs between `std` and `no_std`.
82+
83+
## **Material**
84+
85+
Any material to read before the meeting should be included here.
86+
87+
* Milestone: [Prepare for launch to wider Rust community](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/milestone/1)
88+
* [Github Issue to discuss about panicking in Safety Critical](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/158)
89+

0 commit comments

Comments
 (0)