Contributor profile
kantorcodes
Public GitHub account id: 6068672
Verified roles: Implementation
Install HOL Guard
Accepted record
2316 distinct original works · 2318 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/d064187e8976aa7bf465cabec8c2d7db491faa2f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d064187e8976aa7bf465cabec8c2d7db491faa2f
- work hol-guard/commit/7b0c36c9c3a92bbf44052ebe0e3f67de07faf0921 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7b0c36c9c3a92bbf44052ebe0e3f67de07faf092
- work hol-guard/commit/8b7f82cb6d5a3f238e38ea8f3236d9690f595a601 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8b7f82cb6d5a3f238e38ea8f3236d9690f595a60
- work hol-guard/commit/8e2bfe9dfc764c3de358b9889ad391ff92850ef11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8e2bfe9dfc764c3de358b9889ad391ff92850ef1
- work hol-guard/commit/b474a993fb8f3ff491c8ee0118ee31c9e3d731c81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b474a993fb8f3ff491c8ee0118ee31c9e3d731c8
- work hol-guard/commit/2354662759380c1b166ae519292149c5d00d53611 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2354662759380c1b166ae519292149c5d00d5361
- work hol-guard/commit/1a5bfdff9254a992c72545877ecd7e92259efcfe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1a5bfdff9254a992c72545877ecd7e92259efcfe
- work hol-guard/commit/36d0e4e4e49fd5a524c56c35dae2b17b099d58cb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/36d0e4e4e49fd5a524c56c35dae2b17b099d58cb
- work hol-guard/commit/029202903510b1efa0f2998bb1880a5d2249ee1c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/029202903510b1efa0f2998bb1880a5d2249ee1c
- work hol-guard/commit/edc6929e191858d446e9607f056822184d543cbe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/edc6929e191858d446e9607f056822184d543cbe
- work hol-guard/commit/d0155aacc957510e6a7afcae3f64f8f8abf0fa001 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/d0155aacc957510e6a7afcae3f64f8f8abf0fa00
- work hol-guard/commit/73b55fe67a2ddc142ee6debdc51f7c66b8fd37341 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/73b55fe67a2ddc142ee6debdc51f7c66b8fd3734
- work hol-guard/commit/4b517abaa2024bbe8687431b72d400a6762f4aa41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4b517abaa2024bbe8687431b72d400a6762f4aa4
- work hol-guard/commit/f34ed72ca8eeddd7f5b6273d43c206ce15d980b91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f34ed72ca8eeddd7f5b6273d43c206ce15d980b9
- work hol-guard/commit/4a2e0595b3421f3e992b044f30f1078cf9fa744c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4a2e0595b3421f3e992b044f30f1078cf9fa744c
- work hol-guard/commit/4d286ddcfb59cc11b745c5e0f6559ec50cdeabe71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4d286ddcfb59cc11b745c5e0f6559ec50cdeabe7
- work hol-guard/commit/8c9e7edab8e1141f273581a271631265fe6e2fcf1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8c9e7edab8e1141f273581a271631265fe6e2fcf
- work hol-guard/commit/4801fc63907d4ff94963de8e7a19a08eb4418fc31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4801fc63907d4ff94963de8e7a19a08eb4418fc3
- work hol-guard/commit/681ae1ebdc10e06b26b883644716247047a62e171 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/681ae1ebdc10e06b26b883644716247047a62e17
- work hol-guard/commit/8b9585e71e00a82de8b7864a0038541199eb43fb1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8b9585e71e00a82de8b7864a0038541199eb43fb
- work hol-guard/commit/5b5a93164b5ad3768939ae3629481013d6e6e42d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5b5a93164b5ad3768939ae3629481013d6e6e42d
- work hol-guard/commit/4f519c5211892ec3d61295618cb23b2472598ea11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4f519c5211892ec3d61295618cb23b2472598ea1
- work hol-guard/commit/c81189d17312531fed7a594e61d94be2c8dbd0881 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c81189d17312531fed7a594e61d94be2c8dbd088
- work hol-guard/commit/f2533c555e12659e523551357137063d2e8aee9e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f2533c555e12659e523551357137063d2e8aee9e
- work hol-guard/commit/997f55ae0909450303480cca9bf82a367132ca0f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/997f55ae0909450303480cca9bf82a367132ca0f
- work hol-guard/commit/ff9f46c71dcf8b17488b1625685f9e3ec78974c51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ff9f46c71dcf8b17488b1625685f9e3ec78974c5
- work hol-guard/commit/4f638eae169b24ce51b291dc744599d614b183a71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4f638eae169b24ce51b291dc744599d614b183a7
- work hol-guard/commit/69034c4bd4d5e2e8ccd246fc0dab965090c35bfa1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/69034c4bd4d5e2e8ccd246fc0dab965090c35bfa
- work hol-guard/commit/a42094637df4e830918a4d6c3d096a092fb03d2d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a42094637df4e830918a4d6c3d096a092fb03d2d
- work hol-guard/commit/0e9f9efdcbd96508a25558063aa07f7b91e6071f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0e9f9efdcbd96508a25558063aa07f7b91e6071f
- work hol-guard/commit/cdddd0e1c736c5bc2dd66ad9f991e7b7ea1eb6911 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cdddd0e1c736c5bc2dd66ad9f991e7b7ea1eb691
- work hol-guard/commit/91a128294169af8f14e165774b566583271ae6101 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/91a128294169af8f14e165774b566583271ae610
- work hol-guard/commit/1b301192bfd39e67a753dac6b8ada43c220ab9d01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1b301192bfd39e67a753dac6b8ada43c220ab9d0
- work hol-guard/commit/55811a1d6cb176569c2fabd1b0bb1f6692a963441 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/55811a1d6cb176569c2fabd1b0bb1f6692a96344
- work hol-guard/commit/e5992ebecbfd4aac5c7ac02d05ff951db89a09ad1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e5992ebecbfd4aac5c7ac02d05ff951db89a09ad
- work hol-guard/commit/ab94dd62f9cb5ec167afb4e4fe031300cebf81251 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ab94dd62f9cb5ec167afb4e4fe031300cebf8125
- work hol-guard/commit/8f7f49eece06a8d26558e9c740fd34b1883fe4ee1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8f7f49eece06a8d26558e9c740fd34b1883fe4ee
- work hol-guard/commit/685d235755c8f2bcc72439c598f2f25b800501561 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/685d235755c8f2bcc72439c598f2f25b80050156
- work hol-guard/commit/f440216a0a89958a06ac1c2108600befa884ba771 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f440216a0a89958a06ac1c2108600befa884ba77
- work hol-guard/commit/76dee44eadde43fb8f2dc572f83e59cb6e4e3bb01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/76dee44eadde43fb8f2dc572f83e59cb6e4e3bb0
- work hol-guard/commit/e9f1b4edb3a128631800e5bce1c24199d416d8cd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e9f1b4edb3a128631800e5bce1c24199d416d8cd
- work hol-guard/commit/624fbd445416f6b12f74389fa9d84a20ad53a6b91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/624fbd445416f6b12f74389fa9d84a20ad53a6b9
- work hol-guard/commit/eda66ed3b3294e81d13c35e7340c2de3d18991421 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/eda66ed3b3294e81d13c35e7340c2de3d1899142
- work hol-guard/commit/e874901033c65b7f75c5da379c06a429ee0f19591 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e874901033c65b7f75c5da379c06a429ee0f1959
- work hol-guard/commit/fceccf575806961904f92a16ba2ecf2124b38c621 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fceccf575806961904f92a16ba2ecf2124b38c62
- work hol-guard/commit/980b566d23692ba28ad31d76859fb3537f870b421 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/980b566d23692ba28ad31d76859fb3537f870b42
- work hol-guard/commit/9c7bb4f547d5115a39258409b5c708d32c2605061 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9c7bb4f547d5115a39258409b5c708d32c260506
- work hol-guard/commit/310cf74fcb5ac524b7e9043a43089b3524d594391 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/310cf74fcb5ac524b7e9043a43089b3524d59439
- work hol-guard/commit/124c0fe4f47b0bebab67c90502e22ad6adb0b4d11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/124c0fe4f47b0bebab67c90502e22ad6adb0b4d1
- work hol-guard/commit/e5b065ab28603d6364af5cbda9e0281dbc1b2d431 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e5b065ab28603d6364af5cbda9e0281dbc1b2d43
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.