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/c247e83cb9412276df561f3226067a5cd6c67a8c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c247e83cb9412276df561f3226067a5cd6c67a8c
- work hol-guard/commit/5399c688f82dabc68182c33e0f33a7732beb07a11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5399c688f82dabc68182c33e0f33a7732beb07a1
- work hol-guard/commit/01739f34fabc2713d0df27b93a640c4c8e0fe60e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/01739f34fabc2713d0df27b93a640c4c8e0fe60e
- work hol-guard/commit/0fbd0ada7749e73eea9354169e0102d87c6fbad91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0fbd0ada7749e73eea9354169e0102d87c6fbad9
- work hol-guard/commit/d6ea658841521785582212d320b2dbda5338f7cc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d6ea658841521785582212d320b2dbda5338f7cc
- work hol-guard/commit/a2453684a088a24b071c12f468e43bd24ec70d4c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a2453684a088a24b071c12f468e43bd24ec70d4c
- work hol-guard/commit/2db261665cc41b7ae2180fdaa9640ecf8a90f5d71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2db261665cc41b7ae2180fdaa9640ecf8a90f5d7
- work hol-guard/commit/8a966762002af4a21c04a3244640c593faeeb1011 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8a966762002af4a21c04a3244640c593faeeb101
- work hol-guard/commit/7d6a15c26658fb4d255868164699d9be4907988c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7d6a15c26658fb4d255868164699d9be4907988c
- work hol-guard/commit/9196496ffcb3ad0c71008ad1dbde426ff815a0c81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9196496ffcb3ad0c71008ad1dbde426ff815a0c8
- work hol-guard/commit/56efadb0a471dcd726dd7ad9294e2a77734538721 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/56efadb0a471dcd726dd7ad9294e2a7773453872
- work hol-guard/commit/4ee57745effd8556037caf4a2faf482bdf283e701 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4ee57745effd8556037caf4a2faf482bdf283e70
- work hol-guard/commit/7a2e666d1325b4c129d1447ed51a3bc674cec51c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7a2e666d1325b4c129d1447ed51a3bc674cec51c
- work hol-guard/commit/65f0d48666a2980bf406d7fd67270c0aa125d0a21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/65f0d48666a2980bf406d7fd67270c0aa125d0a2
- work hol-guard/commit/3a8ef9be9650570a683060135f6b69d45e0f2d521 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3a8ef9be9650570a683060135f6b69d45e0f2d52
- work hol-guard/commit/e40a605d8073fe94915100d0095b3dc26a711ba31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e40a605d8073fe94915100d0095b3dc26a711ba3
- work hol-guard/commit/250752181b40abb08fac15bf7df95666dae7b60c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/250752181b40abb08fac15bf7df95666dae7b60c
- work hol-guard/commit/6d26969da532655b6561b0df83c51c9bfa093be41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6d26969da532655b6561b0df83c51c9bfa093be4
- work hol-guard/commit/03e0bc6a0fcc960278e318af2be4c7783d4cf5601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/03e0bc6a0fcc960278e318af2be4c7783d4cf560
- work hol-guard/commit/1c88b13a6a8f6ed1720fc125e84c9031628e699a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1c88b13a6a8f6ed1720fc125e84c9031628e699a
- work hol-guard/commit/9b31280eae6173aba0957153d617882713427d9c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9b31280eae6173aba0957153d617882713427d9c
- work hol-guard/commit/0ab1d90f75e0f1a4738cdbcf1fb4c1bcf0296f8d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ab1d90f75e0f1a4738cdbcf1fb4c1bcf0296f8d
- work hol-guard/commit/37ec064d01094c7bb2453179b32893142f6a11ef1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/37ec064d01094c7bb2453179b32893142f6a11ef
- work hol-guard/commit/6d8023c7f0be52be0b0550f594b1fee5545160951 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6d8023c7f0be52be0b0550f594b1fee554516095
- work hol-guard/commit/0660ba409afc621b810671f624c396fbe463810c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0660ba409afc621b810671f624c396fbe463810c
- work hol-guard/commit/3ceb425ef870859e70ddeac10fd68987b5a17db51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3ceb425ef870859e70ddeac10fd68987b5a17db5
- work hol-guard/commit/93da609735e3292a79c2abe24a6a10218fbdf3b21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/93da609735e3292a79c2abe24a6a10218fbdf3b2
- work hol-guard/commit/19f025807c72c4d6d0839ef9c24e5e5194a5176e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/19f025807c72c4d6d0839ef9c24e5e5194a5176e
- work hol-guard/commit/63b326dcb3b0de2a071fc3911b228b823a4f5e9b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/63b326dcb3b0de2a071fc3911b228b823a4f5e9b
- work hol-guard/commit/b1422b70fe70aa8613b208f00990bb1e8fce050c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b1422b70fe70aa8613b208f00990bb1e8fce050c
- work hol-guard/commit/3db4540ccce74205495b8147073ffeab3d0cacb91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3db4540ccce74205495b8147073ffeab3d0cacb9
- work hol-guard/commit/b1fac16a017303991a64a7d19e73d721750333b81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b1fac16a017303991a64a7d19e73d721750333b8
- work hol-guard/commit/9f39cc86b02c6f3cb3f9445c3154fa509930594f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9f39cc86b02c6f3cb3f9445c3154fa509930594f
- work hol-guard/commit/7cf940325929f4434324b14f5367bf36408c0f461 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7cf940325929f4434324b14f5367bf36408c0f46
- work hol-guard/commit/2c4acc7b1ed5f3868994b25909a2f07c4a0959d31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2c4acc7b1ed5f3868994b25909a2f07c4a0959d3
- work hol-guard/commit/b74350ae03735715815007f04905b96fdb4454c71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b74350ae03735715815007f04905b96fdb4454c7
- work hol-guard/commit/85459f3f807e4d0d6e44b900ddfa5d6648d9ccdd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/85459f3f807e4d0d6e44b900ddfa5d6648d9ccdd
- work hol-guard/commit/1ee3a2a3417ce927c844a39e51bac521024b996e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1ee3a2a3417ce927c844a39e51bac521024b996e
- work hol-guard/commit/e63c2763ef616b9a9c763b51256fd5a0165df5b61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e63c2763ef616b9a9c763b51256fd5a0165df5b6
- work hol-guard/commit/c4ea32075e32b27949d5f702699e1d49b6d228c51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c4ea32075e32b27949d5f702699e1d49b6d228c5
- work hol-guard/commit/cd462bed396c92689176e8f29e9e477eb24b6d911 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cd462bed396c92689176e8f29e9e477eb24b6d91
- work hol-guard/commit/bb62ab55d49e8ea1779fde67beb111fd542136d51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/bb62ab55d49e8ea1779fde67beb111fd542136d5
- work hol-guard/commit/55d36bd1845a8085456bb2ca0cf7ea675bae94a71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/55d36bd1845a8085456bb2ca0cf7ea675bae94a7
- work hol-guard/commit/a8a45a01abed084081fdb7288a66e754f19e32991 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a8a45a01abed084081fdb7288a66e754f19e3299
- work hol-guard/commit/5b83dde518e1ab59be274c98eba1b91e6916a91a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5b83dde518e1ab59be274c98eba1b91e6916a91a
- work hol-guard/commit/763f3d534889fe59ee555900f501a1fc603d8b031 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/763f3d534889fe59ee555900f501a1fc603d8b03
- work hol-guard/commit/ff962a6ae553dd548d88f56982fdde9171c64f641 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ff962a6ae553dd548d88f56982fdde9171c64f64
- work hol-guard/commit/eb9d2cf5dd6a34399a8048dfb9917b567044b7451 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/eb9d2cf5dd6a34399a8048dfb9917b567044b745
- work hol-guard/commit/82d33d534146de20031024f783358f7c1b1a1d621 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/82d33d534146de20031024f783358f7c1b1a1d62
- work hol-guard/commit/23d47058bba9bc605735d29b3f091818cc28b6501 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/23d47058bba9bc605735d29b3f091818cc28b650
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.