faculties 0.21.0

An office suite for AI agents: kanban, wiki, files, messaging, and a Lissajous-backed viewer — all persisted in a TribleSpace pile.
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113

//! Compass schema: goals, statuses, notes, and priority relations.
//!
//! Used by the Compass faculty and by viewers that read Compass boards from a
//! pile. Status names are intentionally open-ended; the defaults only define
//! the lanes presented first by clients.

use triblespace::core::collection::lww_register::LwwQuery;
use triblespace::core::metadata;
use triblespace::core::query::intersectionconstraint::and;
use triblespace::macros::{find, id_hex, pattern};
use triblespace::prelude::*;

/// Stable scope of the authored Compass collection.
///
/// Minted with `trible genid` on 2026-08-08. The id first appeared in the
/// earlier Compass collection experiment; retaining it here preserves the
/// collection's identity while deliberately discarding that experiment's
/// snapshot-DAG ontology.
pub const DEFAULT_SCOPE_ID: Id = id_hex!("B9566CF892C55CCB0E58411E1B18CD7F");

pub const KIND_GOAL_LABEL: &str = "goal";
pub const KIND_STATUS_LABEL: &str = "status";
pub const KIND_NOTE_LABEL: &str = "note";
pub const KIND_PRIORITIZE_LABEL: &str = "prioritize";
pub const KIND_DEPRIORITIZE_LABEL: &str = "deprioritize";

pub const KIND_GOAL_ID: Id = id_hex!("83476541420F46402A6A9911F46FBA3B");
pub const KIND_STATUS_ID: Id = id_hex!("89602B3277495F4E214D4A417C8CF260");
pub const KIND_NOTE_ID: Id = id_hex!("D4E49A6F02A14E66B62076AE4C01715F");
pub const KIND_PRIORITIZE_ID: Id = id_hex!("6907A81922DA6DF79966616EA60DEC70");
pub const KIND_DEPRIORITIZE_ID: Id = id_hex!("86C4621538FB0E30CD63BB7A3B847E8B");

pub const KIND_SPECS: [(Id, &str); 5] = [
    (KIND_GOAL_ID, KIND_GOAL_LABEL),
    (KIND_STATUS_ID, KIND_STATUS_LABEL),
    (KIND_NOTE_ID, KIND_NOTE_LABEL),
    (KIND_PRIORITIZE_ID, KIND_PRIORITIZE_LABEL),
    (KIND_DEPRIORITIZE_ID, KIND_DEPRIORITIZE_LABEL),
];

pub const DEFAULT_STATUSES: [&str; 4] = ["todo", "doing", "blocked", "done"];

pub mod board {
    use super::*;

    attributes! {
        "EE18CEC15C18438A2FAB670E2E46E00C" unsafe as title: inlineencodings::Handle<blobencodings::UTF8String>;
        // TODO: migrate to metadata::tag (GenId) — tags should be entities with
        // their own ID + metadata::name, not inline strings. See wiki.rs TagIndex
        // for the correct pattern. This ShortString tag is a legacy design mistake.
        "5FF4941DCC3F6C35E9B3FD57216F69ED" unsafe as tag: inlineencodings::ShortString;
        "9D2B6EBDA67E9BB6BE6215959D182041" unsafe as parent: inlineencodings::GenId;

        "C1EAAA039DA7F486E4A54CC87D42E72C" unsafe as task: inlineencodings::GenId;
        // The register a status event is a state OF: "the status of goal G".
        //
        // Distinct from `task`, which says only *belongs to this goal* and is
        // shared with notes and priority events. A register needs an identity
        // — "these are versions of the same thing" — and `task` is not one:
        // a note and a status event both hang off the goal and are not
        // versions of each other, so ordering them together by timestamp let
        // a note retire a status on 778 of 2939 live goals. Minted with
        // `trible genid` on 2026-08-19.
        "9EB26577A63788E805B2C2F7792EF307" as status_of: inlineencodings::GenId;
        "61C44E0F8A73443ED592A713151E99A4" unsafe as status: inlineencodings::ShortString;
        // Optional acting persona (relations person id) on status and note
        // events. This is attribution only; it has no workflow semantics.
        "34718CDC13D0E3D8750DB58105390AB3" unsafe as by: inlineencodings::GenId;
        "47351DF00B3DDA96CB305157CD53D781" unsafe as note: inlineencodings::Handle<blobencodings::UTF8String>;
        // Opaque, exact references attached to a note. Repeated handles keep
        // the ledger queryable without assigning any interpretation here.
        "FD59B704D0F1D06AF14102ADCB5F6FF0" unsafe as reference: inlineencodings::Handle<blobencodings::UTF8String>;
        "B88842D9D00361A0F2728C478C79D75C" unsafe as higher: inlineencodings::GenId;
        "18F3446C9E9281A248D370A56395A3F0" unsafe as lower: inlineencodings::GenId;
    }
}

pub type TextHandle = Inline<inlineencodings::Handle<blobencodings::UTF8String>>;
pub type IntervalValue = Inline<inlineencodings::NsTAIInterval>;

pub fn interval_key(interval: IntervalValue) -> i128 {
    let (lower, _): (i128, i128) = interval
        .try_from_inline()
        .expect("NsTAIInterval inline values have a lower bound");
    lower
}

/// Deterministic latest status event for one goal.
///
/// `register` is the maintained LWW index for `board::status_of` ordered by
/// `metadata::created_at`. Positive membership joins only known complete
/// winners, so facts ahead of the index cannot surface unseen events. Its
/// `(created_at, event-id)` total order leaves exactly one per register.
pub fn latest_status_event<P: TriblePattern>(
    space: &P,
    register: &LwwQuery,
    goal_id: Id,
) -> Option<(Id, String, IntervalValue)> {
    let current = find!(
        (event: Id, status: String, at: IntervalValue),
        and!(
            pattern!(space, [{ ?event @
                metadata::tag: &KIND_STATUS_ID,
                board::status_of: &goal_id,
                board::status: ?status,
                metadata::created_at: ?at,
            }]),
            register.has(event),
        )
    )
    .next();
    current
}