TENIR Labs · Products
Answers for different situations
On this page
Start with what is happening.
Each offer is presented plainly: the problem it addresses, what it produces and what it does not claim. The 2×2 matrix below is only a summary.
Recap · choose a starting point
Before or after the action?
Start with the situation you recognize. Each profile then explains its output, status and limits.
Before AI acts · understand
An AI tool or use appears. You want to know what it can affect and who should look.
- Map an AI useREG Discovery · Experimental deterministic engine · Working Draft · draft site PR #13
- Spot existing exposureAI Exposure X-Ray · X-Ray v0.2 prototype · favorable internal assessment · not production-qualified
Before AI acts · prepare
A decision is being prepared. You need to know what to check before the action goes out.
- Turn a rule into candidate controlsREG Prevent · Working Draft v0.1 · bounded pilot approach
- Make a requirement testableREG Translation Studio · Exploratory prototype · preparing internal testing
- Compare profiles and assumptionsREG Mediation · Experimental prototype · proposals not admitted
After an action · understand
An action happened. You need to separate what was intended, sent, confirmed or remains unknown.
- Assemble readable evidenceREG Prepare · Working Draft v0.1 · bounded pilot approach
- Explore boundaries and dependenciesREG Explorer v0.2 · v0.2 prototype · READY WITH CONDITIONS · final browser test pending
After an action · verify
A sensitive action needs a declared frame and a clear response when you do not yet know what happened.
- Bound an agent actionTENIR-Gov · Released open-source beta · bounded single-host
- Test a bounded profileREG Conformance · v0.6.1 released · 46/46 PASS · single-host loopback Raft profile
TENIR frames the question; products and services address different moments. A simulation is not proof of production.
To understand or prepare
Choose the situation that looks like yours, then open one profile at a time.
REG Prevent
A requirement to apply. What needs to be checked?
During design, after a rule changes or when reviewing the controls around an important action.
Candidate control map, critical assumptions, risk questions and proposed REG Prevention Brief.
REG Prepare
What can we actually demonstrate?
Before a review, launch or audit, after an incident, or when a decision depends on evidence that needs to be found.
Evidence Readiness Pack, qualified claim matrix, unknowns and verification plan.
REG Explorer v0.2
Explore assumptions and boundaries before making an architecture decision.
When a team needs to explore governance boundaries and make technical questions testable.
Dependency exploration and verification questions; public release remains gated by final browser acceptance.
REG Discovery
Could an important assumption be missing?
At the start of a review, when a requirement seems obvious or when preparing questions to verify.
Bounded assumption catalogue, deterministic exploration and printable report; five source cards and 31 combinations described in the draft web PR.
REG Mediation
Propose PREVENT / PREPARE responses without presenting proposals as admissions.
Comparing interpretations before formal review of candidate constraints.
Traceable proposed controls pending qualification; no automatically admitted properties.
AI Exposure X-Ray
Is AI already part of the everyday tools?
When preparing an inventory of AI uses, an AI policy or the scope of a diagnostic.
Exploratory exposure view and prioritized verification questions.
REG Translation Studio
Understand a requirement and make it testable.
When a requirement is ambiguous or needs to be testable, while keeping proposed interpretation separate from validation.
Traceable candidate constraints and ambiguity log for qualified review.
TENIR-Gov v5.7.0
Before an agent acts, examine what authorizes it.
When a technical team prepares an agent action on an external system and can verify the specific deployment conditions.
Scoped local decisions, reservations and reconciliation records—not automatic proof of external provider effects.
REG Conformance v0.6.1
Test one bounded execution-governance profile against reproducible contracts.
Testing the exact single-host loopback Raft profile covered by the release.
Profile-scoped test results and badge; no inherited guarantees for other topologies.
Explore the foundations
Architecture, texts and technical contracts to read.
REG-ARCH
Requirements, actions and evidence: how do they connect?
When architects need to connect claims, actions and their representation across Claim, Action and Representation.
Conceptual map and typed transition model to compare with versioned source specifications.
REG+ & RFCs · Contracts and foundations
Under which conditions does a guarantee hold?
When checking an invariant, profile, test or the deployment conditions a guarantee depends on.
Specification and candidate profiles, attributable test outcomes and known gaps.
Still not sure which one fits?
Describe what you are trying to understand. A few lines are enough to start a conversation.