Infrastructure · Data Structures
Morphproof
A category defined partly by the transformations its members keep their identity under
Definition
Mechanism
A Category whose definition includes a list of transformations its members survive, such as paraphrase for an argument, translation for a claim or refactoring for a program. An item belongs only if it keeps the category's defining features under each listed transformation.
Invariants
- Lists the transformations under which members keep their identity.
- An item that loses the defining features under a listed transformation is not a member.
Risks
Failure modes
Untested invariance
transformations are listed but members are never tested under them.
Over-strict list
a transformation that legitimate members fail is listed, and the category empties.
Relationships
Builds on
References
Grouping of objects
Extends
Grouping of objects
Nothing in this library builds on this pattern yet.
Reference
Data schema
{
"type": "object",
"required": [
"label",
"survives"
],
"properties": {
"label": {
"type": "string",
"description": "Name of the category"
},
"parent": {
"type": "string",
"description": "Parent category ID (optional, for hierarchies)"
},
"members": {
"type": "array",
"items": {
"type": "string"
},
"description": "IDs of items belonging to this category"
},
"survives": {
"type": "array",
"items": {
"type": "string"
},
"minItems": 1,
"description": "Transformations under which members keep their identity"
}
}
}