From 11c156993202213140844c857df41695fde86e61 Mon Sep 17 00:00:00 2001 From: PJ Date: Mon, 17 Aug 2026 23:24:31 +0530 Subject: [PATCH] feat(verifier): expose the property names a loaded spec registered --- internal/verifier/worker.go | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/internal/verifier/worker.go b/internal/verifier/worker.go index 740df73..0f760a4 100644 --- a/internal/verifier/worker.go +++ b/internal/verifier/worker.go @@ -499,6 +499,17 @@ func (v *Verifier) ExtractorNames() []string { return names } +// PropertyNames returns the names of the properties the loaded spec registered, +// sorted. +func (v *Verifier) PropertyNames() []string { + names := make([]string, 0, len(v.properties)) + for name := range v.properties { + names = append(names, name) + } + sort.Strings(names) + return names +} + // PropertyFormulas rebuilds each registered property's formula. The thunks are // this verifier's own predicates, reading this verifier's extractor state, so // an evaluator built over a rewritten formula observes exactly what the