HREVN Español

Reviewable evidence for AI and real operations.

Two local AI plugins, one independent evidence core and a live property-management vertical — built around the same rule: preserve exactly what was checked.

Integrity is not truth, completeness, authority or approval. HREVN keeps those properties separate instead of compressing them into one reassuring result.

Evidence at two different moments of AI work.

AgentProof records a narrow view of an agent run. EvalDossier verifies a supported signed evaluation dossier. They are separate products and make different claims.

01 Agent sessions

AgentProof

Creates local, hash-only receipts from collector-observed agent sessions and compares recorded repository commitments without claiming completeness, truth or work quality.

Current surfaces

  • CodexAvailable
  • OpenClawAvailable
  • Claude CodeUnder review
Open product page
02 Signed evaluations

EvalDossier

Verifies supported signed evaluation dossiers offline while keeping formal checks, model judgments and inconclusive outcomes visibly separate.

Current surfaces

  • CodexAvailable
  • OpenClawAvailable
  • Claude CodeUnder review
Open product page

HREVN EB1 Core

A standalone, product-neutral engine for deterministic evidence bundles and strict verification. Product adapters prepare the data; the core applies the evidence rules.

Understand Evidence Bundles
01

Deterministic package

The same canonical inputs produce the same evidence structure.

02

Bound fields

Identity, profile and evidence commitments travel inside the signed envelope.

03

Multi-axis result

Structure, integrity, signature, authority and anchoring are not collapsed into one global valid flag.

Current boundaries are stated explicitly. No independent external trust registry or current blockchain-anchoring service is claimed here.

SuperProperty turns the evidence discipline into property operations.

Visits, incidents, entries, exits and supporting files become structured, AI-ready records. Companies can export their data, ask governed questions and generate native EB1 v2 evidence bundles.

01

AI-ready by design

Structured JSON and controlled data views for company agents.

02

Read-only AI boundary

The query agent cannot alter or delete the operational database.

03

Portable exports

CSV and SPX export paths alongside evidence bundles.

04

Live synthetic demo

An English product tour and sample Salamanca record are available now.

For companies working under European and Spanish requirements.

These services help teams organise declared AI use and prepare material for human review. They are not automatic compliance, legal advice or certification.

A

HREVN Start

A practical starting layer for AI-use mapping, internal policy, literacy training and implementation records.

See HREVN Start
B

Commercial Dossier

A structured, reviewable client deliverable for firms, consultants and partners working on real AI cases.

See the dossier

State what was checked. Preserve what supports it. Leave every boundary visible.