# Changelog

> **This is the PUBLIC form of this artifact. Findings are listed in full, but the details of SECURITY findings — which rule fired, in which file, on which line, and how to fix it — are deliberately withheld, and any secret-scanner results are excluded entirely. Where detail is absent here it was REMOVED FOR PUBLICATION; it is not missing from the analysis. The complete artifact is available from the repository owner.**

## Score

- CAI 56 → 51 (-4.6)
- Rubric changed (rubric-2026.10.1 → rubric-2026.10.5) — scores are not directly comparable.

## Lenses

- Code Health 70 → 48 (-21.4)
- Architecture 92 → 93 (+0.8)
- Maturity 54 → 52 (-2.7)
- Readiness 52 → 55 (+3.1)
- Security 68 → 68 (-0.7)
- Accessibility 52 → 47 (-5.5)
- Performance 100 → 100 (+0.0)

## Resolved (5)

- Documentation: no usage examples (README.md)
- Most significant orphaned file (core/src/main/scala/stainless/verification/CoqEncoder.scala)
- Off-boarding risk: anonymized user #1
- Off-boarding risk: anonymized user #2
- PR-triggered workflow without a permissions block

## New (238)

- CustomPrinter.ppBody (cognitive 22) (core/src/main/scala/stainless/testgen/ScalaTestGen.scala)
- High: security finding (details withheld)
- High: security finding (details withheld)
- High: security finding (details withheld)
- Most significant orphaned file (core/src/main/scala/stainless/equivchk/EquivalenceChecker.scala)
- Off-boarding risk: anonymized user #1
- Off-boarding risk: anonymized user #2
- Orphaned file (check-files-utils/src/main/scala/stainless/tools/CheckFilesUtils.scala)
- Orphaned file (core/src/main/scala/stainless/Component.scala)
- Orphaned file (core/src/main/scala/stainless/Configuration.scala)
- Orphaned file (core/src/main/scala/stainless/ast/Deconstructors.scala)
- Orphaned file (core/src/main/scala/stainless/ast/Definitions.scala)
- Orphaned file (core/src/main/scala/stainless/ast/Expressions.scala)
- Orphaned file (core/src/main/scala/stainless/ast/Printers.scala)
- Orphaned file (core/src/main/scala/stainless/ast/SymbolOps.scala)
- Orphaned file (core/src/main/scala/stainless/codegen/CompilationUnit.scala)
- Orphaned file (core/src/main/scala/stainless/codegen/runtime/BitVector.scala)
- Orphaned file (core/src/main/scala/stainless/equivchk/EquivalenceCheckingComponent.scala)
- Orphaned file (core/src/main/scala/stainless/equivchk/EquivalenceCheckingReport.scala)
- Orphaned file (core/src/main/scala/stainless/equivchk/Utils.scala)
- …and 218 more

## Changes since last survey

- 2 commits — 2 feature/other, 0 fixes

## By area

- (root) — 1 commit
- .github/workflows — 1 commit

## Notable commits

- change: Add Stainless CI workflow for JDK 25 (#1796)
- change: Pass -XX:+UseCompactObjectHeaders for Java 25 (#1797)

## Architecture

- 0 containers · 3 bounded contexts · 2 dependency edges (baseline)