Public proof

Contract surface evidence before readiness.

This proof summarizes a real GitHub Actions run where Abizor recorded a Python top-level public function signature change as replayable evidence before readiness.

Date2026-06-07
Resultmerge boundary reached
SurfacePython function signature
PR closureclosed, no merge

What was verified

Abizor saw a public function signature change in CI.

Abizor ran in GitHub Actions on pull request #4 in the Abizor repository.

The run changed a public Python function signature and Abizor recorded that change as a contract_surface fact.

The change appeared in the proof record and in the human-readable CI summary before readiness.

Detected change

One public Python contract changed.

signature_changed
abizor_v2/ci_proof_contract_surface.py:contract_surface_output_lines

Before:
def contract_surface_output_lines(events, *, limit=5)

After:
def contract_surface_output_lines(events, *, limit=5, heading=...)

What Abizor did

It carried public surface evidence into readiness.

  • Detected a Python top-level public function signature change.
  • Recorded a contract_surface fact in the event log.
  • Included the public surface change in the summary and generated PR comment body.
  • Included the contract_surface source fact in readiness evidence.
  • Reached the merge boundary without executing merge.

Output

The proof showed the contract change before merge.

Status: merge boundary reached
Diff evidence: existing checkout diff origin/main...HEAD
Steps run: 11
Boundary: merge_pr was not executed.
Contract surface: signature_changed
  abizor_v2/ci_proof_contract_surface.py:contract_surface_output_lines

Artifact hashes

Public hash references for the generated artifacts.

The event log is not published on this public page. The proof keeps artifact names and SHA-256 hashes so the generated run can be identified without exposing raw event-log contents here.

abizor-events.jsonddee28b8d1c32399ea6fc82850e6920956ad3db67908c2df103c6b98198946bc
abizor-summary.md89c7156ed81ff5b314de579df34e10fad3341bfbeabdc59c0aaf059bdfd619e9
abizor-pr-comment.md89c7156ed81ff5b314de579df34e10fad3341bfbeabdc59c0aaf059bdfd619e9
abizor-artifacts.jsona448cc58bf1889d2ed0eea9f2e891c465e78de0bba98b611994d73c7e58eb259

Boundary

What this proof does not claim.

This proof did not create or merge the pull request.

It did not post a GitHub PR comment, deploy code, or use a hosted app, hosted API, dashboard, billing flow, or GitHub App.

It does not claim broad API compatibility, OpenAPI support, TypeScript support, database-schema support, security review, compliance, or contract-change blocking policy.

See the base CI proof too.

Contract-surface evidence is one layer over the same self-serve CI proof path.

Open CI proof Back to trust