Skip to content

fix(governance): enumerate banned-language demos in .hypatia-ignore#44

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/governance-language-demo-exemptions
May 26, 2026
Merged

fix(governance): enumerate banned-language demos in .hypatia-ignore#44
hyperpolymath merged 1 commit into
mainfrom
fix/governance-language-demo-exemptions

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

Summary

Adds a .hypatia-ignore with 9 exemptions for the cross-language demonstration files this repo ships by design (examples/{java,kotlin,swift,go}/* + the 3 legacy .res files).

Why

absolute-zero is the estate's language-demonstration repo — it ships example files in ~9 banned languages on purpose, to illustrate "what NOT to use." Since standards#168 merged (governance-reusable.yml now covers Java/Kotlin/Swift/Dart/V-lang/ATS2/Makefile in addition to ReScript/Go/Python), every push to main has gone red on governance / Language / package anti-pattern policy.

Latest 3 runs on main: all failure (governance.yml runs 26407681719, 26371098456, 26333708931).

Files exempted

Language File Reason
.res src/AuditTrail.res Legacy ReScript pre-.affine migration
.res interpreters/rescript/malbolgeInterpreter.res Demo interpreter
.res examples/SafeDOMExample.res DOM example
.go examples/go/nop.go Cross-lang nop study
.java examples/java/Nop.java Cross-lang nop study
.java examples/java/BalancedOps.java Cross-lang ops study
.kt examples/kotlin/Nop.kt Cross-lang nop study
.kt examples/kotlin/BalancedOps.kt Cross-lang ops study
.swift examples/swift/Nop.swift Cross-lang nop study

None are imported into the toolchain build.

Follow-up

Once standards#180 (file_pattern glob matching in in_baseline()) merges, this whole enumerated list can collapse to a single examples/** file_pattern entry in .hypatia-baseline.json. The .res files will migrate to .affine separately under the existing 2026-Q3 plan.

Test plan

  • CI: governance/Language-policy step passes (9 exempt entries visible in run log)
  • absolute-zero main goes green for the first time since standards#168

🤖 Generated with Claude Code

absolute-zero is the estate's canonical language-demonstration repo —
it ships example files in ~9 banned languages by design. Since
standards#168 merged (governance-reusable.yml + extended language-policy
covering Java/Kotlin/Swift/Dart/V-lang/ATS2/Makefile in addition to
ReScript/Go/Python), every push to main has gone red on the
language-policy step.

Adds 9 enumerated exemptions covering all current banned-language demos:
- 3 .res (ReScript demo + interpreter + SafeDOMExample)
- 1 .go (nop semantics)
- 2 .java + 2 .kt (BalancedOps + Nop, cross-language nop study)
- 1 .swift (Nop)

Each file is a language-demo scaffold, not load-bearing code — none are
imported into the toolchain build.

Follow-up: standards#180 adds file_pattern glob matching to
in_baseline(). Once that merges, this enumerated list collapses to a
single `examples/**` file_pattern entry in .hypatia-baseline.json (with
the .res files migrating to .affine separately under the existing
2026-Q3 plan).

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 67 issues detected

Severity Count
🔴 Critical 7
🟠 High 12
🟡 Medium 48

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Stray AI.a2ml in root -- use 0-AI-MANIFEST.a2ml only",
    "type": "banned",
    "file": "AI.a2ml",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "Superseded by 0-AI-MANIFEST.a2ml",
    "type": "banned",
    "file": "AI.djot",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "high"
  },
  {
    "reason": "No test directory or test files found",
    "type": "no_tests",
    "file": "/home/runner/work/absolute-zero/absolute-zero",
    "action": "flag",
    "rule_module": "honest_completion",
    "severity": "high",
    "deduction": 20
  },
  {
    "reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
    "type": "unpinned_action",
    "file": "governance.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Action actions/checkout@v6.0.2 needs attention",
    "type": "unpinned_action",
    "file": "jekyll-gh-pages.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/configure-pages@v6 needs attention",
    "type": "unpinned_action",
    "file": "jekyll-gh-pages.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/jekyll-build-pages@v1 needs attention",
    "type": "unpinned_action",
    "file": "jekyll-gh-pages.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/upload-pages-artifact@v5 needs attention",
    "type": "unpinned_action",
    "file": "jekyll-gh-pages.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/deploy-pages@v5 needs attention",
    "type": "unpinned_action",
    "file": "jekyll-gh-pages.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "reason": "Action actions/checkout@v6.0.2 needs attention",
    "type": "unpinned_action",
    "file": "language-policy.yml",
    "action": "pin_sha",
    "rule_module": "workflow_audit",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

@hyperpolymath hyperpolymath merged commit 1f2e5e3 into main May 26, 2026
23 of 27 checks passed
@hyperpolymath hyperpolymath deleted the fix/governance-language-demo-exemptions branch May 26, 2026 11:43
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.

1 participant