Contributor profile
kantorcodes
Public GitHub account id: 6068672
Verified roles: Implementation
Install HOL Guard
Accepted record
2315 distinct original works · 2317 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/commit/6e6dbd93f707bd3f3037329f1ded32aec8c76f9e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6e6dbd93f707bd3f3037329f1ded32aec8c76f9e
- work hol-guard/commit/abf8040acde7770a62d262a2691a593f40f6af421 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/abf8040acde7770a62d262a2691a593f40f6af42
- work hol-guard/commit/0a1cdad0e7b09206bc4c97a164130b00adf0f91d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/0a1cdad0e7b09206bc4c97a164130b00adf0f91d
- work hol-guard/commit/b19a5db2eecb9bd610e2653b4537ba8c36bd63d61 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/b19a5db2eecb9bd610e2653b4537ba8c36bd63d6
- work hol-guard/commit/7dd0cd7f2b8dfa898d49519455652d253f2ccfaf1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7dd0cd7f2b8dfa898d49519455652d253f2ccfaf
- work hol-guard/commit/e68cb885e30f3823966bc000c570fe8800708b901 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e68cb885e30f3823966bc000c570fe8800708b90
- work hol-guard/commit/4efea30c7ffc20e601cf26d896921c93a652694b1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4efea30c7ffc20e601cf26d896921c93a652694b
- work hol-guard/commit/390532114a3e91c1268bedf60a521d40ede0b7ba1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/390532114a3e91c1268bedf60a521d40ede0b7ba
- work hol-guard/commit/60ce6a598b803507da781abaaba84a569c6adec91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/60ce6a598b803507da781abaaba84a569c6adec9
- work hol-guard/commit/42766047c0f33ea60c3fee3f0cd6078a5d0334581 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/42766047c0f33ea60c3fee3f0cd6078a5d033458
- work hol-guard/commit/a4c322573a7e155a7886e0147ed5c0f37fe1d2681 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a4c322573a7e155a7886e0147ed5c0f37fe1d268
- work hol-guard/commit/68af6799748317437e8afae45c3ceaf7c252f7181 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/68af6799748317437e8afae45c3ceaf7c252f718
- work hol-guard/commit/3a351134736642639e1ef17effa889062d5e74c41 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3a351134736642639e1ef17effa889062d5e74c4
- work hol-guard/commit/02ce433dd88a471f4d1bf7bab31749a4d6a20e941 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/02ce433dd88a471f4d1bf7bab31749a4d6a20e94
- work hol-guard/commit/6e9ff554d08e6a9df73f04ad05c8820a5641dfc21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/6e9ff554d08e6a9df73f04ad05c8820a5641dfc2
- work hol-guard/commit/9f7d0839de3e3519588b1417bc69426889264b6a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/9f7d0839de3e3519588b1417bc69426889264b6a
- work hol-guard/commit/428c30ac958c2f595dbeac78d8d3a166c4e2990e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/428c30ac958c2f595dbeac78d8d3a166c4e2990e
- work hol-guard/commit/f3257faa446ac567f4d3fbc05d4aa79a209cedc11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f3257faa446ac567f4d3fbc05d4aa79a209cedc1
- work hol-guard/commit/73c799007e719fa35a16e736c9978d559e080fd71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/73c799007e719fa35a16e736c9978d559e080fd7
- work hol-guard/commit/05903111615cfa20f8496ad78c2de611be166c461 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/05903111615cfa20f8496ad78c2de611be166c46
- work hol-guard/commit/f359612b36ff66087e7a445417f09c8baa77fd581 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f359612b36ff66087e7a445417f09c8baa77fd58
- work hol-guard/commit/03ded1627266952a75feaa7c9e693f3c0cddf9ce1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/03ded1627266952a75feaa7c9e693f3c0cddf9ce
- work hol-guard/commit/60ada3ccf084f1aef02c629f39979ab0c9844ee31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/60ada3ccf084f1aef02c629f39979ab0c9844ee3
- work hol-guard/commit/4728c2a2e7e0110e51bced001f4ee9e7415df2d31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/4728c2a2e7e0110e51bced001f4ee9e7415df2d3
- work hol-guard/commit/2a9c69599d83b40e6edda289777af7f0d894ea041 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2a9c69599d83b40e6edda289777af7f0d894ea04
- work hol-guard/commit/fe4f04d8e4f5b15622ffbdb3b00bbdd13041ded21 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/fe4f04d8e4f5b15622ffbdb3b00bbdd13041ded2
- work hol-guard/commit/3492623af105734643aee2cf90d63e4a3f9fb22d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/3492623af105734643aee2cf90d63e4a3f9fb22d
- work hol-guard/commit/e3960d4b1de91e8a763dc0ccf2b9e1ef8e66292d1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e3960d4b1de91e8a763dc0ccf2b9e1ef8e66292d
- work hol-guard/commit/637aa9fa789ec41148312a5a377d8cef541ed1591 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/637aa9fa789ec41148312a5a377d8cef541ed159
- work hol-guard/commit/7969adbdca200927be751862f5c36fecd717c9dc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7969adbdca200927be751862f5c36fecd717c9dc
- work hol-guard/commit/ea98358d96e604a633d7d2b73f5b5717fdb786d91 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/ea98358d96e604a633d7d2b73f5b5717fdb786d9
- work hol-guard/commit/1673fbd12fd842201126f80184938c5b42cc02671 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/1673fbd12fd842201126f80184938c5b42cc0267
- work hol-guard/commit/2ffd487af638f673f8d5fbe8b8ad4032f2c4f7551 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/2ffd487af638f673f8d5fbe8b8ad4032f2c4f755
- work hol-guard/commit/da0a5d9595490be2f7210a306cfa09555f6c5ec71 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/da0a5d9595490be2f7210a306cfa09555f6c5ec7
- work hol-guard/commit/67cf1433ad565069f0a591f6c907c7c623b7be491 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/67cf1433ad565069f0a591f6c907c7c623b7be49
- work hol-guard/commit/a6c7793bffdd3ca30767cd5fab84c6c110df9c0a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a6c7793bffdd3ca30767cd5fab84c6c110df9c0a
- work hol-guard/commit/8a41f101641c93346d74790a0eb417aa98f0d24f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/8a41f101641c93346d74790a0eb417aa98f0d24f
- work hol-guard/commit/63a782c048965fb9e89fd1019f52452da45ec2bc1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/63a782c048965fb9e89fd1019f52452da45ec2bc
- work hol-guard/commit/acc61b564a85811116845b96576e9029a83938a31 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/acc61b564a85811116845b96576e9029a83938a3
- work hol-guard/commit/7502fbd74e7693e41f17c4a4b61190f5044b86ac1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7502fbd74e7693e41f17c4a4b61190f5044b86ac
- work hol-guard/commit/f7af4e5ed45ef48a21e7524fd368a3e64fc0ef7f1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f7af4e5ed45ef48a21e7524fd368a3e64fc0ef7f
- work hol-guard/commit/aa08411538562451c04a4519b8d3219ccdc18db11 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/aa08411538562451c04a4519b8d3219ccdc18db1
- work hol-guard/commit/a0d69106dfc74401875f0c9ee1c3d0ffc14334901 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/a0d69106dfc74401875f0c9ee1c3d0ffc1433490
- work hol-guard/commit/7c4534e543892fb3bacb77af8611882149ba68331 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/7c4534e543892fb3bacb77af8611882149ba6833
- work hol-guard/commit/f0eda9b76674bf86779a1939995c6ba2c163023a1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/f0eda9b76674bf86779a1939995c6ba2c163023a
- work hol-guard/commit/74b30e2defa623698577fee43d84938e6ea87f2e1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/74b30e2defa623698577fee43d84938e6ea87f2e
- work hol-guard/commit/e59f8f0464d10d467bc374a50e20d65569d155471 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e59f8f0464d10d467bc374a50e20d65569d15547
- work hol-guard/commit/af30cbbf409fee8eb68d2ba19da7d265ca3015dd1 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/af30cbbf409fee8eb68d2ba19da7d265ca3015dd
- work hol-guard/commit/e345b99b3438fb931992ae3ce43ce4fc72121d851 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/e345b99b3438fb931992ae3ce43ce4fc72121d85
- work hol-guard/commit/937a828786d5bcf102527445364afdb2e9dd68651 delivery
- Released direct-commit · Verified commit author · Implementation Evidence for work hol-guard/commit/937a828786d5bcf102527445364afdb2e9dd6865
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.
Corrections
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.