Skip to content

Commit e25e6c2

Browse files
committed
docs(audit): regenerate the tenant-audit census on the merged tree (scripts/tenant-audit-census.mjs --write) and re-hold its prose figures
Claude-Session: https://claude.ai/code/session_01CBAfsWMSfM3EToQGVStEcp Co-authored-by: Claude <noreply@anthropic.com>
1 parent 5d0a4a1 commit e25e6c2

2 files changed

Lines changed: 21 additions & 21 deletions

File tree

‎content/docs/permissions/tenant-audit-census.mdx‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -122,7 +122,7 @@ are reported as `undecidable` rather than assumed either way.
122122

123123
The same holds twice over for the context. An options argument spelled as a
124124
literal can be read; one spelled `options`, `{ ...opts }`, or handed through a
125-
forwarding shim cannot, and **53 of the 231 sites are spelled that way**. A
125+
forwarding shim cannot, and **53 of the 232 sites are spelled that way**. A
126126
context resolved from an inline literal or a local `const` can be tested for
127127
`isSystem`; one arriving from a helper call cannot.
128128

@@ -187,10 +187,10 @@ reproduce them. Where it disagrees, it disagrees on the page:
187187

188188
| carried figure | where it survives | this census |
189189
| :--- | :--- | ---: |
190-
| 175 write call sites | quoted in the merged changeset | **231** |
190+
| 175 write call sites | quoted in the merged changeset | **232** |
191191
| 24 carrying no tenant context | quoted in the merged changeset | **2** provable and tenancy-enabled; **32** more whose options argument is unreadable |
192-
| 127 of 175 statically decidable, 48 runtime-parameter-name sites | restated on the `isSystem`-scoping card | **156 of 231** decidable, **75** undecidable |
193-
| 135 (77%) silenced by the `isSystem` guard before the posture gate | the lost issue body — **no surviving corroboration** | **not reproduced**: 126 decidably elevated, 0 decidably not, 97 undecidable |
192+
| 127 of 175 statically decidable, 48 runtime-parameter-name sites | restated on the `isSystem`-scoping card | **157 of 232** decidable, **75** undecidable |
193+
| 135 (77%) silenced by the `isSystem` guard before the posture gate | the lost issue body — **no surviving corroboration** | **not reproduced**: 127 decidably elevated, 0 decidably not, 97 undecidable |
194194
| 141 and 132, two independent re-derivations | the card that filed this work | — |
195195

196196
**The differences are not reconciled, and deliberately so.** The old census's
@@ -207,11 +207,11 @@ would report a smaller number and would not say so.
207207

208208
The fourth row is the one worth flagging to anyone citing it. **The 135 / 77%
209209
figure has no surviving corroboration anywhere in the tree.** This census reads
210-
126 of 231 (55%) as decidably elevated, with 97 more whose elevation is a
210+
127 of 232 (55%) as decidably elevated, with 97 more whose elevation is a
211211
run-time fact — so the claim is neither confirmed nor refuted, and the honest
212212
answer is that a static reading cannot settle it.
213213

214-
⇒ **Cite `2 / 231`, and say what it is**: the sites whose options argument was
214+
⇒ **Cite `2 / 232`, and say what it is**: the sites whose options argument was
215215
READ and holds no tenant context, against a decidably tenancy-enabled object.
216216
That is the control's provable yield surface. ⛔ Do not cite it as "the sites
217217
without tenant context" — **32 further sites** have an options argument this
@@ -223,28 +223,28 @@ cannot read, and they are neither in nor out.
223223

224224
| what | count |
225225
| :--- | ---: |
226-
| write call sites on the application surface | **231** |
227-
| …whose object name is statically decidable | 156 |
226+
| write call sites on the application surface | **232** |
227+
| …whose object name is statically decidable | 157 |
228228
| …whose object name is chosen at run time | 75 |
229-
| …against an object with tenancy ENABLED | 155 |
229+
| …against an object with tenancy ENABLED | 156 |
230230
| …against an object that declares tenancy off | 1 |
231-
| threading a tenant context | 170 |
231+
| threading a tenant context | 171 |
232232
| PROVABLY carrying none (options read, no context key) | **8** |
233233
| …of those, against a decidably tenancy-enabled object | **2** |
234234
| options argument UNREADABLE — may or may not carry one | 53 |
235235
| …of those, against a decidably tenancy-enabled object | 32 |
236-
| threading a decidably ELEVATED (`isSystem`) context | 126 |
236+
| threading a decidably ELEVATED (`isSystem`) context | 127 |
237237
| threading a context that is decidably NOT elevated | 0 |
238238
| threading a context whose elevation is a run-time fact | 97 |
239239

240240
| how the instrument reached the site | count |
241241
| :--- | ---: |
242-
| receiver carried a readable engine type | 187 |
242+
| receiver carried a readable engine type | 188 |
243243
| receiver erased, placed by the object NAME | 30 |
244244
| receiver erased, placed by an `object: string` PARAMETER | 9 |
245245
| receiver erased, placed by an `UNTYPED_RECEIVERS` row | 5 |
246246

247-
| object name spelled inline | 104 |
247+
| object name spelled inline | 105 |
248248
| object name spelled through a `const` | 52 |
249249
| object name is an `object: string` parameter | 13 |
250250
| object name is some other run-time expression | 62 |
@@ -297,7 +297,7 @@ holds still. They are required to be HERE and to say WHEN they were true;
297297
their values are not compared. The reasoning, and the measurement behind it,
298298
are in `scripts/check-tenant-audit-census.mjs`.
299299

300-
Measured on 2026-10-11 at `f6bce8aaf`.
300+
Measured on 2026-10-11 at `5d0a4a152`.
301301

302302
| corpus scale (not enforced) | count |
303303
| :--- | ---: |

‎docs/audits/2026-08-tenant-audit-write-call-sites.counts.md‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -33,17 +33,17 @@ silent, and `node scripts/tenant-audit-census.mjs --write` is the resolution.
3333

3434
| Measure | Value |
3535
|---|---:|
36-
| Write call sites | 231 |
37-
| Object name statically decidable | 156 |
36+
| Write call sites | 232 |
37+
| Object name statically decidable | 157 |
3838
| Object name chosen at run time | 75 |
39-
| Against a tenancy-enabled object | 155 |
39+
| Against a tenancy-enabled object | 156 |
4040
| Against an object declaring tenancy off | 1 |
41-
| Threading a tenant context | 170 |
41+
| Threading a tenant context | 171 |
4242
| Provably carrying none | 8 |
4343
| …and decidably tenancy-enabled | 2 |
4444
| Options argument unreadable | 53 |
4545
| …and decidably tenancy-enabled | 32 |
46-
| Threading a decidably elevated context | 126 |
46+
| Threading a decidably elevated context | 127 |
4747
| Threading a decidably non-elevated context | 0 |
4848
| Threading a context of undecidable elevation | 97 |
4949

@@ -90,7 +90,7 @@ holds still. They are required to be HERE and to say WHEN they were true;
9090
their values are not compared. The reasoning, and the measurement behind it,
9191
are in `scripts/check-tenant-audit-census.mjs`.
9292

93-
Measured on 2026-10-11 at `f6bce8aaf`.
93+
Measured on 2026-10-11 at `5d0a4a152`.
9494

9595
| corpus scale (not enforced) | count |
9696
| :--- | ---: |
@@ -107,7 +107,7 @@ Measured on 2026-10-11 at `f6bce8aaf`.
107107
| `packages/plugins/organizations/src/claim-orphan-org-rows.ts` | `update` | `schema.name` | undecidable | elevated | 1 |
108108
| `packages/plugins/plugin-approvals/src/action-slot-backfill.ts` | `update` | `sys_approval_action` | enabled | elevated | 2 |
109109
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `update` | `object` | undecidable | context, elevation undecidable | 1 |
110-
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `insert` | `sys_approval_action` | enabled | elevated | 14 |
110+
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `insert` | `sys_approval_action` | enabled | elevated | 15 |
111111
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `delete` | `sys_approval_approver` | enabled | elevated | 2 |
112112
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `insert` | `sys_approval_approver` | enabled | elevated | 2 |
113113
| `packages/plugins/plugin-approvals/src/approval-service.ts` | `insert` | `sys_approval_request` | enabled | elevated | 1 |

0 commit comments

Comments
 (0)