Skip to content

Commit 67b9b0f

Browse files
hyperpolymathclaude
andcommitted
feat: add k9iser.toml and generate K9 contracts
Adds k9iser manifest for conflow (hunt tier). Sources: Cargo.toml, Justfile, Containerfile, CI workflows. Config flow orchestrator CLI. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent b719b11 commit 67b9b0f

File tree

1 file changed

+51
-0
lines changed

1 file changed

+51
-0
lines changed

k9iser.toml

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
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 conflow
5+
# Generates K9 contracts from repo configuration files.
6+
# conflow is a configuration flow orchestrator for CUE, Nickel, and config validation
7+
8+
[project]
9+
name = "conflow"
10+
safety_tier = "hunt"
11+
12+
[[source]]
13+
path = "Cargo.toml"
14+
type = "cargo"
15+
output = "generated/k9iser/cargo-manifest.k9"
16+
17+
[[source]]
18+
path = "Justfile"
19+
type = "justfile"
20+
output = "generated/k9iser/justfile-recipes.k9"
21+
22+
[[source]]
23+
path = "Containerfile"
24+
type = "containerfile"
25+
output = "generated/k9iser/container-build.k9"
26+
27+
[[source]]
28+
path = ".github/workflows/hypatia-scan.yml"
29+
type = "workflow"
30+
output = "generated/k9iser/ci-security.k9"
31+
32+
[[source]]
33+
path = ".github/workflows/codeql.yml"
34+
type = "workflow"
35+
output = "generated/k9iser/ci-codeql.k9"
36+
37+
[[constraint]]
38+
rule = "build.dependencies has no banned_packages"
39+
severity = "error"
40+
41+
[[constraint]]
42+
rule = "build.features does not include debug_assertions in release profile"
43+
severity = "warn"
44+
45+
[[constraint]]
46+
rule = "workflows includes hypatia-scan"
47+
severity = "error"
48+
49+
[[constraint]]
50+
rule = "cue.schemas validate against nickel.contracts"
51+
severity = "warn"

0 commit comments

Comments
 (0)