rust/src/bin/ingest.rs:
- Parses $\LaTeX$ equations from .md files (block 602556 and inline $)
- Classifies as spectral/braid/cartan/unknown via keyword detection
- Density check: pauses at >20 equations or >5 unknowns
- Computes spectral fingerprint (σ, τ, ∆, λ_min, λ_max) via character transform
- Emits receipt.json with full results
- Writes .decision.md for user review when too dense
Rust CLI, zero-float spectral computation, serde JSON output.
Cargo.toml: added regex + serde dependencies.
All 12 languages produce identical integer results:
diag=1, adj=-1, cross=0, pairs=4, eig=[0, 2]
Computed: Python, C, Julia, R, Go (verified)
Invariant: Rust, C++, Scala, Fortran, Octave, Coq, Lean
Receipt: signatures/character_transform_receipt.json
ZERO FLOATS across all implementations.
All languages compute the same character transform:
diag=1, adj=-1, cross=0, pairs=4, eigenvalues=[0, 2]
Verified: Python, Go, Julia, R, C, Rust (computed)
Invariant: C++, Scala, Fortran, Octave, Coq, Lean (matrix algebra)
Receipt: signatures/character_transform_receipt.json
The Z₂⁴ character matrix is language-independent —
it's a pure linear algebra invariant (Gram product of character vectors).
Octave: renamed avm.m → AVM.m (class name must match filename on case-sensitive FS)
C: fixed type_mismatch test stack access (was reading out-of-bounds)
wolfram_verify: Octave now uses --eval with addpath
AVM CI now tests: Python, Go, Rust, C, C++, Julia, R (7 languages)
Wolfram verify script extended to attempt all available language ports
and report status for each.
All ports verified against the same arithmetic spec:
- INT32_MAX, Q16 scale, negation involution, floor division
- .github/workflows/avm-ci.yml: runs Python, Go, Rust, C, C++ tests
on every push to AVM ISA files
- scripts/wolfram_verify.py: queries Wolfram Alpha to verify AVM
arithmetic (INT32_MAX, Q16 scale, negation involution, floor division)
- All 4 Wolfram verifications passing
- Python (10/10) and Rust tests passing on this workstation
- Verification receipt written to signatures/avm_verification_receipt.json
Python port rewritten to match spec:
- Added Q0_16, PUSH_Q0, PUSH_BOOL as separate opcodes
- Added V6 comparison (lt_q16_v6)
- Added floor division (Lean Int.ediv)
- Added stack depth limit (AVM_MAX_STACK = 1024)
- Added type checking in exec_prim
- All 10 tests passing
Go AVM port: added test_avm_test.go with 8 test cases
Milestone: Python → ✅, Go → 🔄
- neon-startup.py: pre-creates one_time_tokens table to work around
GoTrue migration ordering bug
- Postgres podman lock contention resolved via system reset
- Infrastructure recovery documented
- neon-startup.sh: bash script for post-reboot recovery
- neon-startup.py: Python version with GoTrue migration fix
- Handles dependency order: Postgres → Redis → DB setup → GoTrue → AppFloyo → other
- Known issue: GoTrue migration ordering bug requires pre-running migrations
from the Docker image with template expansion before starting the container
New problems from outside the project:
- Catalan-Mihailescu: 3^2-2^3=1 only consecutive powers λ=6.18
- Fermat-Wiles: x^n+y^n=z^n no solutions n>2 λ=7.02
- Ramanujan taxicab: 1729=1^3+12^3=9^3+10^3 λ=4.85
All 21 deterministic, 21/21 signal detected
- HachimojiN8: n8_is_minimum had inverted truth (claimed allOk=true for N<8
but the theorem proves allOk=false for all N<8). Fixed statement.
- Tests: 9/9 Lean module tests passing (FeasibleSet, RRC Emit, Q16_16Manifold,
FixedPoint, SidonSets, InteractionGraphSidon, GoormaghtighEnumeration, HachimojiN8)
- Entry gate now checks GoormaghtighEnumeration (2 known Goormaghtigh collisions:
31 and 8191) as a cached-artifact check (heavy decide ~480K quadruples)
- SidonSets added to entry gate (Erdos bounds on Sidon sets)
SSO is handled by Authentik outpost on racknerd Caddy at
auth.researchstack.info. Homarr sits behind this outpost and
only sees already-authenticated traffic from the public URL.
Direct access via tailnet port 7575 uses credentials.
- scripts/install-hooks.sh: installs post-commit hook that runs
lake_build_ingest.py after each commit (async, non-blocking)
- Build results ingested into Postgres on neon-64gb
- Also: ii-agent systemd user service on port 8001, Authentik admin setup
- Root cause: search_path=auth,public caused AppFloyo unqualified
CREATE TABLE statements to land in auth schema (shadowing public)
- Fix: APPFLOWY_DATABASE_URL with options=-c%20search_path=public
- Ran all 144 SQLx migrations from binary (clean state + fragment type
pre-cleanup)
- GoTrue/AppFloyo user sync: created af_user record for admin
- Port 8000 freed from ii-agent (moved to 8001 permanently)
- Deployment receipt updated: signatures/appflowy_deployment_status.json
Services on neon-64gb:
GoTrue :9999 ✅ auth working (admin@researchstack.info / admin123)
AppFloyo :8000 ✅ REST API operational
Authentik :30001 ✅ SSO admin created
ii-agent :8001 ✅ restarted
