projection

type Context struct {
	Now       time.Time
	Initiator string
	Executor  string

	// RoleMap bridges a foreign role/component identifier to the CLC evidence
	// role facts are typed by.  A mapping is never guessed: the relying party
	// pins it (the same way an Action-Mapping Profile is pinned).  An entry
	// that is absent leaves the foreign identifier in place and surfaces a
	// residual instead of silently inventing a bridge.
	RoleMap map[string]string
}

type Options struct {
	// Now is the appraisal instant (zero means the wall clock).
	Now time.Time
	// RoleMap bridges foreign component identifiers to the CLC evidence roles
	// facts are typed by.  Without an entry the foreign name is kept and a
	// residual records the missing bridge.
	RoleMap map[string]string
	// Facts are the natively verified facts the projected requirement is
	// evaluated over.  Passing nil skips evaluation.
	Facts []semantics.EvidenceFact
}

type ProjectedView struct {
	Action      *semantics.ActionId
	Facts       []semantics.EvidenceFact
	Requirement *semantics.Requirement
	Residuals   []string
	Meta        map[string]string
}

type Projector interface {
	ID() string
	Match(raw []byte) bool
	Project(raw []byte, ctx Context) (ProjectedView, error)
}

type Report struct {
	// ProjectorID names the mapping that recognised the document.
	ProjectorID string `json:"projectorId"`
	// SourceFormat is the foreign format the document declared.
	SourceFormat string `json:"sourceFormat,omitempty"`
	// Meta is the projector's provenance (source format, role bridges, mapping
	// timestamps).
	Meta map[string]string `json:"meta,omitempty"`
	// Requirement is the projected CLC-REQUIREMENT-v1 view.
	Requirement *semantics.Requirement `json:"requirement,omitempty"`
	// Facts are the projected evidence facts (often empty: a requirement
	// object carries no facts of its own).
	Facts []semantics.EvidenceFact `json:"facts,omitempty"`
	// Residuals lists what the projection could not carry onto a CLC axis.
	// Empty is not the goal: an honest list is more useful than a silent drop.
	Residuals []string `json:"residuals,omitempty"`
	// Satisfaction is the CLC verdict over the projected view.  It is nil when
	// no requirement was available to evaluate.
	Satisfaction *semantics.RequirementResult `json:"satisfaction,omitempty"`
}