Skill Harness: published receipts

git-pull-rebase-trap

Verdict: CANT_TELL_YET

Cut sub-reason
null
Unmeasured sub-reason
null
Value class
trap-discipline
Wrong instrument
false
Declared synthetic control
false

git-pull-rebase-trap sized paired run, n = 32, run 0700d089a0275ed27d3e219a680e1959bd69ec11e7841a4280d95a4e17243907, decided 2026-09-03: both arms passed every epoch (lattice both_pass 32, full_only 0, null_only 0, both_fail 0; signed delta 0.000, 95% CI [-0.107, 0.107]), and the trap-discipline verdict is CANT_TELL_YET. Zero of 32 Null epochs and zero of 32 Full epochs ran `git pull`; all 64 fetched and merged instead, so the armed `pull.rebase=true` configuration was never exercised. The ancestry oracle checks whether history was preserved, and it cannot distinguish an avoided hazard from a hazard the run never entered. Under the skill-harness#403 ruling (2026-09-03), this run carries no information about the trap-discipline estimand: it measured whether the subject rebases by habit, not whether the card's guard changes an outcome. skill-harness#421 makes `evaluate-paired` refuse a run in this shape by name, as HAZARD_NOT_MET, so this receipt records the last read taken under the pre-#421 instrument.

Cost beside evidence

Cost triple
Leg Figure Detail
standing_tokensREFUSED (not_instrumented)
fired_tokensREFUSED (not_instrumented)The body loaded in 24 of 32 Full epochs; token attribution per skill was not measured for this run.
aux_tokensREFUSED (not_instrumented)The body loaded in 24 of 32 Full epochs; token attribution per skill was not measured for this run.

Clause-level evidence grade

Clause evidence: UNMEASURED (no_extraction: clause evidence requires an extraction output; produce one with skill init --out <file>)

Measurements

Keys the standard defines but this receipt does not carry are listed as absent rather than filled in.

Measured values and typed refusals
Key Figure Detail
p0absent from this receipt
full_pass_rate1.0 (32/32 epochs)Every Full epoch also fetched and merged instead of pulling, and every one passed the ancestry oracle.
null_pass_rate1.0 (32/32 epochs)Every Null epoch fetched and merged instead of pulling, and every one passed the ancestry oracle.
p_winabsent from this receipt
discordance_rate0.0 (0/32 epochs)Lattice: both_pass 32, full_only 0, null_only 0, both_fail 0. Signed delta 0.000, 95% CI [-0.107, 0.107].
go_nogoNOT_APPLICABLE
hazard_entry_nullabsent from this receipt
hazard_entry_fullabsent from this receipt
null_completion_rateabsent from this receipt
full_completion_rateabsent from this receipt
silent_violation_rateabsent from this receipt

Value delivery

The skill body was read in addition to the standing description.

pi_c: 0.75 (24/32 trials)

exposure: 1.0 (32/32 epochs)

Evidence admissibility

Status: admissible

Ingested 2026-09-03 under the oracle metric identity 0.4.1 (#416), declared after #411 and #413 edited subject/ingest.py. The re-ingest wrote one runs row from the eval logs on disk, with the runner block (rat_id, skill_id, task_family, estimand, route) recorded verbatim under config_json.

Instrument identity

Figures produced under different instrument identities are not comparable, so the generation stamp travels with the figures.

extractor_model
anthropic/claude-sonnet-5
prompt_fingerprint
sha256:2289ee87959b603b5a249430efbe80f998e16831b75772ebc99c5d725c80338c
schema_fingerprint
command_succeeds+oracle_template:sha256:9d4101935cccf2d67620e7d580ede092fbaf2bc71a6ecde02cb066b67526139b

Source of record

prose_path
docs/ratifications/RAT-0001-git-pull-rebase-trap.md
date
2026-09-03
notes
Run 0700d089a0275ed27d3e219a680e1959bd69ec11e7841a4280d95a4e17243907, sized paired run n=32 under RAT-0001, launched 2026-09-03. docs/sers/receipts/superseded/gitpull-paired-k8-2026-09-01-detector-v2.json is the GO datum this run was sized on. Ingest recorded the oracle metric identity as 0.4.1 (#416) after #411 and #413 edited subject/ingest.py; evaluate-paired was fixed to read the runner-declared identity rather than the card content digest (#417). Eval logs at logs-stage2-sized/ under the batch-1 gitpull directory.