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
opy-rs#42 — catalog-backed builtin/member/enum lowering and corpus closure is the active semantic edge
Current OPY execution chain:
#42 → close #36 → #37 → #38 → close #8
Do not move bounded follow-ups such as opy-rs#58/#59/#60/#65 or workshop-rs#95 onto the critical path unless representative real-project/end-to-end evidence proves they block the declared compiler baseline.
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 semantics belong to del-rs.
language-provider-protocol is an integration/process protocol, not a language-semantic owner.
Missing semantics must be fixed in the owning repository rather than compensated for in Wright.
Current integration note
opy-rs PR #61 introduced wright/opy-hir@2.0.0 for the ordered switch-arm HIR contract and explicitly rejects v1 payloads. Wright-side OPY consumer cutover must adopt the owner contract rather than adding compatibility semantics back into opy-rs. Coordinate this with the active ownership/terminology cleanup (wright#227, opy-rs#62) without letting architecture cleanup outrank #42 semantic convergence.
Compatibility and conversion direction
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.
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, or documentation volume 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
Raw Workshop convergence is complete:
wrightkit/workshop-rs#65— completedwrightkit/wright#191— completed via PR fix(workshop): converge on released workshop-rs 0.1.9 #225 against releasedworkshop-rs 0.1.9The focused source-language convergence lane is now OPY. Current owner-side progress:
opy-rs#52— dependency rebaseline completeopy-rs#46— non-control-flow primitive lowering completeopy-rs#47— control-flow lowering complete via PR [M9] Validate external consumer integrations and API versioning #61 against releasedworkshop-rs 0.1.11opy-rs#41— statements/expressions acceptance gate completeopy-rs#42— catalog-backed builtin/member/enum lowering and corpus closure is the active semantic edgeCurrent OPY execution chain:
#42 → close #36 → #37 → #38 → close #8Do not move bounded follow-ups such as
opy-rs#58/#59/#60/#65orworkshop-rs#95onto the critical path unless representative real-project/end-to-end evidence proves they block the declared compiler baseline.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.del-rs.language-provider-protocolis an integration/process protocol, not a language-semantic owner.Current integration note
opy-rsPR #61 introducedwright/opy-hir@2.0.0for the ordered switch-arm HIR contract and explicitly rejects v1 payloads. Wright-side OPY consumer cutover must adopt the owner contract rather than adding compatibility semantics back intoopy-rs. Coordinate this with the active ownership/terminology cleanup (wright#227,opy-rs#62) without letting architecture cleanup outrank #42 semantic convergence.Compatibility and conversion direction
Near-term direction
opy-rs#42, then close [M5] Integrate native Workshop input with semantic analysis and tools #36 if its corpus/evidence gate is satisfied;wrightCLI and core workflows #38 to establish a public standalone OPY→Workshop compile workflow;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