-
Notifications
You must be signed in to change notification settings - Fork 14
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[Epic] Developer Toolchain, LSP & Ecosystem
area:toolingDeveloper CLI (nova), LSP, formatter, linterDeveloper CLI (nova), LSP, formatter, linterpriority:highBlocks an active milestone or major production featureBlocks an active milestone or major production featuresize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[Epic] 4-Stage Self-Hosting Bootstrap Pipeline
area:self-hosting4-Stage self-hosting compiler & bootstrap ladder4-Stage self-hosting compiler & bootstrap ladderpriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[Epic] Compiler Mid-Level IR (MIR) & Direct LLVM Codegen
area:compilerAST, HIR, MIR, optimizations, C99/LLVM codegenAST, HIR, MIR, optimizations, C99/LLVM codegenpriority:highBlocks an active milestone or major production featureBlocks an active milestone or major production featuresize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[Epic] Region XOR Memory Model & Drop Elaboration
area:memoryRegion XOR memory model, borrowing, drop elaborationRegion XOR memory model, borrowing, drop elaborationpriority:criticalBlocks core compilation, sound verification, or security integrityBlocks core compilation, sound verification, or security integritysize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[Epic] Effect Rows & Pure-by-Default Semantics
area:effectsEffect rows, pure defaults, effect polymorphismEffect rows, pure defaults, effect polymorphismpriority:criticalBlocks core compilation, sound verification, or security integrityBlocks core compilation, sound verification, or security integritysize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[Epic] Core Language & Syntax Stabilization
area:languageSyntax, grammar, keywords, language evolutionSyntax, grammar, keywords, language evolutionpriority:criticalBlocks core compilation, sound verification, or security integrityBlocks core compilation, sound verification, or security integritysize:largeLarge subsystem (multi-week, ~500-2000 LOC)Large subsystem (multi-week, ~500-2000 LOC)status:in-progressWork is currently in progressWork is currently in progresstype:featureNew capabilities or architectural implementationsNew capabilities or architectural implementationsStatus: Open.[RFC] Distributed Location Transparency & Remote Sagas
area:distributedRPC, node discovery, replication sagas, failureRPC, node discovery, replication sagas, failurepriority:highBlocks an active milestone or major production featureBlocks an active milestone or major production featuresize:mediumMedium task (multi-day, ~150-500 LOC)Medium task (multi-day, ~150-500 LOC)status:discussionRequires community consensus before proceedingRequires community consensus before proceedingtype:rfcLanguage design proposal requiring community discussionLanguage design proposal requiring community discussionStatus: Open.[RFC] AI Agent Context Provenance & Audit Ledger Format
area:aiAI computational primitives & model integrationsAI computational primitives & model integrationspriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:mediumMedium task (multi-day, ~150-500 LOC)Medium task (multi-day, ~150-500 LOC)status:discussionRequires community consensus before proceedingRequires community consensus before proceedingtype:rfcLanguage design proposal requiring community discussionLanguage design proposal requiring community discussionStatus: Open.[RFC] Temporal Type Semantics & Clock Freshness Guarantees
area:temporalFreshness, staleness, deadlines, monotonic clocksFreshness, staleness, deadlines, monotonic clockspriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:mediumMedium task (multi-day, ~150-500 LOC)Medium task (multi-day, ~150-500 LOC)status:discussionRequires community consensus before proceedingRequires community consensus before proceedingtype:rfcLanguage design proposal requiring community discussionLanguage design proposal requiring community discussionStatus: Open.[Research] Automated Intent-to-Contract SMT Synthesis
area:verificationStatic verification, SMT solver proofs, fuzzingStatic verification, SMT solver proofs, fuzzingpriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:researchResearch investigation producing report/prototypeResearch investigation producing report/prototypestatus:researchResearch investigation in progressResearch investigation in progresstype:researchExploratory investigation producing empirical reports or RFCsExploratory investigation producing empirical reports or RFCsStatus: Open.[Research] Adaptive Execution Multi-Strategy Dispatch Cost Solver
area:runtimeTask scheduler, memory frames, execution engineTask scheduler, memory frames, execution enginepriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:researchResearch investigation producing report/prototypeResearch investigation producing report/prototypestatus:researchResearch investigation in progressResearch investigation in progresstype:researchExploratory investigation producing empirical reports or RFCsExploratory investigation producing empirical reports or RFCsStatus: Open.[Research] Epistemic Uncertainty Type Representation in Linear Programs
area:uncertaintyEpistemic certainty & prediction statesEpistemic certainty & prediction statespriority:mediumStandard scheduled enhancement or defect fixStandard scheduled enhancement or defect fixsize:researchResearch investigation producing report/prototypeResearch investigation producing report/prototypestatus:researchResearch investigation in progressResearch investigation in progresstype:researchExploratory investigation producing empirical reports or RFCsExploratory investigation producing empirical reports or RFCsStatus: Open.