Shay
8c4221d496
fix(stage3): gate inductive expansion on geometric admissibility
...
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
2026-07-20 15:07:12 -07:00
Shay
9f85832baa
fix: full-suite gates — suite SoT + multi-root depth pin
...
- 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).
2026-07-20 14:58:21 -07:00
Shay
c71c00cca6
fix: skeptic remediations for Stage 3–4 exit gates
...
- 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
2026-07-20 14:08:37 -07:00
3de431dcdc
Merge branch 'feat/stage3-he-ambiguity-epistemic-closure' into feat/observed-he-morph-constraint-v0
2026-07-20 21:05:42 +00:00
7755fd4708
Merge branch 'test/stage2-physics-parity-hardening' into feat/stage3-he-ambiguity-epistemic-closure
2026-07-20 21:05:30 +00:00
2a32887809
Merge branch 'docs/stage1-governance-boundary-freeze' into test/stage2-physics-parity-hardening
2026-07-20 21:05:18 +00:00
68cf8258fa
Merge branch 'main' into docs/stage1-governance-boundary-freeze
2026-07-20 21:05:03 +00:00
Shay
121e9ebb3c
feat(he): Stage 4 observed-HE morph constraint v0 + four-arm ablation
...
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
2026-07-20 14:00:01 -07:00
Shay
f9f94d8df8
feat(cognition): Stage 3 geometric coherence, inductive closure, OOV pins
...
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
2026-07-20 13:54:51 -07:00
Shay
aaa8503f0b
feat(recognition): Stage 3 fail-closed multi-root depth ambiguity
...
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)
2026-07-20 13:47:02 -07:00
Shay
b1dc57ff22
test(physics): Stage 2 hardening pins for scale domain, L2 excision, parity
...
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
2026-07-20 13:45:05 -07:00
Shay
8494a239e4
docs(governance): Stage 1 ADR collision freeze + dual-pack serve boundary
...
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)
2026-07-20 13:43:25 -07:00
