rule

pkg/rule

fullend validate/crosscheck 공통 toulmin 룰 함수.

모든 함수는 func(claim, ground, backing any) (bool, any) 시그니처를 따른다. backing이 판정 기준을 담고, 같은 함수를 backing만 바꿔 재사용한다.

공통 타입

Ground

모든 룰 함수가 공유하는 검증 컨텍스트. 호출자가 그래프 평가 전에 구성한다.

type Ground struct {
    Lookup  map[string]StringSet // "target.kind" -> set of names
    Types   map[string]string    // "target.kind.name" -> type string
    Pairs   map[string]StringSet // "target.pairKind" -> set of "key:value"
    Config  map[string]bool      // config key -> present
    Vars    StringSet            // declared variable names
    Flags   StringSet            // flags for defeaters
    Schemas map[string][]string  // "target.schema" -> ordered field list
}

LookupKey 컨벤션: "SSOT.kind" 또는 "SSOT.kind.scope" 형식.

"OpenAPI.operationId"          → {"CreateGig", "ListGigs"}
"DDL.column.users"             → {"id", "email", "name"}
"SSaC.funcName"                → {"CreateGig", "ListGigs"}
"Config.claims"                → {"ID", "Email", "Role"}
"Func.request.HoldEscrow"     → {"GigID", "Amount", "ClientID"}

Evidence

위반 시 반환되는 결과 상세.

type Evidence struct {
    Rule    string // 규칙 ID: "X-1", "S-48" 등
    Level   string // "ERROR" 또는 "WARNING"
    Ref     string // 검사 대상 이름
    Message string // 에러 메시지 템플릿
}

type SchemaEvidence struct {
    Rule    string
    Level   string
    Missing []string // 누락된 필드 목록
    Message string
}

Warrant 함수

RefExists

A가 참조하는 이름이 B에 존재해야 한다.

• claim: string (참조 이름)
• ground: *Ground (Lookup 사용)
• evidence: *Evidence

type RefExistsBacking struct {
    LookupKey string // Ground.Lookup 키: "OpenAPI.operationId", "DDL.column.users" 등
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~31개.

CoverageCheck

B에 정의된 것이 A에서 사용되어야 한다. RefExists의 역방향.

• claim: string (정의된 항목 이름)
• ground: *Ground (Lookup 사용)
• evidence: *Evidence

type CoverageCheckBacking struct {
    LookupKey string // Ground.Lookup 키: 사용처의 이름 집합
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~9개.

PairMatch

A의 (key:value) 쌍이 B에 매칭되어야 한다.

• claim: string ("key:value" 형식)
• ground: *Ground (Pairs 사용)
• evidence: *Evidence

type PairMatchBacking struct {
    LookupKey string // Ground.Pairs 키
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~6개.

TypeMatch

A의 타입이 B의 타입과 일치해야 한다. 호출자가 타입을 정규화한 뒤 Ground.Types에 저장한다.

• claim: *TypeClaim (Name + SourceType)
• ground: *Ground (Types 사용)
• evidence: *Evidence

type TypeMatchBacking struct {
    LookupKey string // Ground.Types 키 접두사 (+ ".name" 자동 연결)
    Rule      string
    Level     string
    Message   string
}

type TypeClaim struct {
    Name       string // 필드/파라미터 이름
    SourceType string // 소스 측 타입 (정규화 후)
}

커버 규칙: ~4개.

SchemaMatch

A의 필드 집합이 B의 스키마에 존재해야 한다.

• claim: []string (소스 필드 이름 목록)
• ground: *Ground (Schemas 사용)
• evidence: *SchemaEvidence (Missing 포함)

type SchemaMatchBacking struct {
    LookupKey string // Ground.Schemas 키
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~7개.

ConfigRequired

기능을 사용하면 Config에 해당 설정이 있어야 한다.

• claim: 무시 (nil 가능)
• ground: *Ground (Config 사용)
• evidence: *Evidence

type ConfigRequiredBacking struct {
    ConfigKey string // Ground.Config 키: "backend.auth.claims", "queue.backend" 등
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~3개.

FieldRequired

필드가 있어야 하거나(Required=true) 없어야 한다(Required=false). SSaC 전용.

• claim: map[string]bool (필드명 → 값 존재 여부)
• ground: 무시
• evidence: *Evidence

type FieldRequiredBacking struct {
    SeqType  string // "@get", "@post", "@put", "@delete", "@empty", "@state", "@auth", "@call", "@publish"
    Field    string // "Model", "Result", "Inputs", "Target", "Message" 등
    Required bool   // true = 있어야 함, false = 없어야 함
    Rule     string
    Level    string
    Message  string
}

backing 하나당 필드 하나. 그래프에서 규칙 ID가 분리된다.

커버 규칙: ~22개.

VarDeclared

변수는 선언 후 사용해야 한다. SSaC 전용.

• claim: string (변수명)
• ground: *Ground (Vars 사용)
• evidence: *Evidence

type VarDeclaredBacking struct {
    Rule    string
    Level   string
    Message string
}

커버 규칙: 4개 (S-27S-30).

ForbiddenRef

이름이 금지 목록에 있으면 안 된다. RefExists의 역논리.

• claim: string (검사 대상 이름)
• ground: *Ground (Lookup 사용 — 금지 이름 집합)
• evidence: *Evidence

type ForbiddenRefBacking struct {
    LookupKey string // Ground.Lookup 키 (금지 이름 집합)
    Rule      string
    Level     string
    Message   string
}

커버 규칙: ~7개.

NameFormat

이름이 형식 규칙을 만족해야 한다.

• claim: string (검사 대상 이름)
• ground: 무시
• evidence: *Evidence

type NameFormatBacking struct {
    Pattern string // "uppercase-start", "no-dot-prefix", "dot-method"
    Rule    string
    Level   string
    Message string
}

커버 규칙: ~3개.

Defeater 함수

예외 조건이 충족되면 warrant를 무력화한다. 모두 Ground.Flags 기반. 호출자가 평가 전에 해당 플래그를 설정한다.

커버리지