The foundational Authority Protocol for defining structural and behavioral guardrails within the framework's Mandate ontology.
Governance acts as a Type-Level Marker for objects that represent
official system policies. It binds a generic type V to the governance
hierarchy, allowing the Context to organize metadata into
distinct, type-safe Mandate dimensions.
When to use
You rarely need to implement this interface directly. The framework
provides ready‑to‑use enums like Ontology, Provenance, and Mandate.
Use their .entry(value) factory to create typed governance entries for
building contexts.
How it works
Each governance dimension is a typed key that holds a value of type V.
The framework uses these to enforce security, compliance, and operational
rules. The evolvable flag decides whether a dimension can be refined
when you create a deputy.
Non‑obvious
- The isType guard prevents type mismatches at runtime – it's why
you can't accidentally put a
Stringwhere aList<String>is expected. - The evolvable flag is what stops a deputy from changing its core
identity (like
roleortaxonomy) – that's intentional to prevent privilege escalation.
Type Parameters:
V: The expected value type for this specific governance dimension.
- Implemented types
- Implementers
- Available extensions
Properties
- evolvable → bool
-
Indicates whether this governance dimension can be specialized or
modified during a context Context.evolve operation.
no setter
- hashCode → int
-
The hash code for this object.
no setterinherited
- index → int
-
A numeric identifier for the enumerated value.
no setterinherited
- name → String
-
Available on Enum, provided by the EnumName extension
The name of the enum value.no setter - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
entry(
V value) → GovernanceEntry< Governance< V> , V> -
Synthesizes a new GovernanceEntry by binding a concrete
valueto this dimension's Governance protocol. -
isType(
Object value) → bool - A Type Guard and Ontological Validator that verifies if a given value conforms to the expected type of this governance dimension.
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited