Skip to content

feat: add v8 service operation proofs#19

Merged
LioRael merged 14 commits into
mainfrom
chore/open-source-hygiene
Jun 28, 2026
Merged

feat: add v8 service operation proofs#19
LioRael merged 14 commits into
mainfrom
chore/open-source-hygiene

Conversation

@LioRael

@LioRael LioRael commented Jun 28, 2026

Copy link
Copy Markdown
Owner

Summary

  • Add support-ticket TypeScript service operation metadata, safe HTTP probe, route smoke, action proof, and runtime function proof.
  • Add Rust service operation metadata proof for the Axum provider example.
  • Update examples CI and README so V8 proofs use matching sibling lenso and runtime-console branches reproducibly.

Validation

  • pnpm install --frozen-lockfile
  • pnpm smoke
  • cargo fmt --manifest-path examples/rust-service/Cargo.toml --check
  • cargo test --manifest-path examples/rust-service/Cargo.toml

Cross-repo notes

  • Requires matching lenso-runtime-console and lenso branches until V8 contract packages are published.

@changeset-bot

changeset-bot Bot commented Jun 28, 2026

Copy link
Copy Markdown

⚠️ No Changeset found

Latest commit: 067981b

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

@LioRael LioRael marked this pull request as ready for review June 28, 2026 13:43
Copilot AI review requested due to automatic review settings June 28, 2026 13:43

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Copilot was unable to review this pull request because the user who requested the review has reached their quota limit.

@LioRael LioRael merged commit e911ba7 into main Jun 28, 2026
2 checks passed
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.

2 participants