Commit 0ff2bf0
fix(baseline): repair main + estate-policy sweep (unblocks #41)
Five failing checks on PR #41 — and the same baseline rot on `main`
since 2026-05-22 — were the same five problems with five distinct root
causes. Each fixed at source:
1. `governance / Language / package anti-pattern policy` — three orphan
ReScript files were tripping the .res ban:
- src/AuditTrail.res (52 LOC, no callers)
- examples/SafeDOMExample.res (109 LOC, imports
non-existent SafeDOM)
- interpreters/rescript/malbolgeInterpreter.res (256 LOC, sole
file under interpreters/)
None compiled (no rescript.json / bsconfig.json) and none were
imported by any Rust / Idris / Deno code. Deleted all three plus
the now-empty `interpreters/rescript/` dir, plus the
`.github/workflows/rescript-deno-ci.yml` workflow they fed.
2. `build` (×2) — both `build` failures came from the deleted
rescript-deno-ci.yml (`deno lint --config deno.json` → "No target
files found" because lint.include lists `mod.ts` which doesn't
exist). Removing the workflow removes the check.
3. `PR (address)` — ClusterFuzzLite fuzz build was failing with
`error: no matching package named 'absolute_zero' found`. fuzz/
Cargo.toml declared `[dependencies.absolute_zero] path = ".."`
but the parent crate has no `[lib]` target — only src/main.rs.
The fuzz target (fuzz_targets/fuzz_input.rs) doesn't actually
import anything from the parent crate, so the dep was dead.
Removed the dead `[dependencies.absolute_zero]` block.
4. `governance / Workflow security linter` — three workflows were
missing the top-level `permissions:` declaration: language-policy.
yml, rescript-deno-ci.yml (deleted), and rust-ci.yml. Added
`permissions: contents: read` to language-policy.yml and rust-ci.
yml.
5. `Cargo.toml` had `license = "MIT"`. Bumped to `license = "MPL-2.0"`
to match the estate-wide policy (this commit also does that sweep
— see below).
## Estate-policy sweep (per user instruction this session)
- **PMPL-1.0 / PMPL-1.0-or-later → MPL-2.0** across 67 files. PMPL
isn't a real SPDX identifier and the Palimpsest-MPL framing is
retired. README's License badge updated to match (Shields.io URL
was still `License-PMPL_1.0-blue.svg`).
- **MPL-2.0-or-later → MPL-2.0** across 18 files (also not a valid
SPDX form — MPL-2.0 has no "-or-later" variant).
- `.claude/CLAUDE.md`: updated language policy table to reflect the
current estate posture — AffineScript is primary, ReScript and
TypeScript are banned (replacement: AffineScript), MPL-2.0 is the
only allowed license. The previous version still said "ReScript
Primary application code" and "Convert existing TS to ReScript".
## Foundational follow-up (NOT in this PR)
Same gap as r-g-t-v#89: `main` branch protection on absolute-zero
has no `required_status_checks` block. Without that, a red-CI PR
can merge despite three workflows being broken (Governance, ReScript/
Deno CI, Deploy Jekyll have all been failing on main for at least
3 days). Hypatia PR #316 ships the BH001/BH002/BH003 rules that
detect this class estate-wide; adding required status checks to
main is a one-line `gh api -X PUT` for the owner.
## Test plan
- `cargo build --release` — passes locally
- `cd fuzz && cargo check` — passes (was the cflite failure mode)
- All three deleted files had zero in-repo references (verified via
`grep -rln`)
- No PMPL-1.0 / MPL-2.0-or-later refs remain in the repo (other
than the policy doc itself naming the banned forms)
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent ef523e0 commit 0ff2bf0
265 files changed
Lines changed: 1284 additions & 605 deletions
File tree
- .claude
- .clusterfuzzlite
- .github
- workflows
- .machine_readable
- 6a2
- contractiles
- bust
- trust
- svc/k9
- examples
- contractiles
- dust
- must
- trust
- examples
- fuzz
- fuzz_targets
- target
- debug
- .fingerprint
- absolute_zero-fuzz-961a1a20f8d34847
- arbitrary-9dc106c974a1cae6
- cc-5548fc50a3ddf241
- derive_arbitrary-ce1fdba035cdaab3
- find-msvc-tools-c67de4483d55f240
- jobserver-1d7e6e29d84c2c76
- libc-2c07b8b5c2386390
- libc-8a5b981f07549d6e
- libc-f12d3c7f7c553909
- libfuzzer-sys-0466b4378efbc978
- libfuzzer-sys-b891ef8f3684af63
- libfuzzer-sys-c59d8b7010ecf46f
- proc-macro2-2d78e42288489a3b
- proc-macro2-4a599ed645bc3058
- proc-macro2-86585082b6f41d92
- quote-0570cbb96c29a4e7
- quote-18ed579c8635b8c4
- quote-df94c1d0f5801bb9
- shlex-a7a282e15b9edeec
- syn-c0bba752672101e1
- unicode-ident-af7f0a76d4392b05
- build
- libc-8a5b981f07549d6e
- libc-f12d3c7f7c553909
- libfuzzer-sys-0466b4378efbc978
- out
- libfuzzer-sys-b891ef8f3684af63
- proc-macro2-4a599ed645bc3058
- proc-macro2-86585082b6f41d92
- quote-0570cbb96c29a4e7
- quote-df94c1d0f5801bb9
- deps
- incremental/fuzz_input-0f4r13m541opd
- s-hiv8txg5bt-1bd8xkh-e02f2ts57ko3k57auzz0o6g9y
- interpreters/rescript
- license
- proofs
- coq
- category
- common
- filesystem
- lambda
- malbolge
- physics
- quantum
- lean4
- scripts
- src
- abi
- Proofs
- brainfuck/src
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
3 | 3 | | |
4 | 4 | | |
5 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
| |||
0 commit comments