실측과 재현 예제

Corvel Forge L8 · 새 실패를 검수 규칙으로

로컬 시뮬레이터 실측 · 시험용 RTL

회로의 공개 기능 계약을 기준으로 제보와 실패를 다음 인도에 쓸 검수 규칙으로 바꿨습니다. 후속 실험에서는 같은 제보, 구현, 이력과 동등한 시험 서명 권한을 복제 측에도 주었습니다.

새 사례 시험에서 사이클 한도를 높여 같은 묶음을 다시 실행했습니다. 새 위반 8건 중 Corvel과 구현을 그대로 받은 복제본이 각각 4건을 놓쳤습니다.

알려진 위반 회귀 검사에서는 이후에 추가한 규칙이 같은 8건을 모두 검출했습니다. 이전 규칙을 실행한 대조군은 4건을 놓쳤습니다. 규칙 15개를 추가한 19개짜리 검수 묶음은 별도 검수 시험 5건을 통과했습니다.

같은 Mac의 Icarus와 시험 키로 측정했습니다. 추가한 규칙을 새로 봉인한 사례에서 비교하는 일은 다음 회차에 남아 있습니다.

CPython · 호환성 관측 이력 인덱스

실제 설치본 5개 · 한 기기에서 실측

다음 Python 환경에서 동작할 기능을 미리 판단하도록 SQLite와 표준 라이브러리의 관측 100건을 쌓았습니다. 그 결과로 신호와 배포 경로별 최근 결과 40개를 원문 위치까지 조회하는 인덱스를 만들었습니다.

마지막 회차에서 인덱스는 20건을 맞혔습니다. 완전 복제본은 네 회차에서 각각 구축 인덱스와 동률이었습니다. 인덱스를 쓰지 않고 같은 공개 런타임에서 별도 프로세스로 직접 실행한 대안은 네 회차의 관측값 80건을 모두 재현했습니다.

가장 불리한 원천을 제거하면 마지막 점수는 9/20이었습니다. 원장은 네 회차 모두 해자 가설을 반박으로 기록했습니다.

다섯 설치본을 버전 순으로 한 Mac에서 실행했습니다. 대상 환경을 확보하는 비용과 실제 기간에 따른 갱신 성과는 별도 측정 대상입니다.

개인·국가 브랜드 · 같은 방식으로 다른 과업을 설계

합성 입력 · 조립 계획 재현

개인 예제는 다음 협업자가 넘겨받을 작업 재현 묶음을 설계합니다. 국가 브랜드 예제는 가상 문화시설의 다국어 운영 안내를 다룹니다. 두 예제 모두 관찰과 실패를 가리키는 원문, 적용 조건, 해야 할 일을 엔진에 입력합니다.

입자 조립은 과업별 실행 계획과 적용 가능한 반례를 돌려줍니다. 문화시설 예제에는 같은 자료와 권한을 받은 대안과 비교하는 Corvel의 시험 방식도 연결됩니다. Corvel 원천을 사용할 수 없을 때 다시 검증할 입자와 실행을 확인할 수 있습니다.

이 예제의 산출물은 시험 준비 상태입니다. 실제 방문 성과나 협업 성과는 각 일을 실행한 뒤 실측합니다.