trajectory

var AttrSpecs = []AttrSpec{
	{
		Name:   AttrRowID,
		Source: "Row.ID",
		Domain: Domain{Kind: "string", Note: "行标识；形态由投影器决定（turn#N / step#N / tool#<call_id> / <kind>#-<seq>），唯一范围是轮内"},
		Card:   Cardinality{Why: "取值随行数增长（行数由事件流长度决定），本仓定不出上界"},
	},
	{
		Name:   AttrKind,
		Source: "Row.Kind",
		Domain: Domain{Kind: "string", Values: []string{
			string(KindTurn), string(KindStep), string(KindToolCall), string(KindToolResult),
			string(KindSideEffect), string(KindCheckpoint),
		}},
		Card:      Cardinality{Max: 6, Why: "Kind 词表固定六值（与 Span.Name 同一词表：新增类目必须同步这里与用例）"},
		LabelSafe: true,
	},
	{
		Name:   AttrRowStatus,
		Source: "Row.Status",
		Domain: Domain{Kind: "string", Values: []string{
			string(StatusOpen), string(StatusClosed), string(StatusOrphan),
		}},
		Card:      Cardinality{Max: 3, Why: "Status 词表固定三值"},
		LabelSafe: true,
	},
	{
		Name:   AttrTurnSeq,
		Source: "Row.Turn",
		Domain: Domain{Kind: "int64", Note: "1 起的轮次序号；轮次外的事件（Turn 为 0）不写此项"},
		Card:   Cardinality{Why: "随会话轮数增长，本仓定不出上界"},
	},
	{
		Name:   AttrStepID,
		Source: "Row.StepID（Row.HasStep 为真时才写：环节号 0 是合法值，不能靠零值判有无）",
		Domain: Domain{Kind: "int64", Note: "环节号，由调用方给定（uint64 全域）"},
		Card:   Cardinality{Why: "取值由调用方决定，本仓定不出上界"},
	},
	{
		Name:   AttrToolName,
		Source: "Row.Tool（仅工具行）",
		Domain: Domain{Kind: "string", Note: "工具名，来自工具调用事件载荷"},
		Card:   Cardinality{Why: "取值数由宿主的工具目录规模决定，本仓看不到那个目录；宿主若要按工具聚合，应在 label 侧用自己的白名单收敛"},
	},
	{
		Name:   AttrToolCallID,
		Source: "Row.CallID（仅工具行）",
		Domain: Domain{Kind: "string", Note: "配对键：一次工具调用一个值，宿主跨 span join 用"},
		Card:   Cardinality{Why: "调用次数无上界"},
	},
	{
		Name:   AttrToolPairing,
		Source: "Row.Pairing（仅工具行，且不为 PairingNone）",
		Domain: Domain{Kind: "string", Values: []string{
			string(PairingPaired), string(PairingMissingResult), string(PairingDuplicateResult),
			string(PairingUnpairedResult), string(PairingDuplicateCall),
		}},
		Card:      Cardinality{Max: 5, Why: "Pairing 词表五值（PairingNone 是「不适用」，不写进属性）"},
		LabelSafe: true,
	},
	{
		Name:   AttrToolDupResults,
		Source: "Row.DupResults（仅工具行，且 >0）",
		Domain: Domain{Kind: "int64", Note: "重复结果计数，1 起；没有重复就没有这个属性"},
		Card:   Cardinality{Why: "重复次数无上界（正常情况下恒为 1）"},
	},
	{
		Name:   AttrDurationMs,
		Source: "Row.Duration()（StartAt 与 EndAt 相减，不是单独存的字段）",
		Domain: Domain{Kind: "float64", Note: "实测毫秒；**仅实测时出现**——没有实测就没有这个属性，不写 0、不估一个"},
		Card:   Cardinality{Why: "连续值，本仓定不出上界"},
	},
	{
		Name:   AttrSummary,
		Source: "Row.Summary（可由 Options.Summarize 覆盖）",
		Domain: Domain{Kind: "string", Note: "宿主注入的展示文案；内核默认标签不含任何领域词"},
		Card:   Cardinality{Why: "自由文本，本仓定不出上界"},
	},

	{
		Name:   AttrSideEffectKey,
		Source: "Row.SideEffectKey（仅副作用行）",
		Domain: Domain{Kind: "string", Note: "幂等键：一个逻辑动作一个值（宿主构造，须稳定）；同 Key 的授予段/对账段/点观察共用一个行标识，宿主跨 span join 用"},
		Card:   Cardinality{Why: "动作数无上界（随运行规模增长）"},
	},
	{
		Name:   AttrSideEffectPhase,
		Source: "Row.SideEffectPhase（仅副作用行）",
		Domain: Domain{Kind: "string", Values: []string{
			string(SideEffectGranted), string(SideEffectCompleted), string(SideEffectAbandoned),
			string(SideEffectUncertain), string(SideEffectResolvedApplied), string(SideEffectResolvedCleared),
			string(SideEffectReplayed), string(SideEffectContended),
		}},
		Card:      Cardinality{Max: 8, Why: "Phase 词表固定八值（授予/施加/放弃/转未知/裁决两态/两个点观察；与 sideeffect 的 Outcome 词表同源，新增须同步这里与用例）"},
		LabelSafe: true,
	},
	{
		Name:   AttrSideEffectResource,
		Source: "Row.SideEffectResource（仅副作用行）",
		Domain: Domain{Kind: "string", Note: "目标资源标识：租约的独占单位（宿主定义）"},
		Card:   Cardinality{Why: "资源数由宿主的领域决定，本仓定不出上界"},
	},
	{
		Name:   AttrSideEffectFence,
		Source: "Row.SideEffectFence（仅副作用行，且 >0；授予段与点行为才携带）",
		Domain: Domain{Kind: "int64", Note: "栅栏令牌：同一资源上单调递增的代数，由存储侧在原子操作里分配"},
		Card:   Cardinality{Why: "随接管次数增长，本仓定不出上界"},
	},
	{
		Name:      AttrSideEffectSafety,
		Source:    "Row.SideEffectSafety（仅副作用行，且非空——空声明不写，不替宿主补默认值）",
		Domain:    Domain{Kind: "string", Values: []string{"unknown", "safe", "unsafe"}},
		Card:      Cardinality{Max: 3, Why: "与 sideeffect.RetrySafety 的 String() 逐字一致（unknown=未声明，沉默按最弱处理）"},
		LabelSafe: true,
	},

	{
		Name:   AttrCheckpointRunID,
		Source: "Row.CheckpointRunID（仅快照行）",
		Domain: Domain{Kind: "string", Note: "编排运行标识（宿主分配，须稳定且可跨进程重建）"},
		Card:   Cardinality{Why: "运行数随宿主的编排规模增长，本仓定不出上界"},
	},
	{
		Name:   AttrCheckpointSeq,
		Source: "Row.CheckpointSeq（仅快照行，且 >0——seq=0 的快照不是一次真实提交）",
		Domain: Domain{Kind: "int64", Note: "快照序号：同一 RunID 下严格递增（存储侧 CAS 判据）"},
		Card:   Cardinality{Why: "随步骤推进次数增长，本仓定不出上界"},
	},
	{
		Name:   AttrCheckpointStatus,
		Source: "Row.CheckpointStatus（仅快照行，且非空）",
		Domain: Domain{Kind: "string", Note: "快照的编排状态：取值域**应当**是 contract 包的状态常量集（created/running/waiting_approval/succeeded/failed/cancelled/timed_out），但值由宿主写入快照——本仓保证不了宿主不写别的，故不列 Values、不标 label-safe（对宿主写面的保证不该由本包代签）"},
		Card:   Cardinality{Why: "词表本身七值，但写入面在宿主，本仓给不出可保证的上界"},
	},
}

var ForbiddenLabels = []ForbiddenLabel{
	{
		Name: "session_id",
		Why:  "一次会话一个取值：进 label 会让指标时序数按会话数膨胀，且会话标识是可关联标识——进了指标后端就等于把它变成长期可查询的面",
	},
	{
		Name: "agent_slug",
		Why:  "取值数随部署的 agent 目录增长，本仓定不出上界；同一部署内它也更像维度而不是枚举",
	},
	{
		Name: "payload",
		Why:  "事件载荷：自由文本、基数无界，且可能含未脱敏内容——映射面刻意不读它（见 otel.go 头注「映射面不含 payload」）",
	},
}