Bounded Complete
Exactly four runes β no more, no fewer. @ read, ~ sync, ! act, ? intent. Every reactive document operation maps to one of them. The completeness is provable: no fifth rune is possible without redundancy.
A reactive binding protocol β @ read Β· ~ sync Β· ! act Β· ? intent β that governs how values behave across any host, framework, or domain.
@ read β display a value from state (state β display, one-way)
~ sync β two-way binding between input and state
! act β explicit trigger, user β behavior
? intent β annotation, no runtime effect, read by humans and AINo framework. No runtime dependency. Four characters, complete grammar.
<field ~new-task placeholder="New taskβ¦" />
<button !add-task>Add</button>
<list @tasks><item @item.title /></list>
<screen ?"mobile task list, minimal, focus on speed">[RuneState]
[RuneIntent("approved by risk committee Q1-2025")]
public decimal RiskThreshold { get; set; } = 0.15m;
[RuneComputed]
public IEnumerable<TaskItem> Pending => Tasks.Where(t => !t.Done);
[RuneAction("submit-order")]
[RuneIntent("explicit, logged to OMS, irrevocable")]
public async Task SubmitOrder(Guid orderId) { ... }const pending = useRead<TaskItem[]>('pending') // @
const [newTask, setNewTask] = useSync<string>('new-task') // ~
const addTask = useAct('add-task') // !
useIntent('screen', 'mobile task list, focus on speed') // ?-- @ read-only view
CREATE VIEW pending AS SELECT * FROM tasks WHERE done = false;
-- ~ mutable column
risk_threshold NUMERIC(5,4) DEFAULT 0.15 -- ?"approved by risk committee Q1-2025"
-- ! explicit action
CREATE FUNCTION act_submit_order(p_order_id UUID) RETURNS TEXT ...Rune is the syntax layer beneath the semantic layer. Every project in the ecosystem has its own domain vocabulary β EMBER, Mere, Recall, Phoenix, Strata, Wake. Each answers what does this mean. Rune answers how does this value behave. Those are different questions at different levels β and Rune answers the second one, once, for all of them.
Mere invented it. Rune names it.
DOI: 10.5281/zenodo.20007883 Β· rune.semanticintent.dev Β· GitHub