NME 문법 레퍼런스

NME는 하나의 컴파일러 안에 세 문법 단계가 있습니다. 모드를 바꾸는 선언은 없습니다. 한 파일과 한 블록 안에서 고급 Python, 초급 NME, 문장형 NME, 한국어, 영어를 모두 섞을 수 있습니다.

#호환성 규칙

올바른 Python이 항상 우선합니다. NME는 쉬운 문법을 찾기 전에 실제 Python 파서로 그 줄이 올바른지 확인합니다. 따라서 올바른 Python 프로그램은 바이트 하나도 바뀌지 않습니다.

say = print
say("Python 호출")
if 준비됨:
    print("Python 조건")

세 단계는 다음처럼 같은 Python으로 컴파일될 수 있습니다.

#문장형 단계

문장형은 코딩 첫날을 위한 문법입니다. 아래의 자주 쓰는 작업에서는 따옴표, 쉼표, 괄호, 중괄호, 등호, 콜론이 필요하지 않습니다. 평범한 문장부호 ?와 !는 따옴표 없이 쓸 수 있습니다.

#글과 값 보여 주기

안녕하세요! 말해줘
보여줘 반갑습니다
보여줘 나 반갑습니다
show Hello world!
Hello world show

입력이나 문장형 저장으로 앞에서 만든 이름은 자동으로 값이 들어갑니다.

이름을 물어봐 이름이 뭐예요?
물어봐 이름, 이름이 뭐예요?
안녕하세요 이름! 말해줘

ask name What is your name?
show Hello name!

이름과 name 자리에는 실제 대답이 들어가고 나머지는 글로 남습니다. 알고 있는 한국어 이름 뒤의 조사는 출력에 그대로 붙습니다.

분명한 여러 단어 문장은 동작 단어 없이도 바로 보여 줍니다.

오늘도 반가워요!
Hello everyone!

한 단어만 있는 줄은 올바른 Python 이름일 수 있으므로 Python 우선 규칙에 따라 그대로 둡니다. 한 단어를 출력하려면 말해나 보여줘를 붙이세요.

가장 짧은 대화는 질문과 특수문자가 없어도 됩니다.

이름을 물어봐
안녕하세요 이름 말해줘

더 쉬운 첫 입력은 평범한 질문으로 적는 것입니다.

이름이 뭐예요?
이름은 뭐예요?
나이는 몇 살이에요?
안녕하세요 이름!

질문의 이름(이름, 나이)에 답이 자동으로 저장됩니다. 몇 살이에요?처럼 대상을 생략한 나이 질문도 나이에 저장합니다. 영어 What is your name, What's your city?, How old are you, How old am I도 같은 방식으로 동작합니다. 마지막 ?는 생략할 수 있습니다. 숫자로 바꿔야 하거나 질문이 복잡하면 숫자로 물어봐 또는 명시적인 물어봐를 사용하세요.

출력 동작으로 보여줘, 말해줘, 말해주세요, 출력해, 출력해줘, show, display, tell, say를 쓸 수 있습니다. 정확한 초급 표기인 말해 표현식과 say expression은 올바른 Python 표현식을 코드로 처리합니다.

#글이나 숫자 물어보기

이름을 물어봐 이름이 뭐예요?
ask name What is your name?
ask name, What is your name?

나이를 숫자로 물어봐 몇 살인가요?
ask number age How old are you?

따옴표 없는 질문 끝에는 입력하기 편하도록 공백이 자동으로 하나 붙습니다. 쉼표 뒤에도 평범한 문장을 쓸 수 있고, 따옴표나 표현식을 쓰는 정확한 초급형도 그대로 지원합니다. 글 입력은 input(...), 숫자 입력은 int(input(...))로 컴파일됩니다.

물어봐, 물어봐줘, 질문해, 입력받아, ask, prompt를 쓸 수 있습니다. 입력받을 한국어 이름의 을과 를은 변수 이름에서 빠집니다.

#값 저장하기

인사는 안녕하세요
정답은 7
점수에 1 더해
점수에서 1 빼줘
set greeting to Hello
set answer to 7
greeting save Hello
이름 저장 민수

평범한 대입문으로 바뀝니다. name save Mina나 이름 저장 민수처럼 이름을 먼저 말하는 저장도 지원합니다. 숫자와 분명한 표현식은 코드, 평범한 단어는 글로 저장합니다. 저장한 이름은 뒤의 문장 출력과 조건에서 사용할 수 있습니다.

작은 값 변경은 +, -, = 없이도 쓸 수 있습니다. 점수에 1 더해와 점수에서 1 빼줘처럼 적으면 Python의 대입으로 바뀝니다. 영어에서는 score add 1, add 1 to score, score increase by 1, subtract 1 from score도 사용할 수 있습니다.

#반복하기

한 문장을 한 줄에서 반복합니다.

3번 반복해서 다시 말해줘
repeat 3 times and show Again
3 times 반복해서 mixed 말해줘
3번 안녕하세요
3 times Welcome to NME

횟수 뒤에 평범한 글을 바로 쓰면 그 글을 반복해서 출력합니다. 처음에는 이 형식을 쓰고, 뜻을 분명히 보이고 싶을 때만 말해줘나 show를 붙이세요.

여러 문장은 콜론 없이 들여씁니다.

3번 반복해
    첫째 말해줘
    show second

repeat 3 times
    show First
    둘째 말해줘

반복, 반복해, 반복해서, repeat를 번 또는 times와 섞어도 됩니다. 횟수에는 올바른 Python 표현식을 사용할 수 있습니다.

초급형 콜론 표기도 명시적인 닫는 말과 함께 쓰면 들여쓰기를 생략할 수 있습니다.

3번:
첫 번째 문장 말해줘
두 번째 문장 말해줘
끝

영어 3 times:와 end도 같은 방식으로 작동합니다. 일반 Python for나 콜론이 붙은 if는 Python 문법이므로 Python의 들여쓰기 규칙을 그대로 따릅니다.

#들여쓰기 없이 블록 닫기

Python으로 갈 준비가 되기 전에는 들여쓰기가 가장 어렵게 느껴질 수 있습니다. 이때는 블록 안 문장을 다음 줄에 그대로 쓰고 마지막에 끝 또는 end를 한 줄로 적으면 됩니다. 이 방식으로 Python으로 넘어갈 때 필요한 제어 흐름도 배웁니다.

점수는 0
점수가 3보다 작을 동안
점수 말해줘
점수는 점수 + 1
끝

만약 준비 그리고 점수가 2보다 크면
성공 말해줘
아니면 만약에 점수가 0과 같으면
다시 말해줘
아니면
아직 말해줘
끝

동안 준비 또는 기다리는중
계속 말해줘
멈춰
끝

동안, 만약, 아니면, 아니면만약에, 멈춰, 끝은 영어 while, if, else, elif, break, end와 같은 뜻입니다. 그리고와 또는은 각각 and와 or로 섞어 쓸 수 있습니다. 익숙해지면 같은 블록을 네 칸 들여쓰기로 쓰거나 Python 문법으로 한 줄씩 바꿔도 됩니다. 준비하는동안, 준비 하는 동안, 준비 동안처럼 주어 뒤에 동안을 붙여 말해도 됩니다. 영어 while 키워드 뒤에 한국어 문장 조건과 동안 끝맺음을 섞어서도 쓸 수 있습니다. 예: while 점수가 3보다 작을 동안.

#조건 사용하기

콜론이 없는 블록입니다.

만약에 이름이 있으면
    안녕하세요 이름 말해줘

if 준비됨
    show 시작

한 문장은 then이나 하면 같은 한국어 연결 어미 뒤에 바로 적습니다.

만약에 점수가 10보다 크면 성공 말해줘
if score is greater than 10 then show You won

만약을 앞에 쓰지 않고 주어부터 말해도 됩니다.

점수가 5보다 크면 높아요 말해줘
이름이 있으면 환영해요 이름 말해줘
색이 빨강과 같으면 맞아요 말해줘

비교·존재 확인과 실행 동작이 분명할 때만 이 형태로 해석합니다. Hello then world처럼 평범한 말은 문장 출력으로 남습니다.

지원하는 문장형 비교입니다.

만약 조건, 만약에 조건, when condition, 혼합형 if 조건도 전부 동작합니다. 모든 Python 표현식이 필요한 조건은 정확한 초급형을 쓰세요.

and는 or보다 먼저 계산됩니다. 영어와 한국어를 섞어도 됩니다.

if 준비 그리고 점수 > 2 then 성공 말해줘
만약 준비 또는 기다리는중이 있으면 기다려 말해줘

만약이나 동안 헤더에서 괄호로 NME 조건 전체를 감쌀 수도 있습니다. 예를 들어 만약 (준비 그리고 점수 > 2)처럼 씁니다. NME 블록으로 해석하려면 헤더에 콜론을 붙이지 않아야 하며, when(ready and score > 2)처럼 올바른 Python 호출은 바이트 단위로 그대로 Python으로 남습니다. 자연스러운 조건 끝말도 만약 (점수가 2보다 작으면)처럼 괄호 안에 둘 수 있습니다. 괄호 안의 논리 연결어 앞에 조건 끝말을 둘 수도 있습니다. 예를 들어 만약 (점수가 2보다 크면 그리고 준비)처럼 씁니다. 같은 방식으로 한국어 while 끝말도 동안 (횟수가 2보다 작을 동안 그리고 준비)처럼 쓸 수 있습니다. 연결어 표기는 섞어도 되므로 만약 (점수가 2보다 크면 and 준비)처럼 적을 수도 있습니다.

한국어 NME 동작어는 올바른 Python 식별자이기도 합니다. 따라서 만약이 바인딩된 상태에서 만약 (준비)는 올바른 Python 호출 형태이므로 바이트 단위로 그대로 남습니다. NME 블록으로 쓰려면 만약 준비라면처럼 문장형 조건 끝말을 붙이거나, 만약 ((준비 그리고 참))처럼 NME 연결어를 넣어 주세요.

#코드용 특수문자 없는 랜덤

주사위는 1부터 6까지 랜덤정수
주사위 말해줘

색은 빨강 또는 초록 또는 파랑 중에서 랜덤선택
show 색

Python에 포함된 random을 바로 사용하므로 별도 모듈 줄도 필요 없습니다.

#오타와 연결어 복구

문서에 있는 동작 단어와 논리·조건 연결어의 여러 표현을 받아들이며, Python이 그 줄을 거부한 뒤에 한 글자 삽입·삭제·교체 또는 붙어 있는 두 글자 순서 바뀜을 복구합니다. 글자 하나가 더해지거나 빠지면서 자리 바꿈이 함께 생긴 흔한 오타도 뜻이 하나면 복구합니다. 물어바 → 물어봐, 말헤 → 말해, repaet → repeat, shwoe → show, thne → then, 그리거 → 그리고, 같먄 → 같으면, 만악에 → 만약에가 예입니다.

한국어 조건은 이름이 철수면, 이름이 철수라면, 준비가 거짓이면처럼 짧게 말해도 됩니다. 조사를 띄워 이름 이 철수 면이라고 쓰거나 준비면처럼 주어 뒤에 바로 말해도 됩니다. 있으먄, 철수먄, 같먄, 만악에처럼 연결 어미를 한 글자 잘못 쓴 경우도 뜻이 하나면 복구합니다. 이 형태는 한 줄 조건에서만 쓸 수 있어요.

복구는 동작·조건 연결 토큰에만 적용하며 Python 표현식, 문자열, 주석은 고치지 않습니다. 고칠 방법이 하나로 정해지지 않거나 동작이 분명하지 않으면 억지로 추측하지 않고 정확한 위치와 고치는 예시를 보여 줍니다. 모든 가능한 오타와 모든 사람의 문장을 안전하게 추측할 수 있는 컴파일러는 없으므로 이 경계는 의도적입니다.

#초급 단계

초급 문법은 짧고 정확합니다. 모든 Python 표현식을 쓸 수 있으며 문장형 해석이 애매할 때 유용합니다. 문서에 있는 초급 동작은 모두 한국어 이름이 있으며 한 줄에서 영어와 한국어를 섞어도 됩니다.

아래 <...> 부분은 실제 값으로 바꿔 써야 하는 자리 표시자입니다. 그대로 복사하지 말고 <>를 알맞은 값으로 바꾸세요:

말해 <Python 표현식>
say <Python expression>

물어봐 <이름>
물어봐 <이름>, <Python 질문 표현식>

저장 <이름> <값>
설정 <이름> <값>
저장 <이름>을 <값>
save <name> to <value>
ask <name>
ask <name>, <Python prompt expression>

<횟수>번:
<count> times:

만약 <조건>:
when <condition>:

동안 <조건>
while <condition>
멈춰
break
아니면 만약에 <조건>
아니면만약에 <조건>
else if <condition>
아니면
else
끝
end

랜덤 사용
use random
영지식 사용
use zero_knowledge

콜론 뒤에 한 문장을 바로 쓰거나 여러 줄을 들여쓸 수 있습니다.

3번: 말해 "안녕"
3 times:
    say "Hi"
    print("고급 Python도 가능")

정확한 변환입니다.

표현식은 NME가 다시 만들지 않는 Python 원본 범위입니다. 올바른지만 확인하고 적힌 그대로 복사합니다.

#고급 단계

고급 NME는 Python 문법과 같습니다. 대입, 함수, 클래스, import, 예외, 비동기 코드, 패턴 매칭, 설치한 Python 패키지와 모든 올바른 Python 기능이 변경 없이 동작합니다.

from pathlib import Path

def 단어들(경로):
    return Path(경로).read_text(encoding="utf-8").split()

for 단어 in 단어들("notes.txt"):
    show 단어

마지막 줄처럼 고급 Python 블록 안에 영어 문장형 NME를 쓸 수 있습니다.

#버전이 있는 내장 모듈

NME에는 초보자용 모듈 세 개가 들어 있습니다: 주사위·선택용 random(랜덤), 읽기·쓰기·JSON용 file(파일), 실제 슈노르 지식 증명 계산을 제공하는 zero_knowledge(영지식)입니다. 랜덤과 파일 어댑터는 0.0.1, 영지식 어댑터는 0.0.2가 내장됩니다. 모듈마다 사용 줄 하나면 충분하며 같은 모듈을 두 번 가져오면 충돌 오류가 납니다.

랜덤 사용
파일 사용
영지식 사용

랜덤 사용 최신, 최신 랜덤 사용, 랜덤 사용 버전 "0.0.1"도 같은 뜻이며, 영어 표기 use random, use random latest, use latest random, use random version "0.0.1"도 같습니다. file 모듈도 같은 형태를 file/파일로 받습니다: 파일 사용, 파일 사용 최신, 파일 사용 버전 "0.0.1". 영지식 어댑터는 zero_knowledge/영지식을 같은 방식으로 받으며 영지식 사용 최신도 사용할 수 있습니다. 구두점 없는 영어 문장형 소스에서는 밑줄 없는 별칭 use zeroknowledge latest도 같은 모듈을 불러옵니다.

최신 / latest는 설치한 NME 컴파일러에 들어 있는 가장 새 어댑터를 고릅니다. 제어되지 않은 네트워크 업데이트가 아니라 로컬에서 항상 같은 결과를 내는 선택입니다. 없는 정확한 버전을 요청하면 설치된 버전을 알려 주는 오류가 나옵니다. 랜덤 사요 최신처럼 뜻이 분명한 한 글자 오타도 복구합니다.

어느 언어로 불러와도 두 언어의 이름이 모두 생깁니다.

모든 내장 모듈은 위의 도우미 이름을 예약합니다. 이미 같은 이름을 쓰고 있으면 값을 조용히 덮어쓰지 않고 이름을 바꾸라는 오류를 보여 줍니다.

#슈노르 영지식 어댑터

영지식 어댑터는 고정된 유한체 군을 사용합니다. 3072비트 안전 소수인 RFC 3526 MODP 그룹 15, 생성원 2, 소수 차수 부분군 q = (p - 1) / 2, 256비트 검증자 도전을 사용합니다. 보안 난수는 Python의 secrets에서 가져옵니다.

완전한 증명 흐름은 괄호 없이 한국어와 영어 문장형으로도 쓸 수 있습니다. 영어에서는 zero knowledge secret make, secret zero knowledge public make, zero knowledge nonce make, nonce zero knowledge commitment make, secret context zero knowledge proof make, public proof context zero knowledge verify, public commitment context zero knowledge challenge make를 사용합니다. 순수 영어 문장형 예시는 examples/needmorecoin-sentence.en.nme, 한국어 증명 흐름은 examples/zk-schnorr-relay.ko.nme를 보세요. 검증 함수는 슈노르 등식을 확인하기 전에 공개값과 약속값의 부분군 소속, 응답 범위, 도전 범위를 검사합니다.

저장된 전사록은 다른 새 도전에 답할 수 없습니다. 반면 도전을 미리 고르면 비밀값 없이도 그 도전용 전사록을 모의할 수 있어 영지식 성질을 보여 줍니다. 실시간 중계는 다른 문제입니다. 공격자가 검증자의 도전을 실제 증명자에게 즉시 전달하고 실제 응답을 되돌려 주면 검증은 통과할 수 있습니다. 중계 저항이 필요한 인증은 의도한 채널이나 세션에 별도로 결합해야 합니다.

이 어댑터는 수학적으로 실제 슈노르 계산을 쓰는 학습·기준 구현입니다. CPython 큰 정수 연산은 상수 시간이나 부채널 방어를 보장하지 않으므로 실제 자격 증명, 돈, 민감한 시스템에는 감사된 실서비스 암호 구현을 사용하세요.

nme 모듈(영어 nme modules)로 버전과 이름을 확인합니다. 파일은 프로그램을 실행하는 폴더에 만들어지므로 프로젝트 폴더에 저장하세요. 보안 번호나 비밀번호에는 랜덤 도구를 사용하지 마세요.

#모듈: 다른 .nme 프로그램 가져오기

같은 폴더에 있는 다른 .nme 파일에서 이름 있는 값을 가져올 수 있습니다. 이름 목록이 곧 모듈의 인터페이스입니다. 그 이름들만 파일 경계를 넘으므로 숨은 전역 상태가 없습니다:

from "helper.nme" import greet, score
show greet

모듈 파일은 일반 NME 또는 Python으로 값을 정의합니다:

# helper.nme
greet = "hello"
score = 0

nme 실행(nme 검사/nme 빌드도)은 주 프로그램 옆에서 helper.nme를 찾아 변환하고 가져올 수 있게 만듭니다. 모듈 오류는 모듈 파일 이름과 함께 표시됩니다. 가져오기는 이어질 수 있고(helper.nme가 다른 모듈을 가져올 수 있음), 파일 이름은 Python 식별자여야 하며(my-helper.nme나 shapes.ko.nme는 안 됨), 두 모듈이 이름을 공유하면 안 됩니다. 이 충돌은 고치는 방법을 안내하는 E9028로 표시됩니다. nme 컴파일(영어 nme compile)은 아직 모듈 가져오기를 지원하지 않아 E9029를 표시하므로, 다른 .nme 파일을 가져오는 프로그램은 nme 실행, nme 검사, 또는 nme 빌드를 사용하세요. 가져온 파일을 열 수 없으면 CLI가 모듈 경로와 함께 E9007을 표시합니다.

문장형에서는 모듈 줄이나 Python 특수문자 없이도 파일을 읽고 쓸 수 있습니다. 경로는 항상 따옴표로 감싼 문자열입니다.

read "notes.txt" into memo
memo read "notes.txt"
memo에 "notes.txt" 읽어서
memo에 "notes.txt" 읽어서 저장해

write "hello" to "out.txt"
"out.txt" 파일에 "hello"를 저장해

이 문장들은 pathlib.Path(...).read_text() / .write_text(...) 줄로 내려가므로 만들어진 Python이 file 모듈이 가르치는 것과 같은 표준 라이브러리입니다. read the book이나 write hello처럼 애매한 줄은 파일 동작이 아니라 평범한 문장 출력으로 남습니다.

#프로그램 인자로 실행하기

프로그램 이름 뒤에 적은 말은 python program.py ...처럼 프로그램으로 전달됩니다:

nme 실행 greet Mina
nme r dice 6
nme 실행 todo add "buy milk"

프로그램은 sys.argv에서 읽습니다: sys.argv[0]은 프로그램 경로, sys.argv[1]부터가 인자입니다. --python 같은 옵션은 파일 이름 앞에 있어야 하고, 파일 이름 뒤의 모든 말은 프로그램의 것입니다.

#네이티브 백엔드

제한된, 정적 타입의 코어 부분집합은 CPython과 무관하게 바로 네이티브 기계어로 컴파일할 수 있습니다. nme 네이티브 실행 hello는 시스템 C 컴파일러로 C를 만들어 실행 파일을 돌리고, nme 네이티브 빌드 hello -o hello는 C 소스와 실행 파일을 남깁니다.

네이티브 코어: 불리언·정수·유한 실수 값과 + - * % 산술(정수 나머지; 실수 나머지는 거부); 문자열 리터럴·변수와 이항 + 이어붙이기 하나, len, 문자열 ==/!= 비교; 정수·실수·문자열 비교(그리고 <=/>=와 자연어 "or equal" 연결사)와 정수·유한 실수 참/거짓(if ready, while turns; 0은 거짓), 불리언 리터럴·바인딩(if ready, while ready; False는 거짓), 불리언 같음·다름 비교의 while/if/else/else if; 초급 번:(times:) 반복; break; 논리 and/or 조건은 Python 우선순위와 단락 평가를 따르며; if/else 블록 뒤로 계속되는 모든 경로에서 대입한 이름은 그 뒤에 사용할 수 있고, 일찍 반환하거나 감싼 반복문을 빠져나가는 분기는 그 이름을 대입할 필요가 없으며, 종료 경로 안에 중첩 조건문이 있어도 같은 규칙을 따릅니다. 정수 스칼라 매개변수와 필요한 최상위 정수 return을 쓰는 함수(재귀 동작); 정수·실수·불리언·문자열의 say/show/말해. 불리언 산술·값 변경·불리언 함수 인자와 반환·일반 Python for 반복문·Python 인라인 본문·인라인 값 변경은 네이티브 코어 밖입니다. 문장형 반복과 초급 times:/번: 반복은 한 줄 NME 출력 본문을 쓸 수 있고, then/그러면 뒤의 한 줄 NME say/show/말해 또는 break 본문은 이 제어문과 분기 사슬에서 지원합니다. 한 줄 break는 네이티브 반복문 안에서만 쓸 수 있으며, 밖에서는 E0102로 거부됩니다. 문장형 반복도 3번 반복해서 여기서 멈춰처럼 문장형 한 줄 break 본문을 쓸 수 있습니다. 실수 산술 결과가 유한하지 않게 되면 이중 언어 런타임 오류로 멈춥니다. 그 밖의 모든 것 — 입력, 모듈, 파일, 클래스, 패키지 — 은 명확한 진단으로 거부되며 nme 실행으로 CPython에서 그대로 실행됩니다. C 키워드와 충돌하는 식별자는 바꾸지 않고 거부합니다. 허용 표면은 네이티브 코어 레퍼런스에, 설계와 정직하게 측정한 벤치마크는 네이티브 백엔드 메모에 있습니다.

#Python 변환

nme 변환은 고른 단계와 언어로 Python을 안전하게 바꿉니다.

nme 변환 app.py --level 문장형 --language 한국어 -o app.nme

뜻을 보존할 수 있는 단일 값 print, input 대입, int(input(...)), for _ in range(...), if, 간단한 대입을 바꿉니다. 일반 import random은 이름이 덮어써질 위험이 있어 그대로 고급 Python으로 둡니다. 나머지는 올바른 NME인 고급 Python으로 남깁니다. Python 변환 안내를 참고하세요.

#소스 보존과 오류

• Python 토큰화가 문자열과 주석을 보호합니다.
• 올바른 Python은 바이트 단위로 같습니다.
• 들여쓰기, 빈 줄, 주석, 줄바꿈 방식, 실제 줄 수를 보존합니다.
• NME 오류에는 쉬운 설명, 정확한 캐럿 위치, 고치는 힌트가 있습니다.
• 모든 오류에는 E0102 같은 안정적인 오류 코드가 붙어 있으며 error[E0102]:처럼 메시지 옆에 표시됩니다. 자세한 한국어 설명은 nme ko <코드>(영어는 nme en <코드>)로 볼 수 있고, nme ko만 실행하면 모든 코드를 나열해 줍니다. 컴파일러 오류는 E0001부터, 명령줄 오류(파일 없음, 알 수 없는 명령, Python 시작 실패)는 E9xxx 번호를 쓰며 같은 방식으로 설명됩니다.
• Python def 함수 밖의 최상위 또는 인라인 return에는 이중 언어 E0106 오류와 고치는 힌트가 표시됩니다. 한 줄 클래스 본문도 바깥 함수 문맥을 물려받지 않으며, 함수 안의 올바른 return은 Python으로 그대로 남습니다.
• 반복문 밖의 최상위 또는 인라인 Python continue에는 이중 언어 E0107 오류와 고치는 힌트가 표시됩니다. 한 줄 함수·클래스 본문은 바깥 반복문을 물려받지 않고, 반복문 안의 올바른 continue는 Python으로 그대로 남습니다.
• 반복문 밖의 Python break에는 E0102가 표시됩니다. 한 줄 함수·클래스 본문은 바깥 반복문을 물려받지 않으며, 반복문 안의 올바른 break는 그대로 남습니다. 같은 한 줄 본문에서 앞에 세미콜론으로 구분한 단순 문장이 있어도 이 검사는 적용됩니다.
• 함수 밖의 최상위 또는 인라인 Python yield에는 E0108, async def 함수 밖의 await에는 E0109가 표시됩니다. 올바른 제너레이터와 비동기 함수 본문은 Python으로 그대로 남습니다.
• async def 함수 안의 yield from에는 E0110이 표시됩니다. 그 안에서는 async for를 사용하고, 일반 제너레이터 함수의 yield from은 그대로 둘 수 있습니다.
• async def 함수 밖의 Python async for와 async with에는 각각 E0111과 E0112가 표시됩니다. 올바른 비동기 함수 본문은 그대로 보존됩니다.
• 바깥 함수가 없는 Python nonlocal에는 한 줄 함수·클래스 본문을 포함해 E0113이 표시됩니다. 바깥 함수 아래의 중첩 함수나 클래스에서는 그대로 보존하며, 요청한 이름이 그 바깥 함수에 실제로 바인딩됐는지는 CPython이 따로 검사합니다.
• Python 함수나 클래스 안의 from ... import *에는 한 줄 본문과 앞선 세미콜론 구분 문장 뒤의 별표 import를 포함해 E0114가 표시되므로 그 안에서는 이름을 명시적으로 import하세요. 모듈 수준의 별표 import와 모듈 수준 조건문 안의 사용은 그대로 보존됩니다.
• Python은 except* 블록 안의 break, continue, return을 허용하지 않으며, 핸들러 안에서 앞선 세미콜론 구분 문장 뒤에 나와도 NME는 E0115를 표시합니다. 중첩 함수 본문과 핸들러 뒤의 제어 흐름은 그대로 보존됩니다.
• Python은 리스트·집합·딕셔너리·제너레이터 컴프리헨션 안의 yield를 허용하지 않으며 NME는 E0116을 표시합니다. 일반 yield 표현식과 Python이 허용하는 제너레이터 람다는 그대로 보존됩니다.
• async def 함수 밖의 리스트·집합·딕셔너리·제너레이터 컴프리헨션에 async for가 있으면 E0117이 표시됩니다. 컴프리헨션을 비동기 함수 안으로 옮기고, 올바른 비동기 컴프리헨션은 그대로 보존됩니다.
• 비동기 제너레이터에서는 값을 반환할 수 없으며 NME는 첫 yield보다 앞에 있는 반환에도 E0118을 표시합니다. async def stream(): yield 1; return 2처럼 한 줄에 쓴 Python 본문도 들여쓴 본문과 같은 함수 문맥으로 처리하고, 값 없는 return과 중첩 함수 안의 반환은 올바른 Python으로 남습니다.
• 같은 범위에서 이름을 먼저 사용하거나 대입한 뒤의 global·nonlocal 선언에는 한 줄 본문을 포함해 각각 E0119·E0120이 표시되며, 매개변수와 annotation 대상에는 두 선언을 사용할 수 없습니다. 선언을 먼저 적고, annotation에서 사용한 이름도 사용으로 계산합니다. f-string 검증은 CPython에 맡기며 올바른 모듈·중첩 함수·컴프리헨션 범위는 보존됩니다.
• 제너레이터 람다는 올바른 고급 Python으로 남습니다. lambda: ... 안의 yield는 람다 자체의 함수 문맥에서 검사됩니다.
• 인라인 본문에는 실행 문장 하나만 쓸 수 있습니다. 열린 조건이 없는 인라인 else/elif는 E0103으로 거부되므로, 가지 줄은 끝 앞의 같은 명시적 조건 블록에 적어 주세요.
• 가능하면 서로 독립적인 문제를 한 번에 모읍니다.
• 한국어 CLI 명령으로 시작한 오류는 nme 실행, nme 컴파일, nme 설치처럼 한국어 명령을 먼저 안내하고, 영어 명령으로 시작한 오류는 영어로만 안내합니다.

#현재 제한

• 문장 출력은 간단한 대입, 함수 매개변수, 단순한 Python 반복 변수, NME 입력, 문장형 저장으로 만든 이름을 찾습니다. 동적으로 만든 특이한 이름이나 애매한 글은 초급 표현식을 쓰세요.
• 문장형 비교 단어는 의도적으로 작습니다. 그리고/또는 논리와 복잡한 표현식은 명시적 끝 블록이나 고급 Python을 쓰세요.
• 내장 random, file, zero_knowledge 모듈은 이 베타에서 쉬운 모듈 문법을 지원하며, 다른 Python 라이브러리는 일반 import를 사용합니다.
• 영지식 어댑터는 학습·기준 구현이며 부채널 방어가 된 실서비스 암호 라이브러리를 대신하지 않습니다.
• 검사와 빌드는 생성된 Python을 선택한 CPython으로 컴파일까지 확인하지만 실행하지는 않습니다. 실행 오류는 CPython이 담당합니다.
• 실행, 빌드, 검사에는 CPython이 필요합니다. 선택적인 컴파일에는 Python, Nuitka, 운영체제용 C 컴파일러가 필요합니다.
• 네이티브 컴파일이 모든 프로그램을 무조건 빠르고 작게 만들지는 않습니다. 필요한 결과물을 직접 측정하세요.