Contributor profile

kantorcodes#6068672

Public GitHub account id: 6068672

Verified roles: Implementation

Install HOL Guard

Accepted record

2331 distinct original works · 2333 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/6541 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/654
Shipped in: v2.0.495 v1.2.25
work hol-guard/pr/6521 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/652
Shipped in: v2.0.496 v1.2.25
work hol-guard/pr/6551 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/655
Shipped in: v2.0.497 v1.2.25
work hol-guard/pr/6571 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/657
Shipped in: v2.0.498 v1.2.25
work hol-guard/pr/6561 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/656
Shipped in: v2.0.499 v1.2.25
work hol-guard/pr/6581 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/658
Shipped in: v2.0.500 v1.2.25
work hol-guard/pr/6591 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/659
Shipped in: v2.0.501 v1.2.25
work hol-guard/pr/6601 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/660
Shipped in: v2.0.502 v1.2.25
work hol-guard/pr/6611 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/661
Shipped in: v2.0.503 v1.2.25
work hol-guard/pr/6621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/662
Shipped in: v2.0.504 v1.2.25
work hol-guard/pr/6631 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/663
Shipped in: v2.0.505 v1.2.25
work hol-guard/pr/6641 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/664
Shipped in: v2.0.506 v1.2.25
work hol-guard/pr/6651 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/665
Shipped in: v2.0.507 v1.2.25
work hol-guard/pr/6661 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/666
Shipped in: v2.0.508 v1.2.25
work hol-guard/pr/6671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/667
Shipped in: v2.0.509 v1.2.25
work hol-guard/pr/6691 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/669
Shipped in: v2.0.510 v1.2.25
work hol-guard/pr/6721 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/672
Shipped in: v1.2.25 v2.0.511
work hol-guard/pr/6711 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/671
Shipped in: v2.0.512 v1.2.25
work hol-guard/pr/6731 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/673
Shipped in: v2.0.512 v1.2.25
work hol-guard/pr/6681 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/668
Shipped in: v2.0.513 v1.2.25
work hol-guard/pr/6741 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/674
Shipped in: v2.0.514 v1.2.25
work hol-guard/pr/6701 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/670
Shipped in: v2.0.515 v1.2.25
work hol-guard/pr/6751 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/675
Shipped in: v2.0.516 v1.2.25
work hol-guard/pr/6761 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/676
Shipped in: v2.0.516 v1.2.25
work hol-guard/pr/6781 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/678
Shipped in: v1.2.25 v2.0.517
work hol-guard/pr/6771 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/677
Shipped in: v1.2.25 v2.0.518
work hol-guard/pr/6801 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/680
Shipped in: v2.0.519 v1.2.25
work hol-guard/pr/6811 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/681
Shipped in: v2.0.520 v1.2.25
work hol-guard/pr/6821 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/682
Shipped in: v2.0.521 v1.2.25
work hol-guard/pr/6851 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/685
Shipped in: v1.2.25 v2.0.522
work hol-guard/pr/6841 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/684
Shipped in: v1.2.25 v2.0.522
work hol-guard/pr/6831 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/683
Shipped in: v1.2.25 v2.0.524
work hol-guard/pr/6861 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/686
Shipped in: v2.0.525 v1.2.25
work hol-guard/pr/6881 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/688
Shipped in: v1.2.25 v2.0.526
work hol-guard/pr/6901 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/690
Shipped in: v1.2.25 v2.0.527
work hol-guard/pr/6891 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/689
Shipped in: v1.2.25 v2.0.528
work hol-guard/pr/6911 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/691
Shipped in: v2.0.529 v1.2.25
work hol-guard/pr/6961 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/696
Shipped in: v2.0.529 v1.2.25
work hol-guard/pr/6941 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/694
Shipped in: v2.0.530 v1.2.25
work hol-guard/pr/6951 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/695
Shipped in: v1.2.25 v2.0.531
work hol-guard/pr/6971 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/697
Shipped in: v1.2.25 v2.0.532
work hol-guard/pr/6981 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/698
Shipped in: v1.2.25 v2.0.533
work hol-guard/pr/6991 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/699
Shipped in: v1.2.25 v2.0.534
work hol-guard/pr/7021 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/702
Shipped in: v2.0.535 v1.2.25
work hol-guard/pr/7011 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/701
Shipped in: v1.2.25 v2.0.536
work hol-guard/pr/7001 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/700
Shipped in: v2.0.537 v1.2.25
work hol-guard/pr/7041 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/704
Shipped in: v2.0.538 v1.2.25
work hol-guard/pr/7031 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/703
Shipped in: v2.0.539 v1.2.25
work hol-guard/pr/7061 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/706
Shipped in: v2.0.540 v1.2.25
work hol-guard/pr/7071 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/707
Shipped in: v2.0.541 v1.2.25

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.