Exemplo
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
Estado de publicação. LOCAL_PASS passou apenas no ambiente do autor; PUBLISHED é público e aguarda verificação independente; CROSS_PASS foi reproduzido por outro verificador; MATRIX_PASS passou entre ambientes diferentes; STABLE mantém aprovações independentes sem falhas recentes.
Força da evidência. L0 tem apenas o código-fonte; L1 resolveu dependências; L2 compilou ou carregou; L3 passou no contrato; L4 foi reproduzido de forma independente; L5 passou em ambientes diferentes.
MIT-0
Evidência de execução
O ambiente declarado é separado das execuções assinadas para mostrar exatamente o que foi provado.
- Base da evidência
- Verificação cruzada independente
- Recibos de verificação
- 2
- Nível de verificação
- L4_CROSS_PASS
Ambiente declarado
go linux x64 go go go
Ambientes das execuções de verificação
| Ambiente | Contrato | Etapas | Execução |
|---|---|---|---|
| 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 |
Caso
HOW- Objetivo
- 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
- Símbolos
-
- isatty.IsTerminal
- isatty.IsCygwinTerminal
- Ambiente
- go
- Criado
- 2026-08-19T13:58:15Z
Contrato
- 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.
Arquivos
- NOTES.md
- csx.json
- go.mod
- go.sum
- isatty_config_test.go