401294de5d
Config surface — per-project config introspection, coherence verification, and
audited mutation without destroying NCL structure (ADR-008):
- crates/ontoref-daemon/src/config.rs — typed DaemonNclConfig (parse-at-boundary
pattern); all section structs derive ConfigFields + config_section(id, ncl_file)
emitting inventory::submit!(ConfigFieldsEntry{...}) at link time
- crates/ontoref-derive/src/lib.rs — #[derive(ConfigFields)] proc-macro; serde
rename support; serde_rename_of() helper extracted to fix excessive_nesting
- crates/ontoref-daemon/src/main.rs — 3-tuple bootstrap block (nickel_import_path,
loaded_ncl_config: Option<DaemonNclConfig>, stdin_raw); apply_ui_config takes
&UiConfig; NATS call site typed; resolve_asset_dir cfg(feature = "ui")
- crates/ontoref-daemon/src/api.rs — config GET/PUT endpoints, quickref, coherence,
cross-project comparison; index_section_fields() extracted (excessive_nesting)
- crates/ontoref-daemon/src/config_coherence.rs — multi-consumer coherence;
merge_meta_into_section() extracted; and() replaces unnecessary and_then
NCL contracts for ontoref's own config:
- .ontoref/contracts.ncl — LogConfig (LogLevel, LogRotation, PositiveInt) and
DaemonConfig (Port, optional overrides); std.contract.from_validator throughout
- .ontoref/config.ncl — log | C.LogConfig applied
- .ontology/manifest.ncl — contracts_path, log/daemon contract refs, daemon section
with DaemonRuntimeConfig consumer and 7 declared fields
Protocol:
- adrs/adr-008-ncl-first-config-validation-and-override-layer.ncl — NCL contracts
as single validation gate; Rust structs are contract-trusted; override-layer
mutation writes {section}.overrides.ncl + _overrides_meta, never touches source
on+re update:
- .ontology/core.ncl — config-surface node (28 practices); adr-lifecycle extended
to adr-007 + adr-008; 6 new edges (ManifestsIn daemon, DependsOn ontology-crate,
Complements api-catalog-surface/dag-formalized/self-describing/adopt-ontoref)
- .ontology/state.ncl — protocol-maturity blocker and self-description-coverage
catalyst updated for session 2026-03-26
- README.md / CHANGELOG.md updated
65 lines
2.3 KiB
HTML
65 lines
2.3 KiB
HTML
{% extends "base.html" %}
|
|
{% import "macros/ui.html" as m %}
|
|
|
|
{% block title %}Sessions — Ontoref{% endblock title %}
|
|
{% block nav_sessions %}active{% endblock nav_sessions %}
|
|
{% block nav_group_reflect %}active{% endblock nav_group_reflect %}
|
|
|
|
{% block content %}
|
|
<div class="mb-6 flex items-center justify-between">
|
|
<h1 class="text-2xl font-bold">Active Sessions</h1>
|
|
<span class="badge badge-lg badge-neutral">{{ total }} actor(s)</span>
|
|
</div>
|
|
|
|
{% if sessions | length == 0 %}
|
|
{{ m::empty_state(message="No active actor sessions") }}
|
|
{% else %}
|
|
<div class="overflow-x-auto">
|
|
<table class="table table-zebra table-sm w-full bg-base-200 rounded-lg">
|
|
<thead>
|
|
<tr class="text-base-content/50 text-xs uppercase tracking-wider">
|
|
<th>Token</th>
|
|
<th>Type</th>
|
|
<th>Role</th>
|
|
<th>Project</th>
|
|
<th>Host / PID</th>
|
|
<th>Registered</th>
|
|
<th>Last seen</th>
|
|
<th class="text-right">Pending</th>
|
|
</tr>
|
|
</thead>
|
|
<tbody>
|
|
{% for s in sessions %}
|
|
<tr>
|
|
<td class="font-mono text-xs text-base-content/50">{{ s.token }}</td>
|
|
<td>{{ m::actor_badge(actor_type=s.actor_type) }}</td>
|
|
<td>
|
|
<span class="badge badge-xs font-mono
|
|
{% if s.role == 'admin' %}badge-error
|
|
{% elif s.role == 'developer' %}badge-primary
|
|
{% elif s.role == 'agent' %}badge-secondary
|
|
{% elif s.role == 'ci' %}badge-accent
|
|
{% else %}badge-ghost{% endif %}">{{ s.role }}</span>
|
|
{% if s.has_preferences %}
|
|
<span class="ml-1 text-base-content/30 text-xs" title="has saved preferences">◆</span>
|
|
{% endif %}
|
|
</td>
|
|
<td class="font-mono text-sm">{{ s.project }}</td>
|
|
<td class="font-mono text-xs">{{ s.hostname }}:{{ s.pid }}</td>
|
|
<td class="text-xs text-base-content/60">{{ s.registered_ago }}s ago</td>
|
|
<td class="text-xs text-base-content/60">{{ s.last_seen_ago }}s ago</td>
|
|
<td class="text-right">
|
|
{% if s.pending_notifications > 0 %}
|
|
<span class="badge badge-warning badge-sm">{{ s.pending_notifications }}</span>
|
|
{% else %}
|
|
<span class="text-base-content/30 text-xs">—</span>
|
|
{% endif %}
|
|
</td>
|
|
</tr>
|
|
{% endfor %}
|
|
</tbody>
|
|
</table>
|
|
</div>
|
|
{% endif %}
|
|
{% endblock content %}
|