V29 Gate 10: Close promoted parity preparation

Teach the V29 promotion preparer to rewrite promoted implementation matrix and checklist judgments before promoted-mode spec-family validation. Tighten the Gate 10 checker, document the promoted parity requirement, and add demonstration coverage for status plus parity mutation.

Author: geraldarthurdavis

BITCODE_SPEC_V29_DELTA.md

@@ -216,7 +216,8 @@ Closure acceptance:
   pull requests into `main`, validates the source branch, runs promotion-grade
   proof, and commits the generated V29 promotion artifacts back to `version/v29`.
 - `prepare-bitcode-spec-family-promotion.mjs` rewrites V29 hand-authored status
-  truth for promoted mode.
+  truth and the promoted V29 implementation matrix/checklist judgments for
+  promoted mode.
 - `prepare-bitcode-runtime-canon-promotion.mjs` rewrites both standalone
   demonstration posture and commercial `packages/protocol` posture for V29
   active / V30 draft.

BITCODE_SPEC_V29_PARITY_MATRIX.md

@@ -325,7 +325,8 @@ Accepted surfaces:
   Terminal browser proof, runtime/spec preparation, generated proof creation,
   and promoted-family validation.
 - `scripts/prepare-bitcode-spec-family-promotion.mjs` rewrites V29
-  hand-authored status truth for promoted mode.
+  hand-authored status truth and the promoted V29 implementation
+  matrix/checklist judgments for promoted mode.
 - `scripts/prepare-bitcode-runtime-canon-promotion.mjs` rewrites standalone
   demonstration posture and commercial `packages/protocol` posture/data for V29
   active / V30 draft.

protocol-demonstration/test/v22-canon-drift.test.js

@@ -460,6 +460,80 @@ test('runtime promotion preparation rewrites optional protocol package posture c
   assert.match(rewrittenPackageState, /"inheritedCanonSurfaceLabel": "V16\/V17\/V18\/V19\/V20\/V21\/V22\/V23\/V24\/V25\/V26\/V27\/V28"/);
 });
 
+test('V29 spec-family promotion preparation rewrites status truth and promoted parity judgments', async () => {
+  const fixtureRoot = await fs.mkdtemp(path.join(os.tmpdir(), 'bitcode-spec-family-v29-'));
+  const status = [
+    '## Status',
+    '',
+    '- Current canonical/latest target: `V28`',
+    '- Source parity state: draft',
+    '- V29 state: draft implementation underway'
+  ].join('\n');
+  const parity = [
+    '# Bitcode Spec V29 Parity Matrix',
+    '',
+    status,
+    '',
+    '## V29 implementation matrix',
+    '',
+    '| Area | Gate | Source evidence | Judgment | Closure requirement |',
+    '| --- | --- | --- | --- | --- |',
+    '| Promotion readiness | Gate 10 | promotion workflow | drafted | Generated canon can be committed. |',
+    '',
+    '## V29 implementation checklist',
+    '',
+    '| Area | Required V29 result | Judgment |',
+    '| --- | --- | --- |',
+    '| Gate 10 promotion readiness | promotion dry-run and generated-canon automation | drafted |',
+    '',
+    '## Other table',
+    '',
+    '| Area | Judgment |',
+    '| --- | --- |',
+    '| Draft-only audit | drafted |'
+  ].join('\n');
+  /** @type {Array<[string, string]>} */
+  const files = [
+    ['BITCODE_SPEC_V29.md', `# Bitcode Spec V29\n\n${status}\n\n## Body\nx\n`],
+    ['BITCODE_SPEC_V29_DELTA.md', `# Bitcode Spec V29 Delta\n\n${status}\n\n## Body\nx\n`],
+    ['BITCODE_SPEC_V29_NOTES.md', `# Bitcode Spec V29 Notes\n\n${status}\n\n## Body\nx\n`],
+    ['BITCODE_SPEC_V29_PARITY_MATRIX.md', parity]
+  ];
+  await Promise.all(files.map(([relativePath, content]) => fs.writeFile(path.join(fixtureRoot, relativePath), content, 'utf8')));
+
+  const output = execFileSync(process.execPath, [
+    prepareSpecFamilyScriptPath,
+    '--version',
+    'V29',
+    '--commit',
+    'deadbeef',
+    '--repo-root',
+    fixtureRoot
+  ], {
+    cwd: fixtureRoot,
+    encoding: 'utf8'
+  });
+
+  assert.match(output, /Prepared V29 hand-authored spec family for promotion with proof-source commit deadbeef/);
+
+  for (const relativePath of files.map(([relativePath]) => relativePath)) {
+    const rewritten = await fs.readFile(path.join(fixtureRoot, relativePath), 'utf8');
+    assert.match(rewritten, /Current canonical\/latest target: `V29`/);
+    assert.match(rewritten, /Canonical proof-source commit: `deadbeef`/);
+    const versionStateLine = rewritten.match(/^- V29 state: (.+)$/m);
+    const stateValue = versionStateLine?.[1];
+    if (typeof stateValue !== 'string') {
+      throw new Error(`Missing V29 state line in ${relativePath}`);
+    }
+    assert.doesNotMatch(stateValue, /draft|pending|in progress/i);
+  }
+
+  const rewrittenParity = await fs.readFile(path.join(fixtureRoot, 'BITCODE_SPEC_V29_PARITY_MATRIX.md'), 'utf8');
+  assert.match(rewrittenParity, /\| Promotion readiness \| Gate 10 \| promotion workflow \| closed \|/);
+  assert.match(rewrittenParity, /\| Gate 10 promotion readiness \| promotion dry-run and generated-canon automation \| closed \|/);
+  assert.match(rewrittenParity, /\| Draft-only audit \| drafted \|/);
+});
+
 test('V25 promotion dry-run includes drift detection and runtime posture preparation', () => {
   const output = execFileSync(process.execPath, [
     promoteScriptPath,

scripts/check-v29-gate10-local-staging-promotion-readiness.mjs

@@ -178,8 +178,11 @@ function main() {
     failures,
     prepareSpecScript.includes("if (version === 'V29')") &&
       prepareSpecScript.includes('V29 canonical system specification for Terminal transaction depth') &&
-      prepareSpecScript.includes('BITCODE_SPEC_V29_PROVEN.md'),
-    'Spec-family promotion preparation must rewrite V29 hand-authored status truth.',
+      prepareSpecScript.includes('BITCODE_SPEC_V29_PROVEN.md') &&
+      prepareSpecScript.includes('rewritePromotedParityJudgments') &&
+      prepareSpecScript.includes('implementation matrix') &&
+      prepareSpecScript.includes('implementation checklist'),
+    'Spec-family promotion preparation must rewrite V29 hand-authored status truth and promoted parity judgments.',
   );
   assertCheck(
     failures,

scripts/prepare-bitcode-spec-family-promotion.mjs

@@ -97,6 +97,54 @@ function rewriteStatusValues(content, values) {
   return `${content.slice(0, section.start)}${section.prefix}${body}${content.slice(section.end)}`;
 }
 
+/**
+ * @param {string} content
+ * @param {string} heading
+ * @returns {string}
+ */
+function rewritePromotedParityTableJudgments(content, heading) {
+  const headingPattern = new RegExp(`^## ${heading.replace(/[.*+?^${}()|[\]\\]/g, '\\$&')}\\s*$`, 'm');
+  const headingMatch = content.match(headingPattern);
+  if (!headingMatch || typeof headingMatch.index !== 'number') return content;
+
+  const sectionStart = headingMatch.index;
+  const nextHeadingMatch = content.slice(sectionStart + headingMatch[0].length).match(/^##\s/m);
+  const sectionEnd = nextHeadingMatch
+    ? sectionStart + headingMatch[0].length + nextHeadingMatch.index
+    : content.length;
+  const section = content.slice(sectionStart, sectionEnd);
+  const lines = section.split('\n');
+  const headerIndex = lines.findIndex((line) => line.trim().startsWith('|'));
+  if (headerIndex < 0) return content;
+
+  const headers = lines[headerIndex].split('|').slice(1, -1).map((cell) => cell.trim());
+  const judgmentIndex = headers.findIndex((header) => header === 'Judgment');
+  if (judgmentIndex < 0) return content;
+
+  const rewrittenLines = lines.map((line, index) => {
+    if (index <= headerIndex + 1 || !line.trim().startsWith('|')) return line;
+    const cells = line.split('|');
+    const cellIndex = judgmentIndex + 1;
+    if (!cells[cellIndex] || cells[cellIndex].trim() !== 'drafted') return line;
+    cells[cellIndex] = ' closed ';
+    return cells.join('|');
+  });
+
+  return `${content.slice(0, sectionStart)}${rewrittenLines.join('\n')}${content.slice(sectionEnd)}`;
+}
+
+/**
+ * @param {string} content
+ * @param {string} version
+ * @returns {string}
+ */
+function rewritePromotedParityJudgments(content, version) {
+  return [
+    `${version} implementation matrix`,
+    `${version} implementation checklist`
+  ].reduce((rewritten, heading) => rewritePromotedParityTableJudgments(rewritten, heading), content);
+}
+
 /**
  * @param {string} version
  * @param {string} commit
@@ -146,7 +194,7 @@ function rewritePromotionStatus(version, commit, content, kind) {
       notes: 'canonical promotion complete; V29 notes record the accepted Terminal-depth, local/staging, and promotion-readiness evidence',
       parity: 'canonical promotion complete; V29 parity truth, product-gate audit, generated proof, and promotion automation are aligned'
     };
-    return rewriteStatusValues(content, {
+    const rewritten = rewriteStatusValues(content, {
       Scope: scopeByKind[kind],
       ...(kind !== 'delta'
         ? { 'Last fully realized canonical target preserved in source': '`V29`' }
@@ -158,6 +206,7 @@ function rewritePromotionStatus(version, commit, content, kind) {
         'V29 source-side Terminal transaction, wallet/BTC, Reading observability, AssetPack disclosure, settlement repair, organization authority, UX proof, workflow, and promotion surfaces are canonicalized in the promoted V29 file family',
       'V29 state': stateByKind[kind]
     });
+    return kind === 'parity' ? rewritePromotedParityJudgments(rewritten, version) : rewritten;
   }
 
   if (!['V21', 'V22', 'V23', 'V24', 'V25'].includes(version)) {