feat(epi): surface @epi(...) epistemic-grade annotation (ADR-0009 D2)

[hyperpolymath]

Mirrors the just-landed @echo surface for the epistemic axis, completing the ADR-0009 D1+D2 function-declaration effect surface — Echo + Epistemic, both first-class.

Syntax — @epi(Opaque|Partial|Transparent)

@epi(Partial) fn f(x: Int): Int { ... }
@echo(Neutral) @epi(Transparent) fn g(...) { ... }   // any order, alongside @pure

AST + cycle-break (same pattern as Echo)

FunctionDecl.epi_annotation: Option<Epistemic>. The Epistemic enum moves epistemic.rs → ast.rs with a pub use crate::ast::Epistemic re-export, so the ast↔epistemic cycle is broken and every epistemic::Epistemic site is unchanged.

Check — both axes now

check_echo_annotations → check_effect_annotations: verifies inferred ⊑ annotated for both echo and epi, against the carrier-aware, call-graph-composed resolved_effects (whose FunctionEffect already carries .echo + .epi). Same upper-bound policy; same modular, soundness-preserving guarantee (the reverse {} gate still uses the actual grade).

Round-trip

pretty.rs / formatter.rs emit @epi after @echo, pinned by a round-trip test.

Tests / quality

5 new tests (parse @epi; @echo+@epi together; epi upper-bound accept/reject; round-trip). 138 lib tests, cargo fmt + clippy clean.

Remaining on this axis

Carry the (echo, epi) row in TypeAnnotation::Function (function-valued params) — coming next; it has a function-type grade-syntax + variance design choice I'll settle with the user first.

🤖 Generated with Claude Code

https://claude.ai/code/session_01BJmfoz1ZS1Pejy9LLMY742

---

Generated by Claude Code

[github-actions]

🔍 Hypatia Security Scan

Findings: 55 issues detected

Severity	Count
🔴 Critical	0
🟠 High	23
🟡 Medium	32

View findings

[
  {
    "reason": "No test directory or test files found",
    "type": "no_tests",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper",
    "action": "flag",
    "rule_module": "honest_completion",
    "severity": "high",
    "deduction": 20
  },
  {
    "reason": "Issue in secret-scanner.yml",
    "type": "missing_workflow",
    "file": "secret-scanner.yml",
    "action": "create",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "Issue in scorecard.yml",
    "type": "scorecard_wrapper_missing_job_permissions",
    "file": "scorecard.yml",
    "action": "flag",
    "rule_module": "workflow_audit",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (10 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/crates/jtv-core/benches/interpreter_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "unwrap() without prior check -- DoS via panic (6 occurrences, CWE-754)",
    "type": "unwrap_without_check",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/crates/jtv-core/benches/parser_bench.rs",
    "action": "flag",
    "rule_module": "code_safety",
    "severity": "high"
  },
  {
    "reason": "Js.Array2 deprecated -- use Array (3 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/vscode-extension/src/Extension.res",
    "action": "search_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  },
  {
    "reason": "Js.Promise deprecated -- use Promise (2 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/vscode-extension/src/Extension.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  },
  {
    "reason": "Belt.Array deprecated -- use Array (30 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  },
  {
    "reason": "Belt.Option deprecated -- use Option (2 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "module_replace",
    "rule_module": "migration_rules",
    "severity": "medium"
  },
  {
    "reason": "Js.Array2 deprecated -- use Array (7 occurrences)",
    "type": "deprecated_api",
    "file": "/home/runner/work/julia-the-viper/julia-the-viper/packages/jtv-analyzer/src/Main.res",
    "action": "search_replace",
    "rule_module": "migration_rules",
    "severity": "high"
  }
]

Powered by Hypatia Neurosymbolic CI/CD Intelligence