Sufficient Resolution

Download original file

This is the original source text. Reading it does not run or verify the program.

Read the typeset paper

1 {
2   "schema": "komorebi.sufficient-resolution.paper-set.v1",
3   "status": "COMPLETE_PAPER_SET",
4   "edition_date": "2026-10-06",
5   "author": "Komorebi P.",
6   "title": "Sufficient Resolution: Exact Reduction, Hidden Memory, and Certified Reconstruction",
7   "documents": {
8     "traditional": {
9       "pdf": "traditional/Sufficient_Resolution_Traditional.pdf",
10       "pages": 46,
11       "bytes": 588326,
12       "sha256": "380ea84e66f732c5653653d109e9510d7330ab4192cc4c924ada0949f131cc9b",
13       "tex_source_files": [
14         "traditional/Sufficient_Resolution_Traditional.tex"
15       ],
16       "labels": 64,
17       "references": 0,
18       "figures": 0,
19       "unique_figure_sources": 0,
20       "markdown_bytes": 155047
21     },
22     "visual": {
23       "pdf": "visual/Sufficient_Resolution_Visual_Guide.pdf",
24       "pages": 45,
25       "bytes": 720619,
26       "sha256": "820a56812d40dbc5989cc59a492a3bb24fb083fcbb312aa85d7e76dc1826db8b",
27       "tex_source_files": [
28         "visual/Sufficient_Resolution_Visual_Guide.tex"
29       ],
30       "labels": 42,
31       "references": 0,
32       "figures": 19,
33       "unique_figure_sources": 18,
34       "markdown_bytes": 60474
35     },
36     "lean": {
37       "pdf": "lean/Sufficient_Resolution_Lean_Guide.pdf",
38       "pages": 30,
39       "bytes": 390574,
40       "sha256": "680f73f0f05bfacf96abd23816a30bb34cba22c4a791c3bd3b6a96fffe37b976",
41       "tex_source_files": [
42         "lean/Sufficient_Resolution_Lean_Guide.tex"
43       ],
44       "labels": 35,
45       "references": 0,
46       "figures": 0,
47       "unique_figure_sources": 0,
48       "markdown_bytes": 80073
49     }
50   },
51   "total_pdf_pages": 121,
52   "principal_result_groups": 64,
53   "production_lean_modules": 93,
54   "enumerated_lean_names": 1159,
55   "production_sources_preserved_byte_for_byte": true,
56   "fresh_computation": {
57     "status": "PASS",
58     "suite_count": 16,
59     "native_counted_assertions": 40466,
60     "additional_fixed_sanity_groups": 5,
61     "additional_main_mathematical_assert_statements": 6
62   },
63   "separate_visual_example_assertions": 280,
64   "evidence_manifest_records": {
65     "base_records": 17,
66     "visual_example_records": 1,
67     "total": 18,
68     "verification": "verification/FINAL_EVIDENCE_VALIDATION.json",
69     "assertion_counts_merged": false
70   },
71   "fresh_lean": {
72     "status": "NOT RUN",
73     "reason": "Matching runtime unavailable; two canonical chunk-01 materializations failed HTTP 502.",
74     "runtime_included": false,
75     "record": "verification/RUNTIME_RECOVERY.json"
76   },
77   "editable_markdown_included": true,
78   "source_bundle": "Komorebi_Sufficient_Resolution_Final_Edition_2026-10-06.zip",
79   "publication_review": "PUBLICATION_AUDIT.json",
80   "render_review": "reviews/ROOT_PUBLICATION_QA.json",
81   "scope": "Completed publication of existing v0.16.0 contracts. The identified mathematical research extensions and full formal replay remain open.",
82   "external_publication_performed": false,
83   "new_license_selected": false
84 }

Back to source controls

Back to Sufficient Resolution