# Step 0: Requirements Baseline

## 담당 역할과 필수 스킬

- 담당 역할: `requirement-agent`
- 필수 스킬: `fesa-requirements-baseline`
- 작업을 시작하기 전에 위 스킬의 `SKILL.md`를 끝까지 읽고 경계를 준수하라.

## 읽어야 할 파일

먼저 아래 파일을 읽고 승인된 범위와 프로젝트 규칙을 파악하라.

- `/AGENTS.md`
- `/docs/PRD.md`
- `/docs/ARCHITECTURE.md`
- `/docs/ADR.md`
- `/docs/SOLVER_AGENT_DESIGN.md`
- `/.codex/skills/fesa-requirements-baseline/SKILL.md`
- `/docs/superpowers/specs/2026-08-08-linear-static-3d-euler-beam-design.md`
- `/docs/linear-static-3d-euler-beam/formulation.md`
- `/reference/cantilever beam/cantilever beam.inp`

승인된 설계 문서의 `status: approved`와 2026-08-09 amendment를 이 step의 사용자 승인
근거로 사용한다.

## 작업

`docs/linear-static-3d-euler-beam/requirements.md`를 생성하라. 문서는 다음 계약을
downstream agent가 추측 없이 사용할 수 있는 `shall` 요구조건과 검증 행렬로 바꿔야 한다.

- Metadata: `feature_id: linear-static-3d-euler-beam`, `status: approved`,
  `owner_agent: requirement-agent`, 현재 날짜, 승인된 설계 경로를 기록한다.
- 목적, In Scope, Out Of Scope, Analysis Definition, Input Requirements, Output
  Requirements, Verification Quantities, Tolerance Policy, Reference Artifact
  Requirements, Requirement Verification Matrix, Downstream Handoff를 포함한다.
- 한 입력당 단일 `*STEP, *STATIC`, 2절점 3D Euler–Bernoulli, node당 6 DOF,
  `TYPE=B33`만 지원하고 B31은 오류로 거부하는 요구조건을 분리한다.
- `*PART/*ASSEMBLY/*INSTANCE` identity wrapper, stable source identity, 여러 identity
  instance 허용, transform/nested assembly 거부를 요구조건으로 만든다.
- 지원 keyword와 warning no-op allowlist를 정확히 열거하고 allowlist 밖 model-affecting
  keyword는 오류로 요구한다.
- factorization-before-load 순서, nonzero prescribed displacement, deterministic
  COO-to-CSR, MKL/TBB/HDF5 adapter 경계, CLI exit code, HDF5 schema/output을 요구한다.
- B33 legacy reference bundle은 read-only이며 exact filename을 보존하고 stress reference
  comparison은 N/A지만 `S11` output과 test는 필수임을 명시한다.
- reference tolerance는 같은 model/step/frame/quantity/component의 read-only Abaqus
  scale만 사용해 `absolute_floor + 1e-6 * reference_scale`을 모든 row에 적용한다.
  SI floor는 displacement/rotation `1e-9`, force/moment `1e-3`이다.
- 모든 `must` 요구조건에 acceptance criterion, verification method, tolerance 또는 N/A,
  downstream agent, status를 매핑한다. 숫자 ID는
  `FESA-REQ-LS3DEB-001`부터 중복 없이 연속 부여한다.

설계가 이미 승인했으므로 새 정책 결정을 만들지 말고, 충돌을 발견하면 문서를 승인
상태로 꾸미지 말고 phase step을 `blocked`로 기록하라.

## Acceptance Criteria

```powershell
$path = 'docs/linear-static-3d-euler-beam/requirements.md'
if (-not (Test-Path $path)) { throw "Missing $path" }
$required = @(
  'feature_id: `linear-static-3d-euler-beam`',
  'status: `approved`',
  '## In Scope',
  '## Out Of Scope',
  '## Requirement Verification Matrix',
  'TYPE=B33',
  'TYPE=B31',
  'absolute_floor + 1e-6 * reference_scale',
  'reference/cantilever beam/'
)
foreach ($text in $required) {
  if (-not (Select-String -LiteralPath $path -SimpleMatch $text -Quiet)) {
    throw "Missing contract text: $text"
  }
}
$ids = Select-String -LiteralPath $path -Pattern 'FESA-REQ-LS3DEB-\d{3}' -AllMatches |
  ForEach-Object { $_.Matches.Value }
if (($ids | Sort-Object -Unique).Count -lt 1) { throw 'No requirement ids found' }
git diff --check -- $path
```

## 검증 절차

1. Acceptance Criteria 명령을 실행한다.
2. 설계 문서 2절, 6절, 9절, 10절, 11절, 12절의 각 필수 계약이 최소 한 요구조건과
   verification matrix row에 추적되는지 점검한다.
3. 수치값, 단위, 좌표계, artifact path가 설계와 정확히 일치하는지 확인한다.
4. `/phases/linear-static-3d-euler-beam/index.json`의 Step 0을 갱신한다.
   - 성공: `status`를 `completed`로 바꾸고 생성 파일과 승인 baseline을 `summary` 한 줄에 기록한다.
   - 수정 3회 후 실패: `status: error`와 `error_message`를 기록한다.
   - 승인 설계와 프로젝트 문서가 충돌해 사용자 결정이 필요하면 `status: blocked`와
     `blocked_reason`을 기록하고 중단한다.

## 금지사항

- C++ API나 파일 구조를 설계하지 마라. 이유: Requirement Agent의 책임 범위를 넘는다.
- formulation 수식을 수정하지 마라. 이유: 수학 계약은 후속 gate가 담당한다.
- Abaqus 또는 reference solver를 실행하지 마라. 이유: 승인된 read-only artifact만 사용한다.
- `/reference/` 파일을 생성·수정·rename하지 마라. 이유: correctness baseline을 오염시킨다.
- 직접 commit하지 마라. 이유: Harness executor가 commit과 timestamp를 관리한다.
