<!-- SPDX-License-Identifier: CC-BY-SA-4.0 -->
<!-- SPDX-FileCopyrightText: 2025-2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> -->
---
title: Downloads
site: K9-SVC
description: Starter K9-SVC templates — one per trust level — free to download and adapt.
date: 2026-06-29
---

# Downloads

<p class="lede">Starter templates, one per trust level. The environment grants no more capability than the component declares.</p>

<div class="cards">
<div class="card">
<h3>Level 1 — Data</h3>
<p>Pure data, no execution, safe anywhere.</p>
<p><a class="btn btn-ghost" href="/downloads/level1-data.k9.ncl">Download .k9.ncl</a></p>
</div>
<div class="card">
<h3>Level 2 — Validation</h3>
<p>Nickel contract evaluation permitted.</p>
<p><a class="btn btn-ghost" href="/downloads/level2-validated.k9.ncl">Download .k9.ncl</a></p>
</div>
<div class="card">
<h3>Level 3 — Execution</h3>
<p>Full execution; requires a real signature (this template's is a placeholder).</p>
<p><a class="btn btn-ghost" href="/downloads/level3-signed.k9.ncl">Download .k9.ncl</a></p>
</div>
<div class="card">
<h3>All templates</h3>
<p>The full set plus a README, bundled.</p>
<p><a class="btn btn-primary" href="/downloads/k9-svc-templates.tar.gz">Download .tar.gz</a></p>
</div>
</div>

## Licence

Templates are `MPL-2.0` (code); this page is `CC-BY-SA-4.0`.

## More tooling

Implementations and CI are coordinated in the
[k9-ecosystem](https://github.com/hyperpolymath/k9-ecosystem) hub — clone the
repository directly if you want more than the starter templates above.
