chore(alef): v0.16.23 final fixes — kotlin-android tests + audit display-tag + go types snapshot

- alef-backend-kotlin-android: update sealed-variant gen_bindings test +
  refresh snapshot_test snapshots for ktfmt 100-char single-line shape
  (variant data classes that fit within 100 chars are now emitted
  single-line; multi-line form is exercised separately).
- alef-backend-ffi gen_bindings/mod.rs + alef-backend-go gen_bindings/
  types.rs: incremental codegen polish from the iter-11 regen loop.
- alef-snippets audit: keep is_known_display_tag fallback alongside the
  documentation-module validators so unknown-language errors remain
  scoped to genuine typos.
- alef-snippets validators: format reflow on csharp/go/java/json tests
  to match the new oxfmt-rust output.

Author: Goldziher

crates/alef-backend-ffi/src/gen_bindings/mod.rs

@@ -116,7 +116,9 @@ fn gen_lib_rs(api: &ApiSurface, prefix: &str, config: &ResolvedCrateConfig) -> S
     // Unsafe extern "C" functions generated here do not have `# Safety` sections in their
     // rustdoc because the safety contract is documented at the C header level (cbindgen output).
     // Doc list indentation reflects the source format and is intentional in generated code.
-    builder.add_inner_attribute("allow(clippy::missing_safety_doc, clippy::doc_lazy_continuation, clippy::doc_overindented_list_items)");
+    builder.add_inner_attribute(
+        "allow(clippy::missing_safety_doc, clippy::doc_lazy_continuation, clippy::doc_overindented_list_items)",
+    );
 
     // Imports
     builder.add_import("std::ffi::{c_char, CStr, CString}");

crates/alef-backend-go/src/gen_bindings/types.rs

@@ -1125,8 +1125,7 @@ pub(super) fn gen_struct_type(
         // they must never be wrapped in a pointer. `*AuthConfig` is "pointer to interface",
         // not "interface", and the two are not assignable. Emit the bare interface name
         // for both optional and non-optional positions.
-        let is_sealed_interface =
-            matches!(&field.ty, TypeRef::Named(n) if data_enum_names.contains(n.as_str()));
+        let is_sealed_interface = matches!(&field.ty, TypeRef::Named(n) if data_enum_names.contains(n.as_str()));
 
         let field_type = if is_sealed_interface {
             go_type(&field.ty)
@@ -1681,8 +1680,7 @@ pub(super) fn gen_config_options(
         // Sealed-interface (data enum) fields are also already-nullable interface values; their
         // struct field is `T` (not `*T`), so the assignment must not take the address.
         let is_slice_or_map = matches!(&field.ty, TypeRef::Vec(_) | TypeRef::Map(_, _));
-        let is_sealed_interface =
-            matches!(&field.ty, TypeRef::Named(n) if data_enum_names.contains(n.as_str()));
+        let is_sealed_interface = matches!(&field.ty, TypeRef::Named(n) if data_enum_names.contains(n.as_str()));
         let use_ptr = !is_visitor_field
             && (field.optional || needs_omitempty_pointer(field))
             && !is_slice_or_map

crates/alef-backend-kotlin-android/tests/gen_bindings_test.rs

@@ -989,27 +989,30 @@ fn sealed_variant_tuple_params_use_payload_derived_names() {
 
     let content = &format_metadata_kt.content;
 
-    // Pdf(PdfMetadata) should derive "metadata" by stripping "Pdf" prefix
+    // Pdf(PdfMetadata) should derive "metadata" by stripping "Pdf" prefix.
+    // Per the ktfmt 100-char heuristic introduced in v0.16.22, short
+    // declarations are emitted single-line; the assertions below check the
+    // single-line shape (the long multi-line form is exercised elsewhere).
     assert!(
-        content.contains("data class Pdf(\n        val metadata: PdfMetadata\n    )"),
+        content.contains("data class Pdf(val metadata: PdfMetadata)"),
         "Pdf variant should use payload-derived name 'metadata', got:\n{content}"
     );
 
     // Custom(String) should use generic "value" for primitive
     assert!(
-        content.contains("data class Custom(\n        val value: String\n    )"),
+        content.contains("data class Custom(val value: String)"),
         "Custom variant should use generic name 'value' for primitive payload, got:\n{content}"
     );
 
     // Multi(String, Int) should use "value0" and "value1"
     assert!(
-        content.contains("data class Multi(\n        val value0: String,\n        val value1: Int\n    )"),
+        content.contains("data class Multi(val value0: String, val value1: Int)"),
         "Multi variant should use generic names 'value0', 'value1', got:\n{content}"
     );
 
     // Struct { reason: String } should use the original field name
     assert!(
-        content.contains("data class Struct(\n        val reason: String\n    )"),
+        content.contains("data class Struct(val reason: String)"),
         "Struct variant should preserve the field name 'reason', got:\n{content}"
     );
 

crates/alef-backend-kotlin-android/tests/snapshots/snapshot_test__snapshot_basic__packages__kotlin_android__src__main__kotlin__dev__kreuzberg__Config.kt.snap

@@ -9,8 +9,4 @@ package dev.kreuzberg
 /**
  * A demo configuration struct.
  */
-data class Config(
-    val value: Int,
-    val label: String,
-    val tag: String??
-)
+data class Config(val value: Int, val label: String, val tag: String??)

crates/alef-backend-kotlin-android/tests/snapshots/snapshot_test__snapshot_basic__packages__kotlin_android__src__main__kotlin__dev__kreuzberg__DemoBridge.kt.snap

@@ -10,5 +10,6 @@ package dev.kreuzberg
 object DemoBridge {
     init { System.loadLibrary("demo_jni") }
 
+    @Throws(DemoBridgeException::class)
     external fun nativeProcess(input: String, count: Int): String
 }

crates/alef-backend-swift/src/gen_rust_crate/cargo.rs

@@ -71,6 +71,13 @@ ignored = ["async-trait", "serde"]
 
 [lib]
 crate-type = ["cdylib", "staticlib"]
+# The `extern "Swift"` block emits linker references that are only resolvable
+# when the crate is linked into a Swift target. `cargo test --workspace` on
+# pure-Rust runners (e.g. windows-latest) would otherwise fail with
+# undefined `__swift_bridge__$*$alef_visit_*` symbols.
+test = false
+doctest = false
+bench = false
 
 [dependencies]
 {source_crate_name} = {{ path = "{core_path}"{features_block}{package_rename_block} }}

crates/alef-snippets/src/audit.rs

@@ -202,9 +202,7 @@ fn audit_fences(path: &Path, content: &str) -> Vec<AuditIssue> {
                     index + 1,
                     "fenced code block is missing a language tag".to_string(),
                 ));
-            } else if Language::from_fence_tag(&tag) == Language::Unknown
-                && !is_known_display_tag(&tag)
-            {
+            } else if Language::from_fence_tag(&tag) == Language::Unknown && !is_known_display_tag(&tag) {
                 issues.push(issue(
                     AuditIssueKind::UnknownLanguage,
                     path,

crates/alef-snippets/src/validators/csharp.rs

@@ -56,7 +56,9 @@ impl SnippetValidator for CsharpValidator {
         let mut command = std::process::Command::new("dotnet");
         match level {
             ValidationLevel::Syntax | ValidationLevel::Compile => {
-                command.args(["build", "--nologo", "-v", "quiet"]).current_dir(dir.path());
+                command
+                    .args(["build", "--nologo", "-v", "quiet"])
+                    .current_dir(dir.path());
             }
             ValidationLevel::Run => {
                 command.args(["run", "--nologo"]).current_dir(dir.path());

crates/alef-snippets/src/validators/go.rs

@@ -49,7 +49,7 @@ impl GoValidator {
                 continue;
             }
             if trimmed.starts_with("import (") {
-                while let Some(import_line) = lines.next() {
+                for import_line in lines.by_ref() {
                     imports.push(import_line);
                     if import_line.trim() == ")" {
                         break;
@@ -103,7 +103,9 @@ impl SnippetValidator for GoValidator {
             ValidationLevel::Compile => {
                 std::fs::write(dir.path().join("go.mod"), "module snippet\n\ngo 1.21\n")?;
                 let mut command = std::process::Command::new("go");
-                command.args(["build", "-o", "/dev/null", "./..."]).current_dir(dir.path());
+                command
+                    .args(["build", "-o", "/dev/null", "./..."])
+                    .current_dir(dir.path());
                 command
             }
             ValidationLevel::Run => {
@@ -115,9 +117,7 @@ impl SnippetValidator for GoValidator {
         };
 
         let (success, output) = run_command(&mut command, timeout_secs)?;
-        if success && output.trim().is_empty() {
-            Ok((SnippetStatus::Pass, None))
-        } else if success {
+        if success {
             Ok((SnippetStatus::Pass, None))
         } else {
             Ok((SnippetStatus::Fail, Some(output)))

crates/alef-snippets/src/validators/java.rs

@@ -46,7 +46,9 @@ impl JavaValidator {
         let mut past_imports = false;
         for line in code.lines() {
             let trimmed = line.trim();
-            if !past_imports && (trimmed.is_empty() || trimmed.starts_with("import ") || trimmed.starts_with("package ")) {
+            if !past_imports
+                && (trimmed.is_empty() || trimmed.starts_with("import ") || trimmed.starts_with("package "))
+            {
                 imports.push(line);
             } else {
                 past_imports = true;
@@ -79,7 +81,9 @@ impl JavaValidator {
         } else {
             format!("{imports}\n\n")
         };
-        format!("{imports_block}public class Snippet {{\n    public static void main(String[] args) throws Exception {{\n{body_inner}\n    }}\n}}\n")
+        format!(
+            "{imports_block}public class Snippet {{\n    public static void main(String[] args) throws Exception {{\n{body_inner}\n    }}\n}}\n"
+        )
     }
 }
 
@@ -133,7 +137,6 @@ impl SnippetValidator for JavaValidator {
     }
 
     fn is_dependency_error(&self, output: &str) -> bool {
-        output.contains("cannot find symbol")
-            || output.contains("package") && output.contains("does not exist")
+        output.contains("cannot find symbol") || output.contains("package") && output.contains("does not exist")
     }
 }