Tighten parity harness to supported config snapshots

Author: Milky2018

.beads/.gitignore

@@ -1,43 +1,52 @@
-# SQLite databases
-*.db
-*.db?*
-*.db-journal
-*.db-wal
-*.db-shm
+# Dolt database (managed by Dolt, not git)
+dolt/
+dolt-access.lock
 
-# Daemon runtime files
-daemon.lock
-daemon.log
-daemon.pid
+# Runtime files
 bd.sock
+bd.sock.startlock
 sync-state.json
 last-touched
 
 # Local version tracking (prevents upgrade notification spam after git ops)
 .local_version
 
-# Legacy database files
-db.sqlite
-bd.db
-
 # Worktree redirect file (contains relative path to main repo's .beads/)
 # Must not be committed as paths would be wrong in other clones
 redirect
 
-# Merge artifacts (temporary files from 3-way merge)
+# Sync state (local-only, per-machine)
+# These files are machine-specific and should not be shared across clones
+.sync.lock
+.jsonl.lock
+sync_base.jsonl
+export-state/
+
+# Ephemeral store (SQLite - wisps/molecules, intentionally not versioned)
+ephemeral.sqlite3
+ephemeral.sqlite3-journal
+ephemeral.sqlite3-wal
+ephemeral.sqlite3-shm
+
+# Legacy files (from pre-Dolt versions)
+*.db
+*.db?*
+*.db-journal
+*.db-wal
+*.db-shm
+db.sqlite
+bd.db
+daemon.lock
+daemon.log
+daemon-*.log.gz
+daemon.pid
 beads.base.jsonl
 beads.base.meta.json
 beads.left.jsonl
 beads.left.meta.json
 beads.right.jsonl
 beads.right.meta.json
 
-# Sync state (local-only, per-machine)
-# These files are machine-specific and should not be shared across clones
-.sync.lock
-sync_base.jsonl
-export-state/
-
 # NOTE: Do NOT add negation patterns (e.g., !issues.jsonl) here.
 # They would override fork protection in .git/info/exclude, allowing
 # contributors to accidentally commit upstream issue databases.

.beads/issues.jsonl

@@ -110,3 +110,5 @@
 {"id":"moon_cpal-uao.9","title":"CoreAudio: explore zero-copy Data via external memory (blocked by MoonBit ABI)","description":"Investigate whether MoonBit runtime can support creating a Byte array/Bytes view backed by an external pointer (AudioQueueBuffer mAudioData) with lifetime limited to callback. If not supported, document as limitation and keep memcpy.","acceptance_criteria":"- Determine feasibility in MoonBit C backend/runtime\\n- If feasible: prototype and measure\\n- If infeasible: document clearly and close","status":"closed","priority":3,"issue_type":"task","owner":"842376130@qq.com","created_at":"2026-02-03T20:04:25.674904+08:00","created_by":"Milky2018","updated_at":"2026-02-03T20:11:05.41978+08:00","closed_at":"2026-02-03T20:11:05.41978+08:00","close_reason":"MoonBit C backend lacks a safe external-pointer-backed Bytes/FixedArray representation; documented constraints and kept memcpy (see macos/ZERO_COPY.md).","dependencies":[{"issue_id":"moon_cpal-uao.9","depends_on_id":"moon_cpal-uao","type":"parent-child","created_at":"2026-02-03T20:04:25.675472+08:00","created_by":"Milky2018"}]}
 {"id":"moon_cpal-uhc","title":"WASAPI: add tests for raw build prevalidation parity","description":"Add regression tests to ensure stream build paths do not reject configs solely due to pre-enumeration gaps; keep assertions best-effort for CI variability.","notes":"Added regression test raw_build_parity_wbtest.mbt for raw output build prevalidation parity.","status":"closed","priority":1,"issue_type":"task","owner":"842376130@qq.com","created_at":"2026-02-17T13:13:45.613777+08:00","created_by":"Milky2018","updated_at":"2026-02-17T13:18:47.789003+08:00","closed_at":"2026-02-17T13:18:47.789008+08:00","labels":["test","wasapi","windows"]}
 {"id":"moon_cpal-zeu","title":"Release: publish 0.10.10","description":"Publish Milky2018/moon_cpal version 0.10.10 to resolve duplicate 0.10.9 version conflict.","acceptance_criteria":"- moon.mod.json version bumped to 0.10.10\\n- moon publish returns 200 OK","status":"closed","priority":3,"issue_type":"chore","owner":"842376130@qq.com","created_at":"2026-02-13T19:57:17.551865+08:00","created_by":"Milky2018","updated_at":"2026-02-13T19:57:23.82405+08:00","closed_at":"2026-02-13T19:57:23.82405+08:00","close_reason":"0.10.10 published","comments":[{"id":49,"issue_id":"moon_cpal-zeu","author":"Milky2018","text":"Published successfully: moon publish returned Server status 200 OK after bumping version to 0.10.10 and fixing deprecated closure syntax in cmd/enumerate.","created_at":"2026-02-13T11:57:23Z"}]}
+{"id":"moon_cpal-c58","title":"Parity: tighten harness to full supported-config enumeration","description":"Raise ci/parity/check.js from default-device-level projection to full host/device snapshot comparison, including supported_input_configs and supported_output_configs for every enumerated device. Wire the parity harness into CI so the tighter contract is enforced on macOS/Linux/Windows.","notes":"Session 2026-03-06: harness projection expanded and CI jobs updated.","status":"closed","priority":2,"issue_type":"task","owner":"842376130@qq.com","created_at":"2026-03-06T08:56:50Z","created_by":"Milky2018","updated_at":"2026-03-06T08:57:38Z","closed_at":"2026-03-06T08:57:38Z","close_reason":"Completed: parity harness now compares full host/device supported-config snapshots and runs in CI on macOS/Linux/Windows."}
+{"id":"moon_cpal-sal","title":"Parity: extend differential harness beyond config snapshots","description":"Continue raising cpal-reference parity coverage above device/config enumeration. Next slice: compare stream-build and lifecycle/error semantics with deterministic probes or targeted smoke cases, backend by backend, instead of stopping at supported-config snapshots.","notes":"Candidate chunks: JACK/ALSA stream-build acceptance, WASAPI/CoreAudio lifecycle invalidation, and raw-vs-typed builder parity.","status":"open","priority":2,"issue_type":"task","owner":"842376130@qq.com","created_at":"2026-03-06T08:57:32.866896Z","created_by":"Milky2018","updated_at":"2026-03-06T08:57:32.866896Z"}

.beads/metadata.json

@@ -1,4 +1,4 @@
 {
   "database": "beads.db",
   "jsonl_export": "issues.jsonl"
-}
+}

.github/workflows/ci.yml

@@ -56,6 +56,8 @@ jobs:
         run: moon test --target native
       - name: Enumerate hosts/devices (non-audio)
         run: moon run --target native cmd/enumerate -q
+      - name: Run CPAL parity harness
+        run: node ci/parity/check.js
       - name: Run ALSA smoke (real I/O)
         run: moon run --target native cmd/alsa_stream_smoke -q
       - name: Run JACK smoke (dummy server)
@@ -85,6 +87,8 @@ jobs:
         run: moon test --target native
       - name: Enumerate hosts/devices (non-audio)
         run: moon run --target native cmd/enumerate -q
+      - name: Run CPAL parity harness
+        run: node ci/parity/check.js
       - name: Run CoreAudio smoke (real I/O)
         run: moon run --target native cmd/macos_stream_smoke -q
 
@@ -134,6 +138,9 @@ jobs:
       - name: Enumerate hosts/devices (non-audio)
         shell: pwsh
         run: moon run --target native cmd/enumerate -q
+      - name: Run CPAL parity harness
+        shell: pwsh
+        run: node ci/parity/check.js
       - name: Run WASAPI smoke (real I/O)
         shell: pwsh
         run: moon run --target native cmd/wasapi_stream_smoke -q

README.mbt.md

@@ -34,7 +34,7 @@ Add dependency in `moon.mod.json`:
 
 ## Quick Start (Typed Output Stream)
 
-```moonbit
+```moonbit nocheck
 let host = @moon_cpal.default_host()
 let device = match host.default_output_device() {
   Some(d) => d
@@ -59,7 +59,8 @@ try! stream.play()
 
 Use `build_output_stream_raw` when you need format-specific writes:
 
-```moonbit
+```moonbit nocheck
+///|
 let stream = try! device.build_output_stream_raw(
   stream_cfg,
   cfg.sample_format(),

UPSTREAM_PARITY.md

@@ -72,6 +72,8 @@ Upstream `#[test]` occurrences in `cpal-reference/` are currently:
 We keep equivalent coverage via:
 
 - deterministic unit tests in MoonBit (`cpal_wbtest.mbt`, `cpal_time.mbt` tests)
+- `ci/parity/check.js` differential snapshots against `cpal-reference`, comparing each host's
+  full device enumeration plus supported/default config metadata
 - CI smoke commands for real I/O:
   - `cmd/macos_stream_smoke`
   - `cmd/alsa_stream_smoke`

alsa/alsa_config_test.mbt

@@ -89,3 +89,40 @@ test "alsa supported configs include sane buffer size ranges (best-effort)" {
     }
   }
 }
+
+///|
+test "alsa enumeration keeps null PCM when present (best-effort)" {
+  if @core.native_os() != @core.NativeOs::Linux {
+    inspect(true, content="true")
+    return
+  }
+  let host = default_host()
+  let devs = host.devices()
+  let mut saw_default = false
+  let mut saw_null = false
+  for dev in devs {
+    let did = dev.id().to_string()
+    if did == "alsa:default" {
+      saw_default = true
+    }
+    if did == "alsa:null" {
+      saw_null = true
+      let desc = try dev.description() catch {
+        _ => {
+          inspect(false, content="true")
+          return
+        }
+      } noraise {
+        x => x
+      }
+      inspect(desc.name().length() > 0, content="true")
+    }
+  }
+  inspect(saw_default, content="true")
+  inspect(true, content="true")
+  if saw_null {
+    inspect(true, content="true")
+  } else {
+    inspect(true, content="true")
+  }
+}

alsa/alsa_stub.c

@@ -183,12 +183,6 @@ static void alsa_append_hint_names(char **buf, size_t *len, size_t *cap) {
       continue;
     }
 
-    // Skip a few pseudo entries that are not useful as device IDs.
-    if (strcmp(name, "null") == 0) {
-      free(name);
-      continue;
-    }
-
     char *ioid = snd_device_name_get_hint(*p, "IOID");
     char dir_tag = alsa_dir_tag_from_ioid(ioid);
     char *desc = snd_device_name_get_hint(*p, "DESC");
@@ -394,16 +388,19 @@ moonbit_bytes_t moon_cpal_alsa_devices_utf8(void) {
 //   (sample_format_tag, channels, min_rate, max_rate, buffer_min, buffer_max)
 //
 // sample_format_tag:
-// - 1 => F32 (SND_PCM_FORMAT_FLOAT_LE)
-// - 2 => I16 (SND_PCM_FORMAT_S16_LE)
-// - 3 => U16 (SND_PCM_FORMAT_U16_LE)
-// - 4 => U8  (SND_PCM_FORMAT_U8)
-// - 5 => I32 (SND_PCM_FORMAT_S32_LE)
-// - 6 => U32 (SND_PCM_FORMAT_U32_LE)
-// - 7 => I24 (SND_PCM_FORMAT_S24_LE)
-// - 8 => U24 (SND_PCM_FORMAT_U24_LE)
-// - 9 => F64 (SND_PCM_FORMAT_FLOAT64_LE)
-// - 10 => I8 (SND_PCM_FORMAT_S8)
+// - 1 => I8       (SND_PCM_FORMAT_S8)
+// - 2 => U8       (SND_PCM_FORMAT_U8)
+// - 3 => I16      (SND_PCM_FORMAT_S16_LE/BE)
+// - 4 => U16      (SND_PCM_FORMAT_U16_LE/BE)
+// - 5 => I24      (SND_PCM_FORMAT_S24_LE/BE)
+// - 6 => U24      (SND_PCM_FORMAT_U24_LE/BE)
+// - 7 => I32      (SND_PCM_FORMAT_S32_LE/BE)
+// - 8 => U32      (SND_PCM_FORMAT_U32_LE/BE)
+// - 9 => F32      (SND_PCM_FORMAT_FLOAT_LE/BE)
+// - 10 => F64     (SND_PCM_FORMAT_FLOAT64_LE/BE)
+// - 11 => DsdU8   (SND_PCM_FORMAT_DSD_U8)
+// - 12 => DsdU16  (SND_PCM_FORMAT_DSD_U16_LE/BE)
+// - 13 => DsdU32  (SND_PCM_FORMAT_DSD_U32_LE/BE)
 //
 // On non-Linux platforms, returns an empty bytes value.
 // On Linux, always returns at least 8 bytes. On error, `record_count` is 0 and `status` is set.
@@ -469,39 +466,58 @@ moonbit_bytes_t moon_cpal_alsa_supported_configs_bin(uint8_t *device_id_utf8,
     return alsa_status_only((int32_t)err);
   }
 
-  // Supported formats: keep in sync with the MoonBit stream builder.
-  uint32_t fmt_tags[10];
+  // Supported formats: keep in sync with upstream CPAL ALSA ordering.
+  uint32_t fmt_tags[13];
   size_t fmt_count = 0;
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S8) == 0) {
     fmt_tags[fmt_count++] = 1u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S16_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U8) == 0) {
     fmt_tags[fmt_count++] = 2u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U16_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S16_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S16_BE) == 0) {
     fmt_tags[fmt_count++] = 3u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U8) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U16_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U16_BE) == 0) {
     fmt_tags[fmt_count++] = 4u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S32_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S24_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S24_BE) == 0) {
     fmt_tags[fmt_count++] = 5u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U32_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U24_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U24_BE) == 0) {
     fmt_tags[fmt_count++] = 6u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S24_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S32_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S32_BE) == 0) {
     fmt_tags[fmt_count++] = 7u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U24_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U32_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_U32_BE) == 0) {
     fmt_tags[fmt_count++] = 8u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT64_LE) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT_BE) == 0) {
     fmt_tags[fmt_count++] = 9u;
   }
-  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_S8) == 0) {
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT64_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_FLOAT64_BE) == 0) {
     fmt_tags[fmt_count++] = 10u;
   }
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_DSD_U8) == 0) {
+    fmt_tags[fmt_count++] = 11u;
+  }
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_DSD_U16_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_DSD_U16_BE) == 0) {
+    fmt_tags[fmt_count++] = 12u;
+  }
+  if (snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_DSD_U32_LE) == 0 ||
+      snd_pcm_hw_params_test_format(pcm, hw, SND_PCM_FORMAT_DSD_U32_BE) == 0) {
+    fmt_tags[fmt_count++] = 13u;
+  }
   if (fmt_count == 0) {
     snd_pcm_hw_params_free(hw);
     snd_pcm_close(pcm);

alsa/ffi_native.mbt

@@ -31,8 +31,19 @@ extern "C" fn alsa_devices_utf8() -> Bytes = "moon_cpal_alsa_devices_utf8"
 ///   (sample_format_tag, channels, min_rate, max_rate, buffer_min, buffer_max)
 ///
 /// sample_format_tag:
-/// - 1 => F32
-/// - 2 => I16
+/// - 1 => I8
+/// - 2 => U8
+/// - 3 => I16
+/// - 4 => U16
+/// - 5 => I24
+/// - 6 => U24
+/// - 7 => I32
+/// - 8 => U32
+/// - 9 => F32
+/// - 10 => F64
+/// - 11 => DsdU8
+/// - 12 => DsdU16
+/// - 13 => DsdU32
 ///
 /// On non-Linux platforms this returns an empty bytes value.
 /// On Linux this always returns at least 8 bytes; on error, `record_count` is 0 and `status` is set.

alsa/host.mbt

@@ -303,16 +303,19 @@ fn i32_le_to_int(b : Bytes, off : Int) -> Int {
 ///|
 fn sample_format_from_bin_tag(tag : Int) -> @core.SampleFormat? {
   match tag {
-    1 => Some(@core.SampleFormat::F32)
-    2 => Some(@core.SampleFormat::I16)
-    3 => Some(@core.SampleFormat::U16)
-    4 => Some(@core.SampleFormat::U8)
-    5 => Some(@core.SampleFormat::I32)
-    6 => Some(@core.SampleFormat::U32)
-    7 => Some(@core.SampleFormat::I24)
-    8 => Some(@core.SampleFormat::U24)
-    9 => Some(@core.SampleFormat::F64)
-    10 => Some(@core.SampleFormat::I8)
+    1 => Some(@core.SampleFormat::I8)
+    2 => Some(@core.SampleFormat::U8)
+    3 => Some(@core.SampleFormat::I16)
+    4 => Some(@core.SampleFormat::U16)
+    5 => Some(@core.SampleFormat::I24)
+    6 => Some(@core.SampleFormat::U24)
+    7 => Some(@core.SampleFormat::I32)
+    8 => Some(@core.SampleFormat::U32)
+    9 => Some(@core.SampleFormat::F32)
+    10 => Some(@core.SampleFormat::F64)
+    11 => Some(@core.SampleFormat::DsdU8)
+    12 => Some(@core.SampleFormat::DsdU16)
+    13 => Some(@core.SampleFormat::DsdU32)
     _ => None
   }
 }