Primary technical disclosure
Secondary technical
Relay Non-Execution Attestation With Depth and Cycle Bounds How a relay non-execution attestation lets a middle semantic agent disclose a withholding it did not itself write, deriving the withheld action-class enumeration from a failing dispatch-authority predicate and bounding chain depth and cycles while preserving the abstention type.The Anti-Amplification Bound on Propagated Determinations How the Adaptive Query architecture bounds the movement of an admitting agent's scoped integrity vector on a propagated conduct determination at a declared sub-unity fraction of a locally computed reference, so judgments do not amplify across a chain of autonomous agents.The Attestation Revocation Object How a disclosing agent retracts its own non-execution attestation in the Adaptive Query architecture, releasing a carried abstention entry per action class on successor-epoch verification while incrementing no counter and producing no determination about either party.Empty-Intersection Mutual Positive Abstention How a semantic agent handles an empty co-residency intersection between two conflicting signed policy objects on a stateless node: a mutual positive abstention that produces no denial, no determination, and no counter increment under the conversion bar.Curing Counterparty Absence by Introduction Protocol How a persistent semantic agent cures an absent admissible counterparty class through a signed introduction protocol, admitting an introduction record from a second agent by signature verification and policy-object class membership testing.Recorded Counterfactual Coupling Test: Detecting When a Counterparty's Silence Moves an Agent's Own Authorization Gate How a recorded counterfactual over an agent's own authorization gate and authorization budget transitions detects non-response coupling on a counterparty edge, refuses deference and value adoption across a coupled edge, and provides a liveness cure.Self-Execution Intersection Conjunct: Gating Cross-Agent Determination Propagation on the Admitting Agent's Own Per-Partition Execution Record How a self-execution intersection conjunct in a propagation admissibility gate conditions cross-agent admission of a determination propagation record on the admitting agent's own per-partition lineage record, treating an empty intersection as a failing case appended as an attempted propagation.Attack-Conditional Cross-Boundary Suspension of Determination Propagation Between Persistent Semantic Agents How a propagation admissibility gate suspends cross-agent effect of an accepted determination while a containment determination stands in either agent, with per-partition and mean propagation rates denominated alike over an epoch-counted window.Propagation Depth Ceilings for Cross-Agent Determination Records: A Monotonic Anti-Restore-Depth Gate Against Hop-Count Replenishment How a monotonically non-increasing propagation depth ceiling, kept per determination class and per asserting party, stops an admitting agent from restoring a depleted hop count when re-emitting a cross-agent determination propagation record.Attestation Staleness Outcome and the Attestation Window Parameter: Bounding the Age of a Carried Withholding Without Recording a Rejection How an attestation window parameter bounds the age of a non-execution attestation between its attested epoch and the recorded time of admission, producing an attestation staleness outcome of the receiving agent's recorded abstention class rather than a rejection.Evidentiary-Basis Omission for the Receiving Counterparty: Attesting a Withholding Without Naming the Recipient as Its Occasion How a non-execution attestation excludes, from its enumerated evidentiary basis, every lineage entry tested against a conduct evaluation artifact originating from the counterparty receiving that attestation, records the omission, and remains a non-determination.Persistence-Tier Emission Targeting for Non-Execution Attestations: Bounding the Audience of an Agent's Recorded Withholding How persistence-tier emission targeting confines a non-execution attestation to already-encountered counterparties recorded as having dispatched within a declared emission window, and what its two express negative limitations on surveying and enumeration foreclose.Restoration Settlement Reference: Releasing a Carried Abstention Entry on a Matched-Pair Settlement Record of Gate Restoration How a carried abstention entry is released per action class on a verified matched-pair settlement record showing an agent's authorization gate returned to the granting state, recorded as an append-only release record.
Applications · general
Safety-Critical Autonomy: Recording a Refusal to Act as a First-Class Outcome How safety-critical autonomous systems can record a refusal to act as a first-class, non-convertible outcome using a degradation map, a type-level conversion bar that forecloses defaults and sentinel substitution, and signed cross-party non-execution attestations.Clinical Decision Support: When the Correct Output Is No Output How a clinical decision support architecture can record abstention as a typed, first-class outcome, so that a missing lab, an unresolved policy, or an upstream system's declared withholding is not converted into a default, a risk score, or a reliability penalty.When Doing Nothing Is the Answer and Nothing Records It Why agent deployments that silently convert missing inputs into reliability scores lose the reason a counterparty was de-listed, and how the disclosed architecture records non-execution as a typed abstention outcome that resists conversion into a magnitude, threshold operand, or fault.
Applications · specific
NIST AI Risk Management Framework: Where Abstention Fits in Agent-to-Agent Conduct How the NIST AI Risk Management Framework and a filed inter-agent conduct architecture fit together: a degradation map, a type-level conversion bar, and credentialed non-execution attestations that record an agent's withholding as withholding rather than as counterparty failure.ServiceNow AI Agents: When the Correct Outcome Is No Action How ServiceNow AI Agents and the Adaptive Query portfolio approach the same enterprise problem from different directions: what an AI agent emits when a required input is missing, and whether a governed withholding is recorded as a first-class outcome or resolved into some other value.Copilot Studio: Recording a Withholding as a Real Outcome How Microsoft Copilot Studio approaches agent authoring and guardrails, as publicly described, compared with a filed architecture that records a governed withholding as a typed abstention outcome adverse to no party and carries it across the agent boundary by attestation.Bedrock AgentCore: Session Isolation and Governed Abstention How AWS Bedrock AgentCore approaches production agent hosting with session isolation and observability, and how a filed architecture for positive abstention treats a governed withholding as a first-class outcome adverse to no party.Inngest: Durable Waits and Withholding as an Outcome How Inngest's publicly documented durable steps, waits, and retries compare with a filed architecture that records a governed withholding as a typed abstention outcome, propagates it across agents, and forecloses its conversion into a magnitude.
Terminology
abstention outcome an outcome of a recorded class emitted by a determination stage where an input required by that stage is unavailable, incomplete, or unresolvable, and adverse to no party..conversion bar the property by which a consuming determination is foreclosed from converting an abstention outcome into a scalar value, a default value, an operand of a threshold comparison, or a consequence adverse to any party..non-execution attestation a signed governed observation emitted responsive to writing an authorization gate to a withheld state, whose payload comprises at least an enumeration of the withheld action classes and a typed marker of the recorded abstention class..positive abstention a recorded, governed withholding of an action, the semantic agent appending a determination naming the withheld action and the ground relied upon, and withholding dispatch of the action..
