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/19821 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1982
Shipped in: alpha-v2.2.0a93
work hol-guard/pr/19811 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1981
Shipped in: alpha-v2.2.0a92
work hol-guard/pr/19801 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1980
Shipped in: alpha-v2.2.0a91
work hol-guard/pr/19791 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1979
Shipped in: alpha-v2.2.0a90
work hol-guard/pr/19781 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1978
Shipped in: alpha-v2.2.0a89
work hol-guard/pr/19771 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1977
Shipped in: alpha-v2.2.0a88
work hol-guard/pr/19761 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1976
Shipped in: alpha-v2.2.0a87
work hol-guard/pr/19751 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1975
Shipped in: alpha-v2.2.0a85
work hol-guard/pr/19741 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1974
Shipped in: alpha-v2.2.0a84
work hol-guard/pr/19731 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1973
Shipped in: alpha-v2.2.0a83
work hol-guard/pr/19721 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1972
Shipped in: alpha-v2.2.0a82
work hol-guard/pr/19711 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1971
Shipped in: alpha-v2.2.0a81
work hol-guard/pr/19701 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1970
Shipped in: alpha-v2.2.0a80
work hol-guard/pr/19691 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1969
Shipped in: alpha-v2.2.0a79
work hol-guard/pr/19681 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1968
Shipped in: alpha-v2.2.0a78
work hol-guard/pr/19671 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1967
Shipped in: alpha-v2.2.0a77
work hol-guard/pr/19661 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1966
Shipped in: alpha-v2.2.0a76
work hol-guard/pr/19641 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1964
Shipped in: alpha-v2.2.0a75
work hol-guard/pr/19631 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1963
Shipped in: alpha-v2.2.0a74
work hol-guard/pr/19541 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1954
Shipped in: alpha-v2.2.0a73
work hol-guard/pr/19621 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1962
Shipped in: alpha-v2.2.0a72
work hol-guard/pr/19551 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1955
Shipped in: alpha-v2.2.0a71
work hol-guard/pr/19521 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1952
Shipped in: alpha-v2.2.0a70
work hol-guard/pr/19531 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1953
Shipped in: alpha-v2.2.0a69
work hol-guard/pr/19511 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1951
Shipped in: alpha-v2.2.0a68
work hol-guard/pr/19491 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1949
Shipped in: alpha-v2.2.0a67
work hol-guard/pr/19501 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1950
Shipped in: alpha-v2.2.0a66
work hol-guard/pr/19471 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1947
Shipped in: alpha-v2.2.0a65
work hol-guard/pr/19481 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1948
Shipped in: alpha-v2.2.0a64
work hol-guard/pr/19371 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1937
Shipped in: alpha-v2.2.0a63
work hol-guard/pr/19451 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1945
Shipped in: alpha-v2.2.0a62
work hol-guard/pr/19441 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1944
Shipped in: alpha-v2.2.0a61
work hol-guard/pr/19421 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1942
Shipped in: alpha-v2.2.0a60
work hol-guard/pr/19431 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1943
Shipped in: alpha-v2.2.0a59
work hol-guard/pr/19061 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1906
Shipped in: alpha-v2.2.0a58
work hol-guard/pr/19341 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1934
Shipped in: alpha-v2.2.0a57
work hol-guard/pr/19331 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1933
Shipped in: alpha-v2.2.0a56
work hol-guard/pr/19361 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1936
Shipped in: alpha-v2.2.0a55
work hol-guard/pr/19391 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1939
Shipped in: alpha-v2.2.0a54
work hol-guard/pr/19401 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1940
Shipped in: alpha-v2.2.0a53
work hol-guard/pr/19351 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1935
Shipped in: alpha-v2.2.0a52
work hol-guard/pr/19301 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1930
Shipped in: alpha-v2.2.0a51
work hol-guard/pr/19381 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1938
Shipped in: alpha-v2.2.0a50
work hol-guard/pr/19311 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1931
Shipped in: alpha-v2.2.0a49
work hol-guard/pr/19251 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1925
Shipped in: alpha-v2.2.0a48
work hol-guard/pr/19281 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1928
Shipped in: alpha-v2.2.0a47
work hol-guard/pr/19321 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1932
Shipped in: alpha-v2.2.0a46
work hol-guard/pr/19261 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1926
Shipped in: alpha-v2.2.0a45
work hol-guard/pr/19291 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1929
Shipped in: alpha-v2.2.0a45
work hol-guard/pr/19191 delivery
- Released pull-request · Pull request author · Implementation Evidence for work hol-guard/pr/1919
Shipped in: alpha-v2.2.0a44

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.