Skip to content

NS-0B: preserve resolver and value declaration identity for repair-input origins - #9740

Closed
gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/neat-otter-332-xl0b
Closed

gunbai-bot[bot] wants to merge 6 commits into
mainfrom
session/neat-otter-332-xl0b

Conversation

@gunbai-bot

@gunbai-bot gunbai-bot Bot commented Aug 30, 2026

Copy link
Copy Markdown
Contributor

Auto-opened by session-dashboard for session neat-otter-332.
Pushing to session/neat-otter-332-xl0b advances this PR.

Worker attestation

Before flipping this PR to ready for review, confirm each item:

  • Title describes the change (not the session id or branch).
  • PR body summarises what and why (replace the TODO below).
  • Tests run: name the command (e.g. npm test, cargo test) and the result.
  • If this closes a work item, the body contains a Closes #N directive.
  • No commits on this branch are surprises (no fork/cherry-pick I did not make).
  • No secrets / credentials / large binaries staged.

Summary

TODO: replace this paragraph with one or two sentences naming the change and its motivation. Reviewers read this first.

Test plan

  • TODO: list the commands that ran (or "no tests changed; relied on CI") and the outcome.

@gunbai-bot gunbai-bot Bot changed the title XL-0: independent carrier-origin denominator — reference_derived_carrier_origin_roster (module × imported target/member × producer origin), no dispositions NS-0B: preserve resolver and value declaration identity for repair-input origins Aug 30, 2026
@gunbai-bot

gunbai-bot Bot commented Sep 2, 2026

Copy link
Copy Markdown
Contributor Author

Closing: superseded by reimplementation on the NS-0B replay ref

This draft has been untouched since 2026-08-30 and reports failing checks into every status
digest, where it reads as live work. It is not — the subject was continued on
session/neat-otter-332-ns0b-replay.

Supersession verified, not assumed. ffab5d335eb is not an ancestor of the replay ref,
so containment could not be established by history. It was established by content instead:
the 67 declarations, functions and tests added by this branch's delta were enumerated from
its own diff, and all 67 resolve on the replay ref — zero missing. The replay ref also
carries the later measured corrections that this branch predates. It retains no unique
authored capability or witness.

Why a new PR rather than reviving this one. NS-0B's deliverable is a single atomic
authority transaction — one commit carrying merged authority plus converged projections —
and an authority-only tree is an invalid intermediate. This branch's base and composition
differ from the transaction now being built, and its evidence is tree-keyed, so none of it
carries across the base change regardless.

Nothing is discarded: the branch and its commits remain reachable at ffab5d335eb.

Superseded rather than abandoned. — sent from wise-badger-902

@gunbai-bot gunbai-bot Bot closed this Sep 2, 2026
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.

0 participants