요구사항에서 독립 unit oracle을 만든다

1. 01

   찾아보기 · 기초

   cp25 recognize · 요구사항에서 독립 unit oracle을 만든다: unit test·oracle 표식 중 “expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.”을 충족하는 상태를 고른다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기정답과 비교
2. 02

   먼저 생각하기 · 기초

   cp25 predict · 요구사항에서 독립 unit oracle을 만든다: AI 없이 “현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.”를 실행했을 때 exit·state·artifact·evidence가 어떻게 달라질지 먼저 예측한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기움직임과 비교
3. 03

   순서 따라가기 · 익힌 것을 써보기

   cp25 trace · 요구사항에서 독립 unit oracle을 만든다: unit test → oracle → reference model → false green를 따라 요청에서 requirement clause·reference calculation·expected/actual diff·oracle review receipt까지 최초 contract divergence를 추적한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기움직임과 비교
4. 04

   내 말로 설명하기 · 익힌 것을 써보기

   cp25 explain · 요구사항에서 독립 unit oracle을 만든다: expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.이 필요한 이유와 requirement clause·reference calculation·expected/actual diff·oracle review receipt가 입증하지 못하는 범위를 함께 설명한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기설명 기준과 비교
5. 05

   빈칸 채우기 · 익힌 것을 써보기

   cp25 complete · 요구사항에서 독립 unit oracle을 만든다: 누락된 guard·effect boundary·failure verdict를 채워 “pure core의 normal·boundary·invalid case를 독립 oracle로 검증하는 unit suite를 구현한다.”을 fail-closed로 완성한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기답과 설명 함께 비교
6. 06

   틀린 곳 고치기 · 익힌 것을 써보기

   cp25 debug · 요구사항에서 독립 unit oracle을 만든다: 독립 mutant로 “현재 함수 출력을 test expected로 복사해 잘못된 구현과 test가 함께 통과한다.”를 재현하고 최초 위반 지점만 수정한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기답과 설명 함께 비교
7. 07

   직접 만들기 · 새 문제

   cp25 implement · 요구사항에서 독립 unit oracle을 만든다: pure core의 normal·boundary·invalid case를 독립 oracle로 검증하는 unit suite를 구현한다.을 frozen synthetic fixture와 bounded effect로 구현해 requirement clause·reference calculation·expected/actual diff·oracle review receipt를 생성한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기정답과 비교
8. 08

   새 문제에 써보기 · 새 문제

   cp25 transfer · 요구사항에서 독립 unit oracle을 만든다: domain 계산과 분류 규칙을 빠르게 회귀 검증하는 개발 loop로 계약을 옮겨 AI 보조의 변경점과 사람이 최종 승인할 근거를 방어한다.

   이 문제는 주어진 내용과 정답 기준을 더 만드는 중이에요. 지금 적은 답은 연습 메모로만 저장돼요.

   관찰 → 규칙 → 결론 순서20자 이상 작성한 뒤 내 답과 맞춰 볼 기준을 확인하세요.

   정답 대신 4단계 힌트 보기

   1. 관찰

      요구사항에서 독립 unit oracle을 만든다의 output만 보지 말고 input identity, exit, side effect, rollback, log/metric과 artifact hash를 분리하세요.

   2. 개념

      expected result는 현재 구현이나 AI output이 아니라 requirement·invariant·수작업 reference model에서 실행 전에 도출한다.

   3. 다음 도움

      내 생각을 먼저 적고 ‘내 답과 맞춰 볼 기준 보기’을 누르면, 풀 순서와 더 자세한 도움을 열어 드려요.

   내 답과 맞춰 볼 기준 보기설명 기준과 비교

8개 답이 남았습니다.