sourcecode 5.9.9__tar.gz → 5.9.11__tar.gz

{sourcecode-5.9.9 → sourcecode-5.9.11}/CHANGELOG.md

@@ -1,5 +1,77 @@
 # Changelog
 
+## [5.9.11] — 2026-08-28
+
+*`AUD-616` remediation: seven of nine rows closed, two partially, one carried forward.*
+
+**Fixed**
+
+- A stack's confidence now answers to the source in the tree. A repository of 151
+  `.kt` files with zero `.java` files and one `pom.xml` in a subdirectory published
+  `stack: java`, `confidence: high`, `primary: true` and headlined itself a Java
+  library. `JvmExtDetector` admits on source population as well as manifest
+  filename, so a Kotlin repository built with the Groovy DSL is no longer
+  invisible; and `TypeClassifier._enrich_stack`, which is the real authority for
+  `confidence`, now caps a stack with no source files of its own at `low` and
+  floors the tree's largest source population at `medium` against a competing
+  manifest-backed claim. (`AUD-616-KOTLIN`)
+- A JVM repository with sources and no application-defining framework classifies as
+  `library` rather than `unknown`, whether or not it is multi-module. Module count
+  describes a build layout, not whether a repository is a library. Measured over
+  thirteen JVM repositories: three change and all three are libraries, ten are
+  unchanged. (`AUD-616-JUNIT4-SELF`)
+- The output-ceiling refusal offers `--output FILE` before any `--format`
+  substitution, and each substitution states that it re-runs the command and that
+  its cost on this repository is unmeasured. The first suggestion was previously
+  the one path held open as an availability defect. (`AUD-616-O`)
+- The cache GC no longer evicts the entry the calling run has just written. A core
+  larger than the whole store budget was written and deleted inside one process on
+  every run, so that repository could never be served from cache and nothing said
+  why. `cache status` publishes `size_budget_mb`, `largest_core_bytes` and an
+  `over_budget_reason`. (`AUD-616-P`)
+- The delayed liveness warning names the phase, the stage and its counts, how long
+  the run has been in that phase, and whether the phase changed since the previous
+  warning — the signal that separates a blocked run from a slow one. The in-phase
+  clock is the phase's own, not the run's. (`AUD-616-L`)
+
+**Added**
+
+- The root analysis is a phase runner: `ASK_MAX_ANALYSIS_SECONDS` stops it at a
+  measured seam and returns a structured `partial-answer-v1` result naming the
+  phases completed and pending, the elapsed time and the budget's provenance,
+  instead of nothing at all. It declares `--ci` and `--allow-partial` from the same
+  factories every other phase runner uses, and a cut gated run exits 75.
+  (`AUD-616-TUTORIALS`)
+
+**Performance**
+
+- Two repeated walks of the same file tree removed from the detection phase:
+  `manifest_cache._key()` ran fourteen recursive globs per call and was called by
+  both `load()` and `save()` for each module, and the classifier flattened the tree
+  seven times per `enrich`. Measured cold on a 24,073-file monorepo: detection
+  30.3 s → 9.2 s, total 54.9 s → 32.5 s (**×1.69**), payload byte-identical.
+
+**Known limits**
+
+- The two availability items stay open and are not closed on measurements taken
+  here. Neither reproduces on the engineering platform — root compact completes in
+  54.9 s with output, and `audit-report --format markdown` ran 2/2 clean — and both
+  were reported against a different build and platform. Independent re-measurement
+  there, plus a published repository-size envelope, is the remaining work.
+  (`AUD-616-TUTORIALS`, `AUD-616-L`)
+- Windows process-tree cleanup is carried forward untouched: it cannot be
+  reproduced or refuted from the engineering platform. (`AUD-616-WIN-PROC`)
+
+## [5.9.10] — 2026-08-27
+
+*Release-alignment patch release.*
+
+**Release**
+
+- Synchronizes package metadata, CLI runtime, README and user-guide version surfaces at `5.9.10`.
+- Carries forward the `5.9.9` documentation and availability guidance.
+- Keeps the `AUD-615` reliability limits explicit pending their independent closure.
+
 ## [5.9.9] — 2026-08-27
 
 *Release-alignment patch release.*

{sourcecode-5.9.9 → sourcecode-5.9.11}/CLAUDE.md

@@ -75,8 +75,16 @@ the same command runs on a 3 300-file monolith.
   not 246 s. `-o addopts=""` is no longer the way to see the count; it now
   *removes* the parallelism. Override the worker count with `-n <k>`, not by
   clearing `addopts`.
-- **Run one file while you work, the suite before you commit.** Naming the file
-  is ~2 s; the full run is 70 s. `-k <pattern>` is not the shortcut — it
-  deselects but still collects all ~9 000 tests, so it floors at 16 s. After a
-  red run, `--lf` re-runs only what failed.
+- **Run only the tests your change touches. The full suite runs once, at the end
+  of a session of modifications — not per change, not per commit.** Name the
+  files that cover what you edited: ~2 s each. A whole-suite run is 70 s plus the
+  wait, and repeating it after every step is the single most expensive habit
+  available here — a documentation-only edit never needs one at all (the doc
+  batteries `test_ledger_*`, `test_bundled_docs`, `test_integration_docs` are the
+  whole obligation). `-k <pattern>` is not the shortcut — it deselects but still
+  collects all ~9 000 tests, so it floors at 16 s. After a red run, `--lf`
+  re-runs only what failed.
+- **A red the suite already had is not yours to discover twice.** Before treating
+  a failure as a regression, check it against `HEAD` (`git stash -u`, run the
+  same file, pop). Record pre-existing reds once and move on.
 - The entry point for local runs is `run_cli.py`, not `python -m sourcecode.cli`.

{sourcecode-5.9.9 → sourcecode-5.9.11}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: sourcecode
-Version: 5.9.9
+Version: 5.9.11
 Summary: Persistent structural context and ultra-fast repeated analysis for AI coding agents
 Project-URL: Homepage, https://github.com/HarounDominique/sourcecode
 Project-URL: Repository, https://github.com/HarounDominique/sourcecode
@@ -59,7 +59,7 @@ Description-Content-Type: text/markdown
 > question. All analysis is local and deterministic; see [Privacy](#configuration--privacy)
 > before inspecting a repository whose telemetry policy you need to control.
 
-![Version](https://img.shields.io/badge/version-5.9.9-blue)
+![Version](https://img.shields.io/badge/version-5.9.11-blue)
 ![Python](https://img.shields.io/badge/python-3.9%2B-green)
 
 Copyright (c) 2026 Dominique Haroun. All rights reserved. ASK Engine 5.7.0 and
@@ -196,14 +196,29 @@ set `ASK_MAX_RSS_MB=<megabytes>`; if the process exceeds it, ASK refuses the
 answer with `MEMORY_TOO_LARGE`, including the observed peak and limit. Leave it
 unset, or set it to `0`, to disable the ceiling explicitly.
 
-**Current performance status.** Release 5.9.9 retains the shared Canonical IR
+**Current performance status.** Release 5.9.11 retains the shared Canonical IR
 path used by `validation` and now passes that same CIR into labelled `data-exposure`
 runs; the no-label path remains parse-free. These are implementation properties,
-not duration promises. A controlled external warm-path audit has opened performance
-and bounded-output regressions for this release; use `ask cache model <repo>` and
-`--progress stderr` for supervised runs, and consult the
-[latest external audit intake](docs/AUDIT-2026-08-26-EXTERNAL-5.9.0.md) before
-treating a historical timing or bounded flag as a current guarantee.
+not duration promises. It also removes two repeated walks of the same file tree in
+the detection phase, measured at **1.69× on a 24,073-file monorepo** — 54.9 s to
+32.5 s cold, with a byte-identical answer. A measurement on one repository and one
+machine is not a duration promise either.
+
+The root analysis now stops at `ASK_MAX_ANALYSIS_SECONDS` instead of running past
+it: a spent budget returns a structured partial result naming the phases that
+completed and those that did not, and `--ci` makes a cut run fail the gate with
+exit 75 (`--allow-partial` accepts one deliberately). The long-run progress
+message names the phase it is in and whether that phase has changed, so a slow run
+is distinguishable from a blocked one.
+
+The current external audit still records two open availability limits, and they
+are held open deliberately: `audit-report --format markdown` under contention, and
+the root compact flow under strict timeouts on very large monorepos. Neither
+reproduces on the engineering platform, so neither is closed on measurements taken
+there. Use `ask cache model <repo>`, `--progress stderr`, `audit-report
+--from-risk` and JSON/YAML output for supervised runs; consult the
+[current reliability queue](docs/DEVELOPMENT-ROADMAP.md#external-audit-intake--aud-616-re-audit-release-5910)
+before treating a historical timing or bounded flag as a current guarantee.
 
 **CI delivery and workspace licensing.** `migrate-check --format sarif` emits
 ASK-owned migration findings with source locations and provenance; it does not
@@ -218,7 +233,7 @@ in `overlapping_paths`; a missing or non-directory path is rejected as structure
 invalid input rather than treated as an empty repository. This prevents silent
 entitlement errors in CI and does not change per-repository gates or billing.
 
-Release 5.9.9 also carries the boundary-contract hardening: missing consumer repositories,
+Release 5.9.11 also carries the boundary-contract hardening: missing consumer repositories,
 malformed CVE feeds and unresolved `pack gate --since` refs fail as structured
 input errors; duplicate same-commit baselines are never overwritten. `posture
 --diff` validates unknown profiles when the repository declares profiles. In
@@ -251,7 +266,7 @@ brew tap haroundominique/sourcecode && brew install sourcecode
 # pip / pipx
 pipx install sourcecode        # or: pip install sourcecode
 
-ask version                    # ask 5.9.9 — and, on a build that has aged,
+ask version                    # ask 5.9.11 — and, on a build that has aged,
                                # how many releases have probably shipped since
 ```
 

{sourcecode-5.9.9 → sourcecode-5.9.11}/README.md

@@ -10,7 +10,7 @@
 > question. All analysis is local and deterministic; see [Privacy](#configuration--privacy)
 > before inspecting a repository whose telemetry policy you need to control.
 
-![Version](https://img.shields.io/badge/version-5.9.9-blue)
+![Version](https://img.shields.io/badge/version-5.9.11-blue)
 ![Python](https://img.shields.io/badge/python-3.9%2B-green)
 
 Copyright (c) 2026 Dominique Haroun. All rights reserved. ASK Engine 5.7.0 and
@@ -147,14 +147,29 @@ set `ASK_MAX_RSS_MB=<megabytes>`; if the process exceeds it, ASK refuses the
 answer with `MEMORY_TOO_LARGE`, including the observed peak and limit. Leave it
 unset, or set it to `0`, to disable the ceiling explicitly.
 
-**Current performance status.** Release 5.9.9 retains the shared Canonical IR
+**Current performance status.** Release 5.9.11 retains the shared Canonical IR
 path used by `validation` and now passes that same CIR into labelled `data-exposure`
 runs; the no-label path remains parse-free. These are implementation properties,
-not duration promises. A controlled external warm-path audit has opened performance
-and bounded-output regressions for this release; use `ask cache model <repo>` and
-`--progress stderr` for supervised runs, and consult the
-[latest external audit intake](docs/AUDIT-2026-08-26-EXTERNAL-5.9.0.md) before
-treating a historical timing or bounded flag as a current guarantee.
+not duration promises. It also removes two repeated walks of the same file tree in
+the detection phase, measured at **1.69× on a 24,073-file monorepo** — 54.9 s to
+32.5 s cold, with a byte-identical answer. A measurement on one repository and one
+machine is not a duration promise either.
+
+The root analysis now stops at `ASK_MAX_ANALYSIS_SECONDS` instead of running past
+it: a spent budget returns a structured partial result naming the phases that
+completed and those that did not, and `--ci` makes a cut run fail the gate with
+exit 75 (`--allow-partial` accepts one deliberately). The long-run progress
+message names the phase it is in and whether that phase has changed, so a slow run
+is distinguishable from a blocked one.
+
+The current external audit still records two open availability limits, and they
+are held open deliberately: `audit-report --format markdown` under contention, and
+the root compact flow under strict timeouts on very large monorepos. Neither
+reproduces on the engineering platform, so neither is closed on measurements taken
+there. Use `ask cache model <repo>`, `--progress stderr`, `audit-report
+--from-risk` and JSON/YAML output for supervised runs; consult the
+[current reliability queue](docs/DEVELOPMENT-ROADMAP.md#external-audit-intake--aud-616-re-audit-release-5910)
+before treating a historical timing or bounded flag as a current guarantee.
 
 **CI delivery and workspace licensing.** `migrate-check --format sarif` emits
 ASK-owned migration findings with source locations and provenance; it does not
@@ -169,7 +184,7 @@ in `overlapping_paths`; a missing or non-directory path is rejected as structure
 invalid input rather than treated as an empty repository. This prevents silent
 entitlement errors in CI and does not change per-repository gates or billing.
 
-Release 5.9.9 also carries the boundary-contract hardening: missing consumer repositories,
+Release 5.9.11 also carries the boundary-contract hardening: missing consumer repositories,
 malformed CVE feeds and unresolved `pack gate --since` refs fail as structured
 input errors; duplicate same-commit baselines are never overwritten. `posture
 --diff` validates unknown profiles when the repository declares profiles. In
@@ -202,7 +217,7 @@ brew tap haroundominique/sourcecode && brew install sourcecode
 # pip / pipx
 pipx install sourcecode        # or: pip install sourcecode
 
-ask version                    # ask 5.9.9 — and, on a build that has aged,
+ask version                    # ask 5.9.11 — and, on a build that has aged,
                                # how many releases have probably shipped since
 ```
 

sourcecode-5.9.11/docs/AUDIT-2026-08-28-EXTERNAL-5.9.10.md

@@ -0,0 +1,169 @@
+# External Audit Intake — ASK 5.9.10
+
+**Received:** 2026-08-28
+**Scope:** repositories under `Documents/workspace/testing/` only
+**Evidence base:** direct re-verification of the twelve `AUD-615` items, a robustness
+sweep over six previously unaudited repositories (`ktor-samples`, `spock`,
+`Chronicle-Queue`, `javaee7-samples`, `camel-examples`, `shopizer-v1.1.5`), and five
+parallel forks each using its own scratch directory
+**Queue ID:** `AUD-616`
+
+## Executive disposition
+
+The report publishes three headline numbers in sequence — a provisional **8.5/10**, a
+corrected **8.0/10** after the `tutorials` trend datum landed, and **8.1/10** on a second
+rubric that scores per axis. As in `AUD-615`, the ledger records the evidence and the
+closure boundaries, not a headline. **The governing score is the conservative `8.0/10`.**
+
+The auditor notes that the installed `5.9.10` build self-declares `"stale": true` (four
+releases have shipped since it was installed) and that the audit deliberately continued
+against the installed build. Every timing below is therefore a property of that artefact.
+
+Per-axis movement on the second rubric:
+
+| Axis | 5.9.9 | 5.9.10 | Δ | Driver |
+|---|---:|---:|:--:|---|
+| Reliability | 8.0 | 7.7 | ▼ | `audit-report --format markdown` still unbounded; new root-cache readback race |
+| Error quality | 9.0 | 8.8 | ▼ | The `OUTPUT_TOO_LARGE` hint recommends the one format under an open critical row |
+| Help ↔ behaviour coherence | 8.9 | 8.9 | ≈ | `cold-start --compact` unchanged for five rounds |
+| Agent-oriented design | 9.6 | 9.6 | ≈ | No change |
+| Safety / non-destructiveness | 9.1 | 9.1 | ≈ | Orphan processes confirmed, but they do terminate eventually |
+| Semantic consistency between siblings | 7.5 | 8.0 | ▲ | `AUD-615-E` closure holds; the impact family is now uniform |
+
+Five clean forks, no target-repository writes, no commits, no modified Java files, no
+artefacts outside `.ask/`. Scratch isolation per fork was applied this round, which is the
+methodology correction `AUD-615` required.
+
+## The regression that governs this round
+
+`AUD-616-TUTORIALS` is now the most serious open item in the series, above `L`. Root
+compact on `tutorials` (24,073 Java files) has degraded **monotonically across five
+consecutive releases**, with no exception and no measurement out of order:
+
+| Release | Wall time | Result |
+|---|---:|---|
+| 5.9.6 | 4m00.1s | exit 124, 0 bytes stdout |
+| 5.9.7 | 5m11.5s | exit 124, 0 bytes stdout |
+| 5.9.8 | 5m39.6s | exit 124, 0 bytes stdout |
+| 5.9.9 | 6m20.1s | exit 124, 0 bytes stdout |
+| 5.9.10 | 7m00.1s | exit 124, 0 bytes stdout |
+
+The process is CPU-active throughout and the delayed progress warnings keep advancing from
+60 s to 420 s, so this is cost, not a trivial deadlock. Six measurements moving in one
+direction is a trend, not variance: the row is escalated to **critical** and reclassified
+from "availability observation" to **sustained performance regression**. It is also the one
+row where every prior round's remediation work is measurable — and measures worse.
+
+## Accepted defects and regressions
+
+| ID | Severity | Finding | Triage |
+|---|---:|---|---|
+| `AUD-616-TUTORIALS` | Critical / sustained regression | Root compact on 24,073 Java files degraded 4m00.1s → 7m00.1s across five releases, always exit 124 with zero stdout. | Open, escalated. Attribute the cost per analysis phase against file and module count, publish a scale contract, and emit a structured partial result or a bounded deadline failure instead of nothing. |
+| `AUD-616-L` | Critical / regression | `audit-report --format markdown` on `thingsboard`: the isolated fork ran 2/2 clean (3m1.4s and 1m49.7s, exit 0, 3,701 bytes both times), while the same report's second block asserts four consecutive versions without a single completion and a repeated heartbeat that never changes stage. | Open, evidence conflicting. Two successes under low load do not close a contention-sensitive defect, and the two blocks of the report contradict each other. Reproduce under deliberate contention, add stage-level progress, and bound the run with a structured failure. |
+| `AUD-616-KOTLIN` | Medium / confident falsehood | `ktor-samples` (151 `.kt`, **0** `.java`) publishes `"stack": "java"`, `"detection_method": "manifest"`, `"confidence": "high"`, `"primary": true`. | Open, new, mechanism verified in source. This is a high-confidence claim with zero supporting source evidence, which the product's own rule forbids. |
+| `AUD-616-O` | Medium | When `audit-report --format json/yaml` exceeds the ceiling, the hint opens with `--format markdown` — the exact path held open as critical by `AUD-616-L`. A caller following the first suggestion gets an unbounded run with no error. | Open, new, deterministic, mechanism verified in source. |
+| `AUD-616-P` | Low-medium / investigation | Root `ask . --compact -f yaml`: run 1 cold 112.2 s `served_from_cache: false` (correct); run 2 immediately after 113.3 s and still `false`; run 3 minutes later 1.1 s and `true`. | Open, 1/1 sample. Distinct from `AUD-612-B03` (which was "the cache is never used"): here the entry is written but not yet visible to a process started immediately afterwards. |
+| `AUD-616-JUNIT4-SELF` | Low-medium / classification | The JUnit4 **framework** repository itself still returns `project_type: unknown`. `AUD-615-JUNIT4` closed the consumer case by design; the repository that *provides* `junit:junit` is not covered. | Open, new row on purpose. The previous closure must not be read as covering this case. |
+| `AUD-616-WIN-PROC` | Medium | 6-7 `ask.exe` processes alive after fast, successful commands with no timeout involved. The auditor then declares the round **inconclusive**: the sample was contaminated by processes from unrelated sessions. New nuance: orphans do exit on their own eventually — one child survived a parent timeout by more than 13 minutes while still writing output. | Open, carried forward. It is late cleanup and non-response to the parent's termination signal, not a permanent leak. |
+| `AUD-616-INTENT-TIE-COV` | Low / coverage | The `AUD-615-INTENT-TIE` reclassification is confirmed coherent, but no regression covers a genuine tie: two intents of the **same** requirement class (both repository-wide, or both target-required) with an identical score. | Open as a coverage gap, not a defect. |
+| `AUD-616-E-PROV` | Low / ledger hygiene | `AUD-614-E` cited three divergent `risk_level` values on not-found paths (`unknown`/`low`/`unknown`). The auditor verified `impact` and `impact-chain` but could never identify which command produced the third, divergent `low`. | Open as a documentation requirement: the ledger row must name the exact command so an external evaluator can re-verify the same case. |
+
+## Source-verified mechanisms
+
+Three of the new rows were reproduced against the checkout rather than accepted on the
+report's word:
+
+**`AUD-616-KOTLIN`.** `JavaDetector.can_detect` admits on the presence of `pom.xml` or
+`build.gradle` alone (`src/sourcecode/detectors/java.py:136`) and `detect()` then emits
+`StackDetection(stack="java", detection_method="manifest", confidence="high", ...)`
+unconditionally (`src/sourcecode/detectors/java.py:218-222`) — no `.java` population is
+ever consulted. The Kotlin/Scala detector admits only on the *filenames*
+`build.gradle.kts`, `settings.gradle.kts` or `build.sbt`
+(`src/sourcecode/detectors/jvm_ext.py:18-23`), so a Kotlin repository built with the Groovy
+DSL publishes **no Kotlin stack at all** and Java is left unopposed. `select_primary_stack`
+uses source-file volume only as the *last* tiebreaker after priority, confidence and
+manifest weight (`src/sourcecode/classifier.py:117-135`), so 151 `.kt` files could not have
+overturned the decision even if the Kotlin stack had been emitted. The control case is
+consistent with this: `spock` (674 `.java` + 607 `.groovy`) claims Java correctly, because
+there the `.java` population is real.
+
+**`AUD-616-JUNIT4-SELF`.** The `test` classification requires the `JUnit 4` framework
+**and** every `.java` path under a test root (`src/sourcecode/classifier.py:283-292`); the
+JUnit4 framework repository has production sources under `src/main/java`, so it falls
+through. The `library` branch immediately above it requires a multi-module layout
+(`src/sourcecode/classifier.py:280`), which a single-module framework repository does not
+have, and the fall-through returns `unknown` (`src/sourcecode/classifier.py:298`). The gap
+is structural, not a missing name heuristic.
+
+**`AUD-616-O`.** `_BOUNDING_FORMATS` lists `markdown` first
+(`src/sourcecode/output_ceiling.py:105`) and `ways_out()` appends the bounding formats
+before `--output FILE` and before the `ASK_MAX_OUTPUT_TOKENS=0` bypass
+(`src/sourcecode/output_ceiling.py:588-611`). The ordering rule itself is deliberate and
+correct — bound the same answer first, then ask for less of it. The defect is that the
+recommendation is unconditional on whether the recommended path completes.
+
+## Confirmed stable — do not reopen
+
+Reverified in this round with no regression: `AUD-615-F` (6/6 correct exits with stdout to
+`/dev/null`), `AUD-615-RISK-L0` (2.8 s, `analysis_skipped: true`), `AUD-615-SELFTEST-TIMEOUT`
+(exit 75 with a 7.2 KB structured diagnostic), `AUD-615-INTENT-TIE` (behaviour coherent with
+the reclassification), `AUD-615-DRIFT` (default profile normalized), `AUD-615-COLD-COMPACT`
+(size stable across runs), `AUD-615-E` and `AUD-615-07`.
+
+`pack gate --since develop` measured 208.6 s, consistent with the 234 s recovery in 5.9.9:
+the four-round upward trend on that command remains broken.
+
+The whole earlier closure set — `spring_detected` parity, cross-process cache warming,
+Markdown badge extraction in the root summary, compact endpoint disclosure with
+`population_total`, exit status under stdout redirection, `--files -` empty-list rejection,
+canonical `GIT_REF_NOT_FOUND`, the snapshot-dependent `cold-start --compact` contract,
+`impact-chain` null risk score, `risk --limit 0`, the `selftest --timeout` contract, YAML
+`served_from_cache` coherence and the command-typo suggestion — was re-exercised without a
+single regression.
+
+**Size-datum note.** The report records `cold-start --compact` as 14,959-14,960 bytes in one
+block and 88,265-88,266 bytes in another. These are different repositories; no
+reconciliation is claimed, and both are stability evidence within their own subject. The
+one-byte delta is the redirection newline, not a payload change.
+
+## Robustness sweep — six new repositories
+
+Five of six behaved correctly and produce no queue rows:
+
+- `spock` — 674 Java + 607 Groovy, classified without confusing the two languages.
+- `Chronicle-Queue` — CLI tool, `spring_detected: false`, correct.
+- `javaee7-samples` — classic Java EE, correct.
+- `camel-examples` — 474 dependencies resolved without a crash.
+- `shopizer-v1.1.5` — atypical layout with no root `pom.xml`; `project_type: null` with an
+  explicit explanation. Correct by design: the type genuinely cannot be inferred.
+
+The sixth, `ktor-samples`, produced `AUD-616-KOTLIN`. This is the first Kotlin subject in
+the series.
+
+## Capability requests derived from this round
+
+These are feature requirements the findings imply; they are not defects on their own.
+
+1. **Scale contract with partial output.** Root compact and `audit-report` must publish a
+   supported repository-size envelope and, past a deadline, a structured partial result or a
+   bounded failure — never zero bytes at exit 124. (`TUTORIALS`, `L`.)
+2. **Stage-level progress.** The current heartbeat repeats without naming the phase, which is
+   what prevented the auditor from separating a block from slowness across four rounds.
+3. **Source-evidence gate on stack confidence,** plus first-class Kotlin admission from
+   `.kt` source volume rather than manifest filename. (`KOTLIN`.)
+4. **A `library` classification for single-module JVM repositories** with no entry point and
+   no web/API framework, so a testing framework is not `unknown`. (`JUNIT4-SELF`.)
+5. **Availability-aware hint ordering,** or an escape recommendation that reflects whether
+   the recommended path is bounded. (`O`.)
+6. **Windows process-tree cleanup** via Job Objects or a verified equivalent. (`WIN-PROC`.)
+7. **A regression for a genuine same-class intent tie.** (`INTENT-TIE-COV`.)
+
+## Commercial interpretation
+
+The auditor holds the band at **`$25-40/developer/month`** and keeps the standing
+condition: **no large-scale CI gating claim**. The `TUTORIALS` trend strengthens that
+condition rather than relaxing it — a degradation visible across five consecutive releases
+is exactly the evidence an annual reliability commitment cannot be sold against. Do not
+market `audit-report --format markdown`, the root command, or production CI gating for
+repositories above roughly 3,000 files until `AUD-616-TUTORIALS` and `AUD-616-L` are closed
+with bounded, independently reproduced evidence.

{sourcecode-5.9.9 → sourcecode-5.9.11}/docs/DEFECT-LEDGER.md

@@ -112,11 +112,37 @@ are the current release blockers and contract gaps:
 | AUD-614-SELFTEST-TIMEOUT | High / contract regression | closed 5.9.8 | `selftest --timeout` is now an overall deadline; each child receives the remaining budget, interrupted/unstarted rows are structured as `error`, and the command returns code 75. The real TeaVM flow and dedicated regression pass. The separate fourth-run hang remains mixed evidence. |
 | AUD-614-WIN-PROC | Medium | open | Windows/MSYS timeout or SIGTERM can leave `ask.exe` descendants alive, with MSYS PIDs unusable by native `taskkill`. Validate signal handling and Windows Job Objects from native Windows and Git Bash. |
 | AUD-614-G | Medium | closed 5.9.8 | The shared error authority normalizes legacy producer spellings to canonical uppercase codes (`NO_DIFF_SOURCE`, `INVALID_LICENSE`). TeaVM `review-pr` and activation contract tests pass. |
-| AUD-614-E | Low | open | Impact commands now agree on unresolved exit status, but their `risk_level` values still diverge (`unknown`/`low`/`unknown`). Define one not-found payload semantics and enforce parity. |
+| AUD-614-E | Low | closed 5.9.9 | Event topology now publishes `risk_level: unknown` for `not_found`, matching `impact` and normal `impact-chain`; `low` remains a resolved no-risk result. Focused TeaVM coverage protects the parity. |
 | AUD-614-I | Medium | closed 5.9.8 | The user manual and internal compacting comment no longer promise `~10K`; they state that `cold-start --compact` is snapshot-dependent, expose `estimated_tokens`, and require size validation before direct AI injection. The CLI help and payload already used this contract. A hard ceiling remains optional future scope. |
-| AUD-614-INTENT-TIE | Medium | open | Exact lexical ties at score `2.8284` still resolve differently for `endpoint security` and `security surface`. Define deterministic tie/margin semantics and add a real-repository regression. |
+| AUD-614-INTENT-TIE | Medium | closed 5.9.9 (reclassified) | The equal score belongs to different questions, not competing candidates. `endpoint security` selects a target-required intent and correctly refuses without a route; `security surface` is repository-wide and resolves. A focused regression locks the distinction. |
 | AUD-614-07 | Low | closed 5.9.8 (reverified) | The installed `ask spring-audi` entry point returns `Did you mean: spring-audit?`; the TeaVM path/typo regression battery passes. The external wording report is not reproducible in the current checkout. |
-| AUD-614-JUNIT4 | Medium | open | JUnit4 projects remain `project_type: unknown`; add evidence-backed classification without broad heuristic false positives. |
+| AUD-614-JUNIT4 | Medium | closed 5.9.9 | JUnit4 test-only repositories classify as `test` only with the `junit:junit` coordinate and test-only Java sources; ordinary applications/libraries retain their structural type. |
+
+**External audit intake `AUD-615`, re-audit of release 5.9.9 — 2026-08-27.** The
+auditor exercised only repositories under `testing/` and added three robustness subjects.
+The report contains conflicting headline scores (8.0 and 8.4), and shared fork scratch
+state invalidated the definitive output capture for the long `audit-report` retest. The
+ledger records the evidence and closure boundaries, not either headline score.
+
+| ID | Severity | Status | Evidence / closure boundary |
+|---|---:|---|---|
+| AUD-615-F | Critical | closed 5.9.9 (reverified) | Windows/Git Bash verification confirms 11/11 reproductions: stdout `/dev/null` preserves exit 1 and byte-identical structured stderr, including `INVALID_USAGE` as well as `INVALID_INPUT`. Keep release-artifact coverage. |
+| AUD-615-RISK-L0 | High / regression | closed 5.9.9 (reverified) | `risk --limit 0` completes in about 0.8–1.5 s as `zero_row_view`, with `analysis_skipped: true` and null totals; full analysis is not built for a view that requests no rows. |
+| AUD-615-SELFTEST-TIMEOUT | High / contract regression | closed 5.9.9 (reverified) | `selftest --timeout 5` returns exit 75 and a non-empty structured diagnostic payload, including the fourth attempt in this sample. The independent hang history remains mixed evidence. |
+| AUD-615-L | Critical / regression | open | The defect is isolated to `audit-report --format markdown`: identical `thingsboard` runs measured 200 s timeout versus 137.98 s success, with an isolated 114 s run. JSON/YAML correctly returned structured `OUTPUT_TOO_LARGE`; they are not defective here. The 700 s fork lost output to shared scratch interference. |
+| AUD-615-TUTORIALS | High / availability trend | open | Root compact on `tutorials` increased monotonically from 4m00.1s in 5.9.6 to 6m20.1s in 5.9.9, exit 124 with zero stdout. Attribute and bound the cost before large-monorepo claims. |
+| AUD-615-WIN-PROC | Medium | open | Seven `ask.exe` processes remained after successful Windows runs. Validate descendant cleanup for successful and timed-out runs with native Windows/Git Bash process controls. |
+| AUD-615-INTENT-TIE | Medium | closed 5.9.9 (reclassified) | Equal score across distinct questions is not a tie. The target-required endpoint intent refuses without a route while the global surface intent resolves; a focused regression protects that contract. |
+| AUD-615-E | Low | closed 5.9.9 | All impact-family not-found paths publish `risk_level: unknown`; focused TeaVM coverage protects the former event-topology outlier. |
+| AUD-615-07 | Low / evidence conflict | closed 5.9.9 (reverified) | Isolated TeaVM verification returns `Did you mean: spring-audit?` with exit 2, matching the installed-entry-point regression. The contrary report wording is not reproducible. |
+| AUD-615-JUNIT4 | Medium | closed 5.9.9 | JUnit4 test-only repositories classify as `test` from dependency and source-location evidence, without a broad naming heuristic. |
+| AUD-615-DRIFT | Low / investigation | closed 5.9.9 | Spring's explicit `default` profile is normalized to the implicit empty active-profile set at the access-snapshot boundary. An implicit capture and explicit `--profile default` now read one series; focused and TeaVM regression flows pass. |
+| AUD-615-COLD-COMPACT | Low / product decision | closed 5.9.9 (accepted contract) | A repeated 88,265-byte result is compatible with the documented snapshot-dependent contract. ASK exposes `estimated_tokens`; no hard ceiling is claimed or introduced. |
+
+**Audit-method control:** each parallel fork must use a unique scratch directory; shared
+`~/askaudit_599` caused cross-fork file deletion/interleaving and blocked a definitive L
+result. **Commercially**, conflicting `$25-40` and `$50-65` estimates are not evidence for
+a price increase; retain the conservative band until the availability trend is closed.
 
 The audit also confirms root cache reuse, stdin contracts, pack progress, explain and
 impact error routing, self-audit population disclosure, endpoint compact disclosure,
@@ -124,6 +150,83 @@ Spring detection controls, baseline safety and the prior `/dev/null` fix matrix.
 intermittent endpoint-security retrieval issue had 0/18 failures in this pass and stays
 under observation because its historical rate is about 2% over 51 runs.
 
+**External audit intake `AUD-616`, re-audit of release 5.9.10 — 2026-08-28.** The scope was
+again restricted to `testing/`, with direct re-verification of all twelve `AUD-615` items, a
+robustness sweep over six previously unaudited repositories and five parallel forks, each
+with its own scratch directory — the methodology control `AUD-615` required is now applied.
+The report publishes three headline numbers (8.5 provisional, 8.0 corrected, 8.1 on a
+per-axis rubric); **the governing score is the conservative 8.0/10**, and as before the rows
+below record evidence, not a headline. The installed artefact self-declares `"stale": true`;
+the auditor continued against it deliberately, so every timing is a property of that build.
+No target-repository writes, commits or Java-file changes were reported.
+
+The governing item of this round is the `tutorials` trend: five consecutive releases, each
+slower than the last, with no measurement out of order. It is escalated to critical and
+reclassified from an availability observation to a sustained performance regression.
+
+**Verdict on the round (5.9.11).** Seven of the nine rows are closed, two are partially
+closed and one — `WIN-PROC` — is carried forward as not actionable from a Darwin checkout.
+The two critical rows are the two partial ones, and both for the same reason, stated plainly
+because it changes what a future round should measure: **neither timing symptom reproduces
+in this checkout.** Root `--compact` on `tutorials` completes in 54.9 s, exit 0, 15 KB, and
+`audit-report --format markdown` on `thingsboard` ran 2/2 clean at 39.3 s and 26.8 s. The
+4m00→7m00 trend and the four-round non-completion are properties of the auditor's build and
+platform, and re-measurement there is the outstanding work on both rows.
+
+What was done instead of accepting or dismissing them was to attribute the cost and remove
+the silence. The cost is now published per phase against file count, and two mechanisms
+behind it are closed with a measured **×1.69** on the governing subject — detection 30.3 s →
+9.2 s, total 54.9 s → 32.5 s, payload byte-identical. The silence is closed at both ends: the
+root analysis stops at `ASK_MAX_ANALYSIS_SECONDS` and returns a structured partial envelope
+with a gate verdict instead of zero bytes at exit 124, and the delayed liveness warning names
+the phase, its counts and whether it has changed — the one signal that separates a blocked
+run from a slow one, and the one four consecutive rounds did not have.
+
+Three findings of this round belong to the checkout rather than to the report, and are
+recorded so they are not re-derived. `AUD-616-P`'s race did not reproduce serialized, and the
+double miss reproduced here first was **our own concurrency** — the same contamination
+`AUD-615` had to correct for; a deterministic mechanism with the identical symptom was found
+underneath it and fixed. `AUD-616-JUNIT4-SELF`'s filed remedy would not have closed the row —
+JUnit4 has three `main()`-bearing entry points, so "no entry point" was the wrong condition.
+And the root analysis joining the bounded tier exposed three batteries comparing the two
+command-name vocabularies as raw strings, or walking only to command leaves; each now goes
+through the authority that already reconciles them.
+
+| ID | Severity | Status | Evidence and required closure |
+|---|---:|---|---|
+| AUD-616-TUTORIALS | Critical / sustained regression | partially closed 5.9.11 — perf attributed and bounded; the reported trend does not reproduce here | **Not reproducible as filed on this platform.** Root `--compact` on `tutorials` (24,073 Java files) completes in 54.9 s, exit 0, 15 KB, four serialized cold runs (54.9 / 52.7 / 53.5 / 57.9, max/min 1.10). The report's 4m00→7m00 with exit 124 is a property of the auditor's build and platform, not of this checkout. What was verified and fixed instead is the cost and the silence. **Cost, attributed per phase against file count** (`SOURCECODE_PERF`): discovery 3.5 s, detection 30.3 s, analysis 13.4 s, serialize 6.0 s. Two mechanisms found by cProfile and closed: `manifest_cache._key()` ran fourteen `rglob` walks per call and was called by both `load()` and `save()` for each of 246 modules (1.5 M `posix.scandir` calls, 26 s) — now one `os.walk`, memoised per root, digest unchanged and asserted against the fourteen calls it replaces; and `TypeClassifier` walked the file tree seven times per `enrich` × 246 modules — now once, threaded. **Measured: detection 30.3 → 9.2 s, total 54.9 → 32.5 s (×1.69), payload byte-identical, max/min 1.003.** **Silence, closed:** the root analysis is a `PhasedRun` over the four `perf` seams, so `ASK_MAX_ANALYSIS_SECONDS` bounds it and a spent budget emits the `partial-answer-v1` envelope — phases completed and pending, elapsed, budget and its provenance — instead of zero bytes. It declares `--ci`/`--allow-partial` and exits 75 on a cut gated run. **Still open:** a published repository-size envelope (the scale contract), and re-measurement on the auditor's platform. |
+| AUD-616-L | Critical / regression | partially closed 5.9.11 — stage-level progress shipped; the unbounded run does not reproduce | **Not reproducible as filed here.** `audit-report --format markdown` on `thingsboard` ran 2/2 clean: exit 0, 3,662 bytes both times, 39.3 s and 26.8 s — consistent with the audit's own isolated fork (3m1.4s, 1m49.7s, 3,701 bytes) and nowhere near a timeout. The **bounded structured failure** the row asks for is already shipped and verified: the command is a `PhasedRun`, and under `ASK_MAX_ANALYSIS_SECONDS=1` it returns a report declaring `Status: partial` and `Total defects: 0 (floor — this run was cut short)`. **The heartbeat half was a real defect and is fixed.** The delayed warning read `run has exceeded 5.0m; still working` and repeated that sentence unchanged for the life of the run — identical at 60 s and 420 s, which is why four rounds could not separate a blocked run from a slow one: a blocked process is also still alive. It now names the phase, the stage and its counts, how long the run has been in that phase, and whether the phase changed since the previous warning. Writing it surfaced a second defect: the first version read `_stage_t0`, which only restarts on a *counted* stage change, and published `parsing manifests for 21.1s` about a phase entered at 3 s — the run's elapsed time under a label claiming to be the phase's. A phase clock now exists separately from the counted-stage clock `_eta_seconds` uses. **Still open:** reproduction under deliberate contention on the auditor's platform. |
+| AUD-616-KOTLIN | Medium / confident falsehood | closed 5.9.11 | Reproduced exactly, then closed at both ends. `JvmExtDetector` also admits on source population now, with the sibling `.java` count as the bar rather than an absolute number, so a Kotlin repository on the Groovy DSL — or with no root build file, which is `ktor-samples` — surfaces a Kotlin stack, while a Java monolith carrying three `.kt` tests does not. Admission by source publishes `detection_method: heuristic`, no `manifests` and no `package_manager`: a build file was not read, so nothing only a build file attests is claimed. The real authority for `confidence` was `TypeClassifier._enrich_stack`, which recomputes what the detector published from a score summing *declarations* and gives the source population one point whether there are two files or twenty thousand; both ends are corrected there, once, for every stack with a source extension — zero source files caps at `low` with a `no_source_evidence` signal, and owning the largest source population against a competing manifest-backed claim floors at `medium`. `ktor-samples` now reports `kotlin` primary at `medium`, `java` at `low`, and headlines "Kotlin library / package". Controls re-measured unchanged: `spring-security`, `shenyu`, `thingsboard` keep `java` primary at `high`. |
+| AUD-616-O | Medium | closed 5.9.11 | `--output FILE` moves ahead of the format substitutions, and each substitution now states in its own text that it re-runs the command and that its cost on this repository is unmeasured. The module's ordering rule is unchanged and was not the defect; the reading of "the same answer" was. A bounding flag and `--output FILE` keep the rendering that has already run to completion here — that run is why the refusal has a size to report at all — while a different `--format` is a different composition this module has measured nothing about. The bypass stays last, the file destination is untouched, and the population is still the intersection of `FORMAT_REGISTRY` with the command's declared options, so nothing branches on a command name. |
+| AUD-616-P | Low-medium / investigation | closed 5.9.11 — race not reproduced, a deterministic mechanism with the same symptom fixed | **The race does not reproduce serialized.** On `tutorials`, store cleared first, four sequential runs: 82.1 s cold and `false`, then 1.58 / 1.48 / 1.47 s, all `true`. A double miss was reproduced here first and then attributed to two `ask` processes analysing the repository at once — runs against one repository share `~/.sourcecode/cache/<repo_id>/` whatever scratch directory they are given, so per-fork scratch isolation does not separate them. **A deterministic mechanism with the same symptom did reproduce and is fixed.** The GC's size pass sorted candidates oldest-first and could walk to the end of that list, and the end of it is the entry the calling run has just written: a core larger than the whole store budget was written and deleted inside one process, on every run, for ever. It is reachable at this scale rather than hypothetically — `tutorials` stores a 9.4 MB core against a 50 MB default. The newest core is no longer a candidate; everything older still is. When the newest entry alone exceeds the budget the store stays over budget, and `cache.status()` publishes `size_budget_mb`, `largest_core_bytes` and an `over_budget_reason` naming the variable to raise. |
+| AUD-616-JUNIT4-SELF | Low-medium / classification | closed 5.9.11 | **One correction to the remedy as filed:** it proposed classifying single-module JVM repositories "with no entry point", and JUnit4 has three — `TestRunner`, `JUnitCore` and `Version` each carry a `main()` — so that condition would have left the row open. The multi-module requirement was what was doing the wrong work: module count describes a build layout, not whether a repository is a library, and it was in the branch only because the row that introduced it (JobRunr) happened to be multi-module. By the time control reaches that point every stronger reading has been ruled out by the branches above, so what is left is a JVM repository with sources and no application-defining framework — the same inference the multi-module branch already makes. Measured over thirteen JVM repositories before and after: three change and all three are libraries (`junit4`, `mybatis-3`, `Mybatis-PageHelper`, each `unknown` → `library`); the other ten are byte-identical. A repository with no detected stack still publishes no type, which is the `shopizer` case confirmed correct by design. |
+| AUD-616-WIN-PROC | Medium | open, carried forward — not actionable on this platform | Unchanged from `AUD-614-WIN-PROC` and `AUD-615-WIN-PROC`. The subject is native Windows process-tree teardown and the auditor's own sample was declared inconclusive (contaminated by unrelated sessions). Nothing in this round can be reproduced or refuted from a Darwin checkout, and shipping a Job Objects path that no test here can exercise would be a change made blind. It needs a native Windows/Git Bash run, and the narrowed reading stands: late cleanup and non-response to the parent's termination signal, not a permanent leak. |
+| AUD-616-INTENT-TIE-COV | Low / coverage | closed 5.9.11 | Behaviour was already correct and nothing held it there. Both sides are covered now, with the tying questions derived from the shipped vocabulary rather than invented: `central classes deployment shape` ties two repository-wide intents at 2.8284, and `what endpoints break cross module impact` ties two target-required ones at 5.1962. Each refuses, names both candidates and the reason, offers no command, and reports no intent — so no consumer reads the rest of the payload as describing a losing candidate. A first test asserts the fixtures still tie, so a vocabulary change that destroys the tie fails the test depending on it instead of passing vacuously; a second asserts both candidates really are of one requirement class, without which the battery would silently become another copy of the rows it complements. |
+| AUD-616-E-PROV | Low / ledger hygiene | closed 5.9.11 | **The command is `ask impact-chain <EventClass> <repo> --type events`** — the event-topology query, a third sibling of `impact` and `impact-chain` and the one the re-audit could not identify. `EventTopologyResult` declares `risk_level: str = "low"` as its dataclass default and the `not_found` branch returned the result without overriding it, so a class absent from the CIR was published as a resolved low-risk answer while its two siblings said `unknown`. The value was corrected in 5.9.9; what nothing covered is the **parity** — three commands, three code paths, one question, and no test that fails when one drifts again. A battery now runs all three through the CLI on a repository, the way an external evaluator would, and asserts they agree. Re-verified: all three publish `resolution: not_found` and `risk_level: unknown`. |
+| AUD-616-F, -RISK-L0, -SELFTEST-TIMEOUT, -INTENT-TIE, -DRIFT, -COLD-COMPACT, -E, -07 | — | closed 5.9.9 (reverified in 5.9.10) | 6/6 correct exits with stdout to `/dev/null`; `risk --limit 0` in 2.8 s with `analysis_skipped: true`; `selftest --timeout` exit 75 with a 7.2 KB structured diagnostic; intent behaviour coherent with the reclassification; `drift` default profile normalized; `cold-start --compact` size stable across repeated runs. No regression in any of them. |
+
+**Size-datum note.** The report records `cold-start --compact` as 14,959-14,960 bytes in one
+block and 88,265-88,266 bytes in another. Different repositories; no reconciliation is
+claimed, and the one-byte delta is the redirection newline, not a payload change.
+
+**Robustness sweep.** Five of six new repositories behaved correctly and open no row:
+`spock` (674 Java + 607 Groovy, languages not confused), `Chronicle-Queue` (CLI tool,
+`spring_detected: false`), `javaee7-samples` (classic Java EE), `camel-examples` (474
+dependencies, no crash) and `shopizer-v1.1.5` (no root `pom.xml`, `project_type: null` with
+an explicit explanation — correct by design, the type genuinely cannot be inferred). The
+sixth, `ktor-samples`, is the first Kotlin subject in the series and opened `AUD-616-KOTLIN`.
+
+**Also stable.** `pack gate --since develop` measured 208.6 s, consistent with the 234 s
+recovery in 5.9.9: the four-round upward trend on that command remains broken. The full
+earlier closure set was re-exercised without a single regression.
+
+**Commercially**, the band stays `$25-40/developer/month` with the standing no-large-scale
+CI-gating condition. The `TUTORIALS` trend strengthens that condition rather than relaxing
+it: a degradation visible across five consecutive releases is precisely the evidence an
+annual reliability commitment cannot be sold against. Full triage is in
+[`AUDIT-2026-08-28-EXTERNAL-5.9.10.md`](AUDIT-2026-08-28-EXTERNAL-5.9.10.md).
+
+
 **Commercial boundary.** The corrected assessment is `$25-40/developer/month`, not the
 initial `$45-58` headline. Do not market enterprise-scale support or production CI
 gating for repositories above roughly 3,000 files until the four critical/high