Eclipse S-CORE Verified

Eclipse S-CORE Verified is the verification project for Eclipse S-CORE.

It takes a candidate distribution that claims to be based on Eclipse S-CORE and exercises it against an open, versioned suite of tests that reflect the upstream S-CORE codebase: API behaviour, runtime characteristics, integration contracts between S-CORE components, and the documented external interfaces of the platform.

The goal is to verify that a distribution not only leverages Eclipse S-CORE version X, but also adheres to its expected behaviour and established quality standards, using reproducible technical evidence rather than relying on marketing claims alone.

By running and passing a prescribed and versioned set of tests from the Eclipse S-CORE Verified suite, a distribution can demonstrate that:

• Its public APIs and interfaces correspond to the upstream Eclipse S-CORE baseline at a stated version.
• Its runtime behaviour for the components covered by the suite is consistent with the upstream reference implementation.
• The traceable identity between the upstream Eclipse S-CORE release and the components shipped in the distribution can be established and audited.

In addition to verifying that distributions are release-ready against the upstream baseline, the Eclipse S-CORE Verified tests may also serve to verify the quality of new functionality during S-CORE upstream development itself, providing a continuous quality signal back to the Eclipse S-CORE project.

The project will be operated as an open, community-driven asset under Eclipse Foundation governance, with public repositories, public meeting notes, and open contributor processes — consistent with Eclipse S-CORE's "Open by Choice. Safe by Design." principle.