Sample
isatty.IsTerminal and isatty.IsCygwinTerminal determine terminal capabilities purely via OS descriptor ioctl probes and safely return false for pipes, files, and invalid descriptors without evaluating TERM or CYGWIN environment variables
sha256:b8e8e126fb56b84ec8f5038f0f0049bf0c30dc359a6422da50ab7ff251cae8cd
Publication state. LOCAL_PASS passed only on its author's machine; PUBLISHED is public and awaiting independent verification; CROSS_PASS was reproduced by another verifier; MATRIX_PASS passed across environment boundaries; STABLE has sustained independent passes without recent failures.
Evidence strength. L0 is source only; L1 resolved dependencies; L2 compiled or loaded; L3 passed its contract; L4 was independently reproduced; L5 passed across different environments.
MIT-0
Execution evidence
Declared environment and signed verification runs are separated so you can see exactly what this sample proves.
- Evidence basis
- Independent cross-verification
- Verification receipts
- 2
- Verification level
- L4_CROSS_PASS
Declared environment
go linux x64 go go go
Verification-run environments
| Environment | Contract | Stages | Run |
|---|---|---|---|
| go 1.26 · linux alpine/x64 · docker ed25519:d91480838ac982c9 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1 |
2026-08-19 |
| go 1.26 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 | PASS | compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS CONTAINER_RUN · golang@1 |
2026-08-19 |
Case
HOW- Goal
- isatty.IsTerminal and isatty.IsCygwinTerminal determine terminal capabilities purely via OS descriptor ioctl probes and safely return false for pipes, files, and invalid descriptors without evaluating TERM or CYGWIN environment variables
- Packages
- Symbols
-
- isatty.IsTerminal
- isatty.IsCygwinTerminal
- Environment
- go
- Created
- 2026-08-19T13:58:15Z
Contract
- isatty.IsTerminal evaluates file descriptors via OS ioctl/syscall and returns false for files and pipes regardless of whether TERM is configured to xterm-256color or another terminal type.
- isatty.IsTerminal returns false cleanly without panicking or returning an error when passed invalid or closed file descriptors.
- isatty.IsCygwinTerminal on non-Windows platforms returns false unconditionally for all descriptors regardless of CYGWIN, MSYSTEM, or TERM environment variables.
Files
- NOTES.md
- csx.json
- go.mod
- go.sum
- isatty_config_test.go