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/d2aa5ffeebaec4d8c766437a074b401ef30b04c71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d2aa5ffeebaec4d8c766437a074b401ef30b04c7
- work hol-guard/commit/a57aa5fe954b97918cc6516ada26aa3723c17a781 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a57aa5fe954b97918cc6516ada26aa3723c17a78
- work hol-guard/commit/dc093b7253ed5e7d3fbefd19839991a0d17cbf6b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dc093b7253ed5e7d3fbefd19839991a0d17cbf6b
- work hol-guard/commit/45cb4bee7b54bc26894ab819f6c6b390e77478b51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/45cb4bee7b54bc26894ab819f6c6b390e77478b5
- work hol-guard/commit/705db9a08e60b7776d3d8280c9d086ede43b4e991 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/705db9a08e60b7776d3d8280c9d086ede43b4e99
- work hol-guard/commit/82cbd76aa74b73140e1fb321ebea3df1403b45c71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/82cbd76aa74b73140e1fb321ebea3df1403b45c7
- work hol-guard/commit/a13faa9dda69bec135dffe1dfa2bb6e923ecab121 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a13faa9dda69bec135dffe1dfa2bb6e923ecab12
- work hol-guard/commit/ec43f3de12dbadb35d4c4693370ad8387ada1b481 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ec43f3de12dbadb35d4c4693370ad8387ada1b48
- work hol-guard/commit/f7e2c98f51662d5c282e41709f1220afa2b338b51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f7e2c98f51662d5c282e41709f1220afa2b338b5
- work hol-guard/commit/67dac2a339a59dd53fe374bd2b34a14f1ffa872e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/67dac2a339a59dd53fe374bd2b34a14f1ffa872e
- work hol-guard/commit/6b1721404e0bed2c8a054c31dc5a7546419dcf4a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6b1721404e0bed2c8a054c31dc5a7546419dcf4a
- work hol-guard/commit/cb158225d8305bee1b7d30fe64e3df223a7def8a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cb158225d8305bee1b7d30fe64e3df223a7def8a
- work hol-guard/commit/9a6e6d567cd24f5dc611cc1da322ac08196d4cfb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9a6e6d567cd24f5dc611cc1da322ac08196d4cfb
- work hol-guard/commit/484b8d6750f7766df15449119dcbd820c482cffb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/484b8d6750f7766df15449119dcbd820c482cffb
- work hol-guard/commit/33e1ea21c5d70e4bd2ff0c3e30f4e87f6c3723dd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/33e1ea21c5d70e4bd2ff0c3e30f4e87f6c3723dd
- work hol-guard/commit/e46cc13e34e88d9d01505324ea40ad91c2d40d461 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e46cc13e34e88d9d01505324ea40ad91c2d40d46
- work hol-guard/commit/7a68cfd8faab5f9cdc606f4ec2790d620319e0e81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7a68cfd8faab5f9cdc606f4ec2790d620319e0e8
- work hol-guard/commit/0085acaf32619d4b8f74b555c6f9db4dd73cfbcf1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0085acaf32619d4b8f74b555c6f9db4dd73cfbcf
- work hol-guard/commit/2daac17a04bcd4df5d567cdce0fde62dc709e2cb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2daac17a04bcd4df5d567cdce0fde62dc709e2cb
- work hol-guard/commit/365253cadb53f0e79a22e4d62a215b6111e8362b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/365253cadb53f0e79a22e4d62a215b6111e8362b
- work hol-guard/commit/d339fc5b79330cfa8fb0fcff920e272829404b821 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d339fc5b79330cfa8fb0fcff920e272829404b82
- work hol-guard/commit/d369b2cc5f016323c350eaee935c763070f6dc911 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d369b2cc5f016323c350eaee935c763070f6dc91
- work hol-guard/commit/228c49df8064e7eaa657a2dcc2695e370ac50c591 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/228c49df8064e7eaa657a2dcc2695e370ac50c59
- work hol-guard/commit/9cc1d6b468afc054c143fa7b5319e6338132af9e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9cc1d6b468afc054c143fa7b5319e6338132af9e
- work hol-guard/commit/b477ec2ae009c41c5546f59c55f82c224543323e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b477ec2ae009c41c5546f59c55f82c224543323e
- work hol-guard/commit/f1924a971c71a122f18c220793210a52911f89201 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f1924a971c71a122f18c220793210a52911f8920
- work hol-guard/commit/29cd32b397525bd987a27993cbbfffd4e4ef67391 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/29cd32b397525bd987a27993cbbfffd4e4ef6739
- work hol-guard/commit/5b7c6ed5ac906aaada969b7c027f5240185b322a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5b7c6ed5ac906aaada969b7c027f5240185b322a
- work hol-guard/commit/fc29ca4cc86a911e299018e8602acb38c90c0eb11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fc29ca4cc86a911e299018e8602acb38c90c0eb1
- work hol-guard/commit/4617589a9a3110ed316cc99eab61fee5277d4fd11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4617589a9a3110ed316cc99eab61fee5277d4fd1
- work hol-guard/commit/48ce4c02cb368aaf2a76e27cdc0322c8e6e4a5851 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/48ce4c02cb368aaf2a76e27cdc0322c8e6e4a585
- work hol-guard/commit/7ada304507f5f67245359f03f0b9361f2f67169c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7ada304507f5f67245359f03f0b9361f2f67169c
- work hol-guard/commit/0ceb0b6ec93b2107acec13fe950ec40184068a2f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ceb0b6ec93b2107acec13fe950ec40184068a2f
- work hol-guard/commit/41b45fb65eeff5e38f59ebf410803b9b4b77b6461 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/41b45fb65eeff5e38f59ebf410803b9b4b77b646
- work hol-guard/commit/a4e71eb105457922692c463f7335aa08c36355b61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a4e71eb105457922692c463f7335aa08c36355b6
- work hol-guard/commit/0ec77c4d07654710319384858f5c70cfd9ae38351 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ec77c4d07654710319384858f5c70cfd9ae3835
- work hol-guard/commit/eeb814fce79813e889b69710e98e262b7ec73a0a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/eeb814fce79813e889b69710e98e262b7ec73a0a
- work hol-guard/commit/d17d6d5722880365c63af0e8c9d167ebdcd41aa01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d17d6d5722880365c63af0e8c9d167ebdcd41aa0
- work hol-guard/commit/3b2f10a43dd4985c41595dd6fb9283c4338b9dde1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3b2f10a43dd4985c41595dd6fb9283c4338b9dde
- work hol-guard/commit/983a3f851485fa62581fcad3303e4108d33d3ecd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/983a3f851485fa62581fcad3303e4108d33d3ecd
- work hol-guard/commit/2fa7887f27339054d70b52131509afcd594e2a721 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2fa7887f27339054d70b52131509afcd594e2a72
- work hol-guard/commit/2e5a8093dee93f3db1b05c1cfa9775401d81cb891 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2e5a8093dee93f3db1b05c1cfa9775401d81cb89
- work hol-guard/commit/6ee9164c355ee873db04dacbc2e4d0dfa09b9f2f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6ee9164c355ee873db04dacbc2e4d0dfa09b9f2f
- work hol-guard/commit/71818adb728ff5570aecf66c644615f517748ea71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/71818adb728ff5570aecf66c644615f517748ea7
- work hol-guard/pr/5321 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/532
- work hol-guard/pr/5331 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/533
- work hol-guard/pr/5341 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/534
- work hol-guard/pr/5351 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/535
- work hol-guard/pr/5361 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/536
- work hol-guard/pr/5371 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/537
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.