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/5951 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/595
Shipped in: v2.0.446 v1.2.25
work hol-guard/pr/5991 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/599
Shipped in: v1.2.25 v2.0.445
work hol-guard/pr/6001 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/600
Shipped in: v2.0.447 v1.2.25
work hol-guard/pr/6011 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/601
Shipped in: v2.0.448 v1.2.25
work hol-guard/pr/6021 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/602
Shipped in: v2.0.449 v1.2.25
work hol-guard/pr/6031 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/603
Shipped in: v2.0.450 v1.2.25
work hol-guard/pr/6051 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/605
Shipped in: v2.0.452 v1.2.25
work hol-guard/pr/6041 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/604
Shipped in: v2.0.451 v1.2.25
work hol-guard/pr/6061 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/606
Shipped in: v2.0.453 v1.2.25
work hol-guard/pr/6071 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/607
Shipped in: v2.0.454 v1.2.25
work hol-guard/pr/6091 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/609
Shipped in: v2.0.456 v1.2.25
work hol-guard/pr/6081 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/608
Shipped in: v2.0.455 v1.2.25
work hol-guard/pr/6101 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/610
Shipped in: v2.0.457 v1.2.25
work hol-guard/pr/6121 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/612
Shipped in: v1.2.25 v2.0.460
work hol-guard/pr/6131 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/613
Shipped in: v2.0.459 v1.2.25
work hol-guard/pr/6111 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/611
Shipped in: v2.0.458 v1.2.25
work hol-guard/pr/6141 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/614
Shipped in: v2.0.462 v1.2.25
work hol-guard/pr/6151 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/615
Shipped in: v2.0.461 v1.2.25
work hol-guard/pr/6181 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/618
Shipped in: v2.0.470 v1.2.25
work hol-guard/pr/6171 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/617
Shipped in: v2.0.463 v1.2.25
work hol-guard/pr/6161 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/616
Shipped in: v2.0.464 v1.2.25
work hol-guard/pr/6191 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/619
Shipped in: v2.0.465 v1.2.25
work hol-guard/pr/6201 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/620
Shipped in: v2.0.468 v1.2.25
work hol-guard/pr/6211 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/621
Shipped in: v2.0.466 v1.2.25
work hol-guard/pr/6231 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/623
Shipped in: v2.0.467 v1.2.25
work hol-guard/pr/6251 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/625
Shipped in: v2.0.472 v1.2.25
work hol-guard/pr/6241 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/624
Shipped in: v2.0.469 v1.2.25
work hol-guard/pr/6261 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/626
Shipped in: v1.2.25 v2.0.471
work hol-guard/pr/6271 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/627
Shipped in: v2.0.473 v1.2.25
work hol-guard/pr/6281 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/628
Shipped in: v2.0.474 v1.2.25
work hol-guard/pr/6291 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/629
Shipped in: v2.0.475 v1.2.25
work hol-guard/pr/6301 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/630
Shipped in: v2.0.476 v1.2.25
work hol-guard/pr/6311 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/631
Shipped in: v2.0.477 v1.2.25
work hol-guard/pr/6321 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/632
Shipped in: v2.0.478 v1.2.25
work hol-guard/pr/6331 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/633
Shipped in: v2.0.479 v1.2.25
work hol-guard/pr/6341 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/634
Shipped in: v1.2.25 v2.0.480
work hol-guard/pr/6351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/635
Shipped in: v2.0.481 v1.2.25
work hol-guard/pr/6361 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/636
Shipped in: v2.0.481 v1.2.25
work hol-guard/pr/6371 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/637
Shipped in: v2.0.483 v1.2.25
work hol-guard/pr/6381 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/638
Shipped in: v2.0.485 v1.2.25
work hol-guard/pr/6391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/639
Shipped in: v1.2.25 v2.0.484
work hol-guard/pr/6401 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/640
Shipped in: v2.0.486 v1.2.25
work hol-guard/pr/6411 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/641
Shipped in: v1.2.25 v2.0.487
work hol-guard/pr/6431 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/643
Shipped in: v2.0.488 v1.2.25
work hol-guard/pr/6421 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/642
Shipped in: v2.0.489 v1.2.25
work hol-guard/pr/6451 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/645
Shipped in: v2.0.490 v1.2.25
work hol-guard/pr/6461 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/646
Shipped in: v2.0.491 v1.2.25
work hol-guard/pr/6471 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/647
Shipped in: v2.0.492 v1.2.25
work hol-guard/pr/6481 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/648
Shipped in: v1.2.25 v2.0.493
work hol-guard/pr/6511 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/651
Shipped in: v2.0.494 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.