{ "recorded_utc": "2026-10-04T16:40:07.133398+00:00", "scope": "Private working intrinsic components only", "mathematical_sources": [ { "source_id": "SRC-f9a31c439a3ea436e84d", "url": "https://arxiv.org/abs/0812.3181v3", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Current web reading of abstract/identity, Section8.1 final discussion and Section8.2 in full; Proposition8.6 states iterated Sobolev regularity and expressly omits the precise order relationship.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Jared Wunsch, Microlocal analysis and evolution equations, arXiv:0812.3181v3, 20 July 2023" ] }, { "source_id": "SRC-03791e327e2b88983397", "url": "https://projecteuclid.org/journals/acta-mathematica/volume-127/issue-none/Fourier-integral-operators-I/10.1007/BF02392052.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Section3.2, printed142–154: critical densities, both coordinate Jacobians, phase normalization and global principal-symbol exact sequence. Complete ordinary programme proofs PS1–PS6, including base-locally-finite assembly. Prior Section3.3 relative-line and earlier bounded scopes retained in the reading chain.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "L. Hormander, Fourier integral operators I, Acta Math. 127 (1971) 79-183", "Lars Hörmander, Fourier integral operators. I, Acta Mathematica 127 (1971), 79–183" ] }, { "source_id": "SRC-63db3b48da886f1614c0", "url": "https://terrytao.wordpress.com/2009/01/09/245b-notes-3-lp-spaces/", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Author/date and mathematical introduction; Lemma1 norm proof, Exercise6 statement, Proposition1 finite-p completeness proof, Proposition2 simple-density proof, Proposition3 and Remark7 norm inequalities. Only p=1,2 selected; no comments, linked third-party books or later duality material used.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Terence Tao, 245B, notes3: Lp spaces, 9 January2009" ] }, { "source_id": "SRC-58fee4065d9a250883fc", "url": "https://terrytao.wordpress.com/2009/04/30/245c-notes-4-sobolev-spaces/", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Introduction through rescaled bump examples; Section3 beginning through Exercise40. Theorem26 discussion and Exercise28 also read but not imported.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Terence Tao, 245C, Notes 4: Sobolev spaces, 30 April 2009" ] }, { "source_id": "SRC-2a04945f0560bb85fb23", "url": "https://terrytao.wordpress.com/wp-content/uploads/2012/12/gsm-126-tao5-measure-book.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Exact listed pages only. Programme selection supplies the full null-set, completion, generating-class, Cauchy-subsequence and smooth-density arguments left partly as exercises or outside these source statements.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Terence Tao, An introduction to measure theory, author-linked preliminary draft hosted December 2012" ] }, { "source_id": "SRC-cf7fca5fda0c8dff6e92", "url": "https://web.math.ku.dk/~grubb/dist7n.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Lemma7.3 printed166/PDF4: summation cutoff sketch; Theorem7.18(1) printed184–185/PDF22–23: square-matrix finite correction; Corollary7.19(1) printed186–187/PDF24–25: proper two-sided uniqueness. Exact partial scope only. Previous graph, geometry and chart readings remain bound through the prior reading record. All programme proofs are supplied separately.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Distributions and Operators", "Gerd Grubb, author-hosted lecture notes, Chapter 7: Pseudodifferential operators on open sets" ] }, { "source_id": "SRC-caa89e8d35c1112eb4fb", "url": "https://web.math.ku.dk/~grubb/dist8n.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Exact free author-hosted 21-page chapter. Read PDF pages1–3. Only Section8.1(1) and principal-symbol cancellation used; full higher series and general index/manifold material excluded.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Distributions and Operators", "Gerd Grubb, Distributions and Operators — author-hosted chapters", "Gerd Grubb, author-hosted lecture notes, Chapter 8: Pseudodifferential operators on manifolds, index of elliptic operators" ] }, { "source_id": "SRC-bdbf0925b623705a9b42", "url": "https://webusers.imj-prg.fr/~nicolas.lerner/PSEUDO.2005.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Exact author-hosted PDF; actual read pages1–8 and18–31. Used quantization, ordinary symbols, partition, confinement and symbolic calculus; excluded metaplectic, wavefront and Cotlar assertions.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Nicolas Lerner, Introduction to the Weyl–Hörmander calculus of pseudodifferential operators, author-hosted PSEUDO.2005.pdf" ] }, { "source_id": "SRC-41c1825b7faff34711f5", "url": "https://www.math.purdue.edu/~sabarre/Papers/TripleInt.pdf", "verified_access_state": "verified_free_exact_edition", "reviewed_scope": "Section2 and complete Section2.1 through. Only the precise dyadic endpoint formulation is used for comparison; no nonlinear-wave or normal-form result is imported.", "mathematical_use_does_not_replace_programme_proof": true, "titles": [ "Antônio Sá Barreto and Yiran Wang, Singularities generated by the triple interaction of semilinear conormal waves, 25 October 2018 author draft" ] } ], "component_source_sha256": { "intrinsic-frequency-graphs.md": "4854fbd03ce3a0a48a8378c68e6ec4d6a8793482d1be47b105466e0310c6270b", "intrinsic-reading-guide.md": "18a487e93ce9ad4dcbe729bccc4c639c2ff1590022a38065eaa562581888337c", "prerequisites/measure-and-l2.md": "97ba9b52524513a39fff5cd9141f5dda979bb6f16b7cf69807fe997125f07099", "prerequisites/fourier-l2.md": "e2c764671c56c236475e84f1e1a654fb00c5dd335782169338fec005575e83da", "prerequisites/dyadic-endpoint.md": "b6f5fe1b279bb89111b9c4cdd6566342ced4a4da5c3f2b01e06665290b14c4a2", "prerequisites/quadratic-multiplier-foundations.md": "78bd0d3bb696454878ea5af4d57dbdd524aa5daf39cb6a157a38a80d908b7825", "prerequisites/metric-localization.md": "916847adad39b77718a0fdce31e785e66d445ca4812dddf8baebf017b84641e2", "prerequisites/gauss-transform-estimates.md": "14e9a8b836cb3fbd1d59020dd2b0b151079ccb325e3049f48e3a7b6b5f3710cc", "prerequisites/ordinary-operator-calculus.md": "9d994f402f4503e0c2a3b540cf4030300d5df9aa69883d1aac58f829d87b0e60", "prerequisites/conic-frequency-coordinates.md": "7c166f068568d0299b3dfab5c9e990c649a2472cbaa46480137d682e0ee11115", "prerequisites/coordinate-and-wavefront-localization.md": "bee282d8aceba0ca68ba3f12fe41d1382a2053c120f48c967c2a6ee16e381656", "prerequisites/conic-parametrices-and-localization.md": "78dca4f41a526c761a8cce712eca8e4acaf8b166775632c0f54448f390668bb8", "prerequisites/prescribed-phase-representation.md": "b85ed34dc5a358d858517a95af1d2650175552cb11c2b87abcb64bd3390668f0", "prerequisites/sobolev-order-refinement.md": "c3f24218c246fc17b0073120036713d4e274151fde2a5b34f1459189affd2838", "prerequisites/relative-maslov-line.md": "261ae1d83e17f8da50f24a781e3f9886d0707f713509f6797ed849d9748cde25", "prerequisites/global-principal-symbol.md": "5cf8cb93c6844d6f9ca85e3f368beb6ebf12d2e285c0dc6955ab31cc427f79d2", "prerequisites/notices/TITLE_PAGE.md": "193f8b7057bf32c2b2164894c0714e0b8d2a449f2c3377db3670f650938a15d1", "prerequisites/notices/HISTORY.md": "df6d357b40bffcb7f1bb82877f583659bcbf9656da7c6401a19a9bf28ea54d29", "prerequisites/notices/RIGHTS.md": "38bfbf31e6859ff9c728ff3ca898978ef3af94e345435a1096b4bbfbd76fec78", "prerequisites/endpoint-notices/TITLE_PAGE.md": "193f8b7057bf32c2b2164894c0714e0b8d2a449f2c3377db3670f650938a15d1", "prerequisites/endpoint-notices/HISTORY.md": "73f806f53c5ec133f9e4641699206ff05699379cc40be2c37e1c0fe9f68a270e", "prerequisites/endpoint-notices/RIGHTS.md": "38bfbf31e6859ff9c728ff3ca898978ef3af94e345435a1096b4bbfbd76fec78", "prerequisites/operator-notices/TITLE_PAGE.md": "193f8b7057bf32c2b2164894c0714e0b8d2a449f2c3377db3670f650938a15d1", "prerequisites/operator-notices/HISTORY.md": "10669d61e96a85cf67eb8a31145ecb386eed099c18d1cd2c1edbd854aee71ba9", "prerequisites/operator-notices/RIGHTS.md": "38bfbf31e6859ff9c728ff3ca898978ef3af94e345435a1096b4bbfbd76fec78", "prerequisites/chart-notices/TITLE_PAGE.md": "193f8b7057bf32c2b2164894c0714e0b8d2a449f2c3377db3670f650938a15d1", "prerequisites/chart-notices/HISTORY.md": "df867b4fdf28654a96713646500126e3cfd711d62dc2570dff6b4253d9d8f74e", "prerequisites/chart-notices/RIGHTS.md": "38bfbf31e6859ff9c728ff3ca898978ef3af94e345435a1096b4bbfbd76fec78", "prerequisites/parametrix-notices/TITLE_PAGE.md": "193f8b7057bf32c2b2164894c0714e0b8d2a449f2c3377db3670f650938a15d1", "prerequisites/parametrix-notices/HISTORY.md": "7715b48ea098f3b57dc3664b022f2dc6288a7e7f53afede2fef1cee2fb97db6a", "prerequisites/parametrix-notices/RIGHTS.md": "38bfbf31e6859ff9c728ff3ca898978ef3af94e345435a1096b4bbfbd76fec78", "prerequisites/notices/COPYING": "4b2c8fc390f802cd92f0622dc00a708a588bec54d0145d2ee135d6d7672bfe85", "prerequisites/endpoint-notices/COPYING": "4b2c8fc390f802cd92f0622dc00a708a588bec54d0145d2ee135d6d7672bfe85", "prerequisites/operator-notices/COPYING": "4b2c8fc390f802cd92f0622dc00a708a588bec54d0145d2ee135d6d7672bfe85", "prerequisites/chart-notices/COPYING": "4b2c8fc390f802cd92f0622dc00a708a588bec54d0145d2ee135d6d7672bfe85", "prerequisites/parametrix-notices/COPYING": "4b2c8fc390f802cd92f0622dc00a708a588bec54d0145d2ee135d6d7672bfe85", "figures/annular-rescaling.svg": "61ed7531b56d242a6dbd8900d37155d1a6f87b198798b245812b08adb5f7bc4b", "figures/conic-coordinate-model.svg": "8010a0c4897f728f4f374be581a63e8e3f10c7775fca2d48738f7bce505f8c39", "figures/sobolev-threshold.svg": "17ded1d95be10435460d203c4e51bd06e8818ac0069042c2b70808cc032b4bd7", "figures/maslov-transition.svg": "7b48adae2f6ce5f798f8a7e2ab4ff4eaf6b4bd94f85065c608656e05741dbd7b", "figures/principal-symbol-map.svg": "4a37a920073d9e29d5ae29cf8011ae0d69e5513bdb2458868c5736d1e87db8a0", "figures/draw_annular_rescaling.py": "f24af9ea3a3e6b17695732b00cb7130b0c8ace5cf05a2f847ac80e10339c602b", "figures/draw_sobolev_threshold.py": "b305d5520c395807f8d8785f8d15551dcd04eea2397106b40115f63b73f25936", "figures/draw_maslov_transition.py": "eb69fae38a12c7d136d2941d6dc3e7d3b4b4d411a0e714fe8e417ca7dbac8d89", "figures/draw_principal_symbol_map.py": "2bb45b4bf35dc3bf850205ef6adb612446eef49714b6081c43a02341293a86fe", "conic_figure_private_regeneration_source_sha256": "3892b9b91c34a3d8ddbd3a64dcd68b5a44db71957134075cb26ba8db27e298de" }, "local_validation_records": { "checkpoint-validation": { "sha256": "526078a67aae8a17d55f5d434e6ea9d587aa1a2090caaf3618a7ac4e0db6f8ff", "passed": true }, "geometry-validation": { "sha256": "91f8f2c9b7e9a0b5bd06fab6115b6cd82c948cbf5a2107ee0cfb72562466d421", "passed": true }, "chart-validation": { "sha256": "b4d1908fea84087d1bbcf3018ac4d3d584a7c24530c3e81ec645ebb4dd965137", "passed": true }, "parametrix-validation": { "sha256": "194624bb5522e4f64a6c4623c849a9e71ac8ecde74372b1bc9e27088076cede5", "passed": true }, "phase-validation": { "sha256": "849b26d2677d6b69ce33715fd451f228f082de871a65f2753245728c7425f6cf", "passed": true }, "sobolev-validation": { "sha256": "ec632354b08a056c574d7619772ee07efb295af21534c55fe8e322ccf28bd0c5", "passed": true }, "maslov-validation": { "sha256": "aa7a9c6ed1f2eff605d60b9293da9c6e834af8744bd890d137add3caaf53fa0e", "passed": true }, "principal-symbol-validation": { "sha256": "dbc4c8a48b912c08a6879857ac2ed75ba60fe999a4bdab80235f0483ba5771b0", "passed": true } }, "policy": "Free mathematical derivation only. Full programme proof dependencies remain explicit. Earlier GFDL and CC-BY-SA notices are retained. Source accessibility does not grant redistribution rights.", "human_source_pdf_or_expression_added_in_this_increment": false, "tangent_receiver_complete": false, "full_course_complete": false, "public_release_authorized": false }