ALLUVIA PROTECT — UPLOAD LIMIT DEMO

Real captured command output from the public example. The source receipt is a supplied example instruction, not a recovered conversation. Video pauses and framing are editorial; command results are captured verbatim.

Recorded: 2026-09-30T03:49:13.826445+00:00
Published package: alluvia 0.10.0

Every command and captured stdout/stderr follows. Exit 1 on the old revision is intentional.

$ python -c 'import importlib.metadata; print(importlib.metadata.version("alluvia"))'
0.10.0

[exit 0]

$ git init -q


[exit 0]

$ git config user.name 'Protect Example'


[exit 0]

$ git config user.email 'protect@example.com'


[exit 0]

$ cat > upload_policy.py <<'PY'
def accepts_upload(size):
    return size <= 8 * 1024 * 1024
PY


[exit 0]

$ git add upload_policy.py && git -c commit.gpgsign=false commit -qm 'Accept uploads up to the limit'


[exit 0]

$ cat > test_upload_policy.py <<'PY'
from upload_policy import accepts_upload


def test_upload_limit_is_exclusive():
    limit = 8 * 1024 * 1024
    assert accepts_upload(limit - 1)
    assert not accepts_upload(limit)
PY


[exit 0]

$ cat > correction-source.json <<'JSON'
{
  "kind": "user_instruction",
  "text": "Uploads must be smaller than 8 MiB; exactly 8 MiB must be rejected."
}
JSON


[exit 0]

$ cat correction-source.json
{
  "kind": "user_instruction",
  "text": "Uploads must be smaller than 8 MiB; exactly 8 MiB must be rejected."
}

[exit 0]

$ cat test_upload_policy.py
from upload_policy import accepts_upload


def test_upload_limit_is_exclusive():
    limit = 8 * 1024 * 1024
    assert accepts_upload(limit - 1)
    assert not accepts_upload(limit)

[exit 0]

$ python -m pytest -q test_upload_policy.py::test_upload_limit_is_exclusive
F                                                                      [100%]
================================== FAILURES ==================================
_______________________ test_upload_limit_is_exclusive _______________________

    def test_upload_limit_is_exclusive():
        limit = 8 * 1024 * 1024
        assert accepts_upload(limit - 1)
>       assert not accepts_upload(limit)
E       assert not True
E        +  where True = accepts_upload(8388608)

test_upload_policy.py:7: AssertionError
========================== short test summary info ===========================
FAILED test_upload_policy.py::test_upload_limit_is_exclusive - assert not True
1 failed in 0.01s

[exit 1]

$ cat > upload_policy.py <<'PY'
def accepts_upload(size):
    return size < 8 * 1024 * 1024
PY


[exit 0]

$ git diff -- upload_policy.py
diff --git a/upload_policy.py b/upload_policy.py
index 33ecd2b..c2fd1ba 100644
--- a/upload_policy.py
+++ b/upload_policy.py
@@ -1,2 +1,2 @@
 def accepts_upload(size):
-    return size <= 8 * 1024 * 1024
+    return size < 8 * 1024 * 1024

[exit 0]

$ git add upload_policy.py && git -c commit.gpgsign=false commit -qm 'Reject uploads at the limit'


[exit 0]

$ python -m pytest -q test_upload_policy.py::test_upload_limit_is_exclusive
.                                                                      [100%]
1 passed in 0.00s

[exit 0]

$ alluvia checks verify \
  'test_upload_policy.py::test_upload_limit_is_exclusive' \
  --before HEAD^ --after HEAD --project . \
  --requirement 'Reject uploads of exactly 8 MiB while accepting smaller uploads.' \
  --source-file correction-source.json \
  --python python --timeout 60 \
  --output ./verified-upload-limit > verification.json


[exit 0]

$ python - <<'PY'
import json
r = json.load(open('verified-upload-limit/report.json'))
print('Status:', r['status'])
print('Before:', r['before']['phases'][1]['outcome'], '(assertion)')
print('After:', r['after']['phases'][1]['outcome'])
print('Identical test bytes:', r['before']['test_intact'] and r['after']['test_intact'])
PY
Status: verified
Before: failed (assertion)
After: passed
Identical test bytes: True

[exit 0]

$ find verified-upload-limit -type f | sort
verified-upload-limit/README.md
verified-upload-limit/report.json
verified-upload-limit/test/test_upload_policy.py

[exit 0]

$ sha256sum test_upload_policy.py verified-upload-limit/test/test_upload_policy.py
89ce153ada0e82542140809b598a918fa1143e190ac6d76635c61f2c1ac93fbd  test_upload_policy.py
89ce153ada0e82542140809b598a918fa1143e190ac6d76635c61f2c1ac93fbd  verified-upload-limit/test/test_upload_policy.py

[exit 0]

$ python -m pytest -q verified-upload-limit/test/test_upload_policy.py::test_upload_limit_is_exclusive
.                                                                      [100%]
1 passed in 0.00s

[exit 0]