Skip to content
Tinor / Research & Journal

Engineering a reliable
interface to reality.

Research, engineering and perspectives on verifiable state, semantic systems and the emerging agentic world.

Research categories

Explore Research Themes

Four long-term questions. Each publication has one category and one type.

Reading path

Start Here

A guided reading path for new readers.

  1. Why Agents Need Verifiable StateFrom procurement questionnaires to external AI inquiries: why agents need attributable, current, permission-aware state — and what cryptography alone cannot prove.
  2. Agent Memory Is Not Operational StateWhy durable agent memory, RAG corpora, and knowledge graphs are not the same as formally accepted operational state with sources, authority, and disclosure boundaries.
  3. Managing Revocation and Conflicting ClaimsHow late evidence, revocations, and conflicting claims change current state — with an illustrative walkthrough and explicit limits on what Tinor claims today.
Ordered sequences

Research Series

Read in order. Forthcoming parts are listed without links.

Newest first

Latest Publications

View all →
Type
Category
  1. Beyond Ontology · PerspectiveAgent Memory Is Not Operational StateWhy durable agent memory, RAG corpora, and knowledge graphs are not the same as formally accepted operational state with sources, authority, and disclosure boundaries.
  2. Verifiable Reality · Engineering NoteManaging Revocation and Conflicting ClaimsHow late evidence, revocations, and conflicting claims change current state — with an illustrative walkthrough and explicit limits on what Tinor claims today.
  3. Reality Runtime · PerspectiveWhy Agents Need Verifiable StateFrom procurement questionnaires to external AI inquiries: why agents need attributable, current, permission-aware state — and what cryptography alone cannot prove.
  4. Beyond Ontology · PerspectiveBeyond Ontology: From Understanding Reality to Relying on ItOperational ontologies made business reality computable and actionable. Cross-party reliance asks a further question: is this specific claim admissible, by whose authority, and as of when?
  5. Verifiable Reality · PerspectiveProof Is Not TruthWhen a record, credential or signature verifies, what exactly has been verified? Integrity, signer identity, authority, status, scope and applicability are different checks — and none of them is truth.
  6. Beyond Ontology · PerspectiveAn AI Answer Is Not a FactWhat has to happen before a probabilistic interpretation becomes accepted, reusable state: the Fact Admission Boundary, step by step, with a certification claim extracted from a website and a PDF.
  7. Reality Runtime · Engineering NoteReality Needs a Type SystemCan real-world claims be compiled into representations with machine-checkable constraints before anyone accepts or acts on them? An engineering note on subjects, scope, time, authority and evidence as types.
  8. Engineering & Benchmarks · Research NoteToward Zero Invalid State Admissions: A Benchmark ProposalA proposed benchmark for stateful AI systems: measure invalid admissions and useful task completion together, so that neither reckless acceptance nor blanket refusal looks like reliability.
Research history

Research Evolution

Milestones from dated architecture decisions in Tinor's protocol work.

  1. Jun 2026Protocol coreObject timelines, Profiles, six core event types with semantic boundaries, and a proof / evidence / signature model that keeps integrity separate from truth.
  2. Jul 2026Identity, resolution and disclosurePrincipal identity, a read-side fact resolution engine, typed references with invalidation, and unified authorization and disclosure governance.
  3. Aug 2026Resolved trust read planeA read plane for resolved trust, and rights authorization modelled as a first-class object.
  4. Sep 2026From candidate to admitted factAgreement as derived shared state, the Semantic Runtime boundary from typed candidate to deterministic action, domain semantic assets, and fact identity and admission.
  5. Oct 2026Conflict, standing and reality compilationMulti-assertion conflict and standing-resolution contracts, reality compilation with layered assessment, and the first public Journal essays.

Follow new publications: RSS · English