Sub-module
Semantic Analysis
Build typed symbol, call, control-flow, data-flow, route, schema and generated-lineage evidence.
How the capability changes the workflow
Build typed symbol, call, control-flow, data-flow, route, schema and generated-lineage evidence.
Review and automation reason from exact code relationships rather than text similarity alone.
Capability contract
- BehaviorBuild typed symbol, call, control-flow, data-flow, route, schema and generated-lineage evidence.
- OutcomeReview and automation reason from exact code relationships rather than text similarity alone.
- BoundaryPartial analysis cannot present itself as complete construction proof.
- SourceHaephestus Part 12