Skip to content

docs(project): refresh conformance records to the current develop head - #1034

Merged
HuiJun merged 3 commits into
developfrom
docs/refresh-conformance-records
Oct 12, 2026
Merged

HuiJun merged 3 commits into
developfrom
docs/refresh-conformance-records

Conversation

@devin-ai-integration

@devin-ai-integration devin-ai-integration Bot commented Oct 9, 2026 •

Copy link
Copy Markdown
Contributor

What and why

An audit of every conformance record under docs/project/ against a fresh run of its gate on develop, first at 42b54859f and re-run at 687d6f501 (one day past v0.10.0). Every CI-gated baseline — Xpect, pilot differential, rejection, PSSM referee, fUML referee, validation census, transformation census, documentation counts, the five corpus gates, library-XMI identity, execution conformance and the gRPC conformance suite — reproduces its committed figures unchanged. Three records had drifted and are refreshed here:

  • docs/project/roadmap.md — the "Where the repository stands" gate table was still the v0.9.1 measurement. It is re-measured at the develop head one day past v0.10.0, with the v0.9.1 figure kept in brackets where it moved (pilot corpora 9 → 16 files reporting, stdlib 107 → 110, execution conformance 1224 → 1490, rejection oracle 310 → 313 cases, validation census 158/6 → 155/9 faithful/approximate, PSSM 60/12/30/1 → 56/6/34/7, the execution-conformance case, golden-trace and robustness counts, RDF and API round trips 358 → 365 models, and the test-suite inventory). The Test-function counts move from the prose into the table, and the paragraph that still described the v0.9.1 head (311 rejection models, PSSM 52/12) is replaced by one stating that nothing between the v0.10.0 tag and the develop head is a gate input.
  • docs/project/grammar-coverage-baseline.json — the advisory grammar-production census's input figures (file and line counts of the local corpora it reads) lagged the tree; regenerated with go run -C tools ./cmd/grammar-coverage -baseline …. No production-coverage row moved.
  • README.md — the "Completeness" bullet still read 105 of 105 standard library files with 11 extensions; the parser gate reads 110 (94 vendored OMG files, 16 OpenSysML extensions), as the README's own parser-coverage paragraph already states.

No implementation changed; the pinned oracle inputs were re-fetched at their pins and every movement above is the tree growing, not a conformance movement.

How it was verified

  • go run -C tools ./cmd/pilot-xpect -check, pilot-diff -check, pilot-reject -check, pssm-referee -check, fuml-referee -check, validation-census -check, transformation-census -check — all agree with their committed baselines.
  • go test -count=1 ./tests/corpus ./tests/identity with the require variables set (training 100/100, pilot corpora, PSSM migration, RDF and API round trips, library XMI) — pass.
  • make conformance, go test ./internal/exec/runtime -run 'TestExecutionConformance|TestExecutionTrace' — pass.
  • make docs-counts, make docs-check, python3 scripts/check-doc-ids.py, make ontology-table-check, make stdlib-snapshot-check, go test -C tools ./census/grammar/... — pass.
  • The table's test-suite figures are go run -C tools ./cmd/doc-counts -site-blocks on this tree.

Checklist

  • make test and make lint pass locally (documentation-only change; the gates above were run)
  • Tests added or updated for the change (none needed)
  • Documentation extended where it already covers the surface (see CONTRIBUTING.md)
  • Changelog entry added (project-record refresh, no user-facing change)
  • baselines regenerated and make docs-counts run if a gate count moved
  • No internal work-item labels in the body, docs, or changelog

Re-measure the roadmap's gate table at develop (42b5485, four days past
v0.9.2) with the v0.9.1 figures kept in brackets, regenerate the grammar
coverage baseline over the current local corpora, and correct the README's
standard-library prose to the 110 files the parser gate reads.

Co-Authored-By: jason.han <hanhuijun@gmail.com>
@devin-ai-integration

Copy link
Copy Markdown
Contributor Author

I'll fix CI failures and address comments from users with write access. I'll skip comments containing "(aside)".

  • Disable automatic comment, CI, and merge conflict monitoring

@devin-ai-integration
devin-ai-integration Bot marked this pull request as ready for review October 9, 2026 22:27

@devin-ai-integration devin-ai-integration Bot left a comment

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🔍 Devin Review: 2 flags

Not posted on this PR by your GitHub settings — view them in Devin Review. (Configure)

Devin Review

devin-ai-integration Bot and others added 2 commits October 12, 2026 00:24
… head

Re-measure the roadmap gate table on develop one day past v0.10.0, fold the
Test-function counts into the table and drop the stale paragraph that still
described the v0.9.1 head; regenerate the grammar-coverage input census.

Co-Authored-By: jason.han <hanhuijun@gmail.com>
@HuiJun
HuiJun merged commit afeebc5 into develop Oct 12, 2026
21 checks passed
@HuiJun
HuiJun deleted the docs/refresh-conformance-records branch October 12, 2026 01:42
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