mirror of
https://github.com/BaaRai/ARTEX.git
synced 2026-11-13 11:40:53 +08:00
BaaRai
e233c02314
Comments, doc comments, UI labels, log and error messages, LLM prompt strings, markdown docs, test data and assertions. Identifiers, enum keys, routes, placeholders and code structure are unchanged. Notes: - docs/漏洞流量证据.md renamed to docs/vulnerability-traffic-evidence.md - tests that exercised CJK specific handling (GBK zip names, Chinese full text search) now use ASCII equivalents; go build passes and the test suite matches the pre translation baseline (remaining failures need a PostgreSQL DSN and fail identically on the original) - frontend mention syntax now uses English kinds (finding, asset, ...) matching the backend, chat mentions tests pass
41 lines
1.9 KiB
Go
41 lines
1.9 KiB
Go
package db
|
|
|
|
// Exploration node kinds (exploration_nodes.kind).
|
|
const (
|
|
KindBegin = "begin" // DEPRECATED: legacy task root; new tasks seed an origin fact (KindFact + StateOrigin) instead
|
|
KindGoal = "goal" // a task objective
|
|
KindIntent = "intent" // an exploration direction (planner-generated)
|
|
KindFact = "fact" // a worker's exploration result/conclusion (incl. negative results), tied to its intent
|
|
KindFinding = "finding" // a confirmed vulnerability (report_finding), distinct from a fact
|
|
KindHint = "hint"
|
|
KindDigest = "digest" // a compressed fold of cold intents/facts (cold-digest-spec §1); lossless — members kept, restorable by id
|
|
)
|
|
|
|
// Digest node states (kind='digest'). A digest is 'active' while it renders in
|
|
// graph_overview; major compaction retires a merged-away segment to 'superseded'
|
|
// (its covers edges repointed to the new digest) — cold-digest-spec §5.1.
|
|
const (
|
|
StateDigestActive = "active"
|
|
StateDigestSuperseded = "superseded"
|
|
)
|
|
|
|
// StateOrigin marks the task root fact (KindFact) seeded at task creation — the
|
|
// exploration graph's origin. Every intent traces back to it, so "an intent must
|
|
// connect to a fact" holds uniformly from the very first intent. Worker-produced
|
|
// facts use state 'confirmed', so this never collides.
|
|
const StateOrigin = "origin"
|
|
|
|
// StateIntentDeleted marks an intent soft-deleted by the user: it drops out of
|
|
// the frontier and graph_overview like other terminal states, but keeps its node
|
|
// and full lineage. The delete reason lives in exploration_nodes.delete_reason.
|
|
const StateIntentDeleted = "deleted"
|
|
|
|
// Exploration edge relations (exploration_edges.rel).
|
|
const (
|
|
RelSpawns = "spawns"
|
|
RelDerivedFrom = "derived_from"
|
|
RelYields = "yields"
|
|
RelProves = "proves"
|
|
RelCovers = "covers" // digest --covers--> member (cold-digest-spec §1); source of truth for "which digest folds node X"
|
|
)
|