Allaun Silverfox
8cd71b3532
Add adversarial duals example config
2026-05-17 15:45:57 -05:00
Allaun Silverfox
b480f11c27
Add adversarial duals receipt schema
2026-05-17 15:11:34 -05:00
Allaun Silverfox
13e12a88b4
Add Anti-FAMM/Anti-BraidStorm adversary runner
2026-05-17 15:10:31 -05:00
Allaun Silverfox
1e77f88426
Add adversarial duals combined documentation
2026-05-17 14:38:12 -05:00
Allaun Silverfox
91889062db
Add Anti-BraidStorm hostile crossing gate documentation
2026-05-17 14:37:19 -05:00
Allaun Silverfox
1a64e86156
Add Anti-FAMM shadow adversary documentation
2026-05-17 14:33:24 -05:00
devin-ai-integration[bot]
5341f1c1ba
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
925adf2b90
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
1e8e7e3a32
Merge branch 'distilled'
2026-05-17 12:16:18 -05:00
Allaun Silverfox
557f3ffc04
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
6f0ab8b3f9
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
58d9d20e77
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
041e8c5600
Add Feynman path-integral shadow witness note
2026-05-17 10:39:59 -05:00
Allaun Silverfox
92d1cc2af0
Add Navier-Stokes shadow control gap map note
2026-05-17 10:32:14 -05:00
Allaun Silverfox
15d953e2bb
Add Navier-Stokes/MHD chiral drag witness note
2026-05-17 10:18:42 -05:00
Allaun Silverfox
5ecce9e794
Add Plasma Chiral Drag Witness example config
2026-05-17 10:14:06 -05:00
Allaun Silverfox
d9563015de
Add Plasma Chiral Drag Witness receipt schema
2026-05-17 10:12:58 -05:00
Allaun Silverfox
3a0cc73d1c
Add Plasma Chiral Drag Witness runner
2026-05-17 10:11:38 -05:00
Allaun Silverfox
bc87a95676
Add Plasma Chiral Drag Witness Gate documentation
2026-05-17 10:10:15 -05:00
Allaun Silverfox
11f6997079
Add Universal Shortcut Center Manifold documentation
2026-05-16 21:10:29 -05:00
Allaun Silverfox
a8b989ca30
Add BraidStorm Sidon Crossing 16D anchor pack
2026-05-16 20:57:35 -05:00
Allaun Silverfox
2cfb149dbf
Add BraidStorm Sidon Crossing example config
2026-05-16 20:56:35 -05:00
Allaun Silverfox
fadc7bf07f
Add BraidStorm Sidon Crossing receipt schema
2026-05-16 20:56:00 -05:00
Allaun Silverfox
5e35af795e
Add BraidStorm Sidon Crossing Anti-Alias runner
2026-05-16 20:54:30 -05:00
Allaun Silverfox
1ec5739f2e
Add BraidStorm Sidon Crossing Anti-Alias Gate documentation
2026-05-16 20:47:57 -05:00
Allaun Silverfox
af612b7d00
Add Golden Braid Centering 16D anchor pack
2026-05-16 20:25:22 -05:00
Allaun Silverfox
d322d49914
Add Golden Braid Centering example config
2026-05-16 20:24:20 -05:00
Allaun Silverfox
747f672d26
Add Golden Braid Centering receipt schema
2026-05-16 20:20:42 -05:00
Allaun Silverfox
946b373e5a
Add Golden Braid Centering Gate runner
2026-05-16 19:46:13 -05:00
Allaun Silverfox
cda06d7e95
Add Golden Braid Centering Gate documentation
2026-05-16 19:45:02 -05:00
Allaun Silverfox
cdaf4370bd
Add autonomous speedrun 16D anchor pack
2026-05-16 19:16:02 -05:00
Allaun Silverfox
77eda719ae
Add autonomous speedrun harness example
2026-05-16 19:12:25 -05:00
Allaun Silverfox
3f7958c502
Add autonomous speedrun harness receipt schema
2026-05-16 19:10:51 -05:00
Allaun Silverfox
e5b596e7ba
Add autonomous speedrun harness gate runner
2026-05-16 19:09:42 -05:00
Allaun Silverfox
e4d68e101e
Add autonomous speedrun harness gate documentation
2026-05-16 19:08:34 -05:00
Allaun Silverfox
a52d281b83
Add MarkovJunior 16D shim example config
2026-05-16 18:47:53 -05:00
Allaun Silverfox
63344019f6
Add MarkovJunior 16D shim receipt schema
2026-05-16 18:45:37 -05:00
Allaun Silverfox
36ae1c6348
Add MarkovJunior 16D shim runner
2026-05-16 18:42:25 -05:00
Allaun Silverfox
03a7519175
Add MarkovJunior 16D PIST rewrite shim documentation
2026-05-16 18:40:29 -05:00
Allaun Silverfox
9d3e65c9a7
Add Sidon 16D anchor pack
2026-05-16 17:21:03 -05:00
Allaun Silverfox
c3c8a1d481
Add Sidon FAMM map example config
2026-05-16 17:20:33 -05:00
Allaun Silverfox
a539fdb1d5
Add Sidon FAMM map receipt schema
2026-05-16 17:19:43 -05:00
Allaun Silverfox
3c0fd24c72
Add Sidon FAMM map runner
2026-05-16 17:18:49 -05:00
Allaun Silverfox
118661906b
Add Sidon FAMM map documentation
2026-05-16 17:17:26 -05:00
Allaun Silverfox
bfec63fe15
Add Builder-Judge-Warden Erdos-Szekeres example
2026-05-16 17:06:26 -05:00
Allaun Silverfox
125a768385
Add Builder-Judge-Warden cleanup receipt schema
2026-05-16 17:00:28 -05:00
Allaun Silverfox
207d854a12
Add Builder-Judge-Warden geodesic cleanup runner
2026-05-16 16:59:26 -05:00
Allaun Silverfox
e8ab9b812c
Add Builder-Judge-Warden geodesic cleanup filter documentation
2026-05-16 16:57:56 -05:00
Allaun Silverfox
b21d2326d7
Add 16D logogram chirality anchor pack
2026-05-16 16:36:53 -05:00
Allaun Silverfox
fe6a58e1ec
Add logogram chirality witness example
2026-05-16 16:35:55 -05:00
