工程问题
巴西税制改革增加了会计事务所的发票校验工作。系统需要将结构化税务文件转化为具有规则依据的结果，再提供清晰的纠正流程。
我为巴西会计事务所构建了 Arconta SaaS。仓库为私有，产品处于试点阶段。 本案例不公开源码或内部运维，也不宣称广泛商业采用或经认证的税务咨询能力。
确定性边界
产品接收税务 XML、验证模式，并执行带官方引用的规则。结果是可解释的发现，而不是语言模型给出的税务判定。
LLM 可以帮助表达已计算事实，但不能决定发票是否合规。缺失的官方信息保持缺失。技术栈包括 TypeScript、Fastify、Next.js、PostgreSQL 和共享 Zod 契约。
隔离与处理
租户隔离同时属于应用层和数据库层。后台处理将文档接收与校验同会计人员的交互分离。去重机制避免将重复文件视为新业务。
共享契约使 API、界面和处理流程对校验结果保持一致理解。纠正工作流将发现转化为事务所可审阅的动作。
产品状态与局限
文档区分已验证的试点路径与等待外部批准或进一步验证的集成。税务规则仍需专业会计人员审核。可追溯性和明确局限本身就是产品的一部分。下方公开产品网站已验证可访问。