FVC-Agent v0.1 — Formal Grammar of the Signed Agentic Act, Verifiable under FVC

This record proposes the first technical specification for FVC-Agent v0.1, a record-form layer that defines how the signed acts of a non-human actor (agent, runtime, or verifier) become compatible with FVC verification of the situated act they represent. FVC-Agent does not certify the actor. It gives verifiable form to the signed acts of the non-human actor, so that FVC may qualify or certify them as situated acts. The essential invariant: FVC is the source; FVC-Agent is the form that makes the actor's act certifiable under FVC. FVC-Agent v0.1 addresses a specific layer of Open Issue #9 of FVC v0.1 (interaction with agent governance protocols) without contradicting the foundational invariant of FVC, which governs a situated act, not an agent. It specializes the situated-act grammar to the case in which the act is produced and signed by a non-human actor. The package includes the normative specification (RFC-style), a JSON Schema 2020-12, four valid and four invalid reference records, intended publication metadata, release notes, and operational checklist. FVC-Agent is proposed as a derived/specialized record-form layer of FVC v0.1, previously published on Zenodo, and does not replace it. This publication is intended as a conceptual and technical priority record. It is not a medical device specification, aviation protocol, legal opinion, industrial safety standard, or reference implementation.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-05-09
DOI
https://doi.org/10.5281/zenodo.20098753
Primary Topic
Safety Systems Engineering in Autonomy
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

FVC-Agent v0.1 — Formal Grammar of the Signed Agentic Act, Verifiable under FVC

Francesco Riva
Zenodo (CERN European Organization for Nuclear Research)
Safety Systems Engineering in Autonomy
article

FVC-Agent v0.1 — Formal Grammar of the Signed Agentic Act, Verifiable under FVC

Francesco Riva
article en

Abstract

This record proposes the first technical specification for FVC-Agent v0.1, a record-form layer that defines how the signed acts of a non-human actor (agent, runtime, or verifier) become compatible with FVC verification of the situated act they represent. FVC-Agent does not certify the actor. It gives verifiable form to the signed acts of the non-human actor, so that FVC may qualify or certify them as situated acts. The essential invariant: FVC is the source; FVC-Agent is the form that makes the actor's act certifiable under FVC. FVC-Agent v0.1 addresses a specific layer of Open Issue #9 of FVC v0.1 (interaction with agent governance protocols) without contradicting the foundational invariant of FVC, which governs a situated act, not an agent. It specializes the situated-act grammar to the case in which the act is produced and signed by a non-human actor. The package includes the normative specification (RFC-style), a JSON Schema 2020-12, four valid and four invalid reference records, intended publication metadata, release notes, and operational checklist. FVC-Agent is proposed as a derived/specialized record-form layer of FVC v0.1, previously published on Zenodo, and does not replace it. This publication is intended as a conceptual and technical priority record. It is not a medical device specification, aviation protocol, legal opinion, industrial safety standard, or reference implementation.

Zenodo (CERN European Organization for Nuclear Research)
Istituto De Angeli (Italy) (IT)
Peace, Justice and strong institutions
Openalex Percentile: Top 6%
Safety Systems Engineering in Autonomy
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.