genichin/gitea-agent
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

docs(spec): assess evidence by affected acceptance behavior

Browse Source
This commit is contained in:
gitea-spec-agent
2026-10-02 23:34:56 +00:00
parent 43ab3810ec
commit 2c32a66a84
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
harness/agents/spec/skills/gitea-implementation-spec-review/SKILL.md
+1 -1
View File
@@ -86,7 +86,7 @@ reason: <bounded Korean explanation>
- 기존 요구사항 갱신은 pinned baseline AC별 판정 조건·검증·불변조건을 현재 AC의 보존·승인된 대체·병합·삭제에 대응하고 기존 `contract`·`evidence`·`reason`에 근거를 기록한다. 구조·AC 개수만으로 충족을 판정하거나 이전 ID·개수의 동일성을 강제하지 않으며, 승인 근거 없는 검증 의미 손실은 누락으로 판정한다. 첫 누락을 발견해도 baseline AC 전체의 의미 검토를 마친 뒤 변경 요청을 확정한다. 문서 전체와 참조된 검증 근거를 함께 고려해 병합·대체를 인정하며, 필수 변경 요청에는 승인된 인수 판정 또는 검증 의미 중 무엇이 실제로 사라졌는지 설명한다. 문구·배치 차이나 동일 내용의 반복 부재만으로 누락을 판정하지 않는다. - 기존 요구사항 갱신은 pinned baseline AC별 판정 조건·검증·불변조건을 현재 AC의 보존·승인된 대체·병합·삭제에 대응하고 기존 `contract`·`evidence`·`reason`에 근거를 기록한다. 구조·AC 개수만으로 충족을 판정하거나 이전 ID·개수의 동일성을 강제하지 않으며, 승인 근거 없는 검증 의미 손실은 누락으로 판정한다. 첫 누락을 발견해도 baseline AC 전체의 의미 검토를 마친 뒤 변경 요청을 확정한다. 문서 전체와 참조된 검증 근거를 함께 고려해 병합·대체를 인정하며, 필수 변경 요청에는 승인된 인수 판정 또는 검증 의미 중 무엇이 실제로 사라졌는지 설명한다. 문구·배치 차이나 동일 내용의 반복 부재만으로 누락을 판정하지 않는다.
- Acceptance criterion마다 구현 위치와 test·status·정적 evidence가 있어야 한다. PR body의 test 성공 주장만으로 실제 file·status 또는 실행 evidence를 대체하지 않는다. - Acceptance criterion마다 구현 위치와 test·status·정적 evidence가 있어야 한다. PR body의 test 성공 주장만으로 실제 file·status 또는 실행 evidence를 대체하지 않는다.
- CI/status evidence는 exact reviewed head SHA에 결합돼야 한다. Command evidence는 command, exit code, 판정에 필요한 output, 실행 환경과 source revision의 trusted provenance를 포함해야 하며 하나라도 없으면 `indeterminate`다. - CI/status evidence는 exact reviewed head SHA에 결합돼야 한다. Command evidence는 command, exit code, 판정에 필요한 output, 실행 환경과 source revision의 trusted provenance를 포함해야 하며 하나라도 없으면 `indeterminate`다.
- Command evidence의 source revision과 reviewed head가 다르면 trusted provenance, ancestor 관계, 전체 source-to-head diff와 실행 입력(코드·설정·test·fixture·dependency/lockfile·실행 도구)의 동일성을 검증한다. 실행 입력에 영향을 주지 않는 evidence-only 또는 비실행 문서-only 후속 변경임이 증명된 경우에만 연결을 허용하며 ancestor 또는 일부 hash 일치만으로 승인하지 않는다. 이 예외는 CI/status의 exact-head binding을 완화하지 않는다. 연결된 구현자 실행 기록과 reviewer의 독립 실행은 구분해 보고한다. - Command evidence의 source revision과 reviewed head가 다르면 trusted provenance, ancestor 관계, 전체 source-to-head diff와 실행 입력(코드·설정·test·fixture·dependency/lockfile·실행 도구)의 변경 영향을 검증한다. 실행 입력이 동일한 evidence-only 또는 비실행 문서-only 후속 변경은 기존 실행 근거를 연결할 수 있다. 실행 입력이 변경되면 필수 계약 동작별로 기존 evidence의 유효 범위를 판단하고, 변경되지 않은 동작의 기존 관찰과 변경분의 정적·실행 근거를 함께 사용할 수 있다. 이전 실행을 현재 head에서 수행한 것으로 표시하지 않으며 파일 hash 변경만으로 전체 evidence를 무효화하거나 ancestor·일부 hash 일치만으로 승인하지 않는다. 그 조합으로도 판정할 수 없는 필수 인수 조건에만 `indeterminate`를 적용하고, 변경 요청에는 해당 조건과 필요한 최소 보완 근거를 특정한다. CI/status의 exact-head binding은 유지하며 구현자 실행 기록과 reviewer의 독립 실행을 구분해 보고한다.
- 실패 경로, fail-closed, no-call·no-write boundary와 credential 비노출 조건은 positive-path test만으로 충족됐다고 판정하지 않는다. - 실패 경로, fail-closed, no-call·no-write boundary와 credential 비노출 조건은 positive-path test만으로 충족됐다고 판정하지 않는다.
- 현재 harness에 spec-review 전용 clean worktree 계약이 없으므로 구현 Issue worktree를 spec role로 재사용하거나 임시 clone·checkout을 만들지 않는다. 독립 실행이 필요한 criterion에 authoritative CI/status 또는 신뢰 가능한 실행 evidence가 없으면 이를 숨기지 않고 `indeterminate`로 기록한다. - 현재 harness에 spec-review 전용 clean worktree 계약이 없으므로 구현 Issue worktree를 spec role로 재사용하거나 임시 clone·checkout을 만들지 않는다. 독립 실행이 필요한 criterion에 authoritative CI/status 또는 신뢰 가능한 실행 evidence가 없으면 이를 숨기지 않고 `indeterminate`로 기록한다.