Narrow INFD-IN-0006 to surface alone after railiance-master's correction

The custodian's record was corrected on 2026-09-21 while this request was being
written. railiance-master had already established — with fuller citations than
this repository had — that flex-auth's validator set {Staff, Engine, Tooling} is
not §3's enumeration: §3 has four rows and `Taxonomy` is the first, defined in
§3.1, catalogued in §4, mapped in §7 and given its own §17. It added the sharper
finding this repository had not reached: §3's table writes `Engines` while §4
types eight rows `Engine`, so two faithful conformance runs disagree about every
engine in the estate.

This repository reached the first half independently and before seeing the
correction, and now records it rather than re-arguing it. The consequence is
what matters: `surface` is the only surveyed value outside §3 itself, and the
only one that needs a ruling on whether the vocabulary is closed. The two cases
do not behave alike and should not be ruled on together — which is what the
corrected record says, and this repository agrees.

One point carries over into the closed outcome: if §3's vocabulary is ruled
closed, the closed set should be written out as declaration values rather than
inferred from table row labels. `Engines`/`Engine` is what happens otherwise,
and it is B1's shape one level further in.

Position unchanged; the declared value remains unchanged pending the ruling.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>

Assistant: claude-code
Assistant-Model: opus
Assistant-Process: 63291@bnt-lap001
Assistant-Session: 8bd77868-ca68-4f49-bb1e-d539ecc0d703
This commit is contained in:
tegwick 2026-09-21 02:14:00 +02:00
parent 13ee949982
commit d0d0bad66d
3 changed files with 35 additions and 27 deletions

View file

@ -26,3 +26,5 @@
| intake | INFD-IN-0002 | closed | blue | intakes/intakes.md | | intake | INFD-IN-0002 | closed | blue | intakes/intakes.md |
| intake | INFD-IN-0003 | closed | blue | intakes/intakes.md | | intake | INFD-IN-0003 | closed | blue | intakes/intakes.md |
| intake | INFD-IN-0004 | closed | blue | intakes/intakes.md | | intake | INFD-IN-0004 | closed | blue | intakes/intakes.md |
| intake | INFD-IN-0005 | open | blue | intakes/intakes.md |
| intake | INFD-IN-0006 | open | blue | intakes/intakes.md |

View file

@ -132,30 +132,30 @@ repository's own existence, and `key-cape`'s blocked `client_id` all came from
the same gap: the tier a human touches had no owner. A vocabulary that cannot the same gap: the tier a human touches had no owner. A vocabulary that cannot
name it will produce the gap again. name it will produce the gap again.
## 4. Two observations offered to the ruling ## 4. `surface` is now the only case, and it should be ruled on alone
**(a) The validator's vocabulary is not §3's.** `flex-auth`'s validator admits This repository reached, independently and before seeing the correction, the
`{Staff, Engine, Tooling}` — three values. §3 enumerates **four**: Taxonomy, observation that `flex-auth`'s validator set `{Staff, Engine, Tooling}` is not
Tooling, Engines, Staff. So the custodian's "two repositories declare values §3's enumeration — §3 has **four** rows, and `Taxonomy` is the first of them.
outside the §3 vocabulary" resolves into two different findings: `railiance-master` got there first and with the fuller citation, and the
custodian's record was corrected on 2026-09-21 to say so, including the sharper
finding this repository had not reached: §3's table writes `Engines` while §4's
catalog types eight rows `Engine`, so two faithful conformance runs disagree
about every engine in the estate.
- `railiance-master`'s `Taxonomy` **is** in §3. It fails the validator, not the That correction is recorded here rather than re-argued, because it changes what
standard. That is a defect in the validator's enumeration, correctable without this request is. `railiance-master`'s `Taxonomy` fails a validator, not the
any ruling on whether §3 is closed. standard. **`surface` is the only surveyed value outside §3 itself**, and it is
- `surface` is outside §3 itself, and is the only surveyed value that is. the only one that needs a ruling on whether the vocabulary is closed. The two
cases do not behave alike and should not be ruled on together — which is what
the corrected record now says, and this repository agrees with it.
Separating them narrows the question gate-house has to answer, and means the One point does carry over into the closed outcome: if §3's vocabulary is ruled
`Taxonomy` case should not be read as evidence that repositories invent layer closed, the closed set should be **written out as declaration values** rather
names. (`railiance-master` has its own agent and speaks for itself; this is a than left to be inferred from table row labels. The `Engines`/`Engine`
reading of the published standard, not a statement on its behalf.) divergence shows what happens otherwise, and it is the same shape as the
case-sensitivity question (boundaries-review question 2) and as B1 — two
**(b) `Engines` versus `Engine`.** §3's table row is plural. Declarations and readings of one standard, both faithful.
the validator use the singular. If §3's vocabulary is ruled closed, the closed
set should be written out as declaration values rather than inferred from table
row labels — otherwise the same class of ambiguity B1 found between two files
reappears between the table and the key. This is offered alongside the
case-sensitivity question (boundaries-review question 2), which has the same
shape.
## 5. What this repository has not done ## 5. What this repository has not done

View file

@ -304,6 +304,7 @@ description: >-
prove the full browser path, not just redirect parameter forwarding. prove the full browser path, not just redirect parameter forwarding.
T03's three human approvals and key check subsequently completed; this is T03's three human approvals and key check subsequently completed; this is
ongoing authentication reliability work, not an outstanding T03 execution. ongoing authentication reliability work, not an outstanding T03 execution.
state_hub_intake_id: "01a0c14e-f965-788f-8efb-4424f1f1ad08"
``` ```
@ -358,11 +359,16 @@ description: >-
because the next repository in this position will reason from it. The declared because the next repository in this position will reason from it. The declared
value is deliberately UNCHANGED pending the ruling: changing it first would value is deliberately UNCHANGED pending the ruling: changing it first would
pre-empt gate-house and destroy the evidence of what was actually concluded. pre-empt gate-house and destroy the evidence of what was actually concluded.
Also offered: flex-auth's validator admits three values where section 3 Scope narrowed the same day: railiance-master had already established, with
enumerates four, so railiance-master's `Taxonomy` fails the validator rather fuller citations, that flex-auth's validator set is not section 3's enumeration
than the standard and is a separable, ruling-free correction, leaving `surface` — section 3 has four rows and `Taxonomy` is the first — and the custodian's
as the only surveyed value outside section 3 itself; and section 3's row label record was corrected to say so, adding that section 3 writes `Engines` while
is `Engines` while declarations and the validator use `Engine`, which should be section 4 types eight rows `Engine`. This repository reached the first half
written out as declaration values if the set is ruled closed. Full request: independently and does not re-argue it. The consequence is that `surface` is
the only surveyed value outside section 3 itself and the only one needing this
ruling; the two cases should not be ruled on together. One point carries over:
if the set is ruled closed it should be written out as declaration values
rather than inferred from table row labels. Full request:
docs/gate-house-decision-request-layer-vocabulary.md. docs/gate-house-decision-request-layer-vocabulary.md.
state_hub_intake_id: "01a0c14f-17b6-72fb-8951-8c933bd05d6b"
``` ```