Skip to content

Proof Check Action v0.1.0

Choose a tag to compare

@avoroncov971-maker avoroncov971-maker released this 08 Sep 02:12
· 9 commits to main since this release
f26daae

Superseded by v0.1.1: this version fails when used from another repository. Use v0.1.1 or later.

Known defect: the Action read its own commit reference through runner-owned GITHUB_* variables, which a composite action cannot set, so when consumed from a different repository it stopped before invoking the CLI. Fixed in PR #9; released as v0.1.1 at commit 363aad9.

Kept for the record. Verdicts, reason codes, receipt schema and the CLI itself are unchanged between v0.1.0 and v0.1.1; only the Action wrapper differs.

Original notes:

First tagged release of the Proof Check GitHub Action and CLI. For one pull request at one exact commit, checks whether the changed paths stay inside the scope the change declared, and whether the evidence is complete enough to say so. The answer is one of three words: PASS, FAIL, or INDETERMINATE. Every run writes a JSON receipt (proof-check-receipt/v1) that can be verified offline with proof-check verify. Rules in v0: exactly one FAIL rule, SCOPE_ESCAPE. Missing, incomplete, or ambiguous evidence returns INDETERMINATE and fails the job rather than guessing green. Contract: docs/contract/. Schemas: schemas/. Public fixture plan: fixtures/README.md.