Documentation
¶
Index ¶
- func FormatExecutionPlan(effectiveID string, rows []ExecutionPlanRow) string
- func FormatPreScanSummary(requirementCount int, providerIDs []string, targetIDs []string) string
- func FormatScanSummary(assessments []plugin.AssessmentLog, reqToControl map[string]string, ...) string
- func ToOSCAL(log *gemara.EvaluationLog, outDir string) (string, error)
- func ToSARIF(log *gemara.EvaluationLog, artifactURI, outDir string) (string, error)
- type Evaluator
- type ExecutionPlanRow
- type Markdown
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func FormatExecutionPlan ¶
func FormatExecutionPlan(effectiveID string, rows []ExecutionPlanRow) string
FormatExecutionPlan produces a structured plain-text execution plan. See FR-007, Session 2026-02-26e: specs/001-gemara-native-workflow/spec.md
func FormatPreScanSummary ¶
FormatPreScanSummary produces a brief one-line summary for normal scan mode. See FR-034: specs/001-gemara-native-workflow/spec.md
func FormatScanSummary ¶
func FormatScanSummary(assessments []plugin.AssessmentLog, reqToControl map[string]string, policyID string, targetIDs []string) string
FormatScanSummary builds a report-style post-scan output per FR-037. Intro text, plain aligned text table of non-passing results, compact totals. See spec.md Session 2026-02-26e.
Types ¶
type Evaluator ¶
type Evaluator struct {
// contains filtered or unexported fields
}
Evaluator accumulates per-target plugin assessments and produces a gemara.EvaluationLog grouped by control.
func NewEvaluator ¶
NewEvaluator creates an Evaluator. reqToControl maps requirement IDs to control IDs; pass nil when the catalog is unavailable.
func (*Evaluator) AddTarget ¶
func (e *Evaluator) AddTarget(assessments []plugin.AssessmentLog)
AddTarget converts plugin assessment results for one target into gemara ControlEvaluations, grouping assessments by control.
func (*Evaluator) GemaraLog ¶
func (e *Evaluator) GemaraLog() *gemara.EvaluationLog
GemaraLog returns the assembled gemara.EvaluationLog.
type ExecutionPlanRow ¶
type ExecutionPlanRow struct {
TargetID string
ProviderID string
RequirementCount int
Status string
}
ExecutionPlanRow describes one target-provider combination in the plan.
type Markdown ¶
type Markdown struct {
// contains filtered or unexported fields
}
Markdown generates a human-readable compliance report in Markdown format.
func NewMarkdown ¶
func NewMarkdown(policyID string, evalLog *gemara.EvaluationLog) *Markdown
Source Files