93 lines
3.5 KiB
Python
93 lines
3.5 KiB
Python
#!/usr/bin/env python3
|
|
# -*- coding: utf-8 -*-
|
|
from __future__ import annotations
|
|
|
|
from pathlib import Path
|
|
|
|
EXPECTED_PROJECT_VERSION = "0.4.7"
|
|
EXPECTED_RUNTIME_VERSION = "0.4.7-production-audited-nav-name-conflict-omission"
|
|
EXPECTED_BUILDER = "cm95pbf-builder/0.4.6-spatial-candidate-query"
|
|
|
|
|
|
def fail(msg: str) -> None:
|
|
print(f"FAIL: {msg}")
|
|
raise SystemExit(2)
|
|
|
|
|
|
def main() -> None:
|
|
root = Path.cwd()
|
|
pyproject = root / "pyproject.toml"
|
|
init_py = root / "src" / "cm95pbf" / "__init__.py"
|
|
release_py = root / "src" / "cm95pbf" / "release.py"
|
|
builder_py = root / "src" / "cm95pbf" / "builder.py"
|
|
|
|
for path in (pyproject, init_py, release_py, builder_py):
|
|
if not path.exists():
|
|
fail(f"缺少文件: {path}")
|
|
|
|
if f'version = "{EXPECTED_PROJECT_VERSION}"' not in pyproject.read_text(encoding="utf-8"):
|
|
fail("project version 不正确")
|
|
|
|
init_text = init_py.read_text(encoding="utf-8")
|
|
if EXPECTED_RUNTIME_VERSION not in init_text:
|
|
fail("runtime version 不正确")
|
|
if EXPECTED_BUILDER not in init_text:
|
|
fail("builder contract 被意外改变")
|
|
|
|
release_text = release_py.read_text(encoding="utf-8")
|
|
required = [
|
|
"AMBIGUOUS_DIRECT_NAMES_OMIT_LABEL_FAIL_CLOSED",
|
|
"_collect_nav_name_conflict_expectations",
|
|
"_observe_nav_name_conflict_feature",
|
|
"_finalize_nav_name_conflict_audit",
|
|
"ambiguous_conflict_was_labeled",
|
|
'failures.append("nav_name_conflict_audit")',
|
|
'"nav_name_conflict_omissions"',
|
|
'"nav_name_conflict_unique_outputs"',
|
|
]
|
|
for fragment in required:
|
|
if fragment not in release_text:
|
|
fail(f"release gate 缺少: {fragment}")
|
|
|
|
# Critical invariant: old unconditional nav_name_conflicts hard failure must be gone.
|
|
if 'failures.append("nav_name_conflicts")' in release_text:
|
|
fail("仍存在旧 nav_name_conflicts unconditional hard-fail")
|
|
|
|
# Critical invariant: PBF builder stays byte-semantics compatible with v1.4.6 contract.
|
|
builder_text = builder_py.read_text(encoding="utf-8")
|
|
for fragment in [
|
|
'"POINT": ("chart_point_geometry", "spx_point_geom")',
|
|
'"LINE": ("chart_line_geometry", "spx_line_geom")',
|
|
'"AREA": ("chart_area_geometry", "spx_area_geom")',
|
|
"FORCE INDEX ({spatial_index})",
|
|
"STRAIGHT_JOIN chart_feature f ON f.id=g.feature_id",
|
|
]:
|
|
if fragment not in builder_text:
|
|
fail(f"v1.4.6 builder contract 缺少: {fragment}")
|
|
|
|
try:
|
|
import cm95pbf
|
|
except Exception as exc:
|
|
fail(f"无法 import cm95pbf: {exc}")
|
|
|
|
if getattr(cm95pbf, "__version__", None) != EXPECTED_RUNTIME_VERSION:
|
|
fail(f"installed runtime={getattr(cm95pbf, '__version__', None)!r}")
|
|
if getattr(cm95pbf, "BUILDER_CONTRACT_VERSION", None) != EXPECTED_BUILDER:
|
|
fail(f"installed builder={getattr(cm95pbf, 'BUILDER_CONTRACT_VERSION', None)!r}")
|
|
|
|
print("CM95 PBF v1.4.7 preflight")
|
|
print("=" * 72)
|
|
print(f"Project version : {EXPECTED_PROJECT_VERSION} PASS")
|
|
print(f"Runtime version : {EXPECTED_RUNTIME_VERSION} PASS")
|
|
print(f"Builder contract REUSED : {EXPECTED_BUILDER} PASS")
|
|
print("Existing v1.4.6 plan reusable : PASS")
|
|
print("Ambiguous name policy : OMIT LABEL / FAIL CLOSED PASS")
|
|
print("Trace/report count gate : PASS")
|
|
print("PBF label-absence gate : PASS")
|
|
print("No PBF rebuild required : PASS")
|
|
print("OVERALL : PASS")
|
|
|
|
|
|
if __name__ == "__main__":
|
|
main()
|