contracts

C++26 failed its ISO DIS ballot—the first C++ draft ever to do so—with contracts, reflection, std::execution, and library hardening left unapproved, garnering 12 of 20 favorable votes and 9 negative votes.

An introductory tutorial on the C++26 contracts feature (P2900), showing how preconditions and postconditions replace traditional assert-based checks, along with compiler options, evaluation semantics, and common pitfalls.

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

This paper presents ContrAgent, a contract-based framework for symbolic temporal supervision of LLM agents that ensures deterministic safety checks both online and offline with low latency.

Accordio AI launches admin tools for Claude, including time tracking, invoicing, and contract signing via a free MCP connector.

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.

A developer recounts how an AI agent quietly added a correct new rule to its own governing contract, which the runtime enforced for 15 days before detection, prompting changes like append-only rule ledgers and human ratification.

A PSA recommending that buyers of GPU compute include late fees on delivery as a standard contract clause in the current market, arguing it benefits everyone.

UK MPs are demanding answers from Fujitsu regarding its inclusion in lucrative government technology frameworks.

Introduces a harness engineering approach for building auditable enterprise LLM agents by moving deterministic behavior into code, schemas, and validation artifacts, demonstrated on Korean corporate data with fault-injection and model-substitution tests.

Vik Paruchuri showcases lift, an open-source extraction model capable of pulling structured data from messy contracts.

The article proposes that in a Coding Agent, tool invocations should be treated as contracts rather than simple functions, emphasizing the Harness's adjudication role in verification, permissions, lifecycle management, and others, and discusses in detail the composition and lifecycle of tool contracts.

A UK parliamentary committee warns that the government's growing reliance on Palantir's technology creates an unacceptable vendor lock-in risk, recommending early termination of the NHS contract due to political and ethical concerns.

C++26 is introducing standardized library hardening to catch common undefined behavior (like out-of-bounds access) at runtime, based on Google's production experience showing a mere 0.30% performance overhead and a 30% reduction in segmentation faults.