Transparency

Verification matrix and evidence

The statuses below come from independent testing of the shipped toolchain. No capability is listed as working unless it was compiled and run. No benchmarks, download counts or community statistics are published anywhere on this site.

What was tested

Archive rudra-linux-x86_64.tar.gz (RUDRA 1.1.0), SHA256 3da546bae30161456698504bc779470881c4f8219d8154766391dcc9ce9fcd2f, verified on 2026-11-02. The checksum was confirmed before extraction. Tests ran on Linux x86_64.

Feature matrix

CapabilityStatusAPI
Compile and run a program VERIFIED rudrac <file.rux> [--run] [-o name]
OS threads VERIFIED spawn(fn, arg)
Mutex PARTIALLY VERIFIED mutex_new(); lock(m); unlock(m)
Channels PARTIALLY VERIFIED chan_new(); chan_send(c, v); chan_recv(c)
HTTP client (http_get) PARTIALLY VERIFIED http_get(url)
JSON reading PARTIALLY VERIFIED json_get(jsonText, key)
Hostname resolution (DNS) NOT VERIFIED n/a
HTTPS / TLS PLANNED n/a

Evidence

Compile and run a program

VERIFIED

rudrac hello.rux --run produced the program output with exit code 0.

OS threads

VERIFIED

A spawn(worker, 42) program compiled and ran; an OS-level trace showed a real clone call with the CLONE_THREAD flag.

Mutex

PARTIALLY VERIFIED

mutex_new, lock, unlock compiled and ran with exit code 0. Cross-thread contention correctness was not independently proven in this verification.

Channels

PARTIALLY VERIFIED

A chan_new / chan_send / chan_recv program sent and received the value 7 with exit code 0. Note: functions named send and recv do not exist in the shipped binary.

HTTP client (http_get)

PARTIALLY VERIFIED

http_get compiled and, under an OS-level trace, opened a TCP socket and issued a connect. A hostname URL resolved to 0.0.0.0 (no DNS). A numeric-IP URL issued a real connect to that address.

JSON reading

PARTIALLY VERIFIED

json_get on a JSON object literal returned the expected value 42 with exit code 0. json_len and json_at exist but their argument shapes differed from the distribution notes; a fully working array read was not confirmed in this verification.

Hostname resolution (DNS)

NOT VERIFIED

A hostname URL passed to http_get resolved to 0.0.0.0, indicating no DNS resolution in the shipped binary.

HTTPS / TLS

PLANNED

Documented as roadmap; no TLS behavior was exercised in this verification.

Known discrepancies and limitations

  • The distributed binaries are dynamically linked. Distribution text describing the toolchain as having zero external dependencies or requiring no linker is not supported by the shipped binaries and is corrected here.
  • The documented channel functions send and recv do not exist in the shipped binary. The working functions are chan_send and chan_recv.
  • A function named json_parse does not exist in the shipped binary. JSON object reading works via json_get.
  • http_get opens a real TCP connection but does not resolve hostnames (no DNS) and does not implement HTTPS or TLS.
  • Mutex ran in a single-threaded program; cross-thread contention correctness was not independently proven.
  • No guarantee is made that the software is free of defects or vulnerabilities.

Status definitions

  • VERIFIED - compiled and run with the expected result.
  • PARTIALLY VERIFIED - present and runs, but a part of the claim was not fully exercised.
  • PLANNED - documented as roadmap, not shipped.
  • NOT VERIFIED - could not be confirmed, or observed not to work as documented.