천문 에이전트 디버깅 및 회고
증상을 가장 먼저 실패한 계약에 매핑하고, 필요한 계층을 수정한 후 각각 실행 정확성, 메커니즘 효과, 실제 이점을 증명합니다. 세 가지 결론은 독립적으로 등록합니다.
이 스킬은 "천문 에이전트" 프로젝트의 가독 가능한 과거 자료에서 추출되었습니다. 사례는 진단 단서일 뿐, 현재 구현에 동일한 결함이 존재한다는 것을 의미하지 않습니다. 과거 예산, 노드, 날짜, 카드 이름 및 통과 기준은 새 작업의 기본 상수가 될 수 없습니다.
신원 설정
목표가 오류 수정, 진단, 동등 가속, 전략 점수 향상 또는 수정 전달 중 무엇인지 확인합니다. 실제 경로 및 현재 버전을 찾고, CURRENT, 동결 목록, 수신 확인 및 최종 패키지를 확인합니다. 신원은 소스 코드, 입력, 구성 및 결과 해시를 기준으로 합니다.
공식 프로토콜/스코어러 버전, 온라인 가시 필드, 초기화 제약 조건, 실행 모드, CPU 보정 및 독립적인 벽시계 제한을 기록합니다. 웹사이트 일반 오류 또는 동일한 이름의 로컬 카드가 있는 경우에만 클라우드 근본 원인이 아직 파악되지 않은 것입니다.
완전 유효, 예산 종료, 기술 실패, 사용자 중단, 진단 완료되었지만 과학 게이트 통과 실패를 구분합니다. 일부 시즌 점수는 완전 시즌 순위에 포함되지 않습니다. 누락된 값은 null로 유지합니다.
증상별 참조 읽기
- 동작 불법, 시작/ABI/manifest/ZIP, 데이터 번호, 백업 정리: protocol-and-data.md를 읽으십시오.
- 할당은 많지만 낮은 점수, 0점, 수리 누락, REQ/요청 누락, 재생 불일치: state-and-physics.md를 읽으십시오.
- 타임아웃, 모델 무수익, 진단 가속으로 시즌 전체 불변, 유보/검증 실패: budget-and-experiments.md를 읽으십시오.
- 과거 반례 및 수정 증거 확인: casebook.md를 읽으십시오. 원본 파일 신원 확인: evidence.md 및 corpus-index.tsv를 읽으십시오.
최초 분기점 찾기
실제 데이터 흐름을 따라 비교: 입력/제약 → 소비 메시지 → 상태/캐시 → 후보 진입 → 전체 점수/할당 → 최종 동작 → 공식 실행 → 피드백 결산.
동일 입력의 최소 실패 상태 또는 불변 궤적에서 첫 번째 분기점을 찾고, 기대치, 실제치, 단위, 분모, 샘플 선택 및 출처를 저장합니다. 소스 코드 재현, 로그 연관, 메커니즘 가설, 수익 증거를 각각 표시합니다.
먼저 프로토콜, 신원 및 재생 오염을 수정한 후 과학적 차이를 설명합니다. 충실한 재생은 원래 소비 타임라인을 재현합니다. 과거 동작을 변경하는 것은 새 후보이며 원래 궤적에 혼합할 수 없습니다. 초기화 또는 중요 메시지가 없으면 식별 가능한 경계에서 중지하고 숨겨진 상태를 임의로 생성하지 않습니다.
최소 반증 가능 대조 설계
하나의 가설에 하나의 반증 가능한 테스트를 할당합니다. 합성 fixture로 경계를 검증하고, 공개 상태 shadow로 진입 및 선택 메커니즘을 검증하며, 완전 쌍 시즌으로 종합 성능을 검증하고, 독립 유보로 제한된 일반화를 검증합니다. 각 계층은 해당 계층의 결론만 지원합니다.
이번과 관련된 보존 항목을 나열합니다: 물리/점수, 공개 정보, RNG, 메시지 순서, 원장, 네이티브 ABI, 후보/동률 순서 및 청구. 동등 가속이 동작이나 후보 세트를 변경하는 경우 전략 변경으로 재분류합니다.
전략 후보는 먼저 실제 후보 체인에 진입할 수 있는지, 정밀 계산되는지, 완료 보호를 충족하는지, 실행 선택을 변경하는지 추적합니다. 예정된 메커니즘 게이트를 통과하지 못하면 해당 가설을 종료합니다. 프로토콜 수정은 실제 경계 반례를 사용하여 검증하며, 정상 카드의 동작 변경을 강요하지 않습니다.
제한된 검증 실행
점수 및 원격 모델은 현재 권한 및 제한된 예산을 사용하며, 종료된 연구의 잔여 할당량을 상속하지 않습니다. 변경 사항에 따라 의미 있는 경계, 차분 및 정상 제어를 선택합니다.
프로젝트에서 레지스트라를 사용하는 경우, 시작 전에 계획 성공을 확인하고, 신원을 다시 읽고, 소스/입력 해시 및 출력 격리를 확인합니다. 등록 실패 시 먼저 실패를 처리합니다. 예외는 여전히 finally에서 실제 비용 및 요청 횟수를 결산합니다. 기술 수정은 하위 버전을 사용하여 실패한 상위 버전을 유지합니다. 사후 등록은 retrospective라고 명시합니다.
최종 소스 코드는 동일 출처, 동일 입력, 동일 청구 OFF/ON을 비교합니다. 소스 코드 변경 후에는 해당 소스 코드와 여전히 일치하는 증거만 참조합니다. 항목별로 지정된 게이트를 보고합니다: 완전 최종 상태, 예산, REQ, 요청, 과학/총점 및 이미 요청된 API 역할. 필수 게이트 중 하나라도 실패하면 미검증입니다.
실패 후에는 새로운 증거가 있는 근본 원인 가설로 전환합니다. 시드 변경, 소스 코드 선택, 통과 기준 변경 또는 스캔 확장은 원래 검증의 수정이 아닙니다. 선택 또는 진단에 사용된 유보 세트는 개발 데이터로 전환되며, 이후 일반화는 새 유보 세트를 사용합니다.
출력 및 완료 기준
문제 규모에 따라 출력합니다:
증상 및 첫 번째 실패 단계:
증거 수준 및 출처 신원:
근본 원인 확인됨 / 확인 대기:
최소 변경 사항 및 보존 항목:
결과: 프로토콜 / 상태 / 메커니즘 / 시즌 전체 / 유보 / 배포
실패, 미실행 항목 및 불확실성:
다음 단계에서 가설을 구분할 수 있는 최소 테스트:
업로드 패키지는 최종 동결 소스 코드에서 생성되며, 새 디렉토리에서 공식 manifest parser로 build/run을 구동하고, JSONL, 리소스 및 source/ZIP 해시를 검증합니다. mock, 로컬 네이티브, 실제 API, Linux, 웹사이트 각각 보고하며, 서로 대체하지 않습니다.
새로운 경험은 적용 조건, 최소 재현 및 증거를 첨부해야 하며, 실제로 결정을 변경하는 규칙만 유지합니다.