Skip to content

feat: a diver's portrait - #28

Merged
aleskiontherun merged 2 commits into
mainfrom
claude/py-1-portrait
Sep 24, 2026
Merged

aleskiontherun merged 2 commits into
mainfrom
claude/py-1-portrait

Conversation

@aleskiontherun

@aleskiontherun aleskiontherun commented Sep 24, 2026 •

Copy link
Copy Markdown
Member

The specification adds diver.portrait_file, a Stored File, in divejson/divejson#28. This pins SPEC_REF to its merged commit and vendors the three trees. The validator now claims the portrait's uuid in the document's single identifier space, so a portrait that shares a uuid with any other record is refused under §5.3. UDDF carries no portrait in either direction. The writer reports the member through unmapped when it writes an owner, and through the guard's own note when it writes none. The self round trip's LOST set gains diver/portrait_file.

Verified with pytest (1085 passed), divejson conform fixtures --strict, and .github/scripts/spec_pin.py against the specification checkout.

🤖 Generated with Claude Code

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@aleskiontherun
aleskiontherun marked this pull request as ready for review September 24, 2026 06:51
@aleskiontherun
aleskiontherun merged commit c138235 into main Sep 24, 2026
7 checks passed
@aleskiontherun
aleskiontherun deleted the claude/py-1-portrait branch September 24, 2026 09:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant