웨이스(WACE)는 제조 AI 운영체제 VEXPLOR를 만들며 진행한 PLC·로봇 검증 실험을 기술보고서로 공개합니다. 보고서 원문은 영어이고, 아래 한글 제목은 원제를 옮긴 것입니다. 원문·데이터·코드는 GitHub waceinc/tech-reports에 있습니다.
5 REPORTS · EN · ZENODO DOI · CC BY 4.0
01REPORTSAUTHOR · DONG GUL BANG · WACE INC.
공개된 보고서
TR-2026-01공개 2026-09-21 v1.3 · 2026-09-25 개정동작 동등성 검사는 잠든 로직을 보지 못한다 — 가상 PLC에서 PLC 명령 게이트 5가지를 비교한 사전 등록 부정적 결과Behavioral Equivalence Cannot See Dormant Logic: A Pre-Registered Negative Result from a Five-Arm Comparison of PLC Command Gates on a Simulated PLCDOI10.5281/zenodo.22959765 전체 판10.5281/zenodo.22868613 보고서 PDF (GitHub) 블로그 소개 글
TR-2026-02공개 2026-09-30 v1.1 · 2026-10-01 개정계산 주기 경계에서 입력을 받는 방식은 가상 셀 하나의 시험 판정을 바꾸지 않았지만, 주기 안 이력 복원이 잡아낸 짧은 정지 신호를 놓쳤다 — 사전 등록 비교Tick-Boundary Input Sampling Changed No Test-Bench Verdict in One Simulated Cell but Missed Short Stop Pulses That In-Tick History Restoration Caught: A Pre-Registered ComparisonDOI10.5281/zenodo.23071326 전체 판10.5281/zenodo.23055399 보고서 PDF (GitHub) 블로그 소개 글
TR-2026-03공개 2026-10-01 v1.0고정 시나리오 세트는 가상 PLC 셀 3개에서 인터록 조건 하나를 뺀 500건 중 183건을 드러냈고, 놓친 대부분은 실행은 됐지만 적용된 출력이 바뀌지 않은 경우였다 — 두 예측이 모두 틀린 사전 등록 What-IfA Fixed Scenario Set Revealed 183 of 500 Single-Condition Interlock Removals in Three Simulated PLC Cells, and Most Removals It Missed Were Exercised but Left the Applied Outputs Unchanged: A Pre-Registered What-If in Which Both Predictions Were WrongDOI10.5281/zenodo.23071081 전체 판10.5281/zenodo.23071080 보고서 PDF (GitHub)
TR-2026-04공개 2026-10-02 v1.0정적 검사와 입력 강제 시험을 통과한 LLM 생성 PLC 래더 54개(사전 등록한 누수 제외를 하지 않으면 109개) 가운데 가상 공장 실행에서 실패한 것은 없었다 — 검증 방법 3가지를 비교한 사전 등록 비교, 관측된 대로 예측이 틀림None of 54 LLM-Generated PLC Ladders That Passed a Static Check and an Input-Forcing Test Failed a Simulated-Plant Run (109 Without the Pre-Registered Leak Exclusion): A Pre-Registered Comparison of Three Verification Methods in Which the Prediction Was Wrong as ObservedDOI10.5281/zenodo.23096367 전체 판10.5281/zenodo.23096366 보고서 PDF (GitHub)
TR-2026-06공개 2026-10-06 v1.0시작과 목표의 손목 관절 부호가 반대인 직선 이동 240건 중 213건에서 수치 계획한 로봇 팔이 교시한 값과 다른 관절 값으로 끝났고, 끝 관절 비교가 없는 검사였다면 불일치 251건 중 73건(사전 등록 30% 대비 29.1%)이 재생됐을 것이다 — 놓침 예측이 틀림In 213 of 240 Linear Moves Whose Start and Target Wrist Joint Had Opposite Signs, a Numerically Planned Robot Arm Ended on Joint Values Other Than the Taught Ones; a Check Without the End-Joint Comparison Would Have Let 73 of 251 Mismatches Play Back (29.1% Against a Pre-Registered 30%): The Miss Prediction Was WrongDOI10.5281/zenodo.23174829 전체 판10.5281/zenodo.23174828 보고서 PDF (GitHub)
공개 원칙
1. 실험마다 판정 기준과 예측을 실행 전에 저장소에 커밋하고, 그 파일의 SHA-256 해시를 보고서에 적습니다(사전 등록).
2. 예측이 틀린 결과도 그대로 공개합니다.
3. 정정은 새 판과 새 DOI로 내고, 이전 판은 지우지 않고 남깁니다. 정정 내용은 저장소 ERRATA.md에 있습니다. 「전체 판」 DOI는 늘 최신 판으로 연결됩니다.