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/91fda5d3e7f49ffab1937fd374f99ff32c7c36d71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/91fda5d3e7f49ffab1937fd374f99ff32c7c36d7
- work hol-guard/commit/b5c225d97d260a8246ba8455c1ef03f76c4eb8631 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b5c225d97d260a8246ba8455c1ef03f76c4eb863
- work hol-guard/commit/0601bf8f5efff4e6844a5339ae742f5110d609dc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0601bf8f5efff4e6844a5339ae742f5110d609dc
- work hol-guard/commit/064fd35c344c5106b977583a95d14ecbf48a36e21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/064fd35c344c5106b977583a95d14ecbf48a36e2
- work hol-guard/commit/d6a2a06fe396a075973f9e05a8391f0b7cc020301 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d6a2a06fe396a075973f9e05a8391f0b7cc02030
- work hol-guard/commit/57a90de26dc447a514fcc1de10038b560fc682021 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/57a90de26dc447a514fcc1de10038b560fc68202
- work hol-guard/commit/479c5ee6831dcca3e3678dbbc9d6e83e2afaec201 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/479c5ee6831dcca3e3678dbbc9d6e83e2afaec20
- work hol-guard/commit/b975d0796506bab61e3c457bf35b054801ca86191 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b975d0796506bab61e3c457bf35b054801ca8619
- work hol-guard/commit/4b83bfcd307b9d825a9fb389de2ca5c83e6be75e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4b83bfcd307b9d825a9fb389de2ca5c83e6be75e
- work hol-guard/commit/913819122360fd38758db4968d00182377249c521 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/913819122360fd38758db4968d00182377249c52
- work hol-guard/commit/c1cf8e9f90c9d4c3d04fc5fd9212c52ad70062471 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c1cf8e9f90c9d4c3d04fc5fd9212c52ad7006247
- work hol-guard/commit/e709cb63c03ad5f75594c5c5a8117f88f073d81d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e709cb63c03ad5f75594c5c5a8117f88f073d81d
- work hol-guard/commit/ed1725fc23cccfde58b7269c146f5112be6938b91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ed1725fc23cccfde58b7269c146f5112be6938b9
- work hol-guard/commit/a9c498d03faf9d9fe3939e769233d112ac449a861 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a9c498d03faf9d9fe3939e769233d112ac449a86
- work hol-guard/commit/c5395679b09dacbdda8f5c5717acd2b15692a0201 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c5395679b09dacbdda8f5c5717acd2b15692a020
- work hol-guard/commit/7621eed6bf6db3b3f8c313050917c9f79de7cc101 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7621eed6bf6db3b3f8c313050917c9f79de7cc10
- work hol-guard/commit/f9ea85943f00c639153a063fea814d63f8efb4081 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f9ea85943f00c639153a063fea814d63f8efb408
- work hol-guard/commit/ccad8b90ae80244947afa0f539853c3d89c2fb841 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ccad8b90ae80244947afa0f539853c3d89c2fb84
- work hol-guard/commit/74134fab0acb4f6a688ed6a1def988fe78d99b2a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/74134fab0acb4f6a688ed6a1def988fe78d99b2a
- work hol-guard/commit/139422d64634b412e742b6ea88af9725453437451 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/139422d64634b412e742b6ea88af972545343745
- work hol-guard/commit/0ef7bfc8e162bec29109ef07ae41a95ba81ba2511 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ef7bfc8e162bec29109ef07ae41a95ba81ba251
- work hol-guard/commit/f78d9beb3542eb7c57ea7dec60076d17d2a5b53c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f78d9beb3542eb7c57ea7dec60076d17d2a5b53c
- work hol-guard/commit/6b694c6a71f4c5951de991b82ee2d7a363998c221 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6b694c6a71f4c5951de991b82ee2d7a363998c22
- work hol-guard/commit/818dd9d23e296fc77a280bd402460552a3c391c31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/818dd9d23e296fc77a280bd402460552a3c391c3
- work hol-guard/commit/c249a668756e7c028256f2a795a14c69d9d119601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c249a668756e7c028256f2a795a14c69d9d11960
- work hol-guard/commit/cd18c12aee1decdf724c1c5092008667448cbc411 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cd18c12aee1decdf724c1c5092008667448cbc41
- work hol-guard/commit/7d8f6cd798ae0d1e7c4e049b6e8cd8b0f17079b91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7d8f6cd798ae0d1e7c4e049b6e8cd8b0f17079b9
- work hol-guard/commit/8b55a73fad731a22c2c7a2c198a2a1331678c65c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8b55a73fad731a22c2c7a2c198a2a1331678c65c
- work hol-guard/commit/a4a627776aaf2932eddc0b6fc19c2f80311ec0601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a4a627776aaf2932eddc0b6fc19c2f80311ec060
- work hol-guard/commit/3d3054fbf750764fc6cc52caaf62e2d557d2b1801 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3d3054fbf750764fc6cc52caaf62e2d557d2b180
- work hol-guard/commit/bab36b2c9bcde1e12facda24f2151e43c01047441 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bab36b2c9bcde1e12facda24f2151e43c0104744
- work hol-guard/commit/666f5cff8560032854bfb5c4980798f005f503e21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/666f5cff8560032854bfb5c4980798f005f503e2
- work hol-guard/commit/281fd2649aec6ced28fab8eaa3601f8488a344b81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/281fd2649aec6ced28fab8eaa3601f8488a344b8
- work hol-guard/commit/b2bf08e7e5343b1f2835303898be0131a08cce7e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b2bf08e7e5343b1f2835303898be0131a08cce7e
- work hol-guard/commit/cfce83e808a9991f3e45f8893f122581e76d0d871 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cfce83e808a9991f3e45f8893f122581e76d0d87
- work hol-guard/commit/259576578bfdf8970198927136d324d956e72bdb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/259576578bfdf8970198927136d324d956e72bdb
- work hol-guard/commit/19059236a3947ec0efaf0b22a58d9f26f2c1cec31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/19059236a3947ec0efaf0b22a58d9f26f2c1cec3
- work hol-guard/commit/d2a09144171d9117db4e63f6b1f59210b7dc8bb11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d2a09144171d9117db4e63f6b1f59210b7dc8bb1
- work hol-guard/commit/423d146294850855420b7c5d702151e7329a57251 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/423d146294850855420b7c5d702151e7329a5725
- work hol-guard/commit/36b009fdbfaef070bca213179b89867929544c9a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/36b009fdbfaef070bca213179b89867929544c9a
- work hol-guard/commit/63f422a7bb21ca5d22a34e6510e69dcb8aa08cc41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/63f422a7bb21ca5d22a34e6510e69dcb8aa08cc4
- work hol-guard/commit/3cb988b5f968fe41519401b98d97d9745492e3f31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3cb988b5f968fe41519401b98d97d9745492e3f3
- work hol-guard/commit/ad6c681d1a7e3120a16629eeb62b427b49b652a51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ad6c681d1a7e3120a16629eeb62b427b49b652a5
- work hol-guard/commit/0677b172666277c6ce001f00a055f7ef52ecc0fd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0677b172666277c6ce001f00a055f7ef52ecc0fd
- work hol-guard/commit/5abc8c805047a5c87e918305b5af123d8cadea981 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5abc8c805047a5c87e918305b5af123d8cadea98
- work hol-guard/commit/065dedd3accfaa96ca98c7c081431af0049ccfbe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/065dedd3accfaa96ca98c7c081431af0049ccfbe
- work hol-guard/commit/f28ad4e539eedc80e2bdbde8d79edc45111d29fd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f28ad4e539eedc80e2bdbde8d79edc45111d29fd
- work hol-guard/commit/b1de29f8a5220bb9df61ca25b932a10b40940e581 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b1de29f8a5220bb9df61ca25b932a10b40940e58
- work hol-guard/commit/5dad109b4423db87cb85a30dd1bf6349969a06e01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5dad109b4423db87cb85a30dd1bf6349969a06e0
- work hol-guard/commit/44d762f18501878f53929f7601ae3cc5fcb239e21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/44d762f18501878f53929f7601ae3cc5fcb239e2
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.