Go
toulmin — 계약을 계산하는 규칙 엔진
규칙 엔진은 60년간 검증 대상을 사실(fact)로 취급했다. toulmin은 주장(claim)으로 취급한다. 툴민의 논증 모델을 Go 규칙 엔진으로 구현했다.
filefunc — 파일 하나에 개념 하나
AI 코드 에이전트의 탐색 단위는 파일이다. 파일 하나에 개념 하나를 강제하는 Go 코드 구조 컨벤션이자 CLI 도구.
SSaC — Service Sequences as Code
서비스 함수 내부의 비즈니스 흐름을 선언적 블록(sequence)으로 분해하는 언어 독립적 개념. 10개 고정 타입으로 what만 선언하면 코드젠이 how를 채운다.