📍지역성 (Locality, T1)Tabula가 설정하는 모든 프로퍼티의 지정값(specified value)은 엘리먼트 자신의 클래스 문자열, 레지스트리, 그리고 해석된 토큰만의 전체 함수(total function)다. 조상과 DOM 위치는 결코 입력값이 되지 않는다.
🧮병합 건전성 (Merge soundness, T2)브라우저가 렌더링하는 결과는 정확히 resolve()가 예측한 것과 같다. cn()은 플랫폼을 CSS 프로퍼티 슬롯에 대한 순서 무관 폴드(order-independent fold)로 모델링한다 — 어떤 클래스가 이기는지 결코 추측하지 않는다.
🔒폐쇄성 (Closure, T3)CSS를 생성하는 클래스는 정확히 registry.json에 등록된 것들뿐이다. 등록되지 않은 클래스는 조용히 아무 CSS도 내보내지 않으며, 배포 전에 세 개의 게이트 — ESLint, 생성된 types.d.ts, tabula scan — 에 의해 걸러진다.
🪄토큰 파이프라인플랫하고 DTCG 형태의 토큰을 작성하라; tabula build가 닫힌 어휘(closed vocabulary) 전체를 도출하고 앱이 임포트하는 .tabula/ 아티팩트를 작성한다 — 원자적이고, 실패 시 닫히며(fails closed), 모든 아티팩트에 지문(fingerprint)이 남는다.
🛡️강제 게이트열다섯 개의 ESLint 규칙, 다섯 개의 stylelint CSS 거버넌스 규칙, 그리고 Tailwind 자체 추출기 위에서 동작하는 tabula scan이 등록되지 않은 메커니즘과 금지된 메커니즘을 모든 소스와 스타일시트에서 배제한다.
🤖에이전트 서피스 (Agent surface)생성된 llms.txt와 읽기 전용 MCP 서버가 레지스트리를 AI 코딩 에이전트에게 도구로 노출하여, 에이전트가 추측 없이 프로젝트를 올바르게 사용할 수 있게 한다.