constraint-generalization

Name: constraint-generalization
Availability: InStock
Author: plurigrid

Official

Generalize constraints across paths.

Software Engineering #refinement #navigation #composition #types #generalization #constraint #SAT

Authorplurigrid

Version1.0.0

Installs0

System Documentation

What problem does it solve?

Synthesize new constraints that hold across composed navigators, enabling refinement typing and safer compositions.

Core Features & Use Cases

Conjunctive constraint composition
Refined types for even_positive, etc.
Proof certificates for composed constraints

Quick Start

Given two navigators with even and positive constraints, compose them to derive an EvenPositiveInt refinement.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: constraint-generalization
Download link: https://github.com/plurigrid/asi/archive/main.zip#constraint-generalization

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.

View Source Repository