Fix proof pages publication metadata #116

Merged

lost-rob0t merged 2 commits from agent/fix-proof-pages-metadata into main

2026-08-15 15:01:20 +00:00

lost-rob0t commented

2026-08-15 14:58:49 +00:00

(Migrated from github.com)

What changed

Adds the repository-required Approval Table, Changelog, and Footnotes and Glossary sections to STAR-LANG-RESEARCH-024.
Adds the same required publication metadata to STAR-SERVER-033.
Keeps approval states PENDING / NOT STARTED; no approval is fabricated.
Does not change the proof research or StarIntel verification design semantics.

Why

PR #115 merged successfully, but the subsequent Org-roam Pages run 31891145129 failed changed-document validation because both new substantive Org files were missing these three required sections.

Validation target

The repair should make scripts/validate-changed-docs.py pass and allow the complete Org-roam Pages workflow to build and deploy the two new pages.

## What changed - Adds the repository-required Approval Table, Changelog, and Footnotes and Glossary sections to STAR-LANG-RESEARCH-024. - Adds the same required publication metadata to STAR-SERVER-033. - Keeps approval states PENDING / NOT STARTED; no approval is fabricated. - Does not change the proof research or StarIntel verification design semantics. ## Why PR #115 merged successfully, but the subsequent Org-roam Pages run 31891145129 failed changed-document validation because both new substantive Org files were missing these three required sections. ## Validation target The repair should make `scripts/validate-changed-docs.py` pass and allow the complete Org-roam Pages workflow to build and deploy the two new pages.