You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Define Wright's pre-1.0 roadmap by user-visible product readiness and real workflow evidence rather than internal migration phases.
Current execution state
The canonical ownership cutover is now substantially complete:
raw Workshop convergence is complete through released workshop-rs contracts;
opy-rs#8 completed the first OPY→Workshop compiler baseline, with opy-rs / opy-compiler v0.1.5 released;
wright#228 merged the source-language ownership cutover and consumes released OPY and DEL owner contracts without Wright-side language-semantic fallbacks;
the hosted Wright integration gate passed OPY owner integration, Workshop real-project integration, DEL/OSTW owner integration, benchmarks, scenario validation, LPP, CLI smoke, and distribution validation on the merged cutover head.
The current OPY frontier is no longer #42 → #36 → #37 → #38. Those baseline stages are complete. Residual executable gaps are now attributed by owner:
opy-rs#88 — residual OPY frontend/full-project corpus gaps;
workshop-rs#123 — missing/uncertain canonical WIR carriers exposed by OPY compatibility evidence;
workshop-rs#124 — canonical enum-domain ambiguity blocking direct semantic-WIR oracle comparison.
Wright release PR #233 is the pending distribution boundary for the merged ownership cutover; until it lands, GitHub's latest published Wright release remains older than the merged integration reality.
Tooling-first product order
Wright remains the unified tooling/product layer over independently owned language implementations. Product priority remains:
check / diagnostics
lint / static analysis
inspect / semantic query
validated source edits / refactoring
agent / embedding workflows
CI / language services
Workshop stability / cost analysis
compilation / conversion as required by real workflows
Compiler work is product-enabling infrastructure, not the sole progress metric. Wright must not claim source-language behavior beyond what the owning implementations actually support.
Ownership and dependency rules
Raw Workshop semantics/catalog/settings/WIR/emission gaps belong to workshop-rs.
OPY syntax, preprocessing/macros, semantic model/HIR, compiler behavior, and scoped reconstruction belong to opy-rs.
DEL/OSTW source/runtime/compiler semantics belong to deltin-rs.
Target observable/canonical semantic equivalence, not generated-text, temporary-variable, formatter, or optimizer-internal identity.
Workshop remains the canonical normalization hub for source-language compilation and reconstruction workflows.
Source-preserving edits follow semantic understanding → validated source edits → original source; full-file regeneration is not the default mutation model.
Workshop→OPY/DEL reconstruction, where pursued, targets useful semantic reconstruction with explicit information-loss boundaries rather than literal source recovery.
Known gaps must remain explicit; a supported product surface does not imply unsupported owner semantics are available.
canonical raw Workshop parsing/validation/emission through workshop-rs;
evidence-backed OPY and DEL/OSTW workflows through independently usable owning implementations without hidden upstream runtime fallback for declared first-party support;
validated source-oriented mutation with semantic refusal for unsafe operations;
corpus-defined support claims and reproducible implementation/catalog identities;
stable CI and machine-readable diagnostic/tool contracts;
documentation sufficient for users without knowledge of internal compiler architecture.
Planning rules
Real user workflows are the primary progress metric.
Unit tests, snapshots, minimized fixtures, support matrices, and issue state are regression/planning evidence, not substitutes for rerunning motivating real projects.
Keep near-term work concrete and evidence-driven; keep distant work coarse.
Do not split catalog-scale work into per-symbol issues.
Do not let architecture cleanup, protocol work, CLI polish, documentation volume, or dependency churn outrank missing engine semantics that block real tooling workflows.
Repository code, living docs, issues, PRs, and public interfaces should use concrete capabilities/versions rather than temporary internal phase labels.
Goal
Define Wright's pre-1.0 roadmap by user-visible product readiness and real workflow evidence rather than internal migration phases.
Current execution state
The canonical ownership cutover is now substantially complete:
workshop-rscontracts;opy-rs#8completed the first OPY→Workshop compiler baseline, withopy-rs/opy-compilerv0.1.5 released;wright#228merged the source-language ownership cutover and consumes released OPY and DEL owner contracts without Wright-side language-semantic fallbacks;The current OPY frontier is no longer
#42 → #36 → #37 → #38. Those baseline stages are complete. Residual executable gaps are now attributed by owner:opy-rs#88— residual OPY frontend/full-project corpus gaps;opy-rs#89— residual native-WIR lowering divergences;workshop-rs#123— missing/uncertain canonical WIR carriers exposed by OPY compatibility evidence;workshop-rs#124— canonical enum-domain ambiguity blocking direct semantic-WIR oracle comparison.Wright release PR #233 is the pending distribution boundary for the merged ownership cutover; until it lands, GitHub's latest published Wright release remains older than the merged integration reality.
Tooling-first product order
Wright remains the unified tooling/product layer over independently owned language implementations. Product priority remains:
Compiler work is product-enabling infrastructure, not the sole progress metric. Wright must not claim source-language behavior beyond what the owning implementations actually support.
Ownership and dependency rules
workshop-rs.opy-rs.deltin-rs.language-provider-protocolis an integration/process protocol, not a language-semantic owner.For cross-repository work, use:
owning repo -> owner contract/tests -> consumable release/contract -> Wright integration -> boundary/real-workflow verificationCompatibility and conversion direction
Near-term direction
workshop-rs#124where canonical enum-domain ambiguity blocks stronger OPY semantic comparison;workshop-rs#123before any OPY workaround for constructs the current canonical WIR cannot represent losslessly;opy-rs#88/#89only at the correct owner boundary after Workshop prerequisites are available;v1.0 product contract
Wright 1.0 is ready when users can rely on it as a stable Workshop tooling platform with:
check,lint,analyze,inspect, source-edit/fix, conversion, and agent/embedding surfaces;workshop-rs;Planning rules