Below you will find pages that utilize the taxonomy term “Sdageltc”
August 26, 2026
LetItLoop Proof-Carrying PR Verification Gate
Version updated for https://github.com/sdageltc/letitloop-action to version v1.0.3.
This action is used across all versions by 1 repositories. Action Type This is a Node action using Node version 20.
Go to the GitHub Marketplace to find the latest changes.
Action Summary The LetItLoop Action is a Zero-Config GitHub Action designed to verify the integrity of AI-driven pull requests by checking structural invariants and ensuring that only allowed files are modified. It automates proof-carrying verification tasks such as scope boundary leasing, subprocess test gating, and generating signed evidence receipts directly to pull requests. The action supports universal verification for multiple languages and provides advanced features for Python codebases, including AST signature integrity checks and decorator retention.
August 25, 2026
LetItLoop Proof-Carrying PR Verification Gate
Version updated for https://github.com/sdageltc/letitloop-action to version v1.0.2.
This action is used across all versions by 1 repositories. Action Type This is a Node action using Node version 20.
Go to the GitHub Marketplace to find the latest changes.