Velaru Standards · Deontic Temporal Logic · v1.0

DRP-1 — Deontic Receipt Profile

Every Velaru receipt carries a deontic binding: Obligation (O), Forbidden (F), or Permitted (P), with STIT agency readings and LTL temporal properties. Silence is not absence — it is an unfulfilled obligation with legal weight.

O / F / P modalities STIT agency LTL properties Verify CHECK 8 POSS-2 companion

Outcome → deontic mapping

POSS outcome	Modality	STIT reading	LTL property
GEN	P — Permitted	Agent saw-to-it-that φ	◇(attempt → executed)
DENY	F — Forbidden	Agent saw-to-it-that ¬φ	□(attempt → ¬executed)
ERROR	O — Obligation failed	Duty breach (technical)	◇error
SILENCE	O — Obligation unfulfilled	Agent did NOT see-to-it-that φ	□¬resolved
HANDLER	O — Obligation frozen	Policy authority committed pre-incident	□(policy frozen before t)

Receipt fields (DRP-1 v1.0)

deontic.deontic_modality · deontic.deontic_detail · deontic.stit_reading · deontic.ltl_property · deontic.poss_outcome · deontic.obligation_hash

obligation_hash binds the deontic claim to domain + policy_hash + poss_outcome. Tampering breaks hash integrity in /verify CHECK 3.

Legal relevance (2025–2026)

UK Employment Tribunal — genAI prompts and outputs are disclosable in unfair dismissal; tribunal compares AI output vs employer decision
Mexico labor reform — silence at preliminary hearing = tacit consent + procedural forfeiture
EPL underwriting — carriers require proof of human oversight and refusal documentation, not internal logs alone

DRP-1 makes silence and refusal typed evidence, not interpretive gaps.

Verification

/verify runs CHECK 8 — DRP-1 DEONTIC BINDING: validates modality ∈ {O,F,P}, poss_outcome consistency, and obligation_hash recomputation.

POSS-2 tier badges upgrade when DRP-1 + completeness + anchor pass together.

Verify with DRP-1 → POSS-2 architecture → Integration guide →