docs: RFMIG outreach (Rust Formal Methods Interest Group)

[SebTardif]

Goal

Introduce Assura to the highest-signal Rust verification audience: people already evaluating Verus, Prusti, Creusot, Aeneas, and related tools.

Canonical home: https://rust-formal-methods.github.io/

Why this channel

RFMIG is competitor-adjacent by design (talks and discussion around Rust formal methods). A short technical intro or meeting proposal is higher intent than a generic HN dump, and lower risk of "spam" if framed as comparison + honest limits.

Acceptance

• Read current RFMIG site: meetings format, how to propose a talk, code of conduct / contact path
• Prepare a 5–10 minute outline (or one-page intro):
  • Contract-first surface (not attribute-on-existing-Rust)
  • Z3/CVC5 verification + Rust emit
  • AI IR loop and Unknown acceptance policy
  • Explicit non-goals vs Verus/Prusti (link COMPARE + WHAT-WE-PROVE)
• Send intro or talk proposal via the documented RFMIG contact/process
  • Zulip wg-formal-methods topic: https://rust-lang.zulipchat.com/#narrow/channel/183875-wg-formal-methods/topic/Intro.3A.20Assura.20.28contracts.2C.20Z3.2FCVC5.2C.20emits.20Rust.29
  • Sent 2026-08-03
• If accepted: deliver or schedule; if declined/no reply: record attempt and next step in this issue (re-check ~1–2 weeks after send)
• Do not spam RFMIG Discord/meetings with product marketing; technical comparison only

Non-goals

• Claiming Assura is a drop-in Verus replacement
• Unsolicited multi-channel pings to every RFMIG organizer

Related

• Compare page (landed): docs COMPARE
• Launch pack posting: sibling issue for HN/Lobsters/Reddit (docs: post launch pack (Show HN, Lobsters, Reddit, TWiR) #1410)
• Competitor-thread playbook: sibling issue

Source

OSS advertising research (competitor-adjacent channels), 2026-07-16.

[SebTardif]

Reopened: human RFMIG outreach still outstanding

PR #1432 closed this issue because the doc deliverable landed (docs/launch/rfmig-intro.md: site notes, 5–10 min outline, Zulip blurb). That only covers the first acceptance bullets (read RFMIG + prepare outline).

Still not done (require a human):

• Send intro or talk proposal via RFMIG process (Zulip wg-formal-methods / documented contact)
• If accepted: deliver or schedule; if declined/no reply: record attempt here
• No product-marketing spam; technical comparison only

Closing rules for agents: do not close this issue again on docs-only changes. Close only after the send/record step above is done (or explicitly cancelled by a maintainer).

Draft text lives in docs/launch/rfmig-intro.md under "Proposed next steps (human)" and "One-page intro blurb".