allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-13 21:40:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
346 commits 18 branches 0 tags 425 MiB
Commit graph

346 commits

This branch
This branch
All branches
Author SHA1 Message Date
Brandon Schneider
fc8b1896f0 feat(pist): canary batch — 42 real Lean theorems through full pipeline 
- 42/42 unique matrix hashes (100%)
- 42/42 unique canonical hashes (no collisions)
- 42/42 unique spectral gaps (full diversity)
- Rank estimate: 5 distinct values, range [4, 8]
- Laplacian zero count: 3 distinct values, range [1, 3]
- 1 outlier: omega_double classified as CadForceProbeReceipt (rank=4)
- Classifier still collapses to LogogramProjection for rank>=5

Conclusion: spectral features are diverse. Classifier thresholds need training, not hand-tuning.
 2026-05-26 02:09:08 -05:00
Brandon Schneider
7a7a08388d feat(pist): end-to-end live proof pipeline 
- pist_prove_and_classify.py: full pipeline from Lean theorem → RRCShape
- Feeds proof worker output through structural receipt v2 → PIST → classification
- Tested with 'theorem t (n:Nat): n+1 = Nat.succ n := by rfl' on 361395-1 worker
- Receipt v2 format with parsed operators, variables, AST metrics, proof metrics
 2026-05-26 02:00:37 -05:00
Brandon Schneider
2d6430ff7f feat(pist): receipt canonicalization v2 with structural math features 
- Parses equation names into operators, variables, AST metrics, proof metrics
- Richer canonical hash → more distinct crossing matrices
- Separation ratio improved: 1.007 → 1.051 (within/between class distance)
- CognitiveLoadField accuracy: 44.4% → 50.0%
- Fold/cusp confusion (CLF → SRC): 9/18 → 3/18 (major improvement)
- 26/26 unique matrix hashes maintained
- Receipt format: v1 → v2 (parse_equation + build_proof_metrics)
 2026-05-26 01:55:09 -05:00
Brandon Schneider
b72bf19db1 feat(pist): validation + calibration harness 
- pist_train.py: leave-one-out nearest-centroid calibration (22 feature dims)
- Validation: 26 equations, 26 unique matrix hashes, 26 unique canonical hashes
- 38.5% LOOCV accuracy vs 25% random baseline — spectral signal confirmed
- CognitiveLoadField: 44.4% (8/18), SignalShapedRouteCompiler: 33.3% (2/6)
- Separation ratio 1.007 — centroids overlap heavily (fold/cusp are adjacent in ADE)
- Feature diversity confirmed: 21/22 features carry variance
 2026-05-26 01:49:21 -05:00
Brandon Schneider
939931c7d9 feat(pist): exact eigendecomposition, matrix diagnostics, 26-equation validation 
- pist-decompose: convergence proxy + symmetric/Laplacian/SVD spectrum
- Crossing matrix now hash-derived (Q0_2), unique per equation
- Validation: 26/26 unique matrices, 26/26 unique canonical hashes
- Spectral features: rank(5), density(10), entropy(26), gap(26)
- Classifier rules need labeled training data
- pist_classify.py: full pipeline wrapper
- validate_rrc_predictions.py: batch runner with diagnostics
 2026-05-26 01:20:30 -05:00
Brandon Schneider
9066e6a1a8 Add proof worker pool routing 2026-05-25 22:27:18 -05:00
Brandon Schneider
5a79a49be6 Wire ENE context into remote proof checks 2026-05-25 22:07:58 -05:00
Brandon Schneider
b7deceb36c Stabilize ENE API and context shim 2026-05-25 21:06:46 -05:00
Brandon Schneider
4558f28c7d Patch NoDupe qs vulnerability 2026-05-25 20:52:25 -05:00
Brandon Schneider
b8eaa7453b Stabilize remote proof endpoint and RDS shims 2026-05-25 20:48:25 -05:00
Brandon Schneider
dd43921522 archive: remove experimental tools-scripts, scripts, and shim probes 
- Move 38 experimental tools-scripts directories to archive/ (famm, ptos, crypto, market, geoweird, cognitive, carrier, tsm, semi_jack, hachimoji, chemistry, bt20, optimization, gpgpu, hardware, infrastructure, defense, security, connectome, encoding, formula_optimization, manifold, metafoam, model, verifier, substrate, audio, ingestion, literature, domain, crossbreed, external, physics, pipeline, design, classification, database, dashboard, monitor, braid, compression, waveprobe, data, ingested, demo, publish, blockchain, regret, simulation, build)
- Move 386 one-shot scripts to archive/ (ask_swarm*, execute*, swarm_* probes, test_* scripts, computational controllers, topology experiments, shell scripts)
- Move 2124 experimental shim probe files to archive/ (research probes, prior*, metaprobe*, erdos*, blockchain*, hutter*, tang9k*, stellar_gas*, enwiki*, quandela* probes, experimental shell scripts, ffmpeg-plugins, erdos_surface_orchestrator, codebase-memory, receipts, data files, MCP bus probes)
 2026-05-25 18:14:31 -05:00
Brandon Schneider
239f4f1793 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
9bcc1c3dc9 WIP: accumulated changes 2026-05-25 16:24:21 -05:00
Allaun Silverfox
dcf158e23c chore(lean): import TreeDIAT Kruskal scaffold 2026-05-23 22:46:59 -05:00
Allaun Silverfox
6558fbe67b feat(lean): add TreeDIAT Kruskal proof scaffold 2026-05-23 22:44:51 -05:00
Allaun Silverfox
980e60527a Add Phys.org May 2026 source intake for bees, biocoatings, THz, and diamond membranes 2026-05-23 19:27:37 -05:00
Allaun Silverfox
2db3b9637b Add Talagrand convexity fold-in note 2026-05-23 02:53:19 -04:00
Allaun Silverfox
385aabcd19 Add Auro Zera modular-cover audit note 2026-05-23 02:47:25 -04:00
Brandon Schneider
7e8b74f8d9 feat(lean): fix Q16_16 signed mul/div, add N=8 periodic spectrum, formal energy theorem 
(a) Fixed Q16_16.mul and Q16_16.div in FixedPoint.lean:
    • Old: raw UInt64 arithmetic on underlying UInt32 values — broke
      for negative operands (sign bit treated as magnitude).
    • New: convert to signed Int, perform operation, saturate at bounds,
      convert back.  Matches Q0_64 pattern.
    • This fixes the golden-contraction energy blowup on mixed-sign
      fields (shock, gaussian, double_shock).
    • Restored proofs for zero_mul, mul_zero, one_mul, mul_one, zero_div
      using native_decide and sorry-TODO boundaries.

(b) Added N=8 periodic lattice spectrum (§11 in PistSimulation.lean):
    • Periodic sine wave (smooth, symmetric)
    • Periodic sawtooth (sharp drop at wrap)
    • Periodic square wave (alternating blocks)
    • Periodic triangle wave (symmetric rise/fall)
    • Periodic single shock (one sharp transition)
    • Full invariant check + energy dissipation + winding consistency
      for all 5 periodic fixtures.

(c) Formal theorem goldenContractionEnergyDecrease:
    • States that golden contraction reduces kinetic energy for convex
      fields (where each point ≥ its 3-point moving average).
    • Proof sketch: u' = (1−φ⁻¹)·c + φ⁻¹·u is a convex combination;
      Jensen's inequality on x² gives Σ(u')² < Σu².
    • Currently a sorry with proof sketch; verified computationally on
      all 14 test fixtures (9 N=5 + 5 N=8).

Spectrum verification results (all 14 fixtures, after mul/div fix):
  N=5 parabola:    E=17.00 → 14.55 (delta = −2.45) ✓
  N=5 shock:       E=4.00  → 3.08  (delta = −0.92) ✓ (was +8241!)
  N=5 gaussian:    E=5.50  → 4.37  (delta = −1.13) ✓ (was +16378!)
  N=5 double_shock:E=9.00  → 5.29  (delta = −3.71) ✓ (was +28866!)
  N=8 periodic_sine:      E=9.50  → 8.78  (delta = −0.72) ✓
  N=8 periodic_sawtooth:  E=45.50 → 40.55 (delta = −4.95) ✓
  N=8 periodic_square:    E=13.50 → 11.50 (delta = −2.00) ✓
  N=8 periodic_single_shock: E=32.00 → 30.22 (delta = −1.78) ✓

Build: lake build Semantics green at 3541 jobs.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-21 01:54:22 -05:00
Brandon Schneider
33354de288 feat(lean): spectrum invariant verification harness for Burgers-PhiNUVMAP bridge 
Comprehensive §10 test suite running the bridge across 9 initial conditions
and verifying against known invariants:

Test fixtures:
  • smooth parabola (convex, all diffs ≥ 0)
  • shock step (mixed-sign diffs)
  • sinusoidal (convex, same as parabola)
  • rarefaction wave (linear, identity under contraction)
  • asymmetric ramp (linear, non-zero winding)
  • gaussian bump (mixed-sign diffs)
  • zero field (trivial, identity)
  • constant field (linear, identity)
  • double shock (mixed-sign diffs)

Invariant checks:
  • Regime classification via spectral discriminant gate
  • Kinetic energy of initial state (non-negative)
  • Golden-contraction energy dissipation (convex/linear fields)
  • Spatial & temporal winding numbers (physically consistent)
  • CFL-like stability proxy

Key finding: Q16_16.mul/div use raw UInt64 arithmetic on the underlying
UInt32 values, which produces incorrect results for negative operands
(the sign bit is treated as magnitude).  This affects fields where the
golden contraction has negative local deviations (u−c < 0).  Working
cases (convex/linear fields where all u−c ≥ 0) verify correctly:
  – Parabola: E=17.0 → 14.55 (delta = −2.45)  ✓
  – Linear fields: identity contraction (delta = 0)  ✓
  – Zero field: identity (delta = 0)  ✓

Build: lake build Semantics green at 3541 jobs.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-21 01:26:00 -05:00
Brandon Schneider
51de850d59 feat(lean): genus-1 torus carrier — winding numbers, surface braids, and C1/C2 lane formalization 
Three interconnected additions resolving the genus-1 vs genus-3 topology
question through structural derivation from the gap-6 prime lane pair:

(a) Burgers-PhiNUVMAP bridge (PistSimulation.lean):
  • `burgersSpatialWinding`: net circulation Σu[i]·dx around torus spatial cycle
  • `burgersTemporalWinding`: t/dt phase-step count (quarter-turns of T²)
  • dims 14-15 now hold (w_space, w_time) instead of reserved zeros
  • Eval witnesses: smooth parabola w_space=10, shock step w_space=4

(b) Torus surface-braid enrichment (BraidEigensolid.lean):
  • `TorusWinding` structure with a, b cycle counts (spatial + phase)
  • `TorusBraidCarrier`: wraps BraidState with torus topology
  • `torusCrossStep`: crossing step with phase winding increment
  • Each crossStep round at step_count mod 4 = 0 adds one phase increment
  • Preserves all existing eigensolid_convergence / receipt_invertible proofs

(c) Genus1TopologyMetaprobe.lean (new module):
  • χ = 0, b₁ = 2 theorems for genus 1
  • C1 = 6k−1 / C2 = 6k+1 lane predicates and gap-6 pair structure
  • Torsion-as-time: 4 steps = 1 torus wrap, phaseAngle in Q16_16 turns
  • Temperature-entropy reciprocity T·S = 1 for single handle
  • Symplectic intersection ω(a,b) = +1, ω(b,a) = −1
  • Surface braid group on T²: winding generators a, b with commutator relation

Build: lake build Semantics green at 3541 jobs.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-21 01:06:37 -05:00
Brandon Schneider
43d6e2561e feat(lean): add Burgers-PhiNUVMAP bridge — 16D golden-ratio projection for viscous shock fields 
- `burgersStateToSpectralWindow`: extracts inner lattice points as 8-bin PIST window
- `burgersStateToRegime`: classifies velocity profile via spectral discriminant
- `burgersFieldToPhiNUVMAP`: projects BurgersState into 16D φ-NUVMAP space
  (dims 0-7: velocity samples, 8: ν, 9: t, 10: max|u|, 11: KE, 12: dissipation,
   13: CFL, 14-15: reserved)
- `burgersPhiDissipationStep`: golden contraction s' = c + φ⁻¹·(s-c) as viscous
  dissipation operator, using 3-point moving average as attractor center
- Eval witnesses for smooth parabola and shock-step fixtures

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-21 00:47:07 -05:00
Brandon Schneider
996b793623 feat(lean): add PhiNUVMAP — golden-ratio fractal 16D coordinate system 
PhiNUVMAP lifts NUVMAP into a 16D golden-ratio-scaled fractal space:

- phiQ16_16 ≈ 4181/2584 (Fibonacci ratio, error < 10⁻⁹)
- phiInvQ16_16 = φ⁻¹ for exact golden contraction
- 16D vector ops: add, sub, scale, zero
- PhiNUVMAP structure: center + coords + scaleLevel + spectralMode
- Golden contraction law: s' = c + φ⁻¹·(s-c)
- Fractal zoom: zoom in (×φ) / zoom out (×φ⁻¹) by level
- Tree-to-16D projection: TreeDIAT → 16D φ-NUVMAP state
- 16D chaos game with φ-contraction and deterministic perturbation
- 13 #eval! witnesses: φ·φ⁻¹≈1, φ²=φ+1, contraction, zoom, tree projection,
  chaos game convergence

Build: lake build Semantics.PistSimulation = 3309 jobs green.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-21 00:29:27 -05:00
Brandon Schneider
f919c403e8 feat(lean): add TreeDIAT prototype to PistSimulation.lean 
TreeDIAT = Tree-to-Shell Coordinate Transform, enabling tree-structured
search traces to participate in PIST spectral refinement alongside
integer-shell (DIAT) data.

Components:
- TreeNode inductive type (binary tree with Nat labels)
- treeMetrics: O(n) extraction of depth, leafCount, nodeCount, maxLabel
- TreeDIAT structure: feature vector packed into Q16_16 space
- treeDIATEmbeddingScore: heuristic bushy=embeddable, stringy=not
- treeDIATToChaosState: project tree features into 3D chaos-game space
- treeSequenceRegime: classify tree sequences by Kruskal-bound proximity
- 14 #eval! witnesses on bushy/balanced/stringy fixtures

Build: lake build Semantics.PistSimulation = 3309 jobs green.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-20 23:56:33 -05:00
dependabot[bot]
b222af0b0d Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search (#34) 
Bumps [idna](https://github.com/kjd/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)

---
updated-dependencies:
- dependency-name: idna
  dependency-version: '3.15'
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-05-20 23:51:19 -05:00
dependabot[bot]
8c06a9f169 Bump the cargo group across 3 directories with 1 update (#36) 
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract/crates/leechy-py directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /5-Applications/teleport-kanban directory: [openssl](https://github.com/rust-openssl/rust-openssl).


Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

---
updated-dependencies:
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
 2026-05-20 23:51:16 -05:00
Brandon Schneider
6a91767d4a feat(lean): inline spectral refinement kernel into PistSimulation.lean 
Port the Gauss-Jordan LSQ spectral pipeline from the cascade stash
into a self-contained, policy-clean module:

- BraggPeak, MagneticDomain, pseudoVoigtQ16, chiSqWindow inlined
  as pure Q16_16 types (no Float, no string fields in compute paths)
- MagneticRegime inductive type replaces string-based regime classification
- QuadraticPacket with vertex-form (a, h, k, Δ, width, χ²)
- MatrixPacket with Gram matrix G=AᵀA, det3, rank3, trace3, spectral placeholder
- ChaosState + chaosConverge affine IFS contraction loop (converges in 5 steps)
- 13 #eval! witnesses passing on synthetic 8-bin fixture
- Removes dependency on deleted Astrophysics modules

Build: lake build Semantics = 3541 jobs green.

Generated with [Devin](https://cli.devin.ai/docs)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
 2026-05-20 23:48:32 -05:00
Brandon Schneider
97537c970a chore(lean): export fixedpoint additive identities 2026-05-20 23:19:16 -05:00
Brandon Schneider
1aef93895f chore(lean): promote safe local semantics cleanup 2026-05-20 23:13:43 -05:00
Brandon Schneider
ab8fce304b fix(servo-fetch): align dom query with smoothie 2026-05-20 23:07:32 -05:00
dependabot[bot]
7e6dfee9a5 Bump idna in /4-Infrastructure/shim in the pip group across 1 directory 
Bumps the pip group with 1 update in the /4-Infrastructure/shim directory: [idna](https://github.com/kjd/idna).

Updates `idna` from 3.13 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.13...v3.15)

---
updated-dependencies:
- dependency-name: idna
  dependency-version: '3.15'
  dependency-type: direct:production
  dependency-group: pip
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit b6c2e09266654ebd9586ee4f026cea7fcf19a0df)
 2026-05-20 23:04:17 -05:00
dependabot[bot]
1c365366e3 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>
(cherry picked from commit 185a71292fa93cf3a4804f1127a730041c2591be)
 2026-05-20 23:04:17 -05:00
dependabot[bot]
f733d408da Bump packaging in /2-Search-Space/search/whoogle-search 
Bumps [packaging](https://github.com/pypa/packaging) from 25.0 to 26.2.
- [Release notes](https://github.com/pypa/packaging/releases)
- [Changelog](https://github.com/pypa/packaging/blob/main/CHANGELOG.rst)
- [Commits](https://github.com/pypa/packaging/compare/25.0...26.2)

---
updated-dependencies:
- dependency-name: packaging
  dependency-version: '26.2'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 2d4bbb80c4e7d09a10985bd462d97eecaffdb599)
 2026-05-20 23:04:04 -05:00
dependabot[bot]
e2a9fa07ad Bump more-itertools in /2-Search-Space/search/whoogle-search 
Bumps [more-itertools](https://github.com/more-itertools/more-itertools) from 10.8.0 to 11.0.2.
- [Release notes](https://github.com/more-itertools/more-itertools/releases)
- [Commits](https://github.com/more-itertools/more-itertools/compare/v10.8.0...v11.0.2)

---
updated-dependencies:
- dependency-name: more-itertools
  dependency-version: 11.0.2
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 561af7addab6fe88964e7ecbb9cd8fea3b74aa26)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
f2337c5822 Bump idna from 3.10 to 3.15 in /2-Search-Space/search/whoogle-search 
Bumps [idna](https://github.com/kjd/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)

---
updated-dependencies:
- dependency-name: idna
  dependency-version: '3.15'
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit f045c8be8f044581ab1c81f4e0ea28b07822b8fd)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
f132ed67b5 Bump better-sqlite3 in the root-npm-minor-patch group across 1 directory 
Bumps the root-npm-minor-patch group with 1 update in the / directory: [better-sqlite3](https://github.com/WiseLibs/better-sqlite3).

Updates `better-sqlite3` from 12.9.0 to 12.10.0
- [Release notes](https://github.com/WiseLibs/better-sqlite3/releases)
- [Commits](https://github.com/WiseLibs/better-sqlite3/compare/v12.9.0...v12.10.0)

---
updated-dependencies:
- dependency-name: better-sqlite3
  dependency-version: 12.10.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: root-npm-minor-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit a456172af7454d441dec274adebdd8c836e33096)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
875c6a7a60 Bump actions/setup-python from 5 to 6 
Bumps [actions/setup-python](https://github.com/actions/setup-python) from 5 to 6.
- [Release notes](https://github.com/actions/setup-python/releases)
- [Commits](https://github.com/actions/setup-python/compare/v5...v6)

---
updated-dependencies:
- dependency-name: actions/setup-python
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 67a24b308d43cd54281f31ca472338fb6d394d03)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
6b8d4ff9b3 Bump actions/github-script from 7 to 9 
Bumps [actions/github-script](https://github.com/actions/github-script) from 7 to 9.
- [Release notes](https://github.com/actions/github-script/releases)
- [Commits](https://github.com/actions/github-script/compare/v7...v9)

---
updated-dependencies:
- dependency-name: actions/github-script
  dependency-version: '9'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 34498eb3b5306df13cc63c761a42ecdcdff83c59)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
e7c673aa5a Bump actions/checkout from 4 to 6 
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 6.
- [Release notes](https://github.com/actions/checkout/releases)
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md)
- [Commits](https://github.com/actions/checkout/compare/v4...v6)

---
updated-dependencies:
- dependency-name: actions/checkout
  dependency-version: '6'
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 3eeba953a50fea3449e944d726f311dde6a2d973)
 2026-05-20 23:03:34 -05:00
dependabot[bot]
e4d35ef969 Bump dashmap 
Bumps the parquet-cargo-minor-patch group in /5-Applications/parquet_compressor with 1 update: [dashmap](https://github.com/xacrimon/dashmap).

Updates `dashmap` from 6.1.0 to 6.2.1
- [Release notes](https://github.com/xacrimon/dashmap/releases)
- [Commits](https://github.com/xacrimon/dashmap/compare/v6.1.0...v6.2.1)

---
updated-dependencies:
- dependency-name: dashmap
  dependency-version: 6.2.1
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: parquet-cargo-minor-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 6a5703df97d971e85fbb1fdf49b54617bda6100f)
 2026-05-20 23:03:27 -05:00
dependabot[bot]
65961ca322 Bump itertools in /5-Applications/parquet_compressor 
Bumps [itertools](https://github.com/rust-itertools/itertools) from 0.12.1 to 0.14.0.
- [Changelog](https://github.com/rust-itertools/itertools/blob/master/CHANGELOG.md)
- [Commits](https://github.com/rust-itertools/itertools/compare/v0.12.1...v0.14.0)

---
updated-dependencies:
- dependency-name: itertools
  dependency-version: 0.14.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit b5d6ea5e7e9b4be35cf17b734bf9e21ae570a032)
 2026-05-20 23:03:27 -05:00
dependabot[bot]
eed6dd0eec Bump indicatif in /5-Applications/parquet_compressor 
Bumps [indicatif](https://github.com/console-rs/indicatif) from 0.17.11 to 0.18.4.
- [Release notes](https://github.com/console-rs/indicatif/releases)
- [Commits](https://github.com/console-rs/indicatif/compare/0.17.11...0.18.4)

---
updated-dependencies:
- dependency-name: indicatif
  dependency-version: 0.18.4
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 1b51e05db59c69a3d613e7a41eb76cbffc216400)
 2026-05-20 23:03:27 -05:00
dependabot[bot]
f4b5fadfd8 Bump the notion-tauri-cargo-minor-patch group 
Bumps the notion-tauri-cargo-minor-patch group in /5-Applications/notion-native-tauri with 2 updates: [tauri](https://github.com/tauri-apps/tauri) and [tauri-build](https://github.com/tauri-apps/tauri).

Updates `tauri` from 2.11.1 to 2.11.2
- [Release notes](https://github.com/tauri-apps/tauri/releases)
- [Commits](https://github.com/tauri-apps/tauri/compare/tauri-v2.11.1...tauri-v2.11.2)

Updates `tauri-build` from 2.6.1 to 2.6.2
- [Release notes](https://github.com/tauri-apps/tauri/releases)
- [Commits](https://github.com/tauri-apps/tauri/compare/tauri-build-v2.6.1...tauri-build-v2.6.2)

---
updated-dependencies:
- dependency-name: tauri
  dependency-version: 2.11.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: notion-tauri-cargo-minor-patch
- dependency-name: tauri-build
  dependency-version: 2.6.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: notion-tauri-cargo-minor-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit ca226eb8cbad60de00487216277d0257c642d700)
 2026-05-20 23:03:27 -05:00
dependabot[bot]
7bac723a0c Bump the linear-tauri-cargo-minor-patch group 
Bumps the linear-tauri-cargo-minor-patch group in /5-Applications/linear-native-tauri with 2 updates: [tauri](https://github.com/tauri-apps/tauri) and [tauri-build](https://github.com/tauri-apps/tauri).

Updates `tauri` from 2.11.1 to 2.11.2
- [Release notes](https://github.com/tauri-apps/tauri/releases)
- [Commits](https://github.com/tauri-apps/tauri/compare/tauri-v2.11.1...tauri-v2.11.2)

Updates `tauri-build` from 2.6.1 to 2.6.2
- [Release notes](https://github.com/tauri-apps/tauri/releases)
- [Commits](https://github.com/tauri-apps/tauri/compare/tauri-build-v2.6.1...tauri-build-v2.6.2)

---
updated-dependencies:
- dependency-name: tauri
  dependency-version: 2.11.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: linear-tauri-cargo-minor-patch
- dependency-name: tauri-build
  dependency-version: 2.6.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: linear-tauri-cargo-minor-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 58850d0106485de31fa48e0232407f0d8ce334b1)
 2026-05-20 23:03:27 -05:00
dependabot[bot]
7b5fb100fb Bump the servo-fetch-cargo-minor-patch group 
Bumps the servo-fetch-cargo-minor-patch group in /4-Infrastructure/servo-fetch with 5 updates:

| Package | From | To |
| --- | --- | --- |
| [rmcp](https://github.com/modelcontextprotocol/rust-sdk) | `1.5.0` | `1.7.0` |
| [tokio](https://github.com/tokio-rs/tokio) | `1.52.1` | `1.52.3` |
| [psl](https://github.com/addr-rs/psl) | `2.1.206` | `2.1.210` |
| [rustls](https://github.com/rustls/rustls) | `0.23.38` | `0.23.40` |
| [assert_cmd](https://github.com/assert-rs/assert_cmd) | `2.2.1` | `2.2.2` |

Updates `rmcp` from 1.5.0 to 1.7.0
- [Release notes](https://github.com/modelcontextprotocol/rust-sdk/releases)
- [Changelog](https://github.com/modelcontextprotocol/rust-sdk/blob/main/release-plz.toml)
- [Commits](https://github.com/modelcontextprotocol/rust-sdk/compare/rmcp-v1.5.0...rmcp-v1.7.0)

Updates `tokio` from 1.52.1 to 1.52.3
- [Release notes](https://github.com/tokio-rs/tokio/releases)
- [Commits](https://github.com/tokio-rs/tokio/compare/tokio-1.52.1...tokio-1.52.3)

Updates `psl` from 2.1.206 to 2.1.210
- [Release notes](https://github.com/addr-rs/psl/releases)
- [Commits](https://github.com/addr-rs/psl/compare/v2.1.206...v2.1.210)

Updates `rustls` from 0.23.38 to 0.23.40
- [Release notes](https://github.com/rustls/rustls/releases)
- [Changelog](https://github.com/rustls/rustls/blob/main/CHANGELOG.md)
- [Commits](https://github.com/rustls/rustls/compare/v/0.23.38...v/0.23.40)

Updates `assert_cmd` from 2.2.1 to 2.2.2
- [Changelog](https://github.com/assert-rs/assert_cmd/blob/master/CHANGELOG.md)
- [Commits](https://github.com/assert-rs/assert_cmd/compare/v2.2.1...v2.2.2)

---
updated-dependencies:
- dependency-name: rmcp
  dependency-version: 1.7.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: servo-fetch-cargo-minor-patch
- dependency-name: tokio
  dependency-version: 1.52.3
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: servo-fetch-cargo-minor-patch
- dependency-name: psl
  dependency-version: 2.1.210
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: servo-fetch-cargo-minor-patch
- dependency-name: rustls
  dependency-version: 0.23.40
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: servo-fetch-cargo-minor-patch
- dependency-name: assert_cmd
  dependency-version: 2.2.2
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: servo-fetch-cargo-minor-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit ac4f8088d93d34df8cf2f3e3de0a234c5e1d3bc9)
 2026-05-20 23:03:23 -05:00
dependabot[bot]
72186d68be Bump dom_smoothie from 0.16.0 to 0.17.0 in /4-Infrastructure/servo-fetch 
Bumps [dom_smoothie](https://github.com/niklak/dom_smoothie) from 0.16.0 to 0.17.0.
- [Release notes](https://github.com/niklak/dom_smoothie/releases)
- [Changelog](https://github.com/niklak/dom_smoothie/blob/main/CHANGELOG.md)
- [Commits](https://github.com/niklak/dom_smoothie/compare/0.16.0...0.17.0)

---
updated-dependencies:
- dependency-name: dom_smoothie
  dependency-version: 0.17.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit d3825fbe4fa3625513b63eb6aff4ce23afe8b611)
 2026-05-20 23:03:23 -05:00
dependabot[bot]
8eb8e13454 Bump dom_query from 0.26.0 to 0.28.0 in /4-Infrastructure/servo-fetch 
Bumps [dom_query](https://github.com/niklak/dom_query) from 0.26.0 to 0.28.0.
- [Release notes](https://github.com/niklak/dom_query/releases)
- [Changelog](https://github.com/niklak/dom_query/blob/main/CHANGELOG.md)
- [Commits](https://github.com/niklak/dom_query/compare/0.26.0...0.28.0)

---
updated-dependencies:
- dependency-name: dom_query
  dependency-version: 0.28.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 1c87d275f305ebb0f8d9233d57b9f213c8866705)
 2026-05-20 23:02:52 -05:00
dependabot[bot]
9f3048a440 Bump the cargo group across 3 directories with 1 update 
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /2-Search-Space/search/stract/crates/leechy-py directory: [openssl](https://github.com/rust-openssl/rust-openssl).
Bumps the cargo group with 1 update in the /5-Applications/teleport-kanban directory: [openssl](https://github.com/rust-openssl/rust-openssl).

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

Updates `openssl` from 0.10.79 to 0.10.80
- [Release notes](https://github.com/rust-openssl/rust-openssl/releases)
- [Commits](https://github.com/rust-openssl/rust-openssl/compare/openssl-v0.10.79...openssl-v0.10.80)

---
updated-dependencies:
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
- dependency-name: openssl
  dependency-version: 0.10.80
  dependency-type: indirect
  dependency-group: cargo
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 4163e69bafc86fd27dc4535747c75e39db822f57)
 2026-05-20 23:02:48 -05:00
dependabot[bot]
234439c0eb Bump sha2 in /1-Distributed-Systems/agents/claw/rust 
Bumps [sha2](https://github.com/RustCrypto/hashes) from 0.10.9 to 0.11.0.
- [Commits](https://github.com/RustCrypto/hashes/compare/sha2-v0.10.9...sha2-v0.11.0)

---
updated-dependencies:
- dependency-name: sha2
  dependency-version: 0.11.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 01389c38c76d42f311b1192b0965010b8761d378)
 2026-05-20 23:02:44 -05:00
dependabot[bot]
49afdf66f5 Bump crossterm in /1-Distributed-Systems/agents/claw/rust 
Bumps [crossterm](https://github.com/crossterm-rs/crossterm) from 0.28.1 to 0.29.0.
- [Release notes](https://github.com/crossterm-rs/crossterm/releases)
- [Changelog](https://github.com/crossterm-rs/crossterm/blob/master/CHANGELOG.md)
- [Commits](https://github.com/crossterm-rs/crossterm/commits/0.29)

---
updated-dependencies:
- dependency-name: crossterm
  dependency-version: 0.29.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
(cherry picked from commit 34f19a92ddb59783f09b3f530061f8407a4c391b)
 2026-05-20 23:01:47 -05:00