Implemented the portable verification baseline and completed the first Resource three-tier pass.

Clone Portability

Added fresh-clone setup instructions using repository-local .venv in README.md (line 28) and tools/README.md (line 12).
Documented that any virtual-environment path works and activation is optional.
Added .venv/ and venv/ to .gitignore (line 17).
Confirmed no tracked project files reference your specenv or rnsenv.
Verification Infrastructure

Added verify_all.py (line 1), which:
Enforces versions from tools/requirements.txt.
Runs every verifier independently.
Summarizes all failures.
Confirmed it rejects the older RNS 1.1.3/LXMF 0.9.3 environment.
Resource Audit

Added Tier 1 report: resource-tier1-rns-1.2.4.md (line 1).
Added verify_resource.py (line 1).
Corrected §10 and stale flow documentation:
Direct LXMF Resource threshold is 319 bytes.
Advertisement d is total logical-resource size.
Resource packets contain slices of one encrypted stream.
Exhausted requests can also request parts.
RESOURCE_RCL rejects advertisements; ordinary receiver cancellation is local-only.
Validation:

Passed: 16
Failed: 0
ALL VERIFIERS PASS
Remaining Resource work is deterministic resources.json vectors and negative/rejection cases.
This commit is contained in:
John Poole 2026-06-08 13:22:22 -07:00
commit 2c9ac94d7c
8 changed files with 69 additions and 15 deletions

View file

@ -25,6 +25,22 @@ This fork proceeds with a three-tier evidence model that preserves the existing
See [`agent.md`](agent.md) §3 for the detailed rules.
## Verify a Clone
The verifier suite has no dependency on a particular user's virtual
environment. From a fresh clone, create any isolated Python environment and
install the repository pins:
```sh
python3 -m venv .venv
.venv/bin/python -m pip install -r tools/requirements.txt
.venv/bin/python tools/verify_all.py
```
On Windows, use `.venv\Scripts\python.exe` in place of `.venv/bin/python`.
Activation is optional; `verify_all.py` uses the interpreter that launched it
and refuses to run when installed RNS/LXMF versions do not match the pins.
## What's here
- [`SPEC.md`](SPEC.md) — the single combined spec document, organized by protocol layer