Files
rune/scripts
Nick 922ecbb093 feat(skill_compiler): port to FULL Rust — dichotomy wave
Language verdict: RUST per docs/language-dichotomy-ledger.md (Law 4 —
deterministic hashing/assembly law; the replay CALLABLE is host-side by
nature and stays in the facade).

- sk_sequence_id/sk_candidate_skill/sk_default_step_check/sk_sandbox_
  gate/sk_promote doc-envelope FFI (sk_* symbols; free via
  capability_scoring cs_free_string — no free re-export); sk_loader
  mirroring broker_loader.py.
- Facade delegation with RUNE_SKC_CORE=python pin; kernel floor on any
  kernel error.
- Python laws replicated exactly: json.dumps(steps, sort_keys=True)
  BYTE law via pyjson::dumps_sorted + sha256[:12] (unicode, quotes,
  nested structures verified); 'evidence or {}' falsy chain; default
  shape check ('shape-ok'/'missing action'); passed=all with Python
  truthiness and VACUOUS-TRUE empty steps (missing steps key too);
  promote truthiness gate (missing/empty sandbox and passed=False all
  block).
- 33-case frozen oracle truth (RUNE_SKC_CORE=python pinned, deep-copied
  inputs, every public function + branch) embedded in the crate and
  replayed VERBATIM by the branch battery; live parity 1624/1624 (24
  frozen + 1600 fuzz, seed 2479); pytest 21 passed BOTH ways
  (RUNE_SKC_CORE=python and auto); clippy -D warnings clean.
- Documented edge (not in corpus): integral float step values round-
  trip as '3' through pyjson where Python would hash '3.0' — replay
  scripts carry dict/list/str/int by construction.
2026-10-13 05:50:34 +01:00
..