chore: update bindings and tooling

Author: Your Name

CONTRIBUTING.adoc

@@ -45,6 +45,17 @@ pack install-deps
 # Install Zig
 # See: https://ziglang.org/download/
 
+# Environment fallback (Guix)
+guix time-machine -C guix/channels.scm -- \
+  shell -m guix/manifest.scm
+
+# Environment fallback (Nix)
+nix-shell nix/shard.nix
+
+# Pin cadence (Guix + Nix)
+# Monthly on the first Saturday, plus CVE-driven updates as needed:
+./scripts/update-env-pins.sh
+
 # Build
 zig build
 

README.adoc

@@ -1602,6 +1602,25 @@ let proven = import "path/to/proven.ncl" in
 }
 ----
 
+=== Development Environment (Idris 2 core)
+
+[source,bash]
+----
+# Primary (pack)
+pack install-deps
+
+# Guix fallback
+guix time-machine -C guix/channels.scm -- \
+  shell -m guix/manifest.scm
+
+# Nix fallback
+nix-shell nix/shard.nix
+
+# Pin cadence (Guix master + nixpkgs-unstable)
+# Monthly on the first Saturday, plus CVE-driven updates:
+./scripts/update-env-pins.sh
+----
+
 === 89 Binding Targets
 
 Bindings are available for traditional languages, configuration languages, domain-specific languages, and exotic computing paradigms. See the `bindings/` directory for language-specific documentation.

bindings/rescript/src/Proven.res.js

@@ -0,0 +1,39 @@
+// SPDX-License-Identifier: PMPL-1.0
+// SPDX-FileCopyrightText: 2025 Hyperpolymath
+
+/**
+ * Proven_Bitwise - Bitwise operations for ReScript.
+ *
+ * ReScript does not have built-in bitwise operators like OCaml's lsl, lsr, land, lor, etc.
+ * This module provides these operations using JavaScript's native bitwise operators.
+ *
+ * Operations:
+ * - lsl (logical shift left)
+ * - lsr (logical shift right)
+ * - asr (arithmetic shift right)
+ * - land (bitwise AND)
+ * - lor (bitwise OR)
+ * - lxor (bitwise XOR)
+ * - lnot (bitwise NOT)
+ */
+
+/** Logical shift left: a << b */
+let lsl = %raw(`function(a, b) { return a << b; }`)
+
+/** Logical shift right (unsigned): a >>> b */
+let lsr = %raw(`function(a, b) { return a >>> b; }`)
+
+/** Arithmetic shift right (signed): a >> b */
+let asr = %raw(`function(a, b) { return a >> b; }`)
+
+/** Bitwise AND: a & b */
+let land = %raw(`function(a, b) { return a & b; }`)
+
+/** Bitwise OR: a | b */
+let lor = %raw(`function(a, b) { return a | b; }`)
+
+/** Bitwise XOR: a ^ b */
+let lxor = %raw(`function(a, b) { return a ^ b; }`)
+
+/** Bitwise NOT: ~a */
+let lnot = %raw(`function(a) { return ~a; }`)