policy: lift estate-wide Docker ban — Podman/Containerfile now highly preferred (not mandatory)

[hyperpolymath]

Estate policy change (owner directive): lift the Docker ban estate-wide; make Podman just highly preferred, and continue to prefer Containerfile naming when authoring new container files unless a specific tool genuinely requires the Dockerfile name.

What changed

The four enforcement sites are relaxed from hard bans to low-severity advisories (they no longer fail the baseline-aware critical/high security gate, but still surface the preference):

Site	Before	After
root_hygiene.ex — Dockerfile, docker-compose.yml, docker-compose.yaml banned-root entries	:high	:low, reworded "preferred" (action :rename kept)
dogfooding.ex HYP-DOG-005 — docker CLI usage	"medium"	"low", "highly preferred" wording
dogfooding.ex HYP-DOG-005 — Dockerfile file present	"medium"	"low", "highly preferred" wording
code_safety.ex — ncl_docker_not_podman (Nickel)	:medium	:low, reworded
code_safety.ex — check_dockerfile_naming	:high	:low, reworded; docstring updated

Unchanged: the file-recognition references in green_web.ex, rules.ex, reviewer.ex (these treat Dockerfile/docker-compose.yml as container/deployment files for green-web carbon analysis and review categorisation — Docker files are legitimately present under the new policy and still need that analysis).

Tests

No test changes needed. The Docker-related tests in test/root_hygiene_test.exs and test/code_safety_test.exs assert finding presence, action: :rename, and rule: :dockerfile_not_containerfile — all preserved. None asserted the old severity or the old "must/requires" reason strings.

Refs #252

🤖 Generated with Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 9 issues detected

Severity	Count
🔴 Critical	2
🟠 High	0
🟡 Medium	7

⚠️ Action Required: Critical security issues found!

View findings

[
  {
    "reason": "believe_me undermines formal verification (2 occurrences, CWE-704)",
    "type": "believe_me",
    "file": "/home/runner/work/hypatia/hypatia/src/abi/RuleEngine.idr",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "critical"
  },
  {
    "reason": "Nickel file missing SPDX-License-Identifier header (1 occurrences, CWE-1104)",
    "type": "ncl_missing_spdx",
    "file": "/home/runner/work/hypatia/hypatia/configs/config.ncl",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "unsafe block -- requires SAFETY comment (22 occurrences, CWE-676)",
    "type": "unsafe_block",
    "file": "/home/runner/work/hypatia/hypatia/clients/rust/hypatia-client/src/ffi.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "as_ptr exposes raw pointer that may dangle or alias unsafely (10 occurrences, CWE-676)",
    "type": "as_ptr",
    "file": "/home/runner/work/hypatia/hypatia/clients/rust/hypatia-client/src/ffi.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (1 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/hypatia/hypatia/adapters/src/codeberg.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "reason": "expect() in hot path (1 occurrences, CWE-754)",
    "type": "expect_in_hot_path",
    "file": "/home/runner/work/hypatia/hypatia/adapters/src/radicle.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "medium"
  },
  {
    "line": 35,
    "reason": "Secret found: Password",
    "type": "secret_detected",
    "file": "/home/runner/work/hypatia/hypatia/.hypatia-exemptions.md",
    "action": "revoke_rotate_and_purge",
    "rule_module": "security_errors",
    "severity": "critical"
  },
  {
    "reason": "1 workflow(s) with tag-pinned (not SHA-pinned) actions in hypatia",
    "type": "DependencyPinning",
    "file": "/home/runner/work/hypatia/hypatia",
    "action": "auto_fix",
    "rule_module": "scorecard",
    "severity": "medium",
    "remediation": "Pin GitHub Actions and Docker base images by SHA hash.",
    "scorecard_check": "Pinned-Dependencies"
  },
  {
    "reason": "Repository has 2 non-main remote branch(es). Policy: single main branch only.",
    "type": "GS007",
    "file": ".",
    "action": "delete_remote_branches",
    "rule_module": "git_state",
    "severity": "medium"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence