Repository navigation

Describe and check optional multi-identifier matching - #1

Draft

pid1 wants to merge 16 commits into

mainfrom

identifiers

Draft

Describe and check optional multi-identifier matching#1
pid1 wants to merge 16 commits into
mainfrom
identifiers

Commits on Sep 27, 2026
- Describe and check optional multi-identifier matching
  
  pid1
  and
  claude
  committed
  450403a
- Require the document among the identifiers, not first
  
  pid1
  and
  claude
  committed
  2e393cb
- Add the type registry, and the rule that a weak match glues nothing
  
  pid1
  and
  claude
  committed
  1b5858c
- Pin the structure recipe so two clients compute it identically
  
  pid1
  and
  claude
  committed
  8249f57
- Record today's results
  
  pid1
  and
  claude
  committed
  a859ddb
- Pin the parts of the structure recipe two parsers would read differently
  
  pid1
  and
  claude
  committed
  8fbc958
- Require strongest-first ordering, and regenerate the worked example
  
  pid1
  and
  claude
  committed
  a7add4b
- Correct the entity example's arithmetic, and pin four more edge cases
  
  pid1
  and
  claude
  committed
  fb8aa6c
- Take every value as the XML parser yields it
  
  pid1
  and
  claude
  committed
  05c1bec
- Pin the last four places two parsers could still disagree
  
  pid1
  and
  claude
  committed
  1551b89
- Say what a client does with a type it cannot compute, and widen K-ID-14
  
  pid1
  and
  claude
  committed
  8655d7d
- Restore metadata as a weak identifier, and fix the drift detector
  
  pid1
  and
  claude
  committed
  b69d304
- Pin the five things the weak rule left to each implementation
  
  pid1
  and
  claude
  committed
  535474d
- Assert the weak value is registered, not only that it did not adopt
  
  pid1
  and
  claude
  committed
  828bd2d
- Pin the metadata normalisation and the weak-document case
  
  pid1
  and
  claude
  committed
  cbcfff2
- Answer the identifier-type and document questions from the registry and K-ID-8b
  
  pid1
  and
  claude
  committed
  84fa8cd

Commits

Commits on Sep 27, 2026