Go
reins — 퀘스트 CLI에서 도메인만 남기고, 래칫은 프레임워크로
how-make-quest는 퀘스트 CLI를 맨손으로 짓는 법을 가르쳤다. 그런데 두 번째 CLI를 지으면 같은 래칫, 같은 scan/next/submit, 같은 집계를 또 짠다. reins는 그 불변을 프레임워크로 뽑아낸다 — 래칫·명령 골격·집계·export는 reins가 공급하고, 당신은 도메인의 게이트(gate.Definition 4메서드)만 구현한다. 게이트는 치즈 방어 규칙의 카탈로그고, toulmin defeat 그래프가 '왜 졌고 뭘 바꾸면 이긴다'는 공략집을 에이전트에게 돌려준다.
퀘스트 CLI 만드는 법 — 완료를 기계가 판정하게 만드는 도구를 직접 짓기
AI는 '다 했습니다'라고 말한다. 실제로는 안 끝났다. 이 글은 그 문제를 푸는 도구 — 퀘스트 CLI — 를 직접 짓는 법이다. 원리(왜)부터 cobra 명령 스켈레톤(어떻게)까지, 이 글 하나로 에이전트가 Go 퀘스트 CLI를 만들 수 있게 한다. huma가 그 워크드 예시다.
codistill — 기존 코드에서 SSOT를 짜낸다
yongol을 쓰려면 처음부터 SSOT로 시작해야 하나? 아니다. codistill이 기존 코드에서 OpenAPI, DDL, sqlc 쿼리를 자동 추출한다 — 8개 언어 16개 웹 프레임워크 지원. 기초 공사가 아니라 내진 보강이다.
toulmin — 계약을 계산하는 규칙 엔진
규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.
filefunc — 파일 하나에 개념 하나
AI 코드 에이전트의 탐색 단위는 파일이다. 파일 하나에 개념 하나를 강제하는 Go 코드 구조 컨벤션이자 CLI 도구.
SSaC — Service Sequences as Code
서비스 함수 내부의 비즈니스 흐름을 선언적 블록(sequence)으로 분해하는 언어 독립적 개념. 10개 고정 타입으로 what만 선언하면 코드젠이 how를 채운다.