Skip to content

Synthetic radar demo, trace table closures and cause investigation #5

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperdrivebeep merged 1 commit into from
Oct 7, 2026
Merged

Synthetic radar demo, trace table closures and cause investigation #5

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
3 changes: 3 additions & 0 deletions .gitattributes
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,3 +9,6 @@
# Preserve published verification evidence byte-for-byte for SHA-256 readback.
outputs/** -text
.codex/verification/** -text

# Trace CSV exchange fixtures keep their exact bytes (BOM, CRLF, tabs, CR).
tests/fixtures/trace_csv/** -text
2 changes: 2 additions & 0 deletions .github/workflows/product-check.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,6 +52,8 @@ jobs:
run: .\.venv\Scripts\python.exe -m ruff check src apps tests migrations conftest.py scripts/pytest_environment.py
- name: Runtime architecture
run: .\.venv\Scripts\python.exe scripts/check_architecture.py
- name: Module size budget
run: .\.venv\Scripts\python.exe scripts/check_module_budget.py
- name: Web tests
run: pnpm --dir apps/web run test --run
- name: Web lint
Expand Down
1 change: 1 addition & 0 deletions .gitignore
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ field-validation/results/
# Local research and verification artifacts
docs/plans/
docs/research/
docs/decisions/
docs/verification/
PROJECT_WIKI/
outputs/
Expand Down
10 changes: 9 additions & 1 deletion AGENTS.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
## 작업 범위

- 조사·설명·설계 요청은 제품 수정을 허가하지 않는다. 구현 요청에서는 합의한 범위를 끝까지 수행하되, 의미 변경·외부 권한·비용이 필요한 부분만 질문한다.
- 현재 작업서는 해당 인수조건의 기준이다. PROJECT_WIKI와 계획·리서치·과정 기록은 로컬 전용이며 공개 checkout의 필수 입력이 아니다. 아래 공개 상세 계약은 변경 영역에 해당하는 것만 읽는다. 과거 완료 보고·기억보다 현재 코드와 해당 source의 실행 증거를 우선한다.
- 현재 작업서는 해당 인수조건의 기준이다. PROJECT_WIKI와 계획·리서치·과정 기록은 로컬 전용이며 공개 checkout의 필수 입력이 아니다. 로컬 최신 작업은 PROJECT_WIKI/local/NOW.md에서 확인한다(없으면 PROJECT_WIKI/NOW.md는 공개 상태문일 뿐이다). 아래 공개 상세 계약은 변경 영역에 해당하는 것만 읽는다. 과거 완료 보고·기억보다 현재 코드와 해당 source의 실행 증거를 우선한다.
- 기존 dirty 변경과 사용자 데이터를 보존한다. 검사 실패를 숨기려고 테스트·정책·기준값·예외 허용을 바꾸지 않는다. 변경이 필요하면 이유와 새 계약을 명시한다.

## 제품을 보존할 것
Expand Down Expand Up @@ -58,6 +58,12 @@
- 인계에는 해결한 기능, 실제 검증, 미완료/차단, 관련 source와 기록 위치를 남긴다. 제품 의미가 바뀌면 정본을 먼저, 해당 Wiki projection을 다음으로 갱신한다. 상태만 바뀌면 NOW/검증 기록만 갱신한다. 이 기록은 커밋·병합·세션 인계처럼 넘기는 지점에서 짧게 남기고, 개발 중간 단계마다 쓰지 않는다.
- 배포·외부 발송·공식 제출·새 credential/비용·물리 장비·commit/push는 사용자의 해당 실행 지시 범위를 따른다. 이 문서 자체는 그 권한을 부여하지 않는다.

- 외부 시스템 동작에 기대는 기본값은 조사가 끝난 뒤 승인한다. 승인 요청서에는 "아직 확인하지 않은 가정" 칸을 둔다.
- 기존 RPC·서비스를 재사용하는 계획은 확정 전에 그 기능을 부르는 곳과 결과를 쓰는 곳을 실제 코드 경로(파일:행)로 계획서에 적는다.
- 리뷰 지적은 사용자에게 보이는 영향이 있거나 재현 시험을 만들 수 있을 때만 반영하고 나머지는 보류 목록에 모은다. 리뷰 라운드는 2회에서 멈춘다.
- 임시 스크립트·측정 결과는 `tmp_` 접두어 또는 `outputs/` 아래에만 두고 요청이 끝나면 지운다.
- 세션이 끝날 때 미커밋 변경이 다음 세션으로 넘어가면 그 파일 수를 작업용 NOW의 "막힌 것"에 적는다. 작업 장소를 다른 폴더·저장소로 옮기는 결정에는 원본의 미커밋 자료를 어떻게 마감하는지 한 줄을 함께 적는다.

## 상세 계약 길잡이

아래 경로는 저장소 루트 기준으로 읽는다. 모든 파일을 매 턴 전부 읽으라는 뜻이 아니다.
Expand All @@ -69,3 +75,5 @@
- 제품 기능의 고정 중심: research-briefs/CORE_PRODUCT_INVARIANTS.md
- 공개 RPC 정본: docs/architecture/rpc-method-catalog.md
- 제품 확인 결과와 한계: docs/VERIFICATION.md
- 결정 기록(로컬): docs/decisions/
- 작업용 현재 상태(로컬): PROJECT_WIKI/local/NOW.md
Loading
Loading