Skip to content

docs: scope the 18.12.1 compat run's dual-source claim to the verified overlap - #17

Merged
rz1989s merged 1 commit into
mainfrom
docs/omp-18.12.1-span-wording
Oct 18, 2026
Merged

rz1989s merged 1 commit into
mainfrom
docs/omp-18.12.1-span-wording

Conversation

@rz1989s

@rz1989s rz1989s commented Oct 18, 2026

Copy link
Copy Markdown
Member

Post-release archive correction for the 18.12.1 run (v0.8.5 already shipped; no code or version changes).

The research-span line claimed 'both sources … target sections identical'. Actual dual-source status, now verified and recorded: GitHub release bodies are the complete full-span primary source; the running 18.12.1 (Tern-managed) binary embeds all five ## [ver] headings but its strings-extractable windows are a partial subset per release (fragmentation — the 18.12.1 window holds only the pi-coding-agent section). Cross-check: 210 binary window lines vs 453 body-changelog lines — 0 contradictions, every window line verbatim in the bodies. Verdict (UNCHANGED surface) was and remains grounded in the complete bodies; only the source-coverage wording changes.

@rz1989s
rz1989s merged commit 7ef1a9d into main Oct 18, 2026
1 check passed
@rz1989s
rz1989s deleted the docs/omp-18.12.1-span-wording branch October 18, 2026 03:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant