Skip to content

docs(evidence): P-014 — record owner ruling (GO-P014-BOUNDED-DESIGN / NO-PRODUCTION) - #420

Open
PhysShell wants to merge 1 commit into
mainfrom
research/p014-ruling-followup
Open

PhysShell wants to merge 1 commit into
mainfrom
research/p014-ruling-followup

Conversation

@PhysShell

Copy link
Copy Markdown
Owner

Follow-up to #419 (merged as ad17d7b2). Report text only, under docs/evidence/p014-reference-coverage-2026-10/REPORT.md; no other file changes.

Records the owner ruling GO-P014-BOUNDED-DESIGN / NO-PRODUCTION:

  • K4: PASS-COMPILATION-CONFLICT, with the limit SITE-LEVEL-CONFLICT-NOT-REPRESENTED.
  • HOLD-FORMAL-GO lifted.
  • Scope of the GO: a bounded design only.

Clarifies the NuGet wording: the file hash and the content hash differ by NuGet's documented design, because the content hash excludes signature data. No independent byte-level recomputation of the normalized content hash was done.

This was done as a separate PR so that #419 could be merged at the head its CI had checked.

🤖 Generated with Claude Code

https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG

… NO-PRODUCTION)

K4 accepted as PASS-COMPILATION-CONFLICT with the limit
SITE-LEVEL-CONFLICT-NOT-REPRESENTED; HOLD-FORMAL-GO lifted; GO allows a
bounded design only. NuGet hash wording: the file hash vs content hash
difference has a documented cause (content hash excludes signature
data); no independent byte-level recomputation of the normalized
content hash was done. Report text only.

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TFkNAFFQz9KoTzpPws8vYG
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