Skip to content

feat(governance): promote the docs + package-policy gates from theatre to real (#505) - #513

Merged
hyperpolymath merged 4 commits into
mainfrom
fix/505-governance-real-gates
Jul 21, 2026
Merged

feat(governance): promote the docs + package-policy gates from theatre to real (#505)#513
hyperpolymath merged 4 commits into
mainfrom
fix/505-governance-real-gates

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Promotes the two governance-reusable.yml jobs that could not fail into real gates — tasks 1, 2 and 3 of #505.

Blast radius was measured first, not guessed

Over the 412 real repo-root callers of governance-reusable in the estate checkout (1,106 raw grep hits reduce to 412 once nested monorepo subdirs — whose .github/workflows GitHub never reads — are excluded):

checkmissingdecision
README0 / 412blocking now — arming reds nobody
LICENSE0 / 412blocking now — arming reds nobody
CONTRIBUTING54 / 412 (13%)warn → blocking from 2026-08-21
no Guix/Nix packaging70 / 412 (17%)warn → blocking from 2026-08-21

Verified against all 412 callers with the final scripts: 0 red today on both gates. The grace window buys time without manufacturing red noise now — and it is a real date that flips itself, not a flag defaulting to off (which would be the theatre this replaces).

94 unique repos must land a CONTRIBUTING and/or packaging file before the cutoff. Full list attached as a comment below.

What changed

scripts/check-docs-presence.sh (new) — replaces the ::warning::-only step. Split gate: README+LICENSE fail immediately, CONTRIBUTING warns until the cutoff. Critically, it never prints a pass claim while a required file is absent — grace mode prints NOT YET ENFORCED, not a green tick.

scripts/check-package-policy.sh (new) — replaces the job that ended in an unconditional ✅ Package policy check passed. Two honesty fixes beyond adding exit 1:

  • Predicate tightened from "any *.scm anywhere" (a stray Guile source file satisfied it) to a genuine packaging artefact (guix.scm/manifest.scm/channels.scm/.guix-channel). Tightening moved only 13 repos, so honesty was nearly free.
  • Vendored trees (node_modules/, deps/, .lake/, vendor/, .git/) are pruned, so a dependency can't satisfy the policy on the caller's behalf.
  • The git diff HEAD~1 lockfile branch is dropped, not stubbed: it never resolved under ref: github.sha without fetch-depth, so it was inert. hypatia cicd_rules/nodejs_detected is the real rule. Broadening it beyond package-lock.json is follow-up, noted below.

Redundant trufflehog removed (#505 task 3). It was continue-on-error: true so it never gated, and it duplicated the real gitleaks gate from #500. secret-scanner-reusable.yml's header already claimed "Trufflehog removed as redundant" — this reconciles the estate with itself. Removing a never-failing step cannot newly-red any caller.

Both gates refuse to be disarmed. A malformed cutoff would make the date comparison pick the grace branch forever — silently restoring the fake gate. Both scripts validate their own cutoff format and hard-fail on garbage.

A real bug, found only by running against real repos

find … | head -1 under set -o pipefail is a SIGPIPE race: head exits after line 1, find keeps writing, takes SIGPIPE, and pipefail propagates it — aborting under set -e. It only bites on trees large enough that find is still running, so all 20 unit fixtures passed while two real estate repos red intermittently for no policy reason. Fixed, with a regression test that was itself red-teamed: it fails against the buggy form and passes against the fix. (The first version of that test was a false-green — 3,000 non-matching files don't trigger it, because find emits one line; the fixture now creates 4,000 matching paths.)

Verification

just governance-gates-test21 cases, all green. Drives both gates on both sides of the cutoff (DOCS_TODAY / PKG_TODAY seams), plus alternate extensions, inclusive-cutoff boundary, vendored-tree pruning, stray-.scm rejection, malformed-cutoff refusal, and the SIGPIPE regression.

This matters because #505 notes standards CI does not exercise the reusable for SHA-pinned callers — watching this repo go green proves nothing about them. Note however that 396 callers pin @main, so they pick this up immediately on merge; the grace window is what makes that safe.

⚠️ Reviewer note — the plumbing proof and the expected red

standards calls this reusable on its own PRs (governance.yml./.github/workflows/governance-reusable.yml), and the script checkout is pinned ref: main. The new scripts are not on main until this merges, so the final commit's governance run will red for that reason alone, not because the change is broken.

To prove the plumbing (sparse-checkout → cp to $RUNNER_TEMPrm -rf .standards-checkout → run) actually works end-to-end, this branch temporarily points ref: at itself; that run is the evidence, and the ref: is reverted to main before merge. See the commit history.

Rollback

Revert this PR, or re-pin callers to the previous governance-reusable SHA. The two new scripts are additive — nothing else calls them.

Follow-up (not in scope here)

  • Broaden hypatia cicd_rules/nodejs_detected beyond package-lock.json (yarn/Gemfile/Pipfile/poetry lockfiles), recovering the coverage the inert branch nominally claimed.
  • The 94-repo remediation list before 2026-08-21.

Refs #505, #500

hyperpolymathand others added 2 commits July 21, 2026 05:09
…e to real
Closes the two "cannot fail" jobs in governance-reusable.yml (standards#505),
each honestly and each with a red-team proof it CAN fail (wave8 doctrine).
Blast radius was measured before choosing anything, over the 412 real repo-root
callers of governance-reusable in the estate checkout — not guessed:
README 0/412 missing -> BLOCKING NOW (arming reds nobody)
LICENSE 0/412 missing -> BLOCKING NOW (arming reds nobody)
CONTRIBUTING 54/412 missing -> warn, BLOCKING from 2026-08-21
no guix/nix 70/412 -> warn, BLOCKING from 2026-08-21
Verified: 0 callers red today, on both gates. The grace window costs no new
red noise now, and it is a real date that flips itself — not a flag defaulting
to off, which would be the theatre this replaces.
- scripts/check-docs-presence.sh: split gate. README+LICENSE fail immediately;
CONTRIBUTING warns until the cutoff then fails. Never prints a pass claim
while a required file is absent ("NOT YET ENFORCED", not a green tick).
- scripts/check-package-policy.sh: replaces the echo-only job that ended in an
unconditional "Package policy check passed". Predicate tightened from "any
*.scm anywhere" (a stray Guile file satisfied it) to a genuine packaging
artefact, with vendored trees pruned so a dependency cannot satisfy the
policy on the caller's behalf. Tightening moved only 13 repos, so honesty
was nearly free. The inert `git diff HEAD~1` lockfile branch is dropped
rather than kept as a stub: it never resolved under `ref: github.sha`
without fetch-depth, and hypatia cicd_rules/nodejs_detected is the real rule.
- Both scripts refuse to run on a malformed cutoff. An unparseable date would
make the comparison pick the grace branch forever, silently restoring the
fake gate — so the gate declines to be accidentally disarmed.
- Removed the redundant advisory trufflehog step. It was continue-on-error so
it never gated, and it duplicated the real gitleaks gate from #500; the
secret-scanner header already claimed trufflehog was removed, so this
reconciles the estate with itself. Removing a never-failing step cannot
newly-red any caller.
- Fixed a SIGPIPE race found only by running against real repos: `find | head -1`
under `set -o pipefail` aborts on large trees, which red two estate repos for
no policy reason while all 20 unit fixtures passed. Regression test included
and confirmed to fail against the buggy form.
Tests: scripts/tests/governance-gates-505-test.sh (21 cases, `just
governance-gates-test`) — drives both gates on both sides of the cutoff, since
standards CI does not exercise the reusable (callers pin a SHA).
Refs: #505, #500
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Reverted to `ref: main` before merge. Without this the new scripts are not on
main yet, so the cp would fail for the wrong reason and hide whether the
sparse-checkout -> RUNNER_TEMP -> run plumbing actually works.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath

Copy link
Copy Markdown
OwnerAuthor

Remediation list — 74 repos to land before 2026-08-21

Generated by running the final gate scripts against all 412 real repo-root callers with DOCS_TODAY/PKG_TODAY set past the cutoff. 94 local checkout paths collapse to 74 unique GitHub repos (the rest are worktrees of the same repo).

reponeeds
hyperpolymath/0patch-lsa-sentinelpackaging
hyperpolymath/achievements-labCONTRIBUTING + packaging
hyperpolymath/action-trust-layersCONTRIBUTING + packaging
hyperpolymath/affinescriptpackaging
hyperpolymath/airborne-submarine-squadronpackaging
hyperpolymath/anytypeCONTRIBUTING
hyperpolymath/anytypeCONTRIBUTING + packaging
hyperpolymath/avow-protocolpackaging
hyperpolymath/awesome-gleamCONTRIBUTING + packaging
hyperpolymath/awesome-haskellCONTRIBUTING + packaging
hyperpolymath/awesome-zigpackaging
hyperpolymath/bag-of-actionsCONTRIBUTING
hyperpolymath/bebop-ffipackaging
hyperpolymath/bgp-backbone-labpackaging
hyperpolymath/bitfuckitpackaging
hyperpolymath/bofj-kittpackaging
hyperpolymath/boj-server-cartridgespackaging
hyperpolymath/candy-crashpackaging
hyperpolymath/casket-ssgpackaging
hyperpolymath/chronicles-of-slaviaCONTRIBUTING
hyperpolymath/chronicles-of-slaviaCONTRIBUTING + packaging
hyperpolymath/cicd-squabblerCONTRIBUTING
hyperpolymath/cicd-squabblerCONTRIBUTING + packaging
hyperpolymath/claude-gecko-browser-extensionpackaging
hyperpolymath/claude-integrationsCONTRIBUTING + packaging
hyperpolymath/contractiles-a2-labCONTRIBUTING + packaging
hyperpolymath/contractilespackaging
hyperpolymath/coord-tuiCONTRIBUTING + packaging
hyperpolymath/coq-jrpackaging
hyperpolymath/dotfilesCONTRIBUTING + packaging
hyperpolymath/EchoBoxCONTRIBUTING
hyperpolymath/EchoTypes.jlCONTRIBUTING + packaging
hyperpolymath/frayed-knot-toolkitpackaging
hyperpolymath/glyphbasepackaging
hyperpolymath/gnplpackaging
hyperpolymath/haecpackaging
hyperpolymath/hermeneiaCONTRIBUTING
hyperpolymath/hermeneiaCONTRIBUTING + packaging
hyperpolymath/HOLCONTRIBUTING
hyperpolymath/hpm-crypto-rsrCONTRIBUTING + packaging
hyperpolymath/idaptik-umsCONTRIBUTING + packaging
hyperpolymath/invariant-pathpackaging
hyperpolymath/ipv6-site-enforcerpackaging
hyperpolymath/julia-ecosystemCONTRIBUTING
hyperpolymath/knot-riderCONTRIBUTING
hyperpolymath/knot-riderCONTRIBUTING + packaging
hyperpolymath/llm-gracepackaging
hyperpolymath/lua-filterspackaging
hyperpolymath/modshellspackaging
hyperpolymath/multitermCONTRIBUTING + packaging
hyperpolymath/network-dashboardpackaging
hyperpolymath/not-so-serious-softwareCONTRIBUTING + packaging
hyperpolymath/oblibenypackaging
hyperpolymath/panoplypackaging
hyperpolymath/poly-k8s-mcppackaging
hyperpolymath/protocol-squisherCONTRIBUTING
hyperpolymath/quandledbpackaging
hyperpolymath/qubes-sdppackaging
hyperpolymath/recon-silly-ationpackaging
hyperpolymath/-REPO-CONTRIBUTING
hyperpolymath/rsr-julia-library-template-repoCONTRIBUTING
hyperpolymath/rsr-julia-library-template-repoCONTRIBUTING + packaging
hyperpolymath/rsr-template-repoCONTRIBUTING
hyperpolymath/scaffoldiapackaging
hyperpolymath/stateful-artefactspackaging
hyperpolymath/systemetCONTRIBUTING
hyperpolymath/systemetCONTRIBUTING + packaging
hyperpolymath/technical-notesCONTRIBUTING + packaging
hyperpolymath/tentacles-agentic-syllabusCONTRIBUTING + packaging
hyperpolymath/this-ssgCONTRIBUTING
hyperpolymath/this-ssgCONTRIBUTING + packaging
hyperpolymath/trope-checkerpackaging
hyperpolymath/trope-particularity-workbenchpackaging
hyperpolymath/veridical-simulation-coreCONTRIBUTING + packaging
hyperpolymath/verisimdbpackaging
hyperpolymath/vextpackaging
hyperpolymath/vocariumCONTRIBUTING + packaging
metadatastician/cadastraCONTRIBUTING
metadatastician/cadastraCONTRIBUTING + packaging
metadatastician/idaptik-umsCONTRIBUTING + packaging
metadatastician/idaptik-ums.wt-bridgeCONTRIBUTING + packaging
(no-remote) worktrees/incident-ddraig-restore/anytypeCONTRIBUTING
(no-remote) worktrees/incident-ddraig-restore/vocariumCONTRIBUTING

Fixes are small:CONTRIBUTING.md (or .adoc) at the repo root, and/or a guix.scm / manifest.scm / flake.nix. Files inside node_modules/, deps/, .lake/, vendor/ do not count.

⚠️Sequencing note. On 2026-08-21 these begin failing governance, which regenerates exactly the ci_activity / CheckSuite notifications drained in the 2026-07-20 incident. The Actions web-notification setting (Settings → Notifications → System → Actions) should be muted before the cutoff, or a slice of the storm returns. Extending the window is a one-line change to the default in each script.

The TEMP branch-ref commit proved the sparse-checkout -> RUNNER_TEMP -> run
plumbing end-to-end: run 29800699488, Governance green, with both gates
producing real output ('Core documentation present', 'Guix package management
detected'). Restoring `main` so this cannot merge a branch ref to the 396
callers that pin @main.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
@hyperpolymath

Copy link
Copy Markdown
OwnerAuthor

✅ Plumbing proof (satisfies #505's consumer-branch checkbox)

Commit 88fd426 temporarily pointed the script checkout at this branch; run 29800699488 — Governance: success, all 9 jobs green. Both new gates executed against a real repository and produced real output:

governance / Code quality + docs
✅ Core documentation present (README, LICENSE, CONTRIBUTING)
governance / Guix primary / Nix fallback policy
✅ Guix package management detected (primary): k9-svc/bindings/deno/.guix-channel

That exercises the whole path the unit suite structurally cannot reach: actions/checkout sparse-checkout → cp to $RUNNER_TEMPrm -rf .standards-checkout → run.

Commit 9cb379c reverts ref: to main (verified byte-identical to the pre-TEMP state), so a branch ref cannot reach the 396 callers pinning @main.

Therefore the Governance check on this head commit is expected to redcp cannot find scripts that are not on main yet. It resolves on merge. The green run above is the evidence the change itself is sound.

Also confirmed not mine

Secret Scanner fails on main too (run at 2026-07-21T04:02:27Z, before this branch existed), and Hypatia Security Scanstartup_failures — both pre-existing estate rot tracked separately.

@hyperpolymath
hyperpolymath marked this pull request as ready for review July 21, 2026 04:47
@hyperpolymath
hyperpolymath merged commit dbfd661 into mainJul 21, 2026
1 check passed
@hyperpolymath
hyperpolymath deleted the fix/505-governance-real-gates branch July 21, 2026 04:48
@sonarqubecloud

Copy link
Copy Markdown

This was referenced Jul 21, 2026
hyperpolymath added a commit to hyperpolymath/trope-checker that referenced this pull request Jul 21, 2026
…05 gates bite (#40)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/trope-particularity-workbench that referenced this pull request Jul 21, 2026
…05 gates bite (#38)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/vocarium that referenced this pull request Jul 21, 2026
…05 gates bite (#7)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/action-trust-layers that referenced this pull request Jul 21, 2026
…05 gates bite (#22)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
rust`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/0patch-lsa-sentinel that referenced this pull request Jul 21, 2026
…05 gates bite (#2)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/continuation-mesh that referenced this pull request Jul 21, 2026
…05 gates bite (#14)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING`
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/bebop-ffi that referenced this pull request Jul 21, 2026
…05 gates bite (#44)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/bgp-backbone-lab that referenced this pull request Jul 21, 2026
…05 gates bite (#76)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/candy-crash that referenced this pull request Jul 21, 2026
…05 gates bite (#68)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
deno`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/coord-tui that referenced this pull request Jul 21, 2026
…05 gates bite (#29)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
rust`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/EchoTypes.jl that referenced this pull request Jul 21, 2026
…05 gates bite (#13)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
julia`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/frayed-knot-toolkit that referenced this pull request Jul 21, 2026
…05 gates bite (#30)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/glyphbase that referenced this pull request Jul 21, 2026
…05 gates bite (#5)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/gnpl that referenced this pull request Jul 21, 2026
…05 gates bite (#5)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/hpm-crypto-rsr that referenced this pull request Jul 21, 2026
…05 gates bite (#5)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/invariant-path that referenced this pull request Jul 21, 2026
…05 gates bite (#44)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
rust`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/ipv6-site-enforcer that referenced this pull request Jul 21, 2026
…05 gates bite (#78)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/julia-ecosystem that referenced this pull request Jul 21, 2026
…05 gates bite (#19)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING`
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/modshells that referenced this pull request Jul 21, 2026
…05 gates bite (#85)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/network-dashboard that referenced this pull request Jul 21, 2026
…05 gates bite (#78)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
elixir`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/not-so-serious-software that referenced this pull request Jul 21, 2026
…05 gates bite (#17)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/oblibeny that referenced this pull request Jul 21, 2026
…05 gates bite (#101)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
ocaml`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/protocol-squisher that referenced this pull request Jul 21, 2026
…05 gates bite (#83)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING`
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/quandledb that referenced this pull request Jul 21, 2026
…05 gates bite (#75)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`none
detected`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/technical-notes that referenced this pull request Jul 21, 2026
…05 gates bite (#17)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`none
detected`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/tentacles-agentic-syllabus that referenced this pull request Jul 21, 2026
…05 gates bite (#22)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`none
detected`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/verisimdb that referenced this pull request Jul 21, 2026
…05 gates bite (#187)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo** (`just
rust`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to hyperpolymath/vext that referenced this pull request Jul 21, 2026
…05 gates bite (#27)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
hyperpolymath added a commit to metadatastician/idaptik-ums that referenced this pull request Jul 21, 2026
…05 gates bite (#13)
Remediates this repo against the two governance gates promoted from
advisory to blocking in
[hyperpolymath/standards#513](hyperpolymath/standards#513)
(closing standards#505).
Those gates previously **could not fail**: the docs check only emitted
`::warning::`, and the package-policy job ended in an unconditional `✅
Package policy check passed`. They are now real, with a grace window —
they begin **blocking on 2026-08-21**. This repo was measured as
non-compliant, so this PR lands the missing files ahead of that date.
**Added here:** `CONTRIBUTING + packaging`
### `flake.nix`
A **dev shell**, not a package build. Estate policy is Guix primary /
Nix fallback; this is the fallback tier, and a `guix.scm` is welcome
later to move to the primary.
- Packages mirror the tooling **actually present in this repo**
(`just`), not a generic default.
- `nixpkgs` is pinned to an exact revision per the estate SHA-pinning
rule.
- **Verified**: `nix flake check` passes (nix 2.35.1). Every package
name was confirmed to exist in the pinned revision before generation —
nothing here is guessed.
### `CONTRIBUTING.md`
Markdown by estate rule (it is on the GitHub-required community-health
list, unlike `README.adoc`). Content is derived from this repo, not
boilerplate: the build section lists **only `just` recipes that actually
exist here**, and the A2ML section appears only if `.machine_readable/`
is present.
---
Part of an estate-wide sweep; 63 repos were identified as non-compliant.
Third-party/forked repos (`HOL`, `awesome-*`, `lua-filters`) were
**excluded** per the licence policy's do-not-touch rule.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Sign up for freeto 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.

1 participant

@hyperpolymath