1-1-1 Best Practice

[git-torrent]

Your example shows

message StudentID {
  string value = 1;
}

Later on subsequent example:

message Student {
  StudentId id = 1;
  FullName name = 2;
}

Where StudentID suddenly changes to StudenId.

I guess the correct one is StudentId, because it is safe for various CamelCase to snake_case converters (including your own in JSON Formatter, e.g. C# FromJsonName) would produce student_id instead of student_i_d.

[git-torrent]

Later on

message GetStudentRequest {
  StudentID id = 1;
}

Should also be StudentId

[Logofile]

Oh, good catch! I've submitted a code change for review by my teammate. The docs in this repo should be updated within the next week or two.