caxton 0.1.4

A secure WebAssembly runtime for multi-agent systems
Documentation 
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
131
132
133
134
135
136
137
138
139

---
layout: default
---

<div class="adr-page-layout">
    <!-- ADR Sidebar -->
    <aside class="adr-page-sidebar">
        <div class="adr-sidebar-header">
            <h3>All ADRs</h3>
            <div class="adr-search">
                <input type="search" id="adr-page-search" placeholder="Search ADRs..." aria-label="Search ADRs">
            </div>
        </div>

        <!-- ADR List -->
        <div class="adr-nav-list">
            {% assign sorted_adrs = site.adrs | sort: 'date' | reverse %}
            {% for adr in sorted_adrs %}
                <a href="{{ adr.url | relative_url }}"
                   class="adr-nav-item {% if page.url == adr.url %}current{% endif %}"
                   data-title="{{ adr.title | downcase | escape }}">
                    <div class="adr-nav-header">
                        {% assign adr_num = adr.title | split: '.' | first | split: ' ' | last %}
                        <span class="adr-nav-number">ADR {{ adr_num }}</span>
                        {% if adr.status %}
                            <span class="adr-nav-status status-{{ adr.status | downcase }}">
                                {{ adr.status }}
                            </span>
                        {% endif %}
                    </div>
                    <div class="adr-nav-title">{{ adr.title | split: '. ' | last | truncate: 60 }}</div>
                    {% if adr.date %}
                        <time class="adr-nav-date" datetime="{{ adr.date | date_to_xmlschema }}">
                            {{ adr.date | date: "%b %d, %Y" }}
                        </time>
                    {% endif %}
                </a>
            {% endfor %}
        </div>
    </aside>

    <!-- Main Content -->
    <main class="adr-page-main">
        <div class="adr-page-content">
            <header class="adr-page-header">
                <h1>{{ page.title }}</h1>
                <div class="adr-metadata">
                    {% if page.status %}
                        <div class="adr-meta-item">
                            <span class="adr-meta-label">Status:</span>
                            <span class="adr-status {{ page.status | downcase }}">{{ page.status | capitalize }}</span>
                        </div>
                    {% endif %}
                    {% if page.date %}
                        <div class="adr-meta-item">
                            <span class="adr-meta-label">Date:</span>
                            <time datetime="{{ page.date | date_to_xmlschema }}">{{ page.date | date: "%B %d, %Y" }}</time>
                        </div>
                    {% endif %}
                    {% if page.author %}
                        <div class="adr-meta-item">
                            <span class="adr-meta-label">Author:</span>
                            <span>{{ page.author }}</span>
                        </div>
                    {% endif %}
                    {% if page.categories %}
                        <div class="adr-meta-item">
                            <span class="adr-meta-label">Categories:</span>
                            <div class="adr-categories">
                                {% for category in page.categories %}
                                    <span class="category">{{ category }}</span>
                                {% endfor %}
                            </div>
                        </div>
                    {% endif %}
                </div>
            </header>

            <div class="adr-content">
                {{ content }}
            </div>

            <!-- Navigation between ADRs -->
            <nav class="adr-navigation">
                {% assign sorted_adrs = site.adrs | sort: 'date' %}
                {% assign current_index = 0 %}
                {% for adr in sorted_adrs %}
                    {% if adr.url == page.url %}
                        {% assign current_index = forloop.index0 %}
                    {% endif %}
                {% endfor %}

                {% if current_index > 0 %}
                    {% assign prev_index = current_index | minus: 1 %}
                    {% assign prev_adr = sorted_adrs[prev_index] %}
                    <a href="{{ prev_adr.url | relative_url }}" class="adr-nav-link prev">
                        <span class="adr-nav-label">Previous</span>
                        <span class="adr-nav-title">{{ prev_adr.title | split: '. ' | last | truncate: 40 }}</span>
                    </a>
                {% else %}
                    <div></div>
                {% endif %}

                {% assign next_index = current_index | plus: 1 %}
                {% if next_index < sorted_adrs.size %}
                    {% assign next_adr = sorted_adrs[next_index] %}
                    <a href="{{ next_adr.url | relative_url }}" class="adr-nav-link next">
                        <span class="adr-nav-label">Next</span>
                        <span class="adr-nav-title">{{ next_adr.title | split: '. ' | last | truncate: 40 }}</span>
                    </a>
                {% endif %}
            </nav>
        </div>
    </main>
</div>

<!-- JavaScript for search and anchor links -->
<script src="{{ '/assets/js/anchor-links.js' | relative_url }}"></script>
<script>
document.addEventListener('DOMContentLoaded', function() {
    const searchInput = document.getElementById('adr-page-search');
    const navItems = document.querySelectorAll('.adr-nav-item');

    if (searchInput) {
        searchInput.addEventListener('input', function() {
            const query = this.value.toLowerCase();

            navItems.forEach(item => {
                const title = item.dataset.title || '';
                if (title.includes(query) || query === '') {
                    item.style.display = 'block';
                } else {
                    item.style.display = 'none';
                }
            });
        });
    }
});
</script>