| 1 | //! Types and service interfaces shared by every g1t service. |
| 2 | //! |
| 3 | //! Each service has a module here holding the data it exchanges and the |
| 4 | //! arguments of each of its methods. Services and their callers depend on |
| 5 | //! this crate, never on each other's code. |
| 6 | |
| 7 | pub mod about; |
| 8 | pub mod access; |
| 9 | pub mod advisories; |
| 10 | pub mod agent_sessions; |
| 11 | pub mod account_deletion; |
| 12 | pub mod accounts; |
| 13 | pub mod actions; |
| 14 | pub mod agents; |
| 15 | pub mod audit; |
| 16 | pub mod backups; |
| 17 | pub mod billing; |
| 18 | pub mod checks; |
| 19 | pub mod codeowners; |
| 20 | pub mod coding_agents; |
| 21 | pub mod credentials; |
| 22 | pub mod datasets; |
| 23 | pub mod decisions; |
| 24 | pub mod deploy_keys; |
| 25 | pub mod events; |
| 26 | pub mod folios; |
| 27 | pub mod github; |
| 28 | pub mod guardrails; |
| 29 | pub mod identity; |
| 30 | pub mod inbox; |
| 31 | pub mod live; |
| 32 | pub mod integrations; |
| 33 | pub mod members; |
| 34 | mod ids; |
| 35 | mod names; |
| 36 | mod outcome; |
| 37 | pub mod packages; |
| 38 | pub mod people; |
| 39 | pub mod projects; |
| 40 | pub mod repos; |
| 41 | pub mod rules; |
| 42 | pub mod runners; |
| 43 | pub mod scopes; |
| 44 | pub mod search; |
| 45 | pub mod security; |
| 46 | pub mod teams; |
| 47 | pub mod security_suite; |
| 48 | pub mod subscribers; |
| 49 | pub mod time; |
| 50 | pub mod tokens; |
| 51 | pub mod updates; |
| 52 | pub mod webhooks; |
| 53 | pub mod work; |
| 54 | |
| 55 | pub use ids::{id_floor, new_id}; |
| 56 | pub use names::{ |
| 57 | Username, aliasable_name, claimable_namespace, is_action_owner_name, is_claimable_name, claimable_username, is_namespace_shaped, is_reserved_name, is_route_name, |
| 58 | is_valid_namespace, is_valid_repo_name, |
| 59 | }; |
| 60 | pub use outcome::{Failure, FailureCode, Outcome}; |
| 61 | |
| 62 | use serde::{Deserialize, Serialize}; |
| 63 | |
| 64 | /// What a member may do in a workspace. A member may also hold |
| 65 | /// [`members::OrgRole`]s, which add to it. |
| 66 | #[derive(Clone, Copy, Debug, PartialEq, Eq, Serialize, Deserialize)] |
| 67 | #[serde(rename_all = "lowercase")] |
| 68 | pub enum Role { |
| 69 | /// Everything: Admin on every repository, the workspace's members, |
| 70 | /// settings, billing and security. |
| 71 | Owner, |
| 72 | /// The workspace's base permission on each repository, and what its |
| 73 | /// member privileges allow (see [`members::MemberPrivileges`]). |
| 74 | Member, |
| 75 | } |
| 76 | |
| 77 | pub use members::{MemberPrivileges, OrgRole}; |
| 78 | |
| 79 | /// One workspace a user belongs to. |
| 80 | #[derive(Clone, Debug, Serialize, Deserialize)] |
| 81 | pub struct Membership { |
| 82 | /// The workspace's name in URLs: `g1t.sh/<slug>`. |
| 83 | pub slug: String, |
| 84 | pub role: Role, |
| 85 | /// The workspace's display name, for showing it to people. Set when a |
| 86 | /// user is resolved from credentials; absent on principals made up by |
| 87 | /// a service. |
| 88 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 89 | pub name: Option<String>, |
| 90 | /// The workspace's uploaded icon: the SHA-256 of its bytes, served at |
| 91 | /// `/avatars/<avatar>`. Absent means the generated letter avatar. |
| 92 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 93 | pub avatar: Option<String>, |
| 94 | /// What a member gets on each of the workspace's repositories: the |
| 95 | /// workspace's base permission. Set when a user is resolved from |
| 96 | /// credentials; absent means the default, Write. Owners have Admin |
| 97 | /// whatever it says. See [`access`]. |
| 98 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 99 | pub base_permission: Option<access::BasePermission>, |
| 100 | /// Who may create the workspace's teams. Set when a user is resolved |
| 101 | /// from credentials; absent means the default, any member. See |
| 102 | /// [`teams::TeamCreation`]. |
| 103 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 104 | pub team_creation: Option<teams::TeamCreation>, |
| 105 | /// The roles the member holds besides `role`: billing manager, |
| 106 | /// security manager. Set when a user is resolved from credentials. |
| 107 | #[serde(default, skip_serializing_if = "Vec::is_empty")] |
| 108 | pub org_roles: Vec<OrgRole>, |
| 109 | /// What the workspace lets members (and repository admins) do. Set |
| 110 | /// when a user is resolved from credentials; absent means the |
| 111 | /// defaults. See [`members::MemberPrivileges`]. |
| 112 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 113 | pub privileges: Option<MemberPrivileges>, |
| 114 | } |
| 115 | |
| 116 | impl Membership { |
| 117 | /// A plain member of `slug`, as services act inside one workspace. |
| 118 | pub fn member(slug: impl Into<String>) -> Self { |
| 119 | Membership { |
| 120 | slug: slug.into(), |
| 121 | role: Role::Member, |
| 122 | name: None, |
| 123 | avatar: None, |
| 124 | base_permission: None, |
| 125 | team_creation: None, |
| 126 | org_roles: Vec::new(), |
| 127 | privileges: None, |
| 128 | } |
| 129 | } |
| 130 | |
| 131 | /// Whether the member holds `role` besides owner or member. |
| 132 | pub fn has(&self, role: OrgRole) -> bool { |
| 133 | self.org_roles.contains(&role) |
| 134 | } |
| 135 | } |
| 136 | |
| 137 | /// What a set of credentials resolved to. |
| 138 | #[derive(Clone, Copy, Debug, Default, PartialEq, Eq, Serialize, Deserialize)] |
| 139 | #[serde(rename_all = "lowercase")] |
| 140 | pub enum PrincipalKind { |
| 141 | /// A person's account. |
| 142 | #[default] |
| 143 | User, |
| 144 | /// A workspace, acting through one of its own access tokens. Its `id` |
| 145 | /// is the workspace's, its `username` the workspace's slug, and it is a |
| 146 | /// member of that workspace and no other. |
| 147 | Workspace, |
| 148 | /// A run's token: a sandbox g1t started (checks, the merge queue, a |
| 149 | /// merge check), acting through a token that lives as long as its run |
| 150 | /// and can do only what that token's scope lists, in one repository. |
| 151 | /// Its `username` is `g1t`. g1t no longer runs agents of its own; the |
| 152 | /// name stays because identity still issues run credentials with it and |
| 153 | /// historical rows written by `@g1t`'s agent were recorded as it. |
| 154 | Agent, |
| 155 | /// g1t itself: the platform acting on its own, as when it opens a |
| 156 | /// pull request to upgrade a vulnerable dependency or merges from the |
| 157 | /// queue. Never resolved from credentials: only services make one, |
| 158 | /// with [`User::system`]. Its `username` is `g1t`, which nobody can |
| 159 | /// register. |
| 160 | System, |
| 161 | } |
| 162 | |
| 163 | /// g1t's own identity, as [`PrincipalKind::System`] work is recorded. |
| 164 | pub mod system { |
| 165 | /// Its id wherever an author or actor id is stored. |
| 166 | pub const ID: &str = "g1t"; |
| 167 | /// Its name, shown as the author of what it does. |
| 168 | pub const USERNAME: &str = "g1t"; |
| 169 | /// The address on the commits it makes, which no mailbox receives. |
| 170 | pub const EMAIL: &str = "g1t@users.noreply.g1t.sh"; |
| 171 | /// Ids that earlier versions stored for g1t's own actions, such as a |
| 172 | /// merge its settings made. Read as g1t too. |
| 173 | pub const LEGACY_IDS: [&str; 3] = ["g1t_policy", "svc_runner", "g1t_runner"]; |
| 174 | |
| 175 | /// Whether `id` is g1t's own. |
| 176 | pub fn is_system_id(id: &str) -> bool { |
| 177 | id == ID || LEGACY_IDS.contains(&id) |
| 178 | } |
| 179 | } |
| 180 | |
| 181 | #[derive(Clone, Debug, Default, Serialize, Deserialize)] |
| 182 | pub struct User { |
| 183 | pub id: String, |
| 184 | /// Lowercased: what the person is found, linked and mentioned by. |
| 185 | pub username: String, |
| 186 | /// The username as its owner wrote it (`Ana`), when that differs from |
| 187 | /// `username`: what pages show. Set on the signed-in person and on |
| 188 | /// people looked up by name; absent elsewhere, where `username` is shown. |
| 189 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 190 | pub display_username: Option<String>, |
| 191 | #[serde(default)] |
| 192 | pub kind: PrincipalKind, |
| 193 | /// Whether the account's email address has been confirmed. Unverified |
| 194 | /// accounts can sign in but cannot create or change anything. |
| 195 | #[serde(default)] |
| 196 | pub verified: bool, |
| 197 | /// The workspaces this user belongs to. Filled in when a user is |
| 198 | /// resolved from credentials, so any service can authorize from it. |
| 199 | #[serde(default)] |
| 200 | pub workspaces: Vec<Membership>, |
| 201 | /// The person's uploaded avatar: the SHA-256 of its bytes, served at |
| 202 | /// `/avatars/<avatar>`. Absent means the generated letter avatar. |
| 203 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 204 | pub avatar: Option<String>, |
| 205 | /// Set on an agent resolved from its token: who it acts for, with which |
| 206 | /// credential, and what it may do. See [`credentials`]. |
| 207 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 208 | pub acting: Option<Box<credentials::Acting>>, |
| 209 | /// The repositories this user has been given a role on directly, |
| 210 | /// whether or not they belong to its workspace. Filled in with |
| 211 | /// `workspaces`; see [`access`]. |
| 212 | #[serde(default, skip_serializing_if = "Vec::is_empty")] |
| 213 | pub grants: Vec<access::RepoGrant>, |
| 214 | /// Set on a user resolved from an access token: its scopes and the |
| 215 | /// workspaces or repositories it is limited to. Absent on a signed-in |
| 216 | /// session and on an agent (whose `acting` scope applies instead). |
| 217 | /// See [`scopes`]. |
| 218 | #[serde(default, skip_serializing_if = "Option::is_none")] |
| 219 | pub token: Option<Box<scopes::TokenAccess>>, |
| 220 | /// The workspaces this person belongs to but cannot use until they |
| 221 | /// meet its policy, such as turning on two-factor authentication. |
| 222 | /// They are left out of `workspaces` and `grants` meanwhile. Set when |
| 223 | /// a person is resolved from a session. |
| 224 | #[serde(default, skip_serializing_if = "Vec::is_empty")] |
| 225 | pub held: Vec<members::PolicyHold>, |
| 226 | } |
| 227 | |
| 228 | impl User { |
| 229 | /// g1t itself, acting in `workspace`: what the platform's own work, |
| 230 | /// such as security updates, is done and recorded as. |
| 231 | pub fn system(workspace: &str) -> User { |
| 232 | User { |
| 233 | id: system::ID.to_owned(), |
| 234 | username: system::USERNAME.to_owned(), |
| 235 | kind: PrincipalKind::System, |
| 236 | verified: true, |
| 237 | workspaces: vec![Membership::member(workspace.to_lowercase())], |
| 238 | ..User::default() |
| 239 | } |
| 240 | } |
| 241 | |
| 242 | /// Whether this is g1t itself. |
| 243 | pub fn is_system(&self) -> bool { |
| 244 | self.kind == PrincipalKind::System |
| 245 | } |
| 246 | |
| 247 | /// Whether this is a person whose account has not confirmed its email |
| 248 | /// address. Such an account can only confirm it (or change it, or sign |
| 249 | /// out): the site, the API, MCP and git refuse it everything else |
| 250 | /// ([`accounts::confirm_email_first`]). |
| 251 | pub fn awaits_confirmation(&self) -> bool { |
| 252 | self.kind == PrincipalKind::User && !self.verified |
| 253 | } |
| 254 | |
| 255 | pub fn role_in(&self, slug: &str) -> Option<Role> { |
| 256 | self.workspaces |
| 257 | .iter() |
| 258 | .find(|membership| membership.slug == slug) |
| 259 | .map(|membership| membership.role) |
| 260 | } |
| 261 | |
| 262 | pub fn is_member(&self, slug: &str) -> bool { |
| 263 | self.role_in(slug).is_some() |
| 264 | } |
| 265 | |
| 266 | /// The membership in `slug`, if any. |
| 267 | pub fn membership(&self, slug: &str) -> Option<&Membership> { |
| 268 | self.workspaces.iter().find(|membership| membership.slug.eq_ignore_ascii_case(slug)) |
| 269 | } |
| 270 | |
| 271 | /// Whether this is a person who owns `slug`, or holds `role` in it. |
| 272 | pub fn owns_or_has(&self, slug: &str, role: OrgRole) -> bool { |
| 273 | self.membership(slug) |
| 274 | .is_some_and(|membership| membership.role == Role::Owner || membership.has(role)) |
| 275 | } |
| 276 | |
| 277 | /// Whether the user may manage `slug`'s billing: an owner or a billing |
| 278 | /// manager. |
| 279 | pub fn manages_billing(&self, slug: &str) -> bool { |
| 280 | self.owns_or_has(slug, OrgRole::BillingManager) |
| 281 | } |
| 282 | |
| 283 | /// Whether the user may see and manage security across `slug`: an |
| 284 | /// owner or a security manager. |
| 285 | pub fn manages_security(&self, slug: &str) -> bool { |
| 286 | self.owns_or_has(slug, OrgRole::SecurityManager) |
| 287 | } |
| 288 | |
| 289 | /// The workspace's member privileges as this user sees them: the |
| 290 | /// defaults when the membership does not say. |
| 291 | pub fn privileges_in(&self, slug: &str) -> MemberPrivileges { |
| 292 | self.membership(slug).and_then(|membership| membership.privileges).unwrap_or_default() |
| 293 | } |
| 294 | } |
| 295 | |
| 296 | /// Who is asking. Every read and write in every service takes one. |
| 297 | pub type Viewer = Option<User>; |