ir: check the IR is usable, recover the enums WA composes, and pin the bootloader map

.github/workflows/ci.yml

@@ -83,6 +83,15 @@ jobs:
           pip install --quiet jsonschema
           python scripts/validate-schemas.py generated
 
+      # The schemas check SHAPE; this checks that the document is usable. A
+      # consumer generating code from the IR — in any language — has to trust
+      # that an enum names its values, a byte pin matches its length, a union
+      # has alternatives. Those are invariants JSON Schema cannot express, and
+      # the counted states are held to a baseline so a constraint that starts
+      # slipping through shows up as a rise rather than as silence.
+      - name: Check IR internal consistency
+        run: python scripts/lint-ir.py generated
+
   # Reproducibility gate: restore the *exact* bundle set generated/ was built from
   # (from the durable release store, verified against the committed lockfile) and
   # regenerate in --check mode. Proves every committed generated/ is byte-for-byte

crates/wa-codegen/src/notif_export.rs

@@ -383,6 +383,8 @@ fn emit_action_tables(notifications: &[NotificationDef]) -> String {
     l.push_str("    pub name: &'static str,\n");
     l.push_str("    pub wire_tag: &'static str,\n");
     l.push_str("    pub fields: &'static [NotifActionField],\n");
+    l.push_str("    /// Whether every branch producing this action carries the list.\n");
+    l.push_str("    pub required: bool,\n");
     l.push_str("}\n\n");
     l.push_str("/// One arm of a notification's payload action union.\n");
     l.push_str("#[derive(Debug, Clone, Copy)]\n");
@@ -450,10 +452,11 @@ fn emit_action_tables(notifications: &[NotificationDef]) -> String {
                 .iter()
                 .map(|c| {
                     format!(
-                        "NotifActionChild {{ name: {}, wire_tag: {}, fields: {} }}",
+                        "NotifActionChild {{ name: {}, wire_tag: {}, fields: {}, required: {} }}",
                         rust_lit(&c.name),
                         rust_lit(&c.wire_tag),
-                        field_list(&c.fields)
+                        field_list(&c.fields),
+                        c.required
                     )
                 })
                 .collect();

crates/wa-enums/Cargo.toml

@@ -12,6 +12,7 @@ description = "Native tooling: oxc AST extraction of WhatsApp Web's $InternalEnu
 oxc_allocator = { workspace = true }
 oxc_ast = { workspace = true }
 oxc_ast_visit = { workspace = true }
+oxc_syntax = { workspace = true }
 wa-ir = { workspace = true }
 wa-oxc = { workspace = true }
 wa-transform = { workspace = true }