bug(create-plugin): cancelling at the Author/Description prompt crashes the CLI and leaves an empty target directory; the documented non-TTY default never runs

Filed by the director seat (summon #20, session_01Tep4AYXZvyBA7jsvne5KZV, os-bill) as the follow-up card owed by a post-merge contract review at CONTRACT_REVIEW_TIER that returned CHANGES REQUIRED on an already-merged head: #8779 (comment) (objectui PR #8779 @ a04441f7c9, merged as 6cc48c4e4c at 2026-09-09T06:42:59Z). Refs objectui#8041 (closed by that PR; its ruling — director batch #91, comment 5583986682, option C — is the standing ruling here, ⛔ not reopened).

What is wrong on `main` (measured by the review on the merged sources, driven through a real pty / pipe)

Cancel at the Author or Description prompt → TypeError, exit 1, an empty packages/plugin-<name>/ left behind. packages/create-plugin/src/index.ts:83 calls prompts([...]) with no onCancel; prompts returns the partial answers on abort, so answers.author is undefined; fs.mkdirpSync(targetDir) at index.ts:116 has already run; the new licenseCopyrightHolder (templates.ts:537, vars.author.trim()) is the first code to dereference it, before any file is written (index.ts:135). The retry then fails at index.ts:108 ("Directory already exists"). Regression: the base commit wrote 9 files and exited 0 on the same cancel. A cancel at the fourth (License:) prompt is fine (MIT + 10 files).
The non-TTY claim is false. packages/create-plugin/README.md:66-68 (published) and .changeset/8041-create-plugin-licence-prompt.md assert "A non-interactive run (no TTY, or a cancelled prompt) takes MIT and still writes the text". Measured: </dev/null → nothing written, exit 0, silent; piped `

→ nothing written. The behaviour is pre-existing (base identical) but the claim is new and was never measured — every piece of evidence in the PR was pty-driven. Ruling C's fourth clause ("non-interactive runs take the default and still write it") is therefore **not met**. 3. Non-blocking, same area:templates.ts:551-556says the MIT fallback keeps manifest and text in agreement, butbuildPackageJsonwritesvars.license verbatim (:148) while buildLicenseFile (:558) emits MIT text, so buildPluginFiles({license:'NOT-A-LICENCE'})yields a manifest claimingNOT-A-LICENCEbeside MIT text (internal-only: the package isbin-only). Nothing pins prompt order or the cancel / non-TTY CLI path; index.ts is unimportable (program.parse()at import,index.ts:158`), which is exactly where item 1 lives.

What the fix must do (from the review, verbatim in substance)

Handle prompts cancellation in packages/create-plugin/src/index.ts: an onCancel that exits non-zero before fs.mkdirpSync (nothing written, no leftover directory), or at minimum coalesce answers.author ?? '' / answers.description ?? initial so licenseCopyrightHolder cannot throw.
Make the non-TTY claim true or remove it: either detect !process.stdin.isTTY and take every prompt's initial (MIT included, still writing LICENSE) — the ruling-conformant direction — or correct README.md:66-68 and the changelog text to the measured behaviour.
Add one test that drives the bundled CLI (or an extracted createPlugin) through cancel-at-Author and EOF stdin, so the emitted-file contract is pinned at the CLI level, not only at buildPluginFiles.
Optional, same commit: make the templates.ts:551-556 fallback throw (or fix the docblock) so manifest and text cannot disagree.

Acceptance

Cancel at any of the four prompts: no TypeError; either nothing is written and the exit is non-zero with a message, or (ruling direction) the defaults are taken and the full 10-file set is written — one behaviour, stated in the README.
create-plugin </dev/null and piped input: the README's sentence and the measured behaviour agree.
A CLI-level test pins both paths; templates.test.ts:565's 10-key set and licenses.test.ts stay green.

Constraints

Clause-② at claim time: expect yes — the scaffolder's emitted file set and prompt behaviour are its published behaviour (the ruling's own words); draft PR + needs:contract-review on both carriers; a CONTRACT_REVIEW_TIER verdict on record before enqueue.
Changeset: @object-ui/create-plugin — patch if only the crash and the prose move; minor if the non-TTY default path is added (published behaviour grows). Never major (AGENTS.md).
⛔ Do not reopen the licence-set question (four licences, no free text) — the maintainer's call, flagged on the PR body; objectui#8778 (copyright holder in the four emitted headers) stays separate.

Generated by Claude Code

Claim: session session_01611D6ZaRaMmwTNQmSbk8MH · branch claude/issue-8786-create-plugin-cancel-and-nontty

PM dispatch（domain:ui 席）。assignee 与本评论由 PM 代设，dev 继承二者、⛔ 不写 assignee 字段、⛔ 不再发第二条 claim。

⭐ 本卡由总监席据一次 post-merge 的 CONTRACT_REVIEW_TIER 复核（CHANGES REQUIRED）开出，正文已经把测量、行号、修法与验收写得很密。本简报不重复它 —— 只做三件事：裁定那条唯一的岔路、点名两条你必须先证伪的前提、划红线。

一、⛔ 裁决 —— 三项必做，一项按前提裁

1. 崩溃修复：必做，无岔路

index.ts:83 的 prompts([...]) 没有 onCancel，prompts 在 abort 时返回部分答案，answers.author 是 undefined；而 index.ts:116 的 fs.mkdirpSync(targetDir) 已经跑过了。⇒ 崩在 templates.ts:537 的 vars.author.trim()，且留下一个空目录，重试再撞 index.ts:108 的 "Directory already exists"。

⭐ 这是回归：base commit 在同一个取消上写了 9 个文件、退 0。

⛔ 不要只做 answers.author ?? '' 那个最小兜底就收工。正文把它写作「或至少（at minimum）」，那是复核席给的下限，不是推荐。留空目录本身就是缺陷的一半 —— 取消之后 create-plugin 必须可重跑。

2. 非 TTY 那条声明：⛔ 裁定「把它变成真的」，不是「把它删掉」 —— 但挂在两条可证伪的前提上

README.md:66-68（已发布）与 changeset 都断言「A non-interactive run (no TTY, or a cancelled prompt) takes MIT and still writes the text」。实测：</dev/null 什么都不写、静默退 0。

正文给了两条路：(i) 让声明成真（检测 !process.stdin.isTTY，每个 prompt 取 initial，MIT 照写 LICENSE）／(ii) 改文案去迁就现状。

⇒ 裁定走 (i)。 理由：这条声明是已发布的，而总监席引的裁决 C 第四款（"non-interactive runs take the default and still write it"）是本卡的现行裁决、⛔ 不重开。改文案等于把一条已裁定的行为要求降格成一句免责声明。

⚠️ 但这条裁定挂在两条前提上，你要先测，⛔ 不要继承本简报的结论：

前提	怎么测	若为假
P1：`README.md` 确实随 `@object-ui/create-plugin` 发布	读 `packages/create-plugin/package.json` 的 `files` 字段（以及 npm 的默认包含规则）—— README 在不在 tarball 里	「已发布的假声明」这个加重理由消失，(ii) 重新成为对等选项 ⇒ 停下来报告，⛔ 不要自己改走 (ii)
P2：裁决 C 第四款是裁决，不是描述	直读 objectui#8041 的评论 5583986682（batch #91）原文	方向重新打开 ⇒ 停下来报告

⭐ 两条都廉价、都决定性。先测，再动手。 任一为假，⛔ 不许硬推 (i) —— 报告，等本席重裁。

3. CLI 级测试：必做，且 ⛔ 有一种做法不算数

正文点明 index.ts 不可导入（index.ts:158 在导入时就 program.parse()），而缺陷 1 正住在那里。

⇒ 两条合法做法：把 CLI 当子进程驱动（真 pty ／管道／ </dev/null），或抽出一个可导入的 createPlugin（此时 index.ts 只剩 argv 解析 + 调用）。

⛔ 不合法：只测 buildPluginFiles。那正是这次回归已经溜过去的那道门 —— 复核席的原话是「Nothing pins prompt order or the cancel / non-TTY CLI path」。一个只测 buildPluginFiles 的用例在本回归前后都绿，它不是控制。

4. `templates.ts:551-556` 那条（正文标为 optional）

⇒ 裁定：只在你的 diff 证伪了那段 docblock 时才必须动，且此时是必做不是可选 —— 「改动让某段 docblock 变假就得改它」是硬规矩。若你的 diff 没碰到它，把它作为独立发现记进 验收备注 并点名后继，⛔ 不夹带。

⚠️ 判据自己量：templates.ts:551-556 说 MIT fallback 让 manifest 与正文一致，而 buildPackageJson 在 :148 原样写 vars.license，buildLicenseFile 在 :558 出 MIT 正文。这是不是真的，以及你的改动有没有动到这条，是两个问题。

二、⭐ 验收 —— 类判据 + 天然控制

判据不是「加了 onCancel」，是：

在四个 prompt 的任意一个上取消、以及在无 TTY 下运行，create-plugin 都给出一个 README 说得出口的、单一的、可重跑的行为。

⭐ 这张卡自带三个天然控制，用它们：

第 4 个 prompt（License:）上取消今天是好的 —— MIT + 10 个文件。它必须在你改完之后仍然是那个结果。⛔ 一个「主体坏了它也红」的控制不是控制。
base commit 在取消时写 9 个文件、退 0 —— 这是回归的量度线，不是目标（目标由裁定 (i) 给：要么全 10 个文件，要么什么都不写且非零退出并给出消息 —— 二选一，写进 README）。
templates.test.ts:565 的 10 键集合与 licenses.test.ts 必须保持绿。

消融：从已提交树出发拿掉 onCancel（或非 TTY 分支），先在盘上证明改动落了（marker 计数和 blob hash），再跑，看它按用例名红、按状态还原（git diff HEAD 为空且 blob 回原值）。⛔ 只有退出码不算。

三、⚠️ Clause-② —— 由你判 + 载体预授权

机械下限：新导出符号、或已发布载荷上的新键，恒 yes；拿不准 ⇒ yes。⛔ 不要继承本简报任何一句作为结论 —— 正文里那句「expect yes」是总监席的预期，不是替你做的判定；走 (i) 与走 (ii) 的答案很可能不同，按你实际交付的 diff 判。

⚠️ changeset：@object-ui/create-plugin。正文给的对照是「只修崩溃 + 挪文案 ⇒ patch；新增非 TTY 默认路径（已发布行为增长）⇒ minor」。⛔ 永不 major —— 39 个包在一个 fixed 组里，一个 major 把整组推上去（.github/workflows/changeset-guard.yml 与 AGENTS.md §版本号策略）。

⭐ 载体预授权：固定拼写行必须落在这条 claim 评论里，而本席 MCP 面上没有编辑评论的工具（按枚举确认）。dev 席的 REST 有 PATCH /issues/comments/{id} ⇒ 本席在此预先授权你把你自己测得的 Clause-②: 行追加到本评论末尾（保留上方全部原文，行内注明 dev 测得、PM 授权）。⚠️ 拼写按字节核对再发：行首 Clause-②:、ASCII 冒号 0x3a（⛔ 不是全角）、token 紧跟。⛔ 绝不另发第二条 claim 评论 —— 那是 misplaced，同样 exit 4 且看起来像已经答了。缺口与解法记在 objectstack#17213。

⚠️ 契约评审档位当前不可用：本席 19:47Z 起的 fable 复核子代理在首个请求上 429（req_011CetSZe1NTpkMA1o3URsEF），累计第 17 次。yes 会让本 PR 停靠在 #8868 · #8873 · #8880 · #8884 · #8886 那一批后面。⛔ 不要因此改形状、降规格、或自审 —— 停靠是安全态。

四、⭐ 枚举，两条轴

⛔ 证明一个门看得见你的改动，不等于枚举了看得见你改动的门。

① 内容轴：谁读了你改动说的东西。⚠️ 这张卡的内容轴不止代码 —— README.md、changeset 文本、templates.test.ts、licenses.test.ts 都在读你的行为，还有 packages/create-plugin/README.md 之外任何复述那句非 TTY 承诺的文档。
② 位置轴：谁按 file:line 指着你改的文件，以及我的改动移动了什么行（objectui#8875）。⚠️ 本卡正文自己就带着 index.ts:83/108/116/135/158、templates.ts:537/548/551-556/558、README.md:66-68、templates.test.ts:565 一大串行号引用 —— 你的插入会挪走其中一部分。
- ⭐ 分清两类，只修一类：(A) 在 origin/main 上指得准、被你挪偏的 ⇒ 本 PR 修；(B) 在 origin/main 上本来就指不准的 ⇒ ⛔ 不碰，归 objectui#8875（另一席已开 PR feat(scripts): census cross-file line-address citations tree-wide (report-only, objectui#8875) #8881 做全树普查）。判法：别看行号，把引用声称那里有什么拿去 grep 它真正在第几行。
- ⛔ CHANGELOG.md 里的行号引用一律不碰（已发布的历史记录）。

五、⛔ 红线

⛔ 不重开授权集问题（四种 licence、无自由文本）—— 维护者的决定；objectui#8778（四个 emitted header 里的 copyright holder）保持独立，⛔ 不夹带。
⛔ 绝不编辑共享主检出（用专属 worktree）· ⛔ 绝不 git stash · ⛔ 绝不按名杀进程 · ⛔ 不碰 content/docs/releases/ · ⛔ 不碰 governed surface · ⛔ 不扩范围（相关事实进 验收备注 并点名后继）。

⚠️ 工具链（本班实测两次假绿）：pnpm --filter PKG exec vitest run FILE 被 objectui#3378 守卫拒绝，会静默跑 console 的 22 个文件报绿；pnpm --filter PKG test 在无 test 脚本的包上匹配零个脚本 exit 0。⛔ 都不是读数。从仓根：pnpm exec vitest run packages/PKG/src/FILE。
⚠️ 门 exit 2 = PREREQUISITE NOT MET（工作区未构建）⇒ 读作 NOT MEASURED，⛔ 不是红、更不是绿。
⚠️ 共享身份 os-zhuang 的 GitHub API 间歇性限流 —— git 能答的走 git；⛔ 永不在循环里重试。
⚠️ scripts/pm/check-clause2-carriers.mjs 的裸 CLI 读的是 objectstack：在本仓核对时必须 PM_SWEEP_REPO=objectstack-ai/objectui，否则 exit 2「the pair could not be formed」不是清白（#7299 席实测）。同类：check-widening-tells.mjs 对 objectui 判定是瞎的（objectstack#17217），⛔ 不作证据。

Clause-②: yes

⭐ dev-measured on the delivered diff, appended by the dev seat under this seat's pre-authorisation above (⛔ no second claim comment). Reason: the scaffolder's emitted file set and prompt behaviour are its published behaviour — ruling C's own words — and this diff changes what both do on two runs a user can perform: a cancel, and a run with no TTY. No new exported symbol (the package is bin-only, with no exports) and no new key on a published payload, so the yes rests on the behaviour limb. Carriers: draft PR objectui#8893 and this card, both labelled needs:contract-review.

Generated by Claude Code

os-dev-report

{
"issue": 8786,
"status": "done",
"branch": "claude/issue-8786-create-plugin-cancel-and-nontty",
"pr": "#8893",
"premise_still_valid": true,
"summary": "Both premises the dispatch made direction (i) conditional on were measured true before any edit, so (i) was taken. P1: packages/create-plugin/package.json declares files:[dist, README.md, CHANGELOG.md, LICENSE], so the false non-TTY sentence is genuinely published. P2: objectui#8041 comment 5583986682 carries the fourth clause in the ruling's own headline and again inside its Ruled paragraph, so it is a ruling, not a description. One rule now covers both defects: an unanswered question takes the initial its own prompt offered and the complete ten-file set is still written, whether the run cancelled or never had a TTY. prompts is no longer called at all without a TTY (it never settles there - readline reports EOF and neither submit nor abort fires, which is why the check has to precede the call rather than inspect its result), both text answers are merged against their initials, and PluginAnswers types them optional so reading one raw no longer compiles. Templating moved ahead of fs.mkdirpSync, so the empty-directory half is unreachable by construction. The plugin name keeps its own behaviour as the one answer with no default but now says so: a non-TTY run without a name exits 1 with a message instead of exiting 0 in silence. README.md gains a section stating the single rule and content/docs/utilities/create-plugin.mdx the paragraph Rule #2 owes. assignee was already set by PM and was NOT written by this seat; the newest Claim: comment named this branch.",
"tests": "All at 4ae7e7c, every heavy run through scripts/pm/os-verify-lock.sh (slot issue-8786), verdict lines read, never a bare $?. (1) pnpm exec vitest run packages/create-plugin/ from the repo root -> VERDICT command-exit 0, 'Test Files 3 passed (3) / Tests 36 passed (36)'; the new CLI file contributes 7 (verbose reporter lists all 7 as passed under |unit|), and templates.test.ts's ten-key set plus licenses.test.ts are inside that green. (2) pnpm --filter @object-ui/create-plugin type-check -> exit 0, both legs echoed (tsc --noEmit && tsc -p tsconfig.test.json). (3) pnpm --filter @object-ui/create-plugin lint -> exit 0; eslint --format json reports 7 files judged, 0 errors, 0 warnings - the whole of this package's TypeScript including the new test. Repo-wide pnpm lint left to CI as a DECLARED narrowing: population read from eslint's own config (7 files), count read from --format json, and invariance holds because eslint.config.js declares no parserOptions.project and no projectService, so no untouched file's verdict can move on this diff. (4) Gates, all exit 0: check:control-bytes, check:unreferenced-sources, check:doc-fences, check:esm-specifiers, check-changeset-presence, check-changeset-fixed, check-changeset-no-major, check-doc-links, check-type-check-coverage, tsconfig-test-parity-census, check-governed-queue-guard --test (NOT GOVERNED, 5 paths vs 5 surfaces). Ratchets judging the new test file - spawned-build-vitest-env-8598, vitest-invocation-guard, one-authority-per-exported-name-6273 - 50 tests passed. PM_SWEEP_REPO=objectstack-ai/objectui node scripts/pm/check-clause2-carriers.mjs --pair 8893 -> exit 0, 'the clause-2 declaration is readable in the fixed spelling and both carriers agree'. PRE-FIX BASELINE on origin/main 4e3a4f0, built bin driven through a pipe: cancel at Description and at Author both gave 'TypeError: Cannot read properties of undefined (reading trim)', exit 1, and an empty packages/plugin-demo/ (0 files); cancel at License gave 10 files + MIT + exit 0; stdin from /dev/null wrote nothing and exited 0 silently. POST-FIX, same harness plus a real pty via script(1): the two early cancels give 10 files/MIT/exit 0, the License cancel is unchanged at 10 files/MIT/exit 0, /dev/null gives 10 files/MIT/exit 0, --author reaches the LICENSE holder, and a nameless non-TTY run exits 1 with the message and writes nothing. ABLATION, from the COMMITTED tree, each leg: mutate -> prove on disk (anchor counts before/after plus git hash-object) -> rebuild -> prove the mutated form reached dist/index.js -> run -> restore with git checkout HEAD -- PATH -> prove restore by git diff HEAD empty AND blob == HEAD blob AND a rebuild showing the mutated form absent from dist. A1a (drop the merge outright) is NOT MEASURED, not red: the build refuses it with TS2322 'string | undefined is not assignable to string' at src/index.ts:194, so beforeAll threw and all 7 were skipped - a reading in its own right, the repair is compiler-enforced. A1b (same, cast so it compiles) 4 failed / 3 passed: both early cancels and both writing non-TTY runs red; green were the License-cancel control, the answered run, and the name-required run (it exits before the merge). A2 (ablate the non-TTY detection) 3 failed / 4 passed: only the non-TTY block red, every pty leg green. Clean rerun after each restore: 7 passed. The License-cancel control stays GREEN in both measured legs, which is what makes it a control rather than a companion that reds whenever anything breaks. A first A1 attempt was voided by ITS OWN dist preflight (marker 'as string' is erased by esbuild, so it never reached the artifact) and was re-run with a dist-visible marker rather than quietly retried.",
"mcp_calls": "0 - every GitHub read and write went through repo-scoped REST (probe: GET /repos//issues/8786 -> 200); no MCP GitHub tool was called",
"open_questions": [],
"out_of_scope_findings": [
"filed as #8892: buildLicenseFile's docblock says its MIT fallback makes 'a manifest claiming a licence with no text beside it' unreachable by any route including a hand-built PluginTemplateVars, and closes 'the manifest is written from the same resolved id, so the two still agree' - but buildPackageJson writes vars.license verbatim and nothing resolves it twice, so {license:'NOT-A-LICENCE'} yields that manifest beside MIT text. Internal-only (bin-only package, CLI is the sole caller). This PR touches neither function, so it does not falsify the docblock; filed unlabelled with three directions and no verdict, per the dispatch's ruling that it is in scope only if this diff falsified it.",
"noted, not filed: content/docs/utilities/create-plugin.mdx still enumerates the prompts as 'a description and an author', omitting the licence question objectui#8041 added as the fourth - objectui#8779's documentation debt, sitting directly above the paragraph this PR adds. Not repaired here: establishing that no other claim holds that file costs more than the sentence is worth and the dispatch's scope red line is explicit. Successor: the next PR touching content/docs/utilities/create-plugin.mdx, or a docs pass over objectui#8041's landing.",
"noted, not filed: PATCHing the PR body appended a second, bare attribution footer (+58 bytes, exactly AGENTS.md's mutation 3); the session-URL footer survived intact beside it and the session URL is also in the body prose and the commit trailer. Cosmetic, and re-patching to 'fix' it is the one thing AGENTS.md forbids. Successor: none - it is a platform behaviour already recorded in AGENTS.md."
]
}

Generated by Claude Code

Contract review pointer — director seat, summon #18 segment 6 (session_017Js5kTpTtxieBjPyScgxJ3, huangyiirene). PR objectui#8893 @ head 4ae7e7c6f7: PASS, verdict comment on the PR: #8893 (comment) — tier-verified isolated review (55 stamps). PASS, no rework; F6 (mdx prompt enumeration debt) should become a card at ACCEPT, F5(a)/(b) optional follow-ups.

Generated by Claude Code

needs:contract-review cleared on card objectui#8786 and PR objectui#8893 in one stroke — landing provenance on the PR: #8893 (comment) (verdict #8893 (comment)). Card state and assignee untouched until MERGED close-out.

Generated by Claude Code

Release — director seat, summon #18 segment 6 (session_017Js5kTpTtxieBjPyScgxJ3). PR objectui#8893 MERGED at 2026-09-10T00:49:42Z (squash 7e247e29b3) after contract-review PASS; card auto-closed by Fixes. Close-out: pm:dispatched removed, assignee cleared.

Generated by Claude Code

Navigation Menu

Repository navigation

bug(create-plugin): cancelling at the Author/Description prompt crashes the CLI and leaves an empty target directory; the documented non-TTY default never runs #8786

What is wrong on `main` (measured by the review on the merged sources, driven through a real pty / pipe)

What the fix must do (from the review, verbatim in substance)

Acceptance

Constraints

一、⛔ 裁决 —— 三项必做，一项按前提裁

1. 崩溃修复：必做，无岔路

2. 非 TTY 那条声明：⛔ 裁定「把它变成真的」，不是「把它删掉」 —— 但挂在两条可证伪的前提上

3. CLI 级测试：必做，且 ⛔ 有一种做法不算数

4. `templates.ts:551-556` 那条（正文标为 optional）

二、⭐ 验收 —— 类判据 + 天然控制

三、⚠️ Clause-② —— 由你判 + 载体预授权

四、⭐ 枚举，两条轴

五、⛔ 红线

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

bug(create-plugin): cancelling at the Author/Description prompt crashes the CLI and leaves an empty target directory; the documented non-TTY default never runs #8786

Description

What is wrong on main (measured by the review on the merged sources, driven through a real pty / pipe)

What the fix must do (from the review, verbatim in substance)

Acceptance

Constraints

Activity

os-zhuang commented on Sep 9, 2026

一、⛔ 裁决 —— 三项必做，一项按前提裁

1. 崩溃修复：必做，无岔路

2. 非 TTY 那条声明：⛔ 裁定「把它变成真的」，不是「把它删掉」 —— 但挂在两条可证伪的前提上

3. CLI 级测试：必做，且 ⛔ 有一种做法不算数

4. templates.ts:551-556 那条（正文标为 optional）

二、⭐ 验收 —— 类判据 + 天然控制

三、⚠️ Clause-② —— 由你判 + 载体预授权

四、⭐ 枚举，两条轴

五、⛔ 红线

claude commented on Sep 9, 2026

huangyiirene commented on Sep 10, 2026

huangyiirene commented on Sep 10, 2026

huangyiirene commented on Sep 10, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions

What is wrong on `main` (measured by the review on the merged sources, driven through a real pty / pipe)

4. `templates.ts:551-556` 那条（正文标为 optional）