fix(journal): git_sha records a clean revision for a dirty working tree, contradicting its own contract
Los mantenedores suelen responder en 1 día
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Aptitud para principiantes
- 55/100
Línea de trabajo
Comienza por internal/onebox/service.go:159 y rastrea sus llamadores en service.go:139 y cmd/ob/commands.go:680. Revisa cómo internal/compose/payload.go:33 captura los archivos del árbol de trabajo y cómo internal/engine/audit.go:37 muestra los valores de GIT. Se considera terminado cuando los cambios de payload del árbol de trabajo y los cambios de payload no rastreados no puedan notificarse como un simple SHA de HEAD limpio, mientras que los directorios que no son repositorios git conserven su comportamiento actual; confirma qué representación propuesta quieren los maintainers.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Summary
gitShortSHA documents that it omits a dirty revision. It does not. Every operation records the bare HEAD SHA regardless of working-tree state, so ob audit attests a commit for a release whose payload may not match that commit.
The contract, and the code
internal/onebox/service.go:159:
// gitShortSHA is the working tree's revision, recorded on every operation so a
// journal entry can be traced to the code that produced it. An unavailable or
// dirty revision is simply absent rather than guessed at.
func gitShortSHA(ctx context.Context, dir string) string {
out, err := exec.CommandContext(ctx, "git", "-C", dir, "rev-parse", "--short=7", "HEAD").Output()
if err != nil {
return ""
}
return strings.TrimSpace(string(out))
}
The comment promises three behaviors. Two hold: unavailable git returns "", and nothing is guessed. The third — that a dirty revision is absent — is not implemented anywhere. There is no working-tree check in this function or its callers (service.go:139, cmd/ob/commands.go:680).
git rev-parse --short=7 HEAD succeeds on a dirty tree. Verified on a scratch repository:
$ echo TAMPERED >> a.txt
$ git status --porcelain
M a.txt
$ git rev-parse --short=7 HEAD
20da80a
$ echo $?
0
So a dirty tree records a clean SHA. Either the comment or the code is wrong; both cannot stand.
Why it matters
This is not cosmetic, because the payload is copied from the working tree, not from git. StagePayloadContext (internal/compose/payload.go:33) walks bind sources and env files and copies whatever is on disk — including uncommitted modifications and untracked files. The recorded SHA and the shipped bytes are independently determined and can disagree.
The consequence is operator-visible. Engine.Audit (internal/engine/audit.go:37) prints a GIT column per release:
RELEASE ACTION OPERATOR GIT OUTCOME STARTED
20260902-054001-7e6ad74… deploy … 7e6ad74 ok …
An operator reading that row concludes the release contains 7e6ad74. If someone deployed with edits in the tree, it does not, and nothing in the journal, plan, or audit output says so. That is the failure mode docs/product.md is written against — evidence that reads as proof of something it never checked. The product statement promises "evidence-backed execution"; a provenance field that silently rounds "HEAD plus edits" to "HEAD" is the one place that should not round.
Worth being precise about the threat model: product.md already concedes that "a compromised host can lie about its own evidence." This is different and, I think, worse — an uncompromised host recording a misleading fact by construction, with no adversary involved.
Precedent in this codebase
Onebox already treats dirty-state as material, for its own binary:
internal/buildinfo/info.go:25carriesDirty.cmd/ob/version.go:72rendersrevision+dirty.cmd/ob/doctor.go:218raises a warning: "the runner was built from a dirty checkout".internal/engine/status.go:83appends+dirtyto the runner line.
So the standard is established and applied to the runner, while the payload — the thing actually being shipped to production — is exempt. That asymmetry is the argument; nothing here is imported from outside the project's own values.
Proposal
Detect the working-tree state where the SHA is captured, and stop at recording it — no refusal, no policy. Three shapes, in my order of preference:
- Suffix, matching
version.go. Record7e6ad74+dirty. Consistent with how the runner already reports itself, needs no schema change, and survives into the audit table's existingGITcolumn. - Separate field. Add
payload_dirtynext togit_shain the journal record and plan artifact, and let each surface render it. Cleaner for machine consumers, at the cost of a field in the record schema. - Honor the comment literally — omit the SHA when dirty. I would not: "based on 7e6ad74 plus edits" is strictly more useful to an operator than "-", and a bare dash is indistinguishable from "not a git repository".
Untracked files should count as dirty. git status --porcelain reports them, and they are copied into the release by the payload walk, so excluding them would reintroduce the same gap in a smaller form.
A follow-on, if 1 or 2 lands: ob doctor could warn on a dirty payload the way it already warns on a dirty runner. That would be a policy addition rather than a correctness fix, so it belongs behind this, not inside it.
Notes
- Reproduced against
8500ab7. - Cost is one
git status --porcelainper operation on the config directory, alongside therev-parsealready being run. - Non-git directories are unaffected:
rev-parsefails,""is recorded, and no claim is made — that path is already correct.
- Lenguaje dominante
- Go
- Estrellas
- 3
- Forks
- 0
- Merge medio
- 2 h 46 min
- PR fusionados (30 d)
- 38
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Leer la guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de labstack/onebox
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 80/100
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 85/100
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 3/5 1-2 días Aptitud para principiantes 65/100
Los mantenedores suelen responder en 1 día
-
Dificultad 4/5 3-5 días Aptitud para principiantes 55/100
Los mantenedores suelen responder en 1 día
Todos los issues de labstack/onebox
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
appbaseio/reactivesearch-api#402 ·
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100
router-for-me/CLIProxyAPI#6399 ·
Los mantenedores suelen responder en 1 día
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 88/100
Los mantenedores suelen responder en 2 días
-
settings.py flaps between reconciles: needsMigrationSetting depends on map iteration orderPosiblemente ocupada @fontaineajulien la tomó hoy. Abierto
Dificultad 2/5 1-3 horas Aptitud para principiantes 72/100
pulp/pulp-operator#1691 ·