박준우

박준우

Projection Engineering과 Reins Engineering을 제안한다.

AI 에이전트에게 고삐를 채운다 — 결정론적 계약으로 방향을 잡고, 래칫으로 잠그고, 결정과 구현을 분리한다. AI와 함께 밤낮 없이 코드를 짜고, 글을 쓴다.

Projection Engineering

현실은 Claims를 준다. 결정에는 Facts가 필요하다.

Projection Engineering은 열린 Claims를 감사 가능한 인정사실 그래프(GAF)로 투영한다. GAF의 사실 노드는 Accepted Facts이며, 그것을 산출한 Claims·평가·파생·출처·정책과 연결된다.

→ From Claims to a Graph of Accepted Facts

Reins Engineering

프롬프트 엔지니어링    → 말을 잘 하면 된다
컨텍스트 엔지니어링    → 맥락을 잘 주면 된다
하네스 엔지니어링      → 구조로 가두면 된다
Reins Engineering     → 방향을 잡아주면 된다

고삐 없는 하네스는 울타리일 뿐이다. 모델을 바꾸지 말고, 계약을 추가하라.

→ Reins Engineering — 고삐 있는 AI

오픈소스

Reins Engineering 도구:

  • yongol — 10개 SSOT 교차 검증 + 코드 생성. Reins Engineering의 구현체. Harness with reins.
  • toulmin — Toulmin 논증 모델 기반 Go 규칙 엔진. 규칙은 Go 함수, 예외는 defeats 그래프, 판정은 h-Categoriser.
  • filefunc — 파일 하나에 개념 하나. 에이전트가 작업할 수 있는 코드 구조.
  • tsma — 레거시 코드에 테스트를 씌우는 자동화 도구.
  • ssac — Service Sequences as Code. 서비스 흐름을 선언적으로.
  • whyso — git blame이 보여주지 않는 것. Claude Code 세션에서 변경 히스토리 추출.

세계 프로젝트:

  • GEUL — AI를 위한 의미론적 언어. 모든 정보에 출처·시점·신뢰도를 부여하여 기계적으로 검증 가능하게 한다. 세 번째 언어.
  • DABEL5 — 다이슨 스웜 엔지니어링. 소행성 채굴에서 거울 자기복제까지, 현존 기술만으로 카르다셰프 1형 문명을 설계한다.

연락

mail@parkjunwoo.com

저작권 안내

본 사이트의 기술·의견 글은 CC BY 4.0 라이선스로 공유합니다.

  • 자유롭게 공유, 인용, 번역, 2차 저작이 가능합니다.
  • 저작자 표시 — 출처와 작가명(박준우, Park Jun Woo)을 밝혀주세요.

오픈소스 코드의 라이선스는 각 저장소를 따릅니다. 문의: mail@parkjunwoo.com