feat(satellite): scaffold vex-verbosity-compressor — first satellite from satellite-template (D6)

Justfile

@@ -30,8 +30,12 @@ build-lazy-eliminator:
 build-efficacy:
     cd vexometer-efficacy && cargo build --release
 
+# Build the verbosity compressor (Rust satellite)
+build-verbosity-compressor:
+    cd verbosity-compressor && just build
+
 # Build all components
-build-all: build-vexometer build-vext build-lazy-eliminator build-efficacy
+build-all: build-vexometer build-vext build-lazy-eliminator build-efficacy build-verbosity-compressor
 
 # Run vexometer tests
 test-vexometer:
@@ -53,13 +57,17 @@ test-lazy-eliminator:
 test-efficacy:
     cd vexometer-efficacy && (cargo test --offline || cargo test)
 
+# Run verbosity-compressor tests
+test-verbosity-compressor:
+    cd verbosity-compressor && just test
+
 # vext-email-gateway status check
 test-vext-email-gateway:
     @echo "vext-email-gateway is currently prototype-stage and not part of the required test-all gate."
     @echo "See vext-email-gateway/README.adoc and ROADMAP.adoc for current wiring status."
 
 # Run all tests
-test-all: test-vexometer test-vext test-lazy-eliminator test-efficacy
+test-all: test-vexometer test-vext test-lazy-eliminator test-efficacy test-verbosity-compressor
 
 # Evaluate a satellite run and emit a vexometer-efficacy-v2 report
 efficacy-report *ARGS:
@@ -84,18 +92,21 @@ bench-all: bench-vexometer
 clean:
     cd vext && cargo clean
     cd vexometer-efficacy && cargo clean
+    cd verbosity-compressor && cargo clean
     cd vexometer && just clean || true
     cd lazy-eliminator && just clean || true
 
 # Check formatting across Rust components
 fmt-check:
     cd vext && cargo fmt -- --check
     cd vexometer-efficacy && cargo fmt -- --check
+    cd verbosity-compressor && cargo fmt -- --check
 
 # Run clippy on Rust components
 lint:
     cd vext && cargo clippy -- -D warnings
     cd vexometer-efficacy && cargo clippy --all-targets -- -D warnings
+    cd verbosity-compressor && cargo clippy --all-targets -- -D warnings
 
 # Run contractiles Mustfile invariants across all components
 must-all:

README.adoc

@@ -44,6 +44,9 @@ NOTE: This repository was previously named `vex-tools`. The canonical name is no
 | `lazy-eliminator/`
 | **Lazy Eliminator** -- Completeness enforcement for LLM-generated code. Detects and eliminates lazy patterns.
 
+| `verbosity-compressor/`
+| **Verbosity Compressor (vex-verbosity-compressor)** -- Information density optimisation for LLM output. Semantic redundancy detection, filler-phrase stripping. First satellite scaffolded from `satellite-template`.
+
 | `vext/`
 | **Vext** -- Verifiable, Extensible Communications Protocol with cryptographic proof of algorithmic neutrality.
 

lazy-eliminator/.trust/trust-manifest.sha256

@@ -1,10 +1,11 @@
 # trust-manifest v1
 # component=lazy-eliminator
-# generated_at=2026-09-01T23:29:45Z
+# generated_at=2026-09-02T01:16:19Z
 339d25795fa89149354d4101c533492f0e5bbe39fc953ac02be17a225f2fd270  README.adoc
 6772e621da4e50257728886f568bd652b8e9c58a02aec325112e57def73da46a  ROADMAP.adoc
 504199ed09a9acbd183fe9c37a8330ec254f33f5612e0f36f2f5e7be170a57ff  SECURITY.adoc
 530ba7ca220c8eaee794a163672469e9733dd8cb97c5bd6311d5ca15a3685e99  contractiles/must/Mustfile
 7160652fb94fa8d7eab9e4f4824f05c09d94ab9c53976929537d8811d339a3a0  contractiles/trust/Trustfile.a2ml
+498487f3a2ccd1a4cf23404ddb0811c8407bf9684acc71ebb7d2722a46a73acc  contractiles/dust/Dustfile
 50540c1ae91c38110cdf41195578865cdef278838be38f11d2fa108ecc1d60e7  RSR_OUTLINE.adoc
 2eb1dac8104669453d9cd1b2df7faf2ba20f6ca184300b4a936d560622471621  docs/CITATIONS.adoc

satellite-template/.trust/trust-manifest.sha256

@@ -1,10 +1,11 @@
 # trust-manifest v1
 # component=satellite-template
-# generated_at=2026-09-01T23:29:45Z
+# generated_at=2026-09-02T01:16:19Z
 e90437cd512f3ac6824b42e733394bc69dfa4bcab046d779842bc876e11f870e  README.adoc
 5a62f5611eecfafa43d931b4d7e0917fa1b0f0275fdfd74c61415ab635e72805  ROADMAP.adoc
 38ccfdc1a04c12616acfb030522358383702184480f52507a5f72fccccbe76b9  SECURITY.adoc
 4f54a64f50a9dddbf221f2cdbd813de81dfe7fdc8f2294e41d97289519779b0e  contractiles/must/Mustfile
 22c57f0f73d846a48cf15c6914bbdf468380fe8a37b26985932d194da34a3bf7  contractiles/trust/Trustfile.a2ml
+498487f3a2ccd1a4cf23404ddb0811c8407bf9684acc71ebb7d2722a46a73acc  contractiles/dust/Dustfile
 42af19ba9672876f46f7344251ce8576212e072b18390fdd3aa676a1ba68dc42  RSR_OUTLINE.adoc
 6632bebb331345982388dad27ee07542e9a7ebe4d60cb4792f4e30a041928049  docs/CITATIONS.adoc

scripts/run-must-gates.sh

@@ -10,6 +10,7 @@ components=(
   "vexometer-satellites"
   "lazy-eliminator"
   "vexometer-efficacy"
+  "verbosity-compressor"
   "satellite-template"
 )
 

scripts/trust/generate-manifest.sh

@@ -13,6 +13,7 @@ else
     "vexometer-satellites"
     "lazy-eliminator"
     "vexometer-efficacy"
+    "verbosity-compressor"
     "satellite-template"
   )
 fi
@@ -35,6 +36,9 @@ for component in "${components[@]}"; do
     "contractiles/trust/Trustfile.a2ml"
   )
 
+  if [[ -f "$component_dir/contractiles/dust/Dustfile" ]]; then
+    inputs+=("contractiles/dust/Dustfile")
+  fi
   if [[ -f "$component_dir/RSR_OUTLINE.adoc" ]]; then
     inputs+=("RSR_OUTLINE.adoc")
   fi

scripts/trust/rotate-trustfile.sh

@@ -12,6 +12,8 @@ else
     "vext-email-gateway"
     "vexometer-satellites"
     "lazy-eliminator"
+    "vexometer-efficacy"
+    "verbosity-compressor"
     "satellite-template"
   )
 fi

scripts/trust/sign-manifest.sh

@@ -12,6 +12,8 @@ else
     "vext-email-gateway"
     "vexometer-satellites"
     "lazy-eliminator"
+    "vexometer-efficacy"
+    "verbosity-compressor"
     "satellite-template"
   )
 fi

scripts/trust/verify-manifest.sh

@@ -13,6 +13,7 @@ else
     "vexometer-satellites"
     "lazy-eliminator"
     "vexometer-efficacy"
+    "verbosity-compressor"
     "satellite-template"
   )
 fi

verbosity-compressor/.gitattributes

@@ -0,0 +1,42 @@
+# SPDX-License-Identifier: MPL-2.0
+# RSR-compliant .gitattributes
+
+* text=auto eol=lf
+
+# Source
+*.rs    text eol=lf diff=rust
+*.ads   text eol=lf diff=ada
+*.adb   text eol=lf diff=ada
+*.ex    text eol=lf diff=elixir
+*.exs   text eol=lf diff=elixir
+*.hs    text eol=lf
+*.scm   text eol=lf
+
+# Docs
+*.md    text eol=lf diff=markdown
+*.adoc  text eol=lf
+*.txt   text eol=lf
+
+# Data
+*.json  text eol=lf
+*.yaml  text eol=lf
+*.yml   text eol=lf
+*.toml  text eol=lf
+
+# Config
+.gitignore     text eol=lf
+.gitattributes text eol=lf
+justfile       text eol=lf
+Makefile       text eol=lf
+Containerfile  text eol=lf
+
+# Scripts
+*.sh   text eol=lf
+
+# Binary
+*.png   binary
+*.jpg   binary
+*.pdf   binary
+
+# Lock files
+Cargo.lock  text eol=lf -diff

verbosity-compressor/.gitignore

@@ -0,0 +1,60 @@
+# SPDX-License-Identifier: MPL-2.0
+# RSR-compliant .gitignore
+
+# OS & Editor
+.DS_Store
+Thumbs.db
+*.swp
+*.swo
+*~
+.idea/
+.vscode/
+
+# Build
+/target/
+/_build/
+/build/
+/dist/
+/out/
+
+# Dependencies
+/node_modules/
+/vendor/
+/deps/
+
+# Rust
+# Cargo.lock  # Keep for binaries
+
+# Secrets
+.env
+.env.*
+*.pem
+*.key
+secrets/
+
+# Test/Coverage
+/coverage/
+htmlcov/
+*.profraw
+*.profdata
+
+# Logs
+*.log
+/logs/
+
+# Temp
+/tmp/
+*.tmp
+*.bak
+
+# Vexometer traces (keep examples)
+/vexometer/*.json
+!/vexometer/example-*.json
+target/
+node_modules/
+_build/
+deps/
+.elixir_ls/
+.cache/
+build/
+dist/

verbosity-compressor/.trust/trust-manifest.sha256

@@ -0,0 +1,11 @@
+# trust-manifest v1
+# component=verbosity-compressor
+# generated_at=2026-09-02T01:16:19Z
+9f814ae5bfd89e18061e9ba9a0d115ad737b4722b6a8887ce16483302037d80c  README.adoc
+5780947c671ee2f9fe31823db3121c9784b39cba07a49b1c7baa85d7ece40968  ROADMAP.adoc
+5508821ebded727285f0dd2e1d52429ad149b47980fb6e0ed1639e695d12b560  SECURITY.adoc
+29561047e5013086f848b6dbe0b0914add5b671cf953c3bc4752ba2ca139b953  contractiles/must/Mustfile
+d95f498476e1aeee29bcb46f255494e34905d658e83c520513ec017adf5dc19e  contractiles/trust/Trustfile.a2ml
+7a527df3c452f1c9aade2f27171b06f64506ba1d095b54e021ef2cb47f2be958  contractiles/dust/Dustfile
+c69157b72faf4ac808543a7f95a760e348692d0e283581a7171e6c757b2be439  RSR_OUTLINE.adoc
+8ef7acd17c65fd03a79d0c0a9730b2362f5310c1ef66c6a52141686805c24c15  docs/CITATIONS.adoc

verbosity-compressor/CODE_OF_CONDUCT.adoc

@@ -0,0 +1,31 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+== Contributor Covenant Code of Conduct
+
+=== Our Pledge
+
+We pledge to make participation a harassment-free experience for
+everyone.
+
+=== Our Standards
+
+*Positive behavior:*
+
+* Using welcoming language
+* Being respectful of differing viewpoints
+* Accepting constructive criticism
+* Focusing on what is best for the community
+
+*Unacceptable behavior:*
+
+* Harassment, trolling, or personal attacks
+* Publishing private information without permission
+
+=== Enforcement
+
+Report issues to the maintainers. All complaints will be reviewed.
+
+=== Attribution
+
+Adapted from https://www.contributor-covenant.org/[Contributor Covenant]
+v2.1.

verbosity-compressor/CONTRIBUTING.adoc

@@ -0,0 +1,64 @@
+// SPDX-License-Identifier: CC-BY-SA-4.0
+// Copyright (c) Jonathan D.A. Jewell <j.d.a.jewell@open.ac.uk>
+== Contributing to vex-verbosity-compressor
+
+This component lives inside the `vexometer` monorepo. Contributions land
+through pull requests against `main` of
+https://github.com/hyperpolymath/vexometer.
+
+=== Setup
+
+[source,bash]
+----
+git clone https://github.com/hyperpolymath/vexometer.git
+cd vexometer/verbosity-compressor
+----
+
+Optionally enter a reproducible environment first:
+
+[source,bash]
+----
+guix shell -m manifest.scm
+----
+
+=== Build and verify
+
+[source,bash]
+----
+just check   # cargo fmt --check + cargo clippy --all-targets -- -D warnings
+just test    # cargo test
+----
+
+Both must pass before a PR is opened; CI runs the same gates.
+
+=== Reporting bugs and suggesting features
+
+Open an issue at
+https://github.com/hyperpolymath/vexometer/issues[the monorepo issue
+tracker] and name the component (`verbosity-compressor`) in the title.
+Include reproduction steps and expected-versus-actual behaviour for bugs;
+include the problem being solved (not only the proposed solution) for
+features. Check link:ROADMAP.adoc[ROADMAP.adoc] first — the item may
+already be planned.
+
+=== Branch naming
+
+* `feat/short-description` — new functionality
+* `fix/short-description` — bug fixes
+* `docs/short-description` — documentation
+* `test/short-description` — test additions
+* `refactor/short-description` — behaviour-preserving improvements
+
+=== Commit messages
+
+We follow https://www.conventionalcommits.org/[Conventional Commits]:
+`type(scope): description`, for example:
+
+----
+fix(compressor): preserve indentation outside removed spans
+----
+
+=== Security issues
+
+Never report vulnerabilities in public issues — see
+link:SECURITY.adoc[SECURITY.adoc] for the private reporting channel.