Skip to main content

0036 · Authored assertions are audited

Memory namespace · version 36 · source

What it runs​

  • ALTER TABLE audit_entry DROP CONSTRAINT audit_operation_chk
  • ALTER TABLE audit_entry ADD CONSTRAINT audit_operation_chk CHECK

SQL​

{schema} is replaced with the validated namespace name when the migration is applied.

10 lines
-- Copyright 2026 The Taisce Authors
-- SPDX-License-Identifier: Apache-2.0

-- Independent authored assertions use curated source input and namespaced observation retry
-- receipts. They have their own audit operation so creation cannot be mistaken for a correction.
ALTER TABLE {schema}.audit_entry DROP CONSTRAINT audit_operation_chk;
ALTER TABLE {schema}.audit_entry ADD CONSTRAINT audit_operation_chk CHECK (operation IN (
    'observe','recall','erase','freshness','export','citation.resolve','record.list','record.history','record.retract','record.correct','record.assert',
    'project.create','project.suspend','project.resume','credential.issue','credential.revoke','authenticate','formation.unpark','formation.recover'
));