Operating Systems for Accountable AIPaper 159 · Control Mobility
Work moves. Control must remain effective.

Controls That Move With the Workflow

A workflow can cross a planner, a model, an agent, a person, a vendor, an API and a system of record in minutes. A control fixed inside any one of them does not govern the journey. The practical answer is a signed, attenuating control envelope whose authority, duties, evidence, rights and recovery obligations remain enforceable at every hand-off.

Rajesh MahapatraPortfolio Paper 159British EnglishReviewed, unpublished

Work moves. Control must remain effective.

Controls That Move With the Workflow

Rajesh Ranjan Mahapatra

A workflow can cross a planner, a model, an agent, a person, a vendor, an API and a system of record in minutes. A control fixed inside any one of them does not govern the journey. The practical answer is a signed, attenuating control envelope whose authority, duties, evidence, rights and recovery obligations remain enforceable at every hand-off.

© 2026 Rajesh Ranjan Mahapatra. 23 min read

Controls That Move With the WorkflowAll Research Essays

TLDR

  • Attach a versioned Control Envelope to a work token, not merely to an application or organisational queue.
  • At every boundary, intersect received authority with local authority and capability; never copy permissions forward unchanged.
  • Keep policy authorship, policy decision and action enforcement separate, with independent receipts proving what each component did.
  • Treat purpose, authority, segregation, enforceability, mandatory evidence, affected-party rights and recoverability as hard continuity gates.
  • Quarantine or stop work when a destination cannot interpret, enforce, evidence, revoke or recover the obligations that matter.

The application is no longer the control boundary

Traditional control design assumes a fairly stable place: an ERP permission, a lending approval queue, a call-centre script, a claims rule or a manager's sign-off. Agentic work dissolves that stability. One task may be decomposed by a planner, enriched by a retrieval service, calculated by a model, reviewed by a human, sent to a vendor and committed through an API. Every hop can change who acts, what is visible and what can be enforced.

The resulting risk is not simply that a control is missing. It is that a control exists at the origin, appears in documentation and disappears in operation. A procurement agent may be instructed to obtain three quotations, then enter an ERP account whose technical privileges also permit supplier selection and ordering. A customer-service agent may issue a permissible £50 credit many times across channels because the per-case limit travels while the cumulative daily limit does not. A vendor may return a signed attestation even though its retention rule is not connected to the transaction path. These are control-orphaning failures.

The work therefore needs a durable identity of its own. This paper calls it a work token: a unique, traceable representation of a case, request or obligation. The token carries a Control Envelope, a signed declaration of purpose, authority, constraints, separation, evidence, rights and recovery rules. The envelope is not a licence to trust the next component. It is the input to a fresh local decision before any state-changing act.

A work token crossing five operating boundaries The token moves from planner to agent to human to vendor to system of record. The control envelope becomes narrower at each boundary and receipts return to an evidence chain. PLANNER purpose + route AGENT propose HUMAN authorise VENDOR fulfil RECORD commit Envelope A broad request A ∩ local narrowed approved bounded exact commit signed decision, enforcement and completion receipts
Figure 1. The envelope travels, but authority attenuates. Evidence travels back as a chain of receipts tied to the same token lineage.
Effective authority at step n = incoming authority ∩ local authority ∩ current capability ∩ current policy, minus prohibitions and expired conditions.

A Mobile Control Plane around the moving work

A Mobile Control Plane is the operating system for these envelopes. It does not centralise every decision or place a slow approval in every path. It makes the decision architecture explicit and portable. The token issuer establishes lineage. The envelope carries typed obligations. A policy authority publishes approved meaning. A decision mesh evaluates context. An enforcement mesh blocks or permits local acts. An inheritance resolver narrows authority. A segregation graph checks independence. Evidence, boundary, monitoring, incident and assurance services close the loop.

The plane has twelve parts because control continuity is broader than access control. Identity and authorisation matter, but so do purpose, cumulative limits, required evidence, affected-party rights and recovery. NIST's attribute-based access-control guidance supplies a useful foundation by relating subject, object, operation and environmental attributes. Zero-trust guidance adds per-resource decisions and policy enforcement close to resources. Neither alone proves that an appeal remains possible after expiry or that compensation repaired every downstream effect. The mobile plane extends those principles to the life of a business obligation.

The twelve components of the Mobile Control Plane A work token and control envelope sit at the centre, surrounded by twelve cooperating components for authority, enforcement, evidence, recovery and assurance. WORK TOKEN Control Envelope 1 · Token issuer 2 · Envelope schema 3 · Policy authority 4 · Decision mesh 5 · Enforcement mesh 6 · Inheritance resolver 7 · Segregation graph 8 · Evidence chain 9 · Boundary adapter 10 · Continuity monitor 11 · Incident + recovery 12 · Assurance plane
Figure 2. No component certifies itself. The decision service does not claim that enforcement happened; the enforcement point issues its own receipt, and assurance samples both.

A deployment can be modest. A small firm may use a signed JSON envelope, a compact policy service, gateway checks and an append-only evidence store. A bank may distribute policy bundles to hundreds of local enforcement points with version-skew monitoring and automated quarantine. What must not vary is the semantic contract: the receiver knows what each obligation means, can enforce it before action, can prove what occurred and can refuse the token when it cannot comply.

The Control Envelope is a contract, not a comment

Free-text instructions are valuable context but poor control objects. A model can reinterpret them, a vendor can ignore them and a receiving service may have no field against which to enforce them. The envelope must therefore be typed, versioned, integrity-protected and bound to the token. It should carry enough meaning for the next boundary to decide, while disclosing no more sensitive data than that decision requires.

Exploded view of a Control Envelope Nine stacked layers show identity, purpose, authority, limits, checks, policy, evidence, rights and lifecycle controls within a signed envelope. IDENTITY · token, parent, case, issuer, owner, requester, permitted principals PURPOSE · intended outcome, affected party, permitted use AUTHORITY · resources, operations, destinations, child derivation LIMITS · value, volume, time, population and data obligations CHECKS · human commitments, prohibited combinations, separation POLICY · rule versions, attributes, decision basis EVIDENCE · required artefacts, receipts, lineage RIGHTS + LIFECYCLE · appeal, expiry, revocation, recovery SIGNATURE · integrity · trust boundary
Figure 3. The exploded envelope. Its signature proves integrity and asserted origin, not the truth of attributes or the effectiveness of the receiving control.
Envelope field group Minimum content Boundary question Continuity proof
Identity and lineage Token, parent, case, issuer, accountable owner, requester and permitted principals. Is this token authentic, current and related to the claimed case? Signature validation, issuer trust record and parent-child link.
Purpose and affected party Permitted purpose, intended outcome, subject and prohibited secondary uses. Does this step advance the authorised purpose without repurposing the data? Purpose decision and resource-access receipt.
Authority and destination Allowed operations, resources, systems, regions and maximum delegation. Can this principal perform this exact act here? Decision identifier plus local enforcement receipt.
Limits and data duties Per-case and cumulative value, volume, time, population, minimisation, retention and residency. What must be counted across channels, and what data must stay local? Counter snapshot, redaction proof and storage-location receipt.
Checks and separation Required validation, approval commitments and prohibited role combinations. Is the reviewer genuinely independent of the proposer and evidence source? Signed acts mapped to distinct principals and dependencies.
Policy and evidence Policy, rule and model versions; required inputs, outputs, traces and completion receipts. Can the receiver reproduce the decision without exposing unnecessary sensitive inputs? Version hash, coverage attestation and tamper-evident receipt.
Rights and lifecycle Notice, explanation, appeal, expiry, revocation, reauthorisation, quarantine, stop and recovery. Can the affected party exercise rights after processing ends? Durable rights record, revocation acknowledgement and recovery closure.

Data minimisation creates an important design tension. A policy decision may need a sensitive attribute, while a trace should not expose it. The envelope can carry a signed claim such as “eligibility condition E17 satisfied under policy 4.2” rather than the underlying diagnosis or salary. The decision point retains protected evidence under a controlled reference. The enforcement receipt records the claim identifier, decision and policy version. Assurance can later test coverage without broadcasting the raw attribute through every system.

Inheritance means intersection, not copying

The central rule is attenuation: a child token can possess no more authority than its parent, the receiving principal and the current local policy jointly allow. Delegation is a new decision, not a transfer of ambient credentials. If a procurement token permits “collect three quotations”, the agent may create child requests to approved suppliers. It cannot turn an ERP service account into authority to select a supplier or place an order, even if the account could technically do both.

Control inheritance as set intersection Four overlapping circles represent incoming authority, local authority, capability and policy. Their small common centre is effective authority, with prohibitions removed. incoming local capability current policy EFFECTIVE AUTHORITY prohibitions removed
Figure 4. Authority is recalculated at each hop. A receiving system's technical capability is never treated as business authority.
Step Resolver action Failure to reject Receipt
1. Authenticate Validate issuer, signature, audience, nonce and freshness. Unknown issuer, replay, altered envelope or wrong destination. Validation result and trust-anchor version.
2. Resolve lineage Join child to parent and confirm the parent remains live. Orphan child, broken case link or revoked ancestor. Lineage hash and ancestor status.
3. Confirm purpose Match requested act to the declared purpose and affected party. Secondary use or a purpose too vague to constrain action. Purpose-match result.
4. Intersect authority Combine incoming scope, local permissions, present capability and current policy. Any attempted widening, credential piggybacking or unauthorised destination. Before-and-after authority sets.
5. Apply limits Reserve per-case and cumulative monetary, volume, population and time budgets. Counter unavailable, race condition or budget exceeded. Atomic reservation identifier.
6. Check data duties Apply minimisation, classification, residency, retention and disclosure rules. Destination cannot guarantee a hard data obligation. Transformation and destination receipts.
7. Test separation Map requested acts and dependencies to principals, models, sources and administrators. One principal controls incompatible acts or hidden dependencies destroy independence. Segregation graph snapshot.
8. Decide locally Obtain a policy decision against fresh, bounded context. Stale policy, missing attributes, policy outage outside degraded mode. Decision identifier and policy version.
9. Enforce before action Place the enforcement point on the state-changing path. The application can bypass the check or treats advice as enforcement. Permit or deny receipt.
10. Execute idempotently Bind the action to a unique operation key and expected state. Retry can duplicate a payment, credit or order. Operation key and committed state.
11. Collect evidence Capture mandatory inputs, outputs, checks and actor identities. Evidence absent, unverifiable or unconnected to the transaction. Evidence manifest.
12. Derive child Issue the smallest envelope required by the next step. Copied parent scope, excessive lifetime or unrestricted delegation. Signed derivation record.
13. Monitor continuity Watch expiry, revocation, version skew, delayed receipts and boundary health. A hard obligation becomes unenforceable during transit. Continuity state and alerts.
14. Close or recover Reconcile outcome, preserve rights, compensate partial effects and close lineage. Business outcome or downstream effects remain unresolved. Closure or recovery docket.
Moving-Control Reauthorisation Rule. Reauthorise when purpose, affected party, destination class, authority set, hard obligation, material limit, policy meaning or recovery route changes. A new component instance alone need not trigger human review if its attested control contract is equivalent and the authority only narrows.

Decision is not enforcement

Policy architecture becomes credible when four responsibilities can be examined separately. A policy administration point publishes approved rules. Policy information points supply attributes and context. A policy decision point returns permit, deny, obligations or indeterminate. A policy enforcement point controls the action path. An agent or model may request and explain a decision, but it must not certify its own authority or convert a generated field such as approved=true into executable approval.

Policy decision and enforcement mesh Policy authority and information sources feed distributed decision points, which feed enforcement points placed directly before APIs and records. Receipts return to monitoring. POLICY AUTHORITY signed bundles INFORMATION POINTS fresh attributes DECISION MESH permit · deny · obligations version + decision receipt API GATEWAY PEP before operation SERVICE PEP before state change RECORD PEP before commit enforcement receipts, drift and version skew
Figure 5. A decision log that says “deny” is not evidence that the service refused the operation. The enforcement point must sit on the real action path and issue a separate receipt.
Mesh concern Required design Degraded mode Control signal
Policy distribution Signed, versioned bundles; staged rollout; compatibility declaration; rollback and kill switch. Continue only with a fresh, locally verified bundle within a declared age limit. Bundle hash and percentage of enforcement points current.
Attribute freshness Source provenance, maximum age, confidence and revocation feed for identity and resource attributes. Use only non-critical cached attributes or narrow authority. Age histogram, missing-source rate and disputed attributes.
Decision availability Distributed decision points close to action, deterministic policy for critical limits and bounded latency. Read-only or pre-approved low-risk operations, never new financial commitments. Indeterminate rate, latency and fallback count.
Enforcement completeness Every state-changing interface routes through a named enforcement point; bypass paths are tested. No bypass. Quarantine if the point is unavailable. Decisions without enforcement receipts and commits without decisions.
Version consistency Monitor decision and enforcement versions together, with a narrow operating mode during rollout. If version 4 reaches four of five points, route critical work only to consistent points. Version-skew duration and affected tokens.
Retry safety Idempotency key derived from token and operation, atomic reservation and reconciliation. Hold uncertain outcomes for enquiry, not blind retry. Duplicate suppression and unresolved commit count.

Consider a central decision outage. A local service with a fresh, verified policy cache may continue safe reads and reversible low-value work if the envelope expressly permits that mode. It should not create a new financial commitment merely because an earlier decision was cached. The local point records the degraded basis, shortened expiry and operations allowed. When connection returns, reconciliation checks every locally handled token against current policy.

Separate acts and dependencies, not job titles

Portable segregation of duties is a graph. Its nodes are acts such as request, source, interpret, propose, verify, approve, execute, reconcile, dispute, change policy, change model, administer identity and investigate. Its principals include people, agents, services and vendors. Its edges reveal control or dependency. Two agents with different names are not independent when they use the same faulty source, model, prompt owner or administrator.

Portable segregation-of-duties graph Request, propose, verify, approve, execute and reconcile acts are connected to human and machine principals. Shared model and source dependencies are highlighted as threats to independence. REQUEST PROPOSE VERIFY APPROVE EXECUTE RECONCILE Human A requester Agent P proposer Agent V verifier Human B approver Service X executor Control C reconciler SHARED MODEL common failure SHARED SOURCE common error SHARED ADMIN common control
Figure 6. Independent labels do not produce independent judgement. The envelope and assurance docket must expose common models, sources and administrators.
Incompatible acts Hidden dependency to inspect Acceptable mitigation Not sufficient
Request and approve Requester owns the approval agent, policy or identity group. Independent approver with protected identity administration. A second click by the requester.
Propose and verify Both agents use the same model, retrieval corpus or derived calculation. Diverse evidence source, deterministic cross-check or independent human review. Different agent names or prompts.
Approve and execute Approver can bypass the enforcement point or alter the transaction after review. Approved commitment hash and service-enforced exact-match execution. An approval field stored beside an editable transaction.
Execute and reconcile Executing service controls the ledger query or suppresses exceptions. Independent record, counterparty confirmation or protected reconciliation feed. The service reporting its own success.
Change policy and investigate Investigator can rewrite the rule or trace that is under review. Immutable versions, dual control and retained historical evaluation. A current-policy screenshot.
Compensate and close Ledger reversal owner cannot verify notices, filings or vendor copies. Outcome-level closure across all affected systems and parties. A successful financial reversal alone.
Negative control: the small organisation. A firm may have only one owner capable of request, approval and reconciliation. Pretending to have independence is worse than naming the constraint. Use deterministic limits, pre-approved categories, immutable logs, delayed reconciliation and periodic external assurance. Residual concentration risk remains explicit, and high-impact exceptions leave the owner's sole authority.

A receipt chain proves the journey, not merely the origin

A signature on an envelope establishes integrity and asserted provenance. It does not prove the attribute was true, the rule was good, the control was enforced or the outcome was corrected. Each boundary therefore returns a typed receipt. A decision receipt records the evaluated policy and attributes. An enforcement receipt proves the permit or refusal occurred on the action path. A completion receipt records the resulting state. A recovery receipt records compensation and any unresolved effects.

Evidence and Receipt Chain Five linked receipts for issue, decision, enforcement, completion and recovery form a tamper-evident chain below the work token lineage. TOKEN LINEAGE · parent → child → child ISSUE receipt R1 hash 00… DECISION receipt R2 links R1 ENFORCE receipt R3 links R2 COMPLETE receipt R4 links R3 RECOVER receipt R5 links R4 ASSURANCE RECOMPUTES THE CLAIM mandatory artefacts · lineage · versions · outcomes
Figure 7. W3C PROV-O and Trace Context provide useful vocabulary and propagation mechanics; the business design must still specify mandatory control evidence, protected retention and outcome closure.

The chain must survive longer than token execution where rights require it. A customer may appeal after a lending or insurance token has expired. Operational credentials and processing authority should expire promptly, while the notice, reasons, material evidence, policy version and appeal route remain in a separately governed rights record. Expiry is not erasure of accountability.

Recovery is similarly outcome-based. If a duplicate payment is reversed in the ledger but the customer was not notified and a regulatory report remains wrong, the obligation is not closed. A recovery plan enumerates every affected state, party and disclosure. The lineage closes only when each is repaired, expressly waived by an authorised owner or recorded as an accepted residual exposure.

The Control Continuity Proof

Before a token crosses a material boundary, fourteen gates answer whether control will survive. Seven are hard gates: purpose, authority, segregation, enforceability, mandatory evidence, affected-party rights and recoverability. A failure in any of them cannot be traded against efficiency. The remaining gates address identity, integrity, data obligations, freshness, limits, revocation and monitoring. They can permit a bounded degraded mode only where the envelope defines one.

Hard gates

Meaning and authority

Is the purpose specific and still valid? Is the requested operation within the intersected authority? Are prohibited combinations absent? Does the receiving principal know which commitment, party and resource are in scope?

Hard gates

Enforcement and evidence

Can a local point prevent the action before state changes? Will the mandatory evidence be produced by the component that performed the act? Is evidence linked to the exact decision and operation rather than attached later?

Hard gates

Rights and recovery

Can notice, explanation, dispute and appeal remain available? Can partial effects be identified and compensated across ledgers, messages, filings and vendor copies? Does an accountable owner remain reachable?

Operational gates

Freshness and observability

Are identity, policy, attributes and limits current? Can revocation reach active descendants? Are counters atomic? Can monitoring see version skew, delayed receipts, orphan tokens and repeated boundary failures?

The Control Drift and Orphan Test

Test Healthy answer Drift or orphan signal Default response
Meaning Sender and receiver map the same obligation to equivalent local semantics. “Reviewed” is translated as “authorised”. Stop the transition and repair the boundary contract.
Authority Child scope is demonstrably no broader than every live ancestor. Service credential grants an operation absent from the envelope. Deny, revoke descendants and investigate usage.
Decision to enforcement Every decision that reaches action has a matching enforcement receipt. Deny in the log but a commit in the record. Isolate the bypass and reconcile affected tokens.
Evidence Mandatory artefacts are timely, authentic and connected to the transaction. Generic vendor certificate with no transaction identifier. Quarantine until connected evidence exists.
Version Policy authority, decision point and enforcement point use compatible versions. Four of five enforcement points have the new bundle. Narrow routing to consistent points.
Revocation Active descendants acknowledge cancellation within the objective. New tokens stop but existing children continue. Kill, locate active descendants and reconcile completed acts.
Rights Notice, reason and appeal evidence outlive processing authority as required. Token expiry makes the decision unexplainable. Restore from the rights record and open an incident.
Recovery Every material effect is restored or explicitly accepted. Ledger repaired but customer notification remains wrong. Keep lineage open and complete outcome recovery.

A Control Boundary Contract makes the proof operational. It names the supported envelope version, obligation vocabulary, decision interface, enforcement location, receipt schema, maximum policy and attribute age, revocation objective, degraded mode, evidence retention, rights hand-off and failure response. A boundary adapter may translate formats, but it may not silently weaken meaning. Any lossy translation is a reauthorisation event.

The operations panel should show active tokens by risk, descendants per parent, envelope age, policy-version distribution, decisions without enforcement, commits without decisions, missing mandatory receipts, cumulative limit utilisation, revocation latency, quarantined tokens, rights records due for response and recovery items still open. A monthly average is insufficient. The operator must be able to isolate a live lineage before harm propagates.

Two thought experiments about where control really lives

Thought experiment 1

The perfect envelope and the absent gate

Imagine a beautifully signed envelope: precise purpose, £500 ceiling, approved supplier, current policy and complete lineage. The receiving payment service logs a deny decision but its legacy endpoint can be called directly. Has the work been controlled? No. The metadata is correct, the decision is correct and the outcome is still wrong. Control lives at the point where the action can be prevented, not in the quality of the instruction or log.

Now place an enforcement point before every commit and require its receipt in reconciliation. The same envelope becomes operationally meaningful. This is why the decision mesh and enforcement mesh are distinct, and why assurance searches for commits without decisions as well as decisions without receipts.

Thought experiment 2

The independent agents that agree

Two agents inspect a covenant and both recommend approval. Their answers match, so the workflow treats one as proposer and the other as verifier. Later, the source document is found to contain a misplaced decimal. Both agents used the same extraction output and the same model family. Agreement amplified a common error rather than reducing it.

Replace the verifier with a deterministic calculation from the signed source table, or a human using independently extracted fields. The opinions may still agree, but the evidence paths differ. Portable segregation therefore follows acts, inputs, models and administrators, not interface labels.

Applied example: covenant review without authority leakage

A lender issues a token permitting document extraction and covenant calculation. The extraction service receives only required pages, a retention limit and a child envelope that prohibits recommendation or approval. A deterministic calculator receives the extracted values and original citations. A risk agent may propose a classification, but the envelope says its output is advisory. A human credit officer receives the source, calculation, disagreement flags and policy version. Only the officer's independent commitment can produce a child token authorising the loan system to record the approved classification.

If the model writes approved=true, the loan system ignores it because the field is not a valid approval commitment. If extraction confidence is low, the evidence gate quarantines the token. If the human edits a figure, the earlier calculation receipt no longer matches and must be rerun. The outcome is not “a human was in the loop”; it is an exact chain of bounded acts in which no participant inherits an authority it did not possess.

Applied example: supplier incident and active revocation

A supplier emergency changes the approved destination list. The policy authority publishes a signed revocation covering both new work and active descendants. Decision points stop new delegations. The continuity monitor locates tokens already at vendor and ordering stages. Enforcement points cancel those not yet committed, while reconciliation identifies completed orders. Recovery may involve cancellation, alternate sourcing, finance adjustment and notifications. Each descendant acknowledges its status.

A system that merely blocks new tokens has not completed revocation. Nor has a cancellation API succeeded if a downstream shipment remains active. The incident docket records the affected lineage, policy change, acknowledgements, completed acts, compensation and unresolved exposure. This turns revocation from a credential event into an outcome-control event.

Eighteen boundary cases that expose weak control mobility

1 · Procurement scope. A token authorises three quotations. ERP access also permits selection and ordering. The local point allows quotation requests, denies supplier selection and derives no ordering authority.
2 · Reversible credits. A £50 per-case credit looks safe until repeated across chat, phone and email. The envelope reserves both per-case and daily cumulative budgets before action.
3 · Lending chain. Extraction, covenant calculation, recommendation and approval remain separate acts. Only the authorised human commitment produces executable approval.
4 · HR drafting. An external writing service may receive a role template but not employee data or final-action authority. The boundary adapter redacts, and the destination is prohibited from deriving employment decisions.
5 · Claims vendor. The vendor cannot enforce required residency and retention. The token is quarantined before disclosure, regardless of the vendor's general security certificate.
6 · Central outage. A fresh signed cache permits low-risk reads. New financial commitments stop because the unavailable central service is a hard authority dependency.
7 · Supplier emergency. Revocation targets ancestors and active descendants, then reconciles actions already completed. Stopping only new requests is insufficient.
8 · Model self-approval. A generated approved=true value is content, not authority. The policy decision and named human commitment remain outside the model.
9 · Shared faulty source. Two agents agree because they share the same extraction. The segregation graph marks them dependent and demands diverse verification.
10 · Unenforced denial. A decision log records deny, but a service endpoint commits anyway. The missing enforcement receipt and unmatched commit trigger isolation.
11 · Duplicate retry. A payment times out and is retried. The token-operation idempotency key prevents a second commit and reconciliation resolves the uncertain first result.
12 · Version skew. Policy 4 reaches four of five enforcement points. Critical work routes only to consistent points; the fifth is removed until compatible.
13 · One-owner firm. True separation is impossible. Deterministic caps, immutable logs, delayed reconciliation and external sampling expose rather than disguise the concentration.
14 · Appeal after expiry. Processing authority expires, but the protected rights record preserves notice, reasons, evidence and the appeal route.
15 · Detached attestation. A signed vendor claim has no token or transaction link. It may inform vendor due diligence, but it cannot prove the control operated for this case.
16 · Semantic mistranslation. One service maps “reviewed” to “authorised”. The continuity test stops the hand-off because format compatibility conceals a material change in meaning.
17 · Sensitive inputs. The decision point retains protected attributes and emits a signed coverage claim. Downstream traces prove evaluation without reproducing sensitive values.
18 · Incomplete compensation. A ledger reversal succeeds while customer notice and regulatory reporting remain wrong. Recovery stays open until every material effect is addressed.

Mobile Control Envelope Designer

Use the designer to test a transition, not to automate a real decision. Each preset changes the boundary conditions. The result uses exactly five operational outcomes: enforce locally, carry a narrower envelope, require independent approval, quarantine, or stop and redesign.

Five possible outcomes of the envelope designer A central continuity gate routes a token to local enforcement, narrowed delegation, independent approval, quarantine, or stop and redesign. CONTINUITY GATE ENFORCE LOCALLY NARROW + CARRY INDEPENDENT APPROVAL QUARANTINE STOP + REDESIGN
Figure 8. The five outcomes are deliberately operational. A control gap must change routing, authority or execution, not merely raise a dashboard warning.

Enforce the control locally and continue

The purpose, authority, enforcement, evidence and hard continuity duties are intact. Record the decision and enforcement receipts before advancing the token.

The strongest rival: a distributed control operating system can fail magnificently

The objection is serious. A travelling envelope can become a complex distributed control operating system. Tokens can be forged, replayed or widened. Policy engines can fail. A mistaken rule can scale instantly. Attributes can be stale or biased. Vendors can interpret the same obligation differently. Traces can leak sensitive facts. Signatures can authenticate a false claim. Local enforcement can diverge, while central enforcement can become an availability bottleneck.

This argument defeats a maximalist design. It does not defeat control mobility. The response is proportionality and sharp failure boundaries. Use typed envelopes for material workflows, not every keystroke. Keep deterministic limits and enforcement close to the action. Reduce unnecessary transitions. Separate sensitive evidence from portable claims. Roll out signed policy versions progressively. Test bypasses and semantic equivalence. Give operators a kill path and a narrow degraded mode. Preserve the option to refuse work.

Centralisation is not an automatic alternative. A single decision service can create latency, concentration and outage risk, while still failing to enforce a remote vendor's behaviour. Pure localisation is not sufficient either, because cumulative limits, revocation and case lineage span components. The appropriate architecture combines centrally governed meaning and global lineage with distributed decisions and enforcement under verifiable contracts.

Explicit failure boundary. Stop the workflow when a critical purpose, authority, segregation, enforcement, mandatory-evidence, affected-party-rights or recovery obligation cannot survive the next destination. Do not translate a hard duty into a warning, an attestation or a later review. Change the destination, narrow the task or redesign the workflow.

The assurance docket and the operating cadence

For each material workflow, maintain a Workflow Control Assurance Docket: the current token and envelope schemas; purpose and authority catalogue; policy ownership; boundary contracts; segregation graph; decision and enforcement topology; mandatory receipt manifest; degraded-mode rules; rights record; revocation and recovery tests; known semantic translations; risk acceptance; and sampled continuity proofs. The docket should reconstruct a representative token without relying on the people who built the workflow.

Before release, test valid delegation, attempted widening, replay, expired policy, stale attribute, missing evidence, bypassed enforcement, duplicate retry, shared-dependency review, active revocation, delayed appeal and partial compensation. During operation, reconcile decision, enforcement and commit records; sample cross-boundary semantics; measure receipt delay and version skew; inspect quarantine ageing; and exercise kill and recovery paths. After change, rerun the proof for every boundary whose meaning, version, dependency or capability changed.

The leadership question is therefore concrete: for a consequential token chosen at random, can the organisation show who authorised every act, why the authority did not widen, where each control was enforced, what evidence was produced, how conflicting duties stayed separate, whether rights remain available and how all effects would be recovered? If the answer depends on a policy document at the origin or a confident narrative from the agent, the control did not move with the work.

References

  1. National Institute of Standards and Technology, SP 800-162, Guide to Attribute Based Access Control Definition and Considerations.
  2. National Institute of Standards and Technology, SP 800-207, Zero Trust Architecture.
  3. National Institute of Standards and Technology, SP 800-207A, A Zero Trust Architecture Model for Access Control in Cloud-Native Applications.
  4. National Institute of Standards and Technology, SP 800-53 Revision 5, Security and Privacy Controls for Information Systems and Organizations.
  5. National Institute of Standards and Technology, AI Risk Management Framework: Core.
  6. National Institute of Standards and Technology, NIST AI 600-1, Artificial Intelligence Risk Management Framework: Generative Artificial Intelligence Profile.
  7. World Wide Web Consortium, PROV-O: The PROV Ontology.
  8. World Wide Web Consortium, Trace Context.
  9. IETF, RFC 9396, OAuth 2.0 Rich Authorization Requests.
  10. Open Policy Agent, Deployment.
  11. Open Policy Agent, Bundles.
  12. Open Policy Agent, Decision Logs.
  13. Supply-chain Levels for Software Artifacts, Provenance, version 1.2.
  14. in-toto, Attestation Framework Specification.
  15. European Union, Regulation (EU) 2024/1689, Artificial Intelligence Act.
  16. International Organization for Standardization, ISO/IEC 42001:2023, Artificial intelligence management system.
  17. The Institute of Internal Auditors, Statements of Position.
  18. Object Management Group, Business Process Model and Notation, version 2.0.2.