core-labs/core
core-labs/core
1
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity

feat: Master Convergence Stages 1–4 (land closed stack + skeptic fixes) #95

Merged
core-labs merged 12 commits from feat/observed-he-morph-constraint-v0 into main 2026-07-20 22:40:58 +00:00
Conversation 0 Commits 12 Files changed 28 +2214 -214
core-labs commented 2026-07-20 22:40:08 +00:00
Owner
Copy link

Summary

Lands the Master Blueprint (2026-07-20) Stage 1–4 stack onto main in one PR.

PRs #91–#94 were stacked and closed without merge. Follow-up fixes were pushed to feat/observed-he-morph-constraint-v0 but never re-PR’d. This PR is the correct land path: tip → main, including all stage work and post-close skeptic remediations.

Tip: 8c4221d4
Base: main @ 1f1a94a3 (#90 Cl(4,1) geometric sovereignty already merged)

What this includes (by stage)

Stage Content
1 ADR collision freeze + dual-pack packs/data vs draft he/grc serve boundary (ADR-0253); suite SoT re-export so cli._TEST_SUITES cannot drift from runtime
2 Scale domain 0 < k < 1 shared; L2 excision pins; Py/Rust parity boundary honesty
3 Geometric coherence taxonomy; multi-root HE fail-closed; inductive closure with geometric work-gate (non-admissible edges never seed expansion); OOV geometric pins; vault promo residual default 1e-6
4 Observed-HE morph constraint v0; four-arm ablation (wrong=0, metadata digests bit-identical); live TeachingStore auto path

Post-#94 commits on this tip

  • 9f85832b — full-suite gates: suite SoT + multi-root depth pin
  • 8c4221d4 — Stage 3 inductive: only admissible edges enter work/derived
  • c71c00cc — earlier skeptic remediations (teaching auto-path, residual threshold, etc.)

Supersedes (closed unmerged)

  • #91 Stage 1 governance
  • #92 Stage 2 physics pins
  • #93 Stage 3 multi-root
  • #94 Stage 4 observed-HE

Test plan

  • uv run core test --suite smoke -q — 180 passed (~358s) on tip
  • uv run core test --suite full -q on tip 8c4221d4 — 13285 passed, 1 failed (env only: unstaged delete of evals/reports/apple_uma_*; file present at HEAD; unrelated dirt left unstaged)
  • Stage 3 inductive suite — 10 passed (incl. intermediate non-admissible seed leak pin)
  • Stage 4 ablation + teaching auto path — green
  • No force-push; unrelated worktree dirt never staged

[Verification]: Smoke suite passed locally (~358s, 180 passed); full suite 13285 passed / 1 env-dirt fail on tip 8c4221d4

Merge note

Single merge of the verified tip is preferred over reopening the 4-way stack. Intermediate stage branches remain for archaeology; this tip already contains their merges.

## Summary Lands the **Master Blueprint (2026-07-20) Stage 1–4** stack onto `main` in one PR. PRs **#91–#94** were stacked and closed **without merge**. Follow-up fixes were pushed to `feat/observed-he-morph-constraint-v0` but never re-PR’d. This PR is the correct land path: **tip → main**, including all stage work and post-close skeptic remediations. **Tip:** `8c4221d4` **Base:** `main` @ `1f1a94a3` (#90 Cl(4,1) geometric sovereignty already merged) ### What this includes (by stage) | Stage | Content | |-------|---------| | **1** | ADR collision freeze + dual-pack `packs/data` vs draft he/grc serve boundary (ADR-0253); suite SoT re-export so `cli._TEST_SUITES` cannot drift from runtime | | **2** | Scale domain `0 < k < 1` shared; L2 excision pins; Py/Rust parity boundary honesty | | **3** | Geometric coherence taxonomy; multi-root HE fail-closed; inductive closure with **geometric work-gate** (non-admissible edges never seed expansion); OOV geometric pins; vault promo residual default `1e-6` | | **4** | Observed-HE morph constraint v0; four-arm ablation (`wrong=0`, metadata digests bit-identical); live `TeachingStore` auto path | ### Post-#94 commits on this tip - `9f85832b` — full-suite gates: suite SoT + multi-root depth pin - `8c4221d4` — Stage 3 inductive: only admissible edges enter `work`/`derived` - `c71c00cc` — earlier skeptic remediations (teaching auto-path, residual threshold, etc.) ### Supersedes (closed unmerged) - #91 Stage 1 governance - #92 Stage 2 physics pins - #93 Stage 3 multi-root - #94 Stage 4 observed-HE ## Test plan - [x] `uv run core test --suite smoke -q` — **180 passed** (~358s) on tip - [x] `uv run core test --suite full -q` on tip `8c4221d4` — **13285 passed**, 1 failed (env only: unstaged delete of `evals/reports/apple_uma_*`; file present at HEAD; unrelated dirt left unstaged) - [x] Stage 3 inductive suite — 10 passed (incl. intermediate non-admissible seed leak pin) - [x] Stage 4 ablation + teaching auto path — green - [x] No force-push; unrelated worktree dirt never staged **[Verification]: Smoke suite passed locally (~358s, 180 passed); full suite 13285 passed / 1 env-dirt fail on tip `8c4221d4`** ## Merge note Single merge of the verified tip is preferred over reopening the 4-way stack. Intermediate stage branches remain for archaeology; this tip already contains their merges.
core-labs added 12 commits 2026-07-20 22:40:10 +00:00 
Reconcile Master Blueprint ADR-0240–0253 titles with the live Accepted
registry without renumbering history. Claim ADR-0253 for the freeze policy
itself; reserve 0254–0261 for Blueprint gaps. Document packs/data vs
packs/he|grc dual boundary and pin serve isolation in smoke/packs suites.

[Verification]: Smoke 180 passed (includes 4 dual-pack boundary pins)
Executable Stage 2 exit evidence: shared fraction-decrease scale domain,
identity L2 helper absence, GoldTether geometric residual path, RATIFIED|
DEMOTED-only ratifier, active Cl(4,1) product/conformal/Gram/GT/sandwich
smoke, dual-backend vs Python-authoritative parity boundary (no false
rotor_power Rust claims), and LE f64 SHA-256 digests.

[Verification]: algebra suite green (includes Stage 2 pins); stage2 9 passed 1 skipped
Stop silent roots[0] commitment when multiple HE/GRC roots are observed.
Return typed RootSenseAmbiguity, mark runnable assessments non-runnable
with AMBIGUOUS_ROOTS provenance, and refuse multi-root node canonicalization
without authored single-candidate resolution.

[Verification]: stage3 root ambiguity + oov pipeline tests passed (39)
Complete Stage 3 residual gates on live pipeline authority:

- GeometricCoherenceVerdict distinguishes field-closed vs unverified
  without inventing EpistemicState.COHERENT (dual taxonomy ownership doc).
- Bounded expand_relation_closure over teaching-store triples with budget,
  cycle safety, base multi-tail contradictions, replayable provenance in
  operator_invocation / trace_hash.
- OOV/egress authority tests: conformal neighbors context, cga_inner nearest,
  vault_hits not surface gate.

[Verification]: Stage 3 unit 18 passed; pipeline regression 27 passed; smoke 180 passed
Vertical slice feat/observed-he-morph-constraint-v0:

- Load observed HE morphology from compiled packs/data/he_logos_micro_v1
  with exact source_span provenance.
- Authored PluralAbstainRuleV0 → language-independent CanonicalConstraint.
- TeachingStore.add consumer seam: ABSTAIN/FAIL_CLOSED → CONTESTED.
- Sealed four-arm ablation: canonical, metadata (inert), executable
  (decision change), adversarial OOV/missing (fail closed).
- No English-to-Hebrew pseudo-morphology.

[Verification]: observed-HE 5 passed; teaching regression 15 passed; smoke 180 passed
- Metadata arm returns baseline decision payload (bit-identical digests).
- TeachingStore auto-applies HE morph rule from compiled pack (live path).
- Inductive derived edges stamp geometric admissibility via pipeline versor
  grounding; refuse ungrounded promotions.
- VaultPromotionPolicy default residual_threshold=1e-6 for COHERENT.

[Verification]: skeptic_fixes 26 passed; stage4 ablation digests equal
- Re-export core.cli._TEST_SUITES from cli_test.TEST_SUITES so argparse
  and tests cannot drift from the runtime packs/smoke/algebra pins
  (Stage dual-pack draft boundary was only on cli_test).
- Align relational ablation multi-root metadata test with Stage 3
  fail-closed policy: ≥2 unique roots do not emit [root:] notes.

[Verification]: Smoke suite passed locally (~133s, 180 passed);
postfix targeted 5/5; full pre-fix was 4 failed / 13281 passed
(2 env dirt/flake classified separately).
Non-admissible candidates no longer enter work/derived. Only admissible
base and derived edges seed fixed-point steps, so multi-step paths close
only under geometric conditions (Stage 3 exit). Updates tests that
previously locked in admissible=False-but-still-promoted behavior.

[Verification]: tests/test_stage3_epistemic_inductive.py 10 passed
core-labs merged commit 18c578d960 into main 2026-07-20 22:40:58 +00:00
core-labs deleted branch feat/observed-he-morph-constraint-v0 2026-07-20 22:40:59 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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#95
No description provided.
Delete branch "feat/observed-he-morph-constraint-v0"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?