Search results

Math review: architectural decisions for team discussion

mathFoundational/theoretical workFoundational/theoretical work

questionFurther information is requestedFurther information is requested

roadmapImprovement roadmap itemImprovement roadmap item

Status: Open.

#172 In BlockScience/gds-core;

· rororowyourboat opened on Apr 3, 2026

T3-3: Stochastic extensions

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-5Phase 5: Research FrontierPhase 5: Research Frontier

roadmapImprovement roadmap itemImprovement roadmap item

tier-3Tier 3: Research FrontierTier 3: Research Frontier

Status: Open.

#169 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T3-2: Formal verification export (Lean 4 / Coq)

mathFoundational/theoretical workFoundational/theoretical work

phase-5Phase 5: Research FrontierPhase 5: Research Frontier

roadmapImprovement roadmap itemImprovement roadmap item

tier-3Tier 3: Research FrontierTier 3: Research Frontier

verificationFormal verification of GDS propertiesFormal verification of GDS properties

Status: Open.

#168 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T3-1: PatternIR consolidation

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-5Phase 5: Research FrontierPhase 5: Research Frontier

roadmapImprovement roadmap itemImprovement roadmap item

tier-3Tier 3: Research FrontierTier 3: Research Frontier

Status: Open.

#167 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T2-4: Continuous-time formalization

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-4Phase 4: Analysis & BehavioralPhase 4: Analysis & Behavioral

roadmapImprovement roadmap itemImprovement roadmap item

tier-2Tier 2: Medium PriorityTier 2: Medium Priority

Status: Open.

#166 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T2-3: Cross-lens query infrastructure

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-4Phase 4: Analysis & BehavioralPhase 4: Analysis & Behavioral

roadmapImprovement roadmap itemImprovement roadmap item

tier-2Tier 2: Medium PriorityTier 2: Medium Priority

Status: Open.

#165 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T2-2: Behavioral / trajectory verification layer

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-4Phase 4: Analysis & BehavioralPhase 4: Analysis & Behavioral

roadmapImprovement roadmap itemImprovement roadmap item

tier-2Tier 2: Medium PriorityTier 2: Medium Priority

verificationFormal verification of GDS propertiesFormal verification of GDS properties

Status: Open.

#164 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

T2-1: Structural reachability, distinguishability, and DSL-layer state semantics

enhancementNew feature or requestNew feature or request

mathFoundational/theoretical workFoundational/theoretical work

phase-4Phase 4: Analysis & BehavioralPhase 4: Analysis & Behavioral

roadmapImprovement roadmap itemImprovement roadmap item

tier-2Tier 2: Medium PriorityTier 2: Medium Priority

Status: Open.

#163 In BlockScience/gds-core;

· rororowyourboat opened on Mar 29, 2026

research: temporal semantics at the representation boundary (RQ2)

enhancementNew feature or requestNew feature or request

Status: Open.

#153 In BlockScience/gds-core;

· rororowyourboat opened on Mar 28, 2026

Consolidate package ecosystem from 14 packages to ~6

Status: Open.

#143 In BlockScience/gds-core;

· rororowyourboat opened on Mar 28, 2026

research: contingent derivative and controllability (bridge Steps 6-7)

enhancementNew feature or requestNew feature or request

Status: Open.

#142 In BlockScience/gds-core;

· rororowyourboat opened on Mar 28, 2026

Phase 1b-c: Mechanized proofs of coherence and traced monoidal structure (Coq)

verificationFormal verification of GDS propertiesFormal verification of GDS properties

Status: Open.

#135 In BlockScience/gds-core;

· rororowyourboat opened on Mar 28, 2026