Canonical: https://botbento.com/zh/usecases/generating-code-with-verified-side-effect-boundaries/
Format: Markdown representation of the public HTML page.

[首页](/) / [用例](/zh/usecases/) / [编程](/zh/usecases/?category=coding)

编程 · 高级

已验证

自动化验证

- 已通过全部自动化关卡：结构校验、唯一性、HTTPS 与来源链接可访问、提示注入与安全扫描、审批步骤规则。
- 未记录起草模型。
- 第二模型审核：x-ai/grok-4.3（无严重或高危问题）。
- 简体中文译文：google/gemini-4-argon，由 openai/gpt-5.5 审核。
- 验证于 2026-10-17。
- 仅经自动化检查和 AI 审核，未经人工审核。[验证如何运作](/zh/usecases/verification/)

# 生成带有已验证副作用边界的代码

实现限定作用域的函数，通过测试重放模拟系统调用，并提交已验证的拉取请求

[在 BotBento 中使用 ](https://app.botbento.com/?ref=usecases&utm_source=botbento.com&utm_medium=usecases&utm_campaign=generating-code-with-verified-side-effect-boundaries)复制提示词分享[Markdown](/text/zh/usecases/generating-code-with-verified-side-effect-boundaries/index.md)[English](/usecases/generating-code-with-verified-side-effect-boundaries/)

打开 BotBento。请将提示词粘贴到 Bot 中；不含任何预设配置。

- 你提问时触发接收代码任务
- 然后运行重放测试
- 结果提议已验证的拉取请求

编写严格遵循副作用权限的结构化代码，在终端中针对录制的网络或文件系统跟踪记录执行自动化测试，并提交整洁的拉取请求及附带的验证日志供开发者审查。

## 起步提示词

BotBento推荐

```
分析所请求的功能规范，并编写显式声明所有外部副作用的实现代码。在终端中针对缓存的模拟环境运行重放测试套件。在创建分支、在 GitHub 上发起拉取请求或修改现有代码库文件之前，始终提示并等待用户批准。
```

复制

## 所用工具

终端GitHub聊天

## 适用于

BotBento

## 标签

- software-development
- testing
- sandboxing
- code-generation

## 来源

[Show HN: Jacquard, a programming language for AI-written, human-reviewed code](https://news.ycombinator.com/item?id=48894630)
Hacker News · 已核查 2026-10-16

内容以我们自己的话概述。其中描述的任何结果均为原作者所述，并非 BotBento 实测。

由 AI 辅助自英文版翻译，并经自动审核模型检查。以英文文本为准。

作者：BotBento Editorial · 发布于 2026-10-16 · 更新于 2026-10-16 · [提交更正](/contact/)

## 相关用例

-

编程中级

## [基于规格说明的自动化软件开发](/zh/usecases/automated-software-development-from-specifications/)

将功能需求转化为接口规格、应用程序代码和测试设置

GitHub终端文档[已验证](/zh/usecases/verification/)
-

编程中级

## [在隔离沙箱中运行编程任务](/zh/usecases/running-coding-tasks-inside-an-isolated-sandbox/)

在专用容器环境中安全地执行代码更改和测试运行

终端GitHub聊天[已验证](/zh/usecases/verification/)
-

编程高级

## [生成代码的沙盒测试运行器](/zh/usecases/sandboxed-test-runner-for-generated-code/)

在隔离环境中安全运行不受信任的 AI 代码片段并报告测试结果

终端GitHub聊天[已验证](/zh/usecases/verification/)