Skip to content

Releases: AlexanderLuzDH/busleyden-guard-live-proof

Busleyden Guard Action v1.0.0

Choose a tag to compare

@AlexanderLuzDH AlexanderLuzDH released this 13 Jul 04:15

First standalone GitHub Action release for the free evidence beta. Maintainers can generate pull-request consequence reports without installing the GitHub App, providing a card-free and call-free evaluation path. Paid checkout remains closed. See BETA.md for the independent release gate.

Busleyden Guard public PR preview v0.1

Choose a tag to compare

@AlexanderLuzDH AlexanderLuzDH released this 10 Jul 11:52

Install-free consequence preview

Paste a public GitHub pull request into Busleyden Guard to see:

  • high-consequence change surfaces;
  • the exact changed files and symbols that caused each match;
  • candidate test files and test symbols already present in the PR;
  • structured proof contracts for unresolved evidence.

Reproducible proof

The public red-to-green PR contains the blocking and passing GitHub Checks, source commits, review, workflow, and immutable certificates.

Boundaries

The install-free preview uses public GitHub metadata, changed paths, and bounded diff snippets. It does not execute code, tests, scanners, or repository policy, and it does not return or store source patches. Candidate tests remain unverified until an installed workflow executes and reviews them.

Busleyden Guard causal proof v1.1

Choose a tag to compare

What changed

Busleyden Guard is now a publicly installable GitHub App with focused counterfactual evidence verification for supported Python authentication changes.

The installed workflow does not merely detect that a replay-shaped test exists. It runs the selected test on the pull request, applies a targeted security-bypass mutation to the changed production logic, and requires the test to fail against that counterfactual before clearing the obligation.

Public evidence

Access

Public repositories can install and run Guard free. Guard Pro covers unlimited selected repositories under one GitHub account for USD 19.90/month.

Boundaries

The causal verifier currently covers a narrow set of focused Python authentication mutations. It does not prove general program correctness, complete mutation coverage, or malicious-test isolation. Human merge authority remains with repository owners.

Busleyden team