Research
The product is a portable transaction record. The research asks what evidence, authority, and correction mechanisms machines need before acting on one another’s claims.
Current questions
- Can separate implementations verify the same record?
- Can an action record expose missing receipts?
- Can a structured promise identify the evidence and authority required for a consequence?
Res Agentica is the broader research and constitutional program. Glyph is the portable standard derived from that program; Bulla is executable reference software. Publication identity, lifecycle, evidence status, program role, and lineage come from one Res Agentica authority. Glyph consumes those decisions; it does not reinterpret them.
What this check cannot tell you
Formal verification applies to the stated mathematical object; empirical identification, conjecture, correction, and product mechanism remain separately labelled.
Semantic settlement
Bulla carries evidence, authority, semantic scope, and settlement state through a replayable claim flow. The flow distinguishes a scoped world claim, model-relative entailment, and an authority-bound institutional result rather than collapsing all three into one truth value.
boundary profile
bulla.semantic-boundary-stack/0.3-freeze
finality profile
bulla.semantic-finality/0.1-experimental
classification
internal captive foreign substrate
captive evaluation
240 cases
reviewer holdouts
0
Inspect the generated profile, corpus, digests, and external gaps.
What this check cannot tell you
The claim flow is a finite captive research profile. It binds authorized institutional transitions; it does not establish worldly truth, legal validity, production settlement, custody, or independent forum behavior.
From an agent action to a consequence
Action
A consequential act creates an occurrence that must remain addressable after the actor, host, or session disappears.
Occurrence record
An ActionReceipt binds the claimed act to declared authority, bounds, evidence, and recourse without manufacturing world truth.
Independent persistence
Coverage and retention assumptions stay explicit; a host-served root is not independent witnessing.
Authority and bounds
The receipt records who authorized what, under which scope, and which transitions preserved or changed that authority.
Reliance
A relying party records the terms and evidence on which it acted rather than treating verification as an untyped boolean.
Challenge and remedy
A durable record becomes useful when a challenger can reach an executable correction, reversal, compensation, or recourse path.
Current research priorities
Which degree-1 Hodge-Tarski statements hold for finite lattices beyond vector spaces?
The verified result is an exact graph-theoretic characterization; the unrestricted conjecture is false.
falsifier · A countermodel to a manuscript theorem under its stated hypotheses, or a mismatch between a headline statement and the clean Lean build.
Do structural signals predict execution failure on independently authored workflows?
The claim is unverified; advancement requires the frozen partner evaluation and held-out gate.
falsifier · Failure to improve held-out AUROC by 0.05 with a positive bootstrap interval, or failure of the partner gates, ends the predictive claim.
Read the research by topic
How research reaches the product
Glyph currently depends on 13 supporting Res Agentica records in addition to the three priority lanes. Their claims, corrections, versions, and status live on Res Agentica. Only the consequences needed to interpret the standard are reproduced here.
Open the canonical research program · Inspect the intellectual lineage
What this check cannot tell you
Formal verification applies to the stated mathematical object; empirical identification, conjecture, correction, and product mechanism remain separately labelled.
Corrections and archive
9 public records are archived, withdrawn, or falsified. They are not promoted as current foundations, but they remain available with their decision dossiers in the Res Agentica historical corpus. Historical visibility is part of the evidence, not a product claim.
What this check cannot tell you
Formal verification applies to the stated mathematical object; empirical identification, conjecture, correction, and product mechanism remain separately labelled.