Skip to content

Commit 57b971c

Browse files
committed
chore: rename k9 directories to self-validating for clarity
1 parent 51e1230 commit 57b971c

4 files changed

Lines changed: 13 additions & 8 deletions

File tree

.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/hypatia-scan.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,6 +43,7 @@ jobs:
4343
scan:
4444
name: Hypatia Neurosymbolic Analysis
4545
runs-on: ubuntu-latest
46+
timeout-minutes: 15
4647

4748
steps:
4849
- name: Checkout repository

LICENSE

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,3 @@
1-
SPDX-License-Identifier: MPL-2.0
2-
31
Mozilla Public License Version 2.0
42
==================================
53

@@ -37,7 +35,7 @@ Mozilla Public License Version 2.0
3735
means any form of the work other than Source Code Form.
3836

3937
1.7. "Larger Work"
40-
means a work that combines Covered Software with other material, in
38+
means a work that combines Covered Software with other material, in
4139
a separate file or files, that is not Covered Software.
4240

4341
1.8. "License"
@@ -359,7 +357,7 @@ Exhibit A - Source Code Form License Notice
359357

360358
This Source Code Form is subject to the terms of the Mozilla Public
361359
License, v. 2.0. If a copy of the MPL was not distributed with this
362-
file, You can obtain one at http://mozilla.org/MPL/2.0/.
360+
file, You can obtain one at https://mozilla.org/MPL/2.0/.
363361

364362
If it is not possible or desirable to put the notice in a particular
365363
file, then You may include the notice in a location (such as a LICENSE

README.adoc

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
// SPDX-License-Identifier: MPL-2.0
2+
// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
23
// SPDX-FileCopyrightText: 2026 Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
34

45
= Humor Ecosystem
@@ -7,7 +8,7 @@
78

89
image:https://img.shields.io/badge/OpenSSF-Best_Practices-green?logo=opensourcesecurity[OpenSSF Best Practices,link="https://www.bestpractices.dev/en/projects/new?repo_url=https://github.com/hyperpolymath/humor-ecosystem"]
910
image:https://api.thegreenwebfoundation.org/greencheckimage/github.com[Green Web,link="https://www.thegreenwebfoundation.org/green-web-check/?url=github.com"]
10-
image:https://img.shields.io/badge/License-PMPL--1.0--or--later-blue.svg[License: MPL-2.0,link="LICENSE"]
11+
image:https://img.shields.io/badge/License-MPL_2.0-blue.svg[License: MPL-2.0,link="https://opensource.org/licenses/MPL-2.0"]
1112

1213
A collection of satirical, parody, and comedic software projects.
1314
Security theater, absurdist tooling, and deliberately bad implementations —
@@ -54,10 +55,9 @@ tests, and CI workflows. See the individual project READMEs for build instructio
5455

5556
== License
5657

57-
link:LICENSE[MPL-2.0] — MPL-2.0 is the automatic legal fallback
58-
until PMPL achieves formal recognition.
58+
This project is licensed under the Mozilla Public License, v. 2.0. See the `LICENSE` file for details.
5959

60-
Exception: `dicti0nary-attack` is GPL-3.0-or-later (see its LICENSE file).
60+
SPDX-License-Identifier: MPL-2.0
6161

6262
== Author
6363

0 commit comments

Comments
 (0)