Contributor profile
kantorcodes
Public GitHub account id: 6068672
Verified roles: Implementation
Install HOL Guard
Accepted record
2315 distinct original works · 2317 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/feb3db74b9f2d9ed2e3f3e55eba14534f262390d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/feb3db74b9f2d9ed2e3f3e55eba14534f262390d
- work hol-guard/commit/6d7202e10e5127778f4fd50973cb1001721a04051 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6d7202e10e5127778f4fd50973cb1001721a0405
- work hol-guard/commit/d5c37ab4df8b03ce6d1ef11d5021ab10256a47e11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d5c37ab4df8b03ce6d1ef11d5021ab10256a47e1
- work hol-guard/commit/a53705037a9ac00cb21091e9dc095cfa7454b6e21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a53705037a9ac00cb21091e9dc095cfa7454b6e2
- work hol-guard/commit/b1646614fc712c8ee0fc5eaf4cd1281690a2106a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b1646614fc712c8ee0fc5eaf4cd1281690a2106a
- work hol-guard/commit/e568437e5812f2ea410b80ec237e00f670519fbe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e568437e5812f2ea410b80ec237e00f670519fbe
- work hol-guard/commit/73cb27265d356078483b90740b22e345d1fd158b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/73cb27265d356078483b90740b22e345d1fd158b
- work hol-guard/commit/0159954fd8472b8f514eb9a51d041320938848941 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0159954fd8472b8f514eb9a51d04132093884894
- work hol-guard/commit/571825873db250fe4fce123dd283a1e83e4fc72c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/571825873db250fe4fce123dd283a1e83e4fc72c
- work hol-guard/commit/9fe13c028a87998b097aaf0771c14acf50be414d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9fe13c028a87998b097aaf0771c14acf50be414d
- work hol-guard/commit/90d4060659813d1c281d18cf2b3b8b1f2982d65b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/90d4060659813d1c281d18cf2b3b8b1f2982d65b
- work hol-guard/commit/8df8c1078522c5863d1f7a413ac10fcefef823051 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8df8c1078522c5863d1f7a413ac10fcefef82305
- work hol-guard/commit/4bedb443051bc0d1f7baf16e51a16e763dc30eed1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4bedb443051bc0d1f7baf16e51a16e763dc30eed
- work hol-guard/commit/9c36367f003d554b4cd829c9ad3a7f2a03b997fa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9c36367f003d554b4cd829c9ad3a7f2a03b997fa
- work hol-guard/commit/03a11d4af4cda0fc1c0a36d290251e8021a270221 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/03a11d4af4cda0fc1c0a36d290251e8021a27022
- work hol-guard/commit/e2d9c6013cd8225dec886b50ffccbd35c02ac4681 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e2d9c6013cd8225dec886b50ffccbd35c02ac468
- work hol-guard/commit/0f7753d2b852ea43f45bbc0a618f8ae95df928291 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0f7753d2b852ea43f45bbc0a618f8ae95df92829
- work hol-guard/commit/d2882eb893d1fe4399986501c488dfe0b8d5d12e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d2882eb893d1fe4399986501c488dfe0b8d5d12e
- work hol-guard/commit/f2af38c6995e71b92bb2ff0f44d956e92c1517561 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f2af38c6995e71b92bb2ff0f44d956e92c151756
- work hol-guard/commit/7c12ea37d91150920e970752f6e033f36d3504221 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7c12ea37d91150920e970752f6e033f36d350422
- work hol-guard/commit/ce19b39ac5b68d081ed5017734181d3fd3c1ba8a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ce19b39ac5b68d081ed5017734181d3fd3c1ba8a
- work hol-guard/commit/f52c1b977c606cf1d6e208ce22bd83085c3c96261 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f52c1b977c606cf1d6e208ce22bd83085c3c9626
- work hol-guard/commit/dafcd6032950e96567fab3e151bc310dccb206671 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dafcd6032950e96567fab3e151bc310dccb20667
- work hol-guard/commit/44605f0f713fa0d6fc3f36ece96db7b7590181541 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/44605f0f713fa0d6fc3f36ece96db7b759018154
- work hol-guard/commit/d3d154e56b932eebb45b7f6dd71d9be49a79eb631 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d3d154e56b932eebb45b7f6dd71d9be49a79eb63
- work hol-guard/commit/24fb200a75b8625de974e0d41b3eeb34a5cb3be11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/24fb200a75b8625de974e0d41b3eeb34a5cb3be1
- work hol-guard/commit/e8840bc496aca514d14eb1e35caf63dbe4c546b31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e8840bc496aca514d14eb1e35caf63dbe4c546b3
- work hol-guard/commit/e1f67c4fbd50729509e4f2782e9fc3f3ce675fa21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e1f67c4fbd50729509e4f2782e9fc3f3ce675fa2
- work hol-guard/commit/dea0e666114b8b45757d84b62950827274f278cc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dea0e666114b8b45757d84b62950827274f278cc
- work hol-guard/commit/2caf92436d4dff48f68cc88f2075b2d1081378df1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2caf92436d4dff48f68cc88f2075b2d1081378df
- work hol-guard/commit/88f258a44bb64a185206792e96e19609d2a4b9bc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/88f258a44bb64a185206792e96e19609d2a4b9bc
- work hol-guard/commit/80eb9c703f4aba61b36622940a68bad83625b6421 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/80eb9c703f4aba61b36622940a68bad83625b642
- work hol-guard/commit/4e20318073ececbae17b1e493371ebdfecc791ca1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4e20318073ececbae17b1e493371ebdfecc791ca
- work hol-guard/commit/858a9409f2313eb6e9ad0fdddecc6055feffa4fb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/858a9409f2313eb6e9ad0fdddecc6055feffa4fb
- work hol-guard/commit/b21e2d7ad5ad32f970be713f5f2ebab62d9325ad1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b21e2d7ad5ad32f970be713f5f2ebab62d9325ad
- work hol-guard/commit/af0c6c79124adef02f8ee0a040dc9c2923afcb3f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/af0c6c79124adef02f8ee0a040dc9c2923afcb3f
- work hol-guard/commit/50459eac67c81bf6245b7b9b314dd3426060afe81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/50459eac67c81bf6245b7b9b314dd3426060afe8
- work hol-guard/commit/e171339e66a93030edcaea2831670996f4231c8f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e171339e66a93030edcaea2831670996f4231c8f
- work hol-guard/commit/cb8c100f551748d0c53ea010479b3bcdef5e644a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cb8c100f551748d0c53ea010479b3bcdef5e644a
- work hol-guard/commit/beb491282dd23ef795155c786ea2006cba03dbb41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/beb491282dd23ef795155c786ea2006cba03dbb4
- work hol-guard/commit/c76adaefc0f423b8b84b1ce53dd366a0cade44601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c76adaefc0f423b8b84b1ce53dd366a0cade4460
- work hol-guard/commit/64f8d1a1d07daf4c457bbcbece745ea3030283d11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/64f8d1a1d07daf4c457bbcbece745ea3030283d1
- work hol-guard/commit/3c6942f673cda2a9e607277056a9de8c3c9bd9d31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3c6942f673cda2a9e607277056a9de8c3c9bd9d3
- work hol-guard/commit/7ac3486964b1fb8c4651c3abd1835c0195a5e5611 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7ac3486964b1fb8c4651c3abd1835c0195a5e561
- work hol-guard/commit/276dfc3040e3e6da080b7e844e8f42ab0844449f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/276dfc3040e3e6da080b7e844e8f42ab0844449f
- work hol-guard/commit/63b4545a03a080a6e5c85aa68f5c15dcf0aa9c8c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/63b4545a03a080a6e5c85aa68f5c15dcf0aa9c8c
- work hol-guard/commit/3daa38dbee9e356a765946a155df0c1b0b17eab11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3daa38dbee9e356a765946a155df0c1b0b17eab1
- work hol-guard/commit/efcabc4fadb924b85933fc8c67b7177faed752111 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/efcabc4fadb924b85933fc8c67b7177faed75211
- work hol-guard/commit/2afac4e72077b548261e26b384ae28a7b64a53031 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2afac4e72077b548261e26b384ae28a7b64a5303
- work hol-guard/commit/3ffc8635427ce20d2909ed1106ad455572fd99971 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3ffc8635427ce20d2909ed1106ad455572fd9997
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.