주제로 보기
신뢰
글과 패턴 15편
Cedar는 누가 접근할 수 있는지를 증명합니다. 어떤 결정이 내려질지는 누가 증명하나요?
Cedar는 Lean과 automated reasoning으로 권한 정책에 formal verification을 붙였습니다. 몇몇 룰 엔진은 의사결정 테이블을 검사하지만, 2026년 9월 30일에 확인한 엔진 가운데 비즈니스 규칙을 증명한다고 문서에 적은 곳은 없습니다. 가격과 자격 판정과 사기 규칙을 증명하는 쪽이 왜 더 어려운 문제인지, 그리고 LexQ가 지금 어디에 서 있는지 적습니다.
비즈니스 결정에 형식 검증이 필요한 이유
테스트와 시뮬레이션은 이미 받아본 입력만 놓고 답합니다. 아직 아무도 보내지 않은 입력은 답의 범위 밖입니다. 도달 불가능한 규칙, 조용한 충돌, 아무 규칙도 덮지 않는 공백이 그 차이 안에 있습니다. 이 차이는 표본이 아니라 증명으로만 메워집니다.
차단 규칙으로 연령·지역별 보험 가입 자격 검증하기
주 인가가 바뀔 때마다 코드 세 곳을 고치는 대신, 가입 자격 검증을 규칙 넷으로 옮겨 거절 사유를 신청 단위로 남깁니다.
요금제 기능과 한도를 하드코딩하지 마세요: Feature Flag와 Entitlement는 다릅니다
요금제 등급을 if (plan == PRO)로 코드에 박으면 가격 변경 하나하나가 배포가 됩니다. Feature Flag에 entitlement를 담으면 안 되는 이유와, 새 요금제 등급을 배포 없이 규칙 변경으로 다루는 방법을 정리했습니다.
실행 시점 봉인으로 구독 일할 계산 증명하기
플랜 변경 한 건마다 요금 처리 방식을 정하고, 몇 달 뒤 분쟁이 걸려도 어느 정책 버전에서 나온 청구인지 증명하는 패턴.
감사 추적의 문제: 어떤 규칙이 어떤 결정을 내렸는지 증명하기
막힌 이체 하나가 로그에 남기는 건 한 줄뿐입니다. 몇 달 뒤 감사관이 이유를 묻지만 git은 답하지 못합니다. 코드의 이력은 남겨도 결정의 이력은 남기지 않기 때문입니다. 제대로 된 결정 감사 추적이 무엇을 기록하고, 왜 불변이어야 하는지 설명합니다.
의사결정 운영 플랫폼이란 무엇이고, 언제 필요한가
가격, 자격 판정, 사기 탐지 같은 비즈니스 결정은 자주 바뀌지만 애플리케이션 코드에 묶여 있습니다. 의사결정 운영 플랫폼은 이 결정에 고유한 라이프사이클을 줍니다. 이 카테고리가 무엇이고, 언제 필요한지 설명합니다.
차단 규칙으로 요금제 등급별 기능 권한 결정하기
기능 하나에 권한 결정 하나. 게이트가 몇 개든 답이 같고, 막힐 때는 그 기능이 요구하는 등급이 사유로 따라옵니다.
핀테크를 위한 룰 엔진: 한도, 심사, 승인 결정
핀테크의 한도, 심사 기준, 승인 결정은 규제가 바뀔 때마다, 리스크 모델이 바뀔 때마다 함께 바뀌고, 서비스 코드에 박아 넣으면 감사에서 무너집니다. 마감은 규제 기관이 정하고 임계값은 리스크팀이 쥐고 있는데, 감사관은 그날 어느 값이 적용됐는지를 묻습니다.
우선순위 상호 배타 그룹으로 신용 신청 판정하기
신용 신청 하나를 승인·거부·수동 심사 중 하나로 가르고, 어느 규칙이 그 결정을 내렸는지까지 남기는 패턴.
이커머스를 위한 룰 엔진: 할인, 프로모션, 자격
이커머스의 할인·프로모션·자격은 다른 어떤 로직보다 빠르게 불어나고, 결제 코드 안에서 무너지기 쉽습니다. 이 규칙들을 어디에 둬야 하는지, 코드에 박아 넣은 방식이 왜 실패하는지, 수익 사고 없이 프로모션을 내보내는 방법.
차단 규칙으로 KYC 등급별 이체 한도 집행하기
인증 등급마다 한도 하나를 두고 이체 경로 셋이 모두 같은 곳에 묻습니다. 막힌 이체에는 어느 한도에 걸렸는지가 남습니다.
Mutex Group을 사용한 VIP 등급 할인 중첩 해소
등급 할인과 시즌 캠페인이 충돌할 때 정확히 하나의 할인만 적용되도록 보장하는 패턴.
AI 에이전트로 비즈니스 규칙 관리하기: MCP가 바꾸는 것
규칙이 코드 밖에 있으면 AI 에이전트가 규칙 생성부터 시뮬레이션, 배포까지 맡을 수 있습니다. Model Context Protocol(MCP)이 그 통로를 어떻게 여는지, 엔지니어링 팀의 일은 무엇이 달라지는지 정리합니다.
GoRules vs Nected vs LexQ: 2026년 룰 엔진 선택 가이드
세 가지 모던 룰 엔진의 실질적 비교: 아키텍처, 시뮬레이션, 가격, AI 연동. 각 제품의 강점과 한계를 솔직하게 분석합니다.