core/HANDOFF-gpt55-2026-06-18.md

# HANDOFF — gpt55 — 2026-06-18

## Agent and Session

- **Agent:** gpt55
- **Date:** 2026-06-18
- **Reasoning effort used:** high
- **Grok Build mode used:** not applicable; Codex default mode
- **Session entry point:** Implement PR #831 brief: bind ProblemFrame relations and measure organ-contract readiness; write results to the requested handoff path.

## Smoke Suite + Bootstrap Status

```text
uv run python -m core.cli test --suite smoke -q
108 passed in 123.64s
```

The repository has no callable `core-bootstrap` skill in this session. The GPT55 checklist was completed manually: instructions, runtime contracts, recent handoff, dirty state, baseline smoke, scope, pre-edit sweep, and invariant statement.

## Modules Touched

| File | Change type | Summary |
|---|---|---|
| `generate/kernel_facts.py` | modified | Added frozen mention, binding, bound-role, and bound-relation primitives. |
| `generate/problem_frame.py` | modified | Added bound question target and canonical frame collections. |
| `generate/problem_frame_builder.py` | modified | Added conservative span-grounded extraction, binding, relation construction, target grounding, and centralized punctuation-safe surface matching. |
| `generate/problem_frame_contracts.py` | created | Added pure diagnostic contract assessments and gap-based migration recommendation. |
| `scripts/gsm8k_problem_frame_adequacy.py` | created | Added gold-independent adequacy reporting. |
| `scripts/gsm8k_substrate_morphology.py` | modified | Replaced trigger-priority recommendations with contract-gap evidence and centralized boundary recognition. |
| `tests/test_problem_frame_builder.py` | modified | Added mention/span, quantity/entity/unit binding, transfer relation, target, and determinism coverage. |
| `tests/test_problem_frame_contracts.py` | created | Added missing/runnable percent contract tests. |
| `tests/test_gsm8k_problem_frame_adequacy.py` | created | Added adequacy report smoke coverage. |
| `tests/test_gsm8k_morphology_missing_kernel_labels.py` | modified | Added punctuation boundary and contract-gap planner expectations. |
| `docs/analysis/problemframe-bindings-contract-readiness-2026-06-18.md` | created | Recorded model, metrics, deferral rationale, and migration conditions. |
| `HANDOFF-gpt55-2026-06-18.md` | created | Session continuity and verification record. |

## Invariants Verified

| Invariant | Check performed | Result | Notes |
|---|---|---|---|
| `versor_condition(F) < 1e-6` | Scope trace + smoke suite | preserved | No algebra, field state, operator, or normalization path changed. |
| versor_apply / cga_inner exactness | Import/call-site sweep | untouched | No algebra or recall imports added. |
| Normalization boundaries respected | Diff review | pass | No normalization/unitization/repair added. |
| No approximate recall | Diff review | pass | No vault or ranking changes. |
| No answer admission | Train/holdout serving probes | pass | Train 30 correct / 20 refused / 0 wrong; holdout 5 / 495 / 0. |
| No unreviewed mutation | Diff/status review | pass | Diagnostic-only; no teaching, pack, report, or sealed artifact mutation. |
| Exact source evidence | Focused tests | pass | Mention and contract evidence uses original source spans. |

## Subagent / Arena Reconciliation

- Number of subagents spawned: 0
- Each subagent independently verified versor closure: not applicable
- Reconciliation: not applicable

## Tests Run

```text
tests/test_problem_frame_builder.py: 12 passed
tests/test_gsm8k_morphology_missing_kernel_labels.py: 8 passed
tests/test_kernel_no_new_legacy_derivation_surfaces.py: 2 passed
tests/test_problem_frame_contracts.py: 2 passed
tests/test_gsm8k_problem_frame_adequacy.py: 1 passed
core test --suite smoke -q: 108 passed
git diff --check: pass
```

Safety probes:

```text
train_sample: correct=30 refused=20 wrong=0; wrong_ids=[]
holdout_dev: correct=5 refused=495 wrong=0; wrong_ids=[]
```

Adequacy after implementation:

```text
train 50: entity=50 quantity_binding=46 relation=16 bound_target=42 candidates=42 runnable=1
holdout 500: entity=494 quantity_binding=452 relation=124 bound_target=402 candidates=423 runnable=1
```

## Open Tasks / Next Session Entry Point

1. Review the conservative local grammar against adequacy gap distributions; widen only with confuser tests and exact spans.
2. Bind container and labor-rate roles before allowing their contracts to become runnable.
3. Do not migrate `percent_partition` until runnable coverage and no-fallback organ consumption are proven beyond case 0046.

## Known Hazards / Do Not Touch

- `contract_runnable_count=1` in each corpus is intentionally conservative; do not replace it with trigger presence.
- Case `gsm8k-train-sample-v1-0046` is diagnostic evidence only, not serving authorization.
- Do not add raw-text fallback inside derivation organs or mutate `report.json`/sealed artifacts.

## Architectural Decisions Made This Session

- The canonical `ProblemFrame` owns mentions, bindings, relations, and target state; no parallel diagnostic graph.
- `subgroup_partition` and `percent_of` are distinct, and readiness requires matching subgroup referents.
- Contract assessment is a pure projection over typed frame evidence.
- Punctuation-safe token boundary matching is centralized in the ProblemFrame builder and reused by morphology.

## What Must Not Be Forgotten

`contract_runnable_count`, not process-trigger presence, is the honest migration-readiness metric. Serving remains unchanged.

## Skills Used This Session

- core-bootstrap: unavailable; checklist performed manually
- versor-coherence-guardian: unavailable; scope + smoke verification performed manually
- pre-edit-sweep: unavailable; import/caller/eval/test sweep performed manually
- claim-proposal-guardian: not applicable; no claim or proposal mutation
- Other: none