challenger

commit eef7efd70eef1dceee257a69ef74e98fd2aab4b5
parent 61180377ff0d1e654530ffe2fd272468d314529b
Author: Christian Grothoff <grothoff@gnunet.org>
Date:   Thu,  9 Jul 2026 20:49:10 +0200

column should be NOT NULL, invariant already holds, just needs to be in the model

Diffstat:
A
src/challengerdb/challenger-0003.sql
 | 
28
++++++++++++++++++++++++++++
M
src/challengerdb/meson.build
 | 
1
+
M
src/challengerdb/validation_get_pkce.c
 | 
6
++----

3 files changed, 31 insertions(+), 4 deletions(-)
diff --git a/src/challengerdb/challenger-0003.sql b/src/challengerdb/challenger-0003.sql
@@ -0,0 +1,28 @@
+--
+-- This file is part of Challenger
+-- Copyright (C) 2023 Taler Systems SA
+--
+-- Challenger is free software; you can redistribute it and/or modify it under the
+-- terms of the GNU General Public License as published by the Free Software
+-- Foundation; either version 3, or (at your option) any later version.
+--
+-- Challenger is distributed in the hope that it will be useful, but WITHOUT ANY
+-- WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+-- A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+--
+-- You should have received a copy of the GNU General Public License along with
+-- Challenger; see the file COPYING.  If not, see <http://www.gnu.org/licenses/>
+--
+
+-- Everything in one big transaction
+BEGIN;
+
+-- Check patch versioning is in place.
+SELECT _v.register_patch('challenger-0003', NULL, NULL);
+
+SET search_path TO challenger;
+
+ALTER TABLE validations
+  ADD COLUMN code_challenge_method SET NOT NULL;
+
+COMMIT;
diff --git a/src/challengerdb/meson.build b/src/challengerdb/meson.build
@@ -18,6 +18,7 @@ generated_sql = [
     ['procedures.sql', procedures_sql],
     ['challenger-0001.sql', ['challenger-0001.sql']],
     ['challenger-0002.sql', ['challenger-0002.sql']],
+    ['challenger-0003.sql', ['challenger-0003.sql']],
 ]
 
 foreach g : generated_sql
diff --git a/src/challengerdb/validation_get_pkce.c b/src/challengerdb/validation_get_pkce.c
@@ -66,10 +66,8 @@ CHALLENGERDB_validation_get_pkce (
       GNUNET_PQ_result_spec_string ("code_challenge",
                                     code_challenge),
       NULL),
-    GNUNET_PQ_result_spec_allow_null (
-      GNUNET_PQ_result_spec_uint32 ("code_challenge_method",
-                                    code_challenge_method),
-      NULL),
+    GNUNET_PQ_result_spec_uint32 ("code_challenge_method",
+                                  code_challenge_method),
     GNUNET_PQ_result_spec_end
   };