Research / Finding
Type assert the entry bundle when verifying inclusion proof
F-REKOR-VERIFY-002
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
—score not recorded
Type assert the entry bundle when verifying inclusion proof
merged
details
- Finding IDs
- F-REKOR-VERIFY-002
- Status
- merged
- Recorded credit
- PR body: "Thanks to @1seal for reporting this."
F-REKOR-VERIFY-002: Input / state handling. The recorded change adds a type assertion at the entry-bundle boundary. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.
Mechanism source for F-REKOR-VERIFY-002
Security area (1seal assessment): Availability. The checked string assertion returns an error for a non-string entry body instead of panicking, protecting verification availability. 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.