Skip to content

Complete end-to-end DEL/OSTW compilation and integration compatibility gate #33

Description

@Teakowa

Parent: #8

Goal

Turn the integrated DEL frontend/lowering stack into an evidence-backed end-to-end compiler path that produces validated canonical Workshop semantics and emits through released workshop-rs, then close the declared Workshop-dependent compatibility surface without hiding known gaps.

Context

#29#32 establish the released dependency/provider boundary, core HIR -> WIR lowering, advanced runtime lowering, and project/compiler surfaces. This issue is the integration gate: it should expose a stable compile path and prove compatibility through independently grounded corpus evidence rather than generated-text identity.

workshop-rs#12 is complete and shipped in workshop-rs 0.1.1. The evidence-report foundation from #26 has already begun landing; canonical Workshop feature identities/census remain owned by wrightkit/workshop-rs#10 and should be consumed when available.

Scope

  • Expose a library compile API that runs project loading -> semantic analysis -> typed DEL HIR -> canonical WIR lowering -> WIR/catalog validation -> workshop-rs emission.
  • Add a standalone CLI compilation surface once the library contract is stable, with target locale/emission controls delegated to workshop-rs rather than reimplemented locally.
  • Preserve structured DEL diagnostics and source provenance across frontend, lowering, canonical validation, and emission failures.
  • Run representative real-world DEL/OSTW projects and focused/minimized fixtures through the complete pipeline.
  • Extend the evidence-driven compatibility report so Workshop-dependent cases distinguish matched behavior, known gaps, unsupported cases, unexpected regressions/divergence, and inconclusive evidence.
  • Consume canonical feature identities/census contracts from workshop-rs#10 when available so failures can be attributed to Workshop capabilities without copying canonical definitions into del-rs.
  • Compare compilation results by valid canonical Workshop semantics and semantic/normalized equivalence. Exact generated text, temporary variables, helper names, optimizer shape, or whitespace are evidence only when a declared observable contract requires them.
  • Promote workshop-lowering.* support-matrix entries to end-to-end-supported only where the corresponding source and Workshop evidence passes.
  • Re-run the complete Workshop-independent test suite to ensure backend integration does not regress parsing, semantic queries, diagnostics, HIR, or tooling APIs.
  • Update public compatibility/limitations documentation from actual final evidence, without adding issue-status TODOs back to README.

Non-goals

Acceptance criteria

Dependencies

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Status
    Backlog

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions