Dockerfile:
- FROM alpine:3.19 → FROM nixos/nix:latest
- Replace all apk add commands with nix profile install, matching the
devPkgs set in flake.nix (the authoritative build path)
- System packages, LaTeX (texliveFull), math CLI (gnuplot, maxima,
wxmaxima, octave, sage, typst) all installed via nix profile
- Remove separate typst binary download — nixpkgs#typst used instead
- useradd replaces adduser (nixos/nix base uses shadow-utils not busybox)
flake.nix:
- Add sage (SageMath 10.5) to devPkgs
- Add pkgs.sage/bin to container PATH
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
- Add iproute2 to apk dependencies (needed by tailscaled)
- Download latest Tailscale stable release at build time via pkgs.tailscale.com
and install tailscale + tailscaled to /usr/local/bin
- Write a _ts_start() shell function into /home/researcher/.bashrc that:
- starts tailscaled in userspace-networking mode (no TUN device, no root)
- uses a per-user socket at ~/.local/share/tailscale/tailscaled.sock
- is a no-op if the daemon is already running
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
- libglvnd, xorg.libX11, xorg.libXext, xorg.libXrender, mesa:
enables build123d/OCP/VTK CAD dependencies inside the container
- pkg-config, openssl: enables Rust workspace builds with openssl-sys
- Update PATH and LD_LIBRARY_PATH env vars to include new packages
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
- Add ene-node, ene-rds-chat, ene-rds-ephemeral, ene-rds-wiki,
ene-storage, ene-sync crates to the ene-rds workspace
- Extend ene-rds-core with shared types and cluster messaging
- Add review doc and wiki page for the RDS Rust workspace
- Fix devcontainer: custom /etc/passwd with researcher user,
add gcc/glibc/binutils for VS Code server compatibility,
include util-linux, gnutar, gzip; add LD_LIBRARY_PATH
- Ignore Nix build output (`result`) and Rust artifacts
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Attempted symbolic proof using the case-split pattern from sub_self/
add_zero/zero_add proofs, but omega cannot reason about UInt32.toNat
conversions through the Q16_16.toInt definition. The lemma is
quarantined with a precise blocker.
Build: 3539 jobs, exit 0.
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
Full Observe→Decide→Act→Emit loop for the restic + Garage + rclone stack:
- storage_agent.py: probes Garage health, restic snapshot count and dedup
ratio (Q16_16), backup log staleness, cold-copy drift; triggers corrective
actions (snap, cold-copy, verify, forget, offload, garage restart) based
on Q16_16 threshold comparisons. Emits hash-chained receipts to both a
local JSONL log (~/.cache/storage-agent.jsonl) and
s3://research-stack/agent-receipts/ in Garage.
- storage-agent.service / storage-agent.timer: systemd units installed
system-wide; timer fires every 15 min (RandomizedDelaySec=60). Includes
PATH=/home/allaun/.local/bin:... so aws cli and restic are resolved.
- .git/hooks/post-commit updated: agent runs (--once) in the background
after each restic snap, so post-commit state is always observed.
- 4-Infrastructure/AGENTS.md: full documentation of agent contract,
receipt schema, trigger table, log paths, and usage examples.
Shim boundary: zero logic — pure subprocess calls to existing CLI tools.
No Float, no new dependencies. py_compile and live dry-run verified.
Generated with [Devin](https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
- Porkbun API keys verified working (SUCCESS ping)
- Automated daily AppFlowy postgres backups via systemd timer
- rds_probe: switch from rustls to native-tls (fixes 3 Dependabot alerts)
- ec2-config.nix: add appflowy-backup service and timer
- ec2-configuration.nix: full NixOS config for aws-nixos-node-1
- docker-compose.minimal.yml: AppFlowy Cloud compose with search_path fix
- .env.example: sanitized AppFlowy env template
- nixos-setup-cred-server.sh: credential server bootstrap
- RECOVERY.md: step-by-step rebuild instructions
- .gitignore: secrets dir excluded
- credential_provider.py reverted to repo HEAD (EC2 had hardcoded AWS creds)
- racknerd_root.txt removed from working tree
- FixedPoint.lean: rewrite add/sub with two's-complement overflow
detection on UInt32 (replaces Int.ofNat approach that broke
negative Q16_16 values). Both positive and negative inputs now
correctly saturate at the representable bounds.
- FixedPoint.lean: add add_zero, zero_add, sub_self, sqrt_zero,
sqrt_one theorems with proofs for the corrected add/sub.
- FixedPoint.lean: fix Q0_16 doc (0x7FFF = 1.0, not 0x8000)
and div-by-zero (returns zero, not max).
- TorsionalPIST.lean: Fix16_sub_self, Fix16_mul_zero delegate to
FixedPoint theorems; Fix16_add_zero proven via add_zero.
Split the run-on sentence that read 'Continuation receipts omit
context_files and message_keys records the alternate shape...' into
two distinct clauses so agents following the 'Adding a New Review'
checklist don't misread it as 'omit [context_files and message_keys]'.
Explicitly state that continuation receipts MUST populate message_keys
to record the alternate response shape.
The AI-Newton submodule was pinned to commit dd1b3cd7 which no longer
exists in the upstream repo (Science-Discovery/AI-Newton). This caused
the snapshot build to fail with 'upload-pack: not our ref' when cloning
with --recurse-submodules.
Updated to the current HEAD (c143e865) of the upstream main branch.
Co-Authored-By: Allaun Silverfox <bigdataiscoming+9i37y6j2@protonmail.com>
- cupfox-config.nix: add Open WebUI container with chat.researchstack.info proxy,
gather-metrics service/timer, rclone, and tmpfiles for persistent storage
- Lean semantics: reduce axiom count from 109 to 18 across 10 files;
FixedPoint now 0 axioms, 0 sorries with 12 theorems
- Documentation: update AGENTS.md with current axiom/sorry counts and
FixedPoint status; refine bind signature
- Add topology scripts, CGA/FAMM/GeneticOptimizer/MMRFAMM Lean modules,
devcontainer config, MEMORY.md, and Modelfile
