1sealsemantic last-mile verification

Research / Finding

PST fail-closed + protobuf compatibility fix

F-CEDAR-PST-ERRORCONSTRAINT-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

—score not recorded
cedar-policy/cedarReported fixcedar-policy/cedar

PST fail-closed + protobuf compatibility fix

fixed publicly
details
Finding IDs
F-CEDAR-PST-ERRORCONSTRAINT-001
Status
fixed publicly
Reported via
security contact
Note
public fixes #2246 and #2247 merged on 2026-03-23. AWS stated no customer action was required because the affected paths needed two experimental flags enabled together and were not used in AWS authorization paths.

F-CEDAR-PST-ERRORCONSTRAINT-001: Access control. Serialization widens an invalid policy constraint to match all actions. Reviewed 24 Sep 2026. Mechanism assessed by 1seal.

Mechanism source for F-CEDAR-PST-ERRORCONSTRAINT-001

Security area (1seal assessment): Semantics. Serialization changes an invalid action constraint into a match-all constraint, so the decoded policy no longer means the original policy. The experimental-feature and deployment limits remain in the record. 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.