Version: 0.0.7 (stable)
agrag.evidence.contract.NavMaxChars
NavMaxChars = Annotated[int, Field(ge=1, le=MAX_NAV_MAX_CHARS)]
agrag.evidence.contract.NavMaxCharsNavMaxChars = Annotated[int, Field(ge=1, le=MAX_NAV_MAX_CHARS)]