Chapter 25 — Constitutional Extension Framework
Part III — Behavioural, Policy, Workflow and Capability Extensions
Part III defines the governed behavioural extension layer through which ZAYAZ may add or specialise:
- policies;
- decision logic;
- reasoning procedures;
- computations;
- methodologies;
- allocation rules;
- scenario models;
- workflows;
- Tasks;
- Gates;
- commands;
- events;
- agents;
- models;
- tools;
- Modules;
- Components;
- services;
- integrations;
- runtime capabilities;
- feature and rollout profiles.
Part I established the constitutional boundaries, Extension Classes, Extension Points, Namespaces, authority, lifecycle, compatibility and layered architecture.
Part II established structural Extensions for Object Types, properties, datatypes, units, Value Providers, Registries, Relationship Types, graph constraints, inference, validation and migration.
Part III governs behaviour executed against those structures.
The governing principles are:
A Behavioural Extension SHALL execute only within an explicit capability, authority, tenant, purpose, temporal and side-effect boundary.
An Extension may add or specialise behaviour, but it SHALL NOT silently change the semantic meaning of the structural artefacts upon which that behaviour operates.
Policy evaluation, decisioning, computation, workflow execution, agent action, tool invocation and integration side effects SHALL remain distinguishable and independently traceable.
A successful execution SHALL not establish that the underlying Extension was constitutionally authorised, semantically correct, assured or suitable for publication.
Every behavioural outcome SHALL preserve the exact Extension Package, Runtime Bundle, Module, Component, actor, authority, inputs, context, time, side effects and provenance that produced it.
The behavioural extension path is:
Approved Behavioural Extension Definition
│
▼
Behavioural Extension Point
│
├── Policy Point
├── Decision Point
├── Computation Point
├── Methodology Point
├── Workflow Point
├── Task and Gate Point
├── Event and Command Point
├── Agent and Tool Point
├── Module and Component Point
└── Integration Contract Point
│
▼
Behavioural Artefact Definition
│
├── Capability
├── Inputs and Outputs
├── Preconditions
├── Authority
├── Side Effects
├── Tenant Scope
├── Security
├── Reliability
├── Compatibility
└── Provenance
│
▼
Compiler Projection
│
├── Executable Policy
├── Decision Table
├── Computation Plan
├── Workflow Definition
├── Event Schema
├── Agent Profile
├── Tool Contract
├── Component Contract
└── Conformance Fixtures
│
▼
HECATE Validation and Governance Approval
│
▼
Scoped Activation
│
▼
Runtime Execution and Decision Receipts
Behavioural Extensions SHALL remain independent of any one rules engine, policy language, workflow platform, model provider, agent framework, function-calling protocol, event bus, service mesh, programming language, cloud platform or integration vendor.
25.25. Behavioural Extension Model
A Behavioural Extension is an Extension that adds, specialises, constrains or adapts governed executable behaviour.
It SHALL attach through an approved Behavioural Extension Point.
25.25.1. Behavioural Extension Identity
Every Behavioural Extension SHALL possess:
- Behavioural Extension Identifier;
- Extension Definition;
- Namespace;
- Behavioural Extension Type;
- owner;
- authority;
- Extension Point;
- owning Module;
- implementing Components;
- scope;
- capability;
- inputs;
- outputs;
- preconditions;
- postconditions;
- side effects;
- security;
- reliability;
- compatibility;
- lifecycle;
- version;
- effective time;
- provenance.
25.25.2. Behavioural Extension Types
Behavioural Extension Types MAY include:
- Policy Extension;
- Decision Extension;
- Reasoning Extension;
- Computation Extension;
- Methodology Extension;
- Workflow Extension;
- Task Extension;
- Gate Extension;
- Event Extension;
- Command Extension;
- Agent Extension;
- Model Extension;
- Tool Extension;
- Module Extension;
- Component Extension;
- Service Extension;
- Integration Contract Extension;
- Capability Extension;
- Rollout Extension.
25.25.3. Behavioural Artefact
A Behavioural Artefact MAY be:
- policy;
- rule set;
- decision table;
- decision graph;
- reasoning procedure;
- computation plan;
- formula;
- model;
- methodology;
- workflow;
- Task;
- Gate;
- state transition;
- command;
- event;
- agent profile;
- tool contract;
- service contract;
- Component manifest;
- capability profile;
- rollout profile.
Every material Behavioural Artefact SHALL possess stable identity.
25.25.4. Behavioural Capability
A capability SHALL define:
- capability identity;
- semantic purpose;
- permitted actors;
- permitted Components;
- input types;
- output types;
- side effects;
- authority;
- tenant scope;
- security;
- reliability;
- observability;
- provenance.
25.25.5. Behavioural Scope
Scope MAY be:
- global approved;
- framework;
- jurisdiction;
- sector;
- white-label;
- tenant;
- organisation;
- legal entity;
- Module;
- Component;
- workflow;
- agent;
- integration;
- publication process;
- assurance engagement;
- experimental environment.
25.25.6. Input Contract
Every executable Behavioural Artefact SHALL define:
- required inputs;
- optional inputs;
- source authority;
- schema;
- units;
- temporal semantics;
- tenant;
- security classification;
- missing-input treatment;
- validation;
- provenance.
25.25.7. Output Contract
Every output contract SHALL define:
- output identity;
- output type;
- schema;
- semantic meaning;
- confidence or uncertainty where applicable;
- authority state;
- lifecycle;
- evidence;
- publication eligibility;
- provenance.
25.25.8. Preconditions
Preconditions MAY include:
- valid Runtime Context;
- active Extension Package;
- required Role;
- required Authority Assignment;
- required evidence;
- required validation;
- required source state;
- required tenant;
- required time;
- required approval;
- required assurance;
- required security posture.
Failure of a precondition SHALL be distinguished from execution failure.
25.25.9. Postconditions
Postconditions SHALL identify:
- expected state;
- emitted events;
- produced outcomes;
- persisted changes;
- receipts;
- validation;
- reconciliation;
- provenance.
25.25.10. Side Effects
Side effects MAY include:
- data mutation;
- graph mutation;
- event emission;
- workflow transition;
- external API call;
- notification;
- publication action;
- financial posting;
- evidence creation;
- access change;
- agent invocation.
Every side effect SHALL require explicit capability and authority.
25.25.11. Pure and Impure Behaviour
A pure Behavioural Artefact has no external side effects and is determined by declared inputs and dependencies.
An impure Behavioural Artefact may produce side effects.
The classification SHALL be explicit.
25.25.12. Deterministic and Non-Deterministic Behaviour
Behaviour SHALL declare whether it is:
- deterministic;
- conditionally deterministic;
- stochastic;
- probabilistic;
- model-dependent;
- human-dependent;
- external-system-dependent.
Non-determinism SHALL preserve seed, model, external state or other reproducibility metadata where available.
25.25.13. Authority Outcome
A behavioural outcome MAY be:
- authoritative;
- proposed;
- advisory;
- derived;
- provisional;
- simulated;
- experimental;
- rejected.
Execution success SHALL not promote an advisory or derived output to authoritative state.
25.25.14. Behavioural Conflict
A Behavioural Conflict MAY arise from:
- incompatible policies;
- conflicting decisions;
- overlapping workflow ownership;
- duplicate command handlers;
- incompatible event semantics;
- conflicting computation methods;
- incompatible agent authorities;
- Component capability collision;
- integration side-effect conflict.
Unresolved conflict SHALL block authoritative activation or execution.
25.25.15. Behavioural Snapshot
A Behavioural Snapshot SHALL identify the exact behavioural state applicable to an execution, including:
- active policies;
- decision logic;
- computations;
- workflows;
- agents;
- tools;
- Components;
- Integration Contracts;
- versions;
- Package digests;
- Runtime Bundle;
- provenance.
25.25.16. Behavioural Drift
Behavioural Drift exists where observed executable behaviour differs from the approved Behavioural Snapshot.
Drift MAY include:
- changed rule;
- changed prompt;
- changed formula;
- changed workflow branch;
- unregistered tool;
- changed model;
- changed event handler;
- changed endpoint;
- changed retry policy;
- changed side effect;
- undocumented feature flag.
Material drift SHALL trigger containment, rollback, suspension or incident treatment.
25.25.17. Behavioural Validation
HECATE SHALL validate:
- identity;
- Namespace;
- Extension Point;
- Module and Component lineage;
- capability;
- contracts;
- preconditions;
- side effects;
- authority;
- tenant scope;
- security;
- reliability;
- compatibility;
- provenance.
25.26. Policy Extensions
A Policy Extension adds or specialises a governed policy within an approved Policy Extension Point.
A policy SHALL define authoritative constraints, permissions, obligations or decision criteria.
25.26.1. Policy Extension Identity
Every Policy Extension SHALL possess:
- Policy Identifier;
- Namespace;
- canonical name;
- semantic purpose;
- owner;
- authority;
- Extension Point;
- policy class;
- target subjects;
- applicability;
- conditions;
- obligations;
- permissions;
- prohibitions;
- exceptions;
- precedence;
- lifecycle;
- version;
- effective time;
- provenance.
25.26.2. Policy Classes
Policy Classes MAY include:
- Governance Policy;
- Access Policy;
- Security Policy;
- Data Policy;
- Evidence Policy;
- Assurance Policy;
- Computation Policy;
- Workflow Policy;
- Agent Policy;
- Tool Policy;
- Integration Policy;
- Publication Policy;
- Retention Policy;
- Reliability Policy;
- Incident Policy;
- Tenant Policy;
- White-Label Policy;
- Jurisdictional Policy.
25.26.3. Policy Statement
A Policy Statement SHALL express one or more of:
- obligation;
- permission;
- prohibition;
- condition;
- exception;
- recommendation;
- escalation;
- delegation;
- evidence requirement;
- approval requirement.
25.26.4. Policy Subject
A policy MAY apply to:
- actor;
- Role;
- tenant;
- organisation;
- Object Type;
- object instance;
- Relationship Type;
- workflow;
- Task;
- Gate;
- agent;
- tool;
- Module;
- Component;
- Publication;
- integration;
- event;
- command.
25.26.5. Policy Applicability
Applicability SHALL evaluate:
- subject;
- tenant;
- white-label deployment;
- jurisdiction;
- framework;
- purpose;
- time;
- lifecycle;
- security classification;
- publication audience;
- assurance state;
- Runtime Bundle.
25.26.6. Policy Effect
Policy Effect MAY be:
- Permit;
- Deny;
- Require;
- Require Approval;
- Require Assurance;
- Require Evidence;
- Restrict;
- Mask;
- Escalate;
- Defer;
- Not Applicable;
- Indeterminate.
Indeterminate SHALL NOT be treated as Permit.
25.26.7. Deny Precedence
Where policy defines deny precedence, a Deny SHALL override Permit unless an explicit higher-authority exception applies.
Precedence SHALL be declared rather than inferred.
25.26.8. Policy Obligation
An obligation SHALL identify:
- obligated actor or Component;
- required action;
- due time;
- evidence;
- completion criteria;
- escalation;
- provenance.
25.26.9. Policy Exception
An exception SHALL identify:
- source policy;
- affected requirement;
- exception authority;
- scope;
- reason;
- risk;
- compensating controls;
- effective time;
- expiration;
- provenance.
25.26.10. Non-Overrideable Policy
Non-overrideable policy MAY include:
- tenant-isolation requirements;
- Core identity preservation;
- prohibited unauthorised publication;
- prohibited secret disclosure;
- required authority validation;
- required provenance;
- withdrawn Package prohibition;
- agent self-approval prohibition.
25.26.11. Policy Composition
Policy composition SHALL preserve:
- source policies;
- authority;
- precedence;
- combining algorithm;
- conflicts;
- exceptions;
- effective result;
- explanation;
- provenance.
25.26.12. Combining Algorithms
Combining algorithms MAY include:
- deny-overrides;
- permit-overrides;
- first-applicable;
- only-one-applicable;
- all-must-permit;
- highest-authority;
- most-specific;
- restrictive-wins;
- explicit ordered composition.
25.26.13. Policy Conflict
A Policy Conflict SHALL identify:
- conflicting policies;
- effects;
- authorities;
- scopes;
- precedence;
- unresolved state;
- execution impact;
- provenance.
25.26.14. Policy Decision
A Policy Decision SHALL possess:
- Policy Decision Identifier;
- request;
- subject;
- Runtime Context;
- applicable policies;
- effects;
- obligations;
- exceptions;
- decision;
- explanation;
- time;
- Component;
- provenance.
25.26.15. Policy Caching
A Policy Decision MAY be cached only where:
- context fingerprint matches;
- policy versions match;
- authority remains valid;
- subject state remains equivalent;
- no revocation exists;
- cache policy permits.
25.26.16. Policy Change
A material Policy change SHALL trigger impact analysis over:
- runtime decisions;
- workflows;
- agents;
- tools;
- publications;
- tenants;
- historical decisions;
- conformance.
25.26.17. Policy Compilation
The Constitutional Compiler SHOULD produce:
- executable policy artefacts;
- normalized policy representation;
- decision schemas;
- obligation schemas;
- explanation templates;
- test fixtures;
- manifest entries.
25.26.18. Policy Validation
HECATE SHALL validate:
- Policy identity;
- authority;
- subjects;
- applicability;
- effects;
- obligations;
- exceptions;
- precedence;
- conflicts;
- non-overrideable controls;
- provenance.
25.27. Decision and Reasoning Extensions
A Decision Extension adds or specialises governed decision logic.
A Reasoning Extension defines a procedure for deriving proposed or authoritative conclusions from governed inputs.
Decisioning and reasoning SHALL remain distinguishable from structural validation.
25.27.1. Decision Extension Identity
Every Decision Extension SHALL possess:
- Decision Logic Identifier;
- Namespace;
- canonical name;
- purpose;
- owner;
- authority;
- Extension Point;
- decision type;
- input contract;
- output contract;
- decision criteria;
- precedence;
- uncertainty treatment;
- explainability;
- lifecycle;
- version;
- provenance.
25.27.2. Decision Types
Decision Types MAY include:
- eligibility decision;
- applicability decision;
- materiality decision;
- approval decision;
- routing decision;
- prioritisation decision;
- risk decision;
- assurance decision;
- remediation decision;
- publication decision;
- access decision;
- allocation decision;
- classification decision.
25.27.3. Decision Representation
Decision logic MAY be represented as:
- decision table;
- decision tree;
- decision graph;
- rule set;
- scorecard;
- threshold model;
- optimisation model;
- probabilistic model;
- human decision procedure;
- hybrid procedure.
The representation SHALL preserve semantic identity.
25.27.4. Decision Inputs
Inputs SHALL preserve:
- identity;
- source;
- authority;
- version;
- value;
- unit;
- time;
- tenant;
- evidence;
- uncertainty;
- validation;
- provenance.
25.27.5. Decision Outcomes
Decision Outcomes SHALL use explicit classes.
Examples include:
- Approved;
- Rejected;
- Eligible;
- Ineligible;
- Condition Required;
- Escalation Required;
- Deferred;
- Restricted;
- Not Applicable;
- Indeterminate.
25.27.6. Decision Criteria
Criteria SHALL identify:
- criterion identity;
- source authority;
- threshold or condition;
- weight where applicable;
- precedence;
- evidence;
- exception treatment;
- provenance.
25.27.7. Decision Table Extension
A Decision Table SHALL define:
- input clauses;
- output clauses;
- hit policy;
- rule order;
- default treatment;
- ambiguity treatment;
- completeness;
- provenance.
25.27.8. Scoring Extension
A scoring method SHALL preserve:
- factors;
- weights;
- normalization;
- missing-value treatment;
- thresholds;
- calibration;
- sensitivity;
- explanation;
- provenance.
25.27.9. Probabilistic Decision
A probabilistic decision SHALL preserve:
- model;
- probability;
- calibration;
- threshold;
- uncertainty;
- assumptions;
- false-positive and false-negative treatment;
- human review requirement;
- provenance.
25.27.10. Reasoning Procedure
A Reasoning Procedure SHALL identify:
- premises;
- permitted reasoning steps;
- conclusion types;
- uncertainty;
- contradiction treatment;
- stopping condition;
- review;
- provenance.
25.27.11. Human Decision
A Human Decision SHALL preserve:
- decision maker;
- Role;
- authority;
- evidence reviewed;
- criteria;
- conflicts of interest;
- rationale;
- time;
- signature where required;
- provenance.
25.27.12. Hybrid Decision
A hybrid decision SHALL distinguish:
- machine recommendation;
- human judgement;
- policy effect;
- override;
- final authority;
- explanation;
- provenance.
25.27.13. Decision Override
An override SHALL preserve:
- original recommendation or decision;
- overriding actor;
- authority;
- reason;
- evidence;
- risk;
- scope;
- time;
- provenance.
25.27.14. Non-Overrideable Decision
A decision MAY be non-overrideable where Core, legal, security or authority policy requires it.
25.27.15. Decision Consistency
Consistency validation SHALL evaluate:
- equivalent-case treatment;
- threshold stability;
- missing-value treatment;
- version consistency;
- tenant isolation;
- discriminatory effect where applicable;
- provenance.
25.27.16. Decision Receipt
A Decision Receipt SHALL contain:
- decision request;
- Runtime Context;
- applicable Extension versions;
- inputs;
- criteria;
- policy effects;
- outcome;
- obligations;
- override;
- actor or Component;
- time;
- explanation;
- provenance.
25.27.17. Decision Replay
Decision Replay SHALL use historical:
- inputs;
- policies;
- decision logic;
- model;
- thresholds;
- Runtime Context;
- authority;
- time;
- Runtime Bundle.
25.27.18. Decision Compilation
The Constitutional Compiler SHOULD produce:
- executable decision artefacts;
- normalized tables or graphs;
- decision schemas;
- explanation templates;
- test vectors;
- conformance fixtures.
25.27.19. Decision Validation
HECATE SHALL validate:
- identity;
- inputs;
- criteria;
- outcomes;
- uncertainty;
- override;
- authority;
- consistency;
- explainability;
- replay metadata;
- provenance.
25.28. Computation and Methodology Extensions
A Computation Extension adds or specialises a governed computation.
A Methodology Extension defines the governed method, assumptions, factors, boundaries, allocation and uncertainty treatment applied by one or more computations.
25.28.1. Computation Extension Identity
Every Computation Extension SHALL possess:
- Computation Identifier;
- Namespace;
- canonical name;
- semantic purpose;
- owner;
- authority;
- Extension Point;
- owning Module;
- implementing Component;
- input contract;
- output contract;
- methodology;
- formula or algorithm;
- assumptions;
- factors;
- units;
- precision;
- uncertainty;
- lifecycle;
- version;
- provenance.
25.28.2. Computation Types
Computation Types MAY include:
- aggregation;
- allocation;
- conversion;
- normalisation;
- intensity;
- footprint;
- lifecycle calculation;
- scenario calculation;
- forecast;
- discounting;
- financial-impact calculation;
- risk calculation;
- probability calculation;
- optimisation;
- reconciliation;
- Monte Carlo simulation;
- Bayesian update.
25.28.3. Methodology Identity
Every Methodology Extension SHALL possess:
- Methodology Identifier;
- Namespace;
- semantic definition;
- authority;
- scope;
- boundary;
- steps;
- assumptions;
- factors;
- allocation rules;
- exclusions;
- uncertainty;
- validation;
- assurance treatment;
- publication treatment;
- version;
- provenance.
25.28.4. Formula Extension
A formula SHALL preserve:
- expression;
- variable identities;
- units;
- operator semantics;
- order of operations;
- precision;
- rounding;
- missing-value treatment;
- provenance.
25.28.5. Algorithm Extension
An algorithm SHALL preserve:
- algorithm identity;
- implementation-independent specification;
- complexity expectations;
- determinism;
- inputs;
- outputs;
- dependencies;
- error treatment;
- provenance.
25.28.6. Boundary
A computation boundary SHALL identify:
- organisational boundary;
- operational boundary;
- product boundary;
- lifecycle stages;
- value-chain scope;
- geography;
- reporting period;
- exclusions;
- provenance.
25.28.7. Allocation Rule
An allocation rule SHALL identify:
- allocation subject;
- allocation basis;
- numerator and denominator;
- hierarchy;
- residual treatment;
- double-counting control;
- rounding;
- evidence;
- provenance.
25.28.8. Factor Use
Factor use SHALL preserve:
- factor identity;
- source;
- version;
- geography;
- period;
- unit;
- methodology;
- uncertainty;
- licence;
- provenance.
25.28.9. Assumption Use
Material assumptions SHALL preserve:
- assumption identity;
- owner;
- reason;
- evidence;
- sensitivity;
- validity period;
- affected outputs;
- approval;
- provenance.
25.28.10. Scenario Extension
A Scenario Extension SHALL identify:
- Scenario Identifier;
- assumptions;
- parameters;
- time horizon;
- pathways;
- probability or weighting;
- model;
- dependencies;
- limitations;
- provenance.