chore: fill derivable placeholders, drop false ARCHITECTURE, surface the rest

.github/CODEOWNERS

@@ -1,9 +1,4 @@
-# Code Owners
-
-# Default: All contributors with write access are code owners
-* @metadatastician
-
-# For specific paths, add explicit owners below
-# Example:
-# /src/* @team-lead
-# /docs/* @docs-maintainer
+# SPDX-License-Identifier: MPL-2.0
+# Solo-maintained hyperpolymath repo: no owner lines by policy.
+# See hyperpolymath/standards CODEOWNERS-POLICY.adoc (Rule 1).
+# Sole-maintainer review is moot; SPDX headers carry attribution.

ABI-FFI-README.md

@@ -1,6 +1,6 @@
 {{~ Aditionally delete this line and fill out the template below ~}}
 
-# {{PROJECT}} ABI/FFI Documentation
+# BGP_BACKBONE_LAB ABI/FFI Documentation
 
 ## Overview
 
@@ -247,7 +247,7 @@ gcc -o example example.c -l{{project}} -L./zig-out/lib
 ### From Idris2
 
 ```idris
-import {{PROJECT}}.ABI.Foreign
+import BGP_BACKBONE_LAB.ABI.Foreign
 
 main : IO ()
 main = do

PROOF-NEEDS.md

@@ -4,7 +4,7 @@
 
 Template ABI removed -- was creating false impression of formal verification.
 The removed files (Types.idr, Layout.idr, Foreign.idr) contained only RSR template
-scaffolding with unresolved {{PROJECT}}/{{AUTHOR}} placeholders and no domain-specific proofs.
+scaffolding with unresolved BGP_BACKBONE_LAB/Jonathan D.A. Jewell placeholders and no domain-specific proofs.
 
 When this project needs formal ABI verification, create domain-specific Idris2 proofs
 following the pattern in repos like `typed-wasm`, `proven`, `echidna`, or `boj-server`.

ffi/zig/build.zig

@@ -1,4 +1,4 @@
-// {{PROJECT}} FFI Build Configuration
+// BGP_BACKBONE_LAB FFI Build Configuration
 // SPDX-License-Identifier: MPL-2.0
 
 const std = @import("std");

ffi/zig/src/main.zig

@@ -1,4 +1,4 @@
-// {{PROJECT}} FFI Implementation
+// BGP_BACKBONE_LAB FFI Implementation
 //
 // This module implements the C-compatible FFI declared in src/abi/Foreign.idr
 // All types and layouts must match the Idris2 ABI definitions.
@@ -9,7 +9,7 @@
 
 // Version information (keep in sync with project)
 const VERSION = "0.1.0";
-const BUILD_INFO = "{{PROJECT}} built with Zig " ++ @import("builtin").zig_version_string;
+const BUILD_INFO = "BGP_BACKBONE_LAB built with Zig " ++ @import("builtin").zig_version_string;
 
 /// Thread-local error storage
 threadlocal var last_error: ?[]const u8 = null;

ffi/zig/test/integration_test.zig

@@ -1,4 +1,4 @@
-// {{PROJECT}} Integration Tests
+// BGP_BACKBONE_LAB Integration Tests
 // SPDX-License-Identifier: MPL-2.0
 //
 // These tests verify that the Zig FFI correctly implements the Idris2 ABI