Skip to content

docs(governance): salvage CODEOWNERS / GOVERNANCE / MAINTAINERS from closed estate PR #310#314

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/compassionate-mccarthy-xvwd6r
Jun 24, 2026
Merged

docs(governance): salvage CODEOWNERS / GOVERNANCE / MAINTAINERS from closed estate PR #310#314
hyperpolymath merged 1 commit into
mainfrom
claude/compassionate-mccarthy-xvwd6r

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Summary

PR #310 (estate-standardization-20260607) is being closed rather than merged: it has a disjoint history with main (no common ancestor — 372 commits divergent), and its formal/Semantics.v carries the legacy preservation closure (safe_for_step ×125) that main deliberately does not (per CLAUDE.md's fences and the 2026-05-26 counterexample).

A scan showed the only artefacts on that branch not already present on main are three governance docs. This PR re-applies them on a clean base off current main, so the useful work isn't lost when #310 closes.

Contents

  • .github/CODEOWNERS — review routing (sole-maintainer @hyperpolymath)
  • GOVERNANCE.adoc — sole-maintainer governance model
  • MAINTAINERS.adoc — maintainer roster + responsibilities

Notes for reviewers

  • Licence headers normalised to match main's recent licence pass: the two prose .adoc files were MPL-2.0 on the estate branch and are now CC-BY-SA-4.0 (docs); CODEOWNERS stays MPL-2.0 as config. This also resolves an internal inconsistency — GOVERNANCE.adoc itself states the policy is "CC-BY-SA-4.0 for prose".
  • Open question for you: main has been moving governance toward org-level .github canon (issue/discussion templates already retired in favour of it). If you intend CODEOWNERS/GOVERNANCE/MAINTAINERS to be inherited from the org rather than kept locally, this PR can simply be closed too. Left as draft for that call.
  • CONTRIBUTING.md also existed on the estate branch but main standardised on CONTRIBUTING.adoc, so the duplicate was intentionally not salvaged.

🤖 Generated with Claude Code


Generated by Claude Code

…rom estate branch)

Recovers the three governance documents authored on the
estate-standardization-20260607 branch (PR #310) that never reached main.
That branch has a disjoint history and also carries superseded legacy
preservation-proof work, so it is being closed rather than merged; these
three files are the only artefacts on it not already present on main,
re-applied here on a clean base off current main.

Licence headers brought into line with main's normalisation
(prose .adoc -> CC-BY-SA-4.0); CODEOWNERS stays MPL-2.0 as config.

- .github/CODEOWNERS : review routing (sole-maintainer @hyperpolymath)
- GOVERNANCE.adoc    : sole-maintainer governance model
- MAINTAINERS.adoc   : maintainer roster + responsibilities

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_019g8rX8vRZ2HemGKagi6a71
@hyperpolymath
hyperpolymath marked this pull request as ready for review June 24, 2026 08:56
@hyperpolymath
hyperpolymath merged commit 05b2280 into main Jun 24, 2026
9 of 11 checks passed
@hyperpolymath
hyperpolymath deleted the claude/compassionate-mccarthy-xvwd6r branch June 24, 2026 08:56
hyperpolymath added a commit that referenced this pull request Jun 24, 2026
…ndoff (#319)

## Summary

Housekeeping pass to bring the living docs current with this session's
**non-proof** infrastructure work, and to version-control the
outstanding Hypatia triage. **No `.v` files touched; no proof-state
change.**

## Changes

- **`CHANGELOG.md`** — new `### Governance, CI & security-scan
infrastructure (2026-06-24)` entry under `[Unreleased]`: govdocs (#314),
`standards` pin remediation (#315, now `d135b05…` via #316), the Hypatia
gate getting unblocked and surfacing **37 pre-existing findings** (5
critical / 7 high / 25 medium), and the closure of stale PRs #310/#311.
- **`docs/governance/HYPATIA-HANDOFF.md`** (new) — a tracked record of
the **OPEN** Hypatia triage: how it surfaced, why the engine can't run
in the remote sandbox (Hex registry blocked by egress policy),
reproduction steps, disposition rules (incl. the `CLAUDE.md` fences),
and the drafted `standards` visibility patch. Honestly framed as **not
yet fixed**.
- **`.machine_readable/6a2/STATE.a2ml`** — bumped `updated:`; appended a
clearly-delimited `INFRA (…non-proof track)` clause to `last_action`.
The Phase-D proof narrative is left intact.
- **`docs/wikis/Home.md`** — linked the new governance docs
(`GOVERNANCE.adoc` / `MAINTAINERS.adoc` / `CODEOWNERS`).

## Deliberately NOT touched

`STATUS.adoc`, `ROADMAP.adoc`, `formal/PROOF-STATUS.a2ml`,
`formal/PRESERVATION-DESIGN.md`, `formal/PRESERVATION-HANDOFF.md`,
`CLAUDE.md`, `0-AI-MANIFEST.a2ml` — these are proof-cadence-owned /
fenced; adding CI/governance content would muddle the proof narrative,
and they carry no incorrect information without it. Happy to add infra
notes there too if you'd prefer.

## Honesty notes

- The 37 findings are **pre-existing repo debt**, surfaced (not caused)
by fixing the broken pin; they are **not fixed** here — triage is handed
off.
- The `standards` visibility patch is **drafted, not applied**.
- `#316/#317/#318` (further pin bump, licence pass, push-email workflow)
landed on `main` *after* my #315 and are **not** attributed to this
session — only referenced where factually relevant.

🤖 Generated with [Claude Code](https://claude.com/claude-code)

---
_Generated by [Claude
Code](https://claude.ai/code/session_019g8rX8vRZ2HemGKagi6a71)_

Co-authored-by: Claude <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants