docs: define interprocedural semantic architecture #1590

Job	Run time
lint (ruff + mypy --strict)	11s
own-check repo scan (github + msbuild) + composite action	48s
own-check SARIF -> GitHub code scanning (dog-food)	44s
extended codegen fuzz	33s
audit aggregation selftests	9s
OwnTS (React useEffect) -> OwnIR -> core	11s
C# leak extractor (Roslyn) -> OwnIR -> core	5m 19s
release-workflow environment-protection predicate (fixture-driven)	8s
golden C# compiles & runs (.NET)	29s
owen CLI (gate A) — clean install -> check -> findings (ubuntu-latest)	49s
P-014 Tier B — external reference resolution (--ref-dir)	42s
OwnTS OSS true positives -> runtime leak proof (jsdom)	8s
corpus benchmark (real C# recall + specificity)	5m 45s
tests (py3.11)	10s
tests (py3.13)	12s
tests (py3.12)	10s
owen CLI (gate A) — clean install -> check -> findings (windows-latest)	1m 36s
rust (fmt + clippy + tests)	34s
	18m 38s

Navigation Menu