Skip to content

Commit 7e3b71c

Browse files
committed
coding guidelines: agenda 2026-07-01
1 parent a0569a4 commit 7e3b71c

2 files changed

Lines changed: 106 additions & 13 deletions

File tree

subcommittee/coding-guidelines/meetings/2026-06-24/minutes.md

Lines changed: 10 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -81,18 +81,6 @@ For tips on how we take notes in the Safety-Critical Rust Consortium, please see
8181
- Previous meeting notes are approved
8282
- AdaCore agreed to sponsor RustConf safety critical consortium room.
8383
- Requested to register participation
84-
-
85-
86-
## **Material**
87-
88-
Any material to read before the meeting should be included here.
89-
90-
Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
91-
92-
- 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
93-
- 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
94-
- 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
95-
- 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
9684
- SCRC as a member organization of the Rust Commercial Network (RCN)
9785
- Asked to give feedback at [https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium-rfcs/pull/8](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium-rfcs/pull/8)
9886
- No change in government in SCRC. Code Conduct, Bylaws …. will not change.
@@ -123,4 +111,13 @@ Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goal
123111
- Presented document to describe what is worth to be funded
124112
- [Open for feedback:](https://docs.google.com/document/d/1E39cNTjK-5azCeWWFWS1jORsz9nqzMs4CNa6Rm68jV4/edit?usp=sharing)
125113

126-
114+
## **Material**
115+
116+
Any material to read before the meeting should be included here.
117+
118+
Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
119+
120+
- 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
121+
- 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
122+
- 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
123+
- 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
Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,96 @@
1+
# **Coding Guidelines Subcommittee Meeting on 2026-07-01 @ 1600 CEST / 1100 EDT**
2+
3+
[Link](https://www.worldtimebuddy.com/?qm=1&lid=5,12,2643743,8,1850147,100,14,14,1835848,1816670&h=5&date=2026-7-1&sln=11-12&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/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium/blob/main/subcommittee/coding-guidelines/meetings/2026-06-24/minutes.md)
15+
3. Introduction of new members
16+
4. Solicit availability for RustConf 2026 SCRC Room (Pete)
17+
- Please put availability on this [LettuceMeet](https://lettucemeet.com/l/oYlvM)
18+
5. The SCRC as a member organization of the Rust Commercial Network (RCN)
19+
- [RFC PR](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-consortium-rfcs/pull/8)
20+
- RCN announcement goes out today with the SCRC as a founding member organization
21+
6. Draft document for usage of standards documents
22+
- Current draft: [Usage Terms of Standards Documents](https://docs.google.com/document/d/1ctOOMA81slp8N4Sja_FmeDLaneEmtyIplL9EtYilM3s/edit?usp=sharing)
23+
- Located in the publicly accessible folder on the SCRC Google Drive: [Standards Documents](https://drive.google.com/drive/folders/1fgcca7tbpc0iLoZf1AQR_v9Kh51rungp?usp=drive_link)
24+
- How do we feel about these? Suggestions?
25+
7. Discuss possible 2-3 coding guidelines to choose for Clippy lints (Pete)
26+
- How've we done in looking into these?
27+
8. First version of MISRA C \+ CERT C Appendices [live](https://coding-guidelines.arewesafetycriticalyet.org/appendices/standards-matrices/index.html)
28+
- [CERT C](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/milestone/3) and [MISRA C](https://github.com/Safety-Critical-Rust-Consortium/safety-critical-rust-coding-guidelines/milestone/4) milestones now established
29+
- New labels (and board views): [`rationale needed`](https://github.com/orgs/Safety-Critical-Rust-Consortium/projects/4/views/12), [`guideline needed`](https://github.com/orgs/Safety-Critical-Rust-Consortium/projects/4/views/11), [`clippy lint needed`](https://github.com/orgs/Safety-Critical-Rust-Consortium/projects/4/views/13)
30+
9. Safety-Critical Rust: Items of Shared Value for Fund Pooling (Pete)
31+
- One of the action items Pete took from the SCRC Room at RustWeek 2026
32+
- Things seem to be heating up with the formation of the Rust Foundation Maintainers Fund (RFMF) and Ecosystem Fund and the Funding Team. Would be good to make sure we make our needs and requests obvious and clear.
33+
- Pete will screen share and show the draft and then share it afterwards for feedback
34+
- Would we like to form up a working group temporarily to get this in good shape?
35+
- A first (0th?) draft document is available here: [Safety-Critical Rust - Items of Shared Value for Fund Pooling](https://docs.google.com/document/d/1E39cNTjK-5azCeWWFWS1jORsz9nqzMs4CNa6Rm68jV4/edit?usp=sharing)
36+
10. Interest in the MISRA C++ mapping (mira / Pete)
37+
- Updates on new things in the MISRA C++ \=\> Rust mapping
38+
- In talks with MISRA folks still; but in practice the procedure outlined seemed reasonable to them
39+
- Please register interest on [this Zulip thread](https://rust-lang.zulipchat.com/#narrow/channel/579369-safety-critical-consortium.2Fcoding-guidelines/topic/MISRA.20C.2B.2B.20Mapping.20Interest/with/584764785)
40+
11. Review batches for [CERT C Rust Mapping](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/336) (Pete)
41+
- Let's split up again, to get some feedback on batch 2
42+
- [428 \[CERT C Review Batch 2/5\] Review proposed Rust categorization](https://github.com/rustfoundation/safety-critical-rust-coding-guidelines/issues/428)
43+
- **Group A**
44+
- xx
45+
- **Group B**
46+
- Xx
47+
12. Round table
48+
49+
## **Check-in area**
50+
51+
- xx
52+
- xx
53+
- xx
54+
- xx
55+
- xx
56+
- xx
57+
- xx
58+
- xx
59+
- xx
60+
- xx
61+
- xx
62+
- xx
63+
64+
**Notetaker:**
65+
66+
- xx
67+
68+
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.
69+
70+
## **Housekeeping section**
71+
72+
- Document space: [coding-guidelines](https://github.com/rustfoundation/safety-critical-rust-consortium/tree/main/subcommittee/coding-guidelines)
73+
- Zulip: [safety-critical-consortium: Coding Guidelines](https://rust-lang.zulipchat.com/#narrow/channel/445688-safety-critical-consortium/topic/Coding.20Guidelines)
74+
- [Kanban board](https://github.com/orgs/rustfoundation/projects/1/views/3)
75+
- [`contributor experience`](https://github.com/orgs/rustfoundation/projects/1/views/4) view
76+
- [`coding guideline`](https://github.com/orgs/rustfoundation/projects/1/views/5) view
77+
78+
## **Tasks**
79+
80+
- xx
81+
82+
## **Meeting Minutes**
83+
84+
- xx
85+
86+
## **Material**
87+
88+
Any material to read before the meeting should be included here.
89+
90+
Overview of [Safety-Critical Rust](https://rust-lang.github.io/rust-project-goals/2026/roadmap-safety-critical-rust.html) Rust Project Goals Roadmap (Pete)
91+
92+
- 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
93+
- 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
94+
- 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
95+
- 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
96+

0 commit comments

Comments
 (0)