ISA729 924 opcode 울트라 감사 — 최종 종합 판정 (요약)

2026-07-09 · 4축 병렬감사 종합. 정본 상세: /Users/ef/CrownyOS/docs/isa729-감사-20260709/최종판정.md

개요

crownyc VM(0-945 = 946슬롯, IMPL.md 등재 924 opcode)을 8+1 세그먼트(s0~s8·ext)로 전수 실행검증하고, 4개 독립 축(방사형매핑·의미어연계·적대검증 4렌즈)으로 교차대조. crownyc.c 무수정(read-only).

ok 658 / noop 85 / crash 7 / host 148(위험 미실행) / untested 48(언어표면 도달불가). 4축 합산 완전 정합.

실효성: 유효 658/946=69.6%, 실행가능(host 제외 798) 대비 82.5%. 확정 결격 92건(noop85+crash7). 결격이 5건+씩 군집하는 구조적 패턴(아리티오배선·주석불일치·미검증 pc점프·자매포맷불일치). 도달불가 사각지대 48건(구현했으나 키워드 없음).
27방사형: 연결 가능, 의미축(Scheme B) 코히런스 92.6%(기계사영 ~51-56% 대비 압도). 단 cells_used 11/27(편차 7~238) → 4번째 세분축 필요 = 조건부.
의미어 e-단계: 924→2512(e¹)→6827(e²)→18559(e³), 캡 3⁹=19683. ln(19683/924)=3.059 nats로 정합. 현 코드북 4164=e^1.5 지점. opcode 직접연계 33.01%+합성44%≈62.5%, 잔여37.5%는 도메인특이어 → 조건부.
적대검증: 4렌즈 결함다수/조건부건전. "924 체계 건전" 명제는 opcode 정상입력에서만 성립, 표준라이브러리(op415→회귀스위트 hang)·적대입력(crash5%·비결정크래시)·729+확장인코딩(앨리어싱) 3축에서 반박.

op143 ZIPWITH exec_opcode(1)=HALT 오호출 / op469 TPOOL break누락 폴스루 / PC탈취군 521·533·540·544·557 미검증 pc점프 / VM커널 pc>=0 미검사(11+ opcode 공유) / op931 QT_SYMP 비결정 크래시(33-40%) / op415 표준라이브러리 14개+ 오용 → run_all.sh hang(신규, opcode범위 밖) / OP_PUSH_ZERO=10 컴파일러 enum 충돌 / 729+ sector오버플로 앨리어싱(op810→op324 PRINT).

소스확정 치명 VM 버그 즉시 패치(op143·op469·VM루프 pc>=0 가드·op931) — crash 7건 근원 해소.
표준라이브러리 설정() 오용 14개+ 일괄수정 → 회귀스위트 완주 복구(최고 레버리지).
컴파일러 표면정합(enum충돌·오배선키워드10종·도달불가48개) + 729+ EVAL안전경로 강제. 후속 27방사형 4번째축·의미어 코드북확장.