Commit e03cb88
docs(adr): ADR-0131 §1.2(3) — the precondition is reachable and reported, not a refused boot (#17544)
§1.2 item 3 called the measured leak's precondition — many organizations with
Layer 0 inert — "today a refused boot", citing ADR-0093 D5. Nothing refuses it.
D5 refuses a REQUESTED-but-absent wall; a deployment that never requests a walled
posture and merely holds more than one `sys_organization` row under `single`
boots and serves. Since #17010 (PR #17460) `TenancyService` takes a
`count(sys_organization)` census and reports that state at `error` at boot,
naming the declared posture, the count and the two remedies — it does not refuse
it.
Item 3 is the reason §1.2 discounts the measured NULL-row leak, so the corrected
item says in one clause what the correction does to that argument: the discount
now rests on a reported state, not a refused one.
D11 (`Degraded tenancy stays a refused boot.`) is true and is untouched — byte
identical. Whether the boot SHOULD be refused stays the maintainer's open fork;
nothing here decides it.
Claude-Session: https://claude.ai/code/session_01YKEjmbYNvYWJvWGSWx26zK
Co-authored-by: Claude <noreply@anthropic.com>1 parent 526a266 commit e03cb88
1 file changed
Lines changed: 8 additions & 2 deletions
Lines changed: 8 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
129 | 129 | | |
130 | 130 | | |
131 | 131 | | |
132 | | - | |
133 | | - | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
134 | 140 | | |
135 | 141 | | |
136 | 142 | | |
| |||
0 commit comments