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
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130

//! Collection-native Decide ontology.
//!
//! A decision id is a stable extrinsic anchor. Its proposal is one immutable
//! intrinsic genesis; factors are independent intrinsic occurrences; and a
//! resolution is an intrinsic predecessor DAG. Union therefore preserves
//! concurrent deliberation without timestamp arbitration or mutation of the
//! anchor.

use triblespace::macros::{attributes, id_hex};
use triblespace::prelude::*;

/// Stable extrinsic scope of the authored Decide collection.
///
/// Minted with `trible genid` on 2026-08-08.
pub const DEFAULT_SCOPE_ID: Id = id_hex!("C6B9CAB355E18CD59AF913C870AA3FF8");

/// Exact marker on a stable random decision anchor.
///
/// This retains the already-published meaning of `KIND_DECISION`.
pub const KIND_DECISION: Id = id_hex!("BA824EF82FE972F1315A790068192691");

/// Intrinsic immutable proposal record for one decision anchor.
///
/// Minted with `trible genid` on 2026-08-08.
pub const KIND_DECISION_GENESIS: Id = id_hex!("4380D62FB2434BD85DFA70DF10BFA033");

/// Intrinsic full resolution event in one decision's predecessor DAG.
///
/// Minted with `trible genid` on 2026-08-08.
pub const KIND_RESOLUTION_SNAPSHOT: Id = id_hex!("921DF13B0E932AD46FEA8C26A927482D");

/// Exact pro-side marker on an intrinsic factor occurrence.
///
/// This retains the already-published meaning of `KIND_PRO`.
pub const KIND_PRO: Id = id_hex!("01C453F122A83E6255618DFE26984E53");

/// Exact con-side marker on an intrinsic factor occurrence.
///
/// This retains the already-published meaning of `KIND_CON`.
pub const KIND_CON: Id = id_hex!("BBD13287E7151B254B49D49A6F11DAFD");

/// Machine-readable result: what this decision concerns is acceptable as it
/// stands, and any gate keyed to it may stop blocking.
///
/// A resolution carries a result tag *in addition to* its prose outcome. The
/// prose is for a reader and must stay free to say "it is a BPE vocabulary,
/// there is no signal in it"; the tag is what a program is allowed to read.
/// Before this existed, the only machine-readable channel was the prose
/// itself, compared byte-for-byte against a magic string, so `"Benign"`,
/// `"benign."` and any sentence of actual reasoning silently failed to count
/// — the one field meant for explanation could not hold an explanation.
///
/// Minted with `trible genid` on 2026-08-20.
pub const RESULT_BENIGN: Id = id_hex!("0D9E3D34CC9107372C0AE255C599E424");

/// Every result tag this build understands, with the name its CLI accepts.
pub const RESULT_TAGS: &[(&str, Id)] = &[("benign", RESULT_BENIGN)];

/// The result tag a name selects, if any.
pub fn result_tag(name: &str) -> Option<Id> {
    RESULT_TAGS
        .iter()
        .find(|(label, _)| *label == name)
        .map(|(_, id)| *id)
}

/// The name of a result tag, for display.
pub fn result_name(id: Id) -> Option<&'static str> {
    RESULT_TAGS
        .iter()
        .find(|(_, tag)| *tag == id)
        .map(|(label, _)| *label)
}

pub mod decide {
    use super::*;

    attributes! {
        /// Optional entity the immutable decision genesis concerns.
        /// This retains the already-published meaning.
        "CCB764C79C22F45F11141912C50695D0" unsafe as about: inlineencodings::GenId;

        /// Free-form outcome carried by an intrinsic resolution snapshot.
        /// This retains the already-published meaning.
        "384E8074DB17FFE12FAFFB4344A6D196" unsafe as outcome:
            inlineencodings::Handle<blobencodings::UTF8String>;

        /// Stable decision anchor described by an immutable genesis.
        /// Minted with `trible genid` on 2026-08-08.
        "571C6D5F411476FA197B489687E317E1" unsafe as of: inlineencodings::GenId;
    }
}

pub mod factor {
    use super::*;

    attributes! {
        /// Stable decision anchor this factor concerns.
        /// This retains the already-published meaning.
        "D4B3A79837BB2D9E7DA985FFA4C2FEB2" unsafe as about_decision: inlineencodings::GenId;

        /// Explicit random occurrence token, keeping identical factors distinct.
        /// Minted with `trible genid` on 2026-08-08.
        "FFE5D5C231C39483A9F824649012FD15" unsafe as occurrence: inlineencodings::GenId;
    }
}

pub mod resolution {
    use super::*;

    attributes! {
        /// Stable decision anchor governed by this resolution snapshot.
        /// Minted with `trible genid` on 2026-08-08.
        "5FBA407A4315422CD2BA1BD0A5FBD32A" unsafe as of: inlineencodings::GenId;

        /// Explicit bypass bit; it is never inferred from later factor state.
        /// Minted with `trible genid` on 2026-08-08.
        "68DBFB130C7CC5A2017D3EEC0D419DE3" unsafe as forced: inlineencodings::Boolean;

        /// Exact factor occurrence cited as evidence by this snapshot.
        /// Minted with `trible genid` on 2026-08-08.
        "0D3399D0E9024D344858BE1D59133EA6" unsafe as evidence: inlineencodings::GenId;

        /// Optional machine-readable result of this resolution, alongside the
        /// free-form outcome prose. Absent means "no program may act on this",
        /// which is the honest default for a decision written for a human.
        /// Minted with `trible genid` on 2026-08-20.
        "D0253DE1AFC5F651DEB38B09D2935B18" as result: inlineencodings::GenId;
    }
}