Skip to content
PointSav Digital Systems

Capability Geometry: seL4 Capability Authorization in Totebox Orchestration

← All revisions

9ad6df5a · PointSav Digital Systems ·

Phase C A1d: topic-* batch complete — 4 merges into canonical articles (+ content backfill), 4 prefix-drop renames, 2 merge-checks resolved (capability-geometry, private-git-paid-customer-endpoint); research/ seeded (preprint-notice-convention + landing cleanup). Track A (documentation) complete.

View the full record as of this revision →

@@ -1,27 +1,28 @@
---
artifact: topic
schema: foundry-draft-v1
schema: foundry-doc-v1
content_type: topic
title: "Capability Geometry: seL4 Capability Authorization in Totebox Orchestration"
short_description: "seL4 capability model applied to Totebox authorization — access control changed in structure rather than strengthened on an ambient-authority model."
lang: en
route: project-editorial
status: draft
created: 2026-06-19
updated: 2026-06-19
brief-id: project-console-os-console-hypervisor
doctrine_anchors: [claim-34, claim-43, claim-49, SYS-ADR-10]
research_trail:
  sources: [BRIEF-os-console-hypervisor.md, BRIEF-OS-FAMILY.md, seL4-reference-manual-v1.4, system-core-v1.0.0, system-ledger-v1.0.0]
  reviewed_by: totebox@project-console
  research_date: 2026-06-19
  session_context: can-we-make-a-bubbly-quasar radical substrate research session
  verification_method: agent-research + system-core/system-ledger source review
slug: capability-geometry
aliases:
  - topic-capability-geometry
short_description: "Capability Geometry is PointSav's term for seL4-based authorization that replaces mutable access-control policy with a formally proven, kernel-enforced capability DAG."
category: substrate
type: reference
quality: complete
status: active
audience: public
bcsc_class: public-disclosure-safe
language_protocol: PROSE-TOPIC
last_edited: 2026-06-20
editor: pointsav-engineering
paired_with: capability-geometry.es.md
cites: []
---

# Capability Geometry: seL4 Capability Authorization in Totebox Orchestration

**Capability Geometry™** is a PointSav term for the application of the seL4 capability
model to Totebox authorization. It is not a product feature name or marketing claim. It
**Capability Geometry™** is a PointSav term for the application of the [[sel4-capability-topology|seL4 capability
model]] to Totebox authorization. It is not a product feature name or marketing claim. It
describes a mathematically distinct approach to access control that changes the structure
of authorization rather than adding strength to an existing model.

@@ -128,14 +129,13 @@ pub enum Verdict {

`consult_capability()` on `InMemoryLedger` evaluates a capability invocation against the
current ledger state and returns a `Verdict`. The ledger is append-only (WORM) and anchored
via RFC 9162 [[merkle-proofs-as-substrate-primitive|Merkle proof]] chains. The audit trail for F12 (SYS-ADR-10) routes through
this verdict function.
via RFC 9162 [[merkle-proofs-as-substrate-primitive|Merkle proof chains]]. The F12 audit trail routes through this verdict function.

---

## Machine Pairing as Capability Minting

[[pairing-as-permission|F11 machine pairing]] in os-console is the intended capability minting ceremony for Totebox
F11 [[pairing-as-permission|machine pairing]] in [[os-console-architecture|os-console]] is the intended capability minting ceremony for Totebox
access (planned; Phase H3 of the os-console substrate roadmap):

1. The Totebox pairing authority holds a `CapabilityType::CNode` — the root of its
@@ -170,12 +170,16 @@ machine-level identity anchor for Totebox Orchestration.
## Leapfrog 2030 Alignment

Capability Geometry is the Totebox security model intended to be in place by the
[[leapfrog-2030-architecture|Leapfrog 2030]] milestone. The seL4 Microkit substrate (Doctrine claim #34, Two-Bottoms
Sovereign Substrate) provides the kernel layer. system-core and system-ledger provide
the Rust-language capability substrate above it. The [[topic-three-binary-architecture|three-binary architecture]]
(os-console, [[os-totebox]], [[os-orchestration]]) implements Capability Geometry at each
Leapfrog 2030 milestone. The seL4 Microkit substrate (Two-Bottoms Sovereign Substrate)
provides the kernel layer. system-core and system-ledger provide the Rust-language
capability substrate above it. The [[three-binary-architecture|three-binary architecture]]
(os-console, os-totebox, os-orchestration) implements Capability Geometry at each
layer: per-cartridge PD on os-console, per-service PD on os-totebox, and a
capability-broker PD on os-orchestration that holds cross-Totebox endpoint capabilities.

The model is intended to be in production on Totebox hardware before any hyperscaler
can replicate formally verified capability-based isolation at the SMB price point.

---

*Woodfine Capital Projects™, MCorp™, PointSav Digital Systems™, Totebox Orchestration™, Totebox Archive™, and Capability Geometry™ are trademarks of Woodfine Capital Projects Inc., used in Canada, the United States, Latin America, and Europe. All other trademarks are the property of their respective owners.*
Important Information

Important Information

Corporate structure. PointSav Digital Systems ("PointSav") is a trade name of Woodfine Capital Projects Inc. ("Woodfine"). PointSav does not itself offer, sell, or solicit any security. Any securities offering associated with Woodfine's real-property direct-hold solutions is made exclusively by Woodfine, and only by means of the applicable Private Placement Memorandum.

No investment advice. This wiki's content is provided for engineering, operational, research, and development purposes. Nothing on this wiki constitutes investment advice or a solicitation to invest in any Woodfine partnership or direct-hold solution.

Intellectual property. The PointSav name, trade name, wordmark, and marks, together with all current and future PointSav- and Totebox-branded products, services, and offerings — and the software, source code, documentation, design system, and all related materials — are proprietary to Woodfine and its affiliates, except for components identified as open source. No rights are granted except as expressly set out in a written license or agreement. See TRADEMARK.md in this repository for the full trademark notice.

Open source components. Portions of the platform are made available under permissive open-source licenses identified in the accompanying repository. Use of those components is governed by their respective license terms.

No warranty; informational use. Content on this wiki is provided for general informational purposes only and does not constitute a representation, warranty, or commitment with respect to product functionality, availability, pricing, or roadmap. Some articles describe planned or intended features, capabilities, and milestones — language such as "planned," "intended," "targeted," "may," and "expected" marks this forward-looking content, which is subject to change and does not constitute a commitment regarding future performance.

Confidentiality. Where an article describes an operational or deployment detail that is not intended for public disclosure, that article is not published on this wiki. Content here is general-purpose engineering documentation, not customer-specific configuration.

Jurisdiction. Woodfine Capital Projects Inc. is organized in British Columbia, Canada. References to the Sovereign Data Foundation on this wiki describe a planned or intended initiative only, not a current equity holder or active governance body.

Changes to this notice. PointSav may update this notice from time to time; the version posted on this page governs.

Not a filing system. This wiki is not a securities filing system, an electronic disclosure repository, or a substitute for SEDAR+ or any other regulatory filing system. Formal securities filings are made through the applicable regulatory filing system, not through this wiki.

Full disclaimer. This notice supplements, and does not replace, the full Disclaimers article. In the event of any conflict, the full Disclaimers article governs.

Read the full disclaimer →