Version: latest
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)]