Skip to content

Integrate #91: pre-registration must be durable and timestamped before the run - #93

Merged
F-e-u-e-r merged 3 commits into
mainfrom
integrate-91
Jul 29, 2026
Merged

Integrate #91: pre-registration must be durable and timestamped before the run#93
F-e-u-e-r merged 3 commits into
mainfrom
integrate-91

Conversation

@F-e-u-e-r

Copy link
Copy Markdown
Owner

Integration of contributor PR #91 onto post-#90 main (one Provenance
stacking conflict resolved), plus one gate-fold commit.

What lands: ground-truth-gates' experiment-grader paragraph gains the
pre-registration ordering clause — write the pre-reg somewhere durable and
timestamped BEFORE the first run, cite that timestamp in the finding; an
operable durable/ephemeral boundary; post-hoc transcription named as
ordering-evidence-free and silent-failing; re-check cited paths resolve
before publishing. Ships unprobed (in-body marker + Provenance; tracked
in #92).

Review gate: 2 rounds. r1 (grok-4.5 high + gpt-5.6-luna ultra):
both lenses converged on the same two findings, folded — a precedence
sentence for the durable/ephemeral overlap (check-ignore wins: an ignored
working path is ephemeral even when an external archive preserves it —
cite the archive itself), and the house contributor-reported/not-linkable
Provenance label. r2 pre-commit (grok + luna + sol-max): TRIPLE PROCEED,
zero findings; sol explicitly confirmed the fold does not permit post-run
archiving as ordering evidence.

python3 .github/checks.py green; added lines ≤80 chars.

🤖 Generated with Claude Code

https://claude.ai/code/session_01WMbbZQ8ZMMsNRGyV2nvJR8

firaen22 and others added 3 commits July 30, 2026 06:18
…d before the run

Pre-registration's evidentiary value is ordering — that the criteria were
frozen before results were seen. A pre-reg written to ephemeral scratch
loses that: once the directory is reclaimed, the finding's citation is
indistinguishable from an unbacked claim that a pre-reg existed.

Transcribing the criteria into the write-up instead does not fix it. That
copy is made after results are in, so it cannot evidence ordering, and it
fails silently where a dead link at least fails loud.
# Conflicts:
#	skills/ground-truth-gates/SKILL.md
…nverged)

Both lenses flagged the same two: the durable/ephemeral definitions
co-applied to a gitignored-but-archived class with no precedence — folded
with check-ignore winning (an ignored working path is ephemeral even when
an external archive preserves it; cite the archive itself), which matches
the citation semantics the clause protects; and the Provenance entry now
carries the house contributor-reported/not-linkable label.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WMbbZQ8ZMMsNRGyV2nvJR8
@F-e-u-e-r
F-e-u-e-r merged commit 92077a7 into main Jul 29, 2026
3 checks passed
@F-e-u-e-r
F-e-u-e-r deleted the integrate-91 branch July 29, 2026 23:57
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.

2 participants