SYS.SIEVE.SCI // NATIVE SWIFT 6 + PYTHON KERNEL DETERMINISTIC RECALL: 93% (25/27) · FPR: 0% (0/18) CHECKER + BLIND VERIFIER: 100% (27/27)
SEATBELT SANDBOX READ-HIDING HASH-CHAINED RECEIPTS [R-0001..N]
Sieve Icon
SIEVE.BIO /Sci
中文 EN
BRANCH [01] // SIEVE.BIO/SCI · 面向生物学与化学的本地自治科研系统

SieveSci：
不写「单次跑通脚本」，
只交付经盲法复现与
哈希收据链核验的科学证据。 SieveSci:
NO ONE-PASS SCRIPTS.
ONLY BLINDLY VERIFIED &
RECEIPT-CHAINED SCIENCE.

通用编程助手在生化计算中常因脚本报错偷偷切换合成数组、挑随机数种子或引用撤稿文献。SieveSci（Swift 6 原生 macOS 桌面端 + sievesci CLI）以 Research · Worker · Checker · Verifier 四权分立与 Seatbelt 内核级读隔离，执行从原始数据出发的盲法独立复现。

[01] 四角色权限隔离 → [02] 交互式审计与盲法终端 → [03] 45例植入缺陷基准 →
DETERMINISTIC AUDIT0% FALSE ALARM
93.0%
25/27 植入缺陷直接由确定性 AST 规则捕获 (0/18 误报)
CHECKER + DETECTOR8 DEFECT CLASSES
100.0%
27/27 植入科学缺陷全数拦截 (oversight-corpus.json)
SCIENTIFIC SKILLSISOLATED UV VENV
~180 + 37
~180 通用科学技能 + 37 K-Dense 药物研发工作流
UNIFIED BIO_DBLITERATURE GRAPH
8 + 4 APIs
8 大生信库 + 4 大文献源（自动撤稿核查 & 矛盾文献搜索）
CAD.RENDER // SIEVESCI-STACK 4-LAYER HASH CHAIN
SieveSci 3D Verification Stack
四层盲法复现栈：Research → Worker → Checker → Verifier SEATBELT
AURORA GHOST TELEMETRY // NATIVE SWIFTUI STATES
Idle Ghost
IDLE
Reading Ghost
READING
Thinking Ghost
THINKING
Working Ghost
WORKING
[00] 产品介绍与原生界面预览 // SIEVESCI MACOS SWIFTUI 桌面端与无头 CLI
NATIVE SWIFT 6 · 6 UI LANGUAGES
APP.OVERVIEW // SIEVESCI WORKSPACE MACOS 14+ · SWIFTUI

在一个清爽的原生工作台中，统管假说、代码、盲法验证与证据收据

三栏式原生工作台将对话流（Chat）、执行轨迹（Trace）、可证伪研究计划（Plan）与证据收据链整合在同一视图：

  • 子智能体实时卡片：内联流式展示 Checker 与 Blind Verifier 标准输出与收据状态。
  • 有界抗辩横幅 (Contested Banner)：方法学分歧（如 T1 测序深度不均）显式标为琥珀色争议卡。
  • 六语言原生本地化：支持中、英、俄、西、法及正體中文，状态落盘于 .sievesci/。
■ 点击右侧预览窗口顶部标签切换 4 个真实界面视图：
01. Chat & Verifier · 02. Falsifiable Plan · 03. Role/Model Settings · 04. Welcome
SIEVESCI.APP // NATIVE MACOS UI PREVIEW
SieveSci Rendered Native UI
对话与盲法验证视图：展示盲法验证者 77de01、未解决分歧 T1 (反对) 与代码执行权限确认 SWIFTUI NATIVE RENDER
[01] 四权分立智能体架构 // RESEARCH · WORKER · CHECKER · VERIFIER
BOUNDED DELIBERATION · NO SILENT PASSES
ROLE.01 // RESEARCH SYSTEM 1 + BT RANK
Research Ghost
Research Agent
极光星芒 · 假说生成与对决
  • 强制前置文献核查：锁定计划前强制检索 OpenAlex / Europe PMC / Crossref 并校验撤稿状态。
  • Bradley–Terry 假说锦标赛：通过成对比较矩阵拟合竞争假说实力得分与 95% 置信区间（DispatchTool.rank）。
ROLE.02 // WORKER JUPYTER KERNEL + UV
Worker Ghost
Worker Agent
安全帽与齿轮 · 持久化内核执行
  • 持久化 Python 内核：DataFrame、RDKit 分子与 PyTorch 张量跨轮次常驻内存，事件流唤醒无 sleep 轮询。
  • 按技能隔离的 uv 环境：内置 37 个 K-Dense 药物研发工作流与 ~180 个科学技能，独立依赖锁互不污染。
ROLE.03 // CHECKER AST + INDEPENDENT LLM
Checker Ghost
Checker Agent
审阅眼镜 · 软检查点与方法学审计
  • 确定性 AST 检测器 (0ms)：零延迟拦截合成数据回退、随机种子垂钓、硬编码指标与未校正多重比较。
  • 跨模型独立审查：在每个 [checkpoint:id] 由独立模型核验对照组与效应量；超时显式标为 unreviewed。
ROLE.04 // VERIFIER BLIND SEATBELT SANDBOX
Verifier Ghost
Verifier Agent
极光眼罩 · 沙盒读隔离盲法复现
  • Seatbelt 内核读隐藏：macOS sandbox-exec 在系统内核层屏蔽 Worker 的全部脚本与中间文件。
  • 盲法重写 + 影子 Git 收据：仅凭原始数据与定量主张从头重写代码，生成哈希收据 [R-0014]。
[02] 交互式科学审计终端 // 真实会话回放与 8 类植入缺陷拦截器
RECEIPT LEDGER + AST AUDITOR
TRACE.01 // EMX1 SpCas9-HF1 VS WT SESSION LEDGER BOUNDED DELIBERATION T1

真实审计链路：从收据登记、有界抗辩到盲法复现

点击下方审计节点，查看 SieveSci 如何处理 EMX1 基因编辑脱靶分析中的多重检验争议与沙盒盲法验证：

RECEIPT [R-0007] // UNIFIED BIO_DB + LITERATURE LOCK HASH VERIFIED
TEST.02 // PLANTED SCIENTIFIC DEFECT SIMULATOR OVERSIGHT-CORPUS.JSON (45 CASES)

测试 SieveSci 的 8 类病态科研代码拦截器

选择来自评估集 oversight-corpus.json 的典型科研缺陷类别，查看确定性 AST 检测器与 Checker 智能体的实时诊断：

DEFECT CLASS // SYNTHETIC_DATA_FALLBACK
[03] 定量评估基准 // 45 例植入缺陷语料库与同类系统对比
TESTS/EVALUATION/OVERSIGHT-CORPUS.JSON
BENCH.01 // OVERSIGHT CORPUS RESULTS 27 DEFECTS + 18 CLEAN CONTROLS

确定性规则 + 独立审查模型的分层召回率

我们在 45 个真实生化计算检查点（含 8 大类共 27 个植入方法学缺陷 + 18 个严格合规的阴性对照）上测试了 SieveSci 的审计管线：

审计配置层 缺陷召回率 (Recall) 清洁对照误报 (FPR) 精确率 (Precision)
Deterministic AST/Stat Only 93% (25 / 27) 0% (0 / 18) 100%
Detectors + Checker (deepseek-v4-pro) 100% (27 / 27) 17% (3 / 18) 90%
Detectors + Checker (claude-sonnet-4-6) 96% (26 / 27) 11% (2 / 18) 93%
■ 关键设计结论：仅凭零成本、零延迟的确定性检测器即可在不产生任何误报（0/18）的前提下捕获 93% 的科学缺陷；剩余 2 例微妙的实验设计混杂偏差由独立 Checker 模型 100% 补齐。
COMP.02 // ARCHITECTURAL COMPARISON MATRIX SIEVESCI VS EXISTING SYSTEMS

与现有通用编程助手及科研智能体的能力对比

SieveSci 是唯一同时提供 Seatbelt 内核级读隐藏盲法复现、零延迟确定性 AST 缺陷拦截与有界抗辩协议的科研系统。

展开查看 6 项核心科学保障能力横向对比表 (SieveSci vs Biomni/Finch/Kosmos)
核心科学保障能力 SieveSci (/Sci) 通用编程助手 Biomni / Finch Kosmos
Seatbelt 沙盒读隐藏盲法独立复现 (Blind Verifier) ■ YES (Kernel-level) ✕ No ✕ No ✕ No
确定性科研缺陷拦截 (合成数据/种子垂钓/硬编码) ■ 93% Recall / 0% FPR ✕ None ✕ Prompt-only ✕ LLM self-critique
Bradley–Terry 成对假说锦标赛排序 (95% CI) ■ DispatchTool.rank ✕ Single-pass ◐ Multi-trajectory ◐ Tree search
有界抗辩协议 (Bounded Deliberation · 争议标 contested) ■ Hard turn cap + receipt ✕ Sycophantic ✕ Unbounded loop ✕ Summary overwrite
撤稿文献核查 + 矛盾文献主动检索 + @cite 代码溯源 ■ Built-in Mandatory ✕ Hallucinates DOIs ◐ Retrieval only ◐ Citation graph
化学品管制筛查 (CAS / SMILES / InChIKey / RDKit 子结构) ■ Structural + Registry ✕ Keyword filter only ✕ None ✕ None