chore(mitc4-shell-feast-eigen-execution-prep): WIP Hook update with verification failure
This commit is contained in:
@@ -4,7 +4,8 @@
|
||||
- Owner: `implementation-agent`
|
||||
- Input contract revision: `r2`
|
||||
- Step: `mitc4-shell-feast-eigen-execution-prep` / `0 bounded-execution-deadlines`
|
||||
- Outcome: `blocked-environment`
|
||||
- Outcome: `retry` — Full VERIFY CTest failed once outside the assigned
|
||||
implementation paths; Coordinator classification is required.
|
||||
|
||||
## RED
|
||||
|
||||
@@ -56,3 +57,67 @@ writable to this Step, then apply only its registered Stop timeout change to `75
|
||||
and rerun Focused VERIFY followed by Full VERIFY. Existing `started_at` is preserved;
|
||||
no `attempt_history`, timestamp, branch, commit, upstream contract, or reference
|
||||
artifact was changed.
|
||||
|
||||
## 재개 실행 결과 (authoritative)
|
||||
|
||||
이 절은 위 attempt 1의 historical record를 대체하는 현재 Step 0 실행 결과다.
|
||||
Feature/owner/revision은 `mitc4-shell-feast-eigen` / `implementation-agent` / `r2`이며,
|
||||
요구 trace는 `FEM-REQ-MITC4-EIGEN-023/025`, `MFE-C27`, `IO-T11`이다.
|
||||
|
||||
### RED → GREEN
|
||||
|
||||
- 최초 `uv run --with pytest python -B -m pytest -v -rs
|
||||
tests/test_harness_timeouts.py`는 exit `1`이었다. 등록 Stop `1800` 대 `7500`의
|
||||
intended RED와, 상속된 `FEM_HARNESS_CODEX_SANDBOX=danger-full-access` 때문에
|
||||
발생한 test-double setup failure를 구분했다.
|
||||
- workspace-write와 짧은 새 `--basetemp`를 사용한 direct venv 재현은 exit `1`,
|
||||
`3 passed, 1 failed`였다. 유일한 failure는 `stop["timeout"] == 7500`에 대한
|
||||
실제 `1800` 값으로, 승인된 intended RED다.
|
||||
- 최소 GREEN은 [.codex/hooks.json](../../.codex/hooks.json)의 Stop `timeout`만
|
||||
`1800`에서 `7500`으로 변경했다. 이전 Correction의 `scripts/execute.py` classifier
|
||||
변경과 `tests/test_execute.py`는 재변경하지 않았다.
|
||||
- 같은 timeout test는 exit `0`, `4 passed`였다. 새로운 short workspace
|
||||
`--basetemp`로 Focused VERIFY를 재실행해 exit `0`, `136 passed`, `45.05 s`를
|
||||
확인했다. classifier inventory는
|
||||
`test_environment_classifier_ignores_successful_source_echo` 6 cases,
|
||||
`test_environment_classifier_retains_runtime_helper_failure` 16 cases,
|
||||
`test_successful_source_echo_preserves_terminal_and_retry` 15 cases로 통과했다.
|
||||
|
||||
### Full VERIFY와 terminal failure
|
||||
|
||||
| Command | Exit | Result |
|
||||
| --- | ---: | --- |
|
||||
| `cmake -S . -B .harness/build -A x64` | 0 | MSVC x64 cache configure, 3.79 s |
|
||||
| `cmake --build .harness/build --config Debug` | 0 | Debug build, 5.88 s |
|
||||
| `ctest --test-dir .harness/build -C Debug --show-only=json-v1` | 0 | 362 tests discovered, 2.14 s |
|
||||
| `ctest --test-dir .harness/build -C Debug --output-on-failure` | 8 | 361/362 passed, 1086.77 s |
|
||||
|
||||
`ShellSurfacePressureApplication.InputWithoutPressureRetainsExistingNonlinearBehavior`
|
||||
한 건이 `output-busy` (application exit `6`)로 실패했다. 실패 output identity는
|
||||
이전 classifier-correction workspace `TEMP/TMP` 아래였고, 실행 종료 뒤 live
|
||||
`fesa`, `fesa_integration_tests`, `fesa_reference_tests` process 및 해당 output
|
||||
directory는 없었다. 이 Step의 owned path 밖인 nonlinear application/integration
|
||||
failure이므로 source나 test를 변경하거나 terminal failure를 즉시 재실행하지 않았다.
|
||||
|
||||
순차 Full VERIFY는 CTest nonzero에서 중단했으므로 전체 pytest는 이번 실행에서
|
||||
**미실행**이다. 이 operating-prep Step에는 external reference comparison이 적용되지
|
||||
않으며, reference artifact를 읽거나 변경하지 않았다. 현재 source의 wrapper value는
|
||||
`14400`, 등록 Stop JSON은 `7500`, shared validation/default command deadline은 각각
|
||||
`7200`이다. 수동 test/build evidence와 registered Stop/Codex process exit는 별개이며,
|
||||
후자는 이 보고서 시점에 미관찰이다.
|
||||
|
||||
Raw logs와 copied CTest `LastTest.log`는 ignored
|
||||
`.harness/build/mitc4-eigen-evidence/prep/manual-20260906143832/`에 보존했다.
|
||||
현재 실행에서 변경한 tracked implementation artifact는
|
||||
`.codex/hooks.json`과 이 보고서뿐이다. Phase Step result는 Executor history/timestamp를
|
||||
보존한 채 `error`로 반환한다.
|
||||
|
||||
### 등록 Stop 관찰
|
||||
|
||||
후속 registered Stop (`stop:9`)도 같은 build directory에서
|
||||
`ctest --test-dir C:\\Users\\baram\\orca\\workspaces\\FESADev\\Eigen\\.harness\\build -C Debug --output-on-failure`를
|
||||
실행했다. 종료는 exit `8`, `361/362 passed`, real `982.52 s`였고 동일한
|
||||
`ShellSurfacePressureApplication.InputWithoutPressureRetainsExistingNonlinearBehavior`
|
||||
만 실패했다. 따라서 새 등록 Stop deadline이 CTest 실행을 차단하지는 않았지만,
|
||||
이 Step은 정상 terminal validation을 통과하지 못했다. Codex process의 최종 exit는 이
|
||||
hook observation 자체로 주장하지 않는다.
|
||||
|
||||
Reference in New Issue
Block a user