feat(logos): bulk live morph authority on turn + teaching seams #97

Merged
core-labs merged 1 commit from feat/logos-bulk-live-authority into main 2026-07-20 23:42:50 +00:00
Owner

Summary

Lands bulk Logos live authority (not full Logos complete): observed-HE morph constraint consults the same pure decision function on production seams as the sealed four-arm ablation.

  • Shared authority: generate/observed_he_morph_v0/authority.pyevaluate_logos_on_text (modes: canonical / metadata / executable / adversarial)
  • CognitiveTurn: after resolve_surface, executable morph may force typed abstention (authority_source=logos_morph_constraint); never soft-pass singular-exclusivity against observed plural HE
  • TeachingStore: _auto_he_morph_decision now calls the same authority entry (ABSTAIN/FAIL_CLOSED → CONTESTED)
  • Typed IR: CanonicalConstraintLogosConstraint with rule_id, morphology_id, source_pack_id, source_span (no free meaning dict on the exercised path)
  • Honest residual: cue-table linguistic_pipeline remains parallel; one rule type; micro HE pack only — see docs/analysis/logos-bulk-live-authority-residual-2026-07-20.md

Improvement proof (sealed four-arm)

Metric Value
metadata_bit_identical_to_canonical true
executable_changed_decision true
wrong_count 0
refusal_correct true
provenance_complete true
Dual-run digests identical

Test plan

  • uv run pytest tests/test_observed_he_morph_constraint_v0.py tests/test_linguistic_governance_phases.py tests/test_surface_resolution.py -q → 40 passed
  • Four-arm ablation dual-run (real run_four_arm_ablation)
  • Live entry: evaluate_logos_on_text + CognitiveTurnPipeline.run on plural singular-exclusivity claim → abstain
  • English-only turn does not invent HE morph / logos authority
  • uv run core test --suite smoke -q → 180 passed

Non-claims

  • Not full HE/GRC lexicon; not holonomy crown LIVE; does not reopen English fraction_decrease ablation; does not migrate all legacy math IR.

[Verification]: Smoke suite passed locally (~133s, 180 passed); morph/governance unit suite 40 passed.

## Summary Lands **bulk Logos live authority** (not full Logos complete): observed-HE morph constraint consults the same pure decision function on production seams as the sealed four-arm ablation. - **Shared authority:** `generate/observed_he_morph_v0/authority.py` → `evaluate_logos_on_text` (modes: canonical / metadata / executable / adversarial) - **CognitiveTurn:** after `resolve_surface`, executable morph may force typed abstention (`authority_source=logos_morph_constraint`); never soft-pass singular-exclusivity against observed plural HE - **TeachingStore:** `_auto_he_morph_decision` now calls the same authority entry (ABSTAIN/FAIL_CLOSED → `CONTESTED`) - **Typed IR:** `CanonicalConstraint` → `LogosConstraint` with `rule_id`, `morphology_id`, `source_pack_id`, `source_span` (no free meaning dict on the exercised path) - **Honest residual:** cue-table `linguistic_pipeline` remains parallel; one rule type; micro HE pack only — see `docs/analysis/logos-bulk-live-authority-residual-2026-07-20.md` ## Improvement proof (sealed four-arm) | Metric | Value | |--------|-------| | `metadata_bit_identical_to_canonical` | true | | `executable_changed_decision` | true | | `wrong_count` | 0 | | `refusal_correct` | true | | `provenance_complete` | true | | Dual-run digests | identical | ## Test plan - [x] `uv run pytest tests/test_observed_he_morph_constraint_v0.py tests/test_linguistic_governance_phases.py tests/test_surface_resolution.py -q` → 40 passed - [x] Four-arm ablation dual-run (real `run_four_arm_ablation`) - [x] Live entry: `evaluate_logos_on_text` + `CognitiveTurnPipeline.run` on plural singular-exclusivity claim → abstain - [x] English-only turn does not invent HE morph / logos authority - [x] `uv run core test --suite smoke -q` → 180 passed ## Non-claims - Not full HE/GRC lexicon; not holonomy crown LIVE; does not reopen English `fraction_decrease` ablation; does not migrate all legacy math IR. [Verification]: Smoke suite passed locally (~133s, 180 passed); morph/governance unit suite 40 passed.
core-labs added 1 commit 2026-07-20 23:42:00 +00:00
Wire observed-HE morph constraint into CognitiveTurn answer path and
unify teaching store with the same pure decision function used by the
four-arm ablation. Typed LogosConstraint IR carries rule/morph/pack/span
provenance without free meaning dicts. Executable mode abstains on
plural-vs-singular exclusivity; metadata remains bit-identical to
canonical; adversarial OOV/missing fails closed. Residual dual-system
debt documented honestly (cue-table linguistic_pipeline still parallel).
core-labs merged commit f94dbd4045 into main 2026-07-20 23:42:50 +00:00
core-labs deleted branch feat/logos-bulk-live-authority 2026-07-20 23:42:51 +00:00
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: core-labs/core#97
No description provided.