kjh2064
5166750b53
2026-06-21 비판적 리뷰에서 spec/governance YAML이 코드 상태와 어긋난 채로 방치되던 3개 구체적 사례를 발견하고 정정했다. 근본 원인(동기화를 보장하는 장치 없음)에 대응하는 신규 CI 게이트도 함께 추가한다. - spec/aliases.yaml: deprecated alias 17건 제거(활성 참조 0건 확인 후, 2026-06-30 데드라인 전). role: deprecated_redirect인 spec/03_risk_policy.yaml, spec/04_strategy_rules.yaml 2개만 실삭제 — spec/06_exit_policy.yaml은 role: compatibility_index(영구유지 설계)였음을 재확인해 보존 - governance/gas_logic_migration_ledger_v1.yaml: 존재하지 않는 파일을 canonical 구현으로 인용하던 오류 2건 발견·정정, parity 테스트 부재로 GAS 코드 삭제 보류(F12/F13/F14) - spec/13_formula_registry.yaml: OVERHANG_PRESSURE_V1의 "-500000" 절대값 폴백을 avg_volume_5d 비례식으로 교체(EXPERT_PRIOR 등록) - tools/validate_specs.py: validate_spec_code_sync() 신규 — has_code_implementation/ code_path 필드가 있는 spec만 검사(점진적 롤아웃, 기존 PASS 상태 비파괴), 12개 파일 1차 태깅
70 lines
2.3 KiB
Python
70 lines
2.3 KiB
Python
"""WBS-7.11(2026-06-22) — spec-코드 동기화 게이트 단위 테스트."""
|
|
from __future__ import annotations
|
|
|
|
import sys
|
|
from pathlib import Path
|
|
|
|
ROOT = Path(__file__).resolve().parents[2]
|
|
if str(ROOT) not in sys.path:
|
|
sys.path.insert(0, str(ROOT))
|
|
|
|
import tools.validate_specs as vs
|
|
|
|
|
|
def test_real_repo_has_no_missing_code_path():
|
|
"""현재 저장소 상태에서 1차 태깅된 파일들은 모두 code_path가 실존해야 한다."""
|
|
errors: list[str] = []
|
|
result = vs.validate_spec_code_sync(errors)
|
|
assert result["gate"] == "PASS"
|
|
assert result["missing_code_path_count"] == 0
|
|
assert result["checked_count"] >= 10
|
|
assert not errors
|
|
|
|
|
|
def test_missing_code_path_fails(tmp_path, monkeypatch):
|
|
(tmp_path / "spec").mkdir()
|
|
(tmp_path / "governance").mkdir()
|
|
(tmp_path / "spec" / "fake_contract.yaml").write_text(
|
|
"meta:\n has_code_implementation: true\n code_path: \"tools/does_not_exist_v1.py\"\n",
|
|
encoding="utf-8",
|
|
)
|
|
monkeypatch.setattr(vs, "ROOT", tmp_path)
|
|
|
|
errors: list[str] = []
|
|
result = vs.validate_spec_code_sync(errors)
|
|
assert result["gate"] == "FAIL"
|
|
assert result["missing_code_path_count"] == 1
|
|
assert any("does_not_exist_v1.py" in e for e in errors)
|
|
|
|
|
|
def test_redirect_only_and_has_code_is_contradiction(tmp_path, monkeypatch):
|
|
(tmp_path / "spec").mkdir()
|
|
(tmp_path / "governance").mkdir()
|
|
(tmp_path / "spec" / "contradiction.yaml").write_text(
|
|
"meta:\n has_code_implementation: true\n redirect_only: true\n",
|
|
encoding="utf-8",
|
|
)
|
|
monkeypatch.setattr(vs, "ROOT", tmp_path)
|
|
|
|
errors: list[str] = []
|
|
result = vs.validate_spec_code_sync(errors)
|
|
assert result["gate"] == "FAIL"
|
|
assert any("contradiction" in e for e in errors)
|
|
|
|
|
|
def test_files_without_the_field_are_skipped_not_failed(tmp_path, monkeypatch):
|
|
(tmp_path / "spec").mkdir()
|
|
(tmp_path / "governance").mkdir()
|
|
(tmp_path / "spec" / "untouched.yaml").write_text(
|
|
"meta:\n title: legacy doc with no sync field\n",
|
|
encoding="utf-8",
|
|
)
|
|
monkeypatch.setattr(vs, "ROOT", tmp_path)
|
|
|
|
errors: list[str] = []
|
|
result = vs.validate_spec_code_sync(errors)
|
|
assert result["gate"] == "PASS"
|
|
assert result["checked_count"] == 0
|
|
assert result["total_spec_files"] == 1
|
|
assert not errors
|