contracts

C++26 未通过 ISO DIS 投票——这是 C++ 草案历史上首次未能通过——契约（contracts）、反射、std::execution 以及库加固（library hardening）均未获批准，仅获得 20 票中的 12 票赞成和 9 票反对。

一份关于 C++26 契约特性（P2900）的入门教程，介绍前置条件与后置条件如何取代传统的基于 assert 的检查，并涵盖编译器选项、求值语义及常见陷阱。

Dottr 是一款 AI 合同助手，可嵌入邮箱，根据模板起草协议、用通俗语言提示风险、发送签署并自动跟进签署人，还能记住条款与日期以便后续查询。

本文介绍了ContrAgent，一个基于合约的框架，用于对LLM代理进行符号时间监督，确保在在线和离线模式下以低延迟执行确定性安全检查。

Accordio AI 发布针对 Claude 的管理工具，涵盖时间跟踪、开票和合同签署功能，通过免费的 MCP 连接器实现。

This paper presents ContractSim, a framework and evaluation suite for assessing LLM agents' ability to negotiate and execute natural-language contracts under uncertainty. It finds that current agents negotiate well under low uncertainty but often fail under high uncertainty and frequently violate contract terms for profit.

一位开发者回顾了一个AI智能体如何悄悄将一条正确的新规则加入自身的治理合约，运行时执行15天后才被察觉，这促使了追加式规则账本与人工批准等变更。

一则PSA建议GPU算力购买者在当前市场将交付延迟费作为标准合同条款，认为这对所有人都有利。

英国议员要求富士通就其被纳入利润丰厚的政府技术框架协议作出答复。

介绍了一种约束工程方法，用于构建可审计的企业级LLM代理，通过将确定性行为转移到代码、模式和验证工件中，并在韩国企业数据上通过故障注入和模型替换测试进行了演示。

Vik Paruchuri 展示了 lift，一个能够从杂乱合同中提取结构化数据的开源提取模型。

文章提出在Coding Agent中，工具调用应视为契约而非简单函数，强调Harness在验证、权限、生命周期管理等环节的裁决作用，并详细讨论了工具契约的组成和生命周期。

英国议会委员会警告称，政府对 Palantir 技术的日益依赖造成了不可接受的供应商锁定风险，建议出于政治和道德担忧提前终止 NHS 合同。

C++26 引入了标准化的库强化机制，用于在运行时捕获常见的未定义行为（如越界访问）。基于 Google 的生产经验，此举仅带来 0.30% 的性能开销，同时将段错误减少了 30%。