jaekit v0.1.6

Jaekit v0.1.6은 Core ha 0.1.6, Spec 0.1.12, Seal 0.1.17 조합입니다. macOS·Linux의 arm64·amd64를 지원합니다. 이번 릴리스에도 Windows 파일은 없습니다.

이번 변경:

• README를 새로 구성했습니다. Jaekit이 도움이 되는 경우, 환경별로 쓸 수 있는 Spec·Seal과 설치 방법, Windows 사용자 안내, ha와 두 플러그인의 업데이트 명령을 담고 문단을 짧게 나눴습니다. README의 설치·업데이트 명령은 설치 안내의 같은 단계 명령과 같은지 시험으로 확인합니다.
• Seal 0.1.17은 run-rules/4 재개 창이 이어받는 횟수 상한을 다시 적지 않고 실행 기록 계약 §4.7로 연결합니다. 이전 요약에는 인용으로 정한 마지막 상한 뒤의 감액도 반영한다는 계약의 조건이 빠져 있었습니다. /3의 재개 상한을 설명하는 문장도 /4는 §4.7을 따르도록 연결합니다.
• 상태 JSON 계약의 runs_limit이 /4 창의 값을 밝히고, 이어받은 상한보다 낮춘 /4 재개를 행동 시나리오로 확인합니다.

Core의 동작은 v0.1.5와 같습니다. 기본 규칙은 /3이며 Seal은 새 목표를 계속 run-rules/4로 시작합니다. 기존 /1·/2·/3·/4 목표는 저장된 규칙·사용량·시간 한도를 유지합니다.

설치·업데이트 안내에 따라 Core와 플러그인을 함께 갱신합니다. Codex marketplace는 jgoneit/jaekit@v0.1.6, Claude Code marketplace는 jgoneit/jaekit#v0.1.6에 고정합니다. 현재 PATH의 실제 실행 파일과 새 호스트 세션의 Skill 출처를 확인하세요.

첨부한 ha_0.1.6_<os>_<arch>.tar.gz 네 파일과 checksums.txt를 함께 사용합니다. 아카이브에는 실행 파일·라이선스·공개 문서·참조 검사 예시가 포함됩니다. Homebrew 설치의 지원 파일은 $(brew --prefix jaekit)/share/jaekit에 있습니다. 참조 검사는 Python 3 표준 라이브러리를 사용하는 선택 사항이며, Python이나 특정 시험 러너가 Core·Spec·Seal 전체의 필수 조건은 아닙니다.

배포 검증은 네 플랫폼 빌드, 실행 파일 형식, 아카이브 내용과 체크섬을 확인하고 Linux amd64에서 압축한 Core와 참조 검사를 실행합니다. 다른 플랫폼의 빌드 성공을 해당 플랫폼의 실제 실행 결과로 대신하지 않으며, Codex·Claude의 실제 모델 수행을 보증하지 않습니다. Windows CI의 결과는 현재 소스의 로컬 후보에 대한 것이며 이번 릴리스의 Windows 지원을 뜻하지 않습니다.

남은 이슈 중 추가 관측기의 기대 실패 분류, 검사가 읽는 무시된 파일, Windows 보고에 맞춘 CI 관측기, 작성 규칙 검사의 남은 사례와 결과 의미, WSL2 실제 환경 확인은 후속 보강 대상입니다. 현재 배포 입력과 실행 경로에서는 출시 차단 조건을 확인하지 못했습니다.

jaekit v0.1.5

Jaekit v0.1.5는 Core ha 0.1.5, Spec 0.1.12, Seal 0.1.16 조합입니다. macOS·Linux의 arm64·amd64를 지원합니다. 이번 릴리스에도 Windows 파일은 없습니다.

이번 변경:

• Seal 0.1.16은 새 목표를 run-rules/4로 시작합니다. 시작 요청을 시험 변경 권한으로 읽었으면 그 해석을 남기고, 조건과 확인 방법을 밝힌 시험 변경(test-change)만 면제합니다. 사용자 답을 기다린 시간은 wait·resume으로 신고해 경과 시간 예산에서 빼고, 사용자가 미리 승인한 횟수 상한 안에서는 이유만으로 상한을 올리며, 오류 한도를 넘은 조건은 바뀐 실행 조건을 밝힌 recover로 다시 시도합니다. PLAN의 ## 시간 제한은 명령별 시간 제한을 정하고, ha check는 실행 전에 이전 실행의 제한 사용을 안내합니다. 실행자의 근거·신고·회복 사유는 주장이며 Core는 기록과 연결만 확인합니다.
• Core의 기본 규칙은 /3 그대로입니다. /4는 ha start --rules run-rules/4로만 고르며, 기존 /1·/2·/3 목표는 저장된 규칙·사용량·시간 한도를 유지합니다. Seal 0.1.16은 새 시작에서 실제 Core의 run-rules/4와 다섯 기능(test-authority/v1, reported-wait/v1, preapproved-runs/v1, error-recovery/v1, command-time-limits/v1)을 확인하고, 하나라도 없으면 기록 전에 멈춥니다.
• ha history는 실행 기록과 분리된 판단 이력(관측·원인·결정·조치·검증·막힘·재개)을 등록·정정·조회합니다. 이력은 완료 판정·예산·검사 결과를 바꾸지 않습니다.
• check·baseline 기록이 실행 시간, 적용한 시간 제한과 제한 구간, CPU 시간을 남기고, ha timing이 읽기 전용 시간 보기를 제공합니다. 측정값은 판정과 예산에 쓰이지 않습니다.
• ha status는 남은 일을 먼저 보여 주고, 실패한 대상마다 볼 로그(ha log <goal> <seq>)를 알려 줍니다.
• Seal 0.1.14는 검사가 무엇을 읽는지에 대한 작성 안내를, Seal 0.1.15는 공식 근거를 최종 후보에서 한 번 기록하는 안내를 더했습니다.
• 아카이브의 공개 자료에 WSL2 Ubuntu 24.04 안내와 환경 확인 도구(tools/wsl/check-environment.sh)가 들어 있습니다. 실제 WSL 환경에서의 확인은 아직 남아 있습니다.

판단 이력·시간 보기·/4는 실제 Core의 지원 정보(ha capabilities --format json)를 확인한 뒤 사용합니다. 이전 v0.1.4에는 이 셋이 없습니다.

설치·업데이트 안내에 따라 Core와 플러그인을 함께 갱신합니다. Codex marketplace는 jgoneit/jaekit@v0.1.5, Claude Code marketplace는 jgoneit/jaekit#v0.1.5에 고정합니다. 현재 PATH의 실제 실행 파일과 새 호스트 세션의 Skill 출처를 확인하세요. Core만 갱신하고 Seal을 이전 버전으로 두면 새 목표는 계속 /3으로 시작하고, Seal만 0.1.16으로 올리고 Core를 이전 버전으로 두면 새 시작이 기록 전에 멈춥니다.

첨부한 ha_0.1.5_<os>_<arch>.tar.gz 네 파일과 checksums.txt를 함께 사용합니다. 아카이브에는 실행 파일·라이선스·공개 문서·참조 검사 예시가 포함됩니다. Homebrew 설치의 지원 파일은 $(brew --prefix jaekit)/share/jaekit에 있습니다. 참조 검사는 Python 3 표준 라이브러리를 사용하는 선택 사항이며, Python이나 특정 시험 러너가 Core·Spec·Seal 전체의 필수 조건은 아닙니다.

배포 검증은 네 플랫폼 빌드, 실행 파일 형식, 아카이브 내용과 체크섬을 확인하고 Linux amd64에서 압축한 Core와 참조 검사를 실행합니다. 다른 플랫폼의 빌드 성공을 해당 플랫폼의 실제 실행 결과로 대신하지 않으며, Codex·Claude의 실제 모델 수행을 보증하지 않습니다. Windows CI의 결과는 현재 소스의 로컬 후보에 대한 것이며 이번 릴리스의 Windows 지원을 뜻하지 않습니다.

남은 이슈 중 추가 관측기의 기대 실패 분류, 검사가 읽는 무시된 파일, Windows 보고에 맞춘 CI 관측기, 작성 규칙 검사의 남은 사례와 결과 의미, WSL2 실제 환경 확인은 후속 보강 대상입니다. 현재 배포 입력과 실행 경로에서는 출시 차단 조건을 확인하지 못했습니다.

jaekit v0.1.4

Jaekit v0.1.4는 Core ha 0.1.4, Spec 0.1.12, Seal 0.1.12 조합입니다. macOS·Linux의 arm64·amd64를 지원합니다.

이번 변경:

• 완료 뒤 발견한 문제를 기존 완료 기록과 함께 보존합니다. ha finding은 대상 버전·조건·재현 범위·해결 연결을 기록하고, 같은 입력의 재시도는 기록을 중복 추가하지 않습니다. 발견을 남기는 것만으로 목표를 재개하거나 예산을 바꾸지 않습니다.
• Spec은 원하는 결과와 결정 경계를 더 명확히 구분합니다. Seal의 검토·완료 보고는 검증의 근거, 실제 관측 범위, 대체 환경과 남은 한계를 연결하고 목표·프로젝트가 정한 보증 정책을 반영합니다. 기존 목표나 완료 보고를 소급해서 다시 쓰지 않습니다.
• 공통 Go 검증에서 시험을 줄이는 환경 필터를 검사 프로세스에 한해 해제하고 알립니다. 회귀 보호 대상은 지원하는 정적 판독 범위에서 실제 Go 선언·빌드 선택과 Python discovery·선택 패턴을 기준으로 확인합니다.
• 릴리스 검사에서 아카이브 읽기 한도, 설치 경로와 실제 실행 파일의 연결, 검사 생산자의 import 경로와 실패 귀속을 보강했습니다. 부모 symlink를 포함한 설치 경로도 실제 경로와 연결해 확인합니다.

기본 규칙은 /3이며 기존 /1·/2·/3 목표는 저장된 규칙·사용량·시간 한도를 유지합니다. 완료 뒤 발견은 실제 Core의 run-finding/v1·post-completion-findings/v1 지원을 확인한 뒤 사용합니다. 이전 v0.1.3에는 이 확장이 없습니다.

설치·업데이트 안내에 따라 Core와 플러그인을 함께 갱신합니다. Codex marketplace는 jgoneit/jaekit@v0.1.4, Claude Code marketplace는 jgoneit/jaekit#v0.1.4에 고정합니다. 현재 PATH의 실제 실행 파일과 새 호스트 세션의 Skill 출처를 확인하세요.

첨부한 ha_0.1.4_<os>_<arch>.tar.gz 네 파일과 checksums.txt를 함께 사용합니다. 아카이브에는 실행 파일·라이선스·공개 문서·참조 검사 예시가 포함됩니다. Homebrew 설치의 지원 파일은 $(brew --prefix jaekit)/share/jaekit에 있습니다. 참조 검사는 Python 3 표준 라이브러리를 사용하는 선택 사항이며, Python이나 특정 시험 러너가 Core·Spec·Seal 전체의 필수 조건은 아닙니다.

배포 검증은 네 플랫폼 빌드, 실행 파일 형식, 아카이브 내용과 체크섬을 확인하고 Linux amd64에서 압축한 Core와 참조 검사를 실행합니다. 다른 플랫폼의 빌드 성공을 해당 플랫폼의 실제 실행 결과로 대신하지 않으며, Codex·Claude의 실제 모델 수행을 보증하지 않습니다.

남은 이슈 중 비정상 아카이브의 보조 한도와 정적 선택 분석, 추가 관측기의 기대 실패 분류, 하위 검사 입력 선언은 후속 보강 대상입니다. 현재 배포 입력과 실행 경로에서는 출시 차단 조건을 확인하지 못했습니다. 과거 v0.1.3 전용 관측기의 결과를 이번 릴리스 증거로 재사용하지 않습니다.

jaekit v0.1.3

Jaekit v0.1.3은 Core ha 0.1.3, Spec 0.1.11, Seal 0.1.9 조합입니다. macOS·Linux의 arm64·amd64를 지원합니다.

이번 변경:

• 새 목표의 /3 검사는 구조화 결과로 실제 요구 위반, 환경 오류, 미실행을 구분합니다. 명령의 nonzero 종료만으로 baseline 기대 실패를 인정하지 않으며 재시도 중의 불리한 결과와 실제 사용량도 보존합니다.
• baseline 복사 전에 HEAD의 일반 파일과 전체 목적지 경로를 확인합니다. 복사 대상이나 부모의 symlink를 거부하며 검사 전 준비 실패를 실제 실행과 구분합니다.
• ha estimate가 시작 전 필요한 최소 검증 횟수를 보여 줍니다. ha budget은 현재 창의 총횟수 상한만 바꾸고 기존 사용량과 시간 상한을 유지합니다.
• ha capabilities --format json으로 실제 사용할 Core의 지원을 확인합니다. 새 Seal은 지원하지 않는 Core로 기록을 시작하지 않으며, Spec은 Core 없이 새 nested/1 목표 문서를 작성할 수 있습니다.

기존 /1·/2 목표는 저장된 규칙을 유지합니다. 목표·과거 기록을 자동 이전하거나 시간 상한을 변경하지 않습니다. 기존 v0.1.2 태그와 파일은 보존하며, 그 버전의 Core·플러그인 조합을 새 조합과 혼용하지 마세요.

설치·업데이트 안내에 따라 Core와 플러그인을 함께 갱신합니다. Codex marketplace는 jgoneit/jaekit@v0.1.3, Claude Code marketplace는 jgoneit/jaekit#v0.1.3에 고정합니다. 현재 PATH의 실제 실행 파일과 새 호스트 세션의 Skill 출처를 확인하세요.

첨부한 ha_0.1.3_<os>_<arch>.tar.gz 네 파일은 checksums.txt로 검증할 수 있습니다. 각 아카이브에는 실행 파일·라이선스·공개 문서와 함께 tools/check-result-reference.py, examples/check-result/가 들어 있습니다. Homebrew 설치에서는 같은 지원 파일을 $(brew --prefix jaekit)/share/jaekit에서 찾습니다. 참조 검사 예시의 파일을 자신의 프로젝트에 복사하면 개발 checkout 없이 사용할 수 있습니다.

참조 생산자는 Python 3 표준 라이브러리를 사용하는 선택적 예시입니다. Python과 특정 테스트 러너가 Core·Spec·Seal 전체의 필수 조건이 되는 것은 아닙니다. pytest·Vitest·Playwright 어댑터가 내장되거나 모든 스크립트가 자동으로 /3 근거를 제공하는 것은 아닙니다.

배포 검증은 네 플랫폼의 빌드·실행 파일 형식·아카이브 내용·체크섬을 확인하고, Linux amd64에서 압축한 Core의 버전·지원 조회와 포함된 참조 생산자의 실제 위반→통과를 실행합니다. 다른 플랫폼의 빌드 성공을 그 플랫폼에서 실행한 결과로 대신하지 않습니다. 이 검사는 Codex·Claude의 실제 모델 수행이나 모든 환경의 동작을 보증하지 않습니다.

실제 설치·호스트 관찰:

• macOS arm64에서 공개 자산 직접 설치, Homebrew 0.1.2→0.1.3 업데이트와 제거 후 신규 설치, 실제 PATH의 Core 및 지원 자료를 확인했습니다.
• Codex CLI 0.162.1의 gpt-6-astra, Claude Code 2.1.296의 claude-opus-5-5에서 태그에 고정한 Spec 0.1.11·Seal 0.1.9를 로딩했습니다. 모델을 별도로 지정하지 않고 각 호스트의 설정을 사용했습니다.
• 작은 합성 파일 변경 목표를 대상으로 Spec의 문서 작성과 별도 Seal 요청, 실제 /3 baseline 요구 위반·현재 검사 통과·완료 기록을 관찰했습니다. 두 호스트의 첫 Spec에는 검사 보조 파일의 허용 범위를 한 번씩 명확히 하는 요청이 필요했습니다.
• 첫 Claude 실행도 완료했으나, 릴리스 관찰 검사가 shell 변수로 호출한 Core 명령을 인식하지 못했습니다. 원래 성공 실행과 검사 실패를 보존하고 별도 합성 프로젝트에서 Core를 직접 호출하는 흐름을 추가 관찰했습니다. 이 결과는 명령 표기를 제한한 관찰이며, 검사기의 별칭 지원을 뜻하지 않습니다.

이 관찰은 Codex 1개·Claude 2개 합성 목표와 위 버전·환경에 한정합니다. 검사와 해석은 실행자가 작성한 local 근거이며, 독립적인 서명 보증이나 모든 모델·환경에 대한 품질 보증은 아닙니다. 실제 대화·원문 로그·개인 경로는 공개하지 않습니다.

jaekit v0.1.2

macOS·Linux(arm64, amd64)용 Seal Core ha. 설치와 사용법은 README와 guides/INSTALL.md를 참고하세요.