issues Search Results · language:Dune language:Python language:JavaScript language:JavaScript language:HTML language:Java
Filter by
61.7M results
Part of #766 · P0 · §2. Affected: crates/logic/src/reason/*, py.rs, MCP, validator.
Problem
GMEOW already distinguishes false/unknown and returns unknown/incomplete on budget exhaustion — but as an engine-side ...
complexity-hard
cross-cutting
enhancement
epic
foundational
logic
rust
paudley
Part of the Nexus Experience architecture (ADR-0007).
Scope: calm empty states with a primary action; honest offline/degraded surfaces
Depends on: A6 Spec: specs/05_experience/03_feature_depth.md · Roadmap ...
area:frontend
type:feat
jacobbweber
Part of #766 · P0 · §1. Affected: slices/core/logic/module.ttl, crates/logic/src/compile/ir.rs (SemanticProfileId),
conformance/logic/cases/*/profile.json.
Problem
The 6 semantic profiles (PositiveHorn/StratifiedNAF/WellFounded/StableModel/ProceduralProlog/Probabilistic) ...
complexity-hard
epic
foundational
logic
Part of the Nexus Experience architecture (ADR-0007).
Scope: non-blocking feed: run finished / approval requested / incident opened
Depends on: C16 Spec: specs/05_experience/03_feature_depth.md · Roadmap ...
area:frontend
type:feat
Requested by: @untitaker
Merge target: (default)
Quick links:
- View changes
- View check runs
Assign the accepted label to this issue to approve the release. To retract the release, the person ...
accepted
ci-ready
sentry-release-bot[bot]
Part of the Nexus Experience architecture (ADR-0007).
Scope: fuzzy find-and-run across areas/automations/workflows/settings; recents + suggested
Depends on: C16 Spec: specs/05_experience/03_feature_depth.md ...
area:frontend
type:feat
Part of the Nexus Experience architecture (ADR-0007).
Scope: collapsible rail, per-area retint, roving-tabindex keyboard nav, remembered state
Depends on: B8 Spec: specs/05_experience/03_feature_depth.md ...
area:frontend
type:feat
Part of the Nexus Experience architecture (ADR-0007).
Scope: describe-in-words → candidate JSON behind a local adapter; validator remains the gate
Depends on: B10,B13 Spec: specs/05_experience/02_theming.md ...
area:ai
area:theming
type:feat
Part of the Nexus Experience architecture (ADR-0007).
Scope: portable single-file JSON import/export; user theme library in Platform/System
Depends on: B12 Spec: specs/05_experience/02_theming.md · Roadmap ...
area:theming
type:feat
Part of the Nexus Experience architecture (ADR-0007).
Scope: form/color pickers, representative preview board, side-by-side diff, try-across-areas toggle
Depends on: B11 Spec: specs/05_experience/02_theming.md ...
area:theming
type:feat
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.