From 5217c352b092150e0085dfc085c76e2ba7faf070 Mon Sep 17 00:00:00 2001 From: Sebastian Jeong Date: Mon, 17 Aug 2026 04:21:52 +0900 Subject: [PATCH] =?UTF-8?q?docs:=20AGENTS=EC=97=90=20=EB=82=A8=EC=9D=80=20?= =?UTF-8?q?=EC=98=9B=20=EC=B0=B8=EC=A1=B0=EB=A5=BC=20=EC=A0=95=EB=A6=AC?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 사라진 tools/README.md, SPEC.AUDIT.md, pytest, 없는 --keep-failed 플래그를 가리키고 있었다. 마일스톤 언급도 뺀다. --- AGENTS.md | 33 ++++++++++++++++++--------------- 1 file changed, 18 insertions(+), 15 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 7da3312..3c8c5da 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -8,9 +8,10 @@ DOS용 시스템 프로그래밍 언어 Ferro와 그 컴파일러 `fec`. 규범 | 파일 | 역할 | |---|---| | `SPEC.md` | 언어 명세. 유일한 규범 문서. 구현 지시서와 표준 라이브러리 명세는 별도 문서 | -| `tools/README.md` | 호스트 요구사항, 최초 셋업, 자동화 구조 | +| `TODO.md` | 남은 작업, 미결 결정, 순서 | +| `fec/tests/*/README.md` | 각 fixture 디렉터리가 무엇을 검사하는지 | -개발 환경과 테스트 명령 목록·플래그는 다음 CLI로 확인한다. +테스트 명령과 플래그는 다음 CLI로 확인한다. ```powershell uv run python tests/run.py --help @@ -22,12 +23,14 @@ uv run python tests/run.py --help - 코드 생성기(백엔드/IR/`lowering`)는 아직 없다. - 호스트 C 컴파일러는 구현/검증 대상이 아니다. 호스트는 편집, Git, 다운로드, 격리 작업공간 준비에만 쓴다. -- 완료하려는 기능을 직접 검사하는 `pytest` case가 통과해야 한다. 테스트가 증명하지 - 않는 기능은 완료로 처리하지 않는다. -- `uv run python tests/run.py` 는 프런트엔드 검증 엔트리이다. -- VGA 데모처럼 수동 검증이 필요한 항목은 자동 완료 게이트에서 제외한다. -- 실행 환경은 `.dosboxx/`와 `tests/run.py`로 준비되며, 과거 VM 이미지/호스트 바이너리는 - 완료 근거로 쓰지 않는다. +- 완료하려는 기능을 직접 검사하는 fixture가 통과해야 한다. 테스트가 증명하지 않는 + 기능은 완료로 처리하지 않는다. +- `uv run python tests/run.py` 가 유일한 검증 엔트리다. 툴체인은 `.dosboxx/watcom`에 + 고정되어 있고, 없으면 오류로 멈춘다. +- 거부를 기대하는 fixture는 첫 줄에 `// ERROR:<줄>:<문구>` 마커를 둔다. 마커가 없으면 + "거부되기만 하면 통과"라 검증이 약하다. +- 과거 VM 이미지나 호스트에 남은 바이너리는 완료 근거로 쓰지 않는다. +- 실행해야만 검증되는 fixture는 `fec/tests/pending-backend/`에 두고 러너가 건너뛴다. ## 빌드 함정 @@ -41,18 +44,18 @@ uv run python tests/run.py --help 명시적으로 줄인다. - [백엔드 복귀 시 유효] `R:`은 읽기 전용 저장소, `W:`은 읽기 전용 Watcom이다. 빌드 산출물은 반드시 임시 `C:\FEC`에 쓴다. -- [백엔드 복귀 시 유효] 실패 분석이 필요하면 `tests/run.py`의 `--keep-failed` 또는 - 런처 플래그로 임시 작업공간을 보존한다. +- [백엔드 복귀 시 유효] 실패 분석에는 임시 작업공간 보존이 필요하다. 그 플래그는 + 런처와 함께 사라졌으므로 다시 만들어야 한다. ## 작업 흐름 -- 명세 판단이 바뀌면 `SPEC.md`를 즉시 갱신하고 `SPEC.AUDIT.md`에 사유를 누적한다. - 구현이 명세와 다르면 둘 중 하나가 틀린 것이므로 그 자리에서 결론을 낸다. -- 검증된 마일스톤마다 커밋하고 항상 `origin`에 푸시한다. +- 명세 판단이 바뀌면 `SPEC.md`를 즉시 갱신한다. 구현이 명세와 다르면 둘 중 하나가 + 틀린 것이므로 그 자리에서 결론을 낸다. +- 코드는 컴파일러 단계로 나눈다. 마일스톤 단위 분할은 폐기했다. +- 검증된 단위마다 커밋한다. 푸시는 요청받았을 때만 한다. - primary 브랜치는 `master`다. - `.dosboxx/`의 다운로드, 실행 작업공간, 로그는 커밋하지 않는다. ## 현재 상태 -현재 구현 상태와 다음 마일스톤은 `SPEC.md`와 테스트 registry를 기준으로 판단한다. -과거 VM 이미지나 호스트에 남은 바이너리를 근거로 완료 처리하지 않는다. +`uv run python tests/run.py` 의 통과 수가 현재 상태다. 남은 작업은 `TODO.md`에 있다.