Skip to content

Commit 35f8a38

Browse files
committed
Wire CEDV README to enum coverage layer
1 parent 33aa71e commit 35f8a38

1 file changed

Lines changed: 13 additions & 7 deletions

File tree

protocol/cedv/README.md

Lines changed: 13 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -28,10 +28,13 @@ Cockpit surfaces, public candidates, pages, and release layers are operational l
2828
4. `example-registry-v1.md`
2929
- Defines the first registry rule for the canonical CEDV example set.
3030

31-
5. `examples/index-v1.json`
31+
5. `enum-coverage-v1.md`
32+
- Records the first expanded enum drift-coverage layer across the current working enum families.
33+
34+
6. `examples/index-v1.json`
3235
- Registers the current canonical example objects and their minimal graph expectations.
3336

34-
6. `examples/`
37+
7. `examples/`
3538
- Holds the current canonical example objects used to exercise the CEDV schema and relation-basis validation surface.
3639

3740
---
@@ -60,13 +63,13 @@ CEDV currently has:
6063
- canonical examples;
6164
- relation and basis validation;
6265
- shared constant-authority layer;
63-
- drift checking for the first protocol constant set;
66+
- expanded enum drift coverage;
6467
- canonical example registry;
6568
- example-registry checker and workflow.
6669

6770
Current verdict:
6871

69-
> `PASS_CEDV_PROTOCOL_CORE_WITH_WORKING_AUTHORITY_AND_EXAMPLE_REGISTRY`
72+
> `PASS_CEDV_PROTOCOL_CORE_WITH_AUTHORITY_EXAMPLE_REGISTRY_AND_ENUM_COVERAGE`
7073
7174
---
7275

@@ -82,6 +85,8 @@ Current CEDV-facing checkers include:
8285
The example-registry checker does not replace schema or graph validation.
8386
It only checks that the canonical example set is registered, discoverable, and aligned with its minimal expected graph.
8487

88+
The protocol constants checker now covers the current working enum families as well as canonical relation names.
89+
8590
---
8691

8792
## Boundaries
@@ -93,7 +98,8 @@ This directory does not yet provide:
9398
- complete repository-wide object migration;
9499
- production runtime semantics;
95100
- public release semantics by itself;
96-
- repository-wide object registry.
101+
- repository-wide object registry;
102+
- proof that every checker has converged on shared constants.
97103

98104
Public candidates and cockpit surfaces may consume CEDV objects, but they do not replace CEDV.
99105

@@ -103,8 +109,8 @@ Public candidates and cockpit surfaces may consume CEDV objects, but they do not
103109

104110
The next useful work is:
105111

106-
> `CEDV-C / ENUMCOVER1`
112+
> `CEDV-D / CHECKERIMPORT1`
107113
108114
Expected purpose:
109115

110-
> extend protocol drift checking beyond `verdict_level` so lifecycle, visibility, epistemic status, dissent kind, severity, relation types, and checker mirrors are covered more uniformly.
116+
> audit remaining protocol-facing checkers for hardcoded CEDV vocabulary and progressively move them to shared constants where warranted.

0 commit comments

Comments
 (0)