무료 서버 실행 전에 시니어가 서명한 업로드 세트

이 워크플로우는 측정된 프로덕션 인시던트에서 시작하는 것이 아니라 페어링 시나리오에서 시작합니다. 이 시나리오에서 블록은 40분의 시간이 남아 있었습니다. 웹훅 검증기(webhook verifier)가 새로운 서명 확인 기능을 추가했고, 노트북 스위트는 이미 관련 없는 패키지 설치로 바빴습니다. 무료 서버 좌석이 사용되지 않은 채 놓여 있었습니다. 에디터에서는 이미 무료 모델 접근이 열려 있었습니다.

빠른 경로는 명백해 보였습니다. 피처 트리(fixture tree)를 업로드하고, 모델에게 스위트를 재실행하도록 요청한 다음, 녹색 로그를 시간 종료로 간주하는 것이었습니다. 시니어는 도구를 금지하지 않았습니다. 시니어가 금지한 것은 그 지름길이었습니다.

공개 고지: 이 문서는 MonkeyCode의 제품 아웃리치(product outreach)의 일환으로 준비되었습니다. 무료 모델 접근과 무료 서버 옵션은 여기에서 운영자 제공 가용성 주장으로 간주됩니다. 이 초안은 상세 정보를 위한 기본 출처가 첨부되지 않았기 때문에 모델, 할당량(quota), 하드웨어, 리전 또는 보존 기간을 명시하지 않습니다.

아래 명령어들은 실행되지 않은 예시입니다. 경로는 설명용입니다. 속도 향상 수치는 주장되지 않으며, 고객 인시던트가 묘사되지 않았습니다.

시간이 보호해야 했던 것들

차이점(diff) 자체는 작았습니다. verify_signature는 오래된 타임스탬프와 잘못된 다이제스트를 거부해야 했습니다. 위험은 라인 수에 있는 것이 아니었습니다. 위험은 호스팅된 실행이 완료로 정의하도록 내버려 두는 것이었으며, 그 사이에 피처들이 여전히 로컬 캡처, 클럭 가정(clock assumption), 그리고 팀이 노트북에서 복사할 수 없는 호스트 이름을 가지고 있는 경우였습니다.

이 계정에 게시된 자료들은 이미 재시도 예산(retry budgets), 재생 종료 코드(replay exit codes), 경로 거부 목록(path denylists)을 다루었습니다. 이 워크플로우는 다른 객체를 유지합니다. 그것은 호스트 분할 매니페스트(host-split manifest)를 유지합니다: 모델이 읽을 수 있는 파일, 무료 서버가 실행할 수 있는 테스트, 그리고 원격 좌석이 유휴 상태일 때도 노트북에 남아 있어야 하는 확인 항목들입니다.

그 분할이 기술적인 주제입니다. 호스팅된 용량은 그 주변에 놓여 있습니다. 용량이 분할을 대체하지는 않습니다.

모든 원격 명령어 전에 작성한 질문들

시니어는 채팅 창이 아니라 페어링 노트에 답변을 요구했습니다.

어떤 경로에 토큰, 고객 페이로드, 서명 키 또는 내부 호스트 이름이 포함되어 있습니까?
클럭, 로케일, DNS 또는 아웃바운드 네트워크에 의존하여 다른 호스트가 잘못된 이유로 통과할 수 있는 테스트는 무엇입니까?
세션 종료 후 두 사람 모두 명령어로 재실행해야 하는 실패는 무엇입니까?
무료 서버가 비어 있거나, 새 테스트를 건너뛰거나, 실행 도중에 초기화되면 중지 규칙은 무엇입니까?
노트북에서 무언가가 나가기 전에 업로드 세트를 누가 이니셜(initials)로 합니다?

이 답변들은 패치보다 오래 걸렸습니다. 모델 문단은 업로드 세트를 이니셜할 수 없습니다. 주니어(junior)가 초안을 소유합니다. 시니어(senior)가 서명을 소유합니다. 어느 누구라도 원격 실행을 중지할 수 있습니다.

살아남지 못한 막다른 길 (Dead ends that did not survive)

건너뛰기(skip)는 성공처럼 보였다. 첫 번째 원격 시도는 무료 서버에서 패키지 타겟을 실행했습니다. 로그는 종료 코드 0에서 끝났습니다. 새 테스트는 시작되지 않았습니다. 서버 이미지에는 로컬 서명자에 대한 스텁(stub)이 없었고, 러너(runner)는 누락된 추가 항목을 건너뛰기(skip)로 처리했습니다. 녹색은 수집되지 않았음을 의미합니다. 검증자가 보유하고 있음을 의미하지는 않습니다.

파일명 낙관론(Filename optimism)은 캡처를 안전하다고 분류했다. 업로드할 피처(fixture)가 무엇인지 물었을 때, 모델은 payload.sample.json을 괜찮다고 표시했습니다. 그 파일 안의 주석에는 바이트가 프로덕션 캡처에서 왔으며 외부 이름만 정리되었다고 적혀 있었습니다. 이 분류는 폐기되었습니다. 안전성은 접미사(suffix) 결정이 아니라 콘텐츠 결정입니다.

어디선가 바이패스 헤더(bypass header)가 나타났다. 디프(diff)와 피처를 무료 모델 세션에 붙여넣자, 로컬 디버깅을 위해 편집된 X-Verify-Bypass: 1이 제안되었습니다. 이러한 헤더는 리포지토리(repository)에 존재하지 않았습니다. 이를 수락했다면 테스트 스위트가 검사를 비활성화하여 통과하도록 학습했을 것입니다. 시니어가 버퍼를 되돌리고 원래의 단언(assertion)을 유지했습니다.

각 막다른 길은 동일한 로컬 테스트에 실패했습니다. 채팅이 종료된 후에도 두 사람 모두 트랜스크립트(transcript)를 신뢰하지 않고도 주장을 재실행할 수 있을까요? 만약 대답이 '아니요'라면, 그 주장은 노트에 기록되지 않았습니다.

남아있게 된 결정 (The decision that stayed)

세 개의 호스트 클래스. 하나의 매니페스트(manifest). 실패 시 종료(Fail closed).

local-only는 노트북에 머무릅니다. 키(Keys), 캡처(captures), 내부 호스트(internal hosts), 그리고 클럭 바운드 테스트(clock-bound tests)가 여기에 있습니다. 이들은 절대 업로드 세트에 포함되지 않습니다.
server-eligible은 무료 서버에서 실행될 수 있습니다. 순수 함수(Pure functions)와 합성 픽스처(synthetic fixtures)가 여기에 속하며, 외부 네트워크 연결이나 복사된 캡처는 없습니다.
model-visible은 에디터 세션에 나타날 수 있습니다. 이 클래스는 차이점(diff), 공개 인터페이스(public interfaces), 그리고 합성 예제(synthetic examples)를 위한 것입니다. 이는 서버에서 실행 가능한 것의 부분집합일 뿐, 제3의 임시 저장소가 아닙니다.

파일은 유용할 수 있지만 여전히 local-only일 수 있습니다. 유용성이 전송 허가증을 의미하지는 않습니다. 무료 서버는 노트북이 바쁠 때 server-eligible 하위 집합에 대한 용량 밸브 역할을 합니다. 무료 모델 접근은 이름과 주석 작성을 위한 초안 작성 보조 도구입니다. 어느 클래스도 다른 클래스로부터 신뢰를 상속받지 않습니다.

'시간의 규칙(The hour's rule)'은 한 문장으로 작성되어 노트에 남겨졌습니다. 원격에서 아무것도 시작되려면 검사기(checker)가 업로드 목록을 승인하고 두 이름이 그 목록 옆에 위치해야 합니다.

쌍 순서대로 진행하기

차이점(diff)을 고정합니다. 호스트 분할(host split)이 존재할 때까지 추가적인 제품 편집은 없습니다.
클래스를 수동으로 할당합니다. 모델이 파일 이름을 제안할 수 있습니다. 클래스는 사람이 할당합니다.
평문 텍스트로 후보 업로드 목록을 작성하며, 줄마다 하나의 경로를 사용합니다.
검사기를 실행합니다. 0이 아닌 종료 코드는 원격 계획을 중단시킵니다.
노트북에서 local-only 테스트를 실행하고 그 종료 코드를 기록합니다.
검사기가 깨끗할 때에만, 무료 서버에서 명시적인 server-eligible 대상을 하나 실행합니다. 이 종료 코드는 별도의 줄에 기록합니다.
합성 테스트에서 코드들이 불일치하면, 이를 호스트 클래스 버그로 간주합니다. 수집(collection), 건너뛰기(skip), 그리고 의존성 원인이 알려질 때까지 어설션(assertion)을 수정하지 않습니다.
매니페스트와 두 코드를 저장합니다. 모델 요약은 저장하지 않습니다.

local-only 테스트에 대해서는 노트북 코드가 승리합니다. 무료 서버가 이를 심판하는 일은 없습니다. 합성 테스트에서 불일치는 확인을 약화시킬 권한이 아니라 호스트에 대한 정보입니다.

실행되지 않은 검사기

아래 Python 코드는 노트에 대한 제안입니다. 시간 측정을 거치지 않았습니다. 네트워크 API를 호출하지 않습니다. 매니페스트와 후보 업로드 목록을 읽은 다음, 로컬 전용 경로가 포함되거나, 업로드 경로가 서버 적격 마크를 갖추지 못했거나, model-visible이 server-eligible의 부분집합이 아닐 경우 0이 아닌 값으로 종료됩니다.

#!/usr/bin/env python3
"""호스트 분할 매니페스트 위반 시 업로드 목록 실패(Fail closed). 

...

예시 매니페스트:

# host-split.manifest
local-only:
  fixtures/captures/prod-replay.json
...

실패해야 하는 후보 업로드 목록:

src/verify_signature.py
tests/test_digest_synthetic.py
fixtures/captures/prod-replay.json

로컬 명령어 형태 (아직 실행되지 않음):

python3 host_split_check.py host-split.manifest upload.txt
# 0이 아닌 값 예상: prod-replay.json은 local-only임

...

무료 서버 명령어는 의도적으로 스크립트화되지 않았습니다. 페어링 규칙은 검사기(checker)가 upload set ok를 출력한 후 명시적인 테스트 대상을 하나 제출하고, 원격 종료 코드를 노트에 복사하는 것이었습니다. 모델이 해당 로그를 재구성한다고 해서 코드를 대체할 수는 없습니다.

무료 옵션이 실제로 도움이 된 부분

무료 모델 접근은 하나의 좁은 임무만 있었습니다. 매니페스트 주석을 작성하고 합성(synthetic) 피처 이름들을 제안하는 것이었습니다. 우회 헤더와 파일명 분류는 거부되었습니다. 유용한 잔여물은 더 짧은 합성 파일 목록이었고, 이를 주니어가 손으로 직접 작성했습니다.

무료 서버 옵션은 업로드 세트가 깨끗하고 노트북이 여전히 바쁠 때 tests.test_digest_synthetic를 실행하는 장소였습니다. 그것은 tests.test_clock_skew를 실행할 장소가 아니었습니다. 그것은 프로덕션 환경도 동일하게 작동할 것이라는 증거가 아니었습니다. 다른 호스트는 테스트가 건너뛰어졌기 때문에 통과할 수 있는 것이지, 어설션(assertion)이 성립했기 때문이 아닙니다.

모든 제품 언급을 제거해도 워크플로우는 여전히 유효합니다. 스위트를 분할하세요. 업로드 세트를 확인하세요. 두 개의 종료 코드를 기록하세요. 호스팅된 좌석은 그 분할이 존재한 후에만 중요하며, 매니페스트가 허용하는 클래스에 한해서만 중요합니다.

제한 사항 및 건너뛰어야 할 경우

체커는 경로 문자열(path strings)을 일치시킵니다. 비밀 정보가 포함된 내용을 스캔하지 않습니다. 서버 적격 경로라도 토큰이 숨겨져 있을 수 있습니다. 콘텐츠 검토는 여전히 사람의 영역입니다.
./fixtures/a.json과 fixtures/a.json은 여기서 서로 다른 문자열입니다. 경로 정규화(path normalization) 없이 이 예시를 프로덕션 업로드 파이프라인에 넣지 마십시오.
환경 일치성(Environment parity)은 범위를 벗어납니다. 로케일, 시계, CPU, 네트워크는 여전히 다릅니다. 시간 제한형 및 네트워크 제한형 테스트는 현지 전용으로 유지됩니다.
이 분할은 데이터 처리 계약(data-processing agreement)이 아닙니다. 고객 데이터, 규제 페이로드 또는 서명 키를 공유 호스트에서 격리해야 하는 팀은 무료 좌석을 승인된 목적지로 간주해서는 안 됩니다.
숫자 할당량, 모델 이름, 세션 길이 및 로그 보존 기간은 이 초안에서 검증되지 않았습니다. 가용성이 변경될 수 있습니다. 현재 제품 문서를 본 기사보다 우선합니다.
매니페스트(manifest)에 초기 서명할 사람이 없는 단독 급행(solo rush)의 경우 원격 절반을 건너뛰어야 합니다. 두 번째 서명이 통제점입니다. 스크립트는 단지 잠금장치일 뿐입니다.
불안정한 타이밍 스위트(Flaky timing suites)와 에어 갭 저장소(air-gapped repositories)는 적합하지 않습니다. 양 호스트를 모두 커버하는 하나의 녹색 배지를 원하는 팀도 마찬가지입니다.

노트에서 결론지은 사항

그 시간은 거부된 업로드 목록, 깨끗한 합성 하위 집합(clean synthetic subset), 그리고 별도의 줄에 적힌 두 개의 종료 코드와 함께 끝이 났습니다. 검증기(verifier)에 대한 모델의 단락은 저장되지 않았지만, 초기 서명된 매니페스트는 저장되었습니다.

이미 무료 모델 좌석과 무료 서버 옵션을 가진 독자들은 먼저 임시 저장소(throwaway repository)에서 이 체커를 실행할 수 있습니다. 원격 호스트에는 깨끗한 합성 하위 집합만을 목표로 해야 합니다. 현재 문서가 이러한 가용성 가정과 다르면, 문서를 따릅니다.