Skip to content

docs(flake): annotate KEEP+DEP rationale (standards#102) - #83

Merged
hyperpolymath merged 3 commits into
mainfrom
keep-nix-mirror-101-langtools
May 19, 2026
Merged

docs(flake): annotate KEEP+DEP rationale (standards#102)#83
hyperpolymath merged 3 commits into
mainfrom
keep-nix-mirror-101-langtools

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Refs standards#101 standards#102.

Per the Nix-mirror retirement campaign (Wave 4), boj-server's flake is LOAD-BEARING (KEEP+DEP): guix.scm declares empty (native-inputs (list)) / (inputs (list)) and acknowledges "idris2 and zig packages may need custom channels". This flake's devShell is therefore the sole source of the language layer (idris2, zig, zls) and the RSR-template common dev tools (git, just, nickel, curl, bash, coreutils).

This PR adds the rule-3 annotation so the flake's retention is self-documenting. No package-set change. Orthogonal to in-flight boj-server#73 (HCG tier-2 mTLS) work.

🤖 Generated with Claude Code

hyperpolymath and others added 3 commits May 18, 2026 15:05
…ot zero/4

Ground-truth re-grep: 5 `believe_me` call sites, all in
src/abi/Boj/SafetyLemmas.idr, all class (J) genuinely-unavoidable
backend-primitive axioms (prim__eqChar soundness/symmetry, prim__str*
length semantics — irreducible within Idris2 0.8.0). Adds per-site
Axiom Audit table and explains the raw-grep 9 vs true 5 (4 are
comment mentions). Supersedes the stale origin/main "4 believe_me"
line flagged by the 2026-05-18 estate audit.

Refs hyperpolymath/standards#124
Refs hyperpolymath/standards#125

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Per the campaign gate, this flake is LOAD-BEARING — guix.scm declares
empty `(native-inputs (list))` / `(inputs (list))` and explicitly
acknowledges that idris2 and zig "may need custom channels". The
flake's devShell is the sole source of the language layer (idris2,
zig, zls) and the RSR-template common dev tools (git, just, nickel,
curl, bash, coreutils).

Refs standards#101 standards#102.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
@hyperpolymath
hyperpolymath merged commit e826612 into main May 19, 2026
13 of 16 checks passed
@hyperpolymath
hyperpolymath deleted the keep-nix-mirror-101-langtools branch May 19, 2026 21:37
@github-actions

Copy link
Copy Markdown

🔍 Hypatia Security Scan

Findings: 29 issues detected

Severity Count
🔴 Critical 18
🟠 High 4
🟡 Medium 7

⚠️ Action Required: Critical security issues found!

View findings
[
  {
    "reason": "Stale AI session file -- delete",
    "type": "stale",
    "file": "GEMINI.md",
    "action": "delete",
    "rule_module": "root_hygiene",
    "severity": "medium"
  },
  {
    "reason": "Issue in quality.yml",
    "type": "missing_workflow",
    "file": "quality.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in security-policy.yml",
    "type": "missing_workflow",
    "file": "security-policy.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "medium"
  },
  {
    "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": "Python file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/.github/scripts/validate-eclexiaiser.py",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/cartridges/sanctify-mcp/adapter/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/cartridges/academic-workflow-mcp/adapter/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/cartridges/fireflag-mcp/adapter/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/cartridges/ephapax-mcp/adapter/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  },
  {
    "reason": "TypeScript file detected -- banned language",
    "type": "banned_language_file",
    "file": "/home/runner/work/boj-server/boj-server/cartridges/bofig-mcp/adapter/mod.ts",
    "action": "flag",
    "rule_module": "cicd_rules",
    "severity": "critical"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence

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