bashguard

type Decision struct {
	// ReadOnly 命令可判只读（不执行任何写路径）。
	ReadOnly bool
	// Reason 非只读原因（人可读，审计用）。
	Reason string
	// Destructive 该调用含不可逆动作（删数据 / 写设备 / 关机 / 递归改权限 …）。
	//
	// 与 ReadOnly **正交**：只读与否是另一档。一个命令可以「不是只读、但可逆」
	//（rm file），也可以「不是只读、且不可逆」（rm -rf /）。
	//
	// 语义边界：false 只意味着「没命中已知规则」，**不意味着安全**——
	// 是否要二次确认是调用方的策略决定，本包只给「这条命令不可逆」这个事实。
	Destructive bool
	// DestructiveReason 不可逆依据（人可读，审计用）；未命中时为空。
	DestructiveReason string
	// Invocations 提取的调用序列（观测/风险面）。
	Invocations []Invocation
}

type FlagKind string

type Invocation struct {
	Name    string
	Args    []string
	Dynamic bool // 含动态词（argv 非字面）
}

type Policy struct {
	// ReadOnly 命令本体是否只读。
	ReadOnly bool
	// SafeFlags 已知安全 flag（含 - 前缀，如 "-n"）。长 flag 单写。
	SafeFlags map[string]FlagKind
	// UnsafeFlags 命中即非只读（显式优先于 SafeFlags）。
	UnsafeFlags []string
	// Subcommands 子命令策略表（git 形态，可嵌套）：子命令不在表=非只读。
	Subcommands map[string]Policy
	// Wrapper 安全包装（env/timeout 形态）：剥壳后按剩余首参判定。
	Wrapper bool
	// ConsumeBare Wrapper 剥 flag 后先吃掉的前置裸操作数个数（timeout 的时长）。
	ConsumeBare int
	// NoBareOperands 裸操作数即写形态（git branch <名> 创建 / git stash 裸 push /
	// git tag <名> 打标）：出现任何 flag 之外的裸操作数 → 非只读。
	NoBareOperands bool
	// AllowBareOperandsPrefix NoBareOperands 的豁免前缀（date 的 +FORMAT 形态：
	// 裸操作数以 "+" 开头是格式串不是写目标）。前缀空串不放行任何操作数。
	AllowBareOperandsPrefix []string
	// Destructive 该命令恒不可逆（删数据 / 写设备 / 关机 …）。
	//
	// 只在**不可逆规则表**（Table.Destructive）里有意义——只读表是只读表，
	// 不可逆判据单列一张（见 destructive.go 的说明）。
	Destructive bool
	// DestructiveFlags 命中即不可逆的 flag（"-r" / "--recursive"）。
	// 短 flag 支持联合形态（-rf 里的 r）。
	DestructiveFlags []string
	// DestructiveArgs 命中即不可逆的参数（**前缀**匹配："of=" 命中 "of=/dev/sda"）。
	DestructiveArgs []string
}

type Table struct {
	Commands map[string]Policy
	// Destructive 不可逆规则表：命令名 → 判据（只用 Policy 的三个 Destructive* 字段）。
	//
	// 与只读表**分开**：只读表只放只读命令（"不在只读策略表" 是既有语义），
	// 而不可逆判据要覆盖 rm / mkfs / dd 这类写命令。键尾的 "*" 表示前缀族
	//（"mkfs*" 覆盖 mkfs.ext4 等）。
	Destructive map[string]Policy
}