core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions
core/HANDOFF-gpt55-2026-06-03.md

3 KiB
Raw Permalink Blame History

HANDOFF gpt55 2026-06-03

Branch: codex/ntimes-completeness-guard

Final commit SHA: reported in the thread final after commit creation.

File Status

file path status purpose ready-to-merge
recognizer anchor injector generate/recognizer_anchor_inject.py FINAL Refusal-only guard preventing no-reference <N> times ... comparative multipliers from being injected as CandidateInitial(value=N, unit="times"). Y
completeness guard tests tests/test_candidate_graph_completeness_guard.py FINAL Pins the §9 hard negative matrix, with solve/refusal controls. Y
question-layer gap survey docs/analysis/question-layer-gap-survey.md FINAL Canonical audited 44-refusal partition and backlog interpretation. Y
solver operation coverage docs/analysis/solver-operation-coverage.md FINAL Canonical read-only audit of existing solver op coverage and representation gaps. Y
composition capability scope docs/analysis/composition-capability-scope.md FINAL Canonical execution-lane v2 scope for ADR-0174 Phase 5b emission/representation and §9 guard precondition. Y
comprehension primitive inventory docs/analysis/comprehension-primitive-inventory.md FINAL Canonical consolidated inventory and cross-subject leverage map from the execution lane. Y
handoff HANDOFF-gpt55-2026-06-03.md FINAL Merge/readiness manifest for this thread. Y

Validation

Completed on branch codex/ntimes-completeness-guard:

  • uv run python -m pytest tests/test_candidate_graph_completeness_guard.py -q
    • 21 passed
  • uv run python -m pytest tests/test_adr_0131_G2_comparatives.py tests/test_adr_0131_G2a_comparative_verb_widening.py -q
    • 30 passed
  • uv run python -m pytest tests/test_aggregate_total_question_forms.py tests/test_discrete_count_open_noun_class.py tests/test_adr_0163_d2_discrete_count_injection.py -q
    • 59 passed
  • Train-sample probe through generate.math_candidate_graph.parse_and_solve
    • 6 correct / 44 refused / 0 wrong
    • refused_nonzero_count = 0
    • admitted IDs: 0003, 0014, 0018, 0021, 0024, 0042

New Since Last Message

  • Broadened the §9 guard from phrase-specific times as many|more matching to the structural captured shape: cardinal immediately followed by times inside the discrete-count injector.
  • Added no-reference hard negatives for 3 times the number of apples and 3 times the apples.
  • Added explicit safe-refusal controls for no-reference twice, no-reference double, and case 605.
  • Added canonical execution-lane composition-capability-scope.md.
  • Added canonical execution-lane comprehension-primitive-inventory.md.
  • Added this handoff manifest.

Not Done / WIP

  • No 5b emission/representation slice was implemented.
  • No <=20-case validation sub-corpus was authored.
  • No solver operation kinds or binding-graph node types were added.
  • No serving/eval/claims-ledger files were changed.
  • Superseded 0001 / 0002 / 0003 patch files from the Opus handoff directory were not committed.