-
Notifications
You must be signed in to change notification settings - Fork 27
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
docs/index.md silently drifts from docs/index.html — check_site_assets.py compares the generator against itself
bugSomething isn't workingSomething isn't workingStatus: Open.#1154 In aallan/vera;vera/README.md module-map line counts are drifted and ungated (calls.py 610→1556; checker/sql.py missing)
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#1150 In aallan/vera;Built-in effect names should stay canonical (E151-analogue for effects); a divergent shadow miscompiles
bugSomething isn't workingSomething isn't workingStatus: Open.#1149 In aallan/vera;DB effect Phase 2/3: named columns, typed rows, multi-backend
enhancementNew feature or requestNew feature or requestStatus: Open.#1143 In aallan/vera;Formatter redesign: parse-time comment ownership and a single renderer
designFuture language design (spec §0.8)Future language design (spec §0.8)refactorCode refactoring and structural improvementsCode refactoring and structural improvementstoolingIssue around tooling built for the language (e.g. package managers, IDE plug-ins)Issue around tooling built for the language (e.g. package managers, IDE plug-ins)Status: Open.#1139 In aallan/vera;Hold z3-solver 5.0.0.0 for a bake period, then re-run the obligation differential
bookmarkSaving a link to another projectSaving a link to another projectdependenciesDependency updatesDependency updatesverificationContract verification systemContract verification systemStatus: Open.#1126 In aallan/vera;Cross-module type-alias namespaces merge flatly in codegen — same-named aliases corrupt signatures and emit invalid modules
bugSomething isn't workingSomething isn't workingcodegenCode generation backendCode generation backendStatus: Open.#1111 In aallan/vera;VS Code Marketplace rejects extension as suspicious content
blockedCannot be addressed until a dependency lands; see Relationships panelCannot be addressed until a dependency lands; see Relationships paneltoolingIssue around tooling built for the language (e.g. package managers, IDE plug-ins)Issue around tooling built for the language (e.g. package managers, IDE plug-ins)Status: Open.#1106 In aallan/vera;Migrate GitHub Pages off legacy branch-deploy to a self-owned Actions workflow
ciCI/CD and GitHub ActionsCI/CD and GitHub ActionsStatus: Open.#1103 In aallan/vera;Caller of an E602-skipped function emits a raw
unknown funcWAT error instead of a clean diagnosticbugSomething isn't workingSomething isn't workingStatus: Open.#1100 In aallan/vera;Codegen emits no refinement guard for a refined base with a non-plain type argument (Array<{refined}>/Array<fn> bases)
limitationKnown compilation limitationKnown compilation limitationStatus: Open.#1036 In aallan/vera;ch05_closure_nat_return trapped once in a full conformance run (unreproducible in ~960 attempts) — suspected rare runtime/GC flake in a CI gate
bugSomething isn't workingSomething isn't workingruntime-gcWASM runtime, host bindings, and GCWASM runtime, host bindings, and GCtestingTest suite structure and coverageTest suite structure and coverageStatus: Open.#996 In aallan/vera;