Status: experimental theory contract.
The primitive accepts generic structured input and emits generic structured output. It must not require a Taslos Tasks database, worker, scheduler, package, runtime path, or private service.
protocol_version: explicit version.operation_id: stable idempotency identity.policy_revision: the exact policy/configuration revision.subject: vendor-neutral request data required by this concept.evidence: observable artifacts with provenance.
status: accepted, rejected, deferred, or indeterminate.reason: durable structured reason.changed_entities: bounded identities, never ambient state.evidence: provenance-linked receipts.uncertainty: explicit unknowns.
- Every mutation names bounded semantic write regions.
- Hash or structural preconditions reject stale edits before mutation.
- A transaction either applies all operations or restores the prior state.
- Receipts identify changed regions without retransmitting whole files.
Missing required authority or evidence fails closed. Unsupported optional data remains explicit and does not silently widen behavior. Implementations must document idempotency, crash consistency, and raw-evidence escalation.
Breaking semantic changes require a new protocol version. New optional fields require evidence that they affect a real decision.