Contributor profile
kantorcodes
Public GitHub account id: 6068672
Verified roles: Implementation
Install HOL Guard
Accepted record
2316 distinct original works · 2318 deliveries(one work can travel through several deliveries and releases)
Verified roles
Implementation
Attribution
Credits derive from public pull requests, verified commit authorship, and verified co-authorship — nothing else.
Accepted contributions
- work hol-guard/commit/3d6fe51a9c5d28ce5f7634105edee307fc0c13f71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3d6fe51a9c5d28ce5f7634105edee307fc0c13f7
- work hol-guard/commit/4dfcdadf58b65a7f870d316f9f1f575054ca16e31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4dfcdadf58b65a7f870d316f9f1f575054ca16e3
- work hol-guard/commit/3b7d2dd31d068fd9fedbbee60ec4c5dc93cc56ac1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3b7d2dd31d068fd9fedbbee60ec4c5dc93cc56ac
- work hol-guard/commit/50b09c7f2a1cd72493f161967ea59de11c7f405a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/50b09c7f2a1cd72493f161967ea59de11c7f405a
- work hol-guard/commit/f5f071bd5e75392222d9af32599241a6f9f985b71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f5f071bd5e75392222d9af32599241a6f9f985b7
- work hol-guard/commit/75269b837de6ab1cd2fc136ad211ebe9e9791adf1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/75269b837de6ab1cd2fc136ad211ebe9e9791adf
- work hol-guard/commit/9315a045aefe9cdb359d5f7a527409d4817546a21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9315a045aefe9cdb359d5f7a527409d4817546a2
- work hol-guard/commit/29c23c454f12d41050039fbbb7cb37132a8cbd1d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/29c23c454f12d41050039fbbb7cb37132a8cbd1d
- work hol-guard/commit/736b867d014bb3334f6a420715e4b29aef0f142e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/736b867d014bb3334f6a420715e4b29aef0f142e
- work hol-guard/commit/ec881a615cbec5dff0af2d1507e99f80d730982d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ec881a615cbec5dff0af2d1507e99f80d730982d
- work hol-guard/commit/e681f90633922ec88bfc1a315d525d76b8aa45c01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e681f90633922ec88bfc1a315d525d76b8aa45c0
- work hol-guard/commit/b0fbe46d3d019754661aad11d537ead766ab2b9b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b0fbe46d3d019754661aad11d537ead766ab2b9b
- work hol-guard/commit/4da7da74b3fc4a20b2020e3035b1fdedf4fa5f231 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4da7da74b3fc4a20b2020e3035b1fdedf4fa5f23
- work hol-guard/commit/ef1a75ef62c13bd9f20d860c20ccf1d8d25ef3bb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ef1a75ef62c13bd9f20d860c20ccf1d8d25ef3bb
- work hol-guard/commit/eb85f35829e2b83d3befd255b78c2eeb9ebadbf61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/eb85f35829e2b83d3befd255b78c2eeb9ebadbf6
- work hol-guard/commit/2befed1bc3b8fb6b00d169b56e7d66ead12165e41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2befed1bc3b8fb6b00d169b56e7d66ead12165e4
- work hol-guard/commit/71e9a62f6050720e958c881014c74ff05192952b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/71e9a62f6050720e958c881014c74ff05192952b
- work hol-guard/commit/a19474d2b8e0ff46260692442bea03c68086f3061 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a19474d2b8e0ff46260692442bea03c68086f306
- work hol-guard/commit/0b836a78590d37c9a7e37bb3a99d8b28844144d11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0b836a78590d37c9a7e37bb3a99d8b28844144d1
- work hol-guard/commit/be7739e333f114badd0e75ec926ad0d0451a6a3b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/be7739e333f114badd0e75ec926ad0d0451a6a3b
- work hol-guard/commit/caa7ad052629ff8c80af2bdab9a896b8eecb12e61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/caa7ad052629ff8c80af2bdab9a896b8eecb12e6
- work hol-guard/commit/662bd712504378ac230610ad146575b1bc33f62f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/662bd712504378ac230610ad146575b1bc33f62f
- work hol-guard/commit/c035e0a4fb1d30e0dc2c266713800a05e2c4d2fc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c035e0a4fb1d30e0dc2c266713800a05e2c4d2fc
- work hol-guard/commit/d4e8234569f326e19d9f0be22811d1124f9800e11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d4e8234569f326e19d9f0be22811d1124f9800e1
- work hol-guard/commit/575d0169a5c88216873f12c55ede081e08bfe1911 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/575d0169a5c88216873f12c55ede081e08bfe191
- work hol-guard/commit/c8c501121f08fd4bf75305b63898c3501fddf9971 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c8c501121f08fd4bf75305b63898c3501fddf997
- work hol-guard/commit/85ef20df4b817f2dfb4375d673c52e1a123239231 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/85ef20df4b817f2dfb4375d673c52e1a12323923
- work hol-guard/commit/db3c9a1bd4f2cc16f53a30c0cd30c64650ffff341 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/db3c9a1bd4f2cc16f53a30c0cd30c64650ffff34
- work hol-guard/commit/39ac766b4ef1cda33e492be45c17aa132b328d661 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/39ac766b4ef1cda33e492be45c17aa132b328d66
- work hol-guard/commit/a75fa31f592ad727b2ff7019d4d7027731b7531f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a75fa31f592ad727b2ff7019d4d7027731b7531f
- work hol-guard/commit/fbdca5e1295ed7b2aaec4a5786149e1e5984173a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fbdca5e1295ed7b2aaec4a5786149e1e5984173a
- work hol-guard/commit/27ff7ea3f1ba0b03f0650432a225f17818c3b1f51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/27ff7ea3f1ba0b03f0650432a225f17818c3b1f5
- work hol-guard/commit/b32e000614c60a412fee99319dd910f8655969951 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b32e000614c60a412fee99319dd910f865596995
- work hol-guard/commit/20f024a2bbd97c6d96d9a6fddc132257ead62dd91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/20f024a2bbd97c6d96d9a6fddc132257ead62dd9
- work hol-guard/commit/e6be44442664544a7122c34c32c03d30486564011 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e6be44442664544a7122c34c32c03d3048656401
- work hol-guard/commit/30459925c830081b9ac7d01913f3828614c6bf7e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/30459925c830081b9ac7d01913f3828614c6bf7e
- work hol-guard/commit/65d067845be6a2cc6947c246e89334dd01f7e7fe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/65d067845be6a2cc6947c246e89334dd01f7e7fe
- work hol-guard/commit/7415b2d8e63f7cec2b73a76ac1061808fac9cd551 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7415b2d8e63f7cec2b73a76ac1061808fac9cd55
- work hol-guard/commit/863a455a2a77c6c41b05590a9dbaeaaef50c4f5a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/863a455a2a77c6c41b05590a9dbaeaaef50c4f5a
- work hol-guard/commit/399430244435ee9f31cdff50e9e05063f1a1236a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/399430244435ee9f31cdff50e9e05063f1a1236a
- work hol-guard/commit/29817e863d4bc150dece6bc60a19632db461726f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/29817e863d4bc150dece6bc60a19632db461726f
- work hol-guard/commit/6b360967877ce64376b48ac1c6f8a93ed5c270ec1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6b360967877ce64376b48ac1c6f8a93ed5c270ec
- work hol-guard/commit/7172e1c10bbbbe18579c531155de6e0d4b6929a51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7172e1c10bbbbe18579c531155de6e0d4b6929a5
- work hol-guard/commit/afed22d74a1fa0b37394f79bb41f4c8017eafeaa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/afed22d74a1fa0b37394f79bb41f4c8017eafeaa
- work hol-guard/commit/0978a2c8e14c95930d1c1a781bbbce81da54a9831 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0978a2c8e14c95930d1c1a781bbbce81da54a983
- work hol-guard/commit/b33d5e8bad2e6a11fffa0b4da1bc393a4f0e73221 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b33d5e8bad2e6a11fffa0b4da1bc393a4f0e7322
- work hol-guard/commit/cffb112d9dba834d131a27b8d95881df739e237e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cffb112d9dba834d131a27b8d95881df739e237e
- work hol-guard/commit/518cab811a289b79ae17e146854410c93717a2861 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/518cab811a289b79ae17e146854410c93717a286
- work hol-guard/commit/0d1889a1e9f3217e66df200ea0ef58c3759f91071 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0d1889a1e9f3217e66df200ea0ef58c3759f9107
- work hol-guard/commit/79d090e511464671a923f85d69e1ce114d98581b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/79d090e511464671a923f85d69e1ce114d98581b
Coverage and honesty notes
- Attribution inventory for this account: complete.
- History coverage: a complete-history inventory has NOT been verified, so first-contribution and first-release milestones are omitted rather than guessed.
- Recognition is attribution-only: credits derive from public pull requests, verified commit authorship, and verified co-authorship — nothing else.
Corrections
Something wrong or missing? Request a correction or removal. Corrections and suppression are durable decisions that override everything else, including replays of the upstream source.