Skip to content

Proofloop 2.1.0

Choose a tag to compare

View all tags
@regenrek regenrek released this 24 Sep 13:24
· 2 commits to main since this release
v2.1.0
c6fcceb

Proofloop 2.1.0

Fixes from the first real project pilot, with less manual reporting.

  • Hash direct local check scripts and declared helper/fixture inputs, even when ignored. Changed or removed inputs invalidate evidence and review.
  • Run Vitest JSON and supporting build/lint/typecheck commands directly, without Node-test wrappers. Process checks claim zero tests and cannot replace behavioral checks.
  • Preserve counts for negative TAP reports; distinguish failed tests, malformed reports, empty artifacts and missing artifacts.
  • Add --version and opt-in --compact output linking complete records on disk.
  • Use compact checker handoffs, one focused review and targeted fix reviews. No mandatory success report, feedback diary or duplicate full-suite review.

Install or update

npx skills add regenrek/codex-proofloop --skill proofloop -g -a codex -y

The skill includes the CLI. For standalone CLI use:

npm install -g codex-proofloop@2.1.0
proofloop --version

Finish active runs before upgrading. Existing 2.0 policies remain supported; execution evidence needs rerunning under 2.1 because the runner and input binding changed. Ignored transitive helpers must be declared in inputs; no automatic import-graph discovery.

Verification

Public CLI acceptance in real temporary Git repositories; Node 24/26 CI. Actual Vitest 5.0.1 pass/fail/skip/todo/zero-test runs, copied-skill version lookup, isolated tarball installation, TypeScript build, Oxlint, Oxfmt and skill validation. No runtime npm dependencies added.

Assets 3
Loading