Codex 内置子命令深度解析:/compact、simplify Skill 与 /goal
基于 Codex CLI 0.155.1 源码,追踪 /compact、simplify Skill 与 /goal 的解析、状态流和运行时边界。
金融开发实践:账务模型与金额计算
金融开发实践系列第二篇,从复式记账、本地账务不变量、金额精度与舍入规则出发,建立可审计、可逆和可并发控制的账务模型。
金融开发实践:权限审计与安全防线
金融开发实践系列第五篇,从最小权限、交易授权、职责分离、密钥管理和不可抵赖审计出发,建立抵御误操作、权限滥用与重放攻击的安全防线。
金融开发实践:金融并发控制,先守住不变量再谈吞吐
金融开发实践系列第三篇,从并发扣款、退款和冻结中的竞态问题出发,比较条件更新、行锁、乐观锁、隔离级别与分布式锁,并给出热点账户、死锁重试、测试和上线检查方法。
金融开发实践:外部渠道一致性与对账
金融开发实践系列第四篇,围绕支付、银行和清算渠道的未知结果、回调、主动查询、幂等、对账与差错处理,建立一条可验证、可修复的外部一致性链路。
金融开发实践:分布式一致性,从本地事实到最终收敛
金融开发实践系列第一篇,围绕本地事实、可靠外发、消费幂等、状态机收敛、定时补偿和对账,解释分布式一致性如何落地,以及它解决不了哪些资损问题。
挑战精度冗余:近似计算的工程哲学与实践
从 satisficing 和概率逻辑出发,沿着概率数据结构、数值算法、数据库、近似硬件、数制和大模型量化七个层次,建立一套判断精度边界的工程方法。








