Skip to content

feat(m-decomp): constraint upgrade#556

Open
csbobby wants to merge 19 commits intogenerative-computing:mainfrom
csbobby:main
Open

feat(m-decomp): constraint upgrade#556
csbobby wants to merge 19 commits intogenerative-computing:mainfrom
csbobby:main

Conversation

@csbobby
Copy link
Contributor

@csbobby csbobby commented Feb 25, 2026

M-Decompose Upgrade

Constraint Extraction and Validation

Description

  • Constraint extraction refactored into a normalize-then-parse pipeline
    Added whitespace canonicalization, separator unification, and newline-aware block segmentation to eliminate layout- and order-sensitive parsing failures. Produces stable constraint IDs and consistent downstream bindings, significantly improving subtask–constraint determinism and template reproducibility.
  • Introduced an explicit validation-decision stage
    Inserted between constraint extraction and code generation, emitting a constraint to validation-type mapping (e.g., llm / code). Validation strategy is now a first-class, inspectable, template-addressable feature, enabling different generation paths per constraint type.
  • Validation code generation turns constraints into executable checking
    The validation_code_generator binds each constraint to a generated function stub in the V2. The CLI output shifts from a descriptive decomposition result to an importable, runnable validation module, allowing downstream systems to call validations directly and removing manual reinterpretation.

@csbobby csbobby requested a review from a team as a code owner February 25, 2026 00:39
@github-actions
Copy link
Contributor

The PR description has been updated. Please fill out the template for your PR to be reviewed.

@mergify
Copy link

mergify bot commented Feb 25, 2026

Merge Protections

Your pull request matches the following merge protections and will not be merged until they are valid.

🟢 Enforce conventional commit

Wonderful, this rule succeeded.

Make sure that we follow https://www.conventionalcommits.org/en/v1.0.0/

  • title ~= ^(fix|feat|docs|style|refactor|perf|test|build|ci|chore|revert|release)(?:\(.+\))?:

@csbobby csbobby changed the title constraint upgrade [m-decomp] constraint upgrade Feb 25, 2026
@jakelorocco jakelorocco changed the title [m-decomp] constraint upgrade feat(m-decomp): constraint upgrade Feb 25, 2026
Copy link
Contributor

@jakelorocco jakelorocco left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please make sure to run the pre-commit hooks. There's some formatting issues scattered throughout the PR.

I also worry that this is continuing the trend of the decompose module not being melleaic (mostly that it doesn't use components for templating). But I guess it doesn't worsen the problem, so I'm just flagging it now for future consideration.

@csbobby
Copy link
Contributor Author

csbobby commented Feb 26, 2026

:) The fixes are done @jakelorocco.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants