feat(analyzer)!: make the scan report a KRM document that says what it knows - #275

Merged

sunib merged 15 commits into

mainfrom

feat/analyzer-asks1-2-permanence-and-krm-envelope

Jul 27, 2026

Commits on Jul 27, 2026

feat(analyzer): every refusal says whether it can ever stop being one

sunib
and
claude
committed
feat(manifestanalyzer)!: publish the permanence pair and every refusal code

sunib
and
claude
committed
feat(manifestanalyzer)!: the report is a KRM document that says what produced it

sunib
and
claude
committed
docs: record the report envelope and the permanence pair

sunib
and
claude
committed
fix(analyzer): classify the dynamic ignore-shadow refusal, and read the envelope

sunib
and
claude
committed
refactor(analyzer)!: a refusal says whether it can be solved, in plain words

sunib
and
claude
committed
feat(manifestanalyzer)!: a whole published document, and solvable is a boolean

sunib
and
claude
committed
feat(manifestanalyzer): a candidate says what is in it, not just how much

sunib
and
claude
committed
refactor(manifestanalyzer)!: keep each rendered type paired with its namespace

sunib
and
claude
committed
refactor(manifestanalyzer): drop the clusterScoped key nothing can fill

sunib
and
claude
committed
docs: the design record shows the type the contract actually publishes

sunib
and
claude
committed
docs: retire the analyzer-asks brief to finished/, now that it shipped

sunib
and
claude
committed
refactor(manifestanalyzer)!: delete the fleet-root flag, which was a guess

sunib
and
claude
committed
feat(manifestanalyzer): report the folder read graph, not half of it

sunib
and
claude
committed
docs: say the read-graph section's label the way the baseline says it

sunib
and
claude
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

feat(analyzer)!: make the scan report a KRM document that says what it knows - #275

feat(analyzer)!: make the scan report a KRM document that says what it knows#275
sunib merged 15 commits into
mainfrom
feat/analyzer-asks1-2-permanence-and-krm-envelope

Commits on Jul 27, 2026

feat(analyzer): every refusal says whether it can ever stop being one

feat(manifestanalyzer)!: publish the permanence pair and every refusal code

feat(manifestanalyzer)!: the report is a KRM document that says what produced it

docs: record the report envelope and the permanence pair

fix(analyzer): classify the dynamic ignore-shadow refusal, and read the envelope

refactor(analyzer)!: a refusal says whether it can be solved, in plain words

feat(manifestanalyzer)!: a whole published document, and solvable is a boolean

feat(manifestanalyzer): a candidate says what is in it, not just how much

refactor(manifestanalyzer)!: keep each rendered type paired with its namespace

refactor(manifestanalyzer): drop the clusterScoped key nothing can fill

docs: the design record shows the type the contract actually publishes

docs: retire the analyzer-asks brief to finished/, now that it shipped

refactor(manifestanalyzer)!: delete the fleet-root flag, which was a guess

feat(manifestanalyzer): report the folder read graph, not half of it

docs: say the read-graph section's label the way the baseline says it