Public proofs

Current evidence records for the Abizor loop.

These public pages summarize what has been verified so far. The current leading proofs are a real delivery loop that reached DONE on PR #9, a Change Record artifact export proof on PR #10, a verify-proof bundle proof on PR #11, the current public CLI wheel 0.1.7 Change Record consistency proof, and the D2 GitHub Actions Marketplace action proof.

Latest deliveryPR #9 reached DONE
Latest artifactsPR #10 exported Change Record
Latest verifierPR #11 verified bundle
Current actionMarketplace @v1

Read the proofs

Current proofs first.

The Abizor event log is canonical truth. The Change Record, GitHub Check, proof report, summary, and PR comment body are projections or evidence over that event log unless a proof says otherwise.

PR #9 proved the full delivery loop. PR #10 proved that Abizor exports Change Record JSON and Markdown artifacts. PR #11 proved the proof spine itself: event log -> manifest -> Change Record -> verify-proof locally. The recorded public wheel E2E proof shows evaluator identity, sha256:<hex> evidence refs, Change Record artifacts, and local verify-proof. Current wheel 0.1.7, wheel SHA-256 e157fe91...a7276c4; the full hash is on the wheel proof page. The D2 proof shows Abizor/ci-proof-action@v1 running from GitHub Marketplace on a proof-only target PR that was closed without merge.

Historical and focused proofs

Specific evidence records kept for context.

Public CLI wheel E2E proof

Clean install, CI proof, Change Record artifacts, evaluator identity, and local verification.

Read public install proof

Abizor public target proof

The earlier public target proof is preserved as historical evidence for the first quickstart run outside the Abizor source repository.

Read public target proof

Feedback export proof

Abizor public CLI wheel 0.1.4 generated a local redacted feedback export from a verified CI proof bundle without automatic upload.

Read feedback proof

Historical GitHub Actions CI proof, PR #3

The first GitHub Actions proof is preserved as historical evidence, not the latest delivery proof.

Read CI proof

Contract-surface proof

Abizor recorded Python public function signature changes as review evidence before readiness.

Read contract proof

Guarded PR comment proof

Abizor posted a PR comment from generated artifacts while keeping the proof record unchanged.

Read comment proof

Change Record Check output

Abizor separates public GitHub Check text from operator publish proof details.

Read Check output proof

Run it yourself

The quickstart shows the current self-serve CI path for one existing pull request.

Open quickstart

Boundary

What these proofs do not claim.

Most proof pages stop before merge. The PR #9 delivery proof is the exception: it records a guarded merge through Abizor and a cleanup step that reached DONE.

These proofs did not deploy code or use a hosted app, hosted API, dashboard, billing flow, or GitHub App.

They are not compliance, security-audit, or production-deployment claims.

Raw event logs are not published on the public site unless a specific proof page says otherwise; public proof pages use summary fields and artifact hashes.