656 val0b move commit validation vocabulary into core and re scope validation - #658
Merged
evomimic merged 3 commits intoAug 24, 2026
Conversation
Re-scope Validation as a one-way Core extension, replace binding associations with ValidationBindings, and define Core seed rules. Rename the shared AffordedBy inverse relationship used by Core value operators and Validation rule operators into distinct schema-backed names: ValueTypeAffordedBy and ValidationRuleAffordedBy. This avoids ambiguous inverse relationship traversal on OperatorType while preserving the existing forward AffordsOperator relationship name in both schemas. Also update the CoreRelationshipTypeName enum, OperatorDescriptor::afforded_by(), regenerate the JSON imports, and add regression coverage for resolving both operator inverse affordance names independently.
12 tasks
Owner
Author
ApproveApproved for Issue #656. PR 658 moves the Commit-validation vocabulary and retained unbound seed rules into Core, re-scopes Validation as a one-way Core extension, removes the obsolete association-binding model, and introduces no runtime validation or active bindings. The added Sweettest verifies the Non-blocking: the Validation fixture comment still describes bindings as Validation-owned; the contract is now Core-owned. |
evomimic
deleted the
656-val0b-move-commit-validation-vocabulary-into-core-and-re-scope-validation
branch
August 24, 2026 14:32
11 tasks
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #656
Summary
Moves Commit-validation vocabulary and retained seed rules into MAP Core Schema, while retaining Validation as a normal one-way Core extension.
Changes
ValidationRulemetadata, Commit rule families, rule properties, seed rules, and additiveValidationBindings.ValidationBinding -> AppliesTo -> UsesRuleassociation model.Validate, and Command/Dance/Agreement rule families.RuleOf/Rulesrelationships so schemas can own validation rules without treating rules as type descriptors.ComponentOfrestricted to descriptor membership.ExactlyOneDescribedBy.ValidationRule; all other retained seed identities move to Core.ValidationBindingsoccurrences.Testing
npm testnpm run map-schema:compile:coreschemanpm run map-schema:check:coreschemacargo test --manifest-path shared_crates/type_system/type_names/Cargo.tomlgit diff --checkNotes
No runtime validation handlers, rule dispatch, active bindings, result persistence, or Commit enforcement are introduced.