318db01e31
refactor(infra): decommission AWS deployment artifacts
...
Remove EC2/RDS deployment scripts, EC2 watchdog, and RDS substrate
provisioning files. Drop the legacy AWS API MCP server from all IDE
configs. Replace hardcoded AWS proof-server and RDS default endpoints
with localhost/env-only placeholders.
Deleted:
- 4-Infrastructure/infra/deploy_aws_language_proof_server.sh
- 4-Infrastructure/infra/aws_language_proof_server_user_data.sh
- 4-Infrastructure/infra/ec2-configuration.nix
- 4-Infrastructure/infra/ec2_idle_watchdog.py
- 4-Infrastructure/infra/ec2-idle-watchdog.service
- 4-Infrastructure/infra/ec2-idle-watchdog.timer
- 4-Infrastructure/deploy/rds-substrate/*
Changed:
- .mcp.json, .cursor/mcp.json, .roo/mcp.json, .vscode/mcp.json:
remove aws server, make remote-lean-proof URL env-only
- .vscode/settings.json: remoteLeanProof.url -> localhost
- 4-Infrastructure/infra/remote_lean_proof_mcp.py: default URL -> localhost
- ene-rds/ene-session-sync: default RDS_HOST -> localhost
- RECOVERY.md, INFRASTRUCTURE.md, TODO_MAP.md: remove AWS/EC2 refs
Build: cargo check ene-rds OK; python3 -m py_compile OK; JSON valid
2026-06-19 22:42:34 -05:00
Brandon Schneider
51408bb590
Stabilize remote proof endpoint and RDS shims
2026-05-25 20:48:25 -05:00
Brandon Schneider
1e4a7fd6d5
archive: remove dated receipts, experimental probes, and uncompiled prototypes
...
- Move 2026-05-13 dated receipt dirs to archive/
- Move 62 experimental Lean Probe/Metaprobe files to archive/lean-probes/
- Move uncompiled rust-conversions/ prototype to archive/
- Move uncompiled gpu/ prototype to archive/ (including wasmgpu submodule)
- Delete one-shot infra scripts with hardcoded secrets
- Remove stray git bare-repo internals at root (config, HEAD, hooks/, info/, description)
- Remove stale root-level artifacts (re, changes.zip, etc.)
- Update .gitignore for venvs, scratch tests, ai-math-discovery-systems
2026-05-25 16:51:58 -05:00
Brandon Schneider
073a70eb86
WIP: accumulated changes
2026-05-25 16:24:21 -05:00
Brandon Schneider
f66fe21ddd
Document portable setup and review receipts
2026-05-11 23:01:51 -05:00
Brandon Schneider
7de2ef71a0
Track DeepSeek review receipts and CAD setup tasks
2026-05-11 22:41:44 -05:00
Brandon Schneider
74f00736ab
Add workspace load-shedding ignores
2026-05-11 15:53:59 -05:00
Brandon Schneider
eff316ff3f
wip: refined investigation script for Erdős–Gyárfás conjecture
...
Created refined investigation script for Erdős–Gyárfás conjecture
where previous test found no power-of-two cycles (conjecture holds: False).
Refinements:
- Regular graph construction (all vertices same degree)
- Exhaustive DFS cycle detection
- More samples per n (5 instead of 3)
- Extended n values [8, 10, 12, 14, 16]
Goal: Determine if previous negative result was due to random graph construction
or if regular graphs with exhaustive cycle detection find power-of-two cycles.
Script created: investigate_erdos_gyarfas_refined.py
Execution canceled by user - awaiting further instructions.
2026-05-08 14:50:03 -05:00
Brandon Schneider
920f02a024
Add ENE research topic candidates, compression-core, notion-native-tauri, linear-native-tauri
2026-05-04 19:08:20 -05:00
