Skip to content

IETF Draft draft-aevum-causal-intervention-record-00 Discussion Thread #2

Description

@kwailapt

PACR Internet-Draft Discussion

This issue serves as the primary discussion venue for draft-aevum-causal-intervention-record-00 (Physically Annotated Causal Record), as referenced in the draft itself:

Discussion of this document should take place on the GitHub repository at https://github.com/kwailapt/AgentCard/issues with the label pacr-draft.

Links

Resource URL
I-D Datatracker https://datatracker.ietf.org/doc/draft-aevum-causal-intervention-record/
Reference Implementation crates/pacr-types
Companion Draft (AgentCard) https://datatracker.ietf.org/doc/draft-aevum-agentcard/
Full XML Source adapters/draft/draft-aevum-causal-intervention-record-00.xml

Scope

The PACR six-tuple R = (ι, Π, Λ, Ω, Γ, P) defines a wire format for verifiable causal-intervention events between autonomous agents. Key design decisions open for review:

  1. Six fields, each from an independent physical/logical principle — is the decomposition minimal and sufficient?
  2. Causal order via predecessor set (Π), not timestamps — implications for clock-free distributed systems
  3. Landauer floor (Λ) as a distinct field from actual energy (Ω.energy) — thermodynamic waste = Ω.energy − Λ
  4. Pearl-hierarchy intervention tag (Observe / DoPhysical / DoDigital / DoChemical / DoGenetic / Counterfactual) — are six kinds sufficient for the initial registry?
  5. Estimate type (point, lower, upper) for all physical measurements — uncertainty at the protocol level
  6. Counterfactual records require sim_real_corr ∈ [0.0, 1.0] — preventing ungrounded simulation claims

How to Participate

  • Comment on this issue for general feedback
  • Open separate issues with the pacr-draft label for specific technical proposals
  • The reference Rust implementation is in crates/pacr-types — PRs welcome

IANA Considerations

The draft requests:

  • Media type application/pacr+json
  • Media type application/pacr+cbor
  • New registry: "PACR Intervention Kind" (6 initial entries, Specification Required policy)

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

    pacr-draftDiscussion of IETF draft-aevum-causal-intervention-record

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions