실행 상태W25 D1–D6 RUNTIME NOT_RUNruntimeRunsByPreview=0
strict D1–D6 초회 예상시간은 8시간 50분–16시간 20분입니다. Q41과 W25-S1 150분은 D5·D6 합계에 이미 포함됩니다. 전체 코드 inventory는 canonical 10개·illustrative 9개, aggregate 19/771/700/0/700/700/74/2/0, source-local tests=2·testsExecuted=0입니다. strict F01–F18은 canonical 10개·illustrative 8개입니다.
월요일, STARRY의 연습실 바닥에 두 줄의 레일이 나타났다. 증권과 카드, 둘 다 배울 수는 있었지만 실제 도장은 한 줄에만 찍을 수 있었다. 화면의 출발점은 증권이었다. 니지카는 그 표시 아래 작은 글씨를 덧붙였다. “기본값은 선택 증거가 아니다.”
공식 장면컷은 분위기용이며, STARRY의 사건·대사·기술 수치는 원문 감사에 따른 비공식 학습 구성입니다.그림 한눈에: 정확히 한 branch만 EXECUTE_AND_PROVE이고 다른 branch는 N-A_UNSELECTED입니다.
두 레일의 모양은 달라도 보존해야 할 합계는 같았다. 현금 금고는 available과 reserved, 카드 금고는 available과 used를 합쳐 시작 금액을 지켜야 했다. 1,000에서 300을 옮기면 700과 300이 남아야 했다.
그림 한눈에: 증권 reserve와 카드 hold의 1,000→700+300 불변식을 나란히 비교합니다.
Prepare는 시험지와 fixture만 learner 책상에 놓았다. 답안이 될 production target은 건드리지 않았다. decision과 manifest, 현재 asset hash와 반대·미래 package 부재를 확인하는 계약일 뿐 새 XML을 만들지는 않았다.
그림 한눈에: test·fixture 설치와 learner target no-copy 경계를 분리합니다.
화요일, 히토리는 일부러 고장 난 starter를 선택한 branch 한 파일에 직접 입력했다. LF와 CRLF는 같은 악보로 보았지만 BOM, 토큰, 공백이 달라지면 canonical hash가 문을 닫았다. 증권은 available 차감을, 카드는 used 증가를 일부러 빠뜨린 상태였다.
그림 한눈에: manual entry와 개행 정규화, BOM·토큰 변경 거절 규칙을 봅니다.공식 장면컷은 분위기용이며, STARRY의 사건·대사·기술 수치는 원문 감사에 따른 비공식 학습 구성입니다.
수요일, 료는 정확한 selector 하나만 실행하는 붉은 스위치를 눌렀다. native Gradle은 nonzero로 끝나야 했고 XML에는 test 하나, failure와 error의 합 하나, skip 0이 남아야 했다. 단순한 compile error는 업무 반례를 본 것이 아니어서 통과하지 못했다.
그림 한눈에: exact selector·native exit·JUnit count·RED_EXPECTED marker가 한 반례를 가리킵니다.
Red XML은 다음 cleanTest가 지우기 전에 따로 보관해야 했다. state의 xmlSha256은 지문이지 원본 bytes가 아니었다. 원문 경로의 이중 slash는 화면에서 단일 slash로 정리했지만 source typo였다는 경계는 남겼다.
목요일, 고장 난 금고에 빠졌던 한 부품을 되돌렸다. 증권은 availableCash에서 amount를 빼고, 카드는 usedAmount에 amount를 더했다. solution hash와 raw diff가 맞아도 아직 Green은 아니었다. 오늘은 source identity, 내일은 같은 test의 실제 실행이었다.
그림 한눈에: 두 branch의 한 줄 수정과 SolutionVerified·D5 Green 소유권을 분리합니다.공식 장면컷은 분위기용이며, STARRY의 사건·대사·기술 수치는 원문 감사에 따른 비공식 학습 구성입니다.
금요일, 같은 selector가 다시 울렸다. 이번에는 native exit 0, test 하나, failure·error·skip 모두 0이어야 했다. 오래된 BUILD SUCCESSFUL 한 줄이나 다른 branch의 XML은 쓸 수 없었다.
그림 한눈에: 같은 one-test selector의 fresh native·XML Green 계약을 확인합니다.
옆 칠판의 Q41은 다른 종류의 문이었다. 계좌 snapshot과 opening entry를 포함한 ledger signed sum을 계좌 grain에서 비교해 difference가 있는 계좌만 한 행으로 내보내야 했다. 하지만 원문에는 정답 query도 실행 결과도 없었다.
그림 한눈에: account grain의 snapshot·ledger 합계와 prompt-only 실행 경계를 봅니다.
토요일, 첫 누적 회귀의 목록은 놀랄 만큼 짧았다. W25부터 현재 W25까지, 선택 track의 selector 하나. W24 공통 core와 반대 track, 미래 주차는 숫자에 들어가지 않았다.
그림 한눈에: W25..W25 selector_count=1과 exact suite status totals 0을 확인합니다.
마지막 봉투 W25-S1은 독립 평가자가 문제를 넣기 전까지 BLOCKED_BY_EVALUATOR였다. 미노출 algorithm 세 문제와 SQL 한 문제를 150분 안에 풀되 prompt 10필드, first evidence 16필드, D+2 retrieval 19필드를 서로 다른 파일과 hash로 봉인해야 했다. local validator는 공식 사이트에 로그인하지 않으므로 결과는 USER_ATTESTED_NOT_AUTOMATICALLY_VERIFIED였다.
그림 한눈에: 3+1 sealed 구성과 prompt·first·D+2·공식 판정의 소유권을 분리합니다.
히토리는 p48 상단에 선을 긋고 적었다. “W25 D1–D6 RUNTIME NOT_RUN. p48 하단 Review와 p53–55의 최종 Gate는 아직 다음 문이다.”
W25 미리보기 · 히토리 질문 노트
히토리의 질문 노트 — STARRY PASS 21
본편의 selected-track 계약, starter Red, 한 줄 solution, 같은 selector Green, Q41, W25-S1 sealed evidence를 정확한 owner와 증거 경계로 다시 연결합니다. 모든 답은 p2–p48 상단 — W25 개요 + D1–D6에 한정합니다. 현재 W25 D1–D6 RUNTIME NOT_RUN·runtimeRunsByPreview=0이며 Q41은 PROMPT_ONLY · NOT_RUN, W25-S1은 BLOCKED_BY_EVALUATOR, official status는 USER_ATTESTED_NOT_AUTOMATICALLY_VERIFIED입니다.
근거: prompt·manifest·solution·native transcript·official snapshot은 서로 다른 경로와 SHA-256으로 결합합니다.
오답 함정: 같은 파일을 덮어쓰거나 prompt에 접근법·의사코드·정답을 넣으면 안 됩니다.
범위 한계: 구조·hash·timing 검증은 문제의 신규성이나 evaluator 독립성을 완전히 증명하지 않습니다.
실제 기술 이름exact sealed prompt first-attempt retrieval schemas with distinct artifacts
25. local validator가 공식 Accepted를 자동 검증하나요?
답: 아닙니다. 공식 상태는 USER_ATTESTED_NOT_AUTOMATICALLY_VERIFIED입니다.
근거: validator는 URL host·ID·status·attestation·hash·timing의 일관성만 보고 Programmers에 로그인하지 않습니다.
오답 함정: local exit 0을 공식 사이트의 독립 확인으로 표현하면 안 됩니다.
범위 한계: 공식 screenshot·submission ID와 사람 확인이 있어도 제3자 API 검증과는 다릅니다.
실제 기술 이름local structural validation versus user-attested external official result
26. 최초 PASS와 FAIL의 D+2 상태는 어떻게 다르나요?
답: 최초 PASS는 retrieval 네 필드가 N-A_FAST_TRACK, FAIL은 PENDING_D+2 뒤 46–74시간에 새 답안으로 재시도합니다.
근거: first-pass는 PASS_FIRST_ATTEMPT, 모든 필요한 retrieval이 닫힌 뒤에만 PASS_LONG_TERM 후보가 됩니다.
오답 함정: PENDING_D+2를 즉시 실패 Gate로 보거나 PASS_FIRST_ATTEMPT를 장기 회수 완료로 부르면 안 됩니다.
범위 한계: 재검증도 blank-file solution·새 transcript·공식 snapshot·19-field manifest가 실제로 있어야 합니다.
실제 기술 이름fast-track and delayed sealed retrieval state machine
27. strict D1–D6과 전체 코드 inventory는 어떻게 다르나요?
답: strict는 F01–F18, 전체는 D7 F19까지 19 units입니다.
근거: 전체 aggregate 19/771/700/0/700/700/74/2/0, strict aggregate 18/746/677/0/677/677/71/2/0이며 순서는 units/physical/nonblank/setup/mapping/translation/chunks/source-local tests/testsExecuted입니다.
오답 함정: source-local test 2개를 이번 preview가 실행한 test 수로 세거나 F19 Review를 strict에 넣으면 안 됩니다.
범위 한계: 전체 canonical 10·illustrative 9, strict canonical 10·illustrative 8이며 testsExecuted=0입니다.
실제 기술 이름full versus strict source inventory with zero preview execution
