Skip to content

Emit canonical authorization records from deterministic action gates #204

Description

@safal207

Goal

Add an interoperability exporter that converts PythiaLabs deterministic gate decisions into canonical authorization_record artifacts for downstream lifecycle joins.

Canonical profile: safal207/Liminal#108

Why

PythiaLabs already evaluates proposed agent actions before tool execution using evidence, authorization, environment, credential, temporal, and recovery context. The decision trace should be exportable in a stable provider-neutral shape so another runtime can later attach the actual observation and response-integrity verdict.

Deliverables

  • Add a canonical authorization export schema containing:
    • action identity and canonical arguments digest;
    • gate/profile identifier and version;
    • evidence references used at decision time;
    • decision and stable reason codes;
    • decision timestamp and evaluation clock;
    • validity/expiry interval;
    • approval and credential state;
    • environment/target-state digest;
    • continuation or revalidation requirements;
    • artifact digest and verification metadata.
  • Add exporters for the current infrastructure, banking-risk, and Web3 treasury showcases.
  • Add a portable adapter that does not expose Elixir-specific internal terms as normative fields.
  • Add a downstream observation handoff example.
  • Add a joined demo using an externally supplied response-integrity record.

Required fixtures

  • accepted reversible action;
  • blocked destructive action without approval;
  • expired temporal authorization;
  • target-state drift after decision;
  • evidence updated after decision but before execution;
  • accepted action followed by matching observation;
  • accepted action followed by contradicted external response claim.

Boundary

  • PythiaLabs produces deterministic pre-execution decisions.
  • It does not certify the truthfulness of a later model response.
  • Imported observation/integrity records remain independently attributed.

Acceptance criteria

  • The same semantic decision produces stable canonical bytes and digest.
  • A downstream verifier can determine what was authorized, when, and against which evidence snapshot.
  • Temporal and target-state drift remain visible after export.
  • Authority, observation, and response-integrity verdicts are not collapsed.
  • Fixtures align with Liminal#108.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions