Skip to content

feat(core-types): ✨ add validated primitives for timeline T1 - #78

Merged
kostysh merged 5 commits into
developfrom
codex/core-types-t1
Oct 16, 2026
Merged

kostysh merged 5 commits into
developfrom
codex/core-types-t1

Conversation

@kostysh

@kostysh kostysh commented Oct 16, 2026

Copy link
Copy Markdown
Owner

Для timeline T1 нужны общие ID, opaque revision, evidence reference и различимые wall/elapsed values. Этот инкремент добавляет семь чистых синхронных parsers через существующий Result, distinct brands и неизменяемые результаты. Прежний Result и его потребители сохранены; новых dependencies, хранения или clock нет.

В поставку входят принятые документы timeline CP1 и core-types CP1, реализация, публичные contract/runtime checks, M1 с неизменным потребителем и двумя реализациями, исполняемый guide и evidence. CP2 принят оператором на ebca941ba8fb774876f1054757e1919e38d7afd0. Это поставка нужного T1 поднабора, не завершение всей #45, timeline или I1.

Проверки: полные локальные format:check, lint, typecheck, build, test — PASS; core-types 20/20, constitution 18/18, state 53/53, queue 53/53, без failed/cancelled/skipped. Compile-time fixtures, import/boundary probes, guide и git diff --check прошли. Документы: 14 Markdown-файлов, 233 локальные ссылки/якоря, 11 Document IDs.

Аудиты: Concept delta — PASS на cfd3f5a для core-types.spec и дельт timeline.spec/system-design/AGENTS/tooling; неизменённая область сохраняет покрытие. Spec первоначально дал FAIL из-за зависимости clean typecheck от готового dist; finding исправлен без изменения контракта. Spec и Security delta — PASS на 650fc51; финальная запись результатов — Spec PASS на ebca941. Spec охватывает код/config/tests, core-types.plan, timeline.plan, roadmap, README, guide/evidence. Прежние PASS принятых документов сохраняются. Security — scoped, не whole-system audit.

Refs #45

@kostysh
kostysh merged commit 2b90863 into develop Oct 16, 2026
1 check passed
@kostysh
kostysh deleted the codex/core-types-t1 branch October 16, 2026 22:32
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