DBDelve
Dive deep into your data. A fast, native, multi-engine database client written in Rust. Free and open source, no telemetry.
翻訳待ち
Most of what you ship was written by open-source strangers or AI. rederive replaces it with your own copies, checked against hidden tests with answers from the original. Anyone can re-run the check, f
翻訳待ち
開発ツールJavaScriptGitHub @rederiveオンライン所有者未確認
Have you tried it? One tap is enough. No sign-in needed.
No updates detected yet. GitHub releases will appear here.
SIR verified-recompose factory — decompile a package into a verified, self-contained re-implementation: sighted decompose, N blind clean-room re-emitters, dual gate (held-out quorum + saturation differential).
翻訳待ち
Loading the full README.
Read the full README ↗The mechanical CLI of the SIR verified-recompose factory. It does the deterministic steps — install a package, stamp a held-out oracle, grade emissions against the dual gates, pack a verified bundle. It does not call claude -p or use an API key: the orchestrating agent (sir-factory-runner) drives the loop and spawns the role agents (sighted decomposer, blind re-emitters) via the Agent tool.
Targets SIR v0.5, end to end. A v0.5 unit — one primary SIR plus per-language files (js, ts, rust) bound to it by PRIMARY-SHA256, one sir-canonical-v1 oracle — runs the whole loop here: prepare (validate, encode the oracle, stage one clean room + task card per language) → the orchestrating agent spawns N blind emitters per language from the task cards → grade (per-language held-out quorum, ts type-checked against its SIG, rust built as a library crate, then cross-verification across languages → accept | harden | quarantine | verifier-fault) → pack-v05 (one bundle with a lang:<id> variant per language, kept only if rdv check verifies it). The legacy single-file loop (install → stamp → grade → pack, one JS emission per unit, KIND STATE {result,post} oracles) is kept for SIR v0.2–v0.4 units.
One judge. Every verdict is decided by rederive's own modules, imported from the rederive dependency — the codec, SIG parser, family/lint gate, validator, grader, the js/ts/rust drivers, the any-ban and the extension grader. sir-factory keeps no copy, so what it accepts is what rdv check accepts.
Verification of a packed bundle is done by
rdv, the CLI of therederivepackage:npx -p rederive rdv check <bundle>. (Always-p rederive: the bare npm namerdvbelongs to an unrelated package.)
npm i -g sir-factory # exposes `sir-factory`
Generated from factory.mjs; sir-factory --help prints the same subcommands and flags.
ROOT is the factory root (state.json + one workdir per package). install and status default it to ./out in the current directory; the <wd> subcommands default it to the workdir's parent. Pass --out to put it elsewhere.
This is the beginning of the README. Read the rest at the original. Read the full README ↗