issues Search Results · language:Dune language:JavaScript language:HTML language:Python language:JavaScript language:Java
Filter by
61.7M results
Part of #766 · P1 · §10. Restructures #719/#720.
Problem
The full-FOL IR is right, but #720 must NOT imply arbitrary FOL generally lowers to executable Horn+NAF.
Typed IR
Distinguish: object-level ...
complexity-hard
enhancement
epic
foundational
logic
paudley
Part of #766 · P0 · §11. Restructures the harvest #734 governance.
Problem
Formalize everything formalizable rewards over-axiomatization. Extraction needs typed governance.
FormalizationCandidate lifecycle ...
complexity-hard
epic
foundational
logic
quality
Part of #766 · P0 · §9. Affected: slices/core/logic/module.ttl (logic:World/accessibleFrom), standpoint, TR #713.
Problem
A single logic:World generalizes standpoints, goal-/deontic-/narrative-/counterfactual-worlds, ...
complexity-hard
epic
foundational
logic
Part of #766 · P0 · §4. Affected: slices/core/observations/module.ttl, shapes/statement-dsl-shapes.ttl.
Problem
The universal Observation spine (StandpointClaim ⊑ Observation) is an excellent query abstraction ...
complexity-hard
cross-cutting
epic
foundational
logic
Story
As a developer using Claude Code skills, I want to backlog items have no structured evidence attachment for session logs
so that the tooling becomes more capable and complete.
Description
When ...
priority:p2
status:needs-grooming
type:feature
Jamie-BitFlight
Part of #766 · P0 · §3. Affected: slices/core/standpoint/module.ttl, deception, harvest #734/H5.
Problem
gmeow:StandpointModality = {unequivocal, probable, conceivable, refuted, bullshit} fuses ≥4 separable ...
complexity-hard
deception
epic
foundational
logic
Preliminary checks
- [x] I searched existing issues and discussions and did not find a duplicate.
Problem
They are not clickable.
Proposed solution
Make it clickable.
Alternatives considered
No ...
feature
rnv812
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
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
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.