fixtures: golden data dir — real records, production read paths
Owner-manufactured teach master (chat_mv27rrra: compaction, subagent-abort, every teach tool) + practice lifecycle (chat_mv293wv5: the full marker cycle including the first-ever problem-dismissed), the real graph ledgers, five jobs across the kind x status matrix, and settings. tests/golden-fixtures reads all of it through the stores via the LH_DATA_DIR seam and pins the fixture law: real data parses, flattens to a legal LLM wire, derives the graph, covers every custom-marker kind, and reads never write. Fixture law: an intentional format change updates these files in the same commit; an unintentional one fails the suite.
This commit is contained in:
amosblomqvist
+173
@@ -0,0 +1,173 @@
|
||||
{"id":"arg_5c4d492b7e6e","premises":["n_c4847c70d947","n_0077867ac365","n_f2351011f05c","n_35b7e306ed6b"],"conclusion":"n_465398b5356a","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_3f8f01dbe0e7","premises":["n_b690f1f6df90"],"conclusion":"n_0077867ac365","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_8fae31d2ea4f","premises":["n_c4847c70d947"],"conclusion":"n_f2351011f05c","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_05e874a34fa3","premises":["n_0077867ac365","n_35b7e306ed6b","n_58055de67178"],"conclusion":"n_d7a78bb8cdef","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_49f6ca14b132","premises":["n_d4f521e6d594","n_1f6473afca78"],"conclusion":"n_f511093cdd73","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_a73de5b2ac62","premises":["n_0165328378ae"],"conclusion":"n_eef326d18bac","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_27ea62422e29","premises":["n_eef326d18bac"],"conclusion":"n_3207752b6371","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_439a139210a8","premises":["n_e5fc6d37add3","n_1c4f7c04ae82"],"conclusion":"n_436d2bc2093f","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_18e81876991a","premises":["n_c4847c70d947","n_e5fc6d37add3"],"conclusion":"n_834c1d2c3efe","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_78b1ed6bebcd","premises":["n_1c4f7c04ae82"],"conclusion":"n_5112427fa14d","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_946e323f6472","premises":["n_91cca77b64cd"],"conclusion":"n_57c17d96ece6","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_02e51771a9ae","premises":["n_c3acbe7489b7"],"conclusion":"n_52271c30f418","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_b3574c16f78e","premises":["n_997e48557a03"],"conclusion":"n_5928955a839d","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_d26c9bc7fdd5","premises":["n_9d454cfe2802","n_0ed53f530e24"],"conclusion":"n_f9524c128228","createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_b211fd1917de","premises":["n_ddd8b1803e58","n_0165328378ae"],"conclusion":"n_3207752b6371","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_748541eaea23","premises":["n_ac0cf539acf2"],"conclusion":"n_b654699f4168","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_2e312a2d4d43","premises":["n_9ff6202d8f3d"],"conclusion":"n_5f08d3f84da8","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_3ee10d6719a2","premises":["n_5f08d3f84da8","n_8bc4b7fb2bb0"],"conclusion":"n_590cba185a40","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_36691ec91339","premises":["n_5f08d3f84da8"],"conclusion":"n_05a07f34e8a0","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_c487eb9fbdd5","premises":["n_ac0cf539acf2","n_9ff6202d8f3d"],"conclusion":"n_31f9b72d13c6","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_10ccf42682bd","premises":["n_5f08d3f84da8"],"conclusion":"n_bb78a2dda910","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_7911c2c14334","premises":["n_465398b5356a","n_9ff6202d8f3d"],"conclusion":"n_fa7a5fdc9a10","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_b1d86320e069","premises":["n_1c4f7c04ae82","n_9ff6202d8f3d"],"conclusion":"n_b1059626c75c","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_0690fd417240","premises":["n_b1059626c75c","n_05a07f34e8a0"],"conclusion":"n_d9780f3a37d6","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_a87cd38f5784","premises":["n_1bd3a6f34eb1"],"conclusion":"n_83a70c800393","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_2826a6351160","premises":["n_d7a78bb8cdef","n_0165328378ae"],"conclusion":"n_ae5fd46f7e53","createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_fa0cac1c36bd","premises":["n_465398b5356a"],"conclusion":"n_83a70c800393","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_549cf17f5151","premises":["n_35b7e306ed6b","n_9ff6202d8f3d"],"conclusion":"n_f8484c0a90cd","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_071272de9713","premises":["n_35b7e306ed6b"],"conclusion":"n_2aa78309c8ac","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_516f421ad4de","premises":["n_d7a78bb8cdef","n_f2351011f05c"],"conclusion":"n_11f45b666a58","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_f61b596326b4","premises":["n_1cdf5af934ec","n_8bb4b3ac5e1b"],"conclusion":"n_15ca00a77648","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_3738edbcec5b","premises":["n_1cdf5af934ec","n_8bb4b3ac5e1b"],"conclusion":"n_1ab0f12d259e","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_4775f54bfb9c","premises":["n_0077867ac365","n_15ca00a77648","n_1ab0f12d259e"],"conclusion":"n_d656862c4e93","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_abe30e51bf01","premises":["n_15ca00a77648","n_1ab0f12d259e"],"conclusion":"n_d2428b421e25","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_878e8fd4c395","premises":["n_1cdf5af934ec","n_aef7d974cb95"],"conclusion":"n_3d9de7cd57db","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_86898b46f401","premises":["n_1cdf5af934ec","n_1c4f7c04ae82"],"conclusion":"n_ad7ba27b9046","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_ea48dca2248b","premises":["n_ad7ba27b9046"],"conclusion":"n_754d7c9d1927","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_fe9f1fc93abb","premises":["n_83a70c800393","n_5928955a839d"],"conclusion":"n_64b3db2e083f","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_aaaac37dbda8","premises":["n_f13fd6c0541a"],"conclusion":"n_3d3a80ef8a77","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_95b98ae0ef76","premises":["n_5928955a839d","n_f13fd6c0541a"],"conclusion":"n_ab41eed6104a","createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"arg_700b5328408b","premises":["n_c32d9c59b3e4","n_54c45f418325"],"conclusion":"n_c2c09ef322d0","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_f47d3616fc15","premises":["n_c2c09ef322d0"],"conclusion":"n_56bc56c22a75","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_5536dc634c5c","premises":["n_c2c09ef322d0"],"conclusion":"n_cd77f4cf5035","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_707a59f77fad","premises":["n_56bc56c22a75","n_cd77f4cf5035"],"conclusion":"n_eea7d3a90019","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_02a143eb6179","premises":["n_cd77f4cf5035"],"conclusion":"n_b35fbe641122","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_6cf668ee51ed","premises":["n_eea7d3a90019","n_b35fbe641122"],"conclusion":"n_7b3f8ad563a9","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_8b627a305d0d","premises":["n_7b3f8ad563a9","n_2d804531be05","n_da356cdc28e5"],"conclusion":"n_ded11ad3dd84","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_9fc949dca36c","premises":["n_b35fbe641122","n_7b3f8ad563a9"],"conclusion":"n_ae1513f039d7","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_ecf730c588b4","premises":["n_7b3f8ad563a9","n_ae1513f039d7"],"conclusion":"n_36647522cd8f","createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"arg_3119e366a6db","premises":["n_db92d8ef9007","n_842f502aec85"],"conclusion":"n_e4b312095a2a","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_3407b1af48c4","premises":["n_db92d8ef9007"],"conclusion":"n_6306f3989c18","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_bd5963f07b40","premises":["n_db92d8ef9007"],"conclusion":"n_f6eedb1a3f9d","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_db6f8b5e6d41","premises":["n_db92d8ef9007","n_842f502aec85"],"conclusion":"n_df70f77bbc5a","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_cd5dd75b1a7f","premises":["n_09408f2aead3","n_27829731bbf4"],"conclusion":"n_dbace2c65213","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_e92bc8bc1991","premises":["n_df70f77bbc5a"],"conclusion":"n_b24b1ce2d1b6","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_10131fb1691e","premises":["n_27829731bbf4"],"conclusion":"n_3bfc1a2610bb","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_c0e742a77257","premises":["n_842f502aec85","n_9e7eb2d4b587","n_2e759a8a76e9"],"conclusion":"n_43e3ab02f3ad","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_a2c45d5cde70","premises":["n_842f502aec85","n_09408f2aead3"],"conclusion":"n_ecb200919f15","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_f3860f8e52f6","premises":["n_842f502aec85","n_e4b312095a2a"],"conclusion":"n_8f02f156ac85","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_6725f3685575","premises":["n_842f502aec85"],"conclusion":"n_65bd4130ec7b","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_9d6e2ffdd062","premises":["n_fdc538307524"],"conclusion":"n_6ae821017b51","createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"arg_a505663f2c37","premises":["n_b5f24794fc75"],"conclusion":"n_30876becb0aa","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_0cf92338f45c","premises":["n_2ac495eadfc5"],"conclusion":"n_dff1e1ba6bb5","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_d6b07c1ed88e","premises":["n_3e40a4bd2ca7","n_e373eba1ec31"],"conclusion":"n_98d65eb8c638","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_f085bdb9aee9","premises":["n_2ac495eadfc5","n_837668336e5d","n_4becbc10d31f"],"conclusion":"n_e373eba1ec31","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_4acad306c303","premises":["n_e0ca66c2e676","n_dff1e1ba6bb5"],"conclusion":"n_6f8d95390476","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_2b8d3900bde6","premises":["n_b5f24794fc75"],"conclusion":"n_30fef923b17d","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_51f7f711b3da","premises":["n_98d65eb8c638","n_e373eba1ec31","n_47a1ad1f12cd"],"conclusion":"n_1acc0de3087e","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_70ca00214323","premises":["n_5fc20d4e0598"],"conclusion":"n_dff1e1ba6bb5","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_ced102b181cd","premises":["n_1acc0de3087e","n_47a1ad1f12cd"],"conclusion":"n_6fe368af86eb","createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_528f2b147fe6","premises":["n_e3d84db9fd4b","n_9919bdd36c40"],"conclusion":"n_c34ec0027eee","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_f20916dea9b5","premises":["n_9919bdd36c40","n_6dd0d44633b8"],"conclusion":"n_dcbd96afcb6d","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_364350cf3633","premises":["n_58139e60a032"],"conclusion":"n_e373eba1ec31","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_de9c57bdf394","premises":["n_e373eba1ec31"],"conclusion":"n_5dc32d79a9b0","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_87c55098305f","premises":["n_5dc32d79a9b0"],"conclusion":"n_0e31d7e3704a","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_215323c6c4cc","premises":["n_98d65eb8c638","n_e373eba1ec31","n_47a1ad1f12cd"],"conclusion":"n_b584fbc7e213","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_0d3205993f6a","premises":["n_e373eba1ec31"],"conclusion":"n_5fc20d4e0598","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_33c206a0eca1","premises":["n_5fc20d4e0598","n_ed6126c0697a"],"conclusion":"n_4fece9b3d790","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_a073d6b5a392","premises":["n_4fece9b3d790"],"conclusion":"n_13a7e5cfc619","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_a748d044eed0","premises":["n_4fece9b3d790"],"conclusion":"n_833025bb4eca","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_b81536c81e1a","premises":["n_c34ec0027eee","n_5fc20d4e0598","n_a0fc7960e269"],"conclusion":"n_a02f4ce07fbb","createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_70993419ea7f","premises":["n_8c21e75691a6"],"conclusion":"n_6ad8a9e05d24","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_18682876388a","premises":["n_6ad8a9e05d24"],"conclusion":"n_195dd9849936","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_47919bd3d9b6","premises":["n_58a9c4a763f3"],"conclusion":"n_c705e62ae5d1","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_62e64f16479b","premises":["n_58a9c4a763f3"],"conclusion":"n_a68180094852","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_da1640016219","premises":["n_ceeb41d695cc"],"conclusion":"n_60f385710938","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_506aa545a80c","premises":["n_e4e4d48138da"],"conclusion":"n_6fe368af86eb","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_4eb2ed796fbb","premises":["n_60f385710938","n_6fe368af86eb"],"conclusion":"n_a93c4a8defa6","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_9bb27697e55f","premises":["n_6ad8a9e05d24","n_c705e62ae5d1"],"conclusion":"n_a02f4ce07fbb","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_24eaf8f556c1","premises":["n_6ad8a9e05d24","n_58a9c4a763f3"],"conclusion":"n_0e31d7e3704a","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_bfee5acc6dc1","premises":["n_84266dec0464","n_6fe368af86eb"],"conclusion":"n_60f385710938","createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"arg_7768aefe7982","premises":["n_9b19474daaf7"],"conclusion":"n_ed4b233efa54","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_1a2a9ddf7964","premises":["n_9b19474daaf7"],"conclusion":"n_aebfe8286387","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_fb7eac8e5e30","premises":["n_dc470a7b5ccb"],"conclusion":"n_10ecdf07c525","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_4cbb0075dde2","premises":["n_dc470a7b5ccb"],"conclusion":"n_8e13e22e08e9","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_1c21e0fc42bf","premises":["n_dc470a7b5ccb","n_aebfe8286387","n_73a1f3bd4b51"],"conclusion":"n_ec4c5891e369","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_fba9ca197d19","premises":["n_ed4b233efa54","n_aebfe8286387"],"conclusion":"n_d060ce8b3a89","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_ab945a558267","premises":["n_9a33a81b8ccb","n_dc470a7b5ccb"],"conclusion":"n_e17dd9b09c20","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_492bfdd350f9","premises":["n_e17dd9b09c20","n_ed4b233efa54"],"conclusion":"n_27d8f31f0041","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_783931fc6294","premises":["n_ed4b233efa54","n_aebfe8286387","n_e17dd9b09c20"],"conclusion":"n_8f32f6628dee","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_76169c91b553","premises":["n_8f32f6628dee","n_10ecdf07c525"],"conclusion":"n_40dccfae9b76","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_37ce3c949660","premises":["n_9b19474daaf7"],"conclusion":"n_1125c5b96f19","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_8f0cf8e3b527","premises":["n_cc0890c260a9"],"conclusion":"n_e6136e997226","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_d058ba03e30c","premises":["n_cc0890c260a9","n_aab90595148c","n_1125c5b96f19"],"conclusion":"n_45e424c7e78d","createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_eff83155d571","premises":["n_40dccfae9b76","n_cc0890c260a9"],"conclusion":"n_a9544b8f074f","createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_a22a009f6f2b","premises":["n_dc470a7b5ccb","n_9a33a81b8ccb","n_27d8f31f0041"],"conclusion":"n_8df1c56483dc","createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_730258da1e02","premises":["n_8f32f6628dee","n_ec4c5891e369"],"conclusion":"n_1d292d239739","createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"arg_ca20843379a0","premises":["n_902b0fb7f8b1","n_1b004ac09d5a"],"conclusion":"n_d69cb32fcb8e","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_1a2cb0bd4eea","premises":["n_d69cb32fcb8e","n_7da5ea0e02d9","n_ea18784387c0"],"conclusion":"n_f60e801322db","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_1e45047cafb7","premises":["n_902b0fb7f8b1","n_f60e801322db"],"conclusion":"n_6827f1eae895","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_cce90d2de14f","premises":["n_925d72648ef4","n_bb68655c4cbe","n_6827f1eae895"],"conclusion":"n_898fc83fae59","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_ec5bc714a5f7","premises":["n_bb68655c4cbe","n_898fc83fae59"],"conclusion":"n_37383f90c64f","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_734222e4b9fb","premises":["n_ea18784387c0","n_f60e801322db"],"conclusion":"n_60a148d93597","createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"arg_b9c496154214","premises":["n_9195627d45b9","n_89bd37c36e89"],"conclusion":"n_eb2beb6d2027","createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_02585976dbcb","premises":["n_33ab86c4abd6"],"conclusion":"n_eb2beb6d2027","createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_ab56a7f1f9a2","premises":["n_180d9f0a1de4"],"conclusion":"n_23192e0cb89f","createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_86ca293867f2","premises":["n_180d9f0a1de4","n_23192e0cb89f"],"conclusion":"n_1be5d157fb3a","createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_593a576d3e31","premises":["n_58c6b37c7e0c"],"conclusion":"n_926c1fa0e304","createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_e86aabbe4914","premises":["n_0213b83b85e3","n_d37f84f1b9f6"],"conclusion":"n_6889005bde10","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_b71a499bcb04","premises":["n_0213b83b85e3","n_6889005bde10"],"conclusion":"n_dcf284dffa2b","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_1a1653591da8","premises":["n_122a79b1e00f","n_ffd0664cc049","n_4650fc4245cb"],"conclusion":"n_dcf284dffa2b","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_b965e29bc421","premises":["n_dcf284dffa2b"],"conclusion":"n_f51d91f10b38","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_8b874e3f967d","premises":["n_f51d91f10b38"],"conclusion":"n_1339a9f877c3","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_15c2d659a962","premises":["n_dcf284dffa2b"],"conclusion":"n_13f66604c7e1","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_dc84e78af1f8","premises":["n_f51d91f10b38","n_4650fc4245cb"],"conclusion":"n_d41c50fcdbfa","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_014e3f82f58c","premises":["n_f51d91f10b38","n_eb2beb6d2027"],"conclusion":"n_8b8cd837b3d4","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_a637146ad09a","premises":["n_602a605f5d57","n_56100b18f710"],"conclusion":"n_5a84df339475","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_0006033e08fe","premises":["n_5a84df339475"],"conclusion":"n_1ee49dbabaaa","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_948def90d48e","premises":["n_1ee49dbabaaa"],"conclusion":"n_0998032e59dd","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_bfb033eda2d1","premises":["n_0998032e59dd"],"conclusion":"n_b43d26950ec0","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_9233af6c051a","premises":["n_1ee49dbabaaa"],"conclusion":"n_5cfc2c234ab7","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_38a7c647f204","premises":["n_56100b18f710"],"conclusion":"n_541cc6e0a96a","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_5d561fcfa817","premises":["n_5cfc2c234ab7"],"conclusion":"n_b90d4e5ac45c","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_7118b6ee241d","premises":["n_b90d4e5ac45c"],"conclusion":"n_5169da8ee11d","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_3937167214d0","premises":["n_3093400d92c2"],"conclusion":"n_b421c0960552","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_0706c9be7913","premises":["n_b421c0960552"],"conclusion":"n_524aa358442a","createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_158fa54192ca","premises":["n_ba7f8c479f61","n_524aa358442a"],"conclusion":"n_926c1fa0e304","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_73894118296b","premises":["n_0998032e59dd","n_6a2b3ed1e007"],"conclusion":"n_2e596aac5aaf","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_2daee2b6ddd1","premises":["n_180d9f0a1de4","n_6a2b3ed1e007"],"conclusion":"n_16dc6e4123f0","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_fc548565c505","premises":["n_db58150dc542","n_eb2beb6d2027","n_8b8cd837b3d4"],"conclusion":"n_4624f8ad9a9a","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_36c33ae12478","premises":["n_4624f8ad9a9a","n_1339a9f877c3"],"conclusion":"n_e55d28497ce9","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_7452980935e6","premises":["n_e55d28497ce9","n_1ee49dbabaaa"],"conclusion":"n_330c6e270905","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_f2bf195475d8","premises":["n_2e596aac5aaf","n_e55d28497ce9"],"conclusion":"n_7a72a1ed93b9","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_76a72de711c3","premises":["n_5cfc2c234ab7","n_b90d4e5ac45c"],"conclusion":"n_ed410f739a4f","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_335d8a124bd7","premises":["n_ed410f739a4f","n_7e4c21df9808"],"conclusion":"n_cae7d5a080c7","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_1133718dad09","premises":["n_926c1fa0e304","n_6a2b3ed1e007","n_cae7d5a080c7"],"conclusion":"n_be19c1fa9d92","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_c6bc9c29c422","premises":["n_cae7d5a080c7","n_c7a31582c501"],"conclusion":"n_69ce608c575e","createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"arg_93ffc0f8ce59","premises":["n_d4f521e6d594"],"conclusion":"n_465398b5356a","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_0134ee100704","premises":["n_465398b5356a"],"conclusion":"n_0077867ac365","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_43196f9c502f","premises":["n_465398b5356a"],"conclusion":"n_900d57d79089","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_62f20d9d0f0d","premises":["n_465398b5356a","n_0077867ac365"],"conclusion":"n_bd17c923805f","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_158447f87729","premises":["n_900d57d79089","n_2247b01fa1c4"],"conclusion":"n_dd1107920063","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_b4fa74374e67","premises":["n_c4847c70d947"],"conclusion":"n_085cc3ea197f","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_8b70a8cd7dae","premises":["n_085cc3ea197f","n_77927ce311bd","n_8bb4b3ac5e1b"],"conclusion":"n_fb7a4420fa22","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_2994ceb49244","premises":["n_465398b5356a"],"conclusion":"n_38e441ce0f2a","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_68037d9fcce2","premises":["n_c4847c70d947","n_38e441ce0f2a"],"conclusion":"n_d516ed352aee","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_ca4d90a51dd2","premises":["n_1cdf5af934ec"],"conclusion":"n_981785db6e66","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_ea38d2f06db0","premises":["n_1cdf5af934ec"],"conclusion":"n_8aa08afccdd6","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_ffcf145368f6","premises":["n_25ccc4add9f1"],"conclusion":"n_3d9de7cd57db","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_845420da551f","premises":["n_8bb4b3ac5e1b"],"conclusion":"n_aed0d956de16","createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"arg_53a354b18d92","premises":["n_d33344f28684"],"conclusion":"n_f362e4f7bda6","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_af755f8bfaa6","premises":["n_d33344f28684"],"conclusion":"n_5e286f9d4263","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_e85cc288e95c","premises":["n_d33344f28684","n_5e286f9d4263"],"conclusion":"n_24e1ea5def83","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_3c33ca95bacf","premises":["n_d33344f28684"],"conclusion":"n_f175f2e8772b","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_46ad8b4f91e8","premises":["n_d33344f28684"],"conclusion":"n_6cf2fd17097c","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_819948ef4a93","premises":["n_d33344f28684","n_ee2203f156b4"],"conclusion":"n_86ba50d0c79e","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_fa0cccabd316","premises":["n_d33344f28684","n_86ba50d0c79e"],"conclusion":"n_17b0b0e5bdfc","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_06f4a4a1caa1","premises":["n_86ba50d0c79e","n_0e3e789ba2a9"],"conclusion":"n_e92884c6bead","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_1e4eac090f50","premises":["n_86ba50d0c79e"],"conclusion":"n_b07a2b1b3be4","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_8afb11def60e","premises":["n_e92884c6bead"],"conclusion":"n_149c99fa9b2c","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_b0ce334b4533","premises":["n_d33344f28684"],"conclusion":"n_2c32475f6d7f","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_31592b9edf76","premises":["n_d33344f28684"],"conclusion":"n_ded8ab3e7d31","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"arg_a593847fbd99","premises":["n_2c32475f6d7f","n_ded8ab3e7d31"],"conclusion":"n_fd758386afe2","createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
+105
@@ -0,0 +1,105 @@
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"1f0facaa41b7e18d051500ac62fb3bc9c13f8364da9840c1202fce436287d905","tokens":63,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"bba943a087e186b09ec39977b7f5fe2be8e99bf7249fd2d52ced0ac98546eaa6","tokens":91,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"e93ca9e03fdb04092b105ee9643aade4d5290f6491f22032a9ad9d8ccb189499","tokens":82,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"31f10f40b3b18ab32bbc32fb38c9fb1272cc5f65475091ad3725afced6cf67fd","tokens":124,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"7f658e5fd8ec450d166a2fb6dec43b01a3ab86f983f65a2333b13b249ad5e40d","tokens":113,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"0582dab5facf4d07d466a454ae0583f87755b2e3621c68545c9615cffb2676b4","tokens":131,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"12051945057d36b2908f31b73cf56a09f0009a80e0a815b3cd349e74d59f4cac","tokens":113,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"af777322cccb06169bc77d2f47b736ce2100bc6b1b4f01ea42605fa524220d5e","tokens":117,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"c2ed8cc6a07b9b50925389e9c21c692c9d0f764c8225465c40cbf3eee364edaf","tokens":129,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"826d76376d817db2c4a7c6342644a42ebf5b436ba0faefb3a02f737840c2fcd3","tokens":1066,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"c50e5b35a66230386fe2bc7ec731d3f1189161a8abcc39eee9e684a1030b1634","tokens":453,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"2e5424de48b2ca7369943fac118519c7ee9f6703fb6bfa70681db3dd6e73e96f","tokens":520,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"44f43a858cdac09d75fde59d335612e99d6ad7aff87fb59e73c3262a1c0b27e5","tokens":489,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"b3695f4c8830c9fd987661023eb497786c3ca579a9b1c976efeab437b50a36a4","tokens":529,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"714c48f4f7977a10239f9465295426029edadebdc6306f768f9b56ec88452c7f","tokens":387,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"a1011500b7474c9bbfeb77ad111ecbb5dcc367b0b3ff4ab76b03cb51596c547c","tokens":751,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"3b7eb7488d532f441661bb6ca00c5a4f8f177c52419bba04e390c83119669fcd","tokens":609,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"1aba5bf4a1ae59e5f11f31122662156333afee0ad2d668c11ed1b724c165ed2b","tokens":16,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"8936f1ea0c017d0981f07abebb334535040dff916a225b9a6c7fd51a24c2728a","tokens":923,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"de76a271a86a7aac4af2ff5925273323174600a78d7e8c2c920c5c47abecb67c","tokens":663,"foldedAt":"2026-10-02T20:47:11.070Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"29d746ec661da431b2e41114590d620fa57c7a46b8ce4be8be38d6c4bc57387c","tokens":766,"foldedAt":"2026-10-02T20:58:24.540Z"}
|
||||
{"chatId":"chat_munfo08r_8172fd8a","fp":"9159bcec58cbb87c01b63bf18b8fe74e5acd77b71667b95f26131d071c740ed4","tokens":362,"foldedAt":"2026-10-02T20:58:24.540Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"2288cd57bd8afc8af69a4ad68b7244280cf9d9a15fdbd7edbd8d6e4b6fc96359","tokens":238,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"98c175221298a4d3eb2007e2ac4d2b93d9aa863127c6e14ae7c79f1c712c5b94","tokens":37,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"7be1eaf75e4c0bce8cc7278f16f5694cff0ee32ba4a5d05338f420364b243216","tokens":55,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"bfc3436662dac693603cad08b77434516e11ccc73675f8e64fdebac606a3cbf9","tokens":44,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"edfbb008b5c7e2959a47432f7906918dcaebe553234ebf2a8c2e9c4e2ce5b82f","tokens":80,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"3917a96bb74e710caaa8ed455e5aa188971c8678dc1ed91e0a0d481dcfea9d16","tokens":42,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"7f168ee0cb9fa5f796b7e709707ac66fb391c65e1fe17d18e4cb8436c1d04711","tokens":76,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"1d440c0f8eb80219051c30fb44cf2b5e2244489ec5545cfde6869b9d90cc8518","tokens":70,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"573ca399eecbaac78886a153bdd61df12326b0bd7511cf4046eeedeaef35c1bf","tokens":71,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"cada091ed5f25f3cc5edd1be1afa260581dfc6a4cd5a3a1b1e3ea549a6404313","tokens":94,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"880cea4a13dbc57dc86a8921c17e009bce7abf67352686ebcfee34a33e8ac678","tokens":68,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"f0bd02bc7ce08285378026b3ecc00c9e271c0548e9fe098a2ac974ba208bad8a","tokens":85,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"e7d776ecbc1859c43099a19afed2a2ef6966325f397fb1c9e44215c50f04d62a","tokens":884,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"5cbeba46f88f8e69b74c9042207eaaa31c41b60044be7926a0835e0bdbeb72b2","tokens":88,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"48adb48b24f8ae720a9bc9e3ce361e3b0d035509abc348e11862aa567c9820e4","tokens":1168,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"ec21b9164d58f835c2d952b57b4c62c04048525b09ed7cabcf543dc8f2507403","tokens":44,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"821722ab4d350c86940d381a3809cd461cbf116b20813d448bbf92658e640d53","tokens":310,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"52523947f411ae6cd925bb8318792ed513f57c8eceac94dc91b31cc00a211a70","tokens":384,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_mur9v4qb_fb4c99e5","fp":"eeb876849a9395b344ec84393a7c7973218c9180a27919c562d4933aa9c24a6d","tokens":356,"foldedAt":"2026-10-03T20:44:37.917Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"cc0d7e6ea37071ebed49fd701cc7fdfa7ebc61d00b86c14530b345123be8c0c0","tokens":57,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"6793407795f3a6ec730f16daebe8a835a048474705dbfaa77f4d9b0bb83331d0","tokens":114,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"a966cca1318f4b7a3841b48886e29f7f0b5c07dc997bb9d887968577bb52118a","tokens":99,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"05232889908c9998b48d81853aea4fad9d90ee76ada8b45b319a93e010fd06db","tokens":140,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"b760eb57c38dd9a31898cef5c218e525c9b632621e75ffd5d6c69d7becb716f7","tokens":107,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"0a3e52b1d1ef67637c0236de843775ddbc81cc34bec18fed14d1f3cb396dabaa","tokens":99,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"03ed70a1bb3b61cb969d13d40501bfdeaf3aa0d0c28bfe633d0d4a5560e6688d","tokens":89,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"9cce5c4aa2c77a493825f8966c8735c175916f5ea0c7d7aebd1f94fd351f66f6","tokens":105,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"9e54dae58ee9859fee6e73fd0fc89025b3b3f45954c9c41a778b16673a3e08ec","tokens":911,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"3244cf51dba8bcdef3010eba837c81eff4383422a2e63d5626bf1eda7266de3c","tokens":204,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"83ea79727fa2bc6f459b15034d045ad701ec9679db7ca8d0f8f9b28296051cbe","tokens":63,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"e855e4278222b03f75dc53f79b969b646aebdc451a1cec731b158ea41ceb95a8","tokens":591,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"2751b5254f22a03122acd221dfd07ade7cb432ac0cd6aca3b696003a1474a41e","tokens":199,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"b5dd9fc20f381f9113584beaa372c92d567aa3052a33284a619bb1cd67d467d5","tokens":901,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"b0fe02ac65d042b558c54685da436a37d55ed30880adb35a6b6936440c6e19bd","tokens":694,"foldedAt":"2026-10-03T22:56:54.171Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"762df8fab0183703b3881e27e81755e93db5cfe95f0ee9036c1b9da6ef508689","tokens":826,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"9dbb28bd22aa97a7d4b9f62d70344b1b668a05da7abcd70e8f7acd2b9007186b","tokens":830,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"0c47afcc1ad875f8c67f8efe9e08539a0c44c6071d4ddc5a9e83ee47d7f2816e","tokens":683,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"8bae3422b48e1f7b4126dbf727c41452521dd6df3b8a2cc4f09c0c2e3f2f9fdf","tokens":727,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"77f79eac86eb0960fc36e36142d1a0f3f9cd08a26dceb1d87ff874d3c5541b27","tokens":819,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"2682b84f490c6702da1462f673a3720b798b68bff0addabba999c717e1fea38c","tokens":773,"foldedAt":"2026-10-03T23:42:47.063Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"baf8da78f1f8f5b9b724d3f5abe7d785b2dafb160e425e91fd95bcf5e58b58ca","tokens":1094,"foldedAt":"2026-10-05T22:17:48.550Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"7c4acee1aa2c8554168143677370cedb986c05606e5f36ffcd037067d2f5a351","tokens":632,"foldedAt":"2026-10-05T22:17:48.550Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"d75346da73e7fbf920b7fdea7b879989966cb6b9398b1f5cc4c33c2853816309","tokens":859,"foldedAt":"2026-10-05T22:17:48.550Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"d9ab47012cba3daabadc07ba02c4c99569dd57e63558b43dfdbf23bb172f9469","tokens":412,"foldedAt":"2026-10-05T22:17:48.550Z"}
|
||||
{"chatId":"chat_musxkzk4_b84ec3f5","fp":"91f5362b91e3ce9f33c9c99f1d25c822403f458bac2dafc20718c2b8e7a0ffd4","tokens":1249,"foldedAt":"2026-10-05T22:17:48.550Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"1df33a73d5f1b30670808a55d7c2853d18afc693941b79f231caf7fbe4539dd5","tokens":48,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"928e00caac288c1d9b5021c931597187bc6b863fddc1c81cbfd6be1f51d86982","tokens":137,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"60d520e46a2b35c3d2f3de416c97b7b91d3a572f4016f73333d0cf06324d0880","tokens":158,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"db234c2b7564f00a74488aabca3d4a5b17abea24049048e7b1a0a17af5705b7c","tokens":91,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"e0958ebeedc80fe5c4c652dc334658b551443b17cc05b045fa473ced37c89dae","tokens":80,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"cbb1b7c7ea4e7a994efe0c3136a399edbe49d0f2ef015632b0b2a1c962eb8343","tokens":97,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"b4c89eb987d023cccb68ad4d61a890130e15f1e7ab1ecd2dfa1e7619041e6008","tokens":136,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"0b3c745b5949adffec235408054bc6e9418688d45d46dd30f7354ec1c3662d24","tokens":122,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"65514a48535e5b1a3d04534850b9f39b558b373b2dca3da102dd8954d44a16f8","tokens":39,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"086118183c722f98284d9b5c9263596350a9d3215d3e8e143684aaa91bc882a9","tokens":107,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"0525102f2f3e5c0cc8117203773e7eff25d3e4fab3904bff855e9c3aeb069969","tokens":71,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"a0280034a073b2d39c0a4210866a8b4c38c9b8e2b6c622a06c90ef637e562723","tokens":97,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"1b00fedca49d406c3654637c7f50f204c81a7657a57f903db36c98b3e95447c4","tokens":25,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"104f0001926f47f99a61fe80b25b2860df66b162e0daa5f037c3cc81caf1fe14","tokens":113,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"523d192fb7b2a78850d5df51f033c41ba2637c5edba1985ed48074058d2210f3","tokens":772,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"e7d9ef50c4ac7f1fbfc68f320902e3a527571cf77e5bafe03fc1c3fb81ff3e58","tokens":64,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"4155db3496f9618a9c7ab3518ff80ae97b4310e5767732e8b0a4a09403a02393","tokens":41,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"026c0271b522730099b30cb9a63e5eb7dbef62871b038a5d064ea285b7067e57","tokens":811,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"760952a9fa0a188798611923be015ac8c2005bc00515d6147b27c963ebc0ba50","tokens":208,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"6774f4298aafe37a9daca3a4e8615f547b6ddc92b4733d4b56dbc94e212f76f9","tokens":105,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"cf934c8177c0557cbed5460172c3d47bfced829802b29d6826c3c8e0555a4174","tokens":688,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"e06c0e77fce8d7454d239646aa6fad7cc3c6cee9801f565d81dbc774f09594a2","tokens":331,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"7fd2ca8d3aa49a3b7b6f1736694d17d844e6d311a64ec080b3da22904431dcee","tokens":122,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"30b4b778cff241a0298b5bc03717f78fbd6d06590dfb0101b330410bbe3c7f0b","tokens":648,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"edd4d04f36ed641898d5004463e7abdaf535f3bfd07f1a3bc392890fb27bd769","tokens":389,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_muvot9vr_d0a5dd8f","fp":"3ebd5d10df957c78ee9bc30e5174655c568627cce536165aa1f5f9f625ea9781","tokens":751,"foldedAt":"2026-10-05T23:30:37.864Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"5df6cdec8dfd10eb7c8ddd8594a49d8a9518a2b5b07b6e57efa3f4c725ab1e63","tokens":57,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"d776ce12d99af963396890885180cc2eba467d90ae1ee88108f5b52492b5898e","tokens":80,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"fdf58002eb64b6ad29fb94625f978ff2890356181bda0eeca1f401f6d9c8c2f5","tokens":118,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"c8352a22affc9e2cca9252667257b60a0c4c5f670eae67bdb10f9c590cbfee18","tokens":910,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"cfc83c52a7014cb8be3d7d42a64787f73813f5b3b5bf32fdbca55bcdff097791","tokens":125,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"e27e34dbd23f26f2b552edfb74851ff413a7695164666ecfd0422d27ba113874","tokens":149,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"23ae4f16b01aec3730fb3571fbf360b19a730c00fb519d89a5a0809e05227aac","tokens":767,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"3f640465802a4ac836246aaf1f7334c4bf226d313cd82967eff96d036ab2d422","tokens":586,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"816e6ee1aecc147d612978fb85ef9816997e517d0a9c2160fbac59dce1e75be1","tokens":132,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"a817b65b3fe9b86798b5c08cdfae2482d461d8704c564256fda12dedf0c2c35d","tokens":726,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"1ad6be0ffef2211ad2dab1a2c91331ba125a6bd037bf0aa6a88f49909018373d","tokens":109,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
{"chatId":"chat_mv19m6xe_1481b07e","fp":"435a45968898ebe3dfb92dc47dfe261dcc2cd6c24b063c5fda50e86d97afae9f","tokens":724,"foldedAt":"2026-10-10T10:25:51.446Z"}
|
||||
+298
@@ -0,0 +1,298 @@
|
||||
{"id":"n_465398b5356a","name":"Relational model (Information Principle)","statement":"All information in a relational database — the facts themselves, the identity of individual facts, and the relationships between facts — is represented in exactly one way: as values in cells of tables. There is no second channel such as hidden ordering or physical pointers.","aliases":["All data is represented as values in tables. Nothing else. No exceptions.","the Information Principle"],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_c4847c70d947","name":"One fact per row","statement":"A table is a set of rows, and each row represents one fact. Because a table is a set, its rows have no inherent order and two rows can never be exactly identical.","aliases":["A table is a set of rows; a row is a fact."],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_0077867ac365","name":"One value per cell","statement":"Each cell of a table holds exactly one value of the column's declared type — never a list or an encoded collection of multiple facts.","aliases":["A cell holds one value."],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_f2351011f05c","name":"Primary key","statement":"Because table rows are unordered and position carries no meaning, a row can be referred to only by its values; every table therefore designates a primary key — a column or minimal set of columns whose values uniquely pick out one row.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_35b7e306ed6b","name":"Foreign key","statement":"Relationships between tables are represented as values, not pointers: a row references a row in another table by containing that other row's key value in a foreign-key column.","aliases":["References are values"],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_d4f521e6d594","name":"Values not pointers","statement":"A pointer specifies where data physically lives; a value specifies what it is. Representing all data and all references as values decouples the meaning of data from its physical storage, so references survive restructuring and a query need know nothing about files or disks.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_b690f1f6df90","name":"Lists hide facts","statement":"Storing a list of facts in a single cell forces querying, updating and validating any individual fact to become string- or array-surgery on that cell, and allows references to entities that do not exist; giving each fact its own row turns all of these into uniform insert, delete and select operations.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_d7a78bb8cdef","name":"Junction table","statement":"A many-to-many relationship between two tables is represented by a third junction (join) table, each of whose rows pairs one key from one side with one key from the other side.","aliases":["enrollments table"],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_f511093cdd73","name":"Declarative querying","statement":"A SQL query is declarative: it describes the set of rows that constitutes the answer, not a procedure for computing it.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_0165328378ae","name":"Relational closure","statement":"Every relational operation — filtering rows, projecting columns, joining, union, difference — takes relations as input and produces a relation as output, so relational operations compose arbitrarily: any operation's result can be the input to another.","aliases":["Every one of these operations takes tables in and produces a table out."],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_eef326d18bac","name":"Queries as descriptions","statement":"Because each relational operation's output is itself a table, arbitrarily complex queries are compositions of small operations each defined purely by the set it produces; a query therefore need specify only the result set and never a procedure.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_3207752b6371","name":"Query optimizer","statement":"Because a query describes a result set rather than a procedure, the database is free to choose any execution plan that produces that same set — scan order, index use, parallelism — and selecting such a plan is the job of the query optimizer.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_e5fc6d37add3","name":"Relational algebra","statement":"Codd's relational algebra supplies the primitives that SQL syntax denotes: selection σ_p for WHERE, projection π for SELECT, cartesian product × for FROM/CROSS JOIN, θ-join ⋈ for JOIN ON, set union, intersection and difference for UNION, INTERSECT and EXCEPT, and rename ρ for AS.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_c3a211c363cc","name":"Projection","statement":"A tuple is an element of the product of its columns' domains D1 × … × Dn, and projection π onto a subset of columns projects a tuple onto the corresponding subspace of that product — the same operation named in linear algebra.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_1c4f7c04ae82","name":"Join as selection of product","statement":"A join is the identity R ⋈θ S = σθ(R × S): form the cartesian product of all row pairs, then keep exactly those pairs satisfying the join predicate.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_436d2bc2093f","name":"Join is derived","statement":"Join is a derived, not primitive, relational operation: cartesian product together with selection is sufficient to generate every join.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_834c1d2c3efe","name":"Duplicate elimination in projection","statement":"Because a relation is a set and a set cannot contain duplicate elements, projecting a relation onto a subset of its columns merges tuples that agree on the kept columns — duplicate elimination is forced by set semantics.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_91cca77b64cd","name":"SQL logical pipeline","statement":"SQL's clauses describe a logical pipeline evaluated in the order FROM → WHERE → GROUP BY → HAVING → SELECT → ORDER BY: WHERE filters rows, GROUP BY buckets the surviving rows, aggregates are computed within each bucket, HAVING filters the resulting groups, and only then are SELECT's columns produced and ORDER BY applied.","aliases":["FROM → WHERE → GROUP BY → HAVING → SELECT → ORDER BY"],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_57c17d96ece6","name":"WHERE precedes HAVING","statement":"Because WHERE removes rows before GROUP BY buckets the survivors, HAVING filters only the resulting groups and cannot re-expand to rows that WHERE has already discarded.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_5928955a839d","name":"Transaction atomicity","statement":"A transaction groups several operations into one indivisible unit, so that after a crash either all of the operations or none of them are applied. This is the atomicity, the 'A', of ACID.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_f9524c128228","name":"Concurrency as core problem","statement":"The core problem database management systems were invented to solve is safe concurrent access to shared state — letting many readers and writers operate at once without clobbering each other; data integrity can be bolted onto plain-file workflows with external validation scripts, and speed and SQL are conveniences, but coordinated concurrent access fundamentally cannot be added that way.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_c3acbe7489b7","name":"Index","statement":"An index is an auxiliary, kept-sorted data structure (in Postgres a B-tree) that maps indexed-column values to the locations of the matching rows, so a lookup jumps directly to the matches in O(log n) time instead of scanning every row.","aliases":["a book's index"],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_52271c30f418","name":"Index cost","statement":"Every index carries a cost: it occupies disk space and must itself be updated on every insert or update that touches its column, so an index trades write speed and space for read speed.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_5112427fa14d","name":"Join one row per match","statement":"A join emits one row per matching pair of rows, so a customer with three orders appears three times in the join's output and a customer with no orders does not appear at all.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_1f6473afca78","name":"Navigational databases","statement":"Pre-relational 'navigational' databases stored records linked by physical pointers and answered questions by writing code that walked those pointers, so the structure of the data was identical to the structure of the code and any restructuring broke every program that walked it.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_58055de67178","name":"Foreign key cardinality","statement":"A single foreign-key column encodes a one-to-many relationship — each referencing row points at exactly one target row — and so cannot by itself encode a many-to-many relationship.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_997e48557a03","name":"Crash mid-operation","statement":"A single logical operation, such as a funds transfer between two accounts, can require several physical updates, and a crash can occur between them, leaving the operation half-applied.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_9d454cfe2802","name":"Concurrent writes clobber","statement":"When several people or programs write to one shared plain file, their changes clobber and conflict with each other in ways no external script can coordinate.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_0ed53f530e24","name":"Integrity as bolt-on","statement":"Enforcing that data has the right shape — for example that an order references a real customer — can be added to an ordinary file workflow using external validation scripts.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_cad44218153e","name":"JSONB as atomic values","statement":"Postgres does provide array and JSON/JSONB column types, and they are the right tool only for values that are genuinely atomic to the application (data never queried into as separate facts); they are not an exception to one-fact-per-row for entities that deserve their own rows.","aliases":[],"createdAt":"2026-09-30T14:51:12.437Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ddd8b1803e58","name":"Relational algebra identities","statement":"The relational algebra obeys algebraic identities: two nested selections equal one selection with the combined predicate (σ_p(σ_q(R)) = σ_{p∧q}(R)), join is commutative and associative, and selection distributes over join. Because every relational operation outputs a relation, these identities hold at every level of nesting, not only at the top.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_3207752b6371","name":"Optimization as equational rewriting","statement":"Query optimization is equational reasoning: the optimizer rewrites a query by applying the algebra's identities to produce an equivalent expression that is cheaper to execute, so it acts as a theorem-prover over the relational algebra.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ea3fd2938f29","name":"Bag (multiset) semantics","statement":"SQL tables and query results are multisets, not sets: SELECT without DISTINCT leaves duplicate rows in place, UNION ALL preserves them, and projection does not reduce cardinality. This departs from Codd's set algebra because eliminating duplicates costs a sort or hash, so 'a relation is a set' holds in SQL only when key constraints enforce it.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_42e700af80f1","name":"ORDER BY produces a sequence","statement":"A set has no order, so a query containing ORDER BY outputs a sequence rather than a relation. Consequently the order of a result without ORDER BY is unspecified, and an ORDER BY inside a subquery has no effect because a relational input cannot carry an ordering outward.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ac0cf539acf2","name":"Aggregation operator","statement":"Grouping partitions a relation into equivalence classes by the grouping key (rows equivalent exactly when they agree on the key) and applies an aggregate — a function on sets such as COUNT, SUM or MAX — to each class, emitting one tuple per class. Aggregation is therefore a map from sets of tuples to values, not a function applied row by row.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_34544f8a8371","name":"No complement operator","statement":"The relational algebra has no complement operator: a column's domain is large or infinite (e.g. all strings), so the complement of a relation would be infinite. The algebra only ever operates over the active domain of values actually present, which is why set difference requires matching headers and why SQL has no complement keyword.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_9ff6202d8f3d","name":"NULL as no-value marker","statement":"NULL is a marker meaning 'no value here' — not zero, not the empty string, not false, but the absence of any value. It is SQL's chosen way to represent missing data, in preference to corrupting a domain with sentinel values or introducing a side table for every optional attribute.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_5f08d3f84da8","name":"Three-valued logic","statement":"Because a predicate given 'no value' can return neither true nor false, SQL predicates evaluate to one of three truth values — TRUE, FALSE or UNKNOWN — with the operators extended accordingly: NOT UNKNOWN is UNKNOWN, FALSE AND UNKNOWN is FALSE, TRUE AND UNKNOWN is UNKNOWN, TRUE OR UNKNOWN is TRUE, and any comparison with NULL is UNKNOWN.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_8bc4b7fb2bb0","name":"WHERE keeps only TRUE","statement":"A WHERE clause keeps only those rows for which the predicate is TRUE, discarding rows where it is FALSE and rows where it is UNKNOWN, so missing data falls out of both a filter and its negation.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_590cba185a40","name":"Excluded middle fails under NULL","statement":"Whenever NULLs are present, the classical identity σ_p(R) ∪ σ_{NOT p}(R) = R fails in SQL: rows whose predicate evaluates to UNKNOWN belong to neither σ_p(R) nor σ_{NOT p}(R), so the law of excluded middle does not hold.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_05a07f34e8a0","name":"IS NULL","statement":"Because NULL = NULL evaluates to UNKNOWN (two unknowns might differ), NULL can never be matched by an equality test; detecting it requires the dedicated predicates IS NULL and IS NOT NULL.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_31f9b72d13c6","name":"Aggregates skip NULLs","statement":"Aggregates ignore NULLs: COUNT(*) counts rows while COUNT(column) counts only the non-NULL values present, and AVG(column) divides by the non-NULL count, so the two counts differ exactly when NULLs are present.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_bb78a2dda910","name":"NOT IN with NULL","statement":"`x NOT IN (subquery)` expands to a conjunction of inequalities, so if the subquery returns even one NULL the corresponding term is UNKNOWN and the whole predicate can never be TRUE, silently returning zero rows; `NOT EXISTS` does not have this flaw and is preferred.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_fa7a5fdc9a10","name":"NULL as second channel","statement":"NULL is a hidden second channel of information: a cell then carries a value plus an implicit presence flag, and the surrounding logic must deform around it, violating the principle that all information lives in values alone. The relational-pure alternative is that absence of a fact is simply the absence of a row.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_b1059626c75c","name":"Outer join","statement":"An outer join keeps unmatched rows instead of dropping them: a LEFT JOIN preserves every row of the left table and pads the right table's columns with NULL where no row matched (RIGHT JOIN mirrors this, FULL OUTER JOIN keeps unmatched rows from both sides). It equals the inner join union-ed with the unmatched left rows extended by NULLs.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_d9780f3a37d6","name":"Anti-join via left join","statement":"A left join followed by a filter keeping only rows whose right-side key IS NULL yields exactly the left-table rows that have no match — the set difference between the left table and the rows that join to it — expressed through NULLs.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_b654699f4168","name":"GROUP BY well-typedness","statement":"After grouping, individual rows no longer exist — only equivalence classes do — so every expression in the SELECT list must be single-valued on each class: it is either a grouping key (constant on the class) or an aggregate. Referring to a raw non-key column asks which of the class's many values is meant and is rejected, exactly the well-definedness condition for defining a function on a quotient set.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_91cca77b64cd","name":"Clause order forced by scope","statement":"The order of SQL's clauses is forced by which expressions must be in scope at each stage rather than chosen by convention: filtering must precede projection because a filter may reference columns the query never displays, grouping must follow row filtering, and ordering must come last because set operations do not preserve order. The pipeline is a topological sort of these dependencies.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_1bd3a6f34eb1","name":"Database as choke point","statement":"Every application that touches the data writes through the same database, which is a single choke point and outlives the applications that use it; application code, by contrast, is many programs that change over years.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_83a70c800393","name":"Constraints enforce consistency","statement":"Integrity rules are best stated once as database constraints and enforced by the DBMS at the choke point every write passes through, since otherwise every one of the many, changing applications would have to re-implement every rule. A database state is consistent exactly when all its constraint predicates are true; types, keys and checks are all such predicates, and the DBMS's job is never to allow a transition into an inconsistent state.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_2f9d109572ef","name":"Bags/ordering vs NULL pattern","statement":"In SQL, duplicate-keeping and ordering change what a query result is (a bag, then a sequence), whereas NULL changes what operations mean (it breaks the algebraic identities); these two kinds of deviation from the relational model are distinct in kind.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_754d7c9d1927","name":"Join recombines scattered facts","statement":"A join is the operator that gathers facts back together from the several tables into which one-fact-per-row storage has scattered them, and it is this availability of recombination that makes scattering the facts across tables a safe design.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ae5fd46f7e53","name":"Junction walk as two joins","statement":"Walking a many-to-many relationship through its junction table is exactly two one-to-many joins chained together (one side to the junction, junction to the other side); each join outputs a relation that the next consumes, so join associativity lets the chain extend arbitrarily, which is impossible when the pairing is stored as a list rather than as values the algebra can match on.","aliases":[],"createdAt":"2026-09-30T14:52:56.110Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_83a70c800393","name":"Constraints enforce the model","statement":"The relational model defines what data means — rows identified by keys, relationships represented as values — but nothing in the bare notion of a set of tuples prevents a duplicate key or a dangling reference; integrity constraints are the mechanism that forces stored data to conform to that meaning, making keys unfakeable and references unbreakable.","aliases":["constraints are the model defending itself","constraints keep reality conforming to the meaning"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_f8484c0a90cd","name":"Nullable foreign keys disable integrity","statement":"SQL columns are nullable by default, so a foreign-key column validates only its non-NULL values; unless such a column is declared NOT NULL the table can hold rows that reference no existing target — orphan facts — silently defeating the referential guarantee, because a NULL contains no value for the key predicate to check.","aliases":["NULLs in foreign keys silently disable your integrity story","NOT NULL is the default, absence is the exception"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_2aa78309c8ac","name":"ON DELETE action","statement":"Because a foreign key makes referencing rows depend on a referenced row, deleting the referenced row forces a policy: ON DELETE RESTRICT blocks the delete while references exist, CASCADE deletes the referencing rows too, and SET NULL nulls their foreign keys — the choice encodes the domain's ownership (RESTRICT for a parent like a customer, CASCADE for owned children like order line items).","aliases":["ON DELETE RESTRICT/CASCADE/SET NULL"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_11f45b666a58","name":"Composite primary key","statement":"When a table's rows are pairings — as an enrollment pairs a student with a course — the pair itself is the natural identity, so declaring a composite PRIMARY KEY over both columns makes the pair unique, forbids duplicate pairings, and validates both references, with no synthetic surrogate id required.","aliases":["the pair is the identity"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_7df4cf416680","name":"CHECK constraint","statement":"A CHECK constraint is an arbitrary boolean expression over a row's columns — amount >= 0, an enum-like list of allowed statuses, or a cross-column rule such as end_date > start_date — so any domain rule expressible as a boolean predicate can be declared once and enforced by the database for every write.","aliases":["arbitrary boolean expression on the row"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_1cdf5af934ec","name":"Functional dependency","statement":"A functional dependency X → Y holds in a relation when any two tuples that agree on the attributes X also agree on the attributes Y — X determines Y exactly as a function does; functional dependencies are declared facts about the domain (business rules), not patterns merely observed in the data at hand.","aliases":["X determines Y","input X, output forced"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_aef7d974cb95","name":"Redundancy anomalies","statement":"Storing a fact in more than one row, or attaching it to something it is not about, produces three failure modes that no row-level constraint can catch because each individual row is valid: update anomalies (the fact acquires several disagreeing truths), insert anomalies (the fact cannot be recorded until an unrelated fact exists), and delete anomalies (removing one fact destroys an unrelated one).","aliases":["valid data that still rots"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_8bb4b3ac5e1b","name":"Candidate key","statement":"A candidate key is a minimal set of attributes that determines every attribute of the table (K → all attributes, and no proper subset of K does); a table may have several candidate keys, and an attribute is prime if it belongs to some candidate key and non-prime otherwise.","aliases":["minimal determinant"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_15ca00a77648","name":"Partial dependency (2NF)","statement":"A partial dependency is a non-prime attribute determined by a proper subset of a composite candidate key — as product_name is determined by product_id alone in a table keyed by (order_id, product_id); a table is in second normal form when it has no partial dependencies, so only composite keys can violate 2NF.","aliases":["depending on part of a key"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_1ab0f12d259e","name":"Transitive dependency (3NF)","statement":"A transitive dependency is a non-prime attribute reached through a non-key attribute (key → non-key → attribute), as origin_timezone is reached via origin_city in shipments; a table is in third normal form when every non-trivial functional dependency X → A has X a superkey or A prime, so no non-prime attribute is determined by a non-key attribute.","aliases":["depending on something that isn't the key at all"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_d656862c4e93","name":"Normal form ladder","statement":"A normal form is a property of a schema — not of today's data — forbidding one class of anomaly no matter what data arrives, and each rung is defined in terms of functional dependencies; the forms are cumulative (1NF ⊃ 2NF ⊃ 3NF ⊃ BCNF ⊃ 4NF/5NF), with 1NF forbidding non-atomic cells, 2NF forbidding partial dependencies, 3NF forbidding transitive dependencies, BCNF requiring every determinant to be a superkey, and 4NF/5NF addressing multi-valued dependencies.","aliases":["the whole ladder"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_d2428b421e25","name":"Kent's rule","statement":"Every non-key attribute must depend on the key, the whole key, and nothing but the key: 'the key' forbids facts about nothing addressable, 'the whole key' forbids partial dependencies (2NF), and 'nothing but the key' forbids transitive dependencies (3NF) — the slogan compresses 2NF and 3NF standing on 1NF.","aliases":["the key, the whole key, and nothing but the key"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_3d9de7cd57db","name":"Decomposition along FDs","statement":"Normalization is performed by decomposing a table along its functional dependencies — projecting it apart so that in each resulting relation every dependency flows from that relation's own key (splitting enrollments(student_id, course_id, student_name, grade) into a students relation, a courses relation, and an enrollments relation) — after which each fact lives in exactly one place.","aliases":["project the table apart"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ad7ba27b9046","name":"Heath's theorem","statement":"If X → Y holds in a relation R, then R equals the natural join of its projection onto X ∪ Y with its projection onto X ∪ (R \\ Y); the functional dependency is precisely what prevents the join from inventing spurious rows — any spurious row would be a mix of two source tuples agreeing on X but differing on Y, which X → Y forbids — so decomposing along a functional dependency is lossless.","aliases":["lossless join theorem"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_754d7c9d1927","name":"Joins make scattering safe","statement":"Decomposition loses no information precisely because a join reconstructs scattered facts exactly; normalization (splitting facts into relations keyed by their determinants) and the join (gathering them back) are two halves of one guarantee, so scattering facts across tables is safe only in a system where joins are exact.","aliases":["normalization and joins are two halves of one theorem"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_7387050cb326","name":"Denormalization","statement":"The default is to normalize until every table is about one kind of thing; copying a fact into more than one place (denormalization) is acceptable only as a conscious, documented performance trade-off, never by default — and sometimes a copied value is genuinely a new fact, as a unit_price frozen on a line item is a fact about the sale rather than about the product.","aliases":["normalize until each table is about one kind of thing"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_f13fd6c0541a","name":"Lost update","statement":"When concurrent transactions read-modify-write shared state, their steps can interleave so that every individual statement is legal yet the combined result is wrong — two withdrawals each read the same balance and both commit, so money leaves that never existed — and no constraint on any single row can express this, because the defect lies in the interleaving rather than in any state.","aliases":["the corruption is in the interleaving"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_64b3db2e083f","name":"Transaction consistency","statement":"Consistency in ACID means a transaction carries the database from one valid state to another: if any statement would falsify a constraint the whole transaction aborts rather than just that statement, and although constraints may be violated temporarily inside a transaction (the check may even be deferred to COMMIT), the boundary states must be clean.","aliases":["a transaction takes the database from one valid state to another"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_8818cac86969","name":"Durability","statement":"Durability is the guarantee that once COMMIT returns successfully the change survives power loss, crashes, and restarts — a contractual promise, not a hedge that the data is 'probably on disk soon'.","aliases":["COMMIT is a promise"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_3d3a80ef8a77","name":"Isolation","statement":"Isolation requires that concurrent transactions not see each other's half-finished work or trip over each other's reads; because full separation is expensive, isolation is a dial with selectable levels rather than a single fixed setting.","aliases":["isolation is a dial with levels"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_ab41eed6104a","name":"Serializability","statement":"A concurrent execution of transactions is correct exactly when its outcome equals some serial execution — some order in which the transactions ran strictly one at a time; this is the strongest criterion that requires no knowledge of what other transactions exist, so each programmer may reason as if alone, and it is the target that isolation levels approximate.","aliases":["outcome equals some serial execution"],"createdAt":"2026-09-30T14:54:52.612Z","provenance":[{"chatId":"src_d29e7ef2599a","messageId":""}]}
|
||||
{"id":"n_c32d9c59b3e4","name":"Transistor","statement":"A transistor is an electrically controlled switch: a voltage applied to one terminal controls whether current flows between the others, so one electrical signal can gate another.","aliases":["Transistor = electrically controlled switch","transistors and they store voltages"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_c2c09ef322d0","name":"Logic gate","statement":"Transistors wired together form logic gates (AND, OR, NOT), each of which outputs a bit determined by its input bits — so gates compute Boolean functions on bits.","aliases":["Logic gates: AND, OR, NOT — compute on bits"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_56bc56c22a75","name":"Combinational circuit","statement":"Logic gates combined into combinational circuits compute on whole bit patterns: adders sum binary numbers and decoders select an output from an encoded input, with the output depending only on the present inputs.","aliases":["Combinational circuits: adders, decoders"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_cd77f4cf5035","name":"Memory cell","statement":"An arrangement of logic gates with feedback holds a state stable, forming a memory cell that stores a single bit until it is deliberately changed.","aliases":["Memory cells: circuits that hold a bit"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_eea7d3a90019","name":"CPU as datapath plus control","statement":"A CPU is built from a datapath (circuits such as adders and registers that transform bits) together with a control unit that directs which datapath operations occur when.","aliases":["CPU: datapath + control"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_b35fbe641122","name":"RAM","statement":"RAM is an addressed array of memory cells: any stored bit-or-word can be read or written by supplying its address, so a small number of address lines selects among a large number of cells.","aliases":["RAM: addressed array of cells"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_7b3f8ad563a9","name":"Fetch-decode-execute loop","statement":"A CPU operates as a fetch-decode-execute loop: it reads one instruction from memory, decodes and carries it out, then reads the next — the same repeated cycle for every instruction, with no notion of running a whole program as one continuous calculation.","aliases":["fetching instructions from memory one by one and executing each in turn","The CPU is fundamentally a fetch-decode-execute loop"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_ded11ad3dd84","name":"Machine-code program","statement":"A running program is a sequence of machine instructions held in memory; the CPU executes them one after another via its fetch-decode-execute loop, so all software activity is built from enormous numbers of tiny steps.","aliases":["Machine code programs run"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_ae1513f039d7","name":"Memory-mapped I/O","statement":"A CPU communicates with external devices by mapping device control and data registers into the same address space as memory, so ordinary load and store instructions are what read from and write to hardware devices such as a disk.","aliases":["Memory-mapped I/O: how CPU talks to devices"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_36647522cd8f","name":"Kernel","statement":"The CPU itself only fetches and executes instructions and does not coordinate hardware; coordinating devices, performing I/O, and scheduling programs is the job of the kernel, the core part of the operating system that manages devices and programs.","aliases":["Kernel: manager of devices & programs","The CPU does not coordinate hardware devices"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_54c45f418325","name":"Bits","statement":"All information in a computer — numbers, text, images, programs — is ultimately represented as sequences of bits, where each bit is one of two distinguishable physical states (high/low voltage, magnetized/not, pit/no-pit), and every higher-level datum is an agreed-upon encoding of bit patterns.","aliases":["Sequences of bits — each bit being one of two distinguishable states","two-state elements"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_2d804531be05","name":"Compilation","statement":"Compilers and interpreters translate source code into machine code — sequences of instructions encoded as bit patterns the CPU directly executes; the CPU has no circuitry that understands any programming language's syntax.","aliases":["Compilers (or interpreters) translate source code into machine code"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_da356cdc28e5","name":"Machine instruction","statement":"A single machine instruction expresses one tiny operation — adding two numbers, comparing, jumping, or moving a value between memory and a register; a line of C typically compiles to several such instructions and saving a file takes thousands.","aliases":["Machine instructions are extremely small: add, move, compare, jump"],"createdAt":"2026-09-30T14:58:30.061Z","provenance":[{"chatId":"src_c4f225a782f1","messageId":""}]}
|
||||
{"id":"n_db92d8ef9007","name":"The future-change bet","statement":"The value of a piece of software's internal structure is entirely a bet on future change: design quality is measured solely by what it does to the cost of modifying the software later. Under a stipulation that the software will never again be read, fixed, or extended, internal structure contributes nothing — every channel by which clean structure pays off (fixing, extending, reading, learning from, referencing) terminates in later code being written or changed.","aliases":["The value of software's internal structure is a bet on future change"],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_6306f3989c18","name":"Programming integrated over time","statement":"Software engineering is programming integrated over time: where programming is the act of producing a working program, engineering is the practice of keeping that program valuable across time and continuing change.","aliases":["Software engineering is programming integrated over time"],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_ac81a9f0d9ba","name":"Change dominates lifetime cost","statement":"Over a system's lifetime, the cost of changing it (maintenance) exceeds the cost of originally building it. The direction of this effect is well established; the specific percentages commonly quoted (e.g. 60–90%) are folklore from mainframe-era studies and should not be trusted as numbers.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_842f502aec85","name":"Change propagates along dependencies","statement":"Change propagates along dependencies: the cost of a change is determined by the dependency structure surrounding the thing changed, not by the size of the change. A change is guaranteed safe — certain to break nothing — exactly when nothing else in the system depends on what is being changed, so a one-character edit to a widely used function can be catastrophic while a large rewrite of an unimported module is free.","aliases":["Change propagates along dependencies"],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_e4b312095a2a","name":"Design is dependency management","statement":"Software design is the deliberate management of dependencies — deciding who may depend on whom. Modules, encapsulation, abstraction, layers, design patterns, and service boundaries are all techniques for deciding where dependency edges are placed and which of them are allowed.","aliases":["software design is the deliberate management of dependencies"],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_df70f77bbc5a","name":"Root causes of complexity","statement":"Complexity is whatever makes software hard to understand or modify, and it has two root causes: dependencies, along which change propagates, and obscurity, dependency edges you cannot see. Obscurity is itself a fact about dependencies — invisible edges — which is why a hidden edge is the worst kind: its cost cannot be priced in advance.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_09408f2aead3","name":"Coupling","statement":"Coupling is the name for the dependency edges between modules — the connections along which change propagates.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_27829731bbf4","name":"Cohesion","statement":"Cohesion is the name for how the code inside a module is grouped — whether the things a module contains belong together as one concept.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_dbace2c65213","name":"Coupling and cohesion as one graph","statement":"Coupling and cohesion are two aspects of a single structure: coupling is the edges and cohesion is the nodes of one dependency graph, coined together as one idea (by Larry Constantine).","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_b24b1ce2d1b6","name":"Hidden coupling","statement":"Hidden coupling is a dependency on a module's implementation details rather than only its interface. When a module's interface is unchanged yet a dependent breaks, that dependent must have been relying on something the interface never promised — an invisible dependency edge.","aliases":["depend on interfaces, not implementations"],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_3bfc1a2610bb","name":"Low cohesion / shotgun surgery","statement":"Low cohesion is the scattering of one concept's code across many modules; its signature is 'one change, many edits' (shotgun surgery), because a single logical change spans many places. It is distinct from coupling: the scattered files need not depend on each other for one concept to be fragmented across them.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_43e3ab02f3ad","name":"Dependency Inversion / dependency direction","statement":"The Dependency Inversion Principle directs dependencies toward stability: the business rules define an interface (e.g. 'save/load orders') and the database code depends on that interface, never the reverse. This is the foundation of Clean and Hexagonal architecture. The natural-feeling reverse (rules depend on the database because 'data is the foundation') chains the most valuable code to the most replaceable code.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_9e7eb2d4b587","name":"Business rules vs database stability","statement":"In a business application the business rules are the stable, valuable core — they are the reason the application exists and change for business reasons — whereas the database is a replaceable detail that changes for technical reasons.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_2e759a8a76e9","name":"Logical vs code-level dependence","statement":"Logical dependence and code-level dependence are distinct: business rules unavoidably model reality and so depend on data in a semantic sense, but whether the business-rule code depends on the database code is a separate, free design choice.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_ecb200919f15","name":"Integration database anti-pattern","statement":"Two services that share a database are coupled through its schema: the schema is a hidden contract, so changing a column forces both services to change and redeploy together, destroying the independent evolution their split was meant to achieve (the 'integration database' anti-pattern). This is the same coupling idea raised from code level to system level.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_fdc538307524","name":"Dual-write problem","statement":"You cannot atomically commit to both a database and a network, so a service that updates its database and then publishes an event has a window in which exactly one of the two writes has happened. A crash in that window leaves the world silently inconsistent — the order exists in the database but no service ever hears about it. Transactions do not span a network.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_6ae821017b51","name":"Outbox pattern","statement":"The outbox pattern resolves the dual-write problem by writing the event into the same database transaction as the domain change, then having a separate process read that stored record and publish it.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_8f02f156ac85","name":"Volatile code placement","statement":"Code expected to change heavily — to be rewritten or deleted within months — should live where nothing depends on it. With zero dependents, rewriting or deleting it is free because the change has no edges to propagate along.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_65bd4130ec7b","name":"Wrong abstraction worse than duplication","statement":"A shared abstraction that welds volatile code to stable code is worse than duplication: duplication costs only the copy, whereas the wrong abstraction creates dependency edges that transmit every future change between the two pieces of code.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_f6eedb1a3f9d","name":"Proportional design effort","statement":"Design effort is justified in proportion to the expected future change: code guaranteed never to change warrants minimal internal design — correct engineering, not laziness — while the real-world possibility that code will later be extended is precisely what justifies designing it.","aliases":[],"createdAt":"2026-09-30T15:00:14.677Z","provenance":[{"chatId":"src_145793466a55","messageId":""}]}
|
||||
{"id":"n_b5f24794fc75","name":"Scarcity as the keystone","statement":"All property norms exist for one reason: to resolve possible conflicts over scarce (rivalrous) means. Because means are rivalrous and there is more than one actor, incompatible uses of the same thing are possible; absent scarcity there could be no conflict, hence no need for ownership — the problem precedes the rights, which are proposed solutions to it.","aliases":["All property norms exist for one reason: to resolve possible conflicts over scarce (rivalrous) means","scarcity is the thing underneath everything"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_30876becb0aa","name":"Ownership deflated","statement":"Ownership is nothing more than a rule assigning, for each contested scarce thing, who gets to decide its use — an answer to 'when we can't both use it, who has the say?' Saying 'there is no such thing as ownership' does not escape the question scarcity forces; it is itself an answer, namely that no one has an assigned say and the thing is settled by whoever can grab and hold it.","aliases":["no ownership is itself an answer ('whoever can grab it decides')","answer-zero (finders-keepers-by-force)"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_98d65eb8c638","name":"Self-ownership precedes external property","statement":"External property rights presuppose self-ownership rather than being a species of them: homesteading acquires an unowned thing by mixing one's labor with it, and that mixture confers title only if the labor — hence the body performing it — is already owned. Deriving self-ownership from external ownership is circular because external ownership is built out of self-ownership.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_dff1e1ba6bb5","name":"Rothbard's trilemma","statement":"For any human body exactly three ownership arrangements are logically possible: (1) you own yourself, (2) someone else owns you (a class of masters owning a class of slaves), or (3) everyone owns an equal share of everyone. Option 2 asserts two kinds of humans with different rights and so cannot be a rule for human beings as such; option 3 is performatively unworkable, since you would need everyone's prior permission before any act and the poll itself would need permission. Only option 1 is both universalizable and livable, so self-ownership is the sole surviving arrangement.","aliases":["the only universalizable and livable arrangement"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_2ac495eadfc5","name":"Selection criterion for property norms","statement":"A valid property norm must be (i) universalizable (one rule for all), (ii) action-permitting (not self-paralyzing), and (iii) defined by objective, intersubjectively ascertainable borders — because a rule meant to resolve conflict is worthless if applying it merely regenerates the conflict by being unverifiable between the parties.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_e373eba1ec31","name":"Homesteading / first-use","statement":"An unowned external scarce good is rightfully acquired by its first user — the person who first takes it into use and marks its borders. This first-use (homesteading) rule is the only appropriation rule that is simultaneously universalizable, action-permitting, and objective; it is the selection criterion applied to external goods, just as self-ownership is that criterion applied to bodies.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_837668336e5d","name":"Latecomer rule self-destructs","statement":"A rule letting a later arrival rightfully displace a first user of an unowned thing self-destructs: the later party is in turn displaceable by a still-later one, without end, so no one could ever definitively use anything and action itself would be impossible. A rule that forbids all action cannot govern beings whose nature is to act.","aliases":["latecomer rule self-destructs"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_4becbc10d31f","name":"Common-consent rule paralyzes","statement":"A rule requiring everyone's prior consent before anyone may use an unowned thing paralyzes all action: granting permission is itself an act employing scarce means (breath, time), so it too would need prior permission, in an infinite regress that forbids all action — the same paralysis that sinks universal co-ownership.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_1acc0de3087e","name":"NAP is a theorem, not an axiom","statement":"The non-aggression principle ('don't initiate force against persons or their property') is not the foundational axiom but a derived restatement of the property theory. 'Aggression' is defined as an uninvited crossing of someone's rightful boundary; the phrase is empty until a prior theory of property titles fixes who owns what and where the boundaries run. The NAP is therefore the property rules viewed from their negative side — necessary as a summary, neither fundamental nor sufficient on its own.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_47a1ad1f12cd","name":"Consensual transfer","statement":"Property title moves legitimately only by the owner's consent; forcible or fraudulent appropriation of title is a violation of the owner's rights.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_58139e60a032","name":"Left-libertarianism","statement":"Left-libertarianism (Steiner, Otsuka, Vallentyne) accepts full self-ownership but holds that external nature is initially owned in common, so unilaterally appropriating it wrongs others unless they are compensated (a strong reading of Locke's 'enough and as good left for others' proviso). Right-libertarians (Rothbard, Hoppe) reject the proviso as unnecessary or incoherent. Sharing one self-ownership axiom but adopting opposite appropriation axioms yields radically different economics.","aliases":["same self-ownership axiom, opposite appropriation axiom"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_6fe368af86eb","name":"Anarcho-capitalist case against the state","statement":"The state is definitionally rights-violating: it asserts a compulsory territorial monopoly on the use of force (forbidding competing defense and court providers) and finances itself by taxation (taking property without consent). Both the monopoly and the taxation are initiations of force under the non-aggression principle, so any state — including a minimal one — violates the very principle minarchists claim to uphold.","aliases":["the state necessarily claims a compulsory monopoly on force and funds itself by taxation"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_5fc20d4e0598","name":"Argumentation ethics","statement":"Argumentation ethics: the very act of arguing is a conflict-free, propositional exchange that presupposes each arguer's exclusive control over their own body and over the goods needed to argue, and their expectation not to be interfered with mid-argument. Anyone who argues against self-ownership therefore performatively contradicts the norms their own arguing relies on, establishing self-ownership a priori rather than by natural law or consequences.","aliases":["to argue against self-ownership is a performative contradiction"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_a0fc7960e269","name":"Deontological vs. consequentialist justification","statement":"A rule is justified deontologically when it is right in itself as a matter of duty or rights, independent of whether the outcomes turn out well; it is justified consequentially when judged by the outcomes it produces — welfare, prosperity, or happiness overall. This distinction divides libertarian camps: Rothbard (natural rights) and Hoppe (argumentation ethics) are deontological, while Mises and Friedman argue for free markets on consequentialist grounds.","aliases":["deontological vs consequentialist"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_30fef923b17d","name":"Intellectual property is not property","statement":"Intellectual 'property' is not property at all: a melody or a formula can be copied infinitely without depriving anyone of theirs, so such goods are non-rivalrous. With no scarcity there is no possible conflict, so there is nothing for a property rule to resolve — the same scarcity axiom that grounds ownership also marks its boundary.","aliases":["intellectual 'property' isn't property at all"],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_d9b9021332af","name":"Relationship of the libertarian schools","statement":"Libertarianism is the umbrella category for anyone who accepts the self-ownership / homesteading / consensual-transfer skeleton as politically primary; anarcho-capitalism is its anarchist wing (the answer that zero state is permitted); Hoppeanism is a school within anarcho-capitalism defined by a specific warrant (argumentation ethics) plus distinctive extensions. The structure is Libertarianism ⊃ anarcho-capitalism ⊃ Hoppeanism, with Rothbard as the shared trunk.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_a93c4a8defa6","name":"Minarchism vs. anarcho-capitalism","statement":"Minarchists (e.g. Nozick) and anarcho-capitalists share the self-ownership/homesteading skeleton but split on whether a state can arise without violating it: minarchists hold that a minimal 'night-watchman' state can arise without violating self-ownership and property, while anarcho-capitalists hold that any state necessarily violates them. The disagreement turns on a factual/definitional premise about the state, not on the foundational axioms.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_3e40a4bd2ca7","name":"Labor is the body's action","statement":"A person's labor is the deployment of their own body; to mix one's labor into a thing is simply to act through one's body upon it.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_6f8d95390476","name":"Self-ownership is inert without appropriation","statement":"Self-ownership is practically inert unless some legitimate route to acquire external means exists: if one owned oneself but could legitimately appropriate nothing external, anyone could block every action one took by controlling the means, emptying the self-ownership one supposedly has. Self-ownership demands that some appropriation route exist, though it does not by itself specify which one.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_e0ca66c2e676","name":"Acting employs external means","statement":"To act is to employ scarce external means toward ends: one cannot stand, eat, or speak without exclusively using some external matter — the ground, the food, the air column one's voice moves through.","aliases":[],"createdAt":"2026-09-30T15:01:46.240Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_de25c4c72cc8","name":"Warrant vs. operation","statement":"A norm's warrant (the source of its legitimacy or bindingness) and its operation (what exercising or applying the right actually relies on) are two distinct relations that can point in opposite directions: applying a norm can presuppose another norm without being derived from it, because derivation concerns warrant while presupposition-in-action concerns operation.","aliases":["the two arrows","warrant vs operation"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_5dc32d79a9b0","name":"Axioms are layer-relative","statement":"Whether a claim counts as an axiom or as a derived theorem is relative to the system chosen: the norms of a legal order (over bodies, over unowned external goods, and over transfer) can be that order's primitives while still being derived theorems relative to the deeper meta-normative criterion that warrants them, so 'axiom' names only a system's starting point, not a claim exempt from justification.","aliases":["'axiom' is relative to a layer","axiom of the legal order"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_e373eba1ec31","name":"Self-ownership and homesteading are warrant-siblings","statement":"The norm governing bodies (self-ownership) and the norm governing the acquisition of unowned external things (homesteading) are siblings in warrant: each is an independent application of the same selection criterion to a different domain, so neither is logically deduced from the other and one may coherently retain self-ownership while rejecting homesteading.","aliases":["siblings — each independently warranted by criterion C"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_e3d84db9fd4b","name":"Man as rational producer","statement":"Unlike other animals, human beings do not survive by instinct; a human must learn, reason, choose, transform nature, produce, and exchange in order to live — his nature is that of a rational producer.","aliases":["man's nature is that of a rational producer"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_9919bdd36c40","name":"Natural law","statement":"Natural law holds that every kind of thing has a nature — an essence and characteristic way of functioning — from which what is good for that thing can be read off, so that ethics is objective knowledge discovered by reason from facts about an entity's nature; a thing's good or telos serves as a hybrid fact-value notion bridging what is and what ought to be, as when a knife's nature to cut makes a sharp knife good.","aliases":["natural law / natural rights","the natural-law move"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_d9b75d0af56d","name":"Natural law's defining contrasts","statement":"Natural law is defined by three denials: against legal positivism it holds there is a standard above enacted law, so a statute can be unjust; against divine command and mere convention it holds that norms bind because of what human beings are and are knowable by reason alone, without theology or agreement; and against subjectivism or emotivism it is cognitivist, holding ethical claims to be true or false.","aliases":["is–ought","cognitivism"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_c34ec0027eee","name":"Rothbard's natural-law warrant","statement":"Given that man's nature is that of a rational producer, certain conditions are objectively required for him to live and flourish as a man — freedom to use his own reason and body (self-ownership) and freedom to produce, keep, and exchange the fruits of his labor (property) — so the libertarian norms and the selection criterion behind them are not preferences or conventions but the objective requirements of human nature, knowable by reason.","aliases":["Rothbard's natural law"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_6dd0d44633b8","name":"The is–ought gap","statement":"No valid inference runs from purely factual premises about what is the case to a normative conclusion about what ought to be (Hume's is–ought gap; Moore's naturalistic fallacy).","aliases":["is–ought gap","naturalistic fallacy"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_dcbd96afcb6d","name":"Natural law's vulnerability","statement":"Natural law crosses the is–ought gap only through the hybrid fact-value notion of a thing's good or telos, which critics charge merely smuggles the 'ought' into the word 'flourishing' — an objection serious enough to motivate a search for a warrant that never crosses the gap at all.","aliases":["the telos bridge"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_b584fbc7e213","name":"Propertarianism (completeness)","statement":"Every genuine right is a property right, with no separate category of human or civil rights leaving any residue: an apparent right such as freedom of speech reduces to property — a right to speak on one's own property or where the owner permits, and no right to speak on another's — so apparent rights-conflicts dissolve into the single determinate question of whose property the action occurs on; the thesis is that the self-ownership / homesteading / consensual-transfer skeleton is a complete account of rights.","aliases":["Human Rights as Property Rights","completeness thesis"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_5fc20d4e0598","name":"Argumentation ethics extended to external goods","statement":"Argumentation ethics claims that any justification of any norm presupposes not only self-ownership but the right to acquire and control external goods, since arguers must sustain themselves through external means; and among appropriation rules only first-use/homesteading is consistent with argumentation's conflict-free ethos, since acquisition by decree is self-defeating — the decree itself presupposes exclusive control of the body doing the decreeing.","aliases":["argumentum a contrario","the extension to external property"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_ed6126c0697a","name":"Use versus ownership","statement":"Possession or use is present, physical control of a thing; ownership is a normative claim to future control that persists even when one is no longer physically holding the thing and that binds other people — one owns a parked car while asleep, whereas a pure use-ethic would let whoever is presently gripping the thing decide.","aliases":["possession vs. ownership","use vs. ownership"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_4fece9b3d790","name":"The use–ownership gap","statement":"Argumentation ethics establishes at most that an arguer exercises de facto control over their own body while arguing, not that they hold a de jure right of ownership binding on people who never enter the argument (such as a thief); its extension to ownership of external goods assumes rather than proves that items must be owned rather than merely used, so the step from 'is controlling' to 'ought to be recognized as owner' remains unbridged.","aliases":["use–ownership gap","control vs. ownership"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_13a7e5cfc619","name":"The use-but-not-own alternative","statement":"A 'right to use but not to own' is a coherent rival to homesteading: under it a first user has an absolute right to use and possess a thing only until he relinquishes physical control of it; this use-ethic is not refuted by argumentation ethics' argumentum a contrario, because one can argue perfectly well in a world where things are merely possessed rather than owned.","aliases":["use until you let go"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_833025bb4eca","name":"Standard objections to argumentation ethics","statement":"The standard objections to argumentation ethics are that (a) from a presupposition of the practice of arguing one cannot derive a norm binding on those who never argue, so the is–ought slide persists; (b) de facto control does not yield de jure ownership; (c) the content is underdetermined, since Habermas ran the same transcendental method to opposite, social-democratic conclusions and it does not fix the full Rothbardian bundle; and (d) performative undeniability shows only that a claim is a pragmatic presupposition of debate, not that it is true or morally obligatory.","aliases":["Murphy & Callahan objection"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_a02f4ce07fbb","name":"Argumentation ethics is a replaceable module","statement":"Argumentation ethics is a sufficient but not necessary warrant for the selection criterion: the skeleton of self-ownership, homesteading, and consensual transfer and the anarcho-capitalist conclusion rest on the criterion itself, not on which warrant one accepts for it, and several independent warrants (natural law, argumentation ethics, consequentialism, contractarianism) each suffice, so the criterion is overdetermined and rejecting argumentation ethics leaves the rest of the theory unchanged.","aliases":["replaceable module","overdetermined"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_0e31d7e3704a","name":"The selection criterion's own warrant is the root question","statement":"The criterion for a valid property norm — that a rule be universalizable, action-permitting, and objectively bordered — was used to select the axioms but is not self-evidently binding and itself requires a warrant, and supplying that warrant is precisely what the competing meta-normative theories (natural law, argumentation ethics, consequentialism, contractarianism) each attempt.","aliases":["the debt Layer 2 exists to pay"],"createdAt":"2026-09-30T15:04:50.377Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_6ad8a9e05d24","name":"Consequentialist warrant (hypothetical imperative)","statement":"The private-property/free-market order can be warranted consequentially as a hypothetical imperative: if one wants the widely shared ends of prosperity, peace, and civilization, then private-property and free-market norms are the uniquely effective means and should be adopted for their results — with no claim that self-ownership is a moral fact or a matter of nature.","aliases":["consequentialist warrant","hypothetical imperative","adopt them for their results"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_8c21e75691a6","name":"Mises's calculation problem","statement":"Abolishing private property in capital goods abolishes market prices for them, and without prices there is no rational allocation of capital, so socialism cannot deliver the prosperity its own advocates want; economics is a value-free science that can establish capitalism as means while rejecting natural rights as unscientific.","aliases":["the calculation problem","value-free utilitarian"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_195dd9849936","name":"Consequentialist warrant's contingency","statement":"A consequentialist warrant holds the property order only as long as it in fact produces the desired goods, so the consequentialist must abandon it if the empirics turn and may permit a rights-violation whenever that is more efficient — a revisable order, unlike a deontological warrant that holds the order right even if it made people poorer.","aliases":["makes the property order contingent","scope cost"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_58a9c4a763f3","name":"Mutual-advantage contractarianism","statement":"On the Hobbesian/Gauthierian mutual-advantage model (Narveson, Gauthier), the libertarian order is grounded neither in nature nor telos but in agreement: rational self-interested bargainers who retain knowledge of their real, unequal endowments converge on rules of mutual benefit, so morality is just the deal rational egoists would strike.","aliases":["mutual-advantage contractarianism","morality is just the deal rational egoists would strike"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_c705e62ae5d1","name":"Contractarian convergence on non-aggression","statement":"Rational self-interested bargainers who keep their real, unequal positions converge on a universal prohibition of force and fraud — the libertarian order — because each does best when everyone accepts non-aggression.","aliases":["universal prohibition on force and fraud"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_c321db9853e3","name":"Rawlsian veil yields redistribution","statement":"A Rawlsian veil of ignorance strips agents of knowledge of their endowments and talents, and rational agents who fear being worst-off then choose the difference principle (redistribution), so the pure veil-of-ignorance method yields an anti-libertarian result; libertarian contractarianism instead drops the veil.","aliases":["veil of ignorance","difference principle"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_a68180094852","name":"Contractarian scope cost","statement":"Contractarian rights bind only those who can reciprocate or bargain — those able to help or harm you — so they notoriously strain on marginal cases (future generations, animals, the severely disabled, the very weak) and make rights contingent on bargaining power rather than on nature or outcomes.","aliases":["rights contingent on bargaining power","marginal cases"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_ceeb41d695cc","name":"Nozick's invisible-hand derivation of the minimal state","statement":"A minimal state can emerge from anarchy by an invisible-hand process: competitive protective agencies yield a dominant agency (an 'ultraminimal state'); that agency may rightfully prohibit independents from using unreliable self-enforcement procedures because unreliable justice imposes risk on its clients, but having thus disarmed them it owes them compensation, which it pays in kind by extending protection to them — producing a night-watchman state (police, courts, defense, nothing more) through steps each allegedly rights-respecting.","aliases":["invisible-hand process","ultraminimal state","night-watchman state","compensation principle"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_60f385710938","name":"The minimal state as non-aggressor","statement":"Nozick claims the state is not inherently an aggressor: no taxation-as-theft and no unjust monopolization are involved, only market dominance plus a compensation principle, so a minimal state can arise without violating anyone's rights.","aliases":["a state can arise clean"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_e4e4d48138da","name":"Rothbard's counter to Nozick's steps","statement":"Nozick's two steps are not rights-respecting: prohibiting independents' risky enforcement procedures is itself an aggression, since it stops peaceful people preemptively on a risk not yet realized, and compelling the agency to supply protection to all is redistribution or de facto taxation — so the aggression is smuggled into steps that only appear clean.","aliases":["smuggled the aggression"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_6fe368af86eb","name":"Nozick's state does violate rights","statement":"The minimal state assembled by Nozick's invisible-hand steps does violate rights; the monopoly protector cannot be built out of purely rights-respecting moves.","aliases":[],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_992d587f5824","name":"Liberty upsets patterns (Wilt Chamberlain)","statement":"Any fixed distributive pattern can be maintained only by continuously interfering with voluntary exchanges, so liberty upsets patterns and any patterned or redistributive justice beyond the minimal state violates rights.","aliases":["Wilt Chamberlain argument","liberty upsets patterns"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_be2909028a86","name":"Hayek's knowledge problem","statement":"No central planner can aggregate dispersed local knowledge, so central planning cannot succeed; this knowledge problem together with spontaneous order and evolved rules grounds liberty in epistemic humility rather than in rights.","aliases":["knowledge problem","spontaneous order","epistemic twist"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_84266dec0464","name":"Polycentric law","statement":"Police, courts, arbitration, and defense can all be provided on the market rather than by a territorial monopoly: because war is enormously costly, private defense agencies (like insurers) have strong incentives to settle client disputes through pre-agreed arbitration, yielding a polycentric legal order, with medieval Iceland and the Law Merchant as historical near-cases.","aliases":["polycentric law","market provision of defense"],"createdAt":"2026-09-30T15:07:24.069Z","provenance":[{"chatId":"src_31827b85d75f","messageId":""}]}
|
||||
{"id":"n_9b19474daaf7","name":"Knowledge tracing","statement":"Knowledge tracing is the problem of inferring a student's hidden knowledge state, and how it changes over time, from a sequence of observed responses. Its three load-bearing features are that the state is hidden (it cannot be read off directly), that it moves over time, and that it must be inferred from indirect evidence; removing any one dissolves the problem.","aliases":["infer a hidden knowledge state over time from responses"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_dc470a7b5ccb","name":"Binary latent skill state","statement":"In BKT a student's mastery of a single skill is represented as a binary latent state z_t in {0,1}, where 0 means does-not-know-yet and 1 means knows. This is the simplest representation that still supports inference — a deliberate choice made for tractability, not a claim that knowledge is truly all-or-nothing.","aliases":["one hidden switch per skill"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_10ecdf07c525","name":"Single-number belief","statement":"Because a binary state has only two mutually exclusive values, an entire belief about it collapses to a single number, P(z_t = 1); the other value is its complement, so only one probability need ever be tracked.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_8e13e22e08e9","name":"Definition of mastery in BKT","statement":"In BKT, mastery is defined as the name of state 1: the proposition that the student can produce the skill. It is a definite claim the model holds to be probably true or probably false, not a vague or gradual degree of understanding.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_ed4b233efa54","name":"Slip and guess","statement":"A response is noisy evidence about the hidden state: a student who knows can answer wrong (a slip, s = P(wrong | knows)) and one who does not know can answer right (a guess, g = P(correct | doesn't know)). The response is generated from the student's current state, making observations downstream of the state. This observation model is the 'performance' half of BKT, and a correct answer is evidence, never proof, because false positives exist.","aliases":["observation model","noisy response"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_aebfe8286387","name":"Learning transition","statement":"Between attempts the hidden state can change: with learn rate T = P(z_{t+1} = 1 | z_t = 0) the state may flip from not-knowing to knowing, representing learning as a discrete event.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_73a1f3bd4b51","name":"No forgetting","statement":"In basic BKT mastery is absorbing: P(z_{t+1} = 1 | z_t = 1) = 1, so once a skill is known it stays known and the state can only move 0 -> 1. This is a simplification with a real cost, since disuse and decay become invisible.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_ec4c5891e369","name":"Predict update","statement":"When mastery is binary and absorbing, the belief p = P(z_t = 1) is carried forward by marginalizing over both ways the student could have arrived at the next state, giving p -> p + T(1-p): the belief rises by a fraction T of the remaining gap to certainty. Consequently the belief can rise between observations with no new evidence, because the passage of time is informative when the world can drift.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_d060ce8b3a89","name":"Predict-then-correct cycle","statement":"Each problem attempt is a two-phase cycle: predict (push the belief through the learning transition) then correct (apply Bayes with slip and guess as the error rates). The order is forced, not conventional — predict must come first, because the response is generated after any learning during the attempt, and applying the response to the pre-prediction belief would credit it to a state the student may have left.","aliases":["the two-step update","Bayesian filtering pattern"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_9a33a81b8ccb","name":"Bayesian filtering","statement":"Bayesian filtering is the problem of maintaining a probability distribution over a hidden state z_t that evolves over time, updated recursively as observations x_t arrive, using exactly two ingredients — a transition model P(z_t | z_{t-1}) for how the world evolves on its own, and an observation model P(x_t | z_t) for how observations are generated. Each step is a predict phase (sum or integrate over previous states) followed by a correct phase (Bayes re-normalized over states). Concatenating the phases into a single belief, b_t(z) = P(z_t = z | x_{1:t}), yields one recursion; continuous states replace sums with integrals.","aliases":["predict with the dynamics, correct with the data"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_e17dd9b09c20","name":"BKT as binary-state Bayesian filtering","statement":"BKT is Bayesian filtering specialized to a two-valued state — equivalently, the forward algorithm of a binary hidden Markov model. Its predict phase is the learning transition and its correct phase is the slip/guess observation model, composed into one recursive update on the single number p.","aliases":["BKT is the forward algorithm on a binary hidden state"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_27d8f31f0041","name":"BKT closed-form update","statement":"The correct phase of BKT is closed-form. Writing the predicted belief as p-bar, after a correct answer p' = (1-s) p-bar / ((1-s) p-bar + g (1-p-bar)), and after a wrong answer p' = s p-bar / (s p-bar + (1-g)(1-p-bar)). Each is likelihood times prior in the numerator, re-normalized over the two possible states — the same Bayesian inversion applied every step.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_8f32f6628dee","name":"Four BKT parameters","statement":"BKT is fully specified by four parameters per skill: the prior P(L_0) (probability the student already knows the skill before any evidence), the learn rate T (probability of the 0 -> 1 transition between attempts), the slip s = P(wrong | knows), and the guess g = P(correct | doesn't know). Prior and T govern where the belief sits and drifts; slip and guess govern how sharply a response cuts.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_cc0890c260a9","name":"BKT assumptions and costs","statement":"Basic BKT rests on explicit assumptions, each with a cost: (1) one skill at a time — skills do not influence each other, ignoring that real knowledge is interconnected through prerequisites and transfer; (2) binary mastery — no partial knowledge, inventing a sharp 'moment of learning' that may not exist; (3) no forgetting; (4) stationarity/homogeneity — one parameter set per skill shared across all students, items, and times, ignoring differing learning rates and item difficulty; (5) memorylessness (first-order) — the response depends only on the current state, discarding context such as time since last practice or hints given. Each assumption is also a research program, since later models are largely attacks on these rows.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_40dccfae9b76","name":"Why BKT works","statement":"BKT works because it is the smallest model that still captures both a hidden state and its drift while remaining interpretable (each of its four parameters has a teacher-explainable meaning), exactly and cheaply inferable (one number per skill, closed form), and fittable from ordinary response logs. It deliberately trades expressiveness for interpretability, exactness, and fit.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_6b9fa401ba8b","name":"Identifiability of BKT","statement":"BKT is formally identifiable as a hidden Markov model; the claim that its parameters are not separable was misidentified. The real practical difficulties are that fitting is done by Expectation-Maximization (the Baum-Welch algorithm) per skill pooled across students, which reaches only local maxima so different starts give different parameters, and that with large guess and slip the model can degenerate so that 'knowing' predicts worse performance. Standard practice therefore caps the parameters (e.g., guess <= 0.3, slip <= 0.1, along with ceilings on P(L_0) and T).","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_aab90595148c","name":"Item Response Theory","statement":"Item Response Theory (IRT) is the static measurement tradition of psychometrics: it models the probability of a correct response as a function of a fixed latent ability theta (per student) and a fixed item difficulty b (per item), often plus a guessing term. There is no time and no learning — ability is a constant to be inferred — so IRT answers 'how able, how hard, on one scale,' not 'what does this student know now and how did that change.'","aliases":["IRT","static measurement tradition"],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_1125c5b96f19","name":"Knowledge tracing as dynamic tradition","statement":"Knowledge tracing is the dynamic tradition of latent-ability modeling: the latent quantity of interest evolves over time. BKT, from Corbett and Anderson (1995), is its origin point.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_e6136e997226","name":"Deep Knowledge Tracing","statement":"Deep Knowledge Tracing (DKT) replaces BKT's four hand-specified parameters with a recurrent neural network that learns to predict the next response while carrying a high-dimensional latent state, and in doing so relaxes the skill-independence assumption by modeling all skills in one joint state. Its reported performance gains were substantially an artifact of the evaluation method rather than raw superiority.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_45e424c7e78d","name":"BKT's niche","statement":"In the landscape of knowledge tracing organized by static versus dynamic and by per-skill versus joint modeling, BKT occupies the niche of the simplest dynamic model: one skill, four interpretable parameters, and exact inference. It is the atom of knowledge tracing, and every later model is a relaxation of one of its assumptions.","aliases":[],"createdAt":"2026-10-02T20:47:11.071Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_40dccfae9b76","name":"Generative structure matches problem structure","statement":"BKT works because its structure is the generative structure of the response data at the coarsest resolution that still supports inference: its two components are exactly the two difficulties of the tracing problem — the emission model (slip and guess) handles the state being hidden and hence only indirectly inferable, and the transition model (learning) handles the state drifting between observations. The model carries nothing extra and nothing missing, making it the smallest model that is still correct.","aliases":[],"createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_a9544b8f074f","name":"Limits and virtues are one fact","statement":"BKT's limitations and its virtues are the same fact seen from two directions: the model is the coarsest resolution of the learning process that is still correct, so it fails exactly where reality is finer than that resolution — transfer between skills, partial knowledge, forgetting, individual differences, and context. Why it works and where it fails are therefore one insight, not two.","aliases":[],"createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_8df1c56483dc","name":"Exactness from binary-plus-Markov","statement":"A binary latent state combined with Markov filtering is precisely the condition under which the belief is a single number and the update is closed-form, with no approximation; relaxing that condition forfeits the closed form — a continuous state yields a Kalman filter, a general state yields a particle filter, and many interacting skills modeled jointly yield a neural network (DKT), which abandons the closed form. BKT's cheapness is a consequence of the binary-plus-Markov choice rather than luck.","aliases":[],"createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_1d292d239739","name":"Prior–learning-rate confounding","statement":"Under short response sequences the BKT prior P(L_0) and the learn rate T trade off against each other — a documented confounding — because the belief rises by T(1-p) each step, so starting at a high belief and learning fast produce nearly the same sequence of beliefs; with little data the two parameters are therefore not well separated. The qualitative confounding is solid, though its precise mathematical form is not well established.","aliases":[],"createdAt":"2026-10-02T20:58:24.541Z","provenance":[{"chatId":"chat_munfo08r_8172fd8a","messageId":""}]}
|
||||
{"id":"n_902b0fb7f8b1","name":"Data-generating distribution","statement":"The data-generating distribution is an unknown probability distribution D over input–output pairs (x, y); a training sample is a set of i.i.d. draws from it — draws independent of one another and all from the identical distribution D.","aliases":["data-generating distribution 𝒟","unknown probability distribution over input–output pairs"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_1d056c762805","name":"Shared-distribution assumption","statement":"The load-bearing assumption of supervised learning is that the training sample and the future (test) data come from the same distribution D; every downstream guarantee is conditional on this.","aliases":["tomorrow's data comes from the same distribution as the sample did"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_f2e3e27fd5f2","name":"Generalization goal","statement":"The goal of learning is a function f that predicts y from x well on fresh draws from D — data not seen during training — rather than merely fitting the observed sample.","aliases":["predict y from x well on fresh draws"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_37a2fa90e999","name":"Loss function","statement":"A loss function ℓ(ŷ, y) scores a single prediction, small when ŷ is close to y; squared loss (ŷ − y)² is used for regression and 0–1 loss 1[ŷ ≠ y] for classification.","aliases":["loss ℓ(ŷ, y)"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_1a95e3f7596e","name":"Residual","statement":"For regression, the residual y − f(x) on a single point is the vertical gap between the observed value and the fit; it is precisely the quantity that the ordinary-least-squares projection view makes orthogonal to the column space of the design.","aliases":["residual"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_1b004ac09d5a","name":"Risk","statement":"The risk of a function is its expected loss on a fresh draw from D: R(f) = E_{(x,y)~D}[ℓ(f(x), y)]. Asking whether f is good means asking whether R(f) is small — expected loss on unseen data, not correctness on the training points.","aliases":["risk R(f)","true risk"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_d69cb32fcb8e","name":"Uncomputability of risk","statement":"The risk R(f) can never be computed for any f, because it is an expectation over the unknown distribution D.","aliases":["R(f) can never be computed"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_925d72648ef4","name":"Bayes risk","statement":"The Bayes risk R* = inf_f R(f), taken over all functions, is the lowest achievable risk and no learner can beat it; if D were known, learning would be trivial — pick the minimizing function. For squared loss the Bayes-optimal predictor is f*(x) = E[y | x].","aliases":["Bayes risk R*"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_bb68655c4cbe","name":"Hypothesis class","statement":"From finite data one cannot search over all functions; the learner searches a restricted family, the hypothesis class H, parametrized by θ (e.g. linear models f_θ(x) = θᵀx, trees, networks), where a hypothesis is one member f_θ and θ are its coordinates within the family.","aliases":["hypothesis class 𝒽"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_7da5ea0e02d9","name":"Empirical risk","statement":"The empirical risk is the sample mean of the loss over the training set, R̂(f) = (1/n) Σ ℓ(f(x_i), y_i), serving as the computable surrogate for the risk.","aliases":["empirical risk R̂(f)","average training loss"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_ea18784387c0","name":"Law of large numbers for fixed hypothesis","statement":"For any fixed hypothesis f — one specified before seeing the sample — the empirical risk converges to the true risk as n → ∞ by the law of large numbers, because the per-point losses are i.i.d. copies of the random variable averaged in R(f).","aliases":["law of large numbers"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_f60e801322db","name":"Empirical risk minimization","statement":"Empirical risk minimization — choosing the hypothesis that minimizes the empirical risk — is the only computable route to minimizing the uncomputable true risk, derived rather than decreed.","aliases":["ERM"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_23085a7ab9aa","name":"Training error","statement":"The training error is the empirical risk evaluated at the fitted hypothesis, R̂(f̂); the empirical risk R̂ is a function of f, and the training error is its value at the particular fitted f.","aliases":["training error"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_6827f1eae895","name":"Learner as estimator","statement":"The fitted hypothesis f̂ = A(S) is a function of a random sample and is therefore itself a random object: redrawing the training set from the same D yields a different fit, and the distribution of f̂ across redraws is what generalization theory studies — the learner is a statistical estimator.","aliases":["estimator"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_898fc83fae59","name":"Approximation–estimation decomposition","statement":"The excess risk decomposes exactly as R(f̂) − R* = [R(f_H) − R*] + [R(f̂) − R(f_H)], where f_H = argmin_{f∈H} R(f): the approximation error measures how far the best function in the class falls short of the Bayes floor, and the estimation error measures how far the finite-sample fit falls short of the best in the class.","aliases":["approximation error and estimation error"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_37383f90c64f","name":"Class-richness trade-off","statement":"A richer hypothesis class shrinks the approximation error but, at fixed sample size, grows the estimation error — the central trade-off that all of learning manages.","aliases":["approximation–estimation trade-off"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_60a148d93597","name":"Overfitting as selection on the sample mean","statement":"Overfitting is selection on the sample mean: because empirical risk minimization uses the same sample both to evaluate and to choose a hypothesis, the minimum of noisy estimates is biased downward — one picks the hypothesis that got lucky on this draw — even though for any single fixed hypothesis the estimate is unbiased.","aliases":["overfitting"],"createdAt":"2026-10-03T20:44:37.919Z","provenance":[{"chatId":"chat_mur9v4qb_fb4c99e5","messageId":""}]}
|
||||
{"id":"n_89bd37c36e89","name":"Self-opacity","statement":"Within subjective experience there is material — dreams, slips of the tongue, inexplicable wants — that is at once the person's own (it issues from no one else) and not owned by the 'I' (the person neither chose it nor endorses it).","aliases":["the disowned-yet-own material"],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_91ce79257eda","name":"Ownership versus causation","statement":"The claim of an unconscious concerns the ownership of mental contents, not causal determinism: one may hold that all one's decisions are caused (denying free will) and still hold that every thought one has is fully one's own, so the Freudian datum is a different question from the free-will question.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_47c996da9185","name":"Meaningful unconscious","statement":"The psychoanalytic unconscious consists of material that carries meaning — the dream is about something, the slip says something — and is distinct from the non-meaningful mind-processing unconscious (heartbeat regulation, habits, visual priming).","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_eb2beb6d2027","name":"The unconscious agency","statement":"The mind comprises a second agency — the unconscious — that composes meaningful material; this agency belongs to the person yet is not the 'I', which is why such material is simultaneously the person's own and disowned by them.","aliases":["two-agency structure"],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_180d9f0a1de4","name":"Manifest and latent content","statement":"The dream as remembered (manifest content) is the underlying dream-thought (latent content) in distorted form: unacceptable wishes are encoded rather than stated plainly.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_23192e0cb89f","name":"Repression","statement":"Repression is not forgetting but an active, ongoing force that keeps unacceptable material out of awareness; because it is a force rather than an absence, it can fail, and its failure is the return of the repressed in dreams, slips, and symptoms.","aliases":["return of the repressed"],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_1be5d157fb3a","name":"Compromise formation","statement":"A dream, slip, or symptom is a compromise: the unacceptable wish presses for expression while the defense refuses it openly, and the outcome expresses the wish in a form the 'I' can tolerate.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_58c6b37c7e0c","name":"The other scene","statement":"The unconscious is a second mental system — the other scene, die andere Schauplatz — lawless by waking standards yet organized by its own laws: condensation (several figures compressed into one), displacement (charge shifted from the unbearable onto the trivial), and the absence of negation, time, and contradiction.","aliases":["die andere Schauplatz"],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_42dcb3ba979a","name":"Meaning without an intentional subject","statement":"The unconscious carries meaning and is directed as if it had an aim, without there being an intentional subject — no 'little person' inside who wants.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_926c1fa0e304","name":"The unconscious is structured like a language","statement":"The laws of the unconscious — condensation and displacement — are literally the laws of language, so the unconscious is structured like a language.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_dac8d537b0ba","name":"Functional description, not mechanism","statement":"Freud's account of the unconscious is a functional description lacking a mechanism; Lacan's project supplies the missing formal structure, so the Lacanian system is assessed by internal coherence and derivability rather than by experimental confirmation.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_9195627d45b9","name":"Dream incorporation","statement":"External stimuli occurring during sleep — an alarm, a ringing phone — are routinely woven into the ongoing dream, in real time, mid-plot.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_33ab86c4abd6","name":"Slip disavowal","statement":"A slip of the tongue is meaningful, not noise: it fits the speaker's situation, yet the speaker disowns it ('that's not what I meant to say') — so its utterance implies a speaker who is not the 'I'.","aliases":[],"createdAt":"2026-10-03T22:56:54.172Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_0213b83b85e3","name":"Mirror stage","statement":"In the mirror stage, an infant whose lived body is un-gathered — parts that move without a unified command — identifies jubilantly with a mirror image that presents one whole, coordinated body all at once; the identification means 'I will be that,' not 'that is what I am.'","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_d37f84f1b9f6","name":"Functional versus visual unity","statement":"A body is functionally unified to the degree it answers to a single command; an image is visually unified when it merely appears as one connected whole. The mirror image has visual unity, while the pre-mirror infant's lived body lacks functional unity.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_6889005bde10","name":"Identificatory transfer","statement":"The founding identification takes the image's visible coherence of form as proof of the body's functional coherence of control — transferring a property of the picture onto the lived body.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_dcf284dffa2b","name":"Méconnaissance","statement":"The ego is constituted by méconnaissance (misrecognition): the 'I' is an identification with an image of itself that is more together than it is, a claim strictly false at its founding that can never become true, because the image always anticipates and stays ahead of the lived reality.","aliases":["misrecognition"],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_f51d91f10b38","name":"Ego as identification","statement":"The ego is not a substance or a little person inside but an imaginary formation — the ongoing act of taking an external image, a form seen from outside, as oneself.","aliases":["the I is the identification"],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_1339a9f877c3","name":"Ego is not the subject","statement":"The ego is not the subject: the ego is an imaginary formation, whereas the subject is never an image, cannot appear in any mirror, and is not a picture of anything.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_13f66604c7e1","name":"Return of the fragmented body","statement":"Because the ego's foundation is a mismatch, the fragmented body returns whenever the image fails — in dreams of dismemberment and falling apart, and in the panic of 'falling to pieces' under stress.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_d41c50fcdbfa","name":"Structural aggression","statement":"Because the ego is an image occupying a place, a person who resembles me can occupy that place, so similarity triggers rivalry and aggression; the ego's aggression is structural, built into its foundation, not an accident of temperament.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_c7a31582c501","name":"The Imaginary","statement":"The Imaginary is the register comprising images, identification, likeness, rivalry, and the ego.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_d1c20f92f42c","name":"Mirror stage as paradigm","statement":"The mirror stage is a paradigm of a structure — identification with an external form — not a literal empirical claim that infants need physical mirrors; the infant's first mirrors are the mother's responding face and the whole forms the world offers up.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_122a79b1e00f","name":"Selective identification","statement":"Among photos that are equally evidential about how one looks, the flattering one is kept as 'really me' and the honest one rejected, so the identification is selective: one identifies with the better image, not with one's image as such.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_ffd0664cc049","name":"Inside/outside gap","statement":"The felt inside is structurally, not merely occasionally, messier than the presented outside; were the 'I' simply reading itself off, the two would match, and they never do.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_4650fc4245cb","name":"Likeness-irritation","statement":"A person very like oneself — same role, style, jokes — provokes a territorial irritation that wholly different people never trigger, which is intelligible only if the 'I' is a picture occupying a place that a better instance of that picture could take.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_8b8cd837b3d4","name":"The disavowing 'I'","statement":"The 'I' from which slips are disowned and through which the other scene leaks is the imaginary ego — a picture the person took for themselves from outside — not a given, self-transparent core.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_7e4c21df9808","name":"Arbitrary sign","statement":"The bond between a signifier and what it names is arbitrary, and no individual can change what a word means because the community holds the bond fixed — which is how an arbitrary sign is nonetheless stable.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_602a605f5d57","name":"Meaning without a referent","statement":"Words such as 'unicorn' and 'nevertheless' are fully meaningful although no thing exists for them to be associated with, so meaning cannot require a referent.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_56100b18f710","name":"Language cuts the world","statement":"The world does not arrive pre-cut into categories; each language places its own cuts, so that French 'mouton' covers both sheep and mutton and Welsh 'glas' spans a region that English divides into green and blue.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_5a84df339475","name":"Meaning is not association with things","statement":"What fixes a word's meaning is not a bond of association to a thing in the world.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_1ee49dbabaaa","name":"Differences without positive terms","statement":"In language there are only differences without positive terms: a sign's meaning is what it is not, its borders drawn by neighbouring words, and its identity is a position in a system of oppositions — as a chess piece is nothing but its value in the game, unaffected by being recast in marble.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_0998032e59dd","name":"The sign","statement":"The linguistic sign is two-sided — a signifier (the perceivable sound-image) and a signified (the concept) — with the referent, the actual thing, outside the sign entirely, bracketed by Saussure.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_b43d26950ec0","name":"Meaning versus reference","statement":"Separating meaning from reference makes the structural method possible: meaning can be studied as a closed game, as chess can be studied without regard to what the pieces are made of.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_5cfc2c234ab7","name":"Self-grounding system","statement":"The system of meanings is self-grounding and circular: every word is defined by other words with no non-linguistic base case, so meaning is internal to the system, position against position, all the way down, like a geometry that touches no ground outside itself.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_541cc6e0a96a","name":"Pointing cannot fix meaning","statement":"Pointing at a thing cannot fix a word's meaning, because the gesture cannot specify which cut is meant — the dog, the animal, the mammal, the pet, the breed — and most of language has nothing to point at.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_b90d4e5ac45c","name":"The system precedes the speaker","statement":"No speaker assembles the linguistic system bottom-up; every speaker acquires an already-finished system that was in place before they existed, so what acquisition delivers is a position in the network, not a stash of associations.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_5169da8ee11d","name":"The 'I' is spoken by language","statement":"Whatever 'you' are, meaning-wise, you are made of inherited linguistic material; the 'I' that believes it speaks language is first something spoken by it, and one cannot mean anything, even in rebellion, except out of material that was already there.","aliases":["the I that believes it speaks language is, first, something spoken by it"],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_b421c0960552","name":"Selection and combination","statement":"Every act of speaking simultaneously selects a word from the set of words that could occupy the slot and combines the chosen word with its neighbours into a sequence; selection and combination are the two axes on which every sentence rides.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_524aa358442a","name":"Metaphor and metonymy","statement":"The selection pole does its creative work as metaphor — naming a thing by something similar to it — and the combination pole as metonymy — naming a thing by something adjacent to it.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_3093400d92c2","name":"Aphasic dissociation of the poles","statement":"Some aphasias destroy the selection pole, leaving patients able only to chain words by contiguity, while others destroy the combination pole, leaving only substitution without any sentence — showing that selection and combination are two separate machineries.","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_926c1fa0e304","name":"The two operations are the two poles","statement":"The unconscious's two operations line up with language's two poles: condensation fuses several thoughts into one image, which is substitution on the basis of similarity (metaphor), and displacement moves charge onto a neighbouring trivial element, which is substitution on the basis of contiguity (metonymy).","aliases":[],"createdAt":"2026-10-03T23:42:47.065Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_ba7f8c479f61","name":"Two fundamental dream-work operations","statement":"Freud holds condensation and displacement to be the two fundamental operations of the dream-work — the machinery itself; the remaining distortions (staging, secondary revision) presuppose them, and secondary revision is the waking mind's after-the-fact edit rather than unconscious machinery.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_524aa358442a","name":"Condensation is metaphor","statement":"Condensation is metaphor: several thoughts are fused into a single image, one figure substituted for a whole network of thoughts because it resembles all of them at once.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_524aa358442a","name":"Displacement is metonymy","statement":"Displacement is metonymy: the charge of an unbearable thought slides along the chain of associations onto a trivial neighboring element, so that contiguity itself stands in for the thing, as 'the Crown' stands in for the monarchy.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_6a2b3ed1e007","name":"The unconscious runs on the signifier","statement":"The unconscious selects by the material signifier — sounds, letters, words as things — and is indifferent to the signified (the meaning it bears); it operates on the letter, as when a patient is tormented by cabbages over her rival Frau Kohl (Kohl = cabbage) or Dora's dream turns on 'jewel box.'","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_16dc6e4123f0","name":"Dream as rebus","statement":"The dream is a rebus — a picture-puzzle whose elements stand for words — and is therefore something to be read, not seen through.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_2e596aac5aaf","name":"Lacan's algorithm of the sign","statement":"Lacan rewrites the Saussurean sign as capital S over small s separated by a bar: the capitalized signifier leads (the machinery runs top-down from the material sound), the bar is a resistance rather than a bond, and the signified is not a partner but an effect produced late as the chain runs and never finally fixed.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_db58150dc542","name":"Cogito","statement":"Descartes' cogito: radical doubt cannot doubt the occurrence of thinking itself, since doubting is an instance of thinking; cogitatio ('thinking') covers the whole stream of experience — sensing, seeming, feeling, willing, doubting — so that in the act of thinking the 'I' is present to itself, and this self-transparency is the indubitable foundation on which knowledge is rebuilt.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_4624f8ad9a9a","name":"I think where I am not","statement":"Lacan's inversion of the cogito: 'I think where I am not; therefore I am where I do not think' — the thinking that is most one's own (the dream-work, the slip, the other scene) runs where one is not present, while the place where one is present to oneself (the ego) is precisely where no such thinking occurs.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_e55d28497ce9","name":"The split subject","statement":"The subject is not the transparent res cogitans but a split: divided between the 'I' that speaks and the circuit that speaks in it; the subject is neither the ego-image nor the unconscious machinery but the barred, proxy-structure between them, and it is split, not eliminated.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_330c6e270905","name":"Signifier represents the subject for another signifier","statement":"A signifier represents the subject for another signifier: the subject appears only by proxy, as a position in the signifying chain, never in person — as a knight is nothing but its position in the game; the word 'I' is the sharpest case, the language's word that never coincides with the one who speaks it.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_7a72a1ed93b9","name":"The one bar","statement":"The bar is a single operator marking the same structural fact in two places — in S/s it marks that the material form is cut off from any natural presence of its meaning, and in $ it marks that the subject is cut off from any present self that could coincide with its representation; both bars say that no transparency crosses the line.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_ed410f739a4f","name":"The Symbolic","statement":"The Symbolic is the register comprising everything that exists only as a position within a system — language, law, kinship, money, roles — which produces real effects (a banknote buys bread, a signed paper marries you) while existing nowhere in particular, since it is relative to positions and precedes and outlasts every individual.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_cae7d5a080c7","name":"The big Other","statement":"The big Other (A, Autre) is the Symbolic order personified as a place — the place from which one is spoken and the addressee-of-last-resort, the structure itself standing in the position of guarantor rather than any person, God, or government; even a private conversation or a mathematical proof is structurally a message addressed to the Other.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_be19c1fa9d92","name":"Discourse of the Other","statement":"The unconscious is the discourse of the Other: because the circuit that speaks where one is not speaks in signifiers, the very material of one's unconscious is the Other's borrowed material.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_69ce608c575e","name":"The little other","statement":"The little other (a) is the person in front of you — rival, beloved, the mirror — the two-person register of the Imaginary; the big Other is the third that was always already there, the frame the dyad stands in.","aliases":[],"createdAt":"2026-10-05T22:17:48.556Z","provenance":[{"chatId":"chat_musxkzk4_b84ec3f5","messageId":""}]}
|
||||
{"id":"n_465398b5356a","name":"Information Principle","statement":"The entire information content of a database is represented in one and only one way: as explicit values at named attribute positions in rows — no fact may live in pointer structure, row position, or any hidden channel; if it is in the database, it is a value in a cell.","aliases":["The entire information content of the database is represented in one and only one way: as explicit values at named attribute positions in rows"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_d4f521e6d594","name":"Pointer vs. value","statement":"A pointer's meaning lives outside the data — valid only within one process's memory layout at one moment — so pointer-based data loses the facts it encodes when written to disk, loaded into another program, or moved in memory, whereas a self-meaningful value such as customer_id = 3 designates the same thing for every reader, everywhere and forever.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_465398b5356a","name":"Position is not information","statement":"Every cell is addressed as (row, attribute name), never by offset or by structure; a fact that exists only as a position — of a row or of a cell — is not in the database at all, only in the reader's head or in the storage layout.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_0077867ac365","name":"First normal form","statement":"One value per cell is constitutive of being a relation, not a rung on a design-quality ladder: a list stored in a single cell smuggles positional meaning ('secondness') outside the value layer, which the Information Principle forbids, so every real relation satisfies first normal form by construction.","aliases":["1NF is the model's floor, not a rung on a quality ladder","one value per cell"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_900d57d79089","name":"Value equality as the connective mechanism","statement":"Because the model has no pointers, when two rows must connect, equality of values is the only connective mechanism the model has.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_bd17c923805f","name":"Repeating-group representation","statement":"When one thing has many of something, the model represents it as one fact per cell across separate rows with the shared identifier repeated as a value on each row — the shape that recurs as the foreign-key and junction-table patterns.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_c4847c70d947","name":"Relation as set of tuples","statement":"A relation is a set of tuples, where a tuple is one value assigned to each named attribute (one row's worth of cells); 'set' means identity is by value — two things are equal iff all their values are equal — duplicates collapse into one, and order is meaningless.","aliases":["A relation is a set of tuples"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_7727dab7e981","name":"Heading and domain","statement":"A relation's heading is its attribute names each paired with a domain — the set of values that attribute may draw from — and every attribute draws from exactly one domain.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_c4847c70d947","name":"No duplicate tuples","statement":"If two candidate rows agree on every attribute value they are not two rows but one fact, so a relation can never contain duplicate tuples.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_085cc3ea197f","name":"Full attribute set always identifies","statement":"The full attribute set of a relation always identifies a tuple, because two tuples that agreed on every attribute would be the same tuple.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_2247b01fa1c4","name":"Equality within a domain","statement":"Equality comparison is well-defined only between values of the same domain; comparing an amount against a customer name is a category error, not a false statement.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_dd1107920063","name":"Attribute domains enable value comparison","statement":"Typing every attribute to exactly one domain is what makes value-comparison well-defined, and value-comparison is what every connection in the model — keys and joins alike — is built from.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_77927ce311bd","name":"Superkey","statement":"A superkey is an attribute set that identifies every tuple in every possible state — no two tuples ever agree on all of its attributes; 'in every possible state' makes it a claim, not a survey of the rows currently present.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_8bb4b3ac5e1b","name":"Candidate key","statement":"A candidate key is a superkey with no removable attribute — drop any one of its attributes and it stops being a superkey; minimality means nothing sparer works (removability, not fewest attributes), so candidate keys of different sizes can coexist. A key is a set of attributes, possibly of size one, and a key of several attributes is a composite key.","aliases":["a superkey with no removable attribute","composite key"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_fb7a4420fa22","name":"Key existence is a theorem","statement":"Every relation has at least one candidate key: its full attribute set is a superkey, and removing attributes until identification dies must stop at a candidate key — so key existence follows from set-hood rather than being a rule the model imposes.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_10047db7150a","name":"Primary key as designation","statement":"Primary key is a designation, not a different kind of thing: choosing one of several candidate keys as primary is convention, and its real content is announcing which attributes the schema treats as the relation's identifier and having the database enforce that claim by rejecting any insert that would repeat the attribute combination.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_aed0d956de16","name":"SQL PRIMARY KEY and UNIQUE","statement":"The model has one notion, the candidate key; SQL splits the job into PRIMARY KEY (the designated key, meaning UNIQUE + NOT NULL) and UNIQUE (how every other candidate key is enforced), so all key claims are enforced even though only one gets the title.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_800aac61d337","name":"UNIQUE and NULL","statement":"In standard SQL, UNIQUE permits repeated NULLs (NULL is not equal to anything, itself included), so a nullable column cannot serve as a real key in practice — a SQL wrinkle, not a model one.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_1cdf5af934ec","name":"Functional dependency","statement":"For attribute sets X and Y of a relation R, the functional dependency X → Y holds iff in every valid state of R, any two tuples that agree on all attributes of X also agree on all attributes of Y — the value of X fixes the value of Y in every state the relation may take, not merely the rows seen so far.","aliases":["the value of X fixes the value of Y"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_981785db6e66","name":"Key as strongest functional dependency","statement":"A key is the strongest special case of a functional dependency: X is a superkey exactly when X → every attribute of R, a candidate key is the same with nothing removable from X, and a general FD is X → Y for some attribute set Y.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_8aa08afccdd6","name":"Direction of a functional dependency","statement":"A functional dependency is an arrow, not an equation: X → Y says nothing about Y → X, so each direction must be established as its own fact about the domain.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_25ccc4add9f1","name":"SQL cannot enforce general FDs","statement":"SQL cannot enforce a general functional dependency: its constraint vocabulary covers keys, foreign references, and row-local CHECKs, but 'same X, same Y' spans multiple rows, which no mainstream engine lets a check reach.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_3d9de7cd57db","name":"Decomposition","statement":"To enforce a general functional dependency X → Y that SQL cannot constrain, a designer moves Y into a table where X is a key; storing each determined fact where its determinant is minimal is decomposition, and it is the entire content of the normal forms.","aliases":["decomposition"],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_38e441ce0f2a","name":"Hidden system identifier","statement":"A hidden system-generated row identifier is a physical row address invisible to the data model; because its meaning lives outside the value layer, using it to distinguish rows rebuilds the forbidden pointer and violates the Information Principle.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_d516ed352aee","name":"Identity as a visible value column","statement":"When two rows must be distinguished, the model's answer is a value column (a purchase_id, a receipt number, or a sufficiently fine timestamp), not a hidden identifier, so that the rows differ by value and set-hood is preserved.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_9c6579b6e21f","name":"Relation, tuple, attribute vs. table, row, column","statement":"In the relational model a relation is a table, a tuple is a row, and an attribute is a column; SQL kept the table/row/column vocabulary while the theory kept relation/tuple/attribute.","aliases":[],"createdAt":"2026-10-05T23:30:37.864Z","provenance":[{"chatId":"chat_muvot9vr_d0a5dd8f","messageId":""}]}
|
||||
{"id":"n_d33344f28684","name":"Vector space (over ℝ)","statement":"A vector space over ℝ is a set V equipped with an addition u+v∈V and a scaling cv∈V (c∈ℝ) satisfying eight laws: (1) u+v=v+u, (2) (u+v)+w=u+(v+w), (3) a zero element with v+0=v, (4) every v has a negative with v+(−v)=0, (5) 1v=v, (6) (cd)v=c(dv), (7) c(u+v)=cu+cv, (8) (c+d)v=cv+dv.","aliases":["a set with two operations — addition of elements and scaling by numbers — satisfying the eight vector-space laws"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_f362e4f7bda6","name":"Abelian group plus compatible scaling","statement":"The eight vector-space laws compress into exactly two ideas: laws 1–4 say (V,+) is an abelian group (commutative, associative, with a zero and negatives), and laws 5–8 say the scaling respects that group structure by composing and distributing; 'linearity of the operations' means precisely laws 5–8.","aliases":["(V,+) is an abelian group and scaling respects that group structure"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_5e286f9d4263","name":"Linear-combination fuel","statement":"A vector space's two operations and eight laws are exactly what a linear combination v=c1v1+⋯+ckvk consumes; forming combinations uses nothing beyond addition and scaling.","aliases":["linear combinations burn nothing but addition and scaling"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_24e1ea5def83","name":"Transfer of combination-based results","statement":"Every concept built from linear combinations (span, independence, basis) and every theorem proved about them transfers intact to any set that supplies two operations satisfying the eight laws — ℝⁿ, matrices, polynomials, functions — so demanding more structure would only shrink the roster of examples without proving anything extra.","aliases":["the proofs keep transferring"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_f175f2e8772b","name":"Element multiplication is undefined","statement":"In a vector space, multiplication of two elements is not optional but undefined — the expression xy has no meaning — so the question 'does every nonzero element have a multiplicative inverse?' is not answered no but is unaskable until extra structure (a field or algebra) is installed on top.","aliases":["a vector space's elements form a group under addition, where inverse means negative; multiplicative inverses are a field concept with no counterpart here"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_6cf2fd17097c","name":"Laws decide membership","statement":"Vector-space membership is decided by the eight laws alone, not by the familiarity of an operation's name: operations with unfamiliar names — e.g. 'addition' x⊕y=xy and 'scaling' c⊙x=xᶜ on the positive reals — form a vector space exactly when they satisfy the laws, so the decision procedure is a cheapest-first checklist (closure under both operations, then zero, then negatives, then the scaling laws) rather than intuition.","aliases":["the eight laws do not care what the operations look like","selecting by the familiarity of an operation's name instead of by the eight laws is the failure mode"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_ee2203f156b4","name":"Arithmetic laws are identities","statement":"The six arithmetic vector-space laws are identities — each asserts the equality of two expressions built from elements — so when those expressions are computed with the same operations they hold automatically in any subset of V, and an identity cannot know that a subset exists; only the possibility of an operation leaving the subset is genuinely new.","aliases":["an identity cannot know that W exists"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_86ba50d0c79e","name":"Subspace test","statement":"A subset W of a vector space V is itself a vector space under the same operations exactly when it is nonempty, closed under addition, and closed under scaling; checking 0∈W first is a useful one-line canary that disqualifies failures instantly but is not an independent requirement.","aliases":["nonempty, closed under addition, closed under scaling"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_17b0b0e5bdfc","name":"Closure manufactures zero and negatives","statement":"Within a subspace, closure under scaling alone produces the zero and the negatives: 0=0w∈W and −w=(−1)w∈W for any w∈W, so zero and negatives need not be checked separately.","aliases":["0 = 0w, −w = (−1)w"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_0e3e789ba2a9","name":"Linear condition","statement":"A linear condition is a statement L(v)=0 where L is additive (L(u+v)=L(u)+L(v)) and homogeneous (L(cv)=cL(v)) — i.e. a weighted sum of the coordinates and nothing more.","aliases":["L(v)=0 with L additive and homogeneous"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_e92884c6bead","name":"Solutions of a homogeneous linear condition form a subspace","statement":"The solution set of a homogeneous linear condition L(v)=0 is a subspace, because L is linear: L(u+v)=L(u)+L(v)=0+0=0 and L(cv)=cL(v)=0; but the same condition set equal to a nonzero constant, L(v)=1, is an affine slice — a translate of a subspace — never a subspace, since L(u+v)=1+1=2 escapes immediately.","aliases":["homogeneous linear condition → subspace; nonzero constant → affine slice","a linear condition set equal to a nonzero constant is a translate of a subspace"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_b07a2b1b3be4","name":"Nonlinear conditions fail closure","statement":"A condition that is nonlinear in the entries is not a subspace: {det A=0} fails closure because diag(1,0)+diag(0,1)=I with det I=1≠0 — two singular matrices summing to an invertible one — consistent with det being degree 2 in the entries, so no linearity is available to save closure.","aliases":["two singular matrices summing to an invertible one"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_2c32475f6d7f","name":"Canonical vector spaces inherit laws from ℝ","statement":"ℝⁿ (componentwise operations), ℝ^{m×n} matrices (entrywise: (A+B)_{ij}=a_{ij}+b_{ij}, (cA)_{ij}=c·a_{ij}), polynomials (coefficientwise), and functions ℝ→ℝ (pointwise: (f+g)(x)=f(x)+g(x), (cf)(x)=c·f(x)) are all vector spaces; each of the eight laws is verified entry by entry and reduces to a law of real numbers, so these coordinatewise structures inherit their laws from ℝ, and each is an abelian group under its addition because (ℝ,+) is.","aliases":["coordinatewise structures inherit their laws from ℝ","one proof for all four rows at once"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_ded8ab3e7d31","name":"Matrix multiplication is extra structure","statement":"Matrix multiplication is not the addition of the matrix vector space but extra structure nowhere mentioned in the eight laws; judged as an addition it fails immediately, since AB≠BA in general, its identity is I rather than the zero matrix, AB can be the zero matrix with both factors nonzero, and most matrices have no multiplicative inverse.","aliases":["matrix multiplication is present only when explicitly written; the vector-space operations are entrywise"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_fd758386afe2","name":"Matrix as point and as action","statement":"A matrix has two faces that are the same object: a point in a vector space (an m×n matrix is mn independent coordinates, its entries, freely added and scaled entrywise) and an action (rows times columns, transforming vectors) — and the subject's power comes from switching between them, using the entry face for structure and counting and the action face for transformation.","aliases":["the two faces of a matrix"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
{"id":"n_149c99fa9b2c","name":"Every matrix-work subspace is a null space","statement":"In matrix work, every subspace encountered is a null space in disguise — the solution set of some A x = 0 — because such solution sets are exactly the homogeneous linear conditions on the coordinates.","aliases":["every subspace you meet is a null space in disguise"],"createdAt":"2026-10-10T10:25:51.448Z","provenance":[{"chatId":"chat_mv19m6xe_1481b07e","messageId":""}]}
|
||||
+1489
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,29 @@
|
||||
{
|
||||
"sizeUnits": "world",
|
||||
"nodeSize": 2,
|
||||
"edgeWidth": 1,
|
||||
"arrowLength": 2,
|
||||
"labelZoom": 0.5,
|
||||
"labelSize": 3,
|
||||
"clusterLabels": true,
|
||||
"clusterLabelSize": 14,
|
||||
"regions": {
|
||||
"dilation": 20,
|
||||
"blur": 40,
|
||||
"bitmap": 384,
|
||||
"edgeAlpha": 0.2,
|
||||
"enabled": true
|
||||
},
|
||||
"physics": {
|
||||
"chargeStrength": -240,
|
||||
"linkStrength": 1,
|
||||
"linkDistance": 40,
|
||||
"gravity": 0.12,
|
||||
"clusterPull": 0.15,
|
||||
"velocityDecay": 0.4,
|
||||
"depthMode": "vertical",
|
||||
"depthStrength": 0.8,
|
||||
"depthSpacing": 60,
|
||||
"depthBaseRadius": 220
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,8 @@
|
||||
{"chatId":"src_d29e7ef2599a","foldedAt":"2026-09-30T14:48:11.111Z"}
|
||||
{"chatId":"src_d29e7ef2599a","foldedAt":"2026-09-30T14:48:11.111Z"}
|
||||
{"chatId":"src_d29e7ef2599a","foldedAt":"2026-09-30T14:48:11.111Z"}
|
||||
{"chatId":"src_c4f225a782f1","foldedAt":"2026-09-30T14:57:47.733Z"}
|
||||
{"chatId":"src_145793466a55","foldedAt":"2026-09-30T14:58:51.639Z"}
|
||||
{"chatId":"src_31827b85d75f","foldedAt":"2026-09-30T15:00:57.180Z"}
|
||||
{"chatId":"src_31827b85d75f","foldedAt":"2026-09-30T15:00:57.180Z"}
|
||||
{"chatId":"src_31827b85d75f","foldedAt":"2026-09-30T15:00:57.180Z"}
|
||||
+517
@@ -0,0 +1,517 @@
|
||||
{
|
||||
"src_d29e7ef2599a": {
|
||||
"id": "src_d29e7ef2599a",
|
||||
"filePath": "learn database.md",
|
||||
"importedAt": "2026-09-30T14:48:11.111Z",
|
||||
"contentFp": "830632dfac338256",
|
||||
"extractions": [
|
||||
{
|
||||
"startedAt": 1790779691113,
|
||||
"at": "2026-09-30T14:51:12.468Z",
|
||||
"durationMs": 181354,
|
||||
"stats": {
|
||||
"nodes": 30,
|
||||
"chains": 14
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 9299,
|
||||
"outputTokens": 12570,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 10182
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3913,
|
||||
"outputTokens": 39,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 16
|
||||
},
|
||||
{
|
||||
"inputTokens": 3955,
|
||||
"outputTokens": 74,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 10
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
},
|
||||
{
|
||||
"startedAt": 1790779872468,
|
||||
"at": "2026-09-30T14:52:56.141Z",
|
||||
"durationMs": 103672,
|
||||
"stats": {
|
||||
"nodes": 21,
|
||||
"chains": 12
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 12110,
|
||||
"outputTokens": 11792,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 9596
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3654,
|
||||
"outputTokens": 30,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 7
|
||||
},
|
||||
{
|
||||
"inputTokens": 3743,
|
||||
"outputTokens": 61,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 13
|
||||
},
|
||||
{
|
||||
"inputTokens": 1940,
|
||||
"outputTokens": 2385,
|
||||
"cacheReadTokens": 3712,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 2198
|
||||
},
|
||||
{
|
||||
"inputTokens": 1398,
|
||||
"outputTokens": 8339,
|
||||
"cacheReadTokens": 7936,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 8151
|
||||
},
|
||||
{
|
||||
"inputTokens": 1200,
|
||||
"outputTokens": 823,
|
||||
"cacheReadTokens": 17664,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 496
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
},
|
||||
{
|
||||
"startedAt": 1790779976141,
|
||||
"at": "2026-09-30T14:54:52.659Z",
|
||||
"durationMs": 116517,
|
||||
"stats": {
|
||||
"nodes": 19,
|
||||
"chains": 14
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 9400,
|
||||
"outputTokens": 12855,
|
||||
"cacheReadTokens": 2048,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 10237
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3918,
|
||||
"outputTokens": 33,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 10
|
||||
},
|
||||
{
|
||||
"inputTokens": 4010,
|
||||
"outputTokens": 65,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 18
|
||||
},
|
||||
{
|
||||
"inputTokens": 3747,
|
||||
"outputTokens": 4564,
|
||||
"cacheReadTokens": 3840,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 4165
|
||||
},
|
||||
{
|
||||
"inputTokens": 5317,
|
||||
"outputTokens": 281,
|
||||
"cacheReadTokens": 7552,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 52
|
||||
},
|
||||
{
|
||||
"inputTokens": 3067,
|
||||
"outputTokens": 805,
|
||||
"cacheReadTokens": 12800,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 506
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
]
|
||||
},
|
||||
"src_c4f225a782f1": {
|
||||
"id": "src_c4f225a782f1",
|
||||
"filePath": "learn computer.md",
|
||||
"importedAt": "2026-09-30T14:57:47.733Z",
|
||||
"contentFp": "bdd1ba5f7ed7f666",
|
||||
"extractions": [
|
||||
{
|
||||
"startedAt": 1790780267734,
|
||||
"at": "2026-09-30T14:58:30.139Z",
|
||||
"durationMs": 42404,
|
||||
"stats": {
|
||||
"nodes": 13,
|
||||
"chains": 9
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3609,
|
||||
"outputTokens": 3957,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 2693
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 1287,
|
||||
"outputTokens": 42,
|
||||
"cacheReadTokens": 1408,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 7
|
||||
},
|
||||
{
|
||||
"inputTokens": 88,
|
||||
"outputTokens": 84,
|
||||
"cacheReadTokens": 2688,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 36
|
||||
},
|
||||
{
|
||||
"inputTokens": 5235,
|
||||
"outputTokens": 611,
|
||||
"cacheReadTokens": 2816,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 284
|
||||
},
|
||||
{
|
||||
"inputTokens": 3764,
|
||||
"outputTokens": 561,
|
||||
"cacheReadTokens": 8576,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 318
|
||||
},
|
||||
{
|
||||
"inputTokens": 2567,
|
||||
"outputTokens": 227,
|
||||
"cacheReadTokens": 12800,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 58
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
]
|
||||
},
|
||||
"src_145793466a55": {
|
||||
"id": "src_145793466a55",
|
||||
"filePath": "learning software architecture.md",
|
||||
"importedAt": "2026-09-30T14:58:51.639Z",
|
||||
"contentFp": "929397e07a79ea38",
|
||||
"extractions": [
|
||||
{
|
||||
"startedAt": 1790780331640,
|
||||
"at": "2026-09-30T15:00:14.763Z",
|
||||
"durationMs": 83123,
|
||||
"stats": {
|
||||
"nodes": 20,
|
||||
"chains": 12
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 7042,
|
||||
"outputTokens": 8814,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 6981
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 1893,
|
||||
"outputTokens": 35,
|
||||
"cacheReadTokens": 1408,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 0
|
||||
},
|
||||
{
|
||||
"inputTokens": 72,
|
||||
"outputTokens": 91,
|
||||
"cacheReadTokens": 3328,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 6
|
||||
},
|
||||
{
|
||||
"inputTokens": 6002,
|
||||
"outputTokens": 2625,
|
||||
"cacheReadTokens": 3456,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 2285
|
||||
},
|
||||
{
|
||||
"inputTokens": 1558,
|
||||
"outputTokens": 1276,
|
||||
"cacheReadTokens": 12032,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 972
|
||||
},
|
||||
{
|
||||
"inputTokens": 1012,
|
||||
"outputTokens": 1006,
|
||||
"cacheReadTokens": 14848,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 673
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
]
|
||||
},
|
||||
"src_31827b85d75f": {
|
||||
"id": "src_31827b85d75f",
|
||||
"filePath": "learning libertarianism.md",
|
||||
"importedAt": "2026-09-30T15:00:57.180Z",
|
||||
"contentFp": "a70daff5e1771705",
|
||||
"extractions": [
|
||||
{
|
||||
"startedAt": 1790780457181,
|
||||
"at": "2026-09-30T15:01:46.324Z",
|
||||
"durationMs": 49143,
|
||||
"stats": {
|
||||
"nodes": 20,
|
||||
"chains": 9
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 9013,
|
||||
"outputTokens": 8220,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 5811
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3905,
|
||||
"outputTokens": 35,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 0
|
||||
},
|
||||
{
|
||||
"inputTokens": 4048,
|
||||
"outputTokens": 208,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 55
|
||||
},
|
||||
{
|
||||
"inputTokens": 7807,
|
||||
"outputTokens": 243,
|
||||
"cacheReadTokens": 3840,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 59
|
||||
},
|
||||
{
|
||||
"inputTokens": 1276,
|
||||
"outputTokens": 153,
|
||||
"cacheReadTokens": 11520,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 52
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
},
|
||||
{
|
||||
"startedAt": 1790780506325,
|
||||
"at": "2026-09-30T15:04:50.482Z",
|
||||
"durationMs": 184157,
|
||||
"stats": {
|
||||
"nodes": 15,
|
||||
"chains": 11
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 11539,
|
||||
"outputTokens": 15465,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 13164
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3688,
|
||||
"outputTokens": 31,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 8
|
||||
},
|
||||
{
|
||||
"inputTokens": 3814,
|
||||
"outputTokens": 95,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 48
|
||||
},
|
||||
{
|
||||
"inputTokens": 2160,
|
||||
"outputTokens": 1884,
|
||||
"cacheReadTokens": 3712,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 1633
|
||||
},
|
||||
{
|
||||
"inputTokens": 4968,
|
||||
"outputTokens": 6107,
|
||||
"cacheReadTokens": 5760,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 5794
|
||||
},
|
||||
{
|
||||
"inputTokens": 7413,
|
||||
"outputTokens": 4851,
|
||||
"cacheReadTokens": 10624,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 4411
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
},
|
||||
{
|
||||
"startedAt": 1790780690483,
|
||||
"at": "2026-09-30T15:07:24.186Z",
|
||||
"durationMs": 153703,
|
||||
"stats": {
|
||||
"nodes": 13,
|
||||
"chains": 10
|
||||
},
|
||||
"stages": {
|
||||
"extractor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 9181,
|
||||
"outputTokens": 7181,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 5511
|
||||
}
|
||||
]
|
||||
},
|
||||
"auditor": {
|
||||
"model": "openrouter:deepseek/deepseek-v4.1-flash",
|
||||
"steps": [
|
||||
{
|
||||
"inputTokens": 3053,
|
||||
"outputTokens": 34,
|
||||
"cacheReadTokens": 0,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 0
|
||||
},
|
||||
{
|
||||
"inputTokens": 129,
|
||||
"outputTokens": 76,
|
||||
"cacheReadTokens": 3072,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 17
|
||||
},
|
||||
{
|
||||
"inputTokens": 3648,
|
||||
"outputTokens": 1815,
|
||||
"cacheReadTokens": 3072,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 1573
|
||||
},
|
||||
{
|
||||
"inputTokens": 1305,
|
||||
"outputTokens": 343,
|
||||
"cacheReadTokens": 8448,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 85
|
||||
},
|
||||
{
|
||||
"inputTokens": 449,
|
||||
"outputTokens": 279,
|
||||
"cacheReadTokens": 9984,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 22
|
||||
},
|
||||
{
|
||||
"inputTokens": 672,
|
||||
"outputTokens": 2406,
|
||||
"cacheReadTokens": 10496,
|
||||
"cacheWriteTokens": 0,
|
||||
"reasoningTokens": 1980
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
]
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user