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/47590a6daf0e6294d72fca1355fb2913c32e9fec1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/47590a6daf0e6294d72fca1355fb2913c32e9fec
- work hol-guard/commit/cd4889bd20d707ef1e1bf54ba8504fd7594291c61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cd4889bd20d707ef1e1bf54ba8504fd7594291c6
- work hol-guard/commit/b5d05c3c68e6a2cae7814ad7d520eca0be847d331 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b5d05c3c68e6a2cae7814ad7d520eca0be847d33
- work hol-guard/commit/43e295754d8b24976ebfb4abbf1bf0961da51fc61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/43e295754d8b24976ebfb4abbf1bf0961da51fc6
- work hol-guard/commit/2c287ebe2d6600199c79f4c24da85ff002dae5081 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2c287ebe2d6600199c79f4c24da85ff002dae508
- work hol-guard/commit/b89796115ad55593cb87e9226faad340dfd174771 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b89796115ad55593cb87e9226faad340dfd17477
- work hol-guard/commit/38d2a0b6ab9eee861537b2cf7345efd82f494f0c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/38d2a0b6ab9eee861537b2cf7345efd82f494f0c
- work hol-guard/commit/f9b75e7d5a5069277094539f093dab9457ef99da1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f9b75e7d5a5069277094539f093dab9457ef99da
- work hol-guard/commit/4e9f75c2f0a275c9e9f63674a7b5f413ee9f0e301 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4e9f75c2f0a275c9e9f63674a7b5f413ee9f0e30
- work hol-guard/commit/e4a246970b84836cdac8f628febdf44686e33d361 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e4a246970b84836cdac8f628febdf44686e33d36
- work hol-guard/commit/b861f14c4cb7e31a0e25fef5f24bfe9191eb0f1d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b861f14c4cb7e31a0e25fef5f24bfe9191eb0f1d
- work hol-guard/commit/58d40bed6fd1fe3d77298f9aabe475d18c286b3f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/58d40bed6fd1fe3d77298f9aabe475d18c286b3f
- work hol-guard/commit/d686551b019f5ab765abb15fab043618c5f8808b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d686551b019f5ab765abb15fab043618c5f8808b
- work hol-guard/commit/e21c4eb9ae067a9f29885d8e012e56fa5cd39dc31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e21c4eb9ae067a9f29885d8e012e56fa5cd39dc3
- work hol-guard/commit/567a0cfceaa4c34d6a5e5076eba93b160bec19f81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/567a0cfceaa4c34d6a5e5076eba93b160bec19f8
- work hol-guard/commit/7fae2fc7a113bd43fc2b97a1b3964e8badab1b551 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7fae2fc7a113bd43fc2b97a1b3964e8badab1b55
- work hol-guard/commit/9e85970995f751dadf8fb252313b42f55ace871b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9e85970995f751dadf8fb252313b42f55ace871b
- work hol-guard/commit/b0e60f29da256bbedbc2895144331c940b666f5d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b0e60f29da256bbedbc2895144331c940b666f5d
- work hol-guard/commit/61c49f9b1d7a20644807013e52463a315be730591 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/61c49f9b1d7a20644807013e52463a315be73059
- work hol-guard/commit/232f920cbc5324970a41c841887b7f4df0b67a431 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/232f920cbc5324970a41c841887b7f4df0b67a43
- work hol-guard/commit/dd733c95920a9d88edd533daf540edd29d75ce1c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dd733c95920a9d88edd533daf540edd29d75ce1c
- work hol-guard/commit/eab2938302f7a00e1bf676101584c1129e274e081 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/eab2938302f7a00e1bf676101584c1129e274e08
- work hol-guard/commit/2a715db78a5e452bc719cc8572db6e246195b4281 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2a715db78a5e452bc719cc8572db6e246195b428
- work hol-guard/commit/30c45ef925cdd4d32d8d55448a2cfe635ac4ae7b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/30c45ef925cdd4d32d8d55448a2cfe635ac4ae7b
- work hol-guard/commit/f3927fd95466e9a7e7a57de2eef94002280a58d81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f3927fd95466e9a7e7a57de2eef94002280a58d8
- work hol-guard/commit/630888dcbc0c2b7ea7c930aed11830ef1bba06321 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/630888dcbc0c2b7ea7c930aed11830ef1bba0632
- work hol-guard/commit/8230a11c67dea38cdda218625657f4e77af19e671 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8230a11c67dea38cdda218625657f4e77af19e67
- work hol-guard/commit/223c73d6a96b27984004e4f9f4a7e96fd57ffe041 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/223c73d6a96b27984004e4f9f4a7e96fd57ffe04
- work hol-guard/commit/bc34cc719cc66b4bc3eb4e865fdb146a55950b1f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bc34cc719cc66b4bc3eb4e865fdb146a55950b1f
- work hol-guard/commit/23f73e8696f29179e718615106d0b3e7f53aee891 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/23f73e8696f29179e718615106d0b3e7f53aee89
- work hol-guard/commit/b7c1623c11fb1d5fd8376f35c2b36e6aae2c56701 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b7c1623c11fb1d5fd8376f35c2b36e6aae2c5670
- work hol-guard/commit/590305c2a74a4076544b2004413565785d89ed6e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/590305c2a74a4076544b2004413565785d89ed6e
- work hol-guard/commit/2e811e7ff00f8308f4808e261d4f9f396985cc1d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2e811e7ff00f8308f4808e261d4f9f396985cc1d
- work hol-guard/commit/e37bc182e8a73d73b01df3766f6b6fabacf5dd011 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e37bc182e8a73d73b01df3766f6b6fabacf5dd01
- work hol-guard/commit/b8e4cea80ad4d54f114d64bcd6f119a5ca8683d51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b8e4cea80ad4d54f114d64bcd6f119a5ca8683d5
- work hol-guard/commit/1c7dcfd237f7af3f6751c75c4053896e718aaeb01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1c7dcfd237f7af3f6751c75c4053896e718aaeb0
- work hol-guard/commit/1bb16a4fe88cf94623f9f348bc8307fd193d135c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1bb16a4fe88cf94623f9f348bc8307fd193d135c
- work hol-guard/commit/0493d8d7d3a67dba37875d3eb33e7d8a09c634de1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0493d8d7d3a67dba37875d3eb33e7d8a09c634de
- work hol-guard/commit/10634a40dd8d9bad3d3c8be05584cc7a65386b231 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/10634a40dd8d9bad3d3c8be05584cc7a65386b23
- work hol-guard/commit/854e6cab1261ecda568fc4611da1856f3401ec9c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/854e6cab1261ecda568fc4611da1856f3401ec9c
- work hol-guard/commit/3d00dfa178cbae9141e62856ba473d52bd377ffa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3d00dfa178cbae9141e62856ba473d52bd377ffa
- work hol-guard/commit/df623ca75ac9dc6fe9d4e1dbb93513c18aacb6061 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/df623ca75ac9dc6fe9d4e1dbb93513c18aacb606
- work hol-guard/commit/5f7c4916f9ad5e49670ecd5d97d753fec59503ba1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5f7c4916f9ad5e49670ecd5d97d753fec59503ba
- work hol-guard/commit/6c4cb0068ad2818f1a88bf335ae328a7af06c5261 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6c4cb0068ad2818f1a88bf335ae328a7af06c526
- work hol-guard/commit/52166f367b223b439f0558c933579b80c960dbef1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/52166f367b223b439f0558c933579b80c960dbef
- work hol-guard/commit/8070a04487efccaf4d07a63e58123c2ab75f8d191 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8070a04487efccaf4d07a63e58123c2ab75f8d19
- work hol-guard/commit/52ed0afb88d9aa8658fd4063e4efc11ef3f29eae1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/52ed0afb88d9aa8658fd4063e4efc11ef3f29eae
- work hol-guard/commit/dd1815431cb6ba370e641dd19fd4f22c484a321d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/dd1815431cb6ba370e641dd19fd4f22c484a321d
- work hol-guard/commit/77a16cc02ccb7c16e51858da4fad63bb8bcfb2531 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/77a16cc02ccb7c16e51858da4fad63bb8bcfb253
- work hol-guard/commit/f91478e22dbedfbd672680aa41ec1bd9b65c434b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f91478e22dbedfbd672680aa41ec1bd9b65c434b
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.