-
Notifications
You must be signed in to change notification settings - Fork 0
T3-1: PatternIR consolidation #167
Copy link
Copy link
Open
Labels
enhancementNew feature or requestNew feature or requestmathFoundational/theoretical workFoundational/theoretical workphase-5Phase 5: Research FrontierPhase 5: Research FrontierroadmapImprovement roadmap itemImprovement roadmap itemtier-3Tier 3: Research FrontierTier 3: Research Frontier
Description
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or requestmathFoundational/theoretical workFoundational/theoretical workphase-5Phase 5: Research FrontierPhase 5: Research FrontierroadmapImprovement roadmap itemImprovement roadmap itemtier-3Tier 3: Research FrontierTier 3: Research Frontier
Problem
compile_pattern_to_spec()already proves PatternIR and GDSSpec produce equivalent canonical results. Whether to consolidate PatternIR into GDSSpec + semantic metadata is a refactoring question, not a correctness question.Type
[MATH] [CODE]
Prioritization
Pre-condition
T2-2 (behavioral verification) must be stable. Consolidation should not occur while the view layer is still being extended.
Part of the GDS-Core Improvement Roadmap
Scientific Context
Evidence level: N/A (refactoring) — not a new scientific claim. The bridge
compile_pattern_to_spec()already proves equivalence. Consolidation simplifies the implementation without changing what can be expressed or verified.Verification Strategy
Before/after equivalence: every PatternIR operation that currently works must produce identical results after consolidation. The existing canonical bridge tests are the regression suite.