@starci/skills 1.1.0

package/operators/content-generate/operator.vi.md

@@ -0,0 +1,155 @@
+# content.generate
+
+## Việc
+
+Sinh hoặc viết lại một đơn vị nội dung giáo dục trong một lượt tuyến tính: một brief người dạy ràng
+buộc mọi thứ sau nó, một bản viết cho mỗi ngôn ngữ đã khai, hình ảnh làm theo một tuyên bố đã nêu, mã
+nguồn và các phép kiểm chạy được thật, và một phản biện độc lập nhận các artifact mà không có lý lẽ
+của người sản xuất.
+
+## Brief đi trước và ràng buộc mọi thứ sau nó
+
+Brief người dạy được viết trước mọi thứ khác, từ chương trình học và bằng chứng nguồn, trong một lượt
+chạy mới không thừa hưởng lượt nào. Nó công bố đầu vào của người học, các kết quả quan sát được, các
+tuyên bố mà một hình ảnh được phép mã hoá, các ví dụ, và các disposition thêm, đổi, bỏ tường minh,
+rồi được lấy fingerprint để không gì phía sau nới nó ra. Mọi thứ sau đó được đo theo nó: một bản viết
+chỉ được nhận phủ một kết quả mà brief đã công bố, một hình ảnh chỉ được mã hoá một tuyên bố brief đã
+công bố, và mọi bản viết đã khai phải phủ trọn tập kết quả trước khi đơn vị được ship. Một bản viết
+chỉ phủ một phần brief là một bài học thiếu ở ngôn ngữ này và đủ ở ngôn ngữ kia, đúng là khiếm khuyết
+lặng lẽ mà phép kiểm này sinh ra để bắt. Một disposition đổi hay bỏ phải nêu tên thứ nó tác động, vì
+một disposition không có đích chỉ là một mong muốn.
+
+## Mã sinh ra phải chạy được thật
+
+Mỗi track cài đặt được build bằng đúng câu lệnh mà `commands` nêu cho nó, và mã thoát được đọc và ghi
+vào `response/data/e2e.json`. Một mã thoát khác không thì không được ship, vì bài học sẽ nói với người
+học rằng đoạn code chạy được mà không có bằng chứng của ai cả. Bước 7 chạy câu lệnh đã khai cho từng
+track trong một vòng lặp chạy, đọc và sửa có trần là `maxE2eIterations`; vòng lặp nằm bên trong bước,
+nên `E2E_FAILED` được nêu một lần, khi hết số vòng, chứ không phải ngay lượt chạy đỏ đầu tiên. Vòng
+lặp được sửa phần cài đặt hoặc bộ khung kiểm. Nó không bao giờ được dời contract mà nó bị đo theo, nên
+fingerprint contract được lấy trước lượt chạy đầu và so lại sau lượt cuối: một test bị xoá, bị bỏ qua,
+bị nới hay bị đặc cách để lượt chạy thành xanh chính là thất bại mà phép so ấy sinh ra để bắt, và nó
+là `CONTRACT_WEAKENED`. Một track mang câu lệnh build và mã thoát của nó, một lượt chạy mang câu lệnh,
+mã thoát và các assertion có tên, và không cái nào mang một câu tuyên bố thành công.
+
+## Hình ảnh làm theo một ý định đã nêu
+
+Hình ảnh được dẫn ra từ các tuyên bố của brief, prompt nói ý định ấy được lưu cạnh kết quả, và kết quả
+được soi về độ đọc được, thứ bậc và độ trung thành với tuyên bố. Bước 5 chỉ chạy khi `stageModes` bật
+hình ảnh; khi tắt, bước không sinh gì cả, không hình và không prompt, và biên nhận ghi
+`STAGE_DISABLED`, vì một quyết định không để lại dấu vết sau này đọc thành một sự bỏ sót. Một tuyên bố
+brief chưa công bố thì không được xuất hiện, và một hình ảnh trượt chính phép soi trung thành của nó
+thì không được ship. Hình ảnh không phải đồ trang trí thêm vào lúc cuối; nó là một trong các tuyên bố,
+được vẽ ra.
+
+## Phản biện là một cuộc trao đổi lồng, và sửa lại là fallback có trần
+
+Sau phép kiểm chạy được, nhánh tạm ngưng: nó phát `response/response.json` với status `waiting` và
+`awaiting { exchange: review, kind: content-review }`. Orchestrator ghi `review/request/request.json`
+với các artifact đã sản xuất và các tuyên bố chúng đưa ra làm đầu vào, không bao giờ kèm lý lẽ của
+người sản xuất, và chạy một agent mới trên chính profile của operator này, không thừa hưởng lượt nào;
+agent ấy không bao giờ là lượt chạy đã viết brief hay một bản viết, và nó chỉ ghi `review/response/`.
+Nó chấm độ đúng, sư phạm, giá trị phỏng vấn và ngôn ngữ, cùng độ trung thành thị giác, chất lượng mã
+và bằng chứng chạy được ở những giai đoạn đã chạy. Duyệt đòi mọi điểm áp dụng được từ 85 trở lên và
+không còn finding lỗi nào mở. Một yêu cầu sửa trả về không phải một mã dừng: nó là fallback
+`REVIEW_REVISION_REQUIRED`, và nhánh sửa đúng những artifact mà các finding của phản biện nêu tên,
+theo giai đoạn chủ, rồi mở lại cuộc trao đổi cho vòng kế. Trần là `maxReviewRounds`; khi hết số vòng
+ấy mà phản biện vẫn trả về yêu cầu sửa, `REVIEW_ROUNDS_EXHAUSTED` dừng hẳn, vì một đơn vị bị viết lại
+cho vừa lòng người phản biện qua vô số vòng là một đơn vị do người phản biện viết. Một đơn vị tự tác
+giả của nó duyệt thì chưa được phản biện, và đó là lý do lượt chạy chung, lượt thừa hưởng và lý lẽ của
+người sản xuất là ba điều bị từ chối riêng biệt.
+
+## Ranh giới
+
+Context chỉ đọc. Operator chỉ ghi `response/` của nhánh mình: brief, biên nhận, bản ghi máy của phần
+build và phép kiểm chạy được, cùng các bản viết, hình, prompt và track dưới `response/artifacts/`;
+agent phản biện chỉ ghi `review/response/`. Nó chỉ chạy các câu lệnh build và kiểm đã khai. Nó không
+bao giờ viết một bài trước khi brief được đóng băng hay vượt ra ngoài những gì brief công bố, không
+nhận một kết quả học tập, ví dụ hay tuyên bố thị giác mà brief không công bố, không báo cáo một lần
+build hay một phép kiểm chưa chạy hoặc chưa đọc mã thoát, không đổi contract chạy được trong vòng lặp
+sửa, không để người sản xuất một artifact tự thực hiện, lái hay ra đề cho phản biện của chính nó, và
+không duyệt một đơn vị khi còn một điểm áp dụng được nằm dưới mức tối thiểu đã công bố. Nó không sửa
+chương trình học, không publish đơn vị lên đối tượng được phục vụ, và không tuyên bố mức sẵn sàng nào
+vượt quá các phép kiểm nó thực sự đã chạy.
+
+## Context
+
+| Alias | Bind | Bắt buộc |
+| --- | --- | --- |
+| `@remote/minio/<contentId>/<locale>` | bài học như đang được phục vụ, theo fingerprint của đối tượng đã tải; đơn vị đang được viết hoặc sửa | có |
+| `@worktrees/sessions/central-runtime` | runtime AI chạy, đọc và sửa mã sinh ra, theo generation | có |
+
+## Đầu vào
+
+| Kind | Từ đâu | Bắt buộc |
+| --- | --- | --- |
+| `content-generation-receipt` | một lượt chạy trước của `content.generate` trên cùng đơn vị; lịch sử hồi quy, vắng mặt ở lượt đầu | không |
+
+## Yêu cầu
+
+| Field | Kiểu | Mặc định | Hỏi |
+| --- | --- | --- | --- |
+| `unit` | id | — | Đơn vị nội dung đang được viết hoặc sửa |
+| `naturalLanguages` | list | vi | Các ngôn ngữ đơn vị được viết bằng; mỗi ngôn ngữ phủ trọn tập kết quả |
+| `implementationLanguages` | list | empty | Các ngôn ngữ mà track cài đặt được viết bằng; rỗng nghĩa là không có mã và không có phép kiểm chạy được |
+| `stageModes` | list `{image}` | image off | Giai đoạn tuỳ chọn nào chạy; `image on` bật bước 5 |
+| `commands` | list `{language, buildCommand, checkCommand}` | the commands the unit declares | Đúng câu lệnh build và kiểm cho mỗi track |
+| `maxE2eIterations` | number 1–20 | 2 | Bước 7 được tiêu bao nhiêu vòng chạy, đọc và sửa trước khi `E2E_FAILED` |
+| `maxReviewRounds` | number 1–20 | 2 | Fallback sửa lại được tiêu bao nhiêu vòng phản biện trước khi `REVIEW_ROUNDS_EXHAUSTED` |
+| `resume` | token | null | Token của nhánh bị chặn khi vào lại sau một mã dừng |
+
+## Các bước
+
+| # | Bước | Tham số | Đọc | Ghi | Dừng với |
+| --- | --- | --- | --- | --- | --- |
+| 1 | Kiểm gate và chạy lại | `resume` | `request/request.json`, đầu vào `content-generation-receipt` nếu có, @remote/minio/<contentId>/<locale> ở ràng buộc đơn vị đã đóng băng | — | `INVALID_INPUT`, `SOURCE_DRIFT`, `NO_PROGRESS` |
+| 2 | Ràng đơn vị đang phục vụ và runtime | `unit` | @remote/minio/<contentId>/<locale> cho chương trình học và văn phong như đang phục vụ, @worktrees/sessions/central-runtime cho cấu hình runtime, @tools/objectstorage | — | — |
+| 3 | Viết và đóng băng brief | `naturalLanguages`, `implementationLanguages` | @remote/minio/<contentId>/<locale> cho chương trình học và bằng chứng nguồn, @tools/websearch | `response/brief.md` | `BRIEF_UNBOUND` |
+| 4 | Viết mọi bản đã khai | `naturalLanguages` | `response/brief.md` như brief đã đóng băng | `response/artifacts/article.<language>.md` | `OUTCOME_UNCOVERED` |
+| 5 | Sinh hình theo các tuyên bố của nó, chỉ khi `stageModes` bật | `stageModes` | `response/brief.md` cho các tuyên bố và ý định hình ảnh đã nêu | `response/artifacts/image.<name>`, `response/artifacts/prompt.<name>.txt`, @tools/imagegen | `IMAGE_UNAVAILABLE` |
+| 6 | Cài đặt mọi track đã khai | `implementationLanguages`, `commands` | `response/brief.md`, @worktrees/sessions/central-runtime nơi mỗi câu lệnh build chạy | `response/artifacts/track.<language>.<extension>`, @tools/shell | `CODE_BUILD_FAILED` |
+| 7 | Chạy phép kiểm chạy được, tối đa `maxE2eIterations` vòng | `maxE2eIterations` | @worktrees/sessions/central-runtime nơi mỗi câu lệnh đã khai chạy | `response/data/e2e.json`, @tools/shell | `E2E_FAILED`, `CONTRACT_WEAKENED` |
+| 8 | Chờ phản biện: tạm ngưng, một agent mới đọc các artifact mà không có lý lẽ của người sản xuất, sửa và mở lại khi còn vòng | `maxReviewRounds` | `review/response/review.md` khi cuộc trao đổi done | `response/response.json` (waiting, awaiting review) | `REVIEW_REVISION_REQUIRED`, `REVIEW_ROUNDS_EXHAUSTED` |
+| 9 | Viết biên nhận và phát | — | mọi thứ ở trên | `response/response.md`, `response/response.json` | — |
+
+Với mặc định, đơn vị là một bản tiếng Việt, không hình, không track và không phép kiểm chạy được, và
+chất lượng của nó dựa hoàn toàn vào bước 8. Chạy lại thì bắt đầu lại từ bước 1, chỉ dùng lại quan sát
+có fingerprint không đổi, và tiêu thụ đúng phần delta; một brief đã sửa tới dưới dạng một fingerprint
+mới, vì cùng một fingerprint không thể cho một câu trả lời khác. Biên nhận không tuyên bố việc
+publish, không tuyên bố kết quả học tập trong sản phẩm thật, và không tuyên bố mức chấp nhận nào vượt
+quá các phép kiểm đã thực sự chạy.
+
+## Đầu ra
+
+| Kind | File | Kiểu | Bắt buộc |
+| --- | --- | --- | --- |
+| `content-generation-receipt` | `response/response.md` | md | có |
+| `content-brief` | `response/brief.md` | md | có |
+| `e2e` | `response/data/e2e.json` | data | không |
+| `content-review` | `review/response/review.md` | md | có |
+| `article` | `response/artifacts/article.<language>.md` | artifact | có |
+| `image` | `response/artifacts/image.<name>` | artifact | không |
+| `image-prompt` | `response/artifacts/prompt.<name>.txt` | artifact | không |
+| `track` | `response/artifacts/track.<language>.<extension>` | artifact | không |
+
+## Dừng
+
+| Code | Xử lý |
+| --- | --- |
+| `INVALID_INPUT` | terminate |
+| `SOURCE_DRIFT` | terminate |
+| `NO_PROGRESS` | terminate |
+| `BRIEF_UNBOUND` | terminate |
+| `OUTCOME_UNCOVERED` | terminate |
+| `IMAGE_UNAVAILABLE` | terminate |
+| `CODE_BUILD_FAILED` | terminate |
+| `E2E_FAILED` | terminate |
+| `CONTRACT_WEAKENED` | terminate |
+| `REVIEW_REVISION_REQUIRED` | fallback |
+| `REVIEW_ROUNDS_EXHAUSTED` | terminate |
+
+## Kế tiếp
+
+| Khi | Operator |
+| --- | --- |
+| đối tượng nội dung được route hoặc runtime dùng chung không trả lời ở ràng buộc đã đóng băng | `workspace.bind` |

package/operators/content-generate/self-test.mjs

@@ -0,0 +1,288 @@
+// Proves validate.mjs on a synthetic session branch: one conforming unit under the defaults with its
+// review exchange, one unit with an image and two tracks, one unit that spent the revision fallback,
+// one branch blocked on a terminate code, one branch waiting for the review, and one mutation per law,
+// each of which must fail with a line that names the defect.
+import assert from 'node:assert/strict';
+import { mkdtempSync, mkdirSync, writeFileSync, rmSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import path from 'node:path';
+import { validateContentStep } from './validate.mjs';
+
+const head = 'a'.repeat(40);
+const fp = (c) => `sha256:${c.repeat(64)}`;
+const UNIT = 'idempotent-writes';
+const BRIEF_FP = fp('b');
+const OUTCOMES = ['explain-idempotency', 'apply-request-token'];
+const CLAIMS = ['retry-is-safe'];
+const ARTICLE = (language) => `response/artifacts/article.${language}.md`;
+const TRACK = { typescript: 'response/artifacts/track.typescript.ts', go: 'response/artifacts/track.go.go' };
+const IMAGE = 'response/artifacts/image.retry.png';
+const PROMPT = 'response/artifacts/prompt.retry.txt';
+const COMMANDS = [
+  { language: 'typescript', buildCommand: 'build-typescript', checkCommand: 'check-typescript' },
+  { language: 'go', buildCommand: 'build-go', checkCommand: 'check-go' },
+];
+
+const e2eJson = (overrides = {}) => ({
+  unitId: UNIT, contractFingerprintBefore: fp('c'), contractFingerprintAfter: fp('c'), iterations: 1, maxIterations: 2,
+  tracks: COMMANDS.map((c) => ({ language: c.language, sourceRef: TRACK[c.language], buildCommand: c.buildCommand, exitCode: 0 })),
+  runs: COMMANDS.map((c) => ({ language: c.language, command: c.checkCommand, exitCode: 0, assertions: [{ name: `${c.language}-retry-is-safe`, held: true }] })),
+  ...overrides,
+});
+
+const briefMd = ({ fingerprint = BRIEF_FP, outcomes = OUTCOMES, claims = CLAIMS, dispositions = [['add', '—', 'this unit adds the idempotent write lesson']] } = {}) => `# content-brief — ${UNIT}
+
+The unit that teaches a learner why a retried write is safe.
+
+## Binding
+
+| Field | Value |
+| --- | --- |
+| Unit | ${UNIT} |
+| Objective | teach idempotent writes |
+| Audience | backend learners past the transactions unit |
+| Fingerprint | ${fingerprint} |
+
+## Learner inputs
+
+| Input | Statement |
+| --- | --- |
+| transactions | the learner already knows what a transaction is |
+
+## Outcomes
+
+| Outcome | Statement |
+| --- | --- |
+${outcomes.map((id) => `| \`${id}\` | what the learner can do: ${id} |`).join('\n')}
+
+## Claims
+
+| Claim | Statement |
+| --- | --- |
+${claims.map((id) => `| \`${id}\` | the statement the visual may encode: ${id} |`).join('\n')}
+
+## Examples
+
+| Example | Statement |
+| --- | --- |
+| retry-example | the same request token applied twice |
+
+## Dispositions
+
+| Kind | Target | Statement |
+| --- | --- | --- |
+${dispositions.map(([kind, target, statement]) => `| ${kind} | ${target} | ${statement} |`).join('\n')}
+`;
+
+const reviewMd = ({ received = [ARTICLE('vi')], scores = [90, 88, 86, 92, '—', '—', '—'], findings = [['write', 'improvement', 'one section could open faster', `${ARTICLE('vi')}:20`]], verdict = 'approved', inherited = 'none', rationale = 'withheld', reviewer = 'exec://review-1', round = 1 } = {}) => `# content-review — ${UNIT}
+
+The reviewer read the produced artifacts and nothing else.
+
+## Execution
+
+| Field | Value |
+| --- | --- |
+| Reviewer execution | ${reviewer} |
+| Inherited turns | ${inherited} |
+| Producer rationale | ${rationale} |
+| Round | ${round} |
+
+## Received
+
+| Artifact | Kind |
+| --- | --- |
+${received.map((ref) => `| ${ref} | ${ref.includes('article') ? 'article' : ref.includes('image') ? 'image' : ref.includes('prompt') ? 'prompt' : 'track'} |`).join('\n')}
+
+## Scores
+
+| Dimension | Score |
+| --- | --- |
+${['correctness', 'pedagogy', 'interview-value', 'language', 'visual-fidelity', 'code-quality', 'e2e-proof'].map((d, i) => `| ${d} | ${scores[i]} |`).join('\n')}
+
+## Findings
+
+| Owning stage | Severity | Statement | Evidence |
+| --- | --- | --- | --- |
+${findings.map(([stage, severity, statement, evidence]) => `| ${stage} | ${severity} | ${statement} | ${evidence} |`).join('\n')}
+
+## Verdict
+
+| Field | Value |
+| --- | --- |
+| Verdict | ${verdict} |
+`;
+
+const receiptMd = ({ verdict = 'approved', round = 1, editions = [['vi', ARTICLE('vi'), OUTCOMES]], approved = [ARTICLE('vi')], disabled = ['image', 'code', 'e2e'], briefFingerprint = BRIEF_FP, fallbacks = [] } = {}) => `# content-generation-receipt — ${UNIT}
+
+The unit was built against a frozen brief and read by an independent review.
+
+## Binding
+
+| Field | Value |
+| --- | --- |
+| Unit | ${UNIT} |
+| Brief fingerprint | ${briefFingerprint} |
+| Verdict | ${verdict} |
+| Round | ${round} |
+| Source head | ${head} |
+
+## Editions
+
+| Language | Article | Outcomes covered |
+| --- | --- | --- |
+${editions.map(([language, ref, covered]) => `| ${language} | ${ref} | ${covered.join(', ')} |`).join('\n')}
+
+## Approved artifacts
+
+| Artifact | Stage |
+| --- | --- |
+${approved.map((ref) => `| ${ref} | ${ref.includes('article') ? 'write' : ref.includes('image') || ref.includes('prompt') ? 'image' : 'code'} |`).join('\n')}
+
+## Findings
+
+| Code | Stage | Ref | Statement |
+| --- | --- | --- | --- |
+${disabled.map((stage) => `| \`STAGE_DISABLED\` | ${stage} | — | the ${stage} stage never ran for this unit |`).join('\n')}${disabled.length ? '\n' : ''}
+## Fallbacks taken
+
+| Code | Action |
+| --- | --- |
+${fallbacks.map(([code, action]) => `| \`${code}\` | ${action} |`).join('\n')}${fallbacks.length ? '\n' : ''}`;
+
+const requestJson = ({ extra = {} } = {}) => ({
+  schemaVersion: 9, operatorId: 'content.generate', step: 1, parallel: 1, sessionId: 's-test',
+  contexts: [{ alias: '@remote/minio/idempotent-writes/vi', head: null }, { alias: '@worktrees/sessions/central-runtime', head: null }],
+  requirements: {
+    unit: UNIT, naturalLanguages: ['vi'], implementationLanguages: [], stageModes: { image: 'off' },
+    commands: [], maxE2eIterations: 2, maxReviewRounds: 2, resume: null, ...extra,
+  },
+  inputs: {}, resume: null,
+});
+const reviewRequest = (inputs = { article: 'step-1/parallel-1/response/artifacts/article.vi.md' }) => ({ schemaVersion: 9, operatorId: 'content.generate', step: 1, parallel: 1, sessionId: 's-test', exchange: 'review', contexts: [], requirements: {}, inputs, resume: null });
+const reviewResponse = () => ({ schemaVersion: 9, operatorId: 'content.generate', step: 1, parallel: 1, exchange: 'review', status: 'done', fallbacks: [], fields: { 'content-review': 'response/review.md' }, commits: [], next: [] });
+function responseJson({ status = 'done', stop, fallbacks = [], fields = null, next = [] } = {}) {
+  return {
+    schemaVersion: 9, operatorId: 'content.generate', step: 1, parallel: 1, status, ...(stop ? { stop } : {}), fallbacks,
+    fields: fields ?? {
+      'content-generation-receipt': 'response/response.md',
+      'content-brief': 'response/brief.md',
+      article: [ARTICLE('vi')],
+    },
+    commits: [], next,
+  };
+}
+
+function writeBranch(files) {
+  const session = mkdtempSync(path.join(tmpdir(), 'content-session-'));
+  const branch = path.join(session, 'step-1', 'parallel-1');
+  for (const d of ['request', 'response/data', 'response/artifacts', 'review/request', 'review/response']) mkdirSync(path.join(branch, d), { recursive: true });
+  writeFileSync(path.join(session, 'state.json'), JSON.stringify({ id: 's-test', chain: [['1/1']], steps: { '1/1': 'content.generate' }, current: '1/1', status: 'running' }));
+  for (const [name, content] of Object.entries(files)) {
+    if (content === null) continue;
+    writeFileSync(path.join(branch, name), typeof content === 'string' ? content : JSON.stringify(content, null, 2));
+  }
+  return { branch, session };
+}
+const baseline = () => ({
+  'request/request.json': requestJson(),
+  'response/response.json': responseJson(),
+  'response/response.md': receiptMd(),
+  'response/brief.md': briefMd(),
+  [ARTICLE('vi')]: 'the vietnamese edition',
+  'review/request/request.json': reviewRequest(),
+  'review/response/response.json': reviewResponse(),
+  'review/response/review.md': reviewMd(),
+});
+
+async function expectValid(files, label) {
+  const { branch, session } = writeBranch(files);
+  const { errors } = await validateContentStep(branch);
+  rmSync(session, { recursive: true, force: true });
+  assert.deepEqual(errors, [], `${label} should be valid`);
+}
+async function expectError(files, needle, label) {
+  const { branch, session } = writeBranch(files);
+  const { errors } = await validateContentStep(branch);
+  rmSync(session, { recursive: true, force: true });
+  assert.ok(errors.some((e) => e.includes(needle)), `${label}: expected an error containing "${needle}", got:\n${errors.join('\n') || '(none)'}`);
+}
+
+const FULL_REFS = [ARTICLE('vi'), TRACK.typescript, TRACK.go, IMAGE, PROMPT];
+const fullFields = () => ({
+  'content-generation-receipt': 'response/response.md',
+  'content-brief': 'response/brief.md',
+  e2e: 'response/data/e2e.json',
+  article: [ARTICLE('vi')],
+  image: [IMAGE],
+  'image-prompt': [PROMPT],
+  track: [TRACK.typescript, TRACK.go],
+});
+const fullUnit = (overrides = {}) => {
+  const files = {
+    ...baseline(),
+    'request/request.json': requestJson({ extra: { implementationLanguages: ['typescript', 'go'], stageModes: { image: 'on' }, commands: COMMANDS } }),
+    'response/data/e2e.json': e2eJson(),
+    'response/response.json': responseJson({ fields: fullFields() }),
+    'response/response.md': receiptMd({ approved: [ARTICLE('vi'), IMAGE], disabled: [] }),
+    'review/response/review.md': reviewMd({ received: FULL_REFS, scores: [90, 88, 86, 92, 91, 89, 90] }),
+  };
+  for (const ref of FULL_REFS) files[ref] = 'artifact';
+  return { ...files, ...overrides };
+};
+const revised = () => ({
+  ...baseline(),
+  'response/response.json': responseJson({ fallbacks: ['REVIEW_REVISION_REQUIRED'] }),
+  'response/response.md': receiptMd({ round: 2, fallbacks: [['REVIEW_REVISION_REQUIRED', 'the write stage was repaired and the review exchange was reopened']] }),
+  'review/response/review.md': reviewMd({ round: 2 }),
+});
+
+await expectValid(baseline(), 'the defaults: one Vietnamese edition and its review');
+await expectValid(fullUnit(), 'an image, two tracks and their executable check');
+await expectValid(revised(), 'a second round after the revision fallback');
+await expectValid({ ...baseline(), 'response/response.json': responseJson({ status: 'blocked', stop: 'OUTCOME_UNCOVERED', fields: {} }), 'response/response.md': null, 'response/brief.md': null, 'review/request/request.json': null, 'review/response/response.json': null, 'review/response/review.md': null }, 'blocked on an uncovered outcome');
+await expectValid({ ...baseline(), 'response/response.json': { ...responseJson(), status: 'waiting', awaiting: { exchange: 'review', kind: 'content-review' }, fields: { 'content-brief': 'response/brief.md', article: [ARTICLE('vi')] } }, 'response/response.md': null, 'review/request/request.json': null, 'review/response/response.json': null, 'review/response/review.md': null }, 'waiting for the review');
+
+await expectError({ ...baseline(), 'response/response.json': { ...responseJson(), stop: 'E2E_FAILED' } }, 'only a blocked response carries a stop', 'done with a stop');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ status: 'blocked', stop: 'MADE_UP_CODE', fields: {} }), 'response/response.md': null, 'response/brief.md': null, 'review/request/request.json': null, 'review/response/response.json': null, 'review/response/review.md': null }, 'not a registered code', 'unknown stop code');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ fallbacks: ['E2E_FAILED'] }) }, 'has disposition terminate under these requirements; it cannot be taken as a fallback', 'fallback on a terminate code');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ status: 'blocked', stop: 'BRIEF_UNBOUND' }) }, 'a blocked branch carries no unit', 'blocked while carrying a unit');
+await expectError({ ...baseline(), 'request/request.json': requestJson({ extra: { mystery: 1 } }) }, 'requirements.mystery is not a field', 'undeclared requirement');
+await expectError({ ...baseline(), 'request/request.json': requestJson({ extra: { unit: '' } }) }, 'required field unit has no value', 'missing required unit');
+await expectError({ ...baseline(), 'request/request.json': requestJson({ extra: { naturalLanguages: [] } }) }, 'a unit is written in at least one natural language', 'a unit in no language');
+await expectError({ ...baseline(), 'request/request.json': requestJson({ extra: { commands: COMMANDS } }) }, 'commands must cover exactly the declared implementationLanguages', 'commands for code nobody writes');
+await expectError({ ...baseline(), 'request/request.json': requestJson({ extra: { implementationLanguages: ['typescript'], commands: COMMANDS } }) }, 'commands must cover exactly the declared implementationLanguages', 'a command for an undeclared language');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ fields: { ...responseJson().fields, article: [ARTICLE('vi'), ARTICLE('en')] } }), [ARTICLE('en')]: 'the english edition' }, 'must cover exactly the declared natural languages', 'an edition in an undeclared language');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ fields: { ...responseJson().fields, image: [IMAGE] } }), [IMAGE]: 'artifact' }, 'stageModes turns the image off, so no image and no prompt may be produced', 'an image from a stage that is off');
+await expectError(fullUnit({ 'response/response.json': responseJson({ fields: (() => { const f = fullFields(); delete f.image; delete f['image-prompt']; return f; })() }), 'response/response.md': receiptMd({ approved: [ARTICLE('vi')], disabled: [] }), 'review/response/review.md': reviewMd({ received: [ARTICLE('vi'), TRACK.typescript, TRACK.go], scores: [90, 88, 86, 92, 91, 89, 90] }) }), 'stageModes turns the image on', 'an image stage that produced nothing');
+await expectError({ ...baseline(), 'response/data/e2e.json': e2eJson(), 'response/response.json': responseJson({ fields: { ...responseJson().fields, e2e: 'response/data/e2e.json' } }) }, 'no implementation language is declared, so nothing was built and nothing ran', 'an executable record with no code');
+await expectError(fullUnit({ 'response/response.json': responseJson({ fields: (() => { const f = fullFields(); delete f.e2e; return f; })() }) }), 'a unit that ships code ships the record of building and running it', 'code with no executable record');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ contractFingerprintAfter: fp('d') }) }), 'the executable contract changed during the repair loop', 'a contract moved during repair');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ iterations: 3 }) }), 'past the bound of 2', 'a repair loop past its bound');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ maxIterations: 4 }) }), 'maxIterations 4 differs from the request', 'an iteration bound nobody approved');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ tracks: e2eJson().tracks.map((t) => (t.language === 'go' ? { ...t, exitCode: 2 } : t)) }) }), 'exits 2 and cannot be shipped as working code', 'a track that does not build');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ runs: [e2eJson().runs[0]] }) }), 'every implementation track must be exercised by the executable check', 'a track never exercised');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ runs: e2eJson().runs.map((r) => (r.language === 'go' ? { ...r, exitCode: 1 } : r)) }) }), 'executable check exits 1 and proves nothing', 'a failing executable check');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ runs: e2eJson().runs.map((r) => (r.language === 'go' ? { ...r, assertions: [{ name: 'go-retry-is-safe', held: false }] } : r)) }) }), 'did not hold, so the check proves nothing', 'an assertion that did not hold');
+await expectError(fullUnit({ 'response/data/e2e.json': e2eJson({ runs: e2eJson().runs.map((r) => (r.language === 'go' ? { ...r, command: 'go test ./...' } : r)) }) }), 'the request declared check-go', 'a check that ran another command');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ inherited: 'producer thread' }) }, 'no inherited turns', 'a review that inherited turns');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ rationale: 'received' }) }, "may not receive the producer's rationale", 'a review given the rationale');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ received: [] }) }, 'the review never received', 'an artifact nobody reviewed');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ scores: [90, 84, 86, 92, '—', '—', '—'] }) }, 'while a score sits at 84, below 85', 'approval below the minimum score');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ findings: [['write', 'error', 'the second outcome is wrong', `${ARTICLE('vi')}:40`]] }) }, 'while an error finding remains open', 'approval with an open error finding');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ verdict: 'revision', findings: [['write', 'improvement', 'nothing serious', `${ARTICLE('vi')}:40`]] }) }, 'a revision verdict must name at least one error finding', 'a revision with no error finding');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ findings: [['code', 'improvement', 'the track could be shorter', 'x']] }) }, 'cannot be assigned to the code stage, which never ran', 'a finding on a stage that never ran');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ verdict: 'revision', findings: [['write', 'error', 'the second outcome is wrong', `${ARTICLE('vi')}:40`]] }), 'response/response.md': receiptMd({ verdict: 'revision' }) }, 'while the independent review demands a revision', 'shipping against a revision verdict');
+await expectError({ ...baseline(), 'review/response/review.md': reviewMd({ round: 3 }), 'response/response.md': receiptMd({ round: 3 }), 'response/response.json': responseJson({ fallbacks: ['REVIEW_REVISION_REQUIRED'] }) }, 'past the approved maxReviewRounds of 2', 'a round past the approved rounds');
+await expectError({ ...revised(), 'response/response.json': responseJson() }, 'the REVIEW_REVISION_REQUIRED fallback that reopened the exchange must be recorded', 'a second round nobody recorded');
+await expectError({ ...baseline(), 'response/response.json': responseJson({ fallbacks: ['REVIEW_REVISION_REQUIRED'] }), 'response/response.md': receiptMd({ fallbacks: [['REVIEW_REVISION_REQUIRED', 'the write stage was repaired']] }) }, 'so the review that answered it is at least the second round', 'a revision fallback with no second round');
+await expectError({ ...baseline(), 'response/brief.md': briefMd({ dispositions: [['change', '—', 'this unit changes something unnamed']] }) }, 'a change disposition must name what it acts on', 'a disposition with no target');
+await expectError({ ...baseline(), 'response/response.md': receiptMd({ briefFingerprint: fp('9') }) }, 'Brief fingerprint differs from the frozen brief', 'a receipt measured against another brief');
+await expectError({ ...baseline(), 'response/response.md': receiptMd({ editions: [['vi', ARTICLE('vi'), [OUTCOMES[0]]]] }) }, 'leaves published outcome apply-request-token uncovered', 'an edition covering half the brief');
+await expectError({ ...baseline(), 'response/response.md': receiptMd({ editions: [['vi', ARTICLE('vi'), [...OUTCOMES, 'invented-outcome']]] }) }, 'which the brief never published', 'an edition claiming an unpublished outcome');
+await expectError({ ...baseline(), 'response/response.md': receiptMd({ disabled: ['image', 'code'] }) }, 'the e2e stage never ran and must be recorded as a STAGE_DISABLED finding', 'a stage that never ran and left no record');
+await expectError({ ...baseline(), 'response/response.md': receiptMd({ approved: [] }) }, 'must name the artifacts the review approved', 'a generated unit approving nothing');
+await expectError({ ...baseline(), 'response/response.md': receiptMd().replace('## Editions', '## Articles') }, 'missing section ^## Editions$', 'response section renamed');
+await expectError({ ...baseline(), 'review/request/request.json': null, 'review/response/response.json': null, 'review/response/review.md': null }, 'the branch is done, but it never ran', 'done without the review exchange');
+await expectError({ ...baseline(), 'response/response.json': (() => { const o = responseJson(); delete o.fields['content-brief']; return o; })() }, 'required output content-brief is not in fields', 'missing required output');
+
+process.stdout.write('content.generate self-test: 5 valid branches, 38 rejected mutations\n');