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/09b8990a5d961cc8e57aed21e1cf2f285f53c75c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/09b8990a5d961cc8e57aed21e1cf2f285f53c75c
- work hol-guard/commit/2b288d361a3e763ffadfe375c91407361f7f6e0a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2b288d361a3e763ffadfe375c91407361f7f6e0a
- work hol-guard/commit/147722c415e38e9fed03b6943ca31924166247111 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/147722c415e38e9fed03b6943ca3192416624711
- work hol-guard/commit/1906d586be5032dc20fec30c99321cf63e98082e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1906d586be5032dc20fec30c99321cf63e98082e
- work hol-guard/commit/2743c6a3a9dc1db5903063cc87c1384bde5c27081 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2743c6a3a9dc1db5903063cc87c1384bde5c2708
- work hol-guard/commit/4927d7e50b0883a952b553d205d6157288586f4f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4927d7e50b0883a952b553d205d6157288586f4f
- work hol-guard/commit/5ade28bab9e6d972bcd4da73837a0d67388678451 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5ade28bab9e6d972bcd4da73837a0d6738867845
- work hol-guard/commit/c4548ca1aba714b8a340c9b31d8bbbd17ec9a9b81 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c4548ca1aba714b8a340c9b31d8bbbd17ec9a9b8
- work hol-guard/commit/2df66f80a09a507d76ab52e7f46425e57131b98d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2df66f80a09a507d76ab52e7f46425e57131b98d
- work hol-guard/commit/1b4aa1f63492eb1b71bbd6de78eaa429bf04410a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1b4aa1f63492eb1b71bbd6de78eaa429bf04410a
- work hol-guard/commit/e6969ed57f1fa43631c7779617fc503fdcda90881 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e6969ed57f1fa43631c7779617fc503fdcda9088
- work hol-guard/commit/06c76042d70ee05185da07f08484fda2476312071 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/06c76042d70ee05185da07f08484fda247631207
- work hol-guard/commit/e48a0111ba2d389910971136343ecc970fbb01f51 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e48a0111ba2d389910971136343ecc970fbb01f5
- work hol-guard/commit/176b534fc7fe33e94db5a61bf450d3d8f5f0a0c91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/176b534fc7fe33e94db5a61bf450d3d8f5f0a0c9
- work hol-guard/commit/29d0d211b9395431ce1dd96d55c42c63cb3cea871 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/29d0d211b9395431ce1dd96d55c42c63cb3cea87
- work hol-guard/commit/5c19e9e2fd87d3a7c9ea9f8a2410bc764269b7cd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5c19e9e2fd87d3a7c9ea9f8a2410bc764269b7cd
- work hol-guard/commit/8ff719c1b7bcd16a58c378bbe166ed484cb2296f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8ff719c1b7bcd16a58c378bbe166ed484cb2296f
- work hol-guard/commit/e5e70f66e7a5d1db08579198e14290489f9ead7b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e5e70f66e7a5d1db08579198e14290489f9ead7b
- work hol-guard/commit/038888ac6a617d1c6c86730909de943e3d1095341 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/038888ac6a617d1c6c86730909de943e3d109534
- work hol-guard/commit/18ff2ca282e1b93d62aad00d36938c8a391bc5851 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/18ff2ca282e1b93d62aad00d36938c8a391bc585
- work hol-guard/commit/e4476815fa0b83191a2b2e03bad9e7f3f8ac45db1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e4476815fa0b83191a2b2e03bad9e7f3f8ac45db
- work hol-guard/commit/997c479ceb793abf39cb7be72c2d16bbdeb4d9931 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/997c479ceb793abf39cb7be72c2d16bbdeb4d993
- work hol-guard/commit/872e72e5deff61b826e00da29e79a92627f2f47c1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/872e72e5deff61b826e00da29e79a92627f2f47c
- work hol-guard/commit/5c559cbd95cef947386ce66e0998e758f8aeb5fe1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5c559cbd95cef947386ce66e0998e758f8aeb5fe
- work hol-guard/commit/e672191dcb5b1fde1e10966415138d142aca01891 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e672191dcb5b1fde1e10966415138d142aca0189
- work hol-guard/commit/7f0a0b7006319b29c3b30a499789b4c0c082326a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7f0a0b7006319b29c3b30a499789b4c0c082326a
- work hol-guard/commit/a5b03407c1cd6ae50fe451a746fd1e9ee3ca8c1b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a5b03407c1cd6ae50fe451a746fd1e9ee3ca8c1b
- work hol-guard/commit/b34e89823e75103d8a78659c0e36be628565d46e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b34e89823e75103d8a78659c0e36be628565d46e
- work hol-guard/commit/a3672ccdd81f193399eb934af11a0170d7cdb79e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a3672ccdd81f193399eb934af11a0170d7cdb79e
- work hol-guard/commit/53704e8147e1c079fc25905c53cca29a0be136d61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/53704e8147e1c079fc25905c53cca29a0be136d6
- work hol-guard/commit/849990cba145ec4af4fa7b702d81a05e915b4dc71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/849990cba145ec4af4fa7b702d81a05e915b4dc7
- work hol-guard/commit/cc539a3027baf2abd31d739b769484072a6eb6451 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/cc539a3027baf2abd31d739b769484072a6eb645
- work hol-guard/commit/7aeac2f7b2d45d50d967816b67cf2653d1911b111 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7aeac2f7b2d45d50d967816b67cf2653d1911b11
- work hol-guard/commit/895a88f988b507fc57c9c0158cc6a3ed93e436dc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/895a88f988b507fc57c9c0158cc6a3ed93e436dc
- work hol-guard/commit/910e6468c4f5be017a405aabd4b3972bf52c9a421 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/910e6468c4f5be017a405aabd4b3972bf52c9a42
- work hol-guard/commit/f6572d835a2518e4909d17c18638d4b9a76531cd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f6572d835a2518e4909d17c18638d4b9a76531cd
- work hol-guard/commit/5a2cbf150afaa3d3c1e798b5c928e27562c018ae1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/5a2cbf150afaa3d3c1e798b5c928e27562c018ae
- work hol-guard/commit/fc984cbddd55a343f8b87857b484f2755f9926a41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fc984cbddd55a343f8b87857b484f2755f9926a4
- work hol-guard/commit/def7e8654b0b52c88f44a3881a1b456310ffab8b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/def7e8654b0b52c88f44a3881a1b456310ffab8b
- work hol-guard/commit/1557227c6f8f160c69c5fa15835aa6a22d9d0ea41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1557227c6f8f160c69c5fa15835aa6a22d9d0ea4
- work hol-guard/commit/43a32b2aa324767bb55497f53634c7c91dac39231 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/43a32b2aa324767bb55497f53634c7c91dac3923
- work hol-guard/commit/a02adfdebe6a97fa9675c71ed42b06f6c9251fc21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a02adfdebe6a97fa9675c71ed42b06f6c9251fc2
- work hol-guard/commit/52803e7571a991bea09edbf39f7019679acefd261 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/52803e7571a991bea09edbf39f7019679acefd26
- work hol-guard/commit/4e65273dbcc0156f0d368f418ff4abde7aaf12091 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4e65273dbcc0156f0d368f418ff4abde7aaf1209
- work hol-guard/commit/75a4ff9bb67f75993843bcc3921f91dfb54ded6d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/75a4ff9bb67f75993843bcc3921f91dfb54ded6d
- work hol-guard/commit/0ca4546b701d63a1f218286baa10c0efbdec577d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0ca4546b701d63a1f218286baa10c0efbdec577d
- work hol-guard/commit/c81d3f748342133990ea6f11604ca775ab6765b01 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/c81d3f748342133990ea6f11604ca775ab6765b0
- work hol-guard/commit/53c2af212facf9c888c8820fbc4813597ed93c071 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/53c2af212facf9c888c8820fbc4813597ed93c07
- work hol-guard/commit/1ab434da41bd028f3c01fd37c6d8593c674d5aa21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1ab434da41bd028f3c01fd37c6d8593c674d5aa2
- work hol-guard/commit/94c2ad930bdf1253be5bcb8ca16e45380455f83b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/94c2ad930bdf1253be5bcb8ca16e45380455f83b
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.