SOURCE IDENTITY AND SUPPLEMENTARY LEXICAL AUDIT
PASS: identity and supplementary project gate only
Start: 2026-09-06T12:41:20.672439+00:00
End: 2026-09-06T12:48:26.109141+00:00
Original: LEAN_PROJECT
Reproduction: WORKSPACE\output\full_fresh_audit_2026-09-06_102854\reproduction
Expected project manifest files per tree: 233
Manifest results: [{"label": "original-source", "root": "LEAN_PROJECT", "expected_files": 233, "observed_files": 233, "mismatch_count": 0, "matches": true}, {"label": "reproduction-source", "root": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction", "expected_files": 233, "observed_files": 233, "mismatch_count": 0, "matches": true}, {"label": "original-dependency-source", "root": "LEAN_PROJECT\\.lake\\packages", "expected_files": 10056, "observed_files": 10056, "mismatch_count": 0, "matches": true}, {"label": "reproduction-dependency-source", "root": "WORKSPACE\\output\\full_fresh_audit_2026-09-06_102854\\reproduction\\.lake\\packages", "expected_files": 10056, "observed_files": 10056, "mismatch_count": 0, "matches": true}]
Files scanned by scope: {"project-unrelated-or-audit": 53, "project-imported": 177, "fresh-evidence-audit-only": 4, "external-built-module-source": 2597}
Project imported gate hits: 0
External executable hits requiring review: 3985
Website snippets/contexts checked: 82
Failure count: 0
This report is supplementary; it does not establish successful build, kernel replay, or external metaprogram trust.
Full details: identity-source-and-scan.json; identity-lexical-occurrences.jsonl; identity-lexical-source-inventory.json
