Skip to content

interval: unify semantic and emitter package assembly - #9207

Merged
kim-em merged 1 commit into
mainfrom
agent/interval-proof-registry
Aug 11, 2026
Merged

interval: unify semantic and emitter package assembly#9207
kim-em merged 1 commit into
mainfrom
agent/interval-proof-registry

Conversation

@kim-em

@kim-em kim-em commented Aug 11, 2026

Copy link
Copy Markdown
Owner

Summary

  • assemble semantic replay schemas and tactic emitter handles from one package descriptor
  • enforce exact package-local replay-key coverage plus global emitter uniqueness
  • route the live Real.sin checker and tactic through the joint registry
  • reject missing, extra, borrowed, duplicate, and wrong-role schema contributions

Verification

  • Build completed successfully (1959 jobs).
  • copyright, line-count, DAG, released-manifest, trust-surface, Phase 4, conformance-target, diff, banned-proof, and factor-freshness checks

Stacked on #9206.

@kim-em
kim-em force-pushed the agent/interval-proof-registry branch from ea3694b to 8d98d78 Compare August 11, 2026 19:30
@kim-em
kim-em changed the base branch from agent/interval-multi-instance to main August 11, 2026 19:59
@kim-em
kim-em merged commit f357b95 into main Aug 11, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant