Skip to content

Promote Forge-governed RAVEL world ABI and evidence semantics - #9

Merged
epi13 merged 1 commit into
mainfrom
agent/ravel-forge-world-abi
Aug 9, 2026
Merged

Promote Forge-governed RAVEL world ABI and evidence semantics#9
epi13 merged 1 commit into
mainfrom
agent/ravel-forge-world-abi

Conversation

@epi13

@epi13 epi13 commented Aug 9, 2026

Copy link
Copy Markdown
Owner

Summary

  • separate the RAVEL 0.6 world/provider boundary under ravel-0.6-world-abi/1 with branching/ring unity parity
  • preserve observed-only MNCS receipt facts and separate FAIL/UNKNOWN development statuses
  • add project-local Forge workflows, MNCS execution-bundle delegation, provenance, package checks, and CI coverage

Validation

  • 61 RAVEL Python tests
  • Forge 0.1.0a2: 12 PASS workflows; live family compatibility UNKNOWN for unavailable sibling producers
  • GCC, Clang, ASAN/UBSAN
  • official MNCS execution-bundle test suite
  • clean wheel install and pip check

Candidate-001 remains unfrozen and no selection/final data was consumed.

@epi13
epi13 marked this pull request as ready for review August 9, 2026 14:49
@epi13
epi13 merged commit 24c3737 into main Aug 9, 2026
4 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.

1 participant