Skip to content

Commit a7946f5

Browse files
hyperpolymathclaude
andcommitted
fix: seam audit — add copyright lines to references.bib files
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 5506079 commit a7946f5

3 files changed

Lines changed: 3 additions & 0 deletions

File tree

lithoglyph/references.bib

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
% SPDX-License-Identifier: PMPL-1.0-or-later
2+
% Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
23
%
34
% References for Lithoglyph/GQL: narrative-first database with provenance,
45
% reversibility. Implementation: Forth + Factor + Zig + Lean 4

typeql-experimental/references.bib

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
% SPDX-License-Identifier: PMPL-1.0-or-later
2+
% Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
23
%
34
% References for TypeQL-Experimental: database query safety via
45
% Idris2 QTT (linear types, session types, effects, modal types)

verisimdb/references.bib

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
% SPDX-License-Identifier: PMPL-1.0-or-later
2+
% Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
23
%
34
% References for VeriSimDB: multi-model database with VQL
45
% (8 query modalities), vector/graph/document storage

0 commit comments

Comments
 (0)