Language:
PRODUCTS▾
Home Core Serverless Edition Why It’s Different CDS — Constitutional Screening STFL — Sovereign Transaction Finance Layer Defence 🏰 Verify Security All Gates
MORE▾
ASSURANCE
Execution Rights Capabilities Authoritative Sources Evidence Evidence Registry Fortress Baseline Adversarial Verification Machine Law Evolution
SOLUTIONS
Institutions Jurisdictions Due Diligence
RESOURCES
Facts Press Newsroom FAQ Machine Law — The Book Gate SDK Gamechangers The Sound of Machine Law
COMMERCIAL
Pricing Investors
Quantum Security 🔍 Search Request Access →
gateLogVerify — Publicly verifiable, without asking us.
// IMMO.QUICK · GATELOGVERIFY · OEFFENTLICHER REFERENZPRUEFER · KEINE AUTHENTIFIZIERUNG NOETIG

Publicly verifiable, without asking us.

gateLogVerify is the public reference verifier for GateLog records. It accepts GET with an id parameter or POST with an id field, without authentication. Not a compliance gate, but a verification tool so an auditor, court, or regulator can check evidence independently.

Request Access → See the architecture
Test result: CODE_VERIFIED. Not directly tested, requires a real GateLog record ID, the code was fully read and verified.
✓ RELEVANT IF...
  • You are an external reviewer, auditor, or court that wants to independently verify a specific GateLog record
× NOT RELEVANT IF...
  • You do not have a specific GateLog record ID, the gate needs a real ID, it does not list records
// Architecture

Three signature eras, honestly separated.

Every row is a hard boolean check, not probabilistic scoring. A critical failure leads to block, a high severity failure to warn, everything else to pass.

ReferenceChecksSeverity
Aera 1 · noSigMarch to July 2026, 184 records without HMAC signature, honest UNAVAILABLE_NO_SIGNATURE instead of a fake verificationmedium
Aera 2 · pipe-legacy16 July 2026, 46 records, old pipe formula (JSV1), reads the stored output_hashmedium
Aera 3 · colonFrom 17 July 2026, 11-plus records, convergent colon formula with identity binding, reconstructs output_hash, checks HMAC with caller_did and caller_rolemedium
HMAC-signed GateLog record
Every run writes an HMAC-signed GateLog record with identity binding (caller_did, caller_role) and a ten-year retention period. Deterministic: identical input produces identical output, no LLM, no external API.
// Clarification

What gateLogVerify is not.

  • Not a compliance gate. gateLogVerify makes no pass/warn/block decision, it confirms or disproves the cryptographic integrity of an already existing record.
  • Not a silent formula assumption. On an unknown formula version, the gate returns UNKNOWN_FORMULA_VERSION instead of silently applying the wrong formula.

For auditors, courts, and regulators who want to independently verify a GateLog record without authentication.

Request Access → access@immoquick.eu
Request Access →