Skip to content
View mikko-lab's full-sized avatar

Block or report mikko-lab

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
mikko-lab/README.md

English | Suomi

Mikko Tarkiainen

AI Systems Engineer · Agent Runtime Controls, Evaluation & Reliability · Deterministic Decision Systems

Based in Finland · Open to freelance work, remote roles and software partnerships

I design and build AI systems with explicit operating boundaries. Language models interpret, discuss and propose; software enforces permissions, business rules and state transitions.

Two decades as an automotive entrepreneur shaped my approach: own the problem, make decisions under uncertainty and remain accountable for the outcome.

My current work focuses on three separate questions:

  • Control: What is an agent allowed to do?
  • Evaluation: Do the implemented controls behave as specified under adversarial scenarios?
  • Evidence: What can signed observations establish about execution, and what remains uncertain?

Start here: control, evaluation and evidence

These three public reference implementations address different responsibilities. Their relationship and trust boundaries are described in Control, Evaluation & Evidence Architecture.

ACS Guardrail Demo — Runtime Authority & Agent Security

Deterministic runtime controls for agent tool execution: signed and scoped capabilities, tool-bound human approval, tenant and ancestor-chain revocation, and an optional approval–permit lifecycle with single-use permits.

The runtime takes an immutable request snapshot so that the request executed is the request verified. Cooperative cancellation, commit fences and output gating constrain the managed execution path. Hash-chained audit records support integrity checks against a separately trusted head.

Boundary: cancellation requires tool cooperation, and effects outside the managed commit boundary are not prevented. Revocation state is local and in memory. This is a reference implementation, not a claim of full ACS conformance or production readiness.

Repository

Agent Control Evals — Deterministic Evaluation of Agent Controls

Reproducible evaluation harnesses using explicit specifications, deterministic oracles, adversarial scenarios and mutation testing.

The work separates reported policy decisions from observed effects. Evaluations identify the tested system version, corpus, declared capability profile and coverage gaps. Runtime-control, revocation and automotive-agent evaluations retain their own assumptions and reporting boundaries.

Boundary: results apply to the evaluated versions, scenarios and observation mechanisms. Synthetic harness validation is distinguished from evaluation of an external system. Passing a declared profile does not establish full-contract conformance, universal safety or production readiness.

Repository

Execution Evidence Demo — Verifiable Execution Receipts & History

A TypeScript reference library for Ed25519-signed execution receipts and linked lifecycle observations. Receipts bind an actor and action to hashes of supplied before-state, after-state and result observations.

Lifecycle evidence links operations, attempts and receipts while preserving uncertainty and conflicting outcomes. Signature verification, history assessment and authorization of the next action remain separate responsibilities.

Boundary: signatures authenticate evidence under configured trust rules; they do not independently prove external events. The library does not execute operations, authorize retries or guarantee complete history, immutable storage or exactly-once execution.

Repository

Applied systems

Kopilotti Sales — Dealer-Controlled Digital Sales

AI-assisted used-car sales within dealer-defined commercial boundaries. The language model handles conversation; deterministic server-side rules control pricing decisions and sales-flow transitions.

A vehicle-specific Magic Link provides the customer entry point, while the dealer configures commercial rules in Admin. A separate Evaluation & Safety harness tests observable API behaviour against a local Sales system in an isolated environment.

Boundary: the system remains in development. External integrations and pilot readiness are assessed separately. Kopilotti does not receive, hold or transfer customer payments.

Project · Live demo

DDN Reference — Verifiable Deterministic Decisions

Versioned business rules execute as WebAssembly in three isolated validator processes on one host under one operator. A decision is accepted when at least two configured validators produce matching signed attestations.

Decision receipts support verification of signatures, request bindings, hashes and Merkle proofs. The implementation also demonstrates EVM anchoring on a local Anvil chain.

Boundary: this is not an independent validator network or an active production integration. Receipt verification does not normally rerun the policy or establish whether the business rule itself is correct or fair.

Repository

Ruuhkavahti — Kafka Guardrails Under Load

A deterministic PASS / ESCALATE / BLOCK pipeline, locally tested with a simulated 8,000-message-per-second traffic spike.

The implementation combines consumer-lag observability, duplicate handling, an independent consumer service, signed service-to-service authentication and distributed tracing. The dashboard includes accessible semantic views and reduced-motion support.

Boundary: the published measurements describe specific local experiments, not a production throughput or availability guarantee.

Repository

Additional work

  • A11Y Lead Engine — automated accessibility checks, company-data enrichment and structured outreach workflows.
  • Prompt Injection Gate — a proof of concept separating structural tool-output quarantine from best-effort pattern detection.
  • refuse-dont-guess — deterministic VAT classification and escalation, with prompt-injection regression tests.
  • claude-code-invoice-guard — the same guardrail principle implemented with Claude Code runtime primitives.
  • Kopilotti WebMCP — a browser-agent demonstration with constrained tools, visible state and a human-approval boundary.
  • osCommerce Checkout Refactor — AI-assisted legacy refactoring with explicit business-rule analysis and behaviour-preserving tests.
  • Provenanssi — open research separating measured image information from model-generated reconstruction.
  • Karikko — geospatial hazard reporting for Finnish waters, with a separate backend.

Open-source contributions

  • 567-labs/instructor — traced caller-owned message mutation across providers; proposed fixes were consolidated into a merged maintainer PR with original contributor authorship preserved.
  • langchain-ai/langgraph — root-cause analysis of state-channel reference transparency.
  • Aiven-Open/karapace — reported and traced a RecursionError involving self-referential JSON Schema compatibility checking.

Technologies

TypeScript · JavaScript · Node.js · Python · Rust · PostgreSQL · Redis · Kafka · Docker · WebAssembly · Solidity · Playwright · Jest · Vitest · GitHub Actions

Engineering principle

Flag, don’t hide.

A system should state what it decided, what it observed, what its evidence can verify and where its limits are. Permission to act, evaluation results and evidence of execution should never be treated as interchangeable.

Contact

Open to software partnerships, architecture consulting, selected freelance projects and remote roles.

Get in touch →

Pinned Loading

  1. acs-guardrail-demo acs-guardrail-demo Public

    Evidence-backed agent runtime controls for bounded tool execution: scoped capabilities, deterministic ALLOW/DENY/ASK decisions, tool-bound human approval, result gating, adversarial evaluation and …

    TypeScript

  2. agent-control-evals agent-control-evals Public

    Deterministic evaluation of AI agent runtime controls and bounded autonomy. Pinned systems, decision/effect checks, mutation testing, and explicit evidence limits. Includes ACS, revocation, and aut…

    TypeScript

  3. execution-evidence-demo execution-evidence-demo Public

    Reference implementation for verifiable execution evidence: signed receipts, state-transition binding, tamper detection and independently checkable execution history.

    TypeScript

  4. kopilotti-sales-demo kopilotti-sales-demo Public

    Public showcase and demo for Kopilotti Sales: 24/7 used-car price negotiation with dealer-controlled deterministic rules, black-box evaluation and safety boundaries. Proprietary decision logic is n…

    HTML

  5. ddn-reference ddn-reference Public

    Open-source reference architecture for cryptographically verifiable decisions, deterministic policy execution and auditable decision receipts.

    Solidity

  6. ruuhkavahti ruuhkavahti Public

    Kafka guardrail demo with deterministic PASS/ESCALATE/BLOCK routing, consumer-lag observability, signed service authentication and distributed tracing. Locally load-tested with an 8,000 msg/s input…

    Python