Skip to content
Shape

Missing Shape Update

Coverage checks enforce the review workflow around governed source paths.

module audit


resource AuditEvent : AppendOnly


component AuditStore {
  owns AuditEvent
}


implementation AuditStoreImpl {
  paths {
    "src/audit/**/*.ts"
  }
  conforms_to AuditStore
  on_change require shape_update
}

The changed-file list contains:

src/audit/purge.ts

Run:

Terminal window
shp coverage --changed-files fixtures/changed/audit_purge.txt fixtures/fail/missing_shape_update/audit.shape

Expected diagnostic shape:

error: governed source changed without current Shape update
src/audit/purge.ts

The model may be coherent, but the change set still failed to update shape or attest the architecture claim for a governed source change.