Repository navigation
Verifiable Enterprise Authority and AI Safety Assurance as External Policy Context for OpenShell #4059
cstoecker
started this conversation in
Design Discussion
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
Verifiable Enterprise Authority and AI Safety Assurance as External Policy Context for OpenShell
Summary
OpenShell provides a strong operator-controlled runtime boundary for autonomous agents: the Gateway manages sandbox lifecycle and policy delivery, the Policy Prover analyzes proposed policy changes and containment, and the Supervisor enforces policy outside the agent process.
For agents acting across organizational boundaries, a complementary question arises:
This proposal introduces a technically neutral external trust context with three independent inputs:
The external context would not grant access directly or declare an action legally compliant. A trusted verifier or policy decision point would validate credentials and status, normalize the resulting claims, and derive a candidate admission context or policy. OpenShell would remain the local enforcement authority, and externally derived permissions could never exceed the operator-owned boundary.
The proposed European Business Wallet Regulation is a particularly relevant implementation path. Its objective is a harmonized, legally recognized mechanism through which businesses can identify and authenticate, exchange trusted documents, sign, seal and timestamp, and delegate authority through role- and mandate-based authorization. The Commission proposal explicitly includes the issuing and delegation of mandates in a legally recognized manner; the Council's June 2026 negotiating position likewise identifies delegation of legal authority as a core wallet capability. At the time of writing, the legislative procedure is still in progress, so the final legal and technical design should not be assumed.
The OpenShell abstraction should remain independent of any one jurisdiction, credential format, identity system, or assurance scheme. European Business Wallets, verifiable credentials, enterprise PKI, regulated registries, and conventional certification databases are possible implementations—not prerequisites.
The intended outcome is a continuous evidence chain:
This chain can support legal compliance, auditability, and non-repudiation. It does not by itself determine legal effect, contractual liability, regulatory conformity, or the admissibility and weight of evidence; those remain dependent on applicable law and the facts of the transaction.
Motivation
Workload identity answers which technical workload is making a request. It does not, by itself, establish:
These questions matter for procurement, supply-chain operations, finance, regulated workflows, critical infrastructure, and cross-company agent-to-agent transactions.
Authority and assurance should remain separate:
The runtime admission decision should therefore evaluate the intersection of these concerns.
Legal compliance as policy context
For regulated or legally consequential actions, the admission decision may need a jurisdiction- and transaction-specific compliance profile in addition to authority and assurance. Examples include:
This context should be supplied by an operator-selected compliance service, policy decision point, or jurisdiction profile. OpenShell should enforce the resulting technical constraints and record the decision inputs it can observe; it should not be expected to interpret open-ended law or certify compliance.
Attributability, accountability, and non-repudiation
These properties are related but should not be conflated:
The proposal uses “non-repudiation” in this evidentiary and security sense. It does not mean that a cryptographic signature makes an action automatically lawful, eliminates fraud or key-compromise defenses, or conclusively allocates liability.
European Business Wallets as an authorization and mandate layer
The proposed European Business Wallet framework is designed for more than business identification. It is intended to support role- and mandate-based authorization, including delegation to representatives, controlled and auditable access to wallet functions and transactions, and legally recognized business interactions. Related wallet capabilities—electronic signatures, seals, timestamps, attestations, and qualified electronic registered delivery—can contribute to attribution and non-repudiation evidence.
That makes the framework a useful candidate source for the legal-entity, representation, and mandate layers in this proposal. However:
OpenShell should therefore consume a neutral, typed authority context rather than embedding current draft European Business Wallet semantics directly in its core policy model.
Stakeholders and expected value
The proposal is intended to create value across the agent ecosystem without making OpenShell the owner of business semantics or regulatory determinations.
NVIDIA and the OpenShell ecosystem
For NVIDIA and OpenShell contributors, an external trust-context boundary could:
AI platform providers and operators
For providers of AI platforms, agent platforms, model-serving infrastructure, and managed agent runtimes, the model could:
Customers of AI platforms
For enterprises and public-sector organizations deploying agents, the model could:
This is especially relevant to agentic commerce. Subject to the law, contract rules, liability allocation, and sector-specific requirements in the applicable jurisdiction, an Agent Mandate could express purchasing, negotiation, payment, fulfillment, or counterparty constraints. The mandate would be an input to authorization—not a universal substitute for legal capacity, consent, signature, consumer protection, financial regulation, or human approval.
It is also relevant to industrial AI, where agents may interact with production systems, engineering data, maintenance workflows, robots, or operational technology. In these settings, the trust context can bind authority and assurance to a plant, production line, machine, safety zone, maintenance window, approved toolchain, or evaluated control configuration. OpenShell policy and infrastructure controls would still determine the actions technically possible at runtime.
Assurance, conformity-assessment, and regulatory stakeholders
For TEVV providers, certification bodies, conformity assessment bodies, notified bodies, auditors, and—where applicable—regulators, the model could:
Compliance and time-to-market impact
The design can support compliance engineering, but it must not claim that possession of credentials equals compliance. Regulatory obligations differ by jurisdiction, sector, actor role, use case, and risk classification. The deployer and its advisers remain responsible for determining which obligations and conformity procedures apply.
Within that constraint, reusable and machine-verifiable trust context can make reviews faster by allowing a reviewer to answer four questions from the same evidence package:
This can reduce manual reconciliation, surface gaps earlier, reuse evidence across deployments, and make approval gates more predictable. The expected result is faster compliance review and deployment—not weaker review and not automatic regulatory approval.
Proposed architecture
flowchart LR subgraph EXT["External trust and assurance services"] AS["Authentic sources and enterprise issuers"] EI["Evaluators, accreditation bodies, CABs and notified bodies"] LP["Operator-approved legal and compliance policy sources"] ST["Credential status and revocation services"] V["Trust-context verifier / policy decision point"] AS --> V EI --> V LP --> V ST --> V end subgraph OS["Operator-controlled OpenShell environment"] A["Authority and assurance context"] PA["Policy adapter / admission service"] G["Gateway"] PP["Policy Prover"] S["Supervisor"] SB["Agent sandbox"] A --> PA PA --> G G --> PP PP -->|"candidate within boundary"| S S --> SB end subgraph HW["Optional independent infrastructure layer"] SE["NVIDIA Sentry / equivalent monitor"] EV["Contextual runtime evidence"] SE --> EV end V -->|"verified, normalized, time-bounded claims"| A S -->|"policy decisions and runtime signals"| SE SB -->|"agent, tool and data activity"| SE EV -->|"reassessment, audit or containment signal"| VThis preserves three boundaries:
Trust-domain model
1. Legal identity domain
An authentic source—such as a business register—or an issuer authorized to rely on that source establishes the legal entity. In a European Business Wallet implementation, owner identification data may be issued by a qualified trust service provider, a responsible public-sector body, or the Commission; the model should therefore not assume that every business register is itself a credential issuer.
Output: Legal Entity Credential.
2. Organizational authority domain
This domain establishes representation, operational accountability, and delegation:
3. AI assurance domain
This domain establishes evidence about fitness, governance, evaluation, or conformity:
4. Legal and compliance policy domain
This domain translates applicable external requirements into determinate admission conditions. Its inputs may include legislation, regulatory guidance, contracts, sector rules, internal controls, and transaction facts. Because applicability and interpretation are contextual, OpenShell should consume only versioned determinations or profiles from operator-approved sources.
Outputs: Jurisdiction/Transaction Profile and Compliance Determination, including required approvals, formalities, evidence, retention, and escalation conditions.
5. Runtime enforcement and evidence domain
OpenShell evaluates and enforces the local technical boundary. Optional infrastructure-level monitoring, such as NVIDIA Sentry, can independently correlate agent interactions, policy decisions, and tool or data access, produce contextual activity records, and trigger reassessment or containment.
flowchart TB subgraph L["Legal identity domain"] BR["Business register / authentic source"] LE["Legal Entity Credential"] BR --> LE end subgraph O["Organizational authority domain"] RC["Representation Credential"] OC["Operator Credential"] AM["Agent Mandate Credential"] LE --> RC --> OC --> AM end subgraph Q["AI assurance domain"] AB["Accreditation or designating authority"] CAB["CAB / notified-body credential"] ISO["ISO/IEC 42001 certification"] CA["Conformity-assessment credential"] TE["Independent TEVV evaluator"] TV["TEVV evidence credential"] AB --> CAB CAB --> ISO CAB --> CA TE --> TV end subgraph C["Legal and compliance policy domain"] PS["Operator-approved policy sources"] JP["Jurisdiction / transaction profile"] CD["Versioned compliance determination"] PS --> JP --> CD end SR["Status, suspension and revocation"] AM --> D["Runtime eligibility decision"] ISO --> D CA --> D TV --> D CD --> D SR --> D subgraph R["Runtime enforcement and evidence domain"] OB["Operator-owned OpenShell boundary"] EN["Gateway + Policy Prover + Supervisor"] RT["Admitted agent action"] RE["OpenShell and Sentry runtime evidence"] OB --> EN D --> EN --> RT --> RE RE --> D endThe key trust rule is that evidence from one domain must not silently acquire semantics from another. For example, an accreditation credential can establish a CAB's scope, but it cannot authorize an enterprise agent to purchase goods.
Decision model
For a requested action at time
t:This is a conceptual relation, not a claim that legal compliance can be reduced to set intersection or a requirement that all terms be encoded in the OpenShell policy language. A legal or compliance constraint should affect runtime admission only after an authorized policy source has translated it into a determinate, testable condition.
The Policy Prover should continue to reason about the properties it can formally establish—such as policy containment and risky access expansion. Semantic questions such as whether a purchase serves the mandate's business purpose may remain in a separate admission service or supervisor middleware. The verifier should deliver typed, bounded inputs; it should not be able to bypass OpenShell policy validation or enforcement.
Normalized trust context
The integration contract could use a small, typed, format-neutral envelope. Illustrative fields:
The runtime should consume only the minimum claims needed for the decision. Raw credentials and personal data need not be copied into sandbox policy or exposed to the agent. A jurisdiction profile or compliance determination should identify its authoritative source and version; OpenShell should not silently infer applicable law from network location, user locale, or the issuer of a credential.
Runtime admission and evidence loop
Admission should be short-lived, fail closed where required by risk, and re-evaluated when relevant state changes.
sequenceDiagram participant A as Agent participant S as OpenShell Supervisor participant V as Trust-context verifier participant G as Gateway / admission service participant P as Policy Prover participant N as Sentry or equivalent monitor participant E as Evidence / status services A->>S: Request action S->>V: Resolve authority and assurance context V->>E: Validate issuer chains, scope, freshness and status E-->>V: Current status and evidence V-->>G: Signed normalized context + expiry G->>G: Bind subject, workload and evaluated baseline G->>P: Check candidate policy against operator boundary P-->>G: Contained or findings alt Eligible and contained G-->>S: Admit with decision ID and bounded policy S->>A: Execute under enforced policy S-->>N: Policy decisions and runtime signals N-->>E: Contextual activity evidence else Invalid, stale, mismatched or excessive G-->>S: Deny, restrict or require review S-->>E: Record decision and reason code end E-->>V: Revocation, drift or assurance invalidation V-->>G: Reassess / reduce authority G-->>S: Live policy update, stop or quarantineExamples of events that should invalidate or reduce admission include:
For legally consequential actions, an evidence receipt should bind at least the normalized context digest, mandate and compliance-determination identifiers, workload identity, effective policy and runtime generation, requested action, enforcement decision, result, and trusted time source. Where required, it can also reference an electronic signature or seal, trusted timestamp, or registered-delivery receipt held outside OpenShell.
Binding and status requirements
The usefulness of the model depends on precise binding. Credentials and evidence should identify, where applicable:
Status is part of the decision, not a background housekeeping process. A signature proves integrity and issuer control; it does not prove that a credential is still valid now.
Security properties
A minimal design should preserve the following properties:
Possible OpenShell integration points
Several approaches appear possible and could coexist:
A. Gateway admission hook
The Gateway requests a normalized external trust context before creating or updating effective sandbox configuration. This provides a central lifecycle and identity binding point.
B. Supervisor middleware
Middleware evaluates action-level claims at request time—for example, a transaction value or API method—without placing dynamic business semantics in static network policy.
C. Policy adapter
An external adapter maps eligible claims to a candidate OpenShell policy. The Policy Prover then verifies containment or reports risky expansion before activation.
D. Dedicated authority-context abstraction
OpenShell could represent external authority separately from provider profiles. Providers describe services, endpoints, and credential bindings; authority context describes the principal and delegated mandate. Keeping these concepts separate may avoid overloading provider configuration.
The proposal does not prescribe which integration point is best. A minimal prototype could begin with an external verifier plus Gateway admission hook, leaving the OpenShell policy schema unchanged.
Illustrative scenario
An autonomous procurement agent has a valid mandate to purchase battery components for Company A up to EUR 100,000. Its representation and operator chains are valid, and the mandate status is current.
The agent was evaluated under TEVV against model version
M1, toolsetT4, and policy baselineP7. The deployment was upgraded to modelM2, but no evidence covers that new baseline.The valid mandate remains evidence of organizational authority. It does not override the assurance mismatch. Conversely, valid TEVV evidence would not create purchasing authority if the mandate had expired.
Non-goals
This proposal does not attempt to:
Suggested phased prototype
Questions for maintainers
References
All reactions