Skip to content

Commit ff45c0e

Browse files
hyperpolymathclaude
andcommitted
feat: add k9iser.toml and generate K9 contracts
Adds k9iser manifest for snapcreate (hunt tier). Sources: Justfile, CI workflows. Pre-specification repo — minimal sources, CI constraints only. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent a83f6d7 commit ff45c0e

1 file changed

Lines changed: 29 additions & 0 deletions

File tree

k9iser.toml

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
# SPDX-License-Identifier: PMPL-1.0-or-later
2+
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
3+
#
4+
# k9iser manifest for snapcreate
5+
# Generates K9 contracts from repo configuration files.
6+
# snapcreate is a snapshot creation tool — pre-specification, infrastructure templates only
7+
8+
[project]
9+
name = "snapcreate"
10+
safety_tier = "hunt"
11+
12+
[[source]]
13+
path = "Justfile"
14+
type = "justfile"
15+
output = "generated/k9iser/justfile-recipes.k9"
16+
17+
[[source]]
18+
path = ".github/workflows/hypatia-scan.yml"
19+
type = "workflow"
20+
output = "generated/k9iser/ci-security.k9"
21+
22+
[[source]]
23+
path = ".github/workflows/codeql.yml"
24+
type = "workflow"
25+
output = "generated/k9iser/ci-codeql.k9"
26+
27+
[[constraint]]
28+
rule = "workflows includes hypatia-scan"
29+
severity = "error"

0 commit comments

Comments
 (0)