spec - subreqs

Ideas 4

Values 4

Value	Distribution	Ideas	Share
duplicate_error { should be raised if a local idea shares a name with an import binding (unaliased idea name, or the alias when present). @tests ( ["../../../packages/language/test/validating.test.ts:reports duplicate when local idea shares unaliased import binding"] ["../../../packages/language/test/validating.test.ts:reports duplicate when local idea shares import alias"] ) }, sensible_graph_resolution { the imported namespace should not be assosciated with the new idea: e.g. ```rq from "../subreqs.rq" import myidea as myideaalias myidea this a new idea. maybe it references [myideaalias] ``` `myidea` in the import statement should not be assosciated with the new `myidea` definition - they're totally different. @tests ( ["../../../packages/language/test/linking.test.ts:import idea reference resolves to imported file when local idea shares name"] ["../../../packages/language/test/validating.test.ts:allows local idea when import uses an alias"] ) }		1	25%
imports_aliases_and_root_config { Imports, aliases, and root-alias config. Ideasets as a module's published surface. }, attribute_grammar_breadth { Flags, negated flags, block values, nested and named lists. Arbitrary at-keys as a domain dialect. }, completion_and_deprecation_analysers { Reqlan: Completion Status and Reqlan: Deprecation Impact — real shipped analysers nobody is showing. }, cytoscape_graph_view { Status/tag filters and the indirect-reference depth toggle. }, html_multipage_export { HTML multi-page export as an actual deliverable. }		1	25%
sub_file_binding { Symbol refs ["auth.ts".login], line ranges ["adc.cL#41-58"], and test-name anchors ["x.test.ts:rejects expired token"]. Requirements attach to code at symbol granularity, in any language. }, bidirectional_comment_links { rq-comment refs in TS, Python, C, ST, etc. Code points back, with working document links. }, refs_break_loudly { Unresolved references are error diagnostics with quick-fix code actions. File moves prompt to rewrite every inbound ref. The anti-rot argument — currently demonstrated nowhere. }, mcp_as_shaped_context { search_requirements, file_context, local_graph, summarize_subtree. Hand an agent six ideas and their edges instead of forty files. }		1	25%
tags_list_indexing_gap { List-form tags parse but store true instead of a tag array in the idea extractor, so half of real-world tag usage never reaches the index. }, inbound_references_command { reqlan.openInboundReferencesSummary is declared in package.json with no handler. }, typo_cleanup { Former implementaion typo in this file — corrected to implementation. }		1	25%

Idea	Value	Status	Tags	Summary
sensible_alias_support	duplicate_error { should be raised if a local idea shares a name with an import binding (unaliased idea name, or the alias when present). @tests ( ["../../../packages/language/test/validating.test.ts:reports duplicate when local idea shares unaliased import binding"] ["../../../packages/language/test/validating.test.ts:reports duplicate when local idea shares import alias"] ) }, sensible_graph_resolution { the imported namespace should not be assosciated with the new idea: e.g. ```rq from "../subreqs.rq" import myidea as myideaalias myidea this a new idea. maybe it references [myideaalias] ``` `myidea` in the import statement should not be assosciated with the new `myidea` definition - they're totally different. @tests ( ["../../../packages/language/test/linking.test.ts:import idea reference resolves to imported file when local idea shares name"] ["../../../packages/language/test/validating.test.ts:allows local idea when import uses an alias"] ) }			if an imported idea shares a name with an idea in the current file: When the import uses an alias, the base name may be reused locally — see ["../../language/imports.rq".import_tokenisation].
features_tier_1	sub_file_binding { Symbol refs ["auth.ts".login], line ranges ["adc.cL#41-58"], and test-name anchors ["x.test.ts:rejects expired token"]. Requirements attach to code at symbol granularity, in any language. }, bidirectional_comment_links { rq-comment refs in TS, Python, C, ST, etc. Code points back, with working document links. }, refs_break_loudly { Unresolved references are error diagnostics with quick-fix code actions. File moves prompt to rewrite every inbound ref. The anti-rot argument — currently demonstrated nowhere. }, mcp_as_shaped_context { search_requirements, file_context, local_graph, summarize_subtree. Hand an agent six ideas and their edges instead of forty files. }		features, tier-1	The reasons to adopt. All verified as shipping today.
features_tier_2	imports_aliases_and_root_config { Imports, aliases, and root-alias config. Ideasets as a module's published surface. }, attribute_grammar_breadth { Flags, negated flags, block values, nested and named lists. Arbitrary at-keys as a domain dialect. }, completion_and_deprecation_analysers { Reqlan: Completion Status and Reqlan: Deprecation Impact — real shipped analysers nobody is showing. }, cytoscape_graph_view { Status/tag filters and the indirect-reference depth toggle. }, html_multipage_export { HTML multi-page export as an actual deliverable. }		features, tier-2	The depth. Also shipping.
phase_0_honesty_audit	tags_list_indexing_gap { List-form tags parse but store true instead of a tag array in the idea extractor, so half of real-world tag usage never reaches the index. }, inbound_references_command { reqlan.openInboundReferencesSummary is declared in package.json with no handler. }, typo_cleanup { Former implementaion typo in this file — corrected to implementation. }	pending	tooling, honesty	In parallel with content rewrite. Fix what the honesty audit surfaced.