기준값은 어디서 오나

검사의 신뢰는 기준값의 신뢰만큼입니다. 우리의 기준값은 공인·독립 검증 가능한 출처로 거슬러 올라갑니다:

AStrutTie 2020 Technical Book — ACI 318-19 수계산이 붙은 STM 예제집
수계산의 fixture 재유도 — 모든 숫자를 프로그램이 아니라 원전에서 직접 입력
순수 oracle — 제품과 별도로 구현한 강도식, 제품이 검사 단위로 일치해야 함
독립 엔진 — 같은 모델을 SAP2000과 from-scratch Python(numpy) 구현으로도 풀어 부재력·강도식이 일치해야 하며, 위험측 편차는 0이어야 함

위험측 0 규율

편차는 부호를 갖습니다. 기준값보다 보수적(안전측)인 결과는 기록하고, 덜 보수적(위험측)인 결과는 출시 차단 — 무관용, 예외 없음.

3D · cross-kernel 검사

검증은 3D 템플릿도 포함하며, 코드를 공유하지 않는 여러 독립 솔버 엔진에 걸칩니다 — 코드가 다른 엔진들이 같은 숫자에 이르러야만 결과를 신뢰합니다:

3D 말뚝캡 앵커 — 모멘트 변형 4종(Tem02·03·04·06)을 클린룸으로 재구현했고, 105개 부재력 전부를 ±5×10⁻⁵ kN 이내로, 위험측으로는 한 번도 넘지 않고 재현합니다.
cross-kernel 일치 — 같은 3D 모델을 네 방식으로 풉니다: 수계산, Rust WebAssembly 커널, C++ ACore 엔진, 닫힌형 해. 부재력·변위·반력이 일치해야 합니다.

독립 오라클 방화벽

제품이 계산에 관여한 기준값은 아무것도 증명하지 못합니다. 여기의 모든 기준값은 검사 대상 제품과 독립적으로 만들어집니다 — 공인 수계산, 별도 엔진, from-scratch oracle, 또는 닫힌형 해. 결과를 자기 자신과 대조하는 것은 순환이며, 순환 검사는 검사 없음으로 칩니다.

검증 현황 — 아직 닫히지 않은 것

"전부 통과"라는 주장은 의심받아 마땅하므로, 잔여와 최근 닫힌 것을 날짜와 함께 공개합니다. 2026-08-27 기준:

이 표가 비는 날에는, 그 사실도 날짜와 함께 여기 기재됩니다.

우리는 "모두 통과"를 주장하지 않습니다. 정확히 무엇이 통과하고 무엇이 아직인지, 그리고 위험측은 결코 조용히 출하되지 않는다는 것을 주장합니다.

#	항목	상태
1	깊은보 — 레거시 부재력 분배 관례: 타이 1본이 레거시 계산례보다 10.2% 낮음. 그 관례를 구속 기준값으로 삼을지 확정 진행 중	미해소 — 분배 관례 확정 대기
2	깊은보(단순) — 트러스 위상 레거시 편차, 위험측	해소 2026-07-03 — 레거시 위상 기본 채택, 영구 게이트(72검사) 상설