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/25161 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2516
Shipped in: alpha-v3.0.0a221
work hol-guard/pr/25171 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2517
Shipped in: alpha-v3.0.0a221
work hol-guard/pr/25071 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2507
Shipped in: alpha-v3.0.0a219
work hol-guard/pr/25061 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2506
Shipped in: alpha-v3.0.0a218
work hol-guard/pr/24921 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2492
Shipped in: alpha-v3.0.0a217
work hol-guard/pr/25081 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2508
Shipped in: alpha-v3.0.0a216
work hol-guard/pr/25091 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2509
Shipped in: alpha-v3.0.0a215
work hol-guard/pr/25021 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2502
Shipped in: alpha-v3.0.0a214
work hol-guard/pr/25001 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2500
Shipped in: alpha-v3.0.0a213
work hol-guard/pr/25031 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2503
Shipped in: alpha-v3.0.0a212
work hol-guard/pr/24981 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2498
Shipped in: alpha-v3.0.0a211
work hol-guard/pr/24991 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2499
Shipped in: alpha-v3.0.0a211
work hol-guard/pr/24961 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2496
Shipped in: alpha-v3.0.0a210
work hol-guard/pr/24861 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2486
Shipped in: alpha-v3.0.0a209
work hol-guard/pr/24911 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2491
Shipped in: alpha-v3.0.0a209
work hol-guard/pr/24931 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2493
Shipped in: alpha-v3.0.0a209
work hol-guard/pr/24941 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2494
Shipped in: alpha-v3.0.0a209
work hol-guard/pr/24831 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2483
Shipped in: alpha-v3.0.0a205
work hol-guard/pr/24811 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2481
Shipped in: alpha-v3.0.0a204
work hol-guard/pr/24761 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2476
Shipped in: alpha-v3.0.0a203
work hol-guard/pr/24781 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2478
Shipped in: alpha-v3.0.0a203
work hol-guard/pr/24771 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2477
Shipped in: alpha-v3.0.0a201
work hol-guard/pr/24551 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2455
Shipped in: alpha-v3.0.0a200
work hol-guard/pr/24741 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2474
Shipped in: alpha-v3.0.0a199
work hol-guard/pr/24641 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2464
Shipped in: alpha-v3.0.0a198
work hol-guard/pr/24721 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2472
Shipped in: alpha-v3.0.0a198
work hol-guard/pr/24711 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2471
Shipped in: alpha-v3.0.0a195
work hol-guard/pr/24701 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2470
Shipped in: alpha-v3.0.0a194
work hol-guard/pr/24691 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2469
Shipped in: alpha-v3.0.0a193
work hol-guard/pr/24651 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2465
Shipped in: alpha-v3.0.0a192
work hol-guard/pr/24671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2467
Shipped in: alpha-v3.0.0a191
work hol-guard/pr/24631 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2463
Shipped in: alpha-v3.0.0a190
work hol-guard/pr/24661 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2466
Shipped in: alpha-v3.0.0a190
work hol-guard/pr/24621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2462
Shipped in: alpha-v3.0.0a188
work hol-guard/pr/24391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2439
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24381 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2438
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24441 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2444
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24401 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2440
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24451 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2445
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24431 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2443
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24471 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2447
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24481 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2448
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24491 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2449
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24501 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2450
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24511 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2451
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24521 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2452
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24191 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2419
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24561 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2456
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24571 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2457
Shipped in: alpha-v3.0.0a187
work hol-guard/pr/24591 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/2459
Shipped in: alpha-v3.0.0a187

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.