activation

const (
	CaptureProofSessionStart       CaptureProof = 1
	CaptureProofSessionEnd         CaptureProof = 2
	CaptureProofPreToolUse         CaptureProof = 3
	CaptureProofPostToolUse        CaptureProof = 4
	CaptureProofPostToolUseFailure CaptureProof = 5
	CaptureProofPostToolBatch      CaptureProof = 6
	CaptureProofPreCompact         CaptureProof = 7
	CaptureProofPostCompact        CaptureProof = 8
	CaptureProofFileChanged        CaptureProof = 9
)

const (
	CaptureProofCodexSessionStart      CaptureProof = 100
	CaptureProofCodexPreToolUse        CaptureProof = 101
	CaptureProofCodexUserPromptSubmit  CaptureProof = 102
	CaptureProofCodexPermissionRequest CaptureProof = 103
	CaptureProofCodexPostToolUse       CaptureProof = 104
	CaptureProofCodexPreCompact        CaptureProof = 105
	CaptureProofCodexPostCompact       CaptureProof = 106
	CaptureProofCodexSubagentStart     CaptureProof = 107
	CaptureProofCodexSubagentStop      CaptureProof = 108
	CaptureProofCodexStop              CaptureProof = 109
	CaptureProofCodexSessionEnd        CaptureProof = 110
	CaptureProofCodexInterrupt         CaptureProof = 111
)

const (
	CaptureProofOpenCodeSessionCreated                  CaptureProof = 200
	CaptureProofOpenCodeToolExecuteBefore               CaptureProof = 201
	CaptureProofOpenCode2SessionPrompt                  CaptureProof = 202
	CaptureProofOpenCode2SessionContext                 CaptureProof = 203
	CaptureProofOpenCode2SessionTitle                   CaptureProof = 204
	CaptureProofOpenCode2SessionModelRequest            CaptureProof = 205
	CaptureProofOpenCode2SessionHttpRequest             CaptureProof = 206
	CaptureProofOpenCode2SessionHttpResponse            CaptureProof = 207
	CaptureProofOpenCode2ToolExecuteBefore              CaptureProof = 208
	CaptureProofOpenCode2ToolExecuteAfter               CaptureProof = 209
	CaptureProofOpenCode2PermissionEvaluate             CaptureProof = 210
	CaptureProofOpenCode2SessionCreated                 CaptureProof = 211
	CaptureProofOpenCode2SessionCompaction              CaptureProof = 212
	CaptureProofOpenCode2SessionGenerate                CaptureProof = 213
	CaptureProofOpenCode2SessionExperimentalWsHandshake CaptureProof = 214
	CaptureProofOpenCode2SessionExperimentalWsSend      CaptureProof = 215
	CaptureProofOpenCode2SessionExperimentalWsReceive   CaptureProof = 216
	CaptureProofOpenCode2SessionRetry                   CaptureProof = 217
	CaptureProofOpenCode2ShellCreateBefore              CaptureProof = 218
)

const (
	ClassificationInvalid Classification = iota
	ClassificationMustPass
	ClassificationMustFail
)

const (
	CorpusReasonNone CorpusReason = iota
	CorpusReasonNonAuthenticOrigin
	CorpusReasonDigestMismatch
	CorpusReasonVersionOutOfRange
	CorpusReasonPathEscape
)

const (
	DecisionInvalid Decision = iota
	DecisionEnabled
	DecisionWithheld
)

const (
	MissingCoverageNone     MissingCoverage = 0
	MissingCoverageMustPass MissingCoverage = 1 << (iota - 1)
	MissingCoverageMustFail
	MissingCoverageNonAuthenticOrigin
	MissingCoverageDigestMismatch
	MissingCoverageVersionOutOfRange
	MissingCoveragePathEscape
)

const (
	ProductionProofSessionStart       ProductionProof = 1
	ProductionProofSessionEnd         ProductionProof = 2
	ProductionProofPreToolUse         ProductionProof = 3
	ProductionProofPostToolUse        ProductionProof = 4
	ProductionProofPostToolUseFailure ProductionProof = 5
	ProductionProofPostToolBatch      ProductionProof = 6
	ProductionProofPreCompact         ProductionProof = 7
	ProductionProofPostCompact        ProductionProof = 8
	ProductionProofFileChanged        ProductionProof = 9
)

const (
	ProductionProofCodexSessionStart      ProductionProof = 100
	ProductionProofCodexPreToolUse        ProductionProof = 101
	ProductionProofCodexUserPromptSubmit  ProductionProof = 102
	ProductionProofCodexPermissionRequest ProductionProof = 103
	ProductionProofCodexPostToolUse       ProductionProof = 104
	ProductionProofCodexPreCompact        ProductionProof = 105
	ProductionProofCodexPostCompact       ProductionProof = 106
	ProductionProofCodexSubagentStart     ProductionProof = 107
	ProductionProofCodexSubagentStop      ProductionProof = 108
	ProductionProofCodexStop              ProductionProof = 109
	ProductionProofCodexSessionEnd        ProductionProof = 110
	ProductionProofCodexInterrupt         ProductionProof = 111
)

const (
	ProductionProofOpenCodeSessionCreated                  ProductionProof = 200
	ProductionProofOpenCodeToolExecuteBefore               ProductionProof = 201
	ProductionProofOpenCode2SessionPrompt                  ProductionProof = 202
	ProductionProofOpenCode2SessionContext                 ProductionProof = 203
	ProductionProofOpenCode2SessionTitle                   ProductionProof = 204
	ProductionProofOpenCode2SessionModelRequest            ProductionProof = 205
	ProductionProofOpenCode2SessionHttpRequest             ProductionProof = 206
	ProductionProofOpenCode2SessionHttpResponse            ProductionProof = 207
	ProductionProofOpenCode2ToolExecuteBefore              ProductionProof = 208
	ProductionProofOpenCode2ToolExecuteAfter               ProductionProof = 209
	ProductionProofOpenCode2PermissionEvaluate             ProductionProof = 210
	ProductionProofOpenCode2SessionCreated                 ProductionProof = 211
	ProductionProofOpenCode2SessionCompaction              ProductionProof = 212
	ProductionProofOpenCode2SessionGenerate                ProductionProof = 213
	ProductionProofOpenCode2SessionExperimentalWsHandshake ProductionProof = 214
	ProductionProofOpenCode2SessionExperimentalWsSend      ProductionProof = 215
	ProductionProofOpenCode2SessionExperimentalWsReceive   ProductionProof = 216
	ProductionProofOpenCode2SessionRetry                   ProductionProof = 217
	ProductionProofOpenCode2ShellCreateBefore              ProductionProof = 218
)

const (
	ProvenanceSourceInvalid ProvenanceSource = iota
	ProvenanceSourceRequirement
	ProvenanceSourceBug
	ProvenanceSourceEnum
	ProvenanceSourceBoundary
)

const (
	StateInvalid State = iota
	Enabled
	Withheld
)

const (
	WithheldReasonInvalid WithheldReason = iota
	WithheldMissingFixture
	WithheldOutsideTargetSet
	WithheldUnverifiedBuild
	WithheldProductionProofMissing
	WithheldMissingRequestCorrelation
	// WithheldNoReachableTrigger records that no known action makes the host
	// fire the event in a live session, so no authentic capture can exist. It
	// is a user decision: a row that carries it names the CLEARANCE.md where
	// the decision is recorded.
	WithheldNoReachableTrigger
	// WithheldUnclearablePayload records that the captured payload cannot be
	// made safe to commit by the substitution rules. It is a user decision: a
	// row that carries it names the CLEARANCE.md where the decision is recorded.
	WithheldUnclearablePayload
	// WithheldProviderHook records that the host reads the hook's own output
	// or exit code as an answer only the hook can give, so an observer row
	// would change host behaviour rather than only report on it (a Claude
	// worktree-create hook: standard output must carry the created worktree
	// path; a worktree-remove hook: exit 0 asserts the removal happened). It
	// is a user decision: a row that carries it names the CLEARANCE.md where
	// the decision is recorded.
	WithheldProviderHook
	// WithheldNotEmittedByHost records that the host declares the event name
	// or the hook key at the recorded version and never emits the event or
	// calls the key. This covers two kinds of declared-but-silent name: an
	// event name present only in generated SDK types with no publisher, or a
	// declared hook key nothing calls. A row may take this reason only on a
	// CITED absence of an emission site in the host source at the recorded
	// version — the file and symbol searched, with the search stated in the
	// recorded decision — never on the absence of a payload file, a
	// documentation page, or a struct; a directory listing alone can miss a
	// real emitter. It is a user decision: a row that carries it names the
	// CLEARANCE.md where the decision, including that cited search, is
	// recorded.
	WithheldNotEmittedByHost
	// WithheldEmittedOutsideTransport records that the host does emit the
	// event, but on a channel the harness transport does not observe, so no
	// capture can reach the hook however long a session runs. It is a user
	// decision: a row that carries it names the CLEARANCE.md where the
	// decision is recorded.
	WithheldEmittedOutsideTransport
	// WithheldTriggerNotExercised records that the host CAN fire the event,
	// and WE chose not to produce the condition that fires it. Its two limbs
	// are (a) a setting we will not impose on the capturing user's host
	// configuration, and (b) a condition we will not induce (for example a
	// real API failure). It is a user decision: a row that carries it names
	// the CLEARANCE.md where the decision, and which limb applies, is
	// recorded.
	//
	// It does NOT cover a row nobody knows how to fire: that case is
	// WithheldNoReachableTrigger, unchanged by this reason. It does NOT cover
	// a row that was captured under a disclosed non-default configuration:
	// that row is enabled, with the configuration stated beside its fixture.
	WithheldTriggerNotExercised
)