CI: stabilize bindings-matrix and cross-language bindings

.github/workflows/ci.yml

@@ -166,12 +166,23 @@ jobs:
       run: |
         sudo apt-get update
         sudo apt-get install -y cmake ninja-build
+    - name: Build C++ Kernel Library
+      run: |
+        cd src/cpp_kernel
+        mkdir -p build
+        cd build
+        cmake .. -DCMAKE_BUILD_TYPE=Release
+        cmake --build . --config Release
+        cd ../../..
+        mkdir -p build/shared/lib
+        cp src/cpp_kernel/build/libbetti_rdl_c.so build/shared/lib/
     - name: Set up Rust
       uses: actions-rs/toolchain@v1
       with:
         toolchain: stable
         override: true
     - name: Run Tests
       run: |
+        export LD_LIBRARY_PATH=$PWD/build/shared/lib:$LD_LIBRARY_PATH
         cd grey_compiler
         cargo test

grey_compiler/target/.rustc_info.json

@@ -1 +1 @@
-{"rustc_fingerprint":13661266674763380883,"outputs":{"7971740275564407648":{"success":true,"status":"","code":0,"stdout":"___\nlib___.rlib\nlib___.so\nlib___.so\nlib___.a\nlib___.so\n/home/engine/.rustup/toolchains/stable-x86_64-unknown-linux-gnu\noff\npacked\nunpacked\n___\ndebug_assertions\npanic=\"unwind\"\nproc_macro\ntarget_abi=\"\"\ntarget_arch=\"x86_64\"\ntarget_endian=\"little\"\ntarget_env=\"gnu\"\ntarget_family=\"unix\"\ntarget_feature=\"fxsr\"\ntarget_feature=\"sse\"\ntarget_feature=\"sse2\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"linux\"\ntarget_pointer_width=\"64\"\ntarget_vendor=\"unknown\"\nunix\n","stderr":""},"17747080675513052775":{"success":true,"status":"","code":0,"stdout":"rustc 1.92.0 (ded5c06cf 2025-12-08)\nbinary: rustc\ncommit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234\ncommit-date: 2025-12-08\nhost: x86_64-unknown-linux-gnu\nrelease: 1.92.0\nLLVM version: 21.1.3\n","stderr":""}},"successes":{}}
+{"rustc_fingerprint":12763301212403480146,"outputs":{"7971740275564407648":{"success":true,"status":"","code":0,"stdout":"___\nlib___.rlib\nlib___.so\nlib___.so\nlib___.a\nlib___.so\n/home/engine/.rustup/toolchains/stable-x86_64-unknown-linux-gnu\noff\npacked\nunpacked\n___\ndebug_assertions\npanic=\"unwind\"\nproc_macro\ntarget_abi=\"\"\ntarget_arch=\"x86_64\"\ntarget_endian=\"little\"\ntarget_env=\"gnu\"\ntarget_family=\"unix\"\ntarget_feature=\"fxsr\"\ntarget_feature=\"sse\"\ntarget_feature=\"sse2\"\ntarget_has_atomic=\"16\"\ntarget_has_atomic=\"32\"\ntarget_has_atomic=\"64\"\ntarget_has_atomic=\"8\"\ntarget_has_atomic=\"ptr\"\ntarget_os=\"linux\"\ntarget_pointer_width=\"64\"\ntarget_vendor=\"unknown\"\nunix\n","stderr":""},"17747080675513052775":{"success":true,"status":"","code":0,"stdout":"rustc 1.92.0 (ded5c06cf 2025-12-08)\nbinary: rustc\ncommit-hash: ded5c06cf21d2b93bffd5d884aa6e96934ee4234\ncommit-date: 2025-12-08\nhost: x86_64-unknown-linux-gnu\nrelease: 1.92.0\nLLVM version: 21.1.3\n","stderr":""}},"successes":{}}

grey_compiler/target/debug/.fingerprint/betti-rdl-7330db49ebfc518f/lib-betti_rdl

@@ -1 +1 @@
-64734e5271fccfaf
+94642ffe2bce7ffd

grey_compiler/target/debug/.fingerprint/betti-rdl-7330db49ebfc518f/lib-betti_rdl.json

@@ -1 +1 @@
-{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":9786858963665974390,"profile":8731458305071235362,"path":13328546989907616322,"deps":[[5488058689210164345,"build_script_build",false,8443676248305582462]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/betti-rdl-7330db49ebfc518f/dep-lib-betti_rdl","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":9786858963665974390,"profile":8731458305071235362,"path":13328546989907616322,"deps":[[5488058689210164345,"build_script_build",false,17918360154110922553]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/betti-rdl-7330db49ebfc518f/dep-lib-betti_rdl","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/betti-rdl-8cbe49d97caee3b8/run-build-script-build-script-build

@@ -1 +1 @@
-7e41a8b2cff62d75
+398f4be79fcdaaf8

grey_compiler/target/debug/.fingerprint/betti-rdl-8cbe49d97caee3b8/run-build-script-build-script-build.json

@@ -1 +1 @@
-{"rustc":4758242423518056681,"features":"","declared_features":"","target":0,"profile":0,"path":0,"deps":[[5488058689210164345,"build_script_build",false,11961522937695543121]],"local":[{"RerunIfChanged":{"output":"debug/build/betti-rdl-8cbe49d97caee3b8/output","paths":["../src/cpp_kernel/betti_rdl_c_api.h","../src/cpp_kernel/betti_rdl_c_api.cpp","../src/cpp_kernel/CMakeLists.txt"]}}],"rustflags":[],"config":0,"compile_kind":0}
+{"rustc":4758242423518056681,"features":"","declared_features":"","target":0,"profile":0,"path":0,"deps":[[5488058689210164345,"build_script_build",false,11961522937695543121]],"local":[{"RerunIfChanged":{"output":"debug/build/betti-rdl-8cbe49d97caee3b8/output","paths":["../src/cpp_kernel/betti_rdl_c_api.h","../src/cpp_kernel/betti_rdl_c_api.cpp","../src/cpp_kernel/CMakeLists.txt","../../scripts/run_binding_matrix.sh"]}}],"rustflags":[],"config":0,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/grey_backends-359c0688978ac887/output-test-lib-grey_backends

@@ -0,0 +1,2 @@
+{"$message_type":"diagnostic","message":"unused import: `generate_process_coords`","code":{"code":"unused_imports","explanation":null},"level":"warning","spans":[{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":640,"byte_end":663,"line_start":20,"line_end":20,"column_start":38,"column_end":61,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":38,"highlight_end":61}],"label":null,"suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[{"message":"`#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default","code":null,"level":"note","spans":[],"children":[],"rendered":null},{"message":"remove the unused import","code":null,"level":"help","spans":[{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":638,"byte_end":663,"line_start":20,"line_end":20,"column_start":36,"column_end":61,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":36,"highlight_end":61}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null},{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":621,"byte_end":622,"line_start":20,"line_end":20,"column_start":19,"column_end":20,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":19,"highlight_end":20}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null},{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":663,"byte_end":664,"line_start":20,"line_end":20,"column_start":61,"column_end":62,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":61,"highlight_end":62}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null}],"children":[],"rendered":null}],"rendered":"\u001b[1m\u001b[33mwarning\u001b[0m\u001b[1m: unused import: `generate_process_coords`\u001b[0m\n  \u001b[1m\u001b[94m--> \u001b[0mcrates/grey_backends/src/betti_rdl.rs:20:38\n   \u001b[1m\u001b[94m|\u001b[0m\n\u001b[1m\u001b[94m20\u001b[0m \u001b[1m\u001b[94m|\u001b[0m use crate::utils::{validate_program, generate_process_coords};\n   \u001b[1m\u001b[94m|\u001b[0m                                      \u001b[1m\u001b[33m^^^^^^^^^^^^^^^^^^^^^^^\u001b[0m\n   \u001b[1m\u001b[94m|\u001b[0m\n   \u001b[1m\u001b[94m= \u001b[0m\u001b[1mnote\u001b[0m: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default\n\n"}
+{"$message_type":"diagnostic","message":"1 warning emitted","code":null,"level":"warning","spans":[],"children":[],"rendered":"\u001b[1m\u001b[33mwarning\u001b[0m\u001b[1m: 1 warning emitted\u001b[0m\n\n"}

grey_compiler/target/debug/.fingerprint/grey_backends-359c0688978ac887/test-lib-grey_backends

@@ -1 +1 @@
-67a0cc7b45387f80
+85724835e9dec8ae

grey_compiler/target/debug/.fingerprint/grey_backends-359c0688978ac887/test-lib-grey_backends.json

@@ -1 +1 @@
-{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":1722584277633009122,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,12668621840458871652],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-359c0688978ac887/dep-test-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":1722584277633009122,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,18266545301981455508],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-359c0688978ac887/dep-test-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/grey_backends-c14b1355b4bc67eb/lib-grey_backends

@@ -1 +1 @@
-a35656e6c06d2e6f
+e2b9cbf0f4ec466a

grey_compiler/target/debug/.fingerprint/grey_backends-c14b1355b4bc67eb/lib-grey_backends.json

@@ -1 +1 @@
-{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":8731458305071235362,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,12668621840458871652],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-c14b1355b4bc67eb/dep-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":7609710782096985896,"profile":8731458305071235362,"path":16886827209584642685,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[4173656298585471789,"grey_ir",false,3592594082809597906],[4352659168317596042,"tempfile",false,15462171567635876644],[4491953696500392450,"grey_lang",false,14796712276726825533],[5488058689210164345,"betti_rdl",false,18266545301981455508],[6166839394324325998,"miette",false,2058722144300711671],[8008191657135824715,"thiserror",false,12686969402916844496],[10630857666389190470,"log",false,10355578146799824938],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234],[17811409749869794184,"pretty_assertions",false,1427785920722129343]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_backends-c14b1355b4bc67eb/dep-lib-grey_backends","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/grey_backends-c14b1355b4bc67eb/output-lib-grey_backends

@@ -0,0 +1,2 @@
+{"$message_type":"diagnostic","message":"unused import: `generate_process_coords`","code":{"code":"unused_imports","explanation":null},"level":"warning","spans":[{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":640,"byte_end":663,"line_start":20,"line_end":20,"column_start":38,"column_end":61,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":38,"highlight_end":61}],"label":null,"suggested_replacement":null,"suggestion_applicability":null,"expansion":null}],"children":[{"message":"`#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default","code":null,"level":"note","spans":[],"children":[],"rendered":null},{"message":"remove the unused import","code":null,"level":"help","spans":[{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":638,"byte_end":663,"line_start":20,"line_end":20,"column_start":36,"column_end":61,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":36,"highlight_end":61}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null},{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":621,"byte_end":622,"line_start":20,"line_end":20,"column_start":19,"column_end":20,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":19,"highlight_end":20}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null},{"file_name":"crates/grey_backends/src/betti_rdl.rs","byte_start":663,"byte_end":664,"line_start":20,"line_end":20,"column_start":61,"column_end":62,"is_primary":true,"text":[{"text":"use crate::utils::{validate_program, generate_process_coords};","highlight_start":61,"highlight_end":62}],"label":null,"suggested_replacement":"","suggestion_applicability":"MachineApplicable","expansion":null}],"children":[],"rendered":null}],"rendered":"\u001b[1m\u001b[33mwarning\u001b[0m\u001b[1m: unused import: `generate_process_coords`\u001b[0m\n  \u001b[1m\u001b[94m--> \u001b[0mcrates/grey_backends/src/betti_rdl.rs:20:38\n   \u001b[1m\u001b[94m|\u001b[0m\n\u001b[1m\u001b[94m20\u001b[0m \u001b[1m\u001b[94m|\u001b[0m use crate::utils::{validate_program, generate_process_coords};\n   \u001b[1m\u001b[94m|\u001b[0m                                      \u001b[1m\u001b[33m^^^^^^^^^^^^^^^^^^^^^^^\u001b[0m\n   \u001b[1m\u001b[94m|\u001b[0m\n   \u001b[1m\u001b[94m= \u001b[0m\u001b[1mnote\u001b[0m: `#[warn(unused_imports)]` (part of `#[warn(unused)]`) on by default\n\n"}
+{"$message_type":"diagnostic","message":"1 warning emitted","code":null,"level":"warning","spans":[],"children":[],"rendered":"\u001b[1m\u001b[33mwarning\u001b[0m\u001b[1m: 1 warning emitted\u001b[0m\n\n"}

grey_compiler/target/debug/.fingerprint/grey_harness-376fe96061318c2a/invoked.timestamp

@@ -0,0 +1 @@
+This file has an mtime of when this was started.

grey_compiler/target/debug/.fingerprint/grey_harness-376fe96061318c2a/lib-grey_harness

@@ -0,0 +1 @@
+909871c0d6f6cf5c

grey_compiler/target/debug/.fingerprint/grey_harness-376fe96061318c2a/lib-grey_harness.json

@@ -0,0 +1 @@
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":5347704421440631597,"profile":8731458305071235362,"path":12960242943879320610,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-376fe96061318c2a/dep-lib-grey_harness","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/grey_harness-987c39918135c785/invoked.timestamp

@@ -0,0 +1 @@
+This file has an mtime of when this was started.

grey_compiler/target/debug/.fingerprint/grey_harness-987c39918135c785/test-lib-grey_harness

@@ -0,0 +1 @@
+53c963566fd472fd

grey_compiler/target/debug/.fingerprint/grey_harness-987c39918135c785/test-lib-grey_harness.json

@@ -0,0 +1 @@
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":5347704421440631597,"profile":1722584277633009122,"path":12960242943879320610,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-987c39918135c785/dep-test-lib-grey_harness","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/grey_harness-feeddde78423c3f3/invoked.timestamp

@@ -0,0 +1 @@
+This file has an mtime of when this was started.

grey_compiler/target/debug/.fingerprint/grey_harness-feeddde78423c3f3/test-bin-grey_compare_sir

@@ -0,0 +1 @@
+2b56252b416e5703

grey_compiler/target/debug/.fingerprint/grey_harness-feeddde78423c3f3/test-bin-grey_compare_sir.json

@@ -0,0 +1 @@
+{"rustc":4758242423518056681,"features":"[]","declared_features":"[]","target":14758537417553091458,"profile":1722584277633009122,"path":14026792902681741602,"deps":[[1852463361802237065,"anyhow",false,2038740356567664737],[2261470283265101908,"grey_backends",false,7658068753146165730],[4173656298585471789,"grey_ir",false,3592594082809597906],[4491953696500392450,"grey_lang",false,14796712276726825533],[4604200920372178805,"clap",false,144067586739491831],[6878399189194826119,"grey_harness",false,6687835373880580240],[12832915883349295919,"serde_json",false,5872362157817548037],[13548984313718623784,"serde",false,14284632887935786234]],"local":[{"CheckDepInfo":{"dep_info":"debug/.fingerprint/grey_harness-feeddde78423c3f3/dep-test-bin-grey_compare_sir","checksum":false}}],"rustflags":[],"config":2069994364910194474,"compile_kind":0}

grey_compiler/target/debug/.fingerprint/greyc_cli-12f64fae93d626be/test-bin-greyc

@@ -1 +1 @@
-ee65eec0efc9447d
+ccb71cc91c96fa74