Say what a level does, and what it does not #172

2026-09-09T19:39:42Z

paulhitt commented

2026-09-09 19:39:42 +00:00

(Migrated from gitlab.com)

The Files page described marking without saying where it stops.

A level decides who can open a file. It does not decide where a file can be put: somebody who can read something can still file it somewhere less protected. The page now says so rather than leaving the word to do the work.

Part of ios#65 / android#15, which asks for the honest version now and a trusted downgrade later. Checked first whether anything already claimed Bell-LaPadula: nothing does, on any page or in any doc, so there was no claim to retract.

Tests: 697, 0 failures.

The Files page described marking without saying where it stops. A level decides who can open a file. It does not decide where a file can be put: somebody who can read something can still file it somewhere less protected. The page now says so rather than leaving the word to do the work. Part of ios#65 / android#15, which asks for the honest version now and a trusted downgrade later. Checked first whether anything already claimed Bell-LaPadula: nothing does, on any page or in any doc, so there was no claim to retract. Tests: 697, 0 failures.

paulhitt commented

2026-09-09 19:50:44 +00:00

(Migrated from gitlab.com)

mentioned in commit 541f9606af

mentioned in commit 541f9606afe2c7bda857f8e918584e17beb98206

paulhitt (Migrated from gitlab.com) merged commit 541f9606af into main

2026-09-09 19:50:44 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: extant2000/flamenet-relay#172