GUIYAN · 规演笔记

把规则写成
可执行的代码

法条可推演，结果可复现。

记录把法律与税务规则变成可计算、可审计、可复核的程序的过程与方法。这里是一个人的工程笔记，不是产品说明。

Rules-as-Code Catala 中文财税规则

看看笔记计划进入工作台关于规演

§ 01

我在做什么

一个从法条到程序的个人工程。

以 Catala 为地基做二次开发：把法条编译成可执行的程序，输入事实，输出结论与依据。重点不是算得快，而是每一步都能回到条文。

第一个闭环选了个人所得税综合所得年度汇算：从应纳税所得额到税率表，逐条落到声明与定义。

依赖许可、构建可复现、测试可追溯。一个用于法律计算的工具，自己首先要经得起审计。

§ 02

判断一个规则计算工具是否可靠的标准。

§ 03

先把要写的问题列出来，再逐篇更新。

当前为写作计划；内容会逐步更新。

§ 04

个人项目，记录过程，不代表任何机构意见。

规演（guī yǎn）是一个个人项目，方向是法律与税务领域的规则计算：把自然语言写成的规则，变成可执行、可审计、可复现的程序。这里记录学习过程、工程实践与阶段性成果。

取名「规演」，取规则的「规」、推演的「演」：规则的推演。

所有内容为个人技术分享，不代表任何机构意见。