KOKO\Mimi
b9aa5ff263
Record T4 as a nonadopted request-specific derivative-channel candidate. No product, private helper, public API, fixture or test-registration changes are required; the production sources and archives remain identical to T3. Original-source preservation tests show that Compose with a high nonfinite third coefficient and zero direction retains finite value/gradient/Hessian but produces mixed-second NaN, IsFinite failure and INVALID FE/MXCSR state. An overflowing high reciprocal coefficient reaches the same boundary. Negative scalar times zero also preserves signed-zero directional/mixed channels, so replacing unused fields with initialized +0 changes behavior. The omission candidate was rejected without a validation-replication framework. Copied-source instrumentation in three valid representative small HHT tests recorded API entry attempts before validation: none 42, explicit-zero 78, nonzero 47. These are scoped test-entry observations, not successful or accepted evaluation counts or official-model frequency estimates. Normal Release request-mode timings are descriptive auxiliary costs, not channel cost attribution or a before/after speedup. No official model ran in T4. Separate T4 original/current supplemental comparisons passed in six routes; six explicit omission-mutant comparisons returned the expected exit 1. Unchanged T3 build/default/related evidence is linked by exact source/archive hashes. Existing physics failures and full T6 verification remain unchanged. Artifact root: C:/git/FESADev/.build/jet-product-20261021-01/t4 T4-summary.json SHA256: c348a62d6c686c667286ba8ee16f310134b13c779132fe839765def89af568c0 T4-summary.md SHA256: ecfea9771dd8de396d86394262f393a3da9c480b8a80c500a9545a383b80bb15 commands-manifest.json SHA256: 4cace21f3b49932f52d9cf1bd9dfdc2ad7d9ccf40657da8849c678dd24e0a538
FESA 기술 문서
현재 구현의 목적·경계·소유권·검증 한계를 기능별로 요약한다. 정식화 원문은 유도와 당시 가정을 보존하며 현재 채택 여부는 README에서 구분한다. 문서 정리는 새 build/test 또는 외부 검증 통과를 뜻하지 않는다.
작업에 필요한 읽기 범위
시작은 루트 작업 지침, 해당 기능 README와 변경 영역의 지침이다. 아래 목록의 모든 문서나 링크를 한 번에 읽는 대신, 변경에 필요한 계약·유도·검사만 추가한다. AGENTS.md와 CLAUDE.md는 같은 지침의 도구별 진입점이므로 수동 읽기 목록에는 하나만 포함한다.
| 변경 내용 | 추가로 확인할 자료 |
|---|---|
| 공개 API·소유권·조립·상태 수명 | solver-core의 책임과 수명·공통 procedure 절, 대응 src와 consumer |
| 입력·결과·reference 비교 | solver-core의 CLI와 입력·결과와 reference 비교 절, 기능별 mapping과 검사 |
| C++ 구현·실패 처리 | solver-core의 개발 교훈과 검증 경계 절, 변경 동작을 검증하는 테스트 |
| 빌드·dependency | solver-core의 빌드와 직접 검사 절, cmake/msvc 지침과 실제 preset·target |
| 수식·물리·적분·절차 | 기능 README에서 채택한 formulation의 관련 유도·가정·검증 절 |
| 과거 연구·테스트 이관 감사 | 해당 연구 문서, manifest의 필요한 key 또는 이관표의 해당 identity 행 |
Formulation의 수식·가정은 원문으로 보존한다. 문서 안의 ready/미구현·후속 owner·옛 문서명은 작성 당시 기록일 수 있으므로 현재 구현·검증 여부는 기능 README에서 구분한다. 현재 요약으로 연결된 옛 ADR/research 링크가 원문 전체를 제공한다는 뜻은 아니다. 원문은 Git 이력에서 확인한다. 연구·과거 수식은 해당 문제를 조사할 때 선택하며 일반 기능 개발의 기본 읽기 목록에 넣지 않는다.
2026-10-18 통합의 실제 실행 범위와 미검증 항목은 병합 현황에 있다. 과거 PASS를 최신 source의 미실행 범위로 승계하지 않는다. 읽기 묶음별 예상량은 개발 컨텍스트 추정에 정리했다.