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/25851 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2585
Shipped in: alpha-v3.0.0a268
work hol-guard/pr/25891 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2589
Shipped in: alpha-v3.0.0a267
work hol-guard/pr/25871 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2587
Shipped in: alpha-v3.0.0a266
work hol-guard/pr/25831 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2583
Shipped in: alpha-v3.0.0a265
work hol-guard/pr/25861 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2586
Shipped in: alpha-v3.0.0a265
work hol-guard/pr/25801 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2580
Shipped in: alpha-v3.0.0a264
work hol-guard/pr/25841 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2584
Shipped in: alpha-v3.0.0a263
work hol-guard/pr/25481 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2548
Shipped in: alpha-v3.0.0a262
work hol-guard/pr/25821 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2582
Shipped in: alpha-v3.0.0a261
work hol-guard/pr/25791 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2579
Shipped in: alpha-v3.0.0a260
work hol-guard/pr/25771 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2577
Shipped in: alpha-v3.0.0a259
work hol-guard/pr/24041 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2404
Shipped in: alpha-v3.0.0a258
work hol-guard/pr/25781 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2578
Shipped in: alpha-v3.0.0a258
work hol-guard/pr/25751 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2575
Shipped in: alpha-v3.0.0a256
work hol-guard/pr/25741 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2574
Shipped in: alpha-v3.0.0a255
work hol-guard/pr/25721 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2572
Shipped in: alpha-v3.0.0a254
work hol-guard/pr/25731 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2573
Shipped in: alpha-v3.0.0a253
work hol-guard/pr/25641 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2564
Shipped in: alpha-v3.0.0a252
work hol-guard/pr/25621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2562
Shipped in: alpha-v3.0.0a251
work hol-guard/pr/25671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2567
Shipped in: alpha-v3.0.0a250
work hol-guard/pr/25681 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2568
Shipped in: alpha-v3.0.0a250
work hol-guard/pr/25661 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2566
Shipped in: alpha-v3.0.0a249
work hol-guard/pr/25631 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2563
Shipped in: alpha-v3.0.0a248
work hol-guard/pr/25601 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2560
Shipped in: alpha-v3.0.0a247
work hol-guard/pr/25581 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2558
Shipped in: alpha-v3.0.0a246
work hol-guard/pr/25571 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2557
Shipped in: alpha-v3.0.0a245
work hol-guard/pr/25561 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2556
Shipped in: alpha-v3.0.0a244
work hol-guard/pr/25551 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2555
Shipped in: alpha-v3.0.0a243
work hol-guard/pr/25511 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2551
Shipped in: alpha-v3.0.0a242
work hol-guard/pr/25541 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2554
Shipped in: alpha-v3.0.0a241
work hol-guard/pr/25461 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2546
Shipped in: alpha-v3.0.0a240
work hol-guard/pr/25491 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2549
Shipped in: alpha-v3.0.0a239
work hol-guard/pr/25471 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2547
Shipped in: alpha-v3.0.0a238
work hol-guard/pr/25451 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2545
Shipped in: alpha-v3.0.0a237
work hol-guard/pr/25261 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2526
Shipped in: alpha-v3.0.0a236
work hol-guard/pr/25441 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2544
Shipped in: alpha-v3.0.0a235
work hol-guard/pr/25431 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2543
Shipped in: alpha-v3.0.0a234
work hol-guard/pr/25421 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2542
Shipped in: alpha-v3.0.0a233
work hol-guard/pr/25391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2539
Shipped in: alpha-v3.0.0a232
work hol-guard/pr/25381 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2538
Shipped in: alpha-v3.0.0a232
work hol-guard/pr/25401 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2540
Shipped in: alpha-v3.0.0a232
work hol-guard/pr/25361 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2536
Shipped in: alpha-v3.0.0a231
work hol-guard/pr/25191 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2519
Shipped in: alpha-v3.0.0a230
work hol-guard/pr/25331 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2533
Shipped in: alpha-v3.0.0a229
work hol-guard/pr/25351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2535
Shipped in: alpha-v3.0.0a229
work hol-guard/pr/24891 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2489
Shipped in: alpha-v3.0.0a226
work hol-guard/pr/25301 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2530
Shipped in: alpha-v3.0.0a225
work hol-guard/pr/25271 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2527
Shipped in: alpha-v3.0.0a224
work hol-guard/pr/25201 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2520
Shipped in: alpha-v3.0.0a223
work hol-guard/pr/25211 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2521
Shipped in: alpha-v3.0.0a222

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.