Skip to content

Commit 53d1bca

Browse files
hyperpolymathhyperpolymath
committed
chore: rename k9 directories to self-validating for clarity
1 parent 7e991f8 commit 53d1bca

19 files changed

Lines changed: 195 additions & 113 deletions

‎.github/copilot/coding-agent.yml‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
mcp_servers:
2+
boj-server:
3+
command: npx
4+
args: ["-y", "@hyperpolymath/boj-server@latest"]
5+
env:
6+
BOJ_URL: http://localhost:7700

‎.github/workflows/scorecard.yml‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ permissions:
2121
jobs:
2222
analysis:
2323
runs-on: ubuntu-latest
24+
timeout-minutes: 15
2425
permissions:
2526
security-events: write
2627
id-token: write

‎.github/workflows/secret-scanner.yml‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,7 @@ permissions:
2121
jobs:
2222
trufflehog:
2323
runs-on: ubuntu-latest
24+
timeout-minutes: 15
2425
steps:
2526
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
2627
with:
@@ -35,6 +36,7 @@ jobs:
3536

3637
gitleaks:
3738
runs-on: ubuntu-latest
39+
timeout-minutes: 15
3840
steps:
3941
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
4042
with:
@@ -48,6 +50,7 @@ jobs:
4850
# Rust-specific: Check for hardcoded crypto values
4951
rust-secrets:
5052
runs-on: ubuntu-latest
53+
timeout-minutes: 15
5154
steps:
5255
- uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v4
5356

‎.machine_readable/6a2/0-AI-MANIFEST.a2ml‎

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
# AI Manifest for 6a2 Directory
2+
3+
## Purpose
4+
5+
This manifest declares the AI-assistant context for the 6a2 machine-readable metadata directory.
6+
7+
## Canonical Locations
8+
9+
The 6 core A2ML files MUST exist in this directory:
10+
1. AGENTIC.a2ml
11+
2. ECOSYSTEM.a2ml
12+
3. META.a2ml
13+
4. NEUROSYM.a2ml
14+
5. PLAYBOOK.a2ml
15+
6. STATE.a2ml
16+
17+
## Invariants
18+
19+
- No duplicate files in root directory
20+
- Single source of truth: this directory is authoritative
21+
- No stale metadata
22+
23+
## Protocol
24+
25+
When multiple agents may write to A2ML files concurrently:
26+
1. Read file and record git-sha-at-read in [provenance] section
27+
2. Lock by creating .lock-<FILENAME>
28+
3. Write updated file with new [provenance] metadata
29+
4. Release by removing lock file
30+
5. On conflict: re-read and retry if git-sha-at-read does not match HEAD
31+

‎.machine_readable/6a2/README.adoc‎

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
# A2ML 6a2 Directory
4+
5+
This directory contains the 6 core A2ML machine-readable metadata files for this repository.
6+
7+
## Files
8+
9+
- `AGENTIC.a2ml` - AI agent operational gating, safety controls
10+
- `ECOSYSTEM.a2ml` - Project ecosystem position, relationships, explicit boundaries
11+
- `META.a2ml` - Architecture decisions (ADRs), development practices, design rationale
12+
- `NEUROSYM.a2ml` - Symbolic semantics, composition algebra
13+
- `PLAYBOOK.a2ml` - Executable plans, operational runbooks
14+
- `STATE.a2ml` - Project state, phase, milestones, session history
15+
16+
## Standards Compliance
17+
18+
These files follow the A2ML Format Family specification from:
19+
https://github.com/hyperpolymath/standards/tree/main/a2ml
20+
21+
## Generation
22+
23+
These files may be generated from .scm source files using transpilation tools.
24+
Source .scm files should be removed after successful transpilation.
25+
26+
## See Also
27+
28+
- [A2ML Repository Template](https://github.com/hyperpolymath/standards/blob/main/A2ML-REPO-TEMPLATE.adoc)
29+
- [6A2 Format Family](https://github.com/hyperpolymath/standards#a2ml-format-family-7-formats)
30+

‎.machine_readable/6a2/anchor/0-AI-MANIFEST.a2ml‎

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
# AI Manifest for Anchor Directory
2+
3+
## Purpose
4+
5+
This manifest declares the AI-assistant context for the anchor machine-readable metadata directory.
6+
7+
## Canonical Locations
8+
9+
ANCHOR.a2ml files MUST exist in this directory.
10+
11+
## Multiple Versions
12+
13+
Unlike other A2ML files, multiple versions of ANCHOR.a2ml with different dates MAY exist.
14+
Each version represents a specific recalibration point.
15+
16+
## Invariants
17+
18+
- Multiple versions with different dates are permitted
19+
- No other A2ML files in this directory
20+
- Single source of truth for anchor documents
21+

.machine_readable/anchors/ANCHOR.a2ml renamed to .machine_readable/6a2/anchor/ANCHOR.a2ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
# SPDX-License-Identifier: PMPL-1.0-or-later
1+
# SPDX-License-Identifier: MPL-2.0
22
# Copyright (c) {{CURRENT_YEAR}} Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
33
#
44
# ANCHOR.a2ml - authoritative anchor for this repository

‎.machine_readable/6a2/anchor/README.adoc‎

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,25 @@
1+
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
3+
# A2ML Anchor Directory
4+
5+
This directory contains ANCHOR.a2ml files for project recalibration and scope intervention.
6+
7+
## Files
8+
9+
- `ANCHOR.a2ml` - Project recalibration, scope intervention, canonical authority
10+
11+
## Multiple Versions
12+
13+
Unlike other A2ML files, multiple versions of ANCHOR.a2ml with different dates may exist.
14+
Each version represents a specific recalibration point in the project history.
15+
16+
## Standards Compliance
17+
18+
These files follow the ANCHOR.a2ml specification from:
19+
https://github.com/hyperpolymath/standards/tree/main/anchor-a2ml
20+
21+
## See Also
22+
23+
- [A2ML Repository Template](https://github.com/hyperpolymath/standards/blob/main/A2ML-REPO-TEMPLATE.adoc)
24+
- [Anchor A2ML Spec](https://github.com/hyperpolymath/standards/tree/main/anchor-a2ml)
25+

‎.machine_readable/MUST.contractile‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,7 +26,7 @@
2626
; remain active until the feature is fully removed.
2727
;
2828
; Enforcement:
29-
; K9 validators in contractiles/k9/ machine-check MUST constraints.
29+
; K9 validators in contractiles/self-validating/ machine-check MUST constraints.
3030
; CI runs these on every PR. Violations block merge.
3131
;
3232
; ── End Definitions ──────────────────────────────────────────────
@@ -85,7 +85,7 @@
8585
; (must "# Add project-specific invariants here")
8686

8787
(enforcement
88-
(k9-validator "contractiles/k9/must-check.k9.ncl")
88+
(k9-validator "contractiles/self-validating/must-check.k9.ncl")
8989
(ci "quality.yml runs must-check on every PR")
9090
)
9191
)

.machine_readable/contractiles/k9/README.adoc renamed to .machine_readable/contractiles/self-validating/README.adoc

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -72,13 +72,13 @@ Choose the appropriate security level for your use case:
7272
[source,bash]
7373
----
7474
# Kennel: Pure configuration
75-
cp .machine_readable/contractiles/k9/examples/project-metadata.k9.ncl config/metadata.k9.ncl
75+
cp .machine_readable/contractiles/self-validating/examples/project-metadata.k9.ncl config/metadata.k9.ncl
7676
7777
# Yard: Validated configuration
78-
cp .machine_readable/contractiles/k9/examples/ci-config.k9.ncl .github/ci.k9.ncl
78+
cp .machine_readable/contractiles/self-validating/examples/ci-config.k9.ncl .github/ci.k9.ncl
7979
8080
# Hunt: Full automation
81-
cp .machine_readable/contractiles/k9/examples/setup-repo.k9.ncl scripts/setup.k9.ncl
81+
cp .machine_readable/contractiles/self-validating/examples/setup-repo.k9.ncl scripts/setup.k9.ncl
8282
----
8383

8484
=== 2. Validate Components
@@ -131,7 +131,7 @@ K9 contractiles integrate with other RSR standards:
131131
⚠️ **Never run as root unless required** +
132132
⚠️ **Sandbox external components**
133133

134-
**See:** https://github.com/hyperpolymath/k9-svc/blob/main/docs/SECURITY-BEST-PRACTICES.adoc
134+
**See:** https://github.com/hyperpolymath/self-validating/blob/main/docs/SECURITY-BEST-PRACTICES.adoc
135135

136136
== Template Files
137137

@@ -160,9 +160,9 @@ git clone https://github.com/hyperpolymath/k9-svc.git
160160

161161
== Learn More
162162

163-
- **K9-SVC Specification:** https://github.com/hyperpolymath/k9-svc/blob/main/SPEC.adoc
164-
- **K9 User Guide:** https://github.com/hyperpolymath/k9-svc/blob/main/GUIDE.adoc
165-
- **Security Documentation:** https://github.com/hyperpolymath/k9-svc/blob/main/docs/SECURITY-FAQ.adoc
163+
- **K9-SVC Specification:** https://github.com/hyperpolymath/self-validating/blob/main/SPEC.adoc
164+
- **K9 User Guide:** https://github.com/hyperpolymath/self-validating/blob/main/GUIDE.adoc
165+
- **Security Documentation:** https://github.com/hyperpolymath/self-validating/blob/main/docs/SECURITY-FAQ.adoc
166166
- **IANA Media Type:** `application/vnd.k9+nickel`
167167

168168
== Contributing

0 commit comments

Comments
 (0)