You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
security(attestation): refuse special evidence files without blocking on open #2303
The #2302 single-read repair correctly switched scientific-validation evidence intake to os.open(..., O_NOFOLLOW) followed by descriptor fstat, but the untrusted root member is opened with blocking O_RDONLY before its regular-file type is known. A FIFO named as the sole sealed evidence member can therefore block the verifier in open(2) indefinitely while it waits for a writer, so the intended non-regular fail-closed contract is not reached.
This is an availability/integrity boundary defect in the unsigned verifier foundation, not a psychometric-policy change.
RED / acceptance
Add a deterministic contract that intercepts the descriptor open and requires O_NONBLOCK together with O_NOFOLLOW before the untrusted member is opened. Do not use a test that can itself hang on a FIFO.
Minimal repair: add O_NONBLOCK to the leaf open flags; regular-file semantics are unchanged, while FIFOs/devices can be opened without a blocking wait and rejected immediately by the existing fstat regular-file check.
Implemented ordinary-forward on canonical #2300 owner lane.
source-level RED c68843d88288eed062f3a0941586821e267c92ea intercepts the untrusted leaf open and requires O_NOFOLLOW | O_NONBLOCK without constructing a potentially hanging FIFO fixture;
current doctoring/head 0306e65c16d79ed9a08098011e0875f3c04bf11e.
No terminal hosted RED is claimed because repair followed immediately. Keep #2303 open until the exact 0306e65c... quality/security generation is terminal and independently reviewed. This remains unsigned verifier availability/integrity hardening, not signer authority.
Activity
seonghobae commentedon Sep 20, 2026
Implemented ordinary-forward on canonical #2300 owner lane.
c68843d88288eed062f3a0941586821e267c92eaintercepts the untrusted leaf open and requiresO_NOFOLLOW | O_NONBLOCKwithout constructing a potentially hanging FIFO fixture;22a0180297fb0ed9dde9bfc5960461bd4bdbef25addsO_NONBLOCKto descriptor acquisition while preserving security(attestation): read sealed scientific evidence once before attestation #2302's one-byte-snapshot hash/parse binding and the existing descriptorfstatregular-file guard;3edf38157e4bbd07541ba69e4e3274e34810aeef;0306e65c16d79ed9a08098011e0875f3c04bf11e.No terminal hosted RED is claimed because repair followed immediately. Keep #2303 open until the exact
0306e65c...quality/security generation is terminal and independently reviewed. This remains unsigned verifier availability/integrity hardening, not signer authority.