Skip to content

build: evaluate camelcase 7 with ProofTape - #1

Draft
DelshadH wants to merge 1 commit into
mainfrom
dependency/camelcase-7
Draft

build: evaluate camelcase 7 with ProofTape#1
DelshadH wants to merge 1 commit into
mainfrom
dependency/camelcase-7

Conversation

@DelshadH

Copy link
Copy Markdown
Owner

Evaluation

  • ordinary application contract passes on camelcase 6.3.0 and 7.0.1
  • plain output changes from "-" to ""
  • ProofTape is consumed only from the four reviewed 0.1.0-alpha.1 tarballs in vendor/
  • the reusable workflow is pinned to 7e2b4cf7aa0da8a7180ccf7a4b4f93a8ac0e157e

Trust boundary

Observation authenticity is not established against code under test. This check is regression evidence for captured supported calls, not malicious-candidate attestation.

Expected result

Both ordinary test jobs pass. The ProofTape verifier reports one blocking changed return and exits 2, so the comparison job and this draft PR intentionally remain non-green until the dependency change is reviewed.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant