조건문(Predicate)이 원격 파서에 의해 누락된 사례

-- seed_orders.sql
-- 랩 피처 전용. 스크래치 테이블을 삭제하고 다시 로드합니다.
DROP TABLE IF EXISTS orders;
...

-- orders_filter.sql (이전)
SELECT id, status
FROM orders
...

-- orders_clean.sql (simplify 패스 후)
SELECT id, status
FROM orders;

#!/usr/bin/env python3
"""랩 게이트: 최상위 WHERE가 사라지면 실패합니다. SQL 파서가 아닙니다."""
import pathlib
...

python3 check_predicate.py orders_filter.sql orders_clean.sql
echo

단순화된 후보(candidate)의 경우 예상 라인은 'predicate changed'이며 예상 상태는 1입니다. 해당 쌍에서 상태가 0이라는 것은 게이트가 고장 난 구성 요소라는 의미입니다. 실제 diff에 사용하기 전에 반드시 게이트를 수정하십시오. 놀라운 통과(surprise pass)를 검사에서의 결함으로 간주하는 그 역전 현상이야말로 유지할 가치가 있는 습관입니다.

18시간 차에 컨텍스트 캡처 기능을 추가하여 나중에 읽는 사람이 어떤 바이너리가 해당 텍스트를 승인했는지 볼 수 있게 했습니다. 이것은 창고 목록이 아니라 실험 노트입니다.

해시 라인이 타임스탬프보다 더 중요합니다. 다이제스트(digest)를 지적할 수 없는 검토는 대화가 아닙니다. 그것은 변경 기록이 아닙니다.

원격 셸에서 처음 발생한 실제 실패는 SQL이 아니었습니다. 작업은 `/tmp`에서 시작되었고, 상대 경로가 노트북에만 존재했던 파일로 해석되었습니다. `sha256sum`이 0이 아닌 값으로 종료되었습니다. 그것이야말로 10,000개 행을 조용히 읽어들이는 것보다 나은 실패입니다.

테스트를 반복한 것은 `git rev-parse --show-toplevel`과 해당 디렉토리로의 `cd`가 이루어진 후에만 가능했습니다. 빌려온 셸은 빌려온 책상과 같습니다. 이전 사용자가 당신의 서랍에 종이들을 그대로 두었다고 가정하지 마십시오.

30시간 차에는 텍스트 게이트 옆에 행 개수 오라클(row-count oracle)을 배치했습니다. 로드는 고정되어 있습니다: 10,000개의 삽입(insert) 중 37개가 프리디케이트와 일치합니다. 예상되는 숫자는 사람이 논쟁할 수 있는 주석 형태로 저장소에 존재합니다. 그것은 충분한 행 개수에 대한 느낌이 아닙니다.

만약 `FIXTURE_URL`이 비어 있다면 중단하십시오. 클라이언트가 노트북의 기본 데이터베이스로 흘러가지 않도록 하고, 이 URL을 고객 행을 보관하는 스토어로 겨냥하지 마십시오.

무료 서버는 사용자가 삭제할 수 있는 데이터에 대해 클라이언트를 실행하는 장소로만 허용됩니다. 이 디스크를 임시 작업 공간(scratch)으로 취급하십시오. 박스 운영자가 작업 공간을 볼 수 있다고 가정하고, 세션 간에 작업 공간이 사라질 수 있다고 가정하십시오. 비밀 정보, 덤프 파일, 프로덕션 연결 문자열은 그 서랍장에 두어서는 안 됩니다.

순서대로 깨진 것은 녹색 설명(green explain)에 대한 신뢰, 그다음 상대 경로에 대한 신뢰, 그리고 "simplify"가 술어(predicates)를 보존한다는 신뢰였습니다. 유지된 것은 다이제스트(digest), 술어 게이트의 0이 아닌 상태, 그리고 37 대 10,000의 피처 계약(fixture contract)이었습니다. 이 메모들이 반복할 내용은 바로 그 순서입니다. 호스트는 교체 가능합니다.

순서는 작업 로그에 붙여넣어도 플랫폼이 될 만큼 길지 않습니다. 상대 읽기(relative read)가 발생하기 전에 리포지토리 루트를 고정하십시오. 전후 파일의 해시 값을 계산하십시오. `WHERE` 본문이 변경되거나, 파괴적인 동사(destructive verb)가 나타나고 그 옆에 포기 면제 파일(waiver file)이 없는 경우 후보를 거부하십시오.

실제로 배포할 클라이언트를 사용하여 두 버전을 모두 설명하십시오. 피처에서 카운트 오라클을 실행하십시오. `review-context.txt` 파일을 해시 값 근처에 저장하십시오. 무료 모델(free-model)의 코멘트는 의견과 같은 로그를 차지할 수 있지만, 종료 상태와 동등한 투표권을 얻지는 못합니다.

여러 실제 변경 사항들이 이 게이트를 유일한 검토 기준으로 사용해서는 안 됩니다. 프로덕션 자격 증명(credentials), 백업, 그리고 개인 데이터를 포함하는 모든 덤프에 대해서는 건너뛰십시오. ORM 마이그레이션, SQL을 연결하는 프로시저, 또는 제한 사항이 `WHERE`가 아닌 `JOIN`이나 `HAVING`에 있는 파일의 유일한 검사로 사용해서도 안 됩니다.

스크립트 내의 표현식은 그러한 형태들을 볼 수 없으며, 조용한 통과는 거짓말입니다. 무료 서버를 영구 저장소(durable storage)로 취급하지 마십시오. 무료 모델 접근이나 무료 서버 옵션이 누락되었거나, 제한되어 있거나, 읽지 않은 약관에 의해 구속된다면, 다른 어떤 기계에서도 동일한 명령을 실행하십시오. 이 방법은 특정 제품에 의존하지 않습니다.

MonkeyCode의 무료 모델 액세스를 검토 단계에서 계속 사용하고 싶은 독자들은 현재 약관을 읽고, 고객 데이터로부터 픽스처를 오프라인으로 유지해야 합니다. 위의 게이트가 어느 쪽이든 복사할 가치가 있는 부분입니다.

만약 술어(predicate) 제거가 의도적인 경우라면, 후보 해시로 이름 붙인 별도의 파일에 포함되어야 하며, 검토 과정에서 사람이 방어할 수 있는 한 문장으로 구성되어야 합니다. 이 게이트는 해당 파일을 요구하면서도 여전히 diff를 출력할 수 있습니다. 침묵은 면제(waiver)가 아닙니다.

더 짧은 쿼리를 호출하는 모델이 더 깨끗하다고 하는 것 역시 면제가 아닙니다. '깨끗하다'와 '동등하다'는 다른 주장이며, 두 번째 주장만이 마이그레이션에 포함되어야 합니다.

48시간이 지나자 폴더에는 보존할 가치가 있는 세 가지 아티팩트가 담겨 있었습니다: 두 개의 SQL 파일인 `check_predicate.py`와 `review-context.txt`입니다. 지연 시간 테이블은 수집되지 않았습니다. 단일 실험 셸로는 이를 지원할 수 없으며, 테이블을 발명하는 것은 픽스처를 연구처럼 꾸미는 것과 같습니다.

모델은 순위가 매겨지지 않았습니다. 결론은 좁게 유지됩니다. 원격 파서는 필터를 삭제하는 변경 사항을 수락할 수 있으며, 무료 검토 패스가 그 삭제의 주체가 될 수 있습니다. 술어 텍스트나 픽스처 카운트가 이동하면 실패로 종료되는 체크는, 어떤 바이너리가 이를 수락했는지 기록합니다.