Contributor profile
kantorcodes#6068672
Public GitHub account id: 6068672
Verified roles: Implementation
Install HOL Guard
Accepted record
2331 distinct original works · 2333 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/3b4614cefb57fdfcdda910c137ca8919eb3c73781 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3b4614cefb57fdfcdda910c137ca8919eb3c7378
- work hol-guard/commit/d99f496af6a23633e353f2aa125b8244a78d0b4d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d99f496af6a23633e353f2aa125b8244a78d0b4d
- work hol-guard/commit/d3ba52590c117a7ae9ebe6a8e19aecdfc10035bf1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d3ba52590c117a7ae9ebe6a8e19aecdfc10035bf
- work hol-guard/commit/07c5ea966266d95384bf4f6f5bf134f92e9c2dc81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/07c5ea966266d95384bf4f6f5bf134f92e9c2dc8
- work hol-guard/commit/16eb3533d3500601705fa0c3656787e2496fb7a31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/16eb3533d3500601705fa0c3656787e2496fb7a3
- work hol-guard/commit/67348e355db23f9b898b169a59c5cd7561a705161 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/67348e355db23f9b898b169a59c5cd7561a70516
- work hol-guard/commit/0958058dc82b8dca07fa4e461d7213309f35921c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0958058dc82b8dca07fa4e461d7213309f35921c
- work hol-guard/commit/107e0dcb006bd3e97dd98c9fa3b13a32a2a834761 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/107e0dcb006bd3e97dd98c9fa3b13a32a2a83476
- work hol-guard/commit/2b8ccc9469339d7d3e9d15868039339165b518191 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2b8ccc9469339d7d3e9d15868039339165b51819
- work hol-guard/commit/752390e96ff137ace68be766b1f05a969a1f97f61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/752390e96ff137ace68be766b1f05a969a1f97f6
- work hol-guard/commit/fce6ca5e98ba3958d8ae16ba1091d81c10ab8b741 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fce6ca5e98ba3958d8ae16ba1091d81c10ab8b74
- work hol-guard/commit/62dc821641edbbdb86baf7fef06400a05849e0141 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/62dc821641edbbdb86baf7fef06400a05849e014
- work hol-guard/commit/9d1faced9ccb34efa7c3d835f1995e21620efb141 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9d1faced9ccb34efa7c3d835f1995e21620efb14
- work hol-guard/commit/22f3cf639ec8f486fbf6e040294c4d5ad3b170f21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/22f3cf639ec8f486fbf6e040294c4d5ad3b170f2
- work hol-guard/commit/334f1f8c2ec556934e30152c5c483c0a3e70529d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/334f1f8c2ec556934e30152c5c483c0a3e70529d
- work hol-guard/commit/bc7bbd71dd18b42ea0b1986036717bb356d18ee61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bc7bbd71dd18b42ea0b1986036717bb356d18ee6
- work hol-guard/commit/f1e8948d1aa0920a61560a6041fd2ab54c23ce7e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f1e8948d1aa0920a61560a6041fd2ab54c23ce7e
- work hol-guard/commit/85fa66fe6973ac31e4b8d9fc0fd551f23719e41c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/85fa66fe6973ac31e4b8d9fc0fd551f23719e41c
- work hol-guard/commit/85171bc3ea866a66012f4cadeb614da5e1198b551 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/85171bc3ea866a66012f4cadeb614da5e1198b55
- work hol-guard/commit/b96b446de7183cb892f8300f2e93d5496741972b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b96b446de7183cb892f8300f2e93d5496741972b
- work hol-guard/commit/caa4085929e55c4a0699caf6c63e5603313ad8801 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/caa4085929e55c4a0699caf6c63e5603313ad880
- work hol-guard/commit/db468ed1e52ee284984cfc1f44501f0569f84d751 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/db468ed1e52ee284984cfc1f44501f0569f84d75
- work hol-guard/commit/5d6405423f52918acea4a8495833ab6b0415299e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5d6405423f52918acea4a8495833ab6b0415299e
- work hol-guard/commit/74b52d63c8d59315b34cf33f0fcb42cae0f3c66c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/74b52d63c8d59315b34cf33f0fcb42cae0f3c66c
- work hol-guard/commit/32a5ac476b29baf4e7475e23f2e01205ebff6d8c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/32a5ac476b29baf4e7475e23f2e01205ebff6d8c
- work hol-guard/commit/e09cf78a52eff255a69268f3e05b9ffc11b20ad81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e09cf78a52eff255a69268f3e05b9ffc11b20ad8
- work hol-guard/commit/b0b0f48ac0db9b0c4909e743aac58cfe66182d031 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b0b0f48ac0db9b0c4909e743aac58cfe66182d03
- work hol-guard/commit/bda23e37651178795e3ace0deb34b4488d8324d01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bda23e37651178795e3ace0deb34b4488d8324d0
- work hol-guard/commit/235d5e84cc1bf7576c0c69184f71e4f8249eeee31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/235d5e84cc1bf7576c0c69184f71e4f8249eeee3
- work hol-guard/commit/d7c54f05f406079dbe9b65bdac46d839ccf8f0471 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d7c54f05f406079dbe9b65bdac46d839ccf8f047
- work hol-guard/commit/59a9399ad8a6a0ab39f30c0876e9d99c1fcea61d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/59a9399ad8a6a0ab39f30c0876e9d99c1fcea61d
- work hol-guard/commit/043b1f9fd3e40c6cb181dc786f8c41ecf7edb2111 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/043b1f9fd3e40c6cb181dc786f8c41ecf7edb211
- work hol-guard/commit/e24faef2000dd8f45fd9402668e85bfd623312a71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e24faef2000dd8f45fd9402668e85bfd623312a7
- work hol-guard/commit/655f902778878bc804882be82397a7f7c34bbec61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/655f902778878bc804882be82397a7f7c34bbec6
- work hol-guard/commit/2b04981435de56b33a365f26657b8183543148591 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2b04981435de56b33a365f26657b818354314859
- work hol-guard/commit/d2901066c3feed6b5ad4ddffed5c39da82577b2a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d2901066c3feed6b5ad4ddffed5c39da82577b2a
- work hol-guard/commit/bf389236d62a49e870ab5601b6eb90f82d25ac7e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bf389236d62a49e870ab5601b6eb90f82d25ac7e
- work hol-guard/commit/916bce3e52136d31af3dde87b738e972ca1dc82c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/916bce3e52136d31af3dde87b738e972ca1dc82c
- work hol-guard/commit/9bdfbae2a3d5a3b96f34854a7b87604a0b4d4cc71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9bdfbae2a3d5a3b96f34854a7b87604a0b4d4cc7
- work hol-guard/commit/c95399b3a1ef0c2854e7ed54a2315697c8f163081 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c95399b3a1ef0c2854e7ed54a2315697c8f16308
- work hol-guard/commit/058fc53cc37e4d1493073d8f8e3215aca0399fdc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/058fc53cc37e4d1493073d8f8e3215aca0399fdc
- work hol-guard/commit/4250dd70ee8289df7f719703e47ef951b95c1c4d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4250dd70ee8289df7f719703e47ef951b95c1c4d
- work hol-guard/commit/b07ef3ada9af71abe1bbf02e65008d9ed1fdd0bd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b07ef3ada9af71abe1bbf02e65008d9ed1fdd0bd
- work hol-guard/commit/f5394f049b13225895fed97eb8a5816738d255f81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f5394f049b13225895fed97eb8a5816738d255f8
- work hol-guard/commit/e64b8b5b8c6910e69dcb1fd31cfceaec139f78011 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e64b8b5b8c6910e69dcb1fd31cfceaec139f7801
- work hol-guard/commit/ddecf1cfb0d7e5e37bac2475da973006dbfa614c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ddecf1cfb0d7e5e37bac2475da973006dbfa614c
- work hol-guard/commit/1f91f81e4ffb792dcadf01e857c1717a272afdaa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1f91f81e4ffb792dcadf01e857c1717a272afdaa
- work hol-guard/commit/b347b7b498add78c258043f368540b0d38bc18b11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b347b7b498add78c258043f368540b0d38bc18b1
- work hol-guard/commit/c09803503c756aab73b837801cc3c34b989678e01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c09803503c756aab73b837801cc3c34b989678e0
- work hol-guard/commit/786e670c1bf48d8a22335fd341288edb9718344e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/786e670c1bf48d8a22335fd341288edb9718344e
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.