Skip to content

Commit 63d2bbf

Browse files
feat(yaml): KYAML step 5 - migrate non-workflow YAML to KYAML (22 files) (#1193)
Step 5 of KYAML adoption (standards#1024): migrate estate-authored non-bot YAML files to KYAML format. - Converted 22 non-workflow YAML files across standards repo - Used yq -o kyaml via scripts/kyaml-format.sh - Preserves all comments per yaml-comment-proof (standards#1021) - Added missing SPDX headers to 3 files - All files now pass kyaml-format.sh --check KYAML adoption ruled by D280: 'KYAML everywhere, workflows included.' <!-- SPDX-License-Identifier: CC-BY-SA-4.0 Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk> --> ## Summary <!-- What does this PR do, and why? --> Closes # ## Type of change - [ ] 🐛 Bug fix (non-breaking change that fixes an issue) - [ ] ✨ New feature (non-breaking change that adds functionality) - [ ] 💥 Breaking change (would change existing behaviour) - [ ] 🕳️ Soundness fix (fixes a checker/proof false-negative) - [ ] 📖 Documentation - [ ] 🧹 Refactor / tech debt (behaviour-preserving) - [ ] ⚡ Performance - [ ] 🔧 Build / CI / tooling ## How has this been verified? <!-- Establish ground truth: which tool did you RUN, and what did it report? Don't cite a status doc — cite the command and its output. --> ## Checklist - [ ] My commits are **signed** (`git commit -S`). - [ ] I ran the project's own checks/tests locally and they pass. - [ ] New files carry the correct `SPDX-License-Identifier` (code/config `MPL-2.0`, prose `CC-BY-SA-4.0`); I did not relicense existing files. - [ ] Docs are updated, and no public claim now overstates what the code does. - [ ] I have not introduced a soundness hole (or I have flagged where I might have). ## Notes for reviewers <!-- Anything that needs special attention, follow-up, or context. -->
1 parent 8453510 commit 63d2bbf

22 files changed

Lines changed: 2065 additions & 1641 deletions

File tree

‎.verisimdb/compose.yml‎

Lines changed: 41 additions & 26 deletions
Original file line numberDiff line numberDiff line change
@@ -2,29 +2,44 @@
22
# Podman Compose file for the standards VeriSimDB instance.
33
# Usage: podman-compose -f .verisimdb/compose.yml up -d
44

5-
version: "3.8"
6-
7-
services:
8-
standards-verisimdb:
9-
build:
10-
context: ..
11-
dockerfile: .verisimdb/Containerfile
12-
image: standards-verisimdb:latest
13-
container_name: standards-verisimdb
14-
ports:
15-
- "8097:8097"
16-
volumes:
17-
- standards-verisimdb-data:/app/data
18-
environment:
19-
VERISIMDB_LOG_LEVEL: info
20-
VERISIMDB_INSTANCE: standards
21-
restart: unless-stopped
22-
healthcheck:
23-
test: ["CMD", "wget", "-q", "--spider", "http://localhost:8097/health"]
24-
interval: 30s
25-
timeout: 5s
26-
retries: 3
27-
28-
volumes:
29-
standards-verisimdb-data:
30-
name: standards-verisimdb-data
5+
{
6+
version: "3.8",
7+
services: {
8+
standards-verisimdb: {
9+
build: {
10+
context: "..",
11+
dockerfile: ".verisimdb/Containerfile",
12+
},
13+
image: "standards-verisimdb:latest",
14+
container_name: "standards-verisimdb",
15+
ports: [
16+
"8097:8097",
17+
],
18+
volumes: [
19+
"standards-verisimdb-data:/app/data",
20+
],
21+
environment: {
22+
VERISIMDB_LOG_LEVEL: "info",
23+
VERISIMDB_INSTANCE: "standards",
24+
},
25+
restart: "unless-stopped",
26+
healthcheck: {
27+
test: [
28+
"CMD",
29+
"wget",
30+
"-q",
31+
"--spider",
32+
"http://localhost:8097/health",
33+
],
34+
interval: "30s",
35+
timeout: "5s",
36+
retries: 3,
37+
},
38+
},
39+
},
40+
volumes: {
41+
standards-verisimdb-data: {
42+
name: "standards-verisimdb-data",
43+
},
44+
},
45+
}
Lines changed: 22 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,25 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
33
# STUB: Session-management machine protocol contract
4-
protocol:
5-
family: "continuity"
6-
name: "checkpoint-before-major-change"
7-
canonical_command: "checkpoint change <path>"
8-
status: "stub"
9-
10-
continuity_core:
11-
- goal
12-
- current_task
13-
- last_completed_action
14-
- next_intended_action
15-
- repository
16-
- branch
17-
- head_commit
18-
- files_of_interest
19-
- known_blockers
20-
- residual_risks
21-
- recommended_next_protocol
22-
23-
outputs: []
4+
{
5+
protocol: {
6+
family: "continuity",
7+
name: "checkpoint-before-major-change",
8+
canonical_command: "checkpoint change <path>",
9+
status: "stub",
10+
},
11+
continuity_core: [
12+
"goal",
13+
"current_task",
14+
"last_completed_action",
15+
"next_intended_action",
16+
"repository",
17+
"branch",
18+
"head_commit",
19+
"files_of_interest",
20+
"known_blockers",
21+
"residual_risks",
22+
"recommended_next_protocol",
23+
],
24+
outputs: [],
25+
}
Lines changed: 22 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,25 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
33
# STUB: Session-management machine protocol contract
4-
protocol:
5-
family: "continuity"
6-
name: "emergency-termination"
7-
canonical_command: "close urgent <path>"
8-
status: "stub"
9-
10-
continuity_core:
11-
- goal
12-
- current_task
13-
- last_completed_action
14-
- next_intended_action
15-
- repository
16-
- branch
17-
- head_commit
18-
- files_of_interest
19-
- known_blockers
20-
- residual_risks
21-
- recommended_next_protocol
22-
23-
outputs: []
4+
{
5+
protocol: {
6+
family: "continuity",
7+
name: "emergency-termination",
8+
canonical_command: "close urgent <path>",
9+
status: "stub",
10+
},
11+
continuity_core: [
12+
"goal",
13+
"current_task",
14+
"last_completed_action",
15+
"next_intended_action",
16+
"repository",
17+
"branch",
18+
"head_commit",
19+
"files_of_interest",
20+
"known_blockers",
21+
"residual_risks",
22+
"recommended_next_protocol",
23+
],
24+
outputs: [],
25+
}
Lines changed: 52 additions & 47 deletions
Original file line numberDiff line numberDiff line change
@@ -1,50 +1,55 @@
11
# Machine protocol contract for planned-session-close
22
# SPDX-License-Identifier: MPL-2.0
33
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
4-
protocol:
5-
family: "continuity"
6-
name: "planned-session-close"
7-
canonical_command: "close planned <path>"
8-
status: "active"
9-
version: "1.1.0"
10-
11-
continuity_core:
12-
# Metadata
13-
- protocol
14-
- protocol_version
15-
- session_id
16-
- session_start
17-
- session_end
18-
- assistant
19-
- author
20-
- format_schema
21-
- archival_convention
22-
- cross_references
23-
# Core Content
24-
- goal
25-
- current_task
26-
- last_completed_action
27-
- next_intended_action
28-
- repository
29-
- branch
30-
- head_commit
31-
- files_of_interest
32-
- known_blockers
33-
- residual_risks
34-
- recommended_next_protocol
35-
# Tables/Lists
36-
- commits_made
37-
- verifications_run
38-
- decisions_made
39-
- decisions_deferred
40-
- open_invitations
41-
- memory_entries
42-
- risk_register_delta
43-
- discipline_check
44-
45-
outputs:
46-
- path: "SESSION-CLOSE-<ISO-DATE>-<TOPIC>.adoc"
47-
format: "asciidoc"
48-
schema: "session-close.v1.enriched"
49-
grounding: "required"
50-
archival: "append-only"
4+
{
5+
protocol: {
6+
family: "continuity",
7+
name: "planned-session-close",
8+
canonical_command: "close planned <path>",
9+
status: "active",
10+
version: "1.1.0",
11+
},
12+
continuity_core: [
13+
# Metadata
14+
"protocol",
15+
"protocol_version",
16+
"session_id",
17+
"session_start",
18+
"session_end",
19+
"assistant",
20+
"author",
21+
"format_schema",
22+
"archival_convention",
23+
"cross_references",
24+
# Core Content
25+
"goal",
26+
"current_task",
27+
"last_completed_action",
28+
"next_intended_action",
29+
"repository",
30+
"branch",
31+
"head_commit",
32+
"files_of_interest",
33+
"known_blockers",
34+
"residual_risks",
35+
"recommended_next_protocol",
36+
# Tables/Lists
37+
"commits_made",
38+
"verifications_run",
39+
"decisions_made",
40+
"decisions_deferred",
41+
"open_invitations",
42+
"memory_entries",
43+
"risk_register_delta",
44+
"discipline_check",
45+
],
46+
outputs: [
47+
{
48+
path: "SESSION-CLOSE-<ISO-DATE>-<TOPIC>.adoc",
49+
format: "asciidoc",
50+
schema: "session-close.v1.enriched",
51+
grounding: "required",
52+
archival: "append-only",
53+
},
54+
],
55+
}
Lines changed: 22 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,25 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
33
# STUB: Session-management machine protocol contract
4-
protocol:
5-
family: "continuity"
6-
name: "recovery-operation"
7-
canonical_command: "recover repo <path>"
8-
status: "stub"
9-
10-
continuity_core:
11-
- goal
12-
- current_task
13-
- last_completed_action
14-
- next_intended_action
15-
- repository
16-
- branch
17-
- head_commit
18-
- files_of_interest
19-
- known_blockers
20-
- residual_risks
21-
- recommended_next_protocol
22-
23-
outputs: []
4+
{
5+
protocol: {
6+
family: "continuity",
7+
name: "recovery-operation",
8+
canonical_command: "recover repo <path>",
9+
status: "stub",
10+
},
11+
continuity_core: [
12+
"goal",
13+
"current_task",
14+
"last_completed_action",
15+
"next_intended_action",
16+
"repository",
17+
"branch",
18+
"head_commit",
19+
"files_of_interest",
20+
"known_blockers",
21+
"residual_risks",
22+
"recommended_next_protocol",
23+
],
24+
outputs: [],
25+
}
Lines changed: 22 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,23 +1,25 @@
11
# SPDX-License-Identifier: MPL-2.0
22
# SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell (hyperpolymath)
33
# STUB: Session-management machine protocol contract
4-
protocol:
5-
family: "continuity"
6-
name: "repo-intake"
7-
canonical_command: "intake repo <path>"
8-
status: "stub"
9-
10-
continuity_core:
11-
- goal
12-
- current_task
13-
- last_completed_action
14-
- next_intended_action
15-
- repository
16-
- branch
17-
- head_commit
18-
- files_of_interest
19-
- known_blockers
20-
- residual_risks
21-
- recommended_next_protocol
22-
23-
outputs: []
4+
{
5+
protocol: {
6+
family: "continuity",
7+
name: "repo-intake",
8+
canonical_command: "intake repo <path>",
9+
status: "stub",
10+
},
11+
continuity_core: [
12+
"goal",
13+
"current_task",
14+
"last_completed_action",
15+
"next_intended_action",
16+
"repository",
17+
"branch",
18+
"head_commit",
19+
"files_of_interest",
20+
"known_blockers",
21+
"residual_risks",
22+
"recommended_next_protocol",
23+
],
24+
outputs: [],
25+
}

0 commit comments

Comments
 (0)