governance / Trusted-base reduction policy fails on main: 14 undocumented escape hatches in v-ecosystem #220

The non-required check governance / Trusted-base reduction policy fails on main (4341d6e) and on every PR, independent of the PR's diff (seen on #219).

It reports 14/70 escape hatch(es) are undocumented (kind coq-axiom-or-admit), all under v-ecosystem/, e.g. v-ecosystem/v-graphql/src/graphql.v:307, v-ecosystem/v-rest/src/rest.v:302, v-ecosystem/v-api-interfaces/v-xmpp/src/xmpp.v:715. These are V-language .v files that the scanner appears to classify as Coq.

Acceptance criteria

• Decide whether .v files under v-ecosystem/ are V source (scanner false positive -> exclude/teach the scanner the language) or genuine escape hatches (-> document each).
• governance / Trusted-base reduction policy passes on main.

🤖 Generated with Claude Code