真实法库 · 条文级检索
152,940 条日美法条文开箱即用，SQLite FTS5 全文检索 + 按法浏览 + 双语标题 + 条文跳转。
展开细节 ▾
- 按国家进入专属页：政体 / 法律体系概览 + 按领域分组的法律清单
- 整部法浏览页：阿拉伯数字 / 中文数字 / 罗马数字条文号一键跳转
- 正文可选中复制，一键打印或另存 PDF
- 中文关键词检索：命中译名与译文正文，无命中自动回退模糊匹配
数据不出本机
152,940 条真实条文
确定性引用自检
让法律工作者的每一次引用
都落在真实法条上
法元是装在你自己电脑里的法律工作台：内置日本与美国法典条文级库， 文书智能体按计划分步执行，交付物必须通过规则级引用自检才出稿—— 案件材料、检索记录、成稿全部留在本机。
Windows 10/11 x64 · 安装包约 135 MB（内嵌法库）· 无需注册账号
8
功能版块
5
类文书任务
15
种翻译目标语种
0
条数据上传云端
首页总览
法规查询
模板库
文书智能体
翻译
待办提醒
数据设置
今日概览
2
今日待办
3
进行中
1
已超期
✓整理合同争议条款清单已完成
提交答辩状（给客户确认）即将到期
整理合资合同出资凭证已超期
选中文字 → 划词翻译 / 关联查找 / 询问
0
条文级法规（内置预置库）
日本 95,897 · 美国法典 57,037 · 中国民法典示例 6
0
部日本现行法
来源 e-Gov，含双语标题与领域分类
0
个美国法典 Title
来源 govinfo；宪法官方中译 25 段内置
0
个功能版块
检索 · 模板 · 智能体 · 翻译 · 待办 · 导入…
核心能力
不是"会聊天"，而是能交稿
六个能力互相咬合：真实法库负责"依据可靠"，引用自检负责"不出假条号"，知识图谱负责"要件不漏"，交付链路负责"能直接交出去"。
确定性引用自检
规则级校验，不让模型自己检查自己：抽取正文里的条文号，逐一与检索工具真实返回的法条比对。
展开细节 ▾
- 未被工具实际覆盖的引用会被自动点名，交付前就能发现
- 再叠加一层图谱适用性校验：引用的法律名是否落在该案由的请求权基础范围内
- 自检结论写进交付物，客户与合议庭都能看到依据
知识图谱规划
案由 → 构成要件 → 请求权基础 / 证据 / 争点 → 文书载体，骨架驱动计划卡，防止要件遗漏。
展开细节 ▾
- 5 类固定关系：构成要件是 / 请求权基础是 / 证明对象是 / 常见争点是 / 文书载体是
- 任务中真实命中的法条登记为候选边，人工 ✓ / ✕ 确认后才作为规划依据
- 法条节点只存"法律名"，不写具体条号，避免机器编造
文书智能体 · 5 类任务
合同审查 / 起诉状 / 证据目录 / 质证意见 / 代理词，每类有独立输出骨架与人工确认闸门。
展开细节 ▾
- 计划卡可人工编辑后再执行，一步一停、支持暂停与续跑
- 检索类步骤走自主工具调用循环，只引用工具真实返回的法条
- 执行日志逐条可查，历史任务可载入续跑
多模态任务材料
DOCX / PPTX / XLSX / TXT / MD / CSV 本地离线提取；PDF 与图片交给视觉模型转录并明确标注"非原文"。
展开细节 ▾
- 自研最小 ZIP 解析，不依赖外部转换服务，材料不出本机
- 单文档 20 万字符上限并按 UTF-8 边界安全截断
- 模型转录文本不进入原文引用口径，避免"机器转述"被当成证据
交付闭环
智能体产出 → 导出 .docx（原生标题与表格）→ 落入首页「最近文书」→ 一键用系统程序打开或定位。
展开细节 ▾
- 证据目录等表格型交付直接渲染成 Word 原生表格
- 浏览器预览形态下降级为 .md 下载，能力边界显式提示
- 翻译成果同样可导出 Word / Markdown 并记入最近文书
产品实况
四个真实界面，点开看它在做什么
下面每一屏都对应产品里的真实版块与交互（此处为界面还原演示，数据为示例）。
合同审查任务 · 计划卡可人工编辑
- 任务类型
- 合同审查（review）
- 案由匹配
- 涉外货物买卖合同纠纷
- 图谱骨架
- 构成要件 4 · 请求权基础 3 · 证据 2
1检索争议解决与违约条款依据已完成
2载入「合同」类模板骨架已完成
3起草审查意见（逐条风险 + 修改建议）执行中
4质检：引用自检 + 图谱适用性校验待人工确认
可暂停 / 单步 / 注入假条号，看质检在交付前拦下来
执行日志
14:02:11 plan 生成计划卡 · 4 步 · 已注入案由骨架
14:02:19 tool laws_search(keyword=违约金, country=日本) → 命中 12 条
14:02:24 tool template_load(category=合同) → 已载入模板
14:02:36 reason 起草审查意见 · 引用 3 处法条
14:02:41 qa 引用自检：3/3 命中本地库
14:02:41 qa 适用性校验：均在请求权基础范围内
14:02:42 deliver 导出 .docx → 已记入最近文书
按法浏览 · 日本2,104 部现行法
民法第 415 条
商法涉外合同
民事訴訟法证据
会社法出资
労働基準法劳动关系
法名展示「原文 + 中文译名」，按法律领域分组，可折叠浏览
条文命中可复制 · 可跳转
民法 第 415 条（債務不履行による損害賠償）
債務者がその債務の本旨に従った履行をしないとき…
中文译文
债务人不按债务本旨履行时，债权人可以请求赔偿因此产生的损害……
債務者がその債務の本旨に従った履行をしないとき…
中文译文
债务人不按债务本旨履行时，债权人可以请求赔偿因此产生的损害……
这三个按钮不是摆设：它们会直接驱动下方「法规检索工作台」的同一条条文。
文档全文翻译导入 → 全文 → 导出
己方与日本公司签订合资经营合同，约定出资比例与验资程序……（导入自 合资合同.docx · 全文约 1.2 万字）
本公司と日本企業との間で締結した合弁事業契約は、出資比率及び資本検証の手続を定め、出資の期限を二〇二六年三月三十一日とする。 日本側は出資を期限どおり履行せず、取締役会の招集にも応じない。 二度の書面による催告後もなお履行しないため、契約の解除及び損害賠償を請求する。 なお、不可抗力の主張については、相手方の内部事情は不可抗力に該当しないものと解する。
已译 4/4 段 · 术语跨段一致
支持格式与边界
- · DOCX / PPTX / XLSX / TXT / MD / CSV：本地提取，原件不上传
- · PDF / 图片：由支持视觉或文件输入的模型转录，标注「非原文」
- · 长文档按段落分块翻译，逐块流式回显，可随时停止
- · 译文可导出 Word（.docx）或下载 Markdown
- · 15 种目标语种 + 自动检测；翻译统一走你自己配置的 AI 接口
待办提醒桌面系统通知
提交答辩状2 小时后到期
✓整理合同争议条款清单已完成
整理合资合同出资凭证已超期
法元 · 待办提醒
「提交答辩状」已到期或即将到期，请及时处理。
桌面悬浮球Electron 子进程
点一下上面的圆球试试：三个动作会跳到下方「悬浮球划词体验」并真的执行； 真实产品中选中任意文字即弹出这三个动作，抓取模式可切换，外观皮肤可选（本页也可切，见下方皮肤按钮）。
法规检索工作台
内置真法库，现在就能搜
下面这台检索跑的是本页内置的示例条文库（31 条，节选自 e-Gov / govinfo / 民法典公开文本）： 中文关键词、原文关键词、条文号都能查，命中高亮、可复制、可打印；条文号支持阿拉伯数字 / 中文数字 / 罗马数字三种写法跳转。 完整库 152,940 条随安装包内置，检索与跳转逻辑与这里一致。
检索示例库 0 条
条文详情未选择
左侧检索或按法浏览，选中一条条文后
这里显示原文与中文译文，并提供条号跳转、复制、打印 PDF。
这里显示原文与中文译文，并提供条号跳转、复制、打印 PDF。
智能体演练
亲手跑一次，一步一停
这是产品里「文书智能体」的真实执行形态：计划卡 → 分步执行 → 人工确认闸门 → 规则级质检 → 导出交付物。 下面这台演练可以执行、暂停、单步、续跑，也可以注入假条号或越界引用，看质检怎么把它们拦在交付之前。
任务类型
计划卡 · 可人工编辑未开始
真实产品中每一步都能先改再跑；这里演示「执行 / 暂停 / 单步 / 确认闸门 / 续跑」。
执行日志0 / 0 步
交付物预览未生成
执行到「起草 / 生成」步骤后，交付物会在这里逐段出现。
交付物生成后可导出；真实产品导出的是 .docx（原生标题与表格）。
最近文书0 份
按「执行计划卡」跑到交付步骤，导出记录会落在这里
真实产品中此处可一键用系统程序打开或定位文件，重启后依然在；这里点击即可把同一份交付物下载下来。
桌面悬浮球
选中一段文字，球就浮出来
下面是一份模拟案情摘要：用鼠标选中任意一段文字，悬浮球会跟到选区旁边；点球展开「翻译 / 关联查找 / 询问 AI / 复制」， 四个动作都会真的执行——翻译走本页术语表，「关联查找」直接检索上面那台法规检索台的法库，查到就能跳过去看原文。外观皮肤与抓取模式也可切换。
模拟案情摘要 · 可划词未选中
本案系涉外合资经营合同纠纷。己方与日本公司签订合资经营合同，约定出资比例与验资程序，出资期限为 2026 年 3 月 31 日，逾期未出资按未缴金额计付违约金。
日方逾期未出资且拒不召开董事会，经两次书面催告后仍未履行，己方据此请求解除合同并赔偿损失，并要求对方承担相应违约责任。
日方抗辩称其内部审批尚未完成，属于不可抗力；己方认为该事由系其自身经营安排，不构成免责事由，且合同中关于出资期限的约定明确，不存在约定不明。
也可以自己拖选上面的文字，球会跟着选区走
悬浮球设置与动作结果待操作
悬浮球待命中
选中文字后点球，这里会显示该动作的真实结果：翻译命中的术语、关联查找命中的条文、询问得到的答复草稿。
引用自检实验室
亲手注入一个假条号，看它被抓出来
这是本产品与其他 AI 助手最本质的区别：引用由规则逐条比对本地库，而不是让模型"自查一遍"。
交付物节选 · 法律适用部分
本案系涉外合资经营合同纠纷，日方逾期未出资且拒不召开董事会。 依《中华人民共和国民法典》第五百零二条关于合同生效之规定， 合同已依法成立并生效；就日方迟延履行， 日本民法第 415 条规定债权人可请求损害赔偿； 另参美国法典 Title 15 § 1125关于商业标识之规定， 结合本案事实，我们认为日方应承担出资违约责任并赔偿相应损失。
校验逻辑：抽取正文引用 → 解析「法名 + 条号」→ 与上方「法规检索工作台」的同一份本地库比对； 库里没有的条号一律判为编造。想亲手检索这些条文，去上面的检索台试试。
自检报告待运行
$ 等待执行质检…
点击左侧「运行引用自检」，逐条比对本地法库。
差异对比
通用 AI 助手 vs 法元
同一条提示词，差别不在"文笔"，而在法条从哪来、数据放哪、能不能交出去。
? 通用 AI 助手
- · 法条来自模型记忆，条号正确性无法核验
- · "自查一遍"仍是模型自述，没有独立校验
- · 案件材料必须上传到别人的服务器
- · 输出一段文字，格式与交付文件要手工重排
- · 没有结构化案由 / 要件 / 证据管理
- · 检索能力取决于对话窗口，无法按法浏览
法 法元 · Faron
- ✓ 152,940 条条文级本地库，来源可溯源到 e-Gov / govinfo
- ✓ 规则级引用自检 + 图谱适用性校验，双重把关
- ✓ 数据全在本机 SQLite；仅调用你自己配置的模型接口
- ✓ 直接导出 .docx（原生标题与表格）并落入最近文书
- ✓ 知识图谱管理案由 → 要件 → 请求权基础 → 证据
- ✓ 按法浏览 + 条文跳转 + 打印 PDF，离线可用
知识图谱
把"要件不漏"变成可检查的结构
图谱由人工策展种子 + 任务真实命中 + 人工确认构成，全部存本机。鼠标移到节点上看邻接关系，右侧候选边可以点确认或拒绝。
案由 / 法律
构成要件
证据
常见争点
文书载体
候选边 · 人工确认低置信度
任务执行中真实命中的法条会登记为候选边（虚线），确认后才作为后续规划依据——图谱不会自己长大。
会社法 → 迟延履行与催告
图谱状态 节点 13 · 边 14 · 待确认候选边 1
0.8.0 规划 · 方案稿（未落地）
智能体怎么自己变好？把闭环跑给你看
不上传你的案子，只上传"大家怎么把案子做好"的匿名配方：本地日志 → 匿名进化包 → 差分隐私与 K 匿名 → 加权聚合 → 签名配方 → A/B 采纳。 下面这台实验台可以亲手调参数，看配方怎么一轮轮逼近好实践。
口径诚实说明：加权聚合、差分隐私、K 匿名、指纹与采纳判定是真实实现； 客户端行为为协议仿真（本页没有你的任务日志，桌面版会读真实的 tasks / task_steps）； 这不是强化学习——奖励只参与加权，没有策略梯度与价值函数，详见下方对照表。
聚合控制台协议仿真
未开差分隐私
DP ε=3
DP ε=1
◎ 本机实测基线（桌面版）
每轮四个"律所用户"各自独立观测，聚合端按权重做平均（θ ← θ + η·(聚合观测 − θ)）； 独立噪声被多轮多客户平均掉，而差分隐私为维持固定预算每轮都要重新加噪，于是留下一个噪声地板—— ε 越小，平台越高。
环节详情① 本地信号
如果按强化学习看：逐项对照结论：不是 RL
| RL 概念 | 法元 · 联邦配方进化 | 是否同构 | 说明 |
|---|---|---|---|
| 轨迹 rollout | 一次任务（tasks / task_steps 全量落库） | 部分 | 任务是真实发生的，但不是策略采样出来的轨迹——没有动作空间与状态转移。 |
| 奖励 reward | 确定性引用自检 + 计划卡编辑 diff + 闸门放行 | 同构 | 最像 RL 的地方，也是最强的地方：奖励由代码规则算出、零标注。 |
| 策略 policy | 编排配方（计划卡模板 / 检索词典 / 质检阈值） | 部分 | 配方确实在决定"下一步做什么"，但它是结构化资产，不是可微的策略网络。 |
| 策略更新 | 加权 FedAvg 聚合（样本量 × 审计通过率 × 新鲜度） | 部分 | 是统计平均，不是梯度下降：没有优势函数、没有反向传播。 |
| 探索 exploration | A/B Shadow 试运行 + 差分隐私噪声 | 部分 | Shadow 等效于一次保守的策略探索；DP 噪声是隐私副产品，不是刻意探索。 |
| 价值函数 / 折扣回报 | 无 | 没有 | 不做长程信用分配——只回答"这一步该不该留在默认流水线"。 |
一句话结论：法元的自我优化是联邦统计聚合 + 零标注奖励加权。奖励信号与 RL 同构（且比问卷标注更硬）， 但没有策略梯度、没有价值函数、不做长程信用分配。对外一律说"编排配方进化"，不说"强化学习"， 也不说"联邦大模型权重"——模型走 API，本地根本没有权重可联邦。
文书智能体
五类任务，各有输出骨架
点开每张卡看它交付什么，不是"生成一段话"，而是有固定结构的可交稿文书。
review
合同审查
风险条款 → 责任失衡 → 可采用的修改文本
- 先风险后建议，逐条对应原文
- 责任失衡与约定不明单独成段
- 给出可直接替换的条款表述
lawsuit
起诉状
当事人 → 诉讼请求 → 事实与理由 → 证据目录
- 请求权基础与诉请一一对应
- 事实按时间线组织并标注证据
- 管辖与主体资格单列说明
evidence
证据目录
编号 → 证据名称 → 证明对象 → 页数
- 导出为 Word 原生表格
- 证明对象与要件逐项对齐
- 缺证项自动提示
cross_exam
质证意见
合法性 → 真实性 → 关联性
- 三性逐项展开，结论要有依据
- 对证据形式瑕疵单独点名
- 给出可当庭陈述的表述
argument
代理词
争议焦点 → 法律适用 → 结论
- 按争议焦点组织攻防
- 每处引用都过自检
- 附适用性校验结论
工作流
四步走完一件委托
每一步都可人工介入——这是"数字同事"，不是黑箱。
STEP 01
导入材料与案情
DOCX / PDF / 图片 / Excel 本地提取文本，或直接粘贴案情摘要。
STEP 02
生成计划卡
图谱骨架驱动 4–7 个步骤，可人工增删改后再执行。
STEP 03
一步一停执行
检索走真实工具，起草走模型，关键步骤设人工确认闸门。
STEP 04
质检并交付
引用自检 + 适用性校验通过后导出 .docx，落入最近文书。
技术底座
本地优先，零服务端依赖
一套安装包跑完整个产品：没有云数据库、没有中转服务器，AI 接口由你自己填。
🦀
Tauri 2 + Rust 后端
文件解析、SQLite、docx 生成、系统通知全部在本地进程完成；安装包约 135 MB，含法库预置数据。
🗄️
SQLite + FTS5
152,940 条条文与全文索引；案件、任务、文书、记忆向量同库，备份与还原就是一个 .db 文件。
⚛️
React 18 + TypeScript
8 个版块共用一套设计系统，支持日间 / 夜间主题；桌面与浏览器预览双形态自适应。
🔒
密钥加密落盘
API Key 混淆后存本机 SQLite，不进日志、不上传；模型接口地址与模型名由你掌控。
🪟
Electron 桌面悬浮球
独立子进程常驻托盘，选中即译 / 即问，抓取模式可切换，外观皮肤可选。
🧩
可离线复用
法库检索、按法浏览、模板库、待办、备份完全离线；仅 AI 起草与翻译需要联网。
品牌与设计理念
一个中国红的标志，讲清三件事
品牌标志「法元 · Faron」由三条理念构成——这三条，也是这个产品对自己的三句自我介绍。
法元 · Faron
红色渐变几何字标
所有图形单元均由平行四边形构成
所有图形单元均由平行四边形构成
🟥
红色 · 中国品牌
红色是中国品牌最直接的视觉表达，也与法律印章的中国红相合。法元服务中国法律工作者，用正红立品牌立场——第一眼就知道它是给谁做的产品。
✨
渐变 · 智能、科技
由单一平色改为红色渐变：明暗与方向的变化让静态标志带上"运行中"的观感，对应产品由大模型驱动的智能化与科技属性。
▰
平行四边形 · 高效、利落
标志的所有图形单元都是平行四边形，没有曲线、没有多余装饰。几何上的利落，对应产品的工程性格：规则级校验、分步执行、不拖泥带水。
视觉规范：主色为品牌红渐变 #EA0202 → #8C1012；应用图标为白色圆角方块 + 居中标志（圆角 18%、内边距 12%），一律等比缩放、不做简化重绘。
桌面应用图标、安装包图标、本页页头标与 favicon 全部由同一个标志源文件生成（scripts/make-icons.ps1 可复跑），避免"标志一个样、图标另一个样"的视觉漂移。
开始使用
装上就能用，连法库一起给你
Windows 10/11 x64 · 版本 0.7.1 · 安装包约 135 MB（内嵌约 490 MB 法库与悬浮球）。装完不需要注册，第一次打开即可检索 152,940 条条文。
安装包托管在 GitHub Releases，直链可直接分享给他人（无需账号即可下载）。
🪟
法元 0.7.1 安装包（Windows x64）
约 135 MB · 内嵌法库与悬浮球 · 免注册 ↓ 📘 发布页与更新日志
各版本更新说明与历史安装包 → 🧪 源码与产品文档
技术架构 / 功能模块 / 数据库设计 / 真机验收 →
约 135 MB · 内嵌法库与悬浮球 · 免注册 ↓ 📘 发布页与更新日志
各版本更新说明与历史安装包 → 🧪 源码与产品文档
技术架构 / 功能模块 / 数据库设计 / 真机验收 →
首次打开如果 Windows 提示「已损坏」或「未验证」，是因为安装包尚未做代码签名： 右键安装包 → 属性 → 勾选「解除锁定」；或点「更多信息 → 仍要运行」。 升级前建议先在托盘退出正在运行的悬浮球。
常见问题
客户与评委最常问的七个问题
不会。法库、案件材料、任务、文书、记忆向量全部存在本机 SQLite 数据库里。只有你主动使用 AI 起草或翻译时，当次输入才会发送到你自己配置的模型接口；API Key 加密后存本机。
AI 相关功能需要：在「数据设置」填写任意 OpenAI 兼容接口（如 DeepSeek）的地址、模型名与 Key，智能体与翻译共用这一份配置。不填也能用——法规检索、按法浏览、模板库、待办提醒、备份还原都完全离线可用，智能体会进入演示模式。
检索类步骤只从本地库返回真实条文，模型无权凭空写入；交付物还要经过确定性引用自检（逐条号比对工具返回值）与图谱适用性校验；图谱中的法条节点只保存"法律名"，不写具体条号。三重约束就是为了防编造。
DOCX / PPTX / XLSX / XLS / TXT / MD / CSV / LOG 本地离线提取文本（单文档上限 20 万字符）；PDF 与图片需要配置支持文件或视觉输入的模型来转录，转录文本会明确标注「模型转录，非原文」，不进入原文引用口径。
日本现行法 2,104 部（来源 e-Gov）、美国法典 53 个 Title（来源 govinfo）、美国宪法官方中译 25 段，条文级共 152,940 条内置；另有《中华人民共和国民法典》示例条目。中文的真实中文法库可通过 Excel 批量导入补充。
可以。除 AI 起草、翻译、PDF/图片转录这些需要模型接口的功能外，其余全部离线：法库检索、按法浏览、条文跳转、打印 PDF、模板库、待办提醒、备份还原。
不会。数据目录与工程名保持不变，升级只替换程序文件；悬浮球装入带版本号的子目录，升级时不与正在运行的旧悬浮球抢文件。仍建议在「数据设置」里定期手动备份（一个 .db 文件即可完整还原）。