1sealsemantic last-mile verification

Research / Finding

Inconsistent negation behavior between in-toto-golang and in-toto-python

F-INTOTO-CROSS-IMPL-001

Public snapshot: 26 Sep 2026. Status, releases and attribution belong to each source below; none is inferred from another record.

Read the evidence · View in research browse

Recorded evidence

4.1medium
GHSA-pmwq-pjrm-6p5rGHSAin-toto/in-toto-golang

Inconsistent negation behavior between in-toto-golang and in-toto-python

Fixed in: in-toto-golang v0.11.0

patched
details
Finding IDs
F-INTOTO-CROSS-IMPL-001
GHSA
GHSA-pmwq-pjrm-6p5r
Status
patched
Fixed in
in-toto-golang v0.11.0
Recorded credit
finder: @1seal
Note
public advisory GHSA-pmwq-pjrm-6p5r covers the cross-implementation negation mismatch; affected <0.11.0, patched in 0.11.0 via in-toto-golang PR #462 / commit 36d782f. the earlier GHSA-28fv-f52p-hvwh reference is not publicly accessible.
CVSS vector
CVSS:3.1/AV:L/AC:H/PR:H/UI:N/S:U/C:N/I:H/A:N
Upstream title
Inconsistent negation behavior between in-toto-golang and in-toto-python
Upstream publication
Upstream updated
Metadata fetched
Upstream @1seal credit
@1seal: finder (accepted)

F-INTOTO-CROSS-IMPL-001: Verification failures. Cross-implementation negation semantics weaken policy verification. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.

Mechanism source for F-INTOTO-CROSS-IMPL-001

Security area (1seal assessment): Semantics. The same negated artifact rule has different meanings in Go and Python, so declared policy and executed policy can diverge. Reviewed 24 Sep 2026.

Clarify or correct this record privately. The email subject includes the finding ID. For an existing case, continue the agreed private thread. Do not post unpublished vulnerability details in public issues. Research disclosure policy.

How this page groups evidence

This identifier groups recorded evidence; it is not an additional CVE, independent-vulnerability count or guarantee of vendor confirmation. Fixed code, released versions, attribution and independent discovery are distinct claims. Absent metadata means not recorded, not disproved. Counting rules.