Published

Constraint / Requirement Rule

vr.wm-knw-013 · wm-knw-013-constraint-requirement-rule

Represent one governed formal or formalizable rule that constrains, requires, permits or prohibits a subject under explicit applicability, authority and evaluation semantics.

World Models Information and virtual systems INF.KNW.CNS

Bundle → Layer → Finding → Questions Classifiers What it is Why it exists Distinguishing features What robots and AI may and may not do Moral aspects Owners Links to other meta-models Identity and identifiers Direct properties Recognition Capabilities and actions Hazards and failure modes Standards and interfaces Context of use Sources

Bundle → Layer → Finding → Questions Filled

6 bundles · 12 layers · 24 findings · 72 questions

Rule identity, expression, kind and force Groups the governed Resource Consumption concern for rule identity, expression, kind and force.

Identity, revision, source and expression

Groups Resource Consumption context for identity, revision, source and expression without importing neighboring master lifecycles.

Rule identifier, namespace, version, revision, predecessor and successor

Records rule identifier, namespace, version, revision, predecessor and successor as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish rule identifier, namespace, version, revision, predecessor and successor? identity
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses rule identifier, namespace, version, revision, predecessor and successor, and under which authority? ownership
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify rule identifier, namespace, version, revision, predecessor and successor? validation

Source statement, normalized natural language and formal expression

Records source statement, normalized natural language and formal expression as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish source statement, normalized natural language and formal expression? definition
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses source statement, normalized natural language and formal expression, and under which authority? authority
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify source statement, normalized natural language and formal expression? security

Rule kind, modality and criticality

Groups Resource Consumption context for rule kind, modality and criticality without importing neighboring master lifecycles.

Requirement, constraint, invariant, business, validation, policy and legal rule kind

Records requirement, constraint, invariant, business, validation, policy and legal rule kind as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish requirement, constraint, invariant, business, validation, policy and legal rule kind? classification
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses requirement, constraint, invariant, business, validation, policy and legal rule kind, and under which authority? requirement
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify requirement, constraint, invariant, business, validation, policy and legal rule kind? privacy

Obligation, prohibition, permission, must, should, may, severity, priority and criticality

Records obligation, prohibition, permission, must, should, may, severity, priority and criticality as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish obligation, prohibition, permission, must, should, may, severity, priority and criticality? requirement
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses obligation, prohibition, permission, must, should, may, severity, priority and criticality, and under which authority? constraint
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify obligation, prohibition, permission, must, should, may, severity, priority and criticality? retention

Authority, subject, scope and applicability Groups the governed Resource Consumption concern for authority, subject, scope and applicability.

Issuer, owner, roles and authority

Groups Resource Consumption context for issuer, owner, roles and authority without importing neighboring master lifecycles.

Issuer, owner, steward, subject, target, beneficiary and accountable role

Records issuer, owner, steward, subject, target, beneficiary and accountable role as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish issuer, owner, steward, subject, target, beneficiary and accountable role? authority
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses issuer, owner, steward, subject, target, beneficiary and accountable role, and under which authority? process
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify issuer, owner, steward, subject, target, beneficiary and accountable role? access

Mandate, source, rationale, evidence, jurisdiction and authority scope

Records mandate, source, rationale, evidence, jurisdiction and authority scope as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish mandate, source, rationale, evidence, jurisdiction and authority scope? provenance
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses mandate, source, rationale, evidence, jurisdiction and authority scope, and under which authority? event
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify mandate, source, rationale, evidence, jurisdiction and authority scope? exception

Applicability, context, trigger and time

Groups Resource Consumption context for applicability, context, trigger and time without importing neighboring master lifecycles.

Subject class, object scope, system boundary, context and exclusion

Records subject class, object scope, system boundary, context and exclusion as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish subject class, object scope, system boundary, context and exclusion? constraint
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses subject class, object scope, system boundary, context and exclusion, and under which authority? measurement
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify subject class, object scope, system boundary, context and exclusion? interoperability

Precondition, activation trigger, effective period, suspension and expiry

Records precondition, activation trigger, effective period, suspension and expiry as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish precondition, activation trigger, effective period, suspension and expiry? temporal
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses precondition, activation trigger, effective period, suspension and expiry, and under which authority? evidence
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify precondition, activation trigger, effective period, suspension and expiry? decision

Predicate, operands, types, units and composition Groups the governed Resource Consumption concern for predicate, operands, types, units and composition.

Predicate, variable, operand and datatype

Groups Resource Consumption context for predicate, variable, operand and datatype without importing neighboring master lifecycles.

Predicate, left and right operand, operator, variable binding and function

Records predicate, left and right operand, operator, variable binding and function as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish predicate, left and right operand, operator, variable binding and function? constraint
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses predicate, left and right operand, operator, variable binding and function, and under which authority? quality
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify predicate, left and right operand, operator, variable binding and function? identity

Datatype, value set, unit, dimension, tolerance, pattern, cardinality and default

Records datatype, value set, unit, dimension, tolerance, pattern, cardinality and default as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish datatype, value set, unit, dimension, tolerance, pattern, cardinality and default? validation
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses datatype, value set, unit, dimension, tolerance, pattern, cardinality and default, and under which authority? validation
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify datatype, value set, unit, dimension, tolerance, pattern, cardinality and default? classification

Logic, quantification, composition and dependency

Groups Resource Consumption context for logic, quantification, composition and dependency without importing neighboring master lifecycles.

And, or, not, xone, sequence, quantifier, implication and equivalence

Records and, or, not, xone, sequence, quantifier, implication and equivalence as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish and, or, not, xone, sequence, quantifier, implication and equivalence? composition
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses and, or, not, xone, sequence, quantifier, implication and equivalence, and under which authority? security
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify and, or, not, xone, sequence, quantifier, implication and equivalence? composition

Dependency, import, parameter reference, recursion, order and termination

Records dependency, import, parameter reference, recursion, order and termination as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish dependency, import, parameter reference, recursion, order and termination? relationship
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses dependency, import, parameter reference, recursion, order and termination, and under which authority? privacy
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify dependency, import, parameter reference, recursion, order and termination? relationship

Traceability, exception, waiver, conflict and precedence Groups the governed Resource Consumption concern for traceability, exception, waiver, conflict and precedence.

Requirement trace and satisfaction links

Groups Resource Consumption context for requirement trace and satisfaction links without importing neighboring master lifecycles.

Need, requirement, rule, derivation, refinement, decomposition and allocation

Records need, requirement, rule, derivation, refinement, decomposition and allocation as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish need, requirement, rule, derivation, refinement, decomposition and allocation? relationship
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses need, requirement, rule, derivation, refinement, decomposition and allocation, and under which authority? retention
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify need, requirement, rule, derivation, refinement, decomposition and allocation? state

Satisfaction, verification, validation, test, control and evidence reference

Records satisfaction, verification, validation, test, control and evidence reference as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish satisfaction, verification, validation, test, control and evidence reference? evidence
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses satisfaction, verification, validation, test, control and evidence reference, and under which authority? access
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify satisfaction, verification, validation, test, control and evidence reference? lifecycle

Exception, waiver, conflict and resolution

Groups Resource Consumption context for exception, waiver, conflict and resolution without importing neighboring master lifecycles.

Exception, deviation, waiver, scope, request, approver, condition and expiry

Records exception, deviation, waiver, scope, request, approver, condition and expiry as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish exception, deviation, waiver, scope, request, approver, condition and expiry? exception
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses exception, deviation, waiver, scope, request, approver, condition and expiry, and under which authority? exception
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify exception, deviation, waiver, scope, request, approver, condition and expiry? temporal

Conflict, overlap, priority, specificity, precedence, combining and resolution

Records conflict, overlap, priority, specificity, precedence, combining and resolution as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish conflict, overlap, priority, specificity, precedence, combining and resolution? decision
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses conflict, overlap, priority, specificity, precedence, combining and resolution, and under which authority? interoperability
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify conflict, overlap, priority, specificity, precedence, combining and resolution? spatial

Evaluation, outcome, evidence and lifecycle Groups the governed Resource Consumption concern for evaluation, outcome, evidence and lifecycle.

Evaluation input, engine, result and evidence

Groups Resource Consumption context for evaluation input, engine, result and evidence without importing neighboring master lifecycles.

Input snapshot, engine, profile version, evaluation time and trace

Records input snapshot, engine, profile version, evaluation time and trace as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish input snapshot, engine, profile version, evaluation time and trace? process
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses input snapshot, engine, profile version, evaluation time and trace, and under which authority? decision
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify input snapshot, engine, profile version, evaluation time and trace? provenance

Satisfied, violated, indeterminate, not applicable, unknown and waived outcome

Records satisfied, violated, indeterminate, not applicable, unknown and waived outcome as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish satisfied, violated, indeterminate, not applicable, unknown and waived outcome? state
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses satisfied, violated, indeterminate, not applicable, unknown and waived outcome, and under which authority? identity
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify satisfied, violated, indeterminate, not applicable, unknown and waived outcome? ownership

Approval, effectivity, revision and retirement

Groups Resource Consumption context for approval, effectivity, revision and retirement without importing neighboring master lifecycles.

Draft, proposed, reviewed, approved, effective, suspended, superseded and retired state

Records draft, proposed, reviewed, approved, effective, suspended, superseded and retired state as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish draft, proposed, reviewed, approved, effective, suspended, superseded and retired state? lifecycle
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses draft, proposed, reviewed, approved, effective, suspended, superseded and retired state, and under which authority? classification
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify draft, proposed, reviewed, approved, effective, suspended, superseded and retired state? authority

Correction, amendment, replacement, retraction, migration and audit lineage

Records correction, amendment, replacement, retraction, migration and audit lineage as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish correction, amendment, replacement, retraction, migration and audit lineage? lifecycle
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses correction, amendment, replacement, retraction, migration and audit lineage, and under which authority? composition
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify correction, amendment, replacement, retraction, migration and audit lineage? requirement

Governance, access, retention and interoperability Groups the governed Resource Consumption concern for governance, access, retention and interoperability.

Quality, security, access and retention

Groups Resource Consumption context for quality, security, access and retention without importing neighboring master lifecycles.

Completeness, consistency, decidability, testability, quality and assurance

Records completeness, consistency, decidability, testability, quality and assurance as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish completeness, consistency, decidability, testability, quality and assurance? quality
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses completeness, consistency, decidability, testability, quality and assurance, and under which authority? relationship
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify completeness, consistency, decidability, testability, quality and assurance? constraint

Purpose, role, confidentiality, minimum disclosure, retention and legal hold

Records purpose, role, confidentiality, minimum disclosure, retention and legal hold as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish purpose, role, confidentiality, minimum disclosure, retention and legal hold? access
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses purpose, role, confidentiality, minimum disclosure, retention and legal hold, and under which authority? state
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify purpose, role, confidentiality, minimum disclosure, retention and legal hold? process

Standards crosswalk, conformance and loss

Groups Resource Consumption context for standards crosswalk, conformance and loss without importing neighboring master lifecycles.

Requirements, model, rule, shape, schema, policy, control and API crosswalk

Records requirements, model, rule, shape, schema, policy, control and api crosswalk as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish requirements, model, rule, shape, schema, policy, control and api crosswalk? interoperability
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses requirements, model, rule, shape, schema, policy, control and api crosswalk, and under which authority? lifecycle
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify requirements, model, rule, shape, schema, policy, control and api crosswalk? event

Profile, version, license, engine conformance, transformation and semantic loss

Records profile, version, license, engine conformance, transformation and semantic loss as a source-qualified Constraint / Requirement Rule assertion while requirements, policies, standards, systems, tests, decisions, evidence and enforcement retain external mastership.

Which identity, source expression, rule kind, normative force, subject, scope and revision establish profile, version, license, engine conformance, transformation and semantic loss? validation
Who issues, owns, formalizes, approves, evaluates, waives, resolves, revises or discloses profile, version, license, engine conformance, transformation and semantic loss, and under which authority? temporal
Which predicate, operands, dependencies, outcome, exceptions, conflicts, evidence and interoperability limits qualify profile, version, license, engine conformance, transformation and semantic loss? measurement

Classifiers Filled

Family: World Models
Category: Information and virtual systems
Entry kind: entity
Navigation path: NAV.INF.KNW.CNS
Domain: INF.KNW.CNS
Industry: Cross-industry
Tags: constraintrequirementruleinf.knw.cns

What it is Filled

Owns rule identity and immutable revision; source statement and normalized expression; rule kind, normative modality, severity, priority and criticality; issuer, owner, steward, subject, target, beneficiary and authority; rationale and evidence references; scope, jurisdiction, system boundary, applicability, trigger, preconditions and effective period; predicate, operands, variables, operators, datatypes, units, tolerance, cardinality, quantifiers and logical composition; dependencies and traceability; evaluation input, engine, profile, result and evidence; exceptions, waivers, conflicts and precedence; approval, effectivity, suspension, correction, retirement, access, retention and loss-aware projections. Requirement, policy, standard, control, system, object, actor, decision, test, observation, evidence, exception and enforcement masters remain external.

In scope

Rule identity, source and normalized expression, kind, modality, revision and authority
Applicability, predicate, operands, datatypes, units, logic, dependency, traceability, evaluation and outcomes
Exceptions, conflicts, lifecycle, provenance, governance, access, retention and interoperability

Out of scope

Owning stakeholder need, requirement record, policy, standard, control, system, object, actor, decision, test, observation, evidence, exception or enforcement lifecycles
Equating syntax validity with satisfaction, satisfaction with conformance, conformance with compliance, rule-engine output with accountable decision, or normative keyword with authority absent an adopting context
Executing approval, waiver, enforcement, protected disclosure, external system mutation, safety action or irreversible deletion

Why it exists Filled

Represent one governed formal or formalizable rule that constrains, requires, permits or prohibits a subject under explicit applicability, authority and evaluation semantics.

Distinguishing features Filled

A normative statement with an explicit modality such as must, should or may, separate from the requirement record that tracks a stakeholder need.
Differs from a policy or standard document, which is a source that contains many rules, and from a control, which implements a rule.
Differs from a validation shape or schema, which checks data structure but does not carry authority or rationale.
Satisfaction, conformance and compliance are separate judgements, and a rule-engine output is not an accountable decision.

What robots and AI may and may not do Filled

Must not

Treat a successful syntax check as proof that the rule is satisfied or correct.
Approve, activate, waive or retire a rule.
Enforce a rule against a person or system as if engine output were a decision.
Change the meaning of an active rule without a new revision.
Resolve a conflict between rules by silently choosing one.

Only with a human decision

Approving, activating or retiring a rule.
Granting a waiver or exception.
Enforcement actions against people based on rule evaluation.

May

Record a rule with its source statement, normalised expression, modality, subject and scope.
Formalise a rule into a machine-checkable expression linked to the source text.
Evaluate rules against data and record results with the rule revision used.
Detect and report conflicts, overlaps and gaps between rules.

Moral aspects Filled

Rules applied automatically to people must be explainable and open to challenge.
A badly formalised rule can deny people services or rights they are entitled to.
Safety and legal rules protect people, so waivers need clear accountability.

Who is affected

People and organisations subject to the rule
Rule owners and issuing authorities
Operators of systems that apply the rule
Auditors and regulators

Owners Filled

Steward

Declare the Dimension owner, rule steward, requirement and policy owners, issuing authorities, evaluators, approvers and disclosure roles.

Roles

Dimension owner: Own namespace, mastership, delegation, access, retention and federation rules.
Rule steward: Own rule identity, kinds, operators, lifecycle, version and crosswalk policy.
Issuer or requirement owner: Own source intent, authority, applicability, rationale and approval request.
Domain or vocabulary steward: Own referenced terms, datatypes, units, value sets and profiles.
Rule author or formalizer: Own normalized expression, mappings, test fixtures and declared semantic limits.
Evaluator or engine authority: Own input snapshot, engine, profile, evaluation trace and result assertion.
Approver or exception authority: Own effectivity, waiver, deviation, conflict resolution and accountable decisions.
Reviewer or auditor: Review authority, consistency, results, conflicts, corrections, access and retention without rewriting originals.

Links to other meta-models Filled

references

WM-REC-006 Requirement - Resolve the owning need or requirement record while the candidate parent relation remains under joint boundary review.
Policy, standard, control, system, object, test, decision, evidence, exception and enforcement masters - Resolve source, subject, evaluation and operational context without importing neighboring lifecycles.

aligned

ISO/IEC/IEEE 29148 and OMG SysML 2.0 - Project requirements engineering, traceability, derivation, satisfaction and system-model semantics.
OMG OCL, SBVR and DMN - Project model constraints, business vocabulary, normative rules, decision requirements and expressions.
W3C SHACL, OWL, SPARQL, ODRL and PROV constraints - Project graph validation, axioms, query expressions, policy constraints, normalization and validity.
PROV-O and DQV - Project revision, attribution, invalidation, quality and validation provenance.
OASIS LegalRuleML and XACML - Project legal normative and authorization-policy rule profiles with explicit limits.
JSON Schema 2020-12 and ISO Schematron 2025 - Project JSON and XML constraint expressions and evaluation outputs.
OpenAPI 3.1.1, NIST OSCAL and SP 800-53 - Project API, control-catalog, implementation and assessment requirement views.
RFC 2119, RFC 8174, RFC 3339 and RFC 8785 - Project normative keyword, temporal and deterministic serialization semantics.
CNCF Open Policy Agent Rego - Project one declarative policy-engine profile without making Rego the logical master.

neighbor

WM-REC-006 Requirement - Requirement owns the stakeholder need or governed requirement record. Constraint / Requirement Rule owns a separately reusable formal or formalizable normative expression; the candidate parent signal is held for review.
Policy, standard and control - These authoritative packages may issue or group rules. Their identity, governance and lifecycle remain external while each rule preserves source and authority.
Validation shape and schema - SHACL, JSON Schema and Schematron are executable projections. Schema syntax, engine conformance and validation reports do not replace rule identity or substantive intent.
Decision and enforcement - A rule evaluation supplies a qualified result. Accountable decisions, remedies, sanctions and physical or digital enforcement remain external actions.
Test, evidence and compliance assessment - Tests and evidence support verification or assessment. A passed test or satisfied predicate does not by itself prove system validation, compliance, safety or legal effect.
Exception, deviation and waiver - The rule records bounded exception references and their effect on evaluation. The external authorization case and accountable approval remain independently mastered.
Rule engine and executable code - Engines evaluate pinned projections against input snapshots. Runtime, deployment, code, security and operational lifecycles remain external.

What else AI and robots need to interact with it Filled

Sources Filled

ISO/IEC/IEEE 29148 Requirements engineering - International Organization for Standardization
Systems Modeling Language - Object Management Group
Object Constraint Language - Object Management Group
Semantics of Business Vocabulary and Business Rules - Object Management Group
Decision Model and Notation - Object Management Group
Shapes Constraint Language - World Wide Web Consortium
OWL 2 Web Ontology Language Structural Specification - World Wide Web Consortium
SPARQL 1.1 Query Language - World Wide Web Consortium
ODRL Information Model 2.2 - World Wide Web Consortium
Constraints of the PROV Data Model - World Wide Web Consortium
PROV-O: The PROV Ontology - World Wide Web Consortium
Data Quality Vocabulary - World Wide Web Consortium
LegalRuleML Core Specification - OASIS Open
XACML Version 3.0 - OASIS Open
JSON Schema Draft 2020-12 - JSON Schema
Schematron - International Organization for Standardization
OpenAPI Specification - OpenAPI Initiative
OSCAL - National Institute of Standards and Technology
Security and Privacy Controls - National Institute of Standards and Technology
Key words for use in RFCs - Internet Engineering Task Force
Ambiguity of Uppercase vs Lowercase in RFC 2119 Key Words - Internet Engineering Task Force
Date and Time on the Internet - Internet Engineering Task Force
JSON Canonicalization Scheme - Internet Engineering Task Force
Open Policy Agent Policy Language - Cloud Native Computing Foundation

Open questions

Domain, safety, legal, policy, security, privacy, jurisdiction, engine, licensing and retention profiles require expert review.
Requirements, policies, standards, controls, systems, objects, tests, decisions, evidence, exceptions and enforcement lifecycles remain neighboring masters.
Universal satisfiability, conflict resolution, theorem proving, optimization, code generation, autonomous enforcement and legal-effect determination remain future work.

Machine files

Card as JSON Specification AGENTS.md Source Card backlog vercy.card/1

Provenance

world-models research · reviewable-draft

Built from: models/wm-knw-013-constraint-requirement-rule/spec.yaml, ver-cy/world-models/card-supplements/wm-knw-013-constraint-requirement-rule.json