Skip to content

Commit 8c2b417

Browse files
hyperpolymathmistral-vibeclaude
authored
chore(governance): adopt estate-standardization wave + 2026-06-12 checkpoint (#55)
## Summary Reconciles the orphaned `estate-standardization-20260607` branch and applies the 2026-06-12 governance checkpoint. Three commits: 1. **`3157d08` estate merge** — conflicts `.claude/CLAUDE.md` + `rust-ci.yml` both resolved to main's versions (verified zero diff vs main for both). Wave brings: `6a2/0-AI-MANIFEST.a2ml` + `6a2/anchor/`, `agent_instructions/`→`bot_directives/`, `svc/k9/`→`self-validating/`, flat contractiles, `GOVERNANCE.adoc`/`MAINTAINERS.adoc`/`CODEOWNERS`, OpenSSF badge, plain-MPL-2.0 LICENSE, `flake.nix` removed (guix.scm primary). 2. **`bda5afe`** codeql cron weekly→monthly (cherry-pick of `cicd/codeql-cron-monthly`). 3. **`d2bdd55` checkpoint layer** (24 files, `.machine_readable/` + docs only): - 6a2 `STATE.a2ml` refreshed to 2026-06-12 with `[recent-work]` from the real git log (PRs #27#53); completion held honestly at 60% / CRG D. - **Contractiles repopulated repo-true** — the estate stubs were unadapted `rsr-template-repo` copies; ⚠️ critically, the stub had **reverted the hardened crypto Trustfile from `minimal`/deny-by-default back to `maximal`** — the hardened trust posture (no-key-material, no-homerolled-hmac, MCP gating) is restored and preserved. Dustfile + Bustfile fully written (n/a sections carry reasons). - **`bot_directives/` trio** (hypatia / gitbot-fleet / git-private-farm), never-touch list adapted to januskey (`src/abi/`, `generated/idrisiser/`, threat-model, Trustfile). - **`self-validating/`** fleshed out to the shared k9 template set (januskey identity), keeping `januskey-metadata.k9.ncl` + `threat-model.a2ml`. - Wiki Home + README: "provably reversible"/"100% reversibility" overclaims qualified per the repo's own corrected claims; broken CONTRIBUTING link fixed. ## After merge — branches deletable (maintainer action) `estate-standardization-20260607`, `cicd/codeql-cron-monthly`, **plus 4 verified byte-identical/superseded strays**: `chore/scorecard-job-level-perms-282`, `claude/changelog-seed-2026-05-26`, `claude/tech-debt-2026-05-26`, `docs/claude-md-rescript-to-affinescript`. (#54 is dependabot's — leave.) ## Flagged for maintainer - `.claude/CLAUDE.md` needs 3 maintainer edits (agent-blocked): line ~46 leftover "ReScript"; stale "Fallback: Nix (flake.nix)"; "Guile Scheme — State/meta" row describing `.a2ml` files. - `TESTING-REPORT.scm` in repo root violates the repo's own MUST invariant. - `instant-sync.yml` lacks the `FARM_DISPATCH_TOKEN` presence gate. - Estate contractile format note: canonical flat contractiles use the estate DSL (not TOML) — kept as canonical for the 4 estate-supplied ones, TOML for net-new; estate-wide format decision pending. 🤖 Draft — opened for review. https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ --- _Generated by [Claude Code](https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ)_ --------- Co-authored-by: Mistral Vibe <vibe@mistral.ai> Co-authored-by: Claude <noreply@anthropic.com>
1 parent e0afe6a commit 8c2b417

157 files changed

Lines changed: 2418 additions & 928 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

.github/CODEOWNERS

Lines changed: 34 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,34 @@
1+
# SPDX-License-Identifier: MPL-2.0
2+
# CODEOWNERS - Define code review assignments for GitHub
3+
# See: https://docs.github.com/en/repositories/managing-your-repositorys-settings-and-features/customizing-your-repository/about-code-owners
4+
5+
# Default: sole maintainer for all files
6+
* @hyperpolymath
7+
8+
# Security-sensitive files require explicit ownership
9+
SECURITY.md @hyperpolymath
10+
.github/workflows/ @hyperpolymath
11+
.machine_readable/ @hyperpolymath
12+
contractiles/ @hyperpolymath
13+
14+
# License files
15+
LICENSE @hyperpolymath
16+
LICENSES/ @hyperpolymath
17+
18+
# Configuration
19+
.gitignore @hyperpolymath
20+
.github/ @hyperpolymath
21+
22+
# Documentation
23+
README* @hyperpolymath
24+
CONTRIBUTING* @hyperpolymath
25+
CODE_OF_CONDUCT* @hyperpolymath
26+
GOVERNANCE* @hyperpolymath
27+
MAINTAINERS* @hyperpolymath
28+
CHANGELOG* @hyperpolymath
29+
ROADMAP* @hyperpolymath
30+
31+
# Build and CI
32+
Justfile @hyperpolymath
33+
Makefile @hyperpolymath
34+
*.sh @hyperpolymath

.github/ISSUE_TEMPLATE/bug_report.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
15
---
26
name: Bug report
37
about: Create a report to help us improve

.github/ISSUE_TEMPLATE/custom.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
15
---
26
name: Custom issue template
37
about: Describe this issue template's purpose here.

.github/ISSUE_TEMPLATE/documentation.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
15
---
26
name: Documentation
37
about: Report unclear, missing, or incorrect documentation

.github/ISSUE_TEMPLATE/feature_request.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
15
---
26
name: Feature request
37
about: Suggest an idea for this project

.github/ISSUE_TEMPLATE/question.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,7 @@
1+
<!--
2+
SPDX-License-Identifier: MPL-2.0
3+
Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
4+
-->
15
---
26
name: Question
37
about: Ask a question about usage or behaviour

.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/boj-build.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,7 @@ on:
77
jobs:
88
trigger-boj:
99
runs-on: ubuntu-latest
10+
timeout-minutes: 15
1011
steps:
1112
- name: Checkout
1213
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3

.github/workflows/cargo-audit.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,7 @@ permissions: read-all
2020
jobs:
2121
audit:
2222
runs-on: ubuntu-latest
23+
timeout-minutes: 15
2324
steps:
2425
- uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v4
2526

@@ -35,6 +36,7 @@ jobs:
3536
# Optional: Create issues for vulnerabilities
3637
create-issue:
3738
runs-on: ubuntu-latest
39+
timeout-minutes: 15
3840
needs: audit
3941
if: failure()
4042
permissions:

.github/workflows/casket-pages.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ concurrency:
1818
jobs:
1919
build:
2020
runs-on: ubuntu-latest
21+
timeout-minutes: 15
2122
steps:
2223
- name: Checkout
2324
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v4
@@ -109,6 +110,7 @@ jobs:
109110
name: github-pages
110111
url: ${{ steps.deployment.outputs.page_url }}
111112
runs-on: ubuntu-latest
113+
timeout-minutes: 15
112114
needs: build
113115
steps:
114116
- name: Deploy to GitHub Pages

0 commit comments

Comments
 (0)