From 0bc311aca29f4d607ddb877868641fb0861565e3 Mon Sep 17 00:00:00 2001 From: gitea-spec-agent Date: Fri, 2 Oct 2026 12:43:42 +0000 Subject: [PATCH] docs(impl): tighten runtime regression checks --- harness/agents/impl/skills/gitea-issue-rework/SKILL.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/harness/agents/impl/skills/gitea-issue-rework/SKILL.md b/harness/agents/impl/skills/gitea-issue-rework/SKILL.md index 46f1f7b..dc44ffa 100644 --- a/harness/agents/impl/skills/gitea-issue-rework/SKILL.md +++ b/harness/agents/impl/skills/gitea-issue-rework/SKILL.md @@ -1,7 +1,7 @@ --- name: gitea-issue-rework description: Gitea PR 검토 지적을 계약에 맞춰 재작업하고 검증한다. -version: 0.2.4 +version: 0.2.5 author: genichin, Hermes Agent license: MIT platforms: [linux] @@ -199,6 +199,8 @@ Reviewer가 rework head를 새 snapshot으로 다시 검토해야 하며 이 com ### 4. Test-first 수정 1. `valid_fix`마다 결함을 재현하는 가장 작은 regression test를 먼저 추가하거나 기존 test가 의도한 이유로 실패함을 확인한다. + - 동시성·event-loop finding은 wall-clock 의존을 최소화한 deterministic unit test와 실제 delay를 활성화한 짧은 runtime probe를 모두 실행해, 지연 semantics 유지와 무관한 coroutine·health 요청의 응답성을 각각 검증한다. + - Streaming request-body 상한 finding은 `Content-Length`를 신뢰하지 않고 실제 streamed bytes로 exact limit 허용, limit+1 거부, 누락·부정확한 `Content-Length`, 초과 뒤 `receive` 미호출을 검증한다. Upstream이 이미 전달한 단일 대형 chunk의 allocation은 애플리케이션이 막을 수 없다는 잔여 경계를 기록한다. 2. Source를 최소 변경해 test를 통과시키고 이미 satisfied인 criterion과 제외 범위를 보존한다. 3. `evidence_gap`은 production code를 불필요하게 바꾸지 않고 누락된 unit, integration, runtime, browser 또는 provenance evidence를 보강한다. 4. 보안 finding은 정상 경로뿐 아니라 fail-closed, no-call·no-write, 경계 시간, rotation 양방향, fresh session, logout 후 재접속과 credential 비노출을 해당 계약 범위에서 검증한다.