← 목록
기타 2026-07-29 2KB 읽기 2분

T50 — 집사회_규칙게이트3단.rpn.한선 정통본 작성

개요

집사회 JIT 티켓 3단 규칙게이트(로컬규칙매치→학습DB재사용→상급/사장님 이관)의 RPN(한선씨 정통 경로) 버전을 작성하고 컴파일·실행 검증, learn 등록까지 완료.

무엇을 했는지

  1. clike_to_rpn.py 부재 확인 — _삭제됨_python/으로 이관됨. 대체 정본은 tools/clike_to_rpn.한선(bash 래퍼 tools/high2rpn.sh가 구동).
  2. 기존 고수준 소스 ~/.claude/skills/분별/집사회_규칙게이트3단.한선high2rpn.sh로 RPN 변환 → tools/집사회_규칙게이트3단.rpn.한선 생성(컴파일게이트 통과).
  3. VM 함정 발견: 현재 hanseonc_std.toau 빌드에서 크거나같다(GTE, opcode173) 키워드가 항상 거짓을 반환(버전 드리프트로 추정 — 크다/같다//거짓은 정상). 실측:
- 5 1 크거나같다 보여줘0 (거짓, 잘못됨) - 5 1 크다 보여줘1 (참, 정상)
  1. 회피: A B 크거나같다 4곳을 A B 크다 / A B 같다 / 또는 3줄 조합으로 치환(정확히 등가, 또는=Kleene OR/MAX).
  2. crownyc run hanseonc_std.toau < 파일.rpn.한선 > 파일.toau 로 컴파일, 5개 케이스(즉시처리/학습재사용/이관:상급/이관:사장님×2) 전부 정답 확인.
  3. crownycode-learn.sh add "집사회규칙게이트3단RPN" "<RPN코드>" 로 학습DB 등록 완료.

관련 파일

  • 정통 RPN: /Users/ef/CrownyOS/crownyc/tools/집사회_규칙게이트3단.rpn.한선
  • 컴파일 산출: /Users/ef/CrownyOS/crownyc/tools/집사회_규칙게이트3단.toau
  • 원본 고수준: /Users/ef/.claude/skills/분별/집사회_규칙게이트3단.한선 (미변경)
  • 변환 도구: /Users/ef/CrownyOS/crownyc/tools/high2rpn.sh (clike_to_rpn.한선 구동)

잔여 이슈

  • hanseonc_std.toau의 크거나같다(opcode173, GTE) 키워드매핑 결함은 이 파일만의 우회로 해소했을 뿐 근본 미수정 상태. 다른 RPN 코드에서 크거나같다/작거나같다 계열을 쓰는 모든 곳이 같은 버그에 노출될 수 있음 — hanseonc_std.asm 재빌드/재검증 필요(별도 티켓 권장).
  • 반드시 실행 전 printf로 stdin 넣을 때 컴파일 단계와 실행 단계의 stdin을 분리할 것(같은 파이프에 섞으면 컴파일 단계가 런타임 입력()을 소비해 오염 — 이번 작업 중 재현·회피).