Semantic Claims: Conveying Intent and Verifiable Context to Humans and Agents

说明与用途

语义声明帮助开发者和 AI 代理快速捕捉代码意图，通过测试验证行为，并将上下文与代码紧密结合，降低误差和令牌消耗。

问题

Agents and humans often lose context and intent when working on complex codebases, leading to misaligned implementations and wasted tokens.

结果

The claim‑prove‑implement workflow reduced context loss, improved test clarity, and enabled agents to focus on localized semantics, leading to more accurate implementations and lower token costs.

工作流

• 1. Write a Markdown claim describing observable behavior (invariant or scenario).
• 2. Create a test file that proves the claim.
• 3. Implement the code that satisfies the test.
• 4. Run the checker to ensure claim, test, and implementation remain linked.
• 5. Iterate with AI assistance to refine claims and proofs.

证据

I started to do this—writing small, structured Markdown files with claims of the observable behavior that gives a subject its meaning.

来源

claim -> prove -> implement

来源