Skip to content

fix: exclude _-prefixed meta dirs in RebuildIndex (Memo 138)#66

Merged
a6b8 merged 1 commit into
mainfrom
memo-138-grading-pipeline-fixes
Jun 20, 2026
Merged

fix: exclude _-prefixed meta dirs in RebuildIndex (Memo 138)#66
a6b8 merged 1 commit into
mainfrom
memo-138-grading-pipeline-fixes

Conversation

@a6b8

@a6b8 a6b8 commented Jun 20, 2026

Copy link
Copy Markdown
Contributor

Phantom _schema schema in the namespace rollup

Closes #65.

RebuildIndex.#listSchemaDirs enumerated the per-schema emit dir _schema as if it were a schema, surfacing a phantom pending schema that inflated the schema count and tainted the namespace rollup status.

This excludes _-prefixed meta dirs (_gradings, _schema, and any future _-prefixed island dir). Schema names are [a-z][a-z0-9-]*, so none legitimately start with _.

Found + verified during the Memo 138 non-deterministic grading rollout (377/412 namespaces graded). One-line, additive, no behavior change for real schemas.

#listSchemaDirs enumerated the _schema emit dir as a phantom pending schema, inflating the schema count and tainting the rollup. Excludes _-prefixed meta dirs (schema names never start with _).
@a6b8
a6b8 merged commit 24c2257 into main Jun 20, 2026
1 check passed
@a6b8
a6b8 deleted the memo-138-grading-pipeline-fixes branch June 20, 2026 14:49
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.

RebuildIndex: exclude _-prefixed meta dirs from schema enumeration (Memo 138)

1 participant