graph TD
    Byte["CBOR 초기 바이트 (Initial Byte) [8 Bits]"]

    Major["상위 3비트: Major Type (0..7)"]
    Info["하위 5비트: Additional Info (0..31)"]

    Byte --> Major
    Byte --> Info

    Major --> M0["0: 양의 정수 (Unsigned Int)"]
    Major --> M1["1: 음의 정수 (Negative Int)"]
    Major --> M2["2: 바이트 문자열 (Byte String)"]
    Major --> M3["3: 텍스트 문자열 (UTF-8 String)"]
    Major --> M4["4: 배열 (Array)"]
    Major --> M5["5: 맵 (Map / Key-Value)"]
    Major --> M6["6: 시맨틱 태그 (Tag)"]
    Major --> M7["7: 단순 값 / 부동소수점 (Prims)"]

-- | 순수 불변 바이트 스트림 파서 타입
newtype Parser a = Parser { runParser :: [Word8] -> Either ParseError (a, [Word8]) }

-- | 파싱 실패 범주 명시 (Fail-Safe ADT)
data ParseError
    = UnexpectedEndOfInput
    | InvalidMajorType Word8
    | NonCanonicalEncoding String
    | MalformedUtf8
    | DuplicateMapKey
    deriving (Show, Eq)

instance Functor Parser where
    fmap f (Parser p) = Parser $ \bs -> case p bs of
        Left err -> Left err
        Right (a, rest) -> Right (f a, rest)

instance Applicative Parser where
    pure a = Parser $ \bs -> Right (a, bs)
    (Parser pf) <*> (Parser pa) = Parser $ \bs -> do
        (f, bs')  <- pf bs
        (a, bs'') <- pa bs'
        Right (f a, bs'')

instance Monad Parser where
    (Parser p) >>= f = Parser $ \bs -> do
        (a, rest) <- p bs
        runParser (f a) rest

import Data.Bits (shiftR, (.&.), shiftL)
import Data.Word (Word8, Word64)

-- | 1바이트 안전 추출
getWord8 :: Parser Word8
getWord8 = Parser $ \case
    []     -> Left UnexpectedEndOfInput
    (b:bs) -> Right (b, bs)

-- | N 바이트 정확 슬라이스 (Zero-Copy 안전 보장)
getBytes :: Int -> Parser [Word8]
getBytes n = Parser $ \bs ->
    if length bs < n
    then Left UnexpectedEndOfInput
    else Right (splitAt n bs)

-- | Major Type 0: 정규형 양의 정수 디코더
parseUInt :: Parser Word64
parseUInt = do
    b <- getWord8
    let major = b `shiftR` 5
        info  = b .&. 0x1f
    if major /= 0
    then Parser $ \_ -> Left (InvalidMajorType major)
    else case info of
        val | val < 24 -> pure (fromIntegral val)
        24 -> do -- 1바이트 추가 정수 (값 >= 24)
            val <- fmap fromIntegral getWord8
            if val < 24 
            then Parser $ \_ -> Left (NonCanonicalEncoding "1바이트 확장 정수는 24 이상이어야 합니다.")
            else pure val
        25 -> do -- 2바이트 Big-Endian 정수 (값 >= 256)
            [b0, b1] <- getBytes 2
            let val = (fromIntegral b0 `shiftL` 8) + fromIntegral b1
            if val < 256
            then Parser $ \_ -> Left (NonCanonicalEncoding "2바이트 확장 정수는 256 이상이어야 합니다.")
            else pure val
        _ -> Parser $ \_ -> Left (NonCanonicalEncoding "지원되지 않는 비정규 정수 헤더입니다.")

sequenceDiagram
    autonumber
    actor Attacker as 악의적 피어 (Attacker)
    participant Parser as Aura Pure CBOR Parser
    participant Mempool as 노드 멤풀 (Mempool)

    Attacker->>Parser: 비표준 패킷 전송 (Shortest Form 위반: 0x180a)
    Note over Parser: parseUInt 검사:<br/>info == 24 && val < 24
    Parser--xAttacker: ParseError (NonCanonicalEncoding)
    Note over Parser: 런타임 패닉 0%, 즉시 패킷 폐기
    Parser->>Mempool: 오염된 트랜잭션 침투 원천 차단

-- 정규형 패킷 (0x0a: 정수 10)
runParser parseUInt [0x0a]
-- 결과: Right (10, []) -> 성공!

-- 가변 공격 패킷 (0x18, 0x0a: 비표준 2바이트 10)
runParser parseUInt [0x18, 0x0a]
-- 결과: Left (NonCanonicalEncoding "...") -> 안전한 차단!