Scan Surface Display

Two scan improvements that make the output more accurate and more informative.

verdict PASSscore 20 / 20findings 4 (0 risk · 2 debt · 2 obs)duration 3h 54mrejection cycles 0shipped May 22, 2026surface cli

Pipeline timeline

Intent to proven code in 3h 54m across Think, Plan, Build, and Verify.

Think

12m

Plan

128m

Build

10m

Verify

20 claims, each independently verified. Showing 8 — show all →

ID	Says	Matcher
A001	Monorepos with detected surfaces show a dedicated Surfaces section in terminal output	verified	ok
A002	The Surfaces section header has a divider matching its name length	verified	ok
A003	Each surface line shows the surface name	verified	ok
A004	Each surface line shows the framework when available	verified	ok
A005	Surfaces without a framework show the language instead	verified	ok
A006	Each surface line shows the primary testing framework	verified	ok
A007	Surfaces with no testing framework show identity only	verified	ok
A008	More than four surfaces triggers an overflow indicator	verified	ok

debtpackages/cli/tests/commands/scan.test.ts→ closed

A007 test uses conditional assertions — passes vacuously if Surfaces section not rendered

debtpackages/cli/tests/commands/scan.test.ts→ closed

A003-A006 test asserts surface names exist in block but not framework, language, or testing values

obs→ closed

detectBranchPatterns primary path partially addresses duplicate git branch -r calls — fallback still uses it

obspackages/cli/src/engine/detectors/git.ts→ closed

defaultBranch interpolated unsanitized into git exec — consistent with existing detectMergeStrategy pattern

scopesha256:5fc9df63f61ef...

contractsha256:8bcd1a818841b...

plansha256:702af246ef4ee...

specsha256:4ca1ae2e53c7a...

build-reportsha256:f91c238ef8732...

build-datasha256:732bbe9d0ebc8...

verify-reportsha256:4f22ae14c1384...

verify-datasha256:4f1e4bc2a83e9...

audit cmd$ ana proof audit scan-surface-display → all hashes match