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/19585002ea1e9cd4f9116449fa3902efd545ad601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/19585002ea1e9cd4f9116449fa3902efd545ad60
- work hol-guard/commit/8cc15e94f7c99da991098f0cef70e458e8198f181 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8cc15e94f7c99da991098f0cef70e458e8198f18
- work hol-guard/commit/33c147ece593f7890bf7b6a896449820b0f3eaed1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/33c147ece593f7890bf7b6a896449820b0f3eaed
- work hol-guard/commit/9902c5bcb60123ced46e1380049ff794226a88ae1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9902c5bcb60123ced46e1380049ff794226a88ae
- work hol-guard/commit/f0e8d90bf372163849c70ca87e805a1717706f511 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f0e8d90bf372163849c70ca87e805a1717706f51
- work hol-guard/commit/c123e2c296c3932766df8519504c1f688d7c7bbd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c123e2c296c3932766df8519504c1f688d7c7bbd
- work hol-guard/commit/aa96fdbfb88aeef0e4b081fd7bc4d645bf982b8b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/aa96fdbfb88aeef0e4b081fd7bc4d645bf982b8b
- work hol-guard/commit/a9effff07054604cd30ac196060b10a2295cc8761 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a9effff07054604cd30ac196060b10a2295cc876
- work hol-guard/commit/737e80d613bf6135d670d9275c83d3e7483b00431 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/737e80d613bf6135d670d9275c83d3e7483b0043
- work hol-guard/commit/d0434bb3a4123d98dca17260c55dc3fc42cf89cd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d0434bb3a4123d98dca17260c55dc3fc42cf89cd
- work hol-guard/commit/0ed64569c939355c468c4ad9da56d7e71c1568801 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ed64569c939355c468c4ad9da56d7e71c156880
- work hol-guard/commit/6f75328b3dbed9579305e49a846f3ba15a2e05861 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6f75328b3dbed9579305e49a846f3ba15a2e0586
- work hol-guard/commit/403a55b1580f1487f95bbe431beeafd6ba19e8e61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/403a55b1580f1487f95bbe431beeafd6ba19e8e6
- work hol-guard/commit/0df33d07bc94efd52d79223ffe469a9a45c3067d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0df33d07bc94efd52d79223ffe469a9a45c3067d
- work hol-guard/commit/f9837fd637c60f003337380d1b1c64f03b8734bb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f9837fd637c60f003337380d1b1c64f03b8734bb
- work hol-guard/commit/728cc192677fb5f96f3283970bf3477b9822619a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/728cc192677fb5f96f3283970bf3477b9822619a
- work hol-guard/commit/3613597a3635bb2fae77a671cac026c65ff8f5941 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3613597a3635bb2fae77a671cac026c65ff8f594
- work hol-guard/commit/caa52bda4ce27f69a4d1dd5424ec30b9ac4e949f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/caa52bda4ce27f69a4d1dd5424ec30b9ac4e949f
- work hol-guard/commit/379904d1359fd669951306f8ac5d8393d6b5d32e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/379904d1359fd669951306f8ac5d8393d6b5d32e
- work hol-guard/commit/0960a4db8f15fc062202e605d82ee5ff442a52b11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0960a4db8f15fc062202e605d82ee5ff442a52b1
- work hol-guard/commit/74bf6eb9edb5264e3719c0676b4eddc8e13418331 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/74bf6eb9edb5264e3719c0676b4eddc8e1341833
- work hol-guard/commit/c66647e1aa574e1e54faed827b5f1009c2f282941 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c66647e1aa574e1e54faed827b5f1009c2f28294
- work hol-guard/commit/454b73b0e5ebb4bea57e136396b3614425c5eefa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/454b73b0e5ebb4bea57e136396b3614425c5eefa
- work hol-guard/commit/cec50d3afd648a30b377bfdb1bff63868bdb47eb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cec50d3afd648a30b377bfdb1bff63868bdb47eb
- work hol-guard/commit/76a5413136f82bbe5655e909879887c46e41c40c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/76a5413136f82bbe5655e909879887c46e41c40c
- work hol-guard/commit/be85f4a7052f537991613a97a38c8bf3b970fcd01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/be85f4a7052f537991613a97a38c8bf3b970fcd0
- work hol-guard/commit/8b454e7d896e0f84c7a2f44f3c7f0481cdb88da31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8b454e7d896e0f84c7a2f44f3c7f0481cdb88da3
- work hol-guard/commit/1f29d44f08ed28c26d00b9a0ddf75e6f5ca606151 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1f29d44f08ed28c26d00b9a0ddf75e6f5ca60615
- work hol-guard/commit/b32c5aa9093fecbdc3ac6b4401537892832616701 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b32c5aa9093fecbdc3ac6b440153789283261670
- work hol-guard/commit/9785136e153535b1312a67b739739634c7992f4d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9785136e153535b1312a67b739739634c7992f4d
- work hol-guard/commit/7149de008cce2d6fb05f18dae43cef7db00d05611 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7149de008cce2d6fb05f18dae43cef7db00d0561
- work hol-guard/commit/6f328ffb999d49ce43a8539d64f7ee5a309d90661 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6f328ffb999d49ce43a8539d64f7ee5a309d9066
- work hol-guard/commit/55e500eabe8a2cf81494fbc277296698a4dd49851 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/55e500eabe8a2cf81494fbc277296698a4dd4985
- work hol-guard/commit/00f55ec69d5781c0de064dd9ab0b26076bb8cffd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/00f55ec69d5781c0de064dd9ab0b26076bb8cffd
- work hol-guard/commit/bf4063442aaf6dc68d1137bcced4abdd1c3056791 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bf4063442aaf6dc68d1137bcced4abdd1c305679
- work hol-guard/commit/a4edf44c61b1e2704d6e11cd57562c402e3aad951 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a4edf44c61b1e2704d6e11cd57562c402e3aad95
- work hol-guard/commit/df794ae1864f4b33e4b97b6e78b20ba3df32801b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/df794ae1864f4b33e4b97b6e78b20ba3df32801b
- work hol-guard/commit/716058f752c770312a07ba33b8e36a5b559fd1a11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/716058f752c770312a07ba33b8e36a5b559fd1a1
- work hol-guard/commit/e6c689f1935dd3d99b11209a4063cf94687e69041 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e6c689f1935dd3d99b11209a4063cf94687e6904
- work hol-guard/commit/e862981f403734ccd2e50a944a6a0c74b1d4a8951 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e862981f403734ccd2e50a944a6a0c74b1d4a895
- work hol-guard/commit/687dda6b95d94f3962124508745bfbdbc8b96d091 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/687dda6b95d94f3962124508745bfbdbc8b96d09
- work hol-guard/commit/126a4d7c881828afb0eeb2731477f6fc1f1e73661 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/126a4d7c881828afb0eeb2731477f6fc1f1e7366
- work hol-guard/commit/9d497c476688492cbdac0e275871e51ff1ccd3a51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9d497c476688492cbdac0e275871e51ff1ccd3a5
- work hol-guard/commit/b6bae9178431f3e0f3ef64864bf67455a8e85f621 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b6bae9178431f3e0f3ef64864bf67455a8e85f62
- work hol-guard/commit/dce2e97da01dab4540afb92f1b067ee8426f863d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dce2e97da01dab4540afb92f1b067ee8426f863d
- work hol-guard/commit/26a421bd3742fdfdf7175475133543a3439dc3b61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/26a421bd3742fdfdf7175475133543a3439dc3b6
- work hol-guard/commit/18aaeac785c5bfdebf8dd89ba72a1d4744a595ce1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/18aaeac785c5bfdebf8dd89ba72a1d4744a595ce
- work hol-guard/commit/6a606e12e02d71be476c27ddb81df05949328fe51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6a606e12e02d71be476c27ddb81df05949328fe5
- work hol-guard/commit/8b9638b6811f2f3d42424da6c55e31233bde85ae1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8b9638b6811f2f3d42424da6c55e31233bde85ae
- work hol-guard/commit/a9d0c4c258e375777e79de11abb687783bafc9d81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a9d0c4c258e375777e79de11abb687783bafc9d8
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.