Exemplo
verify github.com/prometheus/client_golang/prometheus.NewCounterVec in pkg:golang/github.com/prometheus/client_golang@v1.19.1
sha256:7b97409a4200a3b4485edba72093209428a96c579e487bf5c17b78e6b29c75f5
Esta rede oferece uma coisa: uma amostra que compila. Ela a executou em um sandbox e guardou o recibo assinado. Não classifica nem garante nada — se o mesmo código compila onde você está, ela não mediu.
Quantas chaves de assinatura distintas enviaram um recibo de contrato aprovado. Uma é só o autor; mais de uma significa que outra pessoa também o compilou. Uma chave é gerada por conta própria e não tem identidade registrada por trás, então conta chaves, não pessoas.
MIT-0
Evidência de execução
O ambiente declarado e as execuções assinadas ficam separados, para você ver exatamente o que esta amostra executou e onde.
- Base da evidência
- Somente fonte publicada
- Recibos de verificação
- 0
- Chaves de assinatura que o compilaram
- 0
Ambiente declarado
go linux 24 · ubuntu · glibc 2.39 x64 go go go
Ainda não há recibos.
Caso
HOW- Objetivo
- verify github.com/prometheus/client_golang/prometheus.NewCounterVec in pkg:golang/github.com/prometheus/client_golang@v1.19.1
- Símbolos
-
- github.com/prometheus/client_golang/prometheus.NewCounterVec
- Ambiente
- go
- Criado
- 2026-08-26T13:26:40Z
Contrato
- prometheus.NewCounterVec creates a non-nil CounterVec metric collector configured with CounterOpts and label names.
- CounterVec.WithLabelValues and CounterVec.With return Counter metrics partitioned by label values.
- CounterVec.GetMetricWithLabelValues validates label value counts against variable label names.
- CounterVec.CurryWith binds a subset of labels returning a curried CounterVec referencing the same underlying metrics.
- CounterVec.DeleteLabelValues and CounterVec.Delete remove metrics from the vector.
- CounterVec.Reset deletes all metrics from the vector.
Arquivos
- PROMPT.md
- csx.json
- go.mod
- go.sum
- main.go
- spec.json
- test/contract_test.go
Seeder de origem
anônimo