Skip to content

test: cover interface-extends-interface EXTENDS + entry/exit slice fidelity#50

Open
rahlk wants to merge 1 commit into
chore/issue-44-nul-escape-separatorsfrom
test/issue-45-inheritance-slice-coverage
Open

test: cover interface-extends-interface EXTENDS + entry/exit slice fidelity#50
rahlk wants to merge 1 commit into
chore/issue-44-nul-escape-separatorsfrom
test/issue-45-inheritance-slice-coverage

Conversation

@rahlk

@rahlk rahlk commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

Closes #45. Epic #26 follow-up.

Stacked on chore/issue-44-nul-escape-separators (on top of the compliance cluster). Review this PR's diff in isolation; merge the follow-up stack bottom-up after the cluster.

Verified: 104 tests / 0 fail, typecheck clean, schema.neo4j.json lockstep; task-scoped review + final whole-branch review (READY TO MERGE).

…lices (#45)

Adds a first-party `ColoredShape extends Shape` interface to the dataflow-app
hierarchy fixture and asserts the resulting Interface→Interface EXTENDS edge
by node identity in the neo4j schema test — the one heritage path #33 handles
but nothing previously exercised.

Also asserts that L3 `@entry`/`@exit` body nodes byte-slice to the callable's
whole span (per extract.ts's emitNode), alongside the existing statement-node
slice test. Confirms `param` is contracted out before emission (folded onto
`@entry`/`@formal_in`) and is never present as a raw body node, so no slice
test is fabricated for it.
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