Skip to content

Assess Bend 2 alongside the existing Lean verification programme - #31

Open
ahrazzle wants to merge 1 commit into
mainfrom
research/bend2-verification-pilots-20261103
Open

ahrazzle wants to merge 1 commit into
mainfrom
research/bend2-verification-pilots-20261103

Conversation

@ahrazzle

@ahrazzle ahrazzle commented Nov 3, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Resolve current Bend 2 versus historical Bend/HVM and pin primary source evidence.
  • Preserve the existing Lean work and verified bar, including pending independent specification reviews.
  • Propose bounded codec, Exo decision-model and append-recovery pilots with success/stop conditions and trust boundaries.

Validation

Documentation-only source review. No software installed, benchmarks run, runtime adopted, or production/security settings changed. Current main and latest release are explicitly distinguished. Existing source proof claims were inspected, not independently recompiled. CI results will be checked on this PR's exact head.

Independent maintainer review is required before merge. This proposal does not authorize deployment or relax the verified bar.

This branch has not been deployed

No deployments
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