crtx-context 0.1.0

Context pack assembly, token budgeting, and mandatory citation metadata.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

//! Selection audit structures for context packs.

use serde::{Deserialize, Serialize};

use crate::pack::ContextRefId;
use crate::redaction::{PackMode, RedactionPolicy, Sensitivity};

/// Why a candidate ref was omitted from a context pack.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum ExclusionReason {
    /// Omitted because it conflicts with selected or current intent.
    Contradiction,
    /// Omitted because it is stale for this task.
    Staleness,
    /// Omitted because it is outside task scope.
    ScopeMismatch,
    /// Omitted to preserve the requested token budget.
    TokenBudget,
    /// Omitted by redaction/privacy policy.
    RedactionPolicy,
    /// Omitted because current operator intent overrides historical pressure.
    CurrentIntent,
    /// Omitted for another explicitly recorded reason.
    Other,
}

/// Audit entry for a selected ref.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct IncludedAuditEntry {
    /// Included ref.
    pub ref_id: ContextRefId,
    /// Deterministic rule or policy id that selected it.
    pub rule_id: String,
    /// Human-readable reason recorded for audit.
    pub reason: String,
    /// Sensitivity tier used during selection.
    pub sensitivity: Sensitivity,
}

/// Audit entry for an excluded ref.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct ExcludedAuditEntry {
    /// Excluded ref when policy permits recording the identifier.
    #[serde(skip_serializing_if = "Option::is_none")]
    pub ref_id: Option<ContextRefId>,
    /// Ref kind retained even when the identifier is redacted.
    pub ref_kind: String,
    /// Exclusion reason.
    pub reason: ExclusionReason,
    /// Deterministic rule or policy id that excluded it.
    pub rule_id: String,
    /// Human-readable rationale.
    pub rationale: String,
    /// Sensitivity tier used during selection.
    pub sensitivity: Sensitivity,
}

/// Replayable audit data for pack construction.
#[derive(Debug, Clone, PartialEq, Eq, Serialize, Deserialize)]
pub struct SelectionAudit {
    /// Pack mode used during construction.
    pub pack_mode: PackMode,
    /// Redaction policy used during construction.
    pub redaction_policy: RedactionPolicy,
    /// Audit entries for included refs.
    pub included: Vec<IncludedAuditEntry>,
    /// Audit entries for excluded refs.
    pub exclusions: Vec<ExcludedAuditEntry>,
    /// Estimated token count from the local deterministic estimator.
    pub estimated_tokens: usize,
}

impl SelectionAudit {
    /// Construct an empty audit for a pack build.
    #[must_use]
    pub fn new(
        pack_mode: PackMode,
        redaction_policy: RedactionPolicy,
        estimated_tokens: usize,
    ) -> Self {
        Self {
            pack_mode,
            redaction_policy,
            included: Vec::new(),
            exclusions: Vec::new(),
            estimated_tokens,
        }
    }
}