정책 엔진
정책 그룹 (Policy Group)
정책 그룹 (Policy Group)
관련 정책 규칙들의 최상위 컨테이너입니다. 각 그룹은 고유한 우선순위, 실행 제어 방식, 배포 생명주기를 가집니다.
하나의 그룹에 여러 버전이 있을 수 있지만, 동시에 라이브 상태인 버전은 하나뿐입니다.
정책 버전 (Policy Version)
정책 버전 (Policy Version)
특정 시점의 정책 그룹 내 규칙들의 불변 스냅샷입니다.생명주기:
DRAFT → ACTIVE → ARCHIVED- DRAFT: 편집 가능. 규칙을 추가, 수정, 삭제할 수 있습니다.
- ACTIVE: 발행되어 잠금. 더 이상 수정할 수 없습니다. 배포 준비 완료.
- ARCHIVED: 새 버전으로 대체됨. 읽기 전용 기록.
- EXPIRED:
effectiveTo날짜를 지남. 스케줄러가 자동 전환.
정책 규칙 (Policy Rule)
정책 규칙 (Policy Rule)
조건과 하나 이상의 액션으로 구성된 개별 규칙입니다.
조건이
true로 평가되면 해당 액션이 실행됩니다.
규칙은 버전 내에서 우선순위 순서로 정렬됩니다 (1 = 최우선).조건 (Condition)
조건 (Condition)
규칙이 주어진 요청에 적용되는지 결정하는 boolean 표현식입니다.
조건은
EQUALS, GREATER_THAN, CONTAINS, IN 등의 연산자를 사용하여 입력 fact를 평가합니다.
AND / OR 논리 연산자로 그룹을 중첩할 수 있습니다.액션 (Action)
액션 (Action)
규칙의 조건이 충족될 때 실행되는 작업입니다.
내장 액션 타입:
MUTATE_FACT, SET_FACT, BLOCK.
이들은 도메인 중립 원시(primitive) 입니다. 엔진은 숫자와 구조만 봅니다. 커머스 같은 특정 도메인 개념을 가정하지 않습니다. 도메인 의미(“할인”, “쿠폰”, “포인트” 등)는 액션 타입이 아니라 fact 이름과 엔진이 돌려주는 값으로 표현됩니다.fact와 스키마
fact (Fact)
fact (Fact)
실행 시 정책 엔진에 전달되는 단일 입력 데이터 필드입니다.
예:
userId, customerTier, orderTotal.
fact는 조건이 평가하고 액션이 사용하는 원시 데이터입니다.fact 정의 (Fact Definition)
fact 정의 (Fact Definition)
fact의 스키마 정의: 키, 표시 이름, 데이터 타입, 필수 여부.
콘솔의 관리 → fact 정의에서 관리합니다.
계정을 만들면
userId, userTags와 시스템 fact isBlocked, blockReason이 미리 등록됩니다. userId, userTags는 다른 fact와 동일하게 수정·삭제할 수 있고, isBlocked, blockReason은 삭제하거나 타입을 바꿀 수 없습니다. 삭제와 타입 변경은 그 fact를 참조하는 규칙이 없어야 열립니다. 삭제한 그룹의 규칙은 세지 않습니다.사전 등록 fact (Pre-registered Facts)
사전 등록 fact (Pre-registered Facts)
미등록 fact (Unregistered Fact)
미등록 fact (Unregistered Fact)
규칙의 조건이나 액션에서 참조되지만 fact 정의가 없는 fact 키입니다. LexQ는 규칙 저장 시마다 이를 감지하여 추론된 타입과 제안된 이름을 함께 보고합니다. 규칙이 읽기만 하는 키는 저장·발행·배포를 막지 않습니다. 액션 대상(
SET_FACT·MUTATE_FACT의 targetVar)은 다릅니다. 등록하지 않으면 저장과 발행이 ACT-032로 거절됩니다.규칙이 읽기만 하는 키는 등록 여부와 상관없이 실행 시 값이 전달되면 정상 동작합니다. 등록하면 타입 검증과 콘솔 자동완성이 추가되고, requirements 분석에도 선언된 타입이 표시됩니다. lexq facts unregistered 또는 lexq_facts_unregistered MCP 도구로 목록을 확인하세요.값 제약 (Value Domain)
값 제약 (Value Domain)
fact 정의가 받는 값의 범위입니다.
allowedValues, min, max 셋으로 적습니다. 타입이 「숫자를 담는다」를 말한다면 값 제약은 「그중 어떤 숫자인가」를 말합니다.선언하면 절대 맞을 수 없는 규칙 값을 저장 단에서 거부하고, 콘솔 값 입력칸이 드롭다운으로 바뀌며, 실행에서 제약 밖 값이 오면 400을 냅니다. 실행은 발행 시점에 뜬 사본을 봅니다. 제약을 바꾸면 언제 실행에 반영되고 수정 결과가 어떤 규칙을 알려 주는지는 나중에 제약을 바꾸면에 있습니다. 세 칸이 전부 선택이고 하나도 안 채우면 제약이 없습니다.생성 변수 (Generated Variables)
생성 변수 (Generated Variables)
응답의
generatedVariables에 노출되는 변수입니다. 입력 fact에는 없었지만 액션 실행 결과로 생성된 값들입니다.
{key}__delta 명명 규칙을 따르는 액션별 변화량 키도 포함합니다. {targetVar}__delta는 MUTATE_FACT가 적용한 부호 포함 순변화량입니다 (mutated - original).한 규칙에서 여러 액션이 같은 fact를 변경하면 __delta는 누적 변화량을 보고합니다. 액션 하나하나의 스냅샷은 executionTraces에 남아, 감사 시 원인을 끝까지 되짚을 수 있습니다.배포 생명주기
발행 (Publish)
발행 (Publish)
버전을
DRAFT에서 ACTIVE로 전환합니다.
발행되면 버전이 잠기며 규칙과 설정을 수정할 수 없습니다.
발행만으로는 라이브 트래픽이 라우팅되지 않습니다. 별도의 배포 단계가 필요합니다.배포 (Deploy)
배포 (Deploy)
ACTIVE 버전을 라이브 상태로 승격합니다.
배포 후 해당 버전이 프로덕션 트래픽을 수신하고 처리합니다.
정책 그룹당 하나의 버전만 라이브일 수 있습니다.배포 해제 (Undeploy)
배포 해제 (Undeploy)
정책 그룹에서 라이브 버전을 제거합니다.
새 버전이 배포될 때까지 해당 그룹의 트래픽이 처리되지 않습니다.
롤백 (Rollback)
롤백 (Rollback)
정책 그룹을 이전에 배포된 버전으로 되돌립니다.
감사 목적으로 새로운 배포 레코드가 생성됩니다.
예약 배포 (Scheduled Deployment)
예약 배포 (Scheduled Deployment)
유효 시작일이 미래인 발행됨 버전을 등록해 해당 시각에 자동으로 배포하는 기능입니다.
예약 시점에 스냅샷 해시를 봉인하고 실행 시점에 재검증하며, 수동 배포나 A/B 테스트 시작 등 충돌 행위가 발생하면 대기 중 예약이 자동으로 취소됩니다.
테스트와 분석
드라이런 (Dry Run)
드라이런 (Dry Run)
특정 정책 버전에 대한 단일 요청 테스트 실행입니다.
라이브 트래픽, 사용량 할당량, 실행 로그에 영향을 주지 않습니다. 엔진 밖으로 나가는 것도 없습니다. 액션 프리미티브 3종은 fact를 읽고 쓸 뿐입니다.
변경 영향 시뮬레이션 (Impact Simulation)
변경 영향 시뮬레이션 (Impact Simulation)
데이터셋(과거 또는 수동)을 정책 버전에 대해 일괄 테스트합니다.
매칭률, 규칙별 통계, 비교 기준 버전과의 지표 비교를 냅니다.
의사결정 재실행 (Decision Replay)
의사결정 재실행 (Decision Replay)
과거 실행 하나의 입력 fact 그대로를 후보 버전에 재평가해 결정 diff를 만듭니다. 결정이 바뀌었는지, 양쪽에서 어떤 규칙이 발동했는지, 효과가 어떻게 달라지는지.
저장된 결정이 기준이며 절대 재평가하지 않습니다. 후보 실행은 엔진 밖의 무엇도 건드리지 않습니다.
윈도우 재실행은 이를 날짜 구간으로 확장해 영향 범위, 즉 과거 결정 중 몇 건이 바뀌는지를 측정합니다.
실행 (Execution)
실행 (Execution)
API 호출로 트리거되는 라이브 정책 평가입니다.
각 실행은 고유 트레이스 ID와 함께 기록되며 실행 트레이스와 의사결정 트레이스를 포함합니다.
실행 트레이스 (Execution Trace)
실행 트레이스 (Execution Trace)
각 규칙의 조건 매칭 여부, 평가된 표현식, 규칙이 본 입력 fact, 생성된 액션을 보여주는 규칙별 기록입니다.
모든 실행의 감사 추적의 일부입니다.
의사결정 트레이스 (Decision Trace)
의사결정 트레이스 (Decision Trace)
각 규칙의 최종 선택 결과를 두 분류 필드로 기록합니다:
status:SELECTED,NO_MATCH,NOT_SELECTED,BLOCKED,ERROR.reasonCode: 해당 status 안에서의 구체적 사유 (예:FINAL_WINNER,CONDITION_MISMATCH,MUTEX_PRIORITY_LOST,GROUP_LIMIT_REACHED,ACTION_ERROR).
A/B 테스트 (A/B Test)
A/B 테스트 (A/B Test)
요청의 일정 비율을 대체 정책 버전으로 라우팅하는 트래픽 분할 메커니즘입니다.
실제 트래픽으로 프로덕션에서 버전 성능을 비교하는 데 사용됩니다.
분배 기준은
context.trafficKey이며, 같은 키 값은 항상 같은 버전으로 갑니다.감사와 출처
의사결정 출처 (Decision Provenance)
의사결정 출처 (Decision Provenance)
하나의 결정에 봉인된 이력입니다. 결정 결과, 규칙별 결정적 사유, 입력 fact(PII 마스킹), 규칙 스냅샷 지문, 그리고 작성·발행·배포의 책임 사슬.
기록 시점에 봉인되며, 사후에 재구성되지 않습니다.
PII 마스킹 (PII Masking)
PII 마스킹 (PII Masking)
PII로 지정된 fact는 모든 읽기 표면에서
••••••로 마스킹되어 도착하고, maskedKeys가 그 목록을 알려줍니다.
표시 레이어 전용 정책입니다. 엔진은 항상 실제 값으로 평가합니다.PII 열람 (PII Reveal)
PII 열람 (PII Reveal)
마스킹된 값을 보는, 감사되는 콘솔 전용 행위입니다.
값이 보이기 전에 감사 행이 먼저 커밋되며(write-then-reveal), API 키는 403으로 거부됩니다.
열람 감사 원장 (Reveal Audit Ledger)
열람 감사 원장 (Reveal Audit Ledger)
모든 열람의 append-only 메타데이터 기록입니다. 누가, 어느 trace의, 어떤 fact를, 언제 열람했는지. 값은 절대 저장하지 않습니다.
열람 권한보다 넓은 역할이 조회할 수 있고, 주기적 열람 기록 점검을 위해 API로 수집할 수 있습니다.
규칙 실행 제어
Mutex 그룹 (상호 배타 그룹)
Mutex 그룹 (상호 배타 그룹)
버전 내 충돌 해결 메커니즘입니다. 동일한
mutexGroup 키를 공유하는 규칙들이 실행 경쟁을 합니다.
mutexMode가 EXCLUSIVE이면 승리한 규칙 하나만, MAX_N이면 최대 mutexLimit개의 규칙이 실행됩니다. 어느 규칙이 승리하는지는 설정된 전략이 결정합니다.Mutex 전략 (상호 배타 전략)
Mutex 전략 (상호 배타 전략)
동일 Mutex 그룹에서 여러 규칙이 매칭될 때 승자를 결정합니다.
전략은
HIGHEST_PRIORITY 하나이며, 우선순위 번호가 가장 작은 규칙이 이깁니다.Mutex 실행 한도 (Mutex Limit)
Mutex 실행 한도 (Mutex Limit)
MAX_N 모드에서 mutexLimit은 Mutex 그룹 내에서 실행할 수 있는 규칙의 최대 수를 제어합니다 (기본값: 1).결제와 인프라
초과 사용 (Overage)
초과 사용 (Overage)
플랜의 기본 할당량(API 실행 또는 시뮬레이션)을 초과한 사용량입니다.
초과분은 플랜에 정의된 건당 요율로 과금됩니다.
요청 제한 (Throttle)
요청 제한 (Throttle)
테넌트가 플랜의 최대 TPS(초당 트랜잭션)를 초과하여 거부된 요청입니다.
HTTP
429 Too Many Requests를 반환합니다.청구 프로필 (Billing Profile)
청구 프로필 (Billing Profile)
청구서와 세금 문서에 사용되는 사업자 정보: 회사명, 사업자번호, 대표자, 주소.
장애 시 허용 (Fail-open)
장애 시 허용 (Fail-open)
내부 오류 발생 시 엔진이 요청을 차단하지 않고 통과시키는 복원력 정책입니다.
Pro 플랜에서 사용 가능합니다.