dependabot[bot]
ada07c2c31
Bump the python-minor-patch group
...
Bumps the python-minor-patch group in /2-Search-Space/search/whoogle-search with 10 updates:
| Package | From | To |
| --- | --- | --- |
| [beautifulsoup4](https://www.crummy.com/software/BeautifulSoup/bs4/ ) | `4.13.5` | `4.14.3` |
| [click](https://github.com/pallets/click ) | `8.3.0` | `8.4.0` |
| [cssutils](https://github.com/jaraco/cssutils ) | `2.11.1` | `2.15.0` |
| [idna](https://github.com/kjd/idna ) | `3.10` | `3.15` |
| [markupsafe](https://github.com/pallets/markupsafe ) | `3.0.2` | `3.0.3` |
| [pyopenssl](https://github.com/pyca/pyopenssl ) | `26.0.0` | `26.2.0` |
| [pyparsing](https://github.com/pyparsing/pyparsing ) | `3.2.5` | `3.3.2` |
| [soupsieve](https://github.com/facelessuser/soupsieve ) | `2.8` | `2.8.3` |
| [wcwidth](https://github.com/jquast/wcwidth ) | `0.2.14` | `0.7.0` |
| [werkzeug](https://github.com/pallets/werkzeug ) | `3.1.6` | `3.1.8` |
Updates `beautifulsoup4` from 4.13.5 to 4.14.3
Updates `click` from 8.3.0 to 8.4.0
- [Release notes](https://github.com/pallets/click/releases )
- [Changelog](https://github.com/pallets/click/blob/main/CHANGES.rst )
- [Commits](https://github.com/pallets/click/compare/8.3.0...8.4.0 )
Updates `cssutils` from 2.11.1 to 2.15.0
- [Release notes](https://github.com/jaraco/cssutils/releases )
- [Changelog](https://github.com/jaraco/cssutils/blob/main/NEWS.rst )
- [Commits](https://github.com/jaraco/cssutils/compare/v2.11.1...v2.15.0 )
Updates `idna` from 3.10 to 3.15
- [Release notes](https://github.com/kjd/idna/releases )
- [Changelog](https://github.com/kjd/idna/blob/master/HISTORY.md )
- [Commits](https://github.com/kjd/idna/compare/v3.10...v3.15 )
Updates `markupsafe` from 3.0.2 to 3.0.3
- [Release notes](https://github.com/pallets/markupsafe/releases )
- [Changelog](https://github.com/pallets/markupsafe/blob/main/CHANGES.rst )
- [Commits](https://github.com/pallets/markupsafe/compare/3.0.2...3.0.3 )
Updates `pyopenssl` from 26.0.0 to 26.2.0
- [Changelog](https://github.com/pyca/pyopenssl/blob/main/CHANGELOG.rst )
- [Commits](https://github.com/pyca/pyopenssl/compare/26.0.0...26.2.0 )
Updates `pyparsing` from 3.2.5 to 3.3.2
- [Release notes](https://github.com/pyparsing/pyparsing/releases )
- [Changelog](https://github.com/pyparsing/pyparsing/blob/master/CHANGES )
- [Commits](https://github.com/pyparsing/pyparsing/compare/3.2.5...3.3.2 )
Updates `soupsieve` from 2.8 to 2.8.3
- [Release notes](https://github.com/facelessuser/soupsieve/releases )
- [Commits](https://github.com/facelessuser/soupsieve/compare/2.8...2.8.3 )
Updates `wcwidth` from 0.2.14 to 0.7.0
- [Release notes](https://github.com/jquast/wcwidth/releases )
- [Commits](https://github.com/jquast/wcwidth/compare/0.2.14...0.7.0 )
Updates `werkzeug` from 3.1.6 to 3.1.8
- [Release notes](https://github.com/pallets/werkzeug/releases )
- [Changelog](https://github.com/pallets/werkzeug/blob/main/CHANGES.rst )
- [Commits](https://github.com/pallets/werkzeug/compare/3.1.6...3.1.8 )
---
updated-dependencies:
- dependency-name: beautifulsoup4
dependency-version: 4.14.3
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: click
dependency-version: 8.4.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: cssutils
dependency-version: 2.15.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: idna
dependency-version: '3.15'
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: markupsafe
dependency-version: 3.0.3
dependency-type: direct:production
update-type: version-update:semver-patch
dependency-group: python-minor-patch
- dependency-name: pyopenssl
dependency-version: 26.2.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: pyparsing
dependency-version: 3.3.2
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: soupsieve
dependency-version: 2.8.3
dependency-type: direct:production
update-type: version-update:semver-patch
dependency-group: python-minor-patch
- dependency-name: wcwidth
dependency-version: 0.7.0
dependency-type: direct:production
update-type: version-update:semver-minor
dependency-group: python-minor-patch
- dependency-name: werkzeug
dependency-version: 3.1.8
dependency-type: direct:production
update-type: version-update:semver-patch
dependency-group: python-minor-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2026-05-19 00:07:08 +00:00
Allaun Silverfox
1d01a62696
Add OR-Tools WASM constraint solver gate documentation
2026-05-18 18:45:52 -05:00
Allaun Silverfox
6ebea9e6fe
Add deep-dive possible constrained-agent approaches addendum
2026-05-18 15:47:29 -05:00
Allaun Silverfox
8c40dcedf7
Add possible constrained-agent approaches document with GLIA
2026-05-18 12:02:08 -05:00
Brandon Schneider
8b305e9125
Fix Porkbun DNS, automate postgres backups, fix rds_probe vulns
...
- 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
2026-05-18 11:52:01 -05:00
Allaun Silverfox
b5e4d0aad8
Add SmallCode constrained agent execution gate documentation
2026-05-18 11:42:44 -05:00
Brandon Schneider
a037c2160e
Add apiProvider service kind, credential gateway, and cupfox routing
...
- TopologyNode.lean: apiProvider service kind with network-only requirement
- server.py: OP_CREDENTIALS handler, RDS-backed wiki/fractal fold layers,
/credentials HTTP endpoint via SurfaceHandler
- cupfox-config.nix: Caddy routes for /api/credentials/ -> EC2 (100.69.1.43)
and /git/ -> local Forgejo
2026-05-18 10:58:35 -05:00
Brandon Schneider
130cb73106
Add EC2 recovery backup: NixOS config, AppFlowy compose/env template, credential server bootstrap, recovery guide
...
- 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
2026-05-18 10:44:23 -05:00
Brandon Schneider
312c0acfcc
feat: add RDS probe tool, credential server, and Notion/Linear ingestion pipeline
...
New infrastructure components:
- rds_probe: Rust database inspection tool with IAM auth
- credential_server.py: REST credential provider server
- credential_provider.py: credential resolution chain
- ene_rds_fractal_fold.py / ene_rds_wiki_layer.py: RDS-backed ENE layers
- import_dumps_to_rds.py / export_linear_from_rds.py: ingestion pipeline
- recover_credential_server.sh: deployment script (sanitized)
Sanitize hardcoded secrets across codebase:
- Strip API keys from recover_credential_server.sh → env var lookups
- Replace hardcoded Wolfram appid (HYJE3R3R63) → env var in 5 scripts
- Strip fallback key values from config/index.js
- Add .claude/ and optimized_basis_v3.bin to .gitignore
Ingested 2,685 records into RDS: 2,421 Linear issues + 264 wiki pages
2026-05-18 00:31:44 -05:00
Brandon Schneider
23bb630348
fix: correct Q16_16 add/sub signed/unsigned bug, add missing lemmas
...
- 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.
2026-05-18 00:31:44 -05:00
Allaun Silverfox
0cb3c65aae
Add citations to Möbius-Apollonius gate
2026-05-18 00:05:53 -05:00
Allaun Silverfox
369412e953
Add Möbius-Apollonius chord partition gate documentation
2026-05-18 00:02:43 -05:00
Allaun Silverfox
138bd7adb4
Add Chromatic Homotopy Height Spectral Gate documentation
2026-05-17 16:22:06 -05:00
Allaun Silverfox
970f17fea6
Add Ahmed Integral scalar witness gate documentation
2026-05-17 16:18:43 -05:00
Allaun Silverfox
64eab849f2
Add adversarial duals 16D anchor pack
2026-05-17 15:47:38 -05:00
Allaun Silverfox
1d10d6834b
Add adversarial duals example config
2026-05-17 15:45:57 -05:00
Allaun Silverfox
016ad65033
Add adversarial duals receipt schema
2026-05-17 15:11:34 -05:00
Allaun Silverfox
18ecc48b7d
Add Anti-FAMM/Anti-BraidStorm adversary runner
2026-05-17 15:10:31 -05:00
Allaun Silverfox
62f0fc1936
Add adversarial duals combined documentation
2026-05-17 14:38:12 -05:00
Allaun Silverfox
a9ae8bbaf0
Add Anti-BraidStorm hostile crossing gate documentation
2026-05-17 14:37:19 -05:00
Allaun Silverfox
bb26305b2e
Add Anti-FAMM shadow adversary documentation
2026-05-17 14:33:24 -05:00
devin-ai-integration[bot]
422157c962
docs(wiki): disambiguate continuation receipt instructions
...
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.
2026-05-17 12:20:57 -05:00
Devin AI
b709417ca5
fix: update AI-Newton submodule to valid commit
...
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>
2026-05-17 12:20:54 -05:00
Brandon Schneider
a76fe98c4c
Merge branch 'distilled'
2026-05-17 12:16:18 -05:00
Allaun Silverfox
aef0a7c588
Merge pull request #13 from allaunthefox/distilled
...
Merge distilled into main: infra config, axiom cleanup, docs
2026-05-17 12:15:39 -05:00
Brandon Schneider
f6a552cd80
integrate infrastructure config, axiom cleanup, and documentation updates
...
- 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
2026-05-17 12:03:19 -05:00
Brandon Schneider
3db34d2eb0
integrate stashed changes: math model data updates + 4 receipt dirs + container config
...
- Update 3-Mathematical-Models JSON datasets (NUVMAP index, mass proofs,
math_centric_samples, math_raw_summary, math_self_discovered +1.5M lines,
structural_discovery, unified_9pattern_samples, unknown_discovery_report)
- Add adjacent_coprime_classification receipt (Lean proof + manifest)
- Add codebase-memory-receipt (Rust crate + manifests)
- Add desi_model_projection receipt (Lean proofs + manifest)
- Add deterministic_build_receipt (Lean build proof)
- Add Containerfile, run-container.sh, cupfox-config.nix
- Restore .github assets and changes.zip
2026-05-17 12:03:19 -05:00
Allaun Silverfox
6e190c3751
Add Feynman path-integral shadow witness note
2026-05-17 10:39:59 -05:00
Allaun Silverfox
f80615e68b
Add Navier-Stokes shadow control gap map note
2026-05-17 10:32:14 -05:00
Allaun Silverfox
acbaaf3d66
Add Navier-Stokes/MHD chiral drag witness note
2026-05-17 10:18:42 -05:00
Allaun Silverfox
9aa527ede0
Add Plasma Chiral Drag Witness example config
2026-05-17 10:14:06 -05:00
Allaun Silverfox
fda5e462a1
Add Plasma Chiral Drag Witness receipt schema
2026-05-17 10:12:58 -05:00
Allaun Silverfox
3f9b8222c5
Add Plasma Chiral Drag Witness runner
2026-05-17 10:11:38 -05:00
Allaun Silverfox
0a83bcdbad
Add Plasma Chiral Drag Witness Gate documentation
2026-05-17 10:10:15 -05:00
Allaun Silverfox
bb2a908cdd
Add Universal Shortcut Center Manifold documentation
2026-05-16 21:10:29 -05:00
Allaun Silverfox
365818f4fb
Add BraidStorm Sidon Crossing 16D anchor pack
2026-05-16 20:57:35 -05:00
Allaun Silverfox
4c9e334808
Add BraidStorm Sidon Crossing example config
2026-05-16 20:56:35 -05:00
Allaun Silverfox
6975c3ea77
Add BraidStorm Sidon Crossing receipt schema
2026-05-16 20:56:00 -05:00
Allaun Silverfox
4b8eb2bf8c
Add BraidStorm Sidon Crossing Anti-Alias runner
2026-05-16 20:54:30 -05:00
Allaun Silverfox
3d79a7100d
Add BraidStorm Sidon Crossing Anti-Alias Gate documentation
2026-05-16 20:47:57 -05:00
Allaun Silverfox
b478fd5040
Add Golden Braid Centering 16D anchor pack
2026-05-16 20:25:22 -05:00
Allaun Silverfox
650c14b6eb
Add Golden Braid Centering example config
2026-05-16 20:24:20 -05:00
Allaun Silverfox
5dbb5977ca
Add Golden Braid Centering receipt schema
2026-05-16 20:20:42 -05:00
Allaun Silverfox
f1ca417cdf
Add Golden Braid Centering Gate runner
2026-05-16 19:46:13 -05:00
Allaun Silverfox
c696c02660
Add Golden Braid Centering Gate documentation
2026-05-16 19:45:02 -05:00
Allaun Silverfox
55086c4152
Add autonomous speedrun 16D anchor pack
2026-05-16 19:16:02 -05:00
Allaun Silverfox
5b39c142f4
Add autonomous speedrun harness example
2026-05-16 19:12:25 -05:00
Allaun Silverfox
1cbaa78c37
Add autonomous speedrun harness receipt schema
2026-05-16 19:10:51 -05:00
Allaun Silverfox
1b11f1822c
Add autonomous speedrun harness gate runner
2026-05-16 19:09:42 -05:00
Allaun Silverfox
03a365fedb
Add autonomous speedrun harness gate documentation
2026-05-16 19:08:34 -05:00
