Skip to content

Read the object-model oracle in the vendor refresh, and give report.py the catalog it reads - #16

Merged
estebanzimanyi merged 2 commits into
MobilityDB:masterfrom
estebanzimanyi:tooling/vendor-refresh-reads-the-oracle
Aug 28, 2026
Merged

Read the object-model oracle in the vendor refresh, and give report.py the catalog it reads#16
estebanzimanyi merged 2 commits into
MobilityDB:masterfrom
estebanzimanyi:tooling/vendor-refresh-reads-the-oracle

Conversation

@estebanzimanyi

Copy link
Copy Markdown
Member

The vendor refresh clones PyMEOS and passes its pymeos/factory.py to the object-model audit, so the regenerated artefact is the audited one rather than the oracle-unavailable degradation. An audit without its oracle emits a different shape, a note standing in for byKind, knownCorrections and needsCorrection, so the vendored copy and the regenerated one describe different things and the drift gate reports a difference that no change causes.

report.py receives the catalog it reads, output/meos-idl.json, which is also its own default. Handed the MobilityDB include directory instead, it raises IsADirectoryError, which || true swallows, leaving meos-coverage.json unwritten and the vendored copy frozen at whatever it holds. The recipe passes no argument and fails loudly if the report fails.

The artefact this produces reads status: audited, oraclePath: pymeos/factory.py, 47 divergences of which 0 need a correction.

@estebanzimanyi
estebanzimanyi merged commit a1ddd23 into MobilityDB:master Aug 28, 2026
4 checks passed
@estebanzimanyi
estebanzimanyi deleted the tooling/vendor-refresh-reads-the-oracle branch August 28, 2026 21:31
注册 for free to join this conversation on GitHub. Already have an account? 登录 to comment

标签

None yet

项目

None yet

Development

Successfully merging this pull request may close these issues.

1 participant