DBDelve
DBDelve는 Rust 기반 빠른 다중 엔진 데이터베이스 클라이언트, 무료 오픈소스, 텔레메트리 없음
배포한 대부분은 오픈소스·AI가 만든 코드, rederive가 자체 복제본으로 교체하고 숨은 테스트로 검증한다
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 전문 보기 ↗