Skip to content

Declare model categories explicitly - #1136

Merged
isPANN merged 2 commits into
codex/dynamic-create-schemafrom
codex/explicit-model-categories
Aug 12, 2026
Merged

Declare model categories explicitly#1136
isPANN merged 2 commits into
codex/dynamic-create-schemafrom
codex/explicit-model-categories

Conversation

@isPANN

@isPANN isPANN commented Aug 12, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • keep the existing algebraic/formula/graph/misc/set structural taxonomy
  • require every problem schema to declare a typed ProblemCategory
  • make CLI filtering, schema JSON, and reduction graph export consume that metadata
  • remove all module-path category inference and other/uncategorized fallbacks
  • update model-development guidance and compile-fail coverage

Stack

Verification

  • cargo test --workspace --all-targets --features mcp
  • cargo test -p problemreductions-cli --all-targets --features mcp
  • cargo test -p problemreductions --doc
  • cargo clippy --workspace --all-targets --features mcp -- -D warnings
  • cargo run -q -p problemreductions-cli -- list
  • cargo run -q -p problemreductions-cli -- list --category unknown (expected non-zero)

Fixes #1135

@isPANN
isPANN merged commit a2ff52a into codex/dynamic-create-schema Aug 12, 2026
@isPANN
isPANN deleted the codex/explicit-model-categories branch August 12, 2026 09:03
isPANN added a commit that referenced this pull request Aug 12, 2026
* refactor: build create arguments from schemas

* feat: move problem construction contracts into models (#1134)

* refactor: make random generation model-owned

* refactor: simplify registry-driven create

* Declare model categories explicitly (#1136)

* refactor: declare model categories explicitly

* refactor: preserve typed categories in graph export

* refactor: parse only selected create model

* fix: remove conflicting graph partitioning alias
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.

1 participant