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在线运营者未确认
试用过了吗? 点一下就好,无需登录。
尚未检测到更新。GitHub 发布版本后会显示在这里。
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).
翻译准备中
正在加载完整 README。
查看完整 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.
以上为 README 的开头部分。其余内容请阅读原文。 查看完整 README ↗