MVP slices 1–5: the full loop — extract, bind, check, read, polish#3

Open

darko-mijic wants to merge 20 commits into

mainfrom

feature/anchors

Commits on Jun 10, 2026

Slice 1: the ts-morph extractor and the one graph (plan 06)
darko-mijic
committed
Post-review hardening (Codex adversarial pass): bin entry, default root, stale artifacts
darko-mijic
committed
Slice 2: generic anchors and the anchored layer (plan 07)
darko-mijic
committed
Post-review hardening (Codex adversarial pass): loud authored shape, id slots only, executable verifier
darko-mijic
committed
Slice 3: the graph-validator gate (plan 08)
darko-mijic
committed
Post-review hardening (Codex adversarial pass): kind-typed relation endpoints
darko-mijic
committed
Slice 4: the agent surface (the reader) and the Design Review (plan 09)
darko-mijic
committed

Commits on Jun 11, 2026

Post-review hardening (Codex adversarial pass): the shared resolving-test-anchor rule
darko-mijic
committed
Slice 5: polish — the CLI surface resolved, one diagnostic rule, the documented example, the clean-repo determinism test (plan 10)
darko-mijic
committed
Post-review hardening (Slice-5 review pass): name the bar where it is cited; attribute each determinism gate
darko-mijic
committed
Post-review hardening (extractor adversarial pass): parse-broken files fail loudly on both surfaces; the namespace import form extracts; every missing envelope field reports in one pass; a repeated…
darko-mijic
committed
Fail-closed example-verifier decode: the declared-claim contract row gates the reader's enabled decode and the Design Review's test-anchor rendering; the readiness ladder derives from SPEC_READINESS
darko-mijic
committed
CLI failure paths pinned: the --check-clean divergence branches and the parse errors covered; an error boundary keeps failures past discovery to one line, exit 1, stale artifacts removed (the injec…
darko-mijic
committed
Post-review hardening (test-coverage pass): mutation-proof evidence and array-carrier pins; real graph-flip assertion; id-brand pins; the empty typecheck stub deleted
darko-mijic
committed
Doc-fidelity repair: the concept docs match the landed surface — branded-ID DSL fragments, suffix-alone discovery, the schema sample, the acceptance criteria of record
darko-mijic
committed
JTBD drift repair against the language base: readiness is stated, never promoted; the verifier gap reads 'designed, stated done, unverified'; the Founding Principle is stated once (concept README) …
darko-mijic
committed
Post-review hardening (integration pass): the anchor flavor is a second branded layer — one __brand key with disjoint unit types reduces to never, so tsc enforced nothing for the flavored ids; cros…
darko-mijic
committed
Post-review hardening (verification pass): the shared enabled-example rule — one predicate decides conferral for decode and derived facts; the builder's id contract restated statically; opaque enve…
darko-mijic
committed
Post-review hardening (fix-verification pass): the adoption-arc gloss names its ratified rungs; the wrong-builder diagnostic reads as one sentence; the discovery skip-list boundary recorded as a na…
darko-mijic
committed
CI repair: recovery-path artifact removal never throws on Node 20 — force:true swallows only ENOENT there, so generated-as-a-file raised ENOTDIR out of the one-line law; success-path removals stay …
darko-mijic
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

MVP slices 1–5: the full loop — extract, bind, check, read, polish#3

MVP slices 1–5: the full loop — extract, bind, check, read, polish#3
darko-mijic wants to merge 20 commits into
mainfrom
feature/anchors

Commits on Jun 10, 2026

Slice 1: the ts-morph extractor and the one graph (plan 06)

Post-review hardening (Codex adversarial pass): bin entry, default root, stale artifacts

Slice 2: generic anchors and the anchored layer (plan 07)

Post-review hardening (Codex adversarial pass): loud authored shape, id slots only, executable verifier

Slice 3: the graph-validator gate (plan 08)

Post-review hardening (Codex adversarial pass): kind-typed relation endpoints

Slice 4: the agent surface (the reader) and the Design Review (plan 09)

Commits on Jun 11, 2026

Post-review hardening (Codex adversarial pass): the shared resolving-test-anchor rule

Slice 5: polish — the CLI surface resolved, one diagnostic rule, the documented example, the clean-repo determinism test (plan 10)

Post-review hardening (Slice-5 review pass): name the bar where it is cited; attribute each determinism gate

Post-review hardening (extractor adversarial pass): parse-broken files fail loudly on both surfaces; the namespace import form extracts; every missing envelope field reports in one pass; a repeated…

Fail-closed example-verifier decode: the declared-claim contract row gates the reader's enabled decode and the Design Review's test-anchor rendering; the readiness ladder derives from SPEC_READINESS

CLI failure paths pinned: the --check-clean divergence branches and the parse errors covered; an error boundary keeps failures past discovery to one line, exit 1, stale artifacts removed (the injec…

Post-review hardening (test-coverage pass): mutation-proof evidence and array-carrier pins; real graph-flip assertion; id-brand pins; the empty typecheck stub deleted

Doc-fidelity repair: the concept docs match the landed surface — branded-ID DSL fragments, suffix-alone discovery, the schema sample, the acceptance criteria of record

JTBD drift repair against the language base: readiness is stated, never promoted; the verifier gap reads 'designed, stated done, unverified'; the Founding Principle is stated once (concept README) …

Post-review hardening (integration pass): the anchor flavor is a second branded layer — one __brand key with disjoint unit types reduces to never, so tsc enforced nothing for the flavored ids; cros…

Post-review hardening (verification pass): the shared enabled-example rule — one predicate decides conferral for decode and derived facts; the builder's id contract restated statically; opaque enve…

Post-review hardening (fix-verification pass): the adoption-arc gloss names its ratified rungs; the wrong-builder diagnostic reads as one sentence; the discovery skip-list boundary recorded as a na…

CI repair: recovery-path artifact removal never throws on Node 20 — force:true swallows only ENOENT there, so generated-as-a-file raised ENOTDIR out of the one-line law; success-path removals stay …