repo.work.create_decision GH-DEC-2026-007
correlation_id: 73b37f0f-be76-4919-b982-2411090b48ab reason: rmgr CLI source: repo-manager Assistant: claude-code Assistant-Model: opus Assistant-Process: 425128@bnt-lap001 Assistant-Session: f5944d8b-dac4-4e1a-87eb-8b3d8f314a63
This commit is contained in:
parent
1f4fd20519
commit
150ddfb4aa
1 changed files with 35 additions and 0 deletions
|
|
@ -750,3 +750,38 @@ faster than a hand-maintained table drifted from reality — that is, if generat
|
|||
publication decouple. The falsifier is mechanical: a regeneration that changes the
|
||||
committed export without any underlying evidence having changed, or an underlying
|
||||
change that does not reach the export.
|
||||
|
||||
## GH-DEC-2026-007 — The posture/maturity boundary is recomputability, bounded by a criteria-grounding rule
|
||||
|
||||
```yaml
|
||||
id: GH-DEC-2026-007
|
||||
kind: decision
|
||||
title: The posture/maturity boundary is recomputability, bounded by a criteria-grounding
|
||||
rule
|
||||
status: resolved
|
||||
owner: Bernd Worsch
|
||||
repo: gate-house
|
||||
standard: net-kingdom/canon/standards/security-layer-model_v0.7.md
|
||||
source_note: kings-guard/docs/PostureMaturityBoundary.md (KG-DEC-2026-002, KG-COM-0001)
|
||||
requested_dispositions:
|
||||
- approved
|
||||
- revised
|
||||
- rejected
|
||||
affects:
|
||||
- gate-house
|
||||
- net-kingdom
|
||||
- kings-guard
|
||||
- maturity-engine
|
||||
- access-engine
|
||||
rationale: 'Adopted with one addition. kings-guard is right that volatility describes
|
||||
the two categories without partitioning them, and right that the discriminator is
|
||||
already in §9.5''s determinism clause rather than being a new rule. The addition
|
||||
closes the loophole the test leaves open: recomputability is assessed over the stated
|
||||
criteria, so any judgment can be made to look recomputable by writing a criterion
|
||||
that dereferences it. Criteria must bottom out in evidence about the subject, not
|
||||
in another party''s opinion recorded as evidence. Without that clause the test is
|
||||
satisfiable in form by exactly the inference it exists to exclude.'
|
||||
decided_by: Bernd Worsch
|
||||
created: '2026-09-06T06:07:34.017316Z'
|
||||
updated: '2026-09-06T06:07:34.017316Z'
|
||||
```
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue