{"query": "Condensed matter", "count": 20, "results": [{"id": "card_instr_condensed_matter", "title": "Condensed matter", "shelf": "codex", "surface": "secular", "snippet": "The Condensed matter verifier (src/concordance/verifiers/condensed_matter.py). Builds on: The physical constants — one source. Found from the code's own imports, never invented; the module keeps the l", "authority_tier": "engine_derived", "source": "verifier: condensed_matter", "readable": false, "generated": false}, {"id": "card_theory_condensed_matter", "title": "Condensed matter & semiconductors (band theory and the transistor)", "shelf": "theories", "surface": "secular", "snippet": "Condensed matter & semiconductors (band theory and the transistor) — an engine domain that can touch it: materials_science. Calibration: map-only — band gaps and carrier concentrations compute; the fi", "authority_tier": "reference", "source": "The Theory Assay — calibrated, not judged (docs/THEORY_CATALOG.md)", "readable": false, "generated": false}, {"id": "card_calc_lattice_vibration", "title": "Lattice phonons", "shelf": "calculations", "surface": "secular", "snippet": "Lattice phonons — condensed_matter. Formula: omega(k) = 2 sqrt(K/m) |sin(ka/2)|. Canonical FORM: periodic (x = A*cos(omega*t + phi)) — a crystal's vibrations are a chain of coupled harmonic oscillator", "authority_tier": "reference", "source": "The Calculation Map — every calculation, mapped by form", "readable": false, "generated": false}, {"id": "card_bridge_master_harmonic_oscillator", "title": "Master equation: d2x/dt2 = -omega^2 x", "shelf": "bridges", "surface": "secular", "snippet": "a restoring force proportional to displacement — every oscillation is this, with omega^2 = restoring/inertia. ONE equation, 4 domains, connected by a change of variable: physics [omega^2 = k/m (spring", "authority_tier": "reference", "source": "The Bridges — cross-domain isomorphisms", "readable": false, "generated": false}, {"id": "card_bridge_form_periodic", "title": "Bridge: the periodic form across 6 domains", "shelf": "bridges", "surface": "secular", "snippet": "The canonical form periodic (x = A*cos(omega*t + phi)) is the SAME computation in 6 different domains — chemistry, condensed_matter, electrical, ephemeris, photonics, physics. One calculation, many fi", "authority_tier": "reference", "source": "The Bridges — cross-domain isomorphisms", "readable": false, "generated": false}, {"id": "card_seal_a3c4f4cba5d69229367a0cecb1eb33edbc5c419ab34d1da4ee09dbdde74b5751", "title": "Receipt a3c4f4cba5d6… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_5c07f114d091193b8b493ca1097815b9eb6b3305f07b337de030380316328a6d", "title": "Receipt 5c07f114d091… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_d129a0757863d30848516db17839cf83f26fc951c02f8819dec2b906f106b4d8", "title": "Receipt d129a0757863… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_28a861d4447d1f9a4e000f1e18092c5f6ef3cc89b8401dd3410512168a4c87b9", "title": "Receipt 28a861d4447d… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_6537491592506c3a2781df0c2f3118cd123b1f6168a638719764b7cf45988594", "title": "Receipt 653749159250… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_c8fbe0529731035be1a8a23955c10725c0503110e822ff4ed8c9659616d0a85e", "title": "Receipt c8fbe0529731… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_b219ad6e4a7435932e0b1e30fcc7c8ad1ea8a4f5411f0de623b3dc418e1ce797", "title": "Receipt b219ad6e4a74… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_25239edfbdf98c2842bbc6196137cee53c5cdb042c78dcc133fba38ae9cd0110", "title": "Receipt 25239edfbdf9… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_7f309ef1b4884bdff85d5df53cb5901eed47c3b0e32e1fd50e0f36b044a80829", "title": "Receipt 7f309ef1b488… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_9389b45746030c1a61f61941aafe320e7dab5bbb0b706d1d9ee49072aaa39ca0", "title": "Receipt 9389b4574603… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_36113abb37404788b06cb10fbf3b1434bcb3f29deabcabdb1061d6f7a394aafe", "title": "Receipt 36113abb3740… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_dcaffe0df98f074520927f8569d476135407bc3e43d569743ad614d2288a735a", "title": "Receipt dcaffe0df98f… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_f9b323c9edfb636fe21097d8b20d5bb202d3d317ec30e13f223576bc57bebefb", "title": "Receipt f9b323c9edfb… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"gate_results\": [\n  {\n   \"details\": {\n    \"broken_at\": null,\n    \"confirmed_steps\": 1,\n    \"error_at\": null,\n    \"gap_at\": null,\n    \"steps\": 1,\n    \"verdict\": \"HOLDS\"\n   },\n   \"gat", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_seal_50f223100b5e538ca27860db6e329c87fd35e1684b5e364ce81c6bcf7779d857", "title": "Receipt 50f223100b5e… — sealed: record", "shelf": "seals", "surface": "secular", "snippet": "{\n \"anchors\": [],\n \"axis_coords\": {\n  \"axis\": \"atomic\",\n  \"dimensions\": [\n   \"conservation_balance\",\n   \"discreteness\",\n   \"physical_substance\",\n   \"reasoning\"\n  ],\n  \"umbrella\": \"physics\"\n },\n \"gate_", "authority_tier": "engine_derived", "source": "Narrow Highway engine — sealed record", "readable": false, "generated": false}, {"id": "card_src_openstax_university_physics_volume_2_introduction_0512c7a5", "title": "Introduction — University Physics Volume 2", "shelf": "physics", "surface": "secular", "snippet": "Figure\n10.1\n\nThis circuit shown is used to amplify small signals and power the earbud speakers attached to a cellular phone. This circuit’s components include resistors, capacitors, and diodes, all of", "authority_tier": "reference", "source": "OpenStax: University Physics Volume 2 (CC-BY 4.0)", "readable": false, "generated": false}], "house": {"door": "FIND", "kind": "cards", "trail": "results", "seal": null, "next_step": {"do": "open the top card", "door": "FIND", "tool": "card_get", "params": {"id": "card_instr_condensed_matter"}}, "ends": "a verdict or a card · the trail · a seal · one next step"}}