01
코드 파싱
Panolayer는 repository를 컴파일러처럼 파싱합니다: 파일, 모듈, 함수, 클래스, import 및 전체 호출 그래프. 심볼은 모델이 추측하는 것이 아니라 소스에서 확인됩니다.
아키텍처 작동 방식검증 엔진
Panolayer는 모든 변경 사항을 해당 변경에 의존하는 모든 항목과 대조해 검사하며, 저장할 때마다 그리고 agent가 작업을 마칠 때마다 실행합니다. 버그가 감지되면 해당 라인, 위반한 규칙, 재현 단계를 확인할 수 있습니다.
무료로 시작 · 신용카드 필요 없음
getUser()가 예외를 발생시키는 대신 null을 반환하도록 변경합니다.컴파일은 통과합니다. getUser 테스트도 통과합니다. 여섯 개의 호출자가 null 검사 없이 user.name을 읽고, 사흘 뒤 스테이징에서 실패합니다. diff에는 그들이 존재한다는 사실이 전혀 없었습니다.
작동 방식
다섯 단계는 저장할 때마다, 그리고 agent가 완료를 알릴 때마다 실행됩니다.
01
Panolayer는 repository를 컴파일러처럼 파싱합니다: 파일, 모듈, 함수, 클래스, import 및 전체 호출 그래프. 심볼은 모델이 추측하는 것이 아니라 소스에서 확인됩니다.
아키텍처 작동 방식02
Panolayer는 각 함수가 어떻게 동작해야 하는지에 대한 규칙을 도출합니다. 예: “사용자를 반환하거나 예외를 발생시키며, null은 절대 반환하지 않음.” 직접 규칙을 추가하거나, 잘못 도출된 규칙을 수정하세요.
03
실패가 발생하면 함수, 위반한 규칙, 실제 발생 내용, 발생 위치, 영향을 받는 호출자를 보여줍니다. 확인된 버그의 경우 실패를 유발하는 입력도 제공되므로, 직접 실행해 실패하는 모습을 확인할 수 있습니다.
04
결과는 변경 전 코드와 비교됩니다. 이미 존재하던 실패는 기존 실패로 표시되므로, 새로 발생한 것만 확인할 수 있고 밀린 목록은 볼 필요가 없습니다.
05
코드를 직접 고치거나, 영향을 받는 호출자를 컨텍스트로 함께 담아 실패를 Panolayer Agent 또는 직접 만든 agent에 보내세요. 규칙이 잘못되었다면 규칙을 바로잡으세요. 어느 쪽이든 검증은 다시 실행됩니다.
영구 메모리
모든 수정 사항은 프로젝트와 함께 저장됩니다. agent는 세션을 시작할 때 이미 이를 알고 있으며, Panolayer를 많이 쓸수록 검사는 더 정교해집니다.
실행 위치
동일한 Verification Engine이 Mac 앱과 편집기에서 실행됩니다.
Agents
Panolayer Verification Engine은 코드를 누가 작성했든 상관없이 검사합니다. 직접 작성한 코드든, Panolayer Agent든, Agent Marketplace에서 지원하는 20개 이상의 agent든 마찬가지입니다.
FAQ
다른 문의가 있으신가요? 문의하기를 통해 알려주시면 답변해 드리겠습니다.
코드가 어떻게 동작해야 하는지에 대한 기대치입니다. 예를 들어 “사용자를 반환하거나 예외를 발생시키며, 절대 null을 반환하지 않는다”와 같습니다. Panolayer는 대부분의 규칙을 코드에서 도출하며, 규칙은 모든 변경 시 실행됩니다.
예. 사용자의 규칙은 Panolayer가 도출한 규칙과 함께 실행됩니다.
수정하면 됩니다. 수정 사항은 프로젝트에 저장되며 이후 모든 검사에 반영됩니다.
브랜치에서 파일을 저장할 때, 그리고 agent가 작업을 완료로 표시할 때 실행됩니다.
결과는 몇 초 안에 반환되며, 작업을 벗어나지 않고 agent를 실행하고 검증하고 수정한 뒤 다시 검증할 수 있을 만큼 빠릅니다.
repository와 해당 인덱스는 동기화하거나 공유하지 않는 한 Mac에 남아 있습니다. 모델을 사용하는 기능은 설정한 공급자에게 관련 발췌 내용을 전송하며, 해당 공급자의 약관이 적용됩니다. 자세한 내용은 보안 페이지에서 확인하세요.
책임은 agent에게 있지, 사용자에게 있지 않습니다. 병합할 항목을 결정하기 전에 agent 작업이 검증되며, 언제든 직접 commit하고 merge할 수 있습니다. 실패 항목은 계속 목록에 표시됩니다.
아니요. 테스트와 함께 실행되며, 설정한 경우 테스트, 빌드, 타입 검사도 실행합니다.