Skip to content

proven: tests, every test the answering runs logged, as a release's evidence - #71

Merged
aledbf merged 1 commit into
mainfrom
proven-tests
Oct 26, 2026
Merged

aledbf merged 1 commit into
mainfrom
proven-tests

Conversation

@aledbf

@aledbf aledbf commented Oct 26, 2026

Copy link
Copy Markdown
Contributor

go tool proven tests [-out file]: the runs that answer for the commit (the gate's by tree, -also's newest finished run by sha), and every test their jobs' logs say ended - --- PASS|FAIL lines, and Playwright's list reporter's lines with the test's own title under its describe - each with whether it passed, its seconds, and the workflow, run, job, job URL and runner labels. A job whose log is gone says nothing. Job now carries html_url and labels.

spin's release will sign the record beside its files (evidence.json), and the website will write its status page from it, so a reader with no access to spin can check what proves each row of the board.

task lint, task test, task mutate green; the proven page says what the command does.

Plan: https://claude.ai/artifact/3cdj5BJsAkTtS9pWVhwksW (fase 1).

🤖 Generated with Claude Code

…vidence

A release publishes signed binaries, and nothing of what proved them: the feature board's
tests ran in jobs of a private repository, where a reader with no access sees nothing. `proven
tests` reads the runs that answer for a commit - the gate's by tree, as tree finds it, and the
push workflow's by sha, as release does - and writes every test their jobs logged, Go's and
Playwright's list reporter's alike, with its answer, its time and the job and machine that ran
it, as one JSON document for the release to sign and publish beside its files.

Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
@aledbf
aledbf merged commit cfa88c1 into main Oct 26, 2026
3 checks passed
@aledbf
aledbf deleted the proven-tests branch October 26, 2026 16:40
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant