Skip to content
View halvrenofviryel's full-sized avatar

Highlights

  • Pro

Block or report halvrenofviryel

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.

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
halvrenofviryel/README.md

Ali Toygar Abak — Founder of Phionyx Research

ORCID PyPI: phionyx-core Zenodo DOI Measurement Axioms DOI Substack X: @phionyx_ai

I build deterministic governance infrastructure for AI systems.

Phionyx treats large language model output as a noisy measurement, not a final answer. The work puts a verifiable runtime between an AI system and real-world action — and, separately, defines a neutral way to write down what that runtime actually decided, so an outsider can check it.

Concretely, a governed action carries policy + a state transition + an abstain / block / rewrite decision + a replayable evidence record in one inspectable trace — and the runtime governs its own development the same way (a runnable control-hardening demo shows what holds, what fails closed, and what stays a documented gap). This sits alongside the emerging agent-governance tooling — signed action receipts, agent audit/replay, enterprise control planes — rather than against it; the contribution is that combination, plus the neutral evidence format below. Cooperative-grade governance with a capability boundary, not containment.

The doctrine the rest of this is held to

The Measurement Axioms · v1.0, August 2026 · 10.5281/zenodo.21763430 · CC BY 4.0

A governance system that returned safe may have checked nothing. A governance verdict is a measurement of a claim about a system, and a measurement that was not taken must not be reported as one that passed.

Seven axioms, five properties of a governance measurement path, and a six-value verdict algebra — PASS · FAIL · NOT_MEASURED · INCONCLUSIVE · ERROR · NOT_APPLICABLE — with two prohibitions: an absence is not a result, and a proxy is not the thing. Decision outcome, measurement status, enforcement status and evidence level are four orthogonal fields, not one enum.

The release carries a normative specification (45 numbered requirements, a record schema, a reference implementation, 314 tests, a checksum manifest) and an audit of my own runtime against it: twelve findings, none with verification_status: pass. One of them was contributed by an outside reader, in the conformance probe published alongside the doctrine — it returned a positive result having measured nothing. That is the doctrine's central failure, produced by the artefact written to detect it, and it is documented rather than quietly corrected.

No conformance claim is made about any implementation, mine included.

CDE-12 — Control-Delivery Evidence · v0.2, July 2026 — the companion instrument. Twelve criteria and a five-value scale for reporting what a system can and cannot record about a control decision and its fate. It measures records, not behaviour, and it applies to any runtime governance artifact, not only mine.


Three things I work on

These are distinct and must not be cross-attributed — each has its own home. The doctrine above is not a fourth item: it is what the three are measured against, including where they fall short.

1 · phionyx-research — the deterministic runtime engine

The engine (phionyx-core, v0.9.0 on PyPI): a 46-block canonical pipeline (contract v3.8.0) with a state vector, kill switch, human-in-the-loop queue, ethics and safety gates, and a signed, hash-chained audit trail. Its founding axiom is that LLM output is a sensor reading, governed before it becomes action — not an oracle to be trusted.

  • phionyx-research — the core runtime + companion adapters. pip install phionyx-core.
  • phionyx-mcp-server — an MCP trust boundary: descriptor signing, signed envelopes, and an audit chain over third-party MCP tool calls.

2 · AIREP — the AI Runtime Evidence Protocol

A neutral, vendor- and model-independent record format: one signed, hash-chained, canonical-JSON record per AI runtime decision — what was decided, on what basis, and, distinctively, what the evidence does not cover. It is checkable offline by an independent verifier and depends on no Phionyx code; Phionyx is only its reference implementation and matures by conforming to it.

  • ai-runtime-evidence-protocol — the protocol: normative spec, JSON Schema, binding profiles, and two independent verifiers (Python + Node) that agree byte-for-byte. Experimental — a proposed open format, not a ratified standard.

3 · Self-governance — binding an AI's own claims to evidence

When an AI assistant helps write the software that governs AI assistants, its own development becomes the test. This line binds an assistant's self-claims ("I fixed it / I tested it"), tool calls, and trace events into verifiable runtime-evidence chains — gates that check what the agent says it did against the repository's actual diff, plus a binding hook layer that makes the checks non-optional.

Applied

The runtime shows up in real products that put bounded authority between AI and action:

  • hearthos — bounded-authority household AI: a browser-only demo with policy gates over every suggested action.
  • trace.phionyx.ai — narrative-coherence for game/NPC and storytelling systems: it detects character drift and incoherent state before a scene reaches the player.

Core principles

  • LLM output is not truth; it is a signal requiring governance.
  • A governance verdict is itself a measurement, and one that was not taken must not be reported as one that passed.
  • AI systems need runtime control, not only prompt-level safety.
  • Safety, coherence, and telemetry should be structured before a response is released.
  • Evaluation must include behavioural stability, not only benchmark performance.
  • Human-facing AI should be explainable, auditable, and interruptible.

Links


If runtime evidence for agentic AI is a problem you have, watch phionyx-research to get email updates when we ship new experiments.

Pinned Loading

  1. phionyx-research phionyx-research Public

    Runtime evidence layer for agentic AI — signed audit chain, deterministic gate verdicts with record-bound audit replay. pip install phionyx-core.

    Python 2 3

  2. phionyx-eval-inspect phionyx-eval-inspect Public

    Inspect AI bridge — Phionyx runtime evidence exported into Inspect eval logs. Replayable agent evaluations.

    Python

  3. phionyx-mcp-server phionyx-mcp-server Public

    MCP trust boundary — descriptor signing, signed envelopes, audit chain over third-party MCP tool calls.

    Python

  4. ai-runtime-evidence-protocol ai-runtime-evidence-protocol Public

    AIREP — a neutral, vendor- and model-independent record format for per-decision AI runtime governance evidence: one signed, hash-chained, canonical-JSON record per decision, checkable offline. Expe…

    Python

  5. phionyx-pipeline-mcp phionyx-pipeline-mcp Public

    Agent self-claim gate — verifies what the agent says it did against the repository's actual diff. For Claude Code + MCP hosts.

    Python

  6. measurement-axioms measurement-axioms Public

    A governance system that returned safe may have checked nothing. Seven axioms, a verdict algebra, a normative specification, and an audit of its authors' own runtime against it.

    Python