Phase 0 — the protocol as typed code#2

Merged

darko-mijic merged 29 commits into

mainfrom

feature/mvp-init

Jun 10, 2026

Commits on Jun 7, 2026

Refresh AGENTS.md for the implementation phase: navigation map, status, build path
darko-mijic
committed
Impement Session 1 — Bootstrap + Phase 0 (the protocol as typed code)
darko-mijic
committed
Produce initial version of the hardening plan after first implementation session
darko-mijic
committed
Refine the hardening plan with founding-ideation layer
darko-mijic
committed
Reinforce the hardening plan with additional founding-ideation layer view
darko-mijic
committed
Execute Phase 0 hardening Wave A — decision-free fidelity + simplification
darko-mijic
committed
Split the hardening plan into execution / decisions / concept; absorb adversarial review
darko-mijic
committed
Introduce WIP fomalization plan
darko-mijic
committed

Commits on Jun 10, 2026

Fold-A: restructure the UL into a lean glossary; rehome the model into 00-07; apply R1/R2
darko-mijic
committed
Archive review artifacts from gitignored scratch into tracked reviews/
darko-mijic
committed
Fold-B: resolvable-now sweep - specTest binding-only (R3), MD-8/MD-9 recorded, plans/03 slimmed to six
darko-mijic
committed
chore: exempt archived reviews/ from prettier (verbatim historical records)
darko-mijic
committed
Finalize plans 02/04 + AGENTS nav after the pre-grill folds
darko-mijic
committed
Grill: D1-D4/D7/D8 resolved as MD-10..MD-15; base reconciled; Wave B execution-ready
darko-mijic
committed
Consistency + consolidation pass after the fold/grill sessions
darko-mijic
committed
Wave B executed: typed sections, kind-conditional floor table, de-padded example, .sdp.ts (MD-9..MD-15)
darko-mijic
committed
Post-Wave-B adversarial pass (MD-16): promoted evidence must be carried; runtime authoring-shape check; doc: targets named deferral
darko-mijic
committed
De-temporalize code (plan 05 §1): deferredInSession1 -> evaluatedOver:'graph'; comments state invariants, not events
darko-mijic
committed
De-temporalize docs (plan 05 §2): cite decisions not events in 02/04/05/07; AGENTS.md status -> one pointer at plans/; glossary header shrinks, base-§ map moves to DECISIONS.md
darko-mijic
committed
DECISIONS.md ratified-name registry (plan 05 §3); bare MD-n refs in 02/05/07/glossary now lead with meaning
darko-mijic
committed
Curation annotations + admission bar (plan 05 §4): R-series RETIRE-AT-FOLD, D-table fold note, three-part test in working discipline, 'pre-graph' ratified in the glossary ledger
darko-mijic
committed
Wire check:temporal guard into npm run check (plan 05 §5): banned temporal tokens fail the gate; DECISIONS.md/plans/reviews exempt by genre
darko-mijic
committed
Plan 05 done-record + lint fix: simplify graph-clause assertion (literal type carries the value); plans/05 is now the sole 'what next' home
darko-mijic
committed
Harden the temporal guard (post-review): fail-closed Node wrapper replaces !-negation; dedicated CI step (workflow never ran npm run check); all three exit paths verified
darko-mijic
committed
Guard round 2 (post-review): sweep inverts to all tracked files minus genre exemptions; guard's own plan-ref comment removed; self-exemption is use-mention only
darko-mijic
committed
Guard round 3 (post-review): self-exemption narrowed to line-level use-mention (guard's own file is swept); plans/[0-9]+ un-caps the numbered-plan ban
darko-mijic
committed
Guard round 4 (post-review): self-allowance is exact-line equality, at most once; copied-regex smuggle and duplicated literal verified caught
darko-mijic
committed
Phase 0 wrap-up (internal review): ref() doc-comment cites the decision (carried evidence, MD-16) not the review event; LICENSE (Apache-2.0) + package repository field land
darko-mijic
committed
Fix CI typecheck hermeticity: map the package name to src/index.ts in tsconfig paths — locally tsc resolved the self-import through exports -> stale dist/, which a fresh checkout (CI) never has; sa…
darko-mijic
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Phase 0 — the protocol as typed code#2

Phase 0 — the protocol as typed code#2
darko-mijic merged 29 commits into
mainfrom
feature/mvp-init

Commits on Jun 7, 2026

Refresh AGENTS.md for the implementation phase: navigation map, status, build path

Impement Session 1 — Bootstrap + Phase 0 (the protocol as typed code)

Produce initial version of the hardening plan after first implementation session

Refine the hardening plan with founding-ideation layer

Reinforce the hardening plan with additional founding-ideation layer view

Execute Phase 0 hardening Wave A — decision-free fidelity + simplification

Split the hardening plan into execution / decisions / concept; absorb adversarial review

Introduce WIP fomalization plan

Commits on Jun 10, 2026

Fold-A: restructure the UL into a lean glossary; rehome the model into 00-07; apply R1/R2

Archive review artifacts from gitignored scratch into tracked reviews/

Fold-B: resolvable-now sweep - specTest binding-only (R3), MD-8/MD-9 recorded, plans/03 slimmed to six

chore: exempt archived reviews/ from prettier (verbatim historical records)

Finalize plans 02/04 + AGENTS nav after the pre-grill folds

Grill: D1-D4/D7/D8 resolved as MD-10..MD-15; base reconciled; Wave B execution-ready

Consistency + consolidation pass after the fold/grill sessions

Wave B executed: typed sections, kind-conditional floor table, de-padded example, .sdp.ts (MD-9..MD-15)

Post-Wave-B adversarial pass (MD-16): promoted evidence must be carried; runtime authoring-shape check; doc: targets named deferral

De-temporalize code (plan 05 §1): deferredInSession1 -> evaluatedOver:'graph'; comments state invariants, not events

De-temporalize docs (plan 05 §2): cite decisions not events in 02/04/05/07; AGENTS.md status -> one pointer at plans/; glossary header shrinks, base-§ map moves to DECISIONS.md

DECISIONS.md ratified-name registry (plan 05 §3); bare MD-n refs in 02/05/07/glossary now lead with meaning

Curation annotations + admission bar (plan 05 §4): R-series RETIRE-AT-FOLD, D-table fold note, three-part test in working discipline, 'pre-graph' ratified in the glossary ledger

Wire check:temporal guard into npm run check (plan 05 §5): banned temporal tokens fail the gate; DECISIONS.md/plans/reviews exempt by genre

Plan 05 done-record + lint fix: simplify graph-clause assertion (literal type carries the value); plans/05 is now the sole 'what next' home

Harden the temporal guard (post-review): fail-closed Node wrapper replaces !-negation; dedicated CI step (workflow never ran npm run check); all three exit paths verified

Guard round 2 (post-review): sweep inverts to all tracked files minus genre exemptions; guard's own plan-ref comment removed; self-exemption is use-mention only

Guard round 3 (post-review): self-exemption narrowed to line-level use-mention (guard's own file is swept); plans/[0-9]+ un-caps the numbered-plan ban

Guard round 4 (post-review): self-allowance is exact-line equality, at most once; copied-regex smuggle and duplicated literal verified caught

Phase 0 wrap-up (internal review): ref() doc-comment cites the decision (carried evidence, MD-16) not the review event; LICENSE (Apache-2.0) + package repository field land

Fix CI typecheck hermeticity: map the package name to src/index.ts in tsconfig paths — locally tsc resolved the self-import through exports -> stale dist/, which a fresh checkout (CI) never has; sa…