Contributor profile

kantorcodes

Public GitHub account id: 6068672

Verified roles: Implementation

Install HOL Guard

Accepted record

2311 distinct original works · 2313 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/pr/24601 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2460
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24611 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2461
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24411 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2441
Shipped in: alpha-v3.0.0a169
work hol-guard/pr/24421 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2442
Shipped in: alpha-v3.0.0a168
work hol-guard/pr/24341 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2434
Shipped in: alpha-v3.0.0a166
work hol-guard/pr/24301 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2430
Shipped in: alpha-v3.0.0a165
work hol-guard/pr/24351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2435
Shipped in: alpha-v3.0.0a164
work hol-guard/pr/16471 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1647
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17711 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/1771
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16521 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1652
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16581 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1658
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1662
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1667
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16711 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1671
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16731 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1673
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16791 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1679
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16861 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1686
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16871 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1687
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16931 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1693
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16961 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1696
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16971 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1697
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/16991 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1699
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17001 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1700
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17021 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1702
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17031 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1703
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17051 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1705
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17061 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1706
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17131 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1713
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17141 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1714
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17201 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1720
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17241 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1724
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17291 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1729
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17311 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1731
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17361 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1736
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1739
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17431 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1743
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17491 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1749
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17511 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1751
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17521 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1752
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17461 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1746
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17611 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1761
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1762
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17651 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/pr/1765
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17641 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1764
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17661 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1766
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1767
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17681 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1768
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17691 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1769
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17631 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1763
Shipped in: alpha-v3.1.0a13
work hol-guard/pr/17701 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1770
Shipped in: alpha-v3.1.0a13

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.

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.