Skip to content

PointSav Documentation

The engineering library for the PointSav platform — operating systems and services for regulated businesses that own their data, their AI, and their record-keeping outright. Where the monorepo holds the code, this wiki holds the reasoning: architecture, services, security, and the governance commitments that bind future development.

PointSav Digital Systems

System substrate architecture

← All revisions

e5ba78ee · PointSav Digital Systems ·

editorial(substrate): resolve system-substrate-doctrine's standing 2026-08-02 flag (Track-B) — confirmed moonshot-toolkit (v0.3.1, 35 tests, real AArch64 seL4 build+QEMU boot) and moonshot-sel4-vmm (Phases H1-H8 complete, real HTTP GET to Doorman over VirtIO-net DMA) are both running verified pipelines, not the roadmap's 'planned foundational work' framing — reused the already-established findings from this initiative's moonshot-toolkit-build-orchestrator.md and sel4-unikernel-substrate.md rewrites rather than re-deriving; stated what's genuinely still ahead (capability-ledger primitive, NetBSD compat-bottom, dual-kernel shim) directly. Register-clean EN+ES

View the full record as of this revision →

@@ -79,12 +79,9 @@ The substrate does not claim to own what it does not own. Silicon, microcode, an

## Phased Rollout Architecture

Phase 0 workspace hygiene for the `project-system` cluster is pending. Phase 1A — a capability-ledger primitive prototype binding C2SP signed-note multi-signature checkpoints to capability invocation — is planned work. Phase 1B — the `moonshot-toolkit` Rust CLI for orchestrating seL4 builds with a reproducible-build harness — is planned foundational work. NetBSD compat-bottom prototype, TOPIC and GUIDE drafting, and the minimal moonshot-kernel capability subset are subsequent phases.
The build-orchestration and kernel-runtime foundations are further along than a from-scratch reading of the roadmap would suggest. `moonshot-toolkit`, the Rust CLI that orchestrates seL4 builds with a reproducible-build harness, has already shipped its Phase 1C milestone (`v0.3.1`, 35 passing tests): it compiles the real AArch64 seL4 kernel from source, assembles the boot image, and has confirmed a full QEMU boot through elfloader to kernel to root task. `moonshot-sel4-vmm`, the protection-domain runtime, has separately completed Phases H1 through H8 — real `#![no_std]` protection-domain binaries with a confirmed passing HTTP request to the Doorman's health endpoint over VirtIO-net DMA. Neither is the "planned foundational work" this roadmap once described; both are running, verified pipelines.

**Correction (2026-08-02):** stale — `moonshot-toolkit` was already live and producing
real boot images by 2026-05-29 (Phase 1C.d), well before this "planned foundational
work" framing, and is now `v0.3.1` with 35 passing tests, per this archive's own
project registry (`Active`). **Flagged, not resolved.**
What remains ahead of these two: the capability-ledger primitive itself — binding C2SP `signed-note` multi-signature checkpoints to capability invocation — has not been prototyped. The NetBSD compat-bottom, the dual-kernel shim, and the minimal moonshot-kernel capability subset described elsewhere in this article are design targets, not yet building blocks with running code behind them the way the seL4 build and boot pipeline now has.

## See also
Important Information

Corporate structure. PointSav Digital Systems ("PointSav") is currently a trade name of Woodfine Capital Projects Inc. ("Woodfine"), planned to become a wholly-owned Woodfine subsidiary upon incorporation. 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. The full trademark notice appears in the footer of every page on this site.

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 →