contracts

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

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

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

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

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

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

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

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