qishizhe/digital-drosophila
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
digital-drosophila/registry/phase4ad-author-semantics/evidence/audit/final-summary.json
T
Digital Drosophila Archive 92241aea02 Validate isolated author LIF semantics without changing frozen models
2026-09-30 07:23:09 +08:00

3291 lines
97 KiB
JSON
Raw Permalink Blame History

{
"phase": "4AD",
"status": "COMPLETE-ORACLE-VALIDATED-LAB-ONLY",
"laboratory_validation_pass": true,
"checks": [
{
"name": "preregistration",
"pass": true,
"record": {
"config": {
"name": "author-semantics-lab-v1",
"phase": "4AD",
"root": "/data/digital-drosophila",
"experiment": "experiments/phase4ad-author-semantics",
"model_directory": "models/male-cns-lif/author-semantics-lab-v1",
"prior_experiment": "experiments/phase4ac-lif-semantics",
"prior_model": "models/male-cns-lif/lif-semantics-audit-v1",
"human_authorization": "允许独立新模型分支测试动力学假设",
"dt_ms": 0.1,
"duration_ms": 1000.0,
"seed_margin_mv": 1.0,
"late_start_ms": 500.0,
"model": {
"dt_ms": 0.1,
"membrane_tau_ms": 20.0,
"synaptic_tau_ms": 5.0,
"refractory_ms": 2.2,
"resting_potential_mv": -52.0,
"reset_potential_mv": -52.0,
"threshold_mv": -45.0,
"synaptic_delay_ms": 1.8,
"w_syn_mv_per_anatomical_synapse": 0.275
},
"seed_node": 1381,
"motifs": [
"pair",
"trio",
"five",
"feedforward",
"no_input"
],
"component_policies": [
"frozen",
"reset_g_only",
"refractory_gate_only",
"reset_and_refractory"
],
"author_precisions": [
"float64",
"float32"
],
"comparison": {
"float64_state_max_abs_tolerance_mv": 1e-08,
"float32_state_max_abs_tolerance_mv": 0.001,
"exact_spike_events_required_for_oracle_validation": true,
"precision_cross_comparison_may_diverge_but_must_be_reported": true
},
"no_training_or_candidate": true
},
"timestamp_utc": "2026-09-29T23:14:27.848343+00:00",
"source_hashes": {
"PROTOCOL.md": "23e784ca1cbde7546373dbcbedbe2bc23d35083084f120068bf06100f238b09a",
"config.json": "a69e8da5332d8031cbe1663abff25e61ee04e75f5490e8fa44c48690d3d0e219",
"context.py": "561d405ee4a2d3bbc6982c89191523f348d6fae0630dea9cb67ddf03acc6fc7b",
"finalize.py": "97a393b95d100dc5d95b624e4cd0d15511307b8c70e0ebd788b773c143ebfed6",
"interface_audit.py": "1e2b31545f1206fe1c1f4084b4a9ac0f21c74990c52e8fd156e809725fc5fb95",
"math_lab.py": "9663da41d5f623e1d7750e3cad3df880148079968f115bf583b58799fc5fb31f",
"oracle_runner.py": "2f4b073261965cf18a94697caf725c40b2e8db790c2871862201337f40c399e5",
"prepare.py": "49caa9553938f06539ecf282868491f8e1319d8f24220f89ac9e232db2d82e51",
"requirements-oracle.txt": "a69efc6509b85a5cc00a652caa4820c9c9e1406f6b97c6cc741322728c4d51c3",
"run_lab.py": "8746e1971c5a40a738e10f8f574a243c29cefa5a8b9f61a2846557ceffd1289a",
"verify_frozen.py": "fe37a48ce804e6c50f93404bfd3c23a7e54cd49061bbdfb4860315879648c73b"
},
"input_hashes": [
{
"path": "experiments/phase4ac-lif-semantics/external-resources/model.py",
"sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e",
"bytes": 11900
},
{
"path": "experiments/phase4ac-lif-semantics/external-resources/LICENSE",
"sha256": "3621f6d6476189190e2960fa43f11b275ba4eca848fdac50a1ba2925de6223e8",
"bytes": 1085
},
{
"path": "experiments/phase4ac-lif-semantics/external-resources/environment_full.yml",
"sha256": "402fcef4968c99397b0e908b3323ab9e6ef86af5583e46e6427f96f3d1091adf",
"bytes": 3445
},
{
"path": "experiments/phase4ac-lif-semantics/audit/selected-real-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/audit/selected-metadata.parquet",
"sha256": "c1dde5df5408aeb878d6c422bc1c86ba44c3c5770f986014e594e356412a013d",
"bytes": 34348
},
{
"path": "models/male-cns-lif/lif-semantics-audit-v1/math_reference.py",
"sha256": "5166366251f99359b1301f514f5d9ae5f0f041fd3a3f98902386192117f01aea",
"bytes": 3768
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-edges.csv",
"sha256": "05a7c7a5547aaeea4d1522f9cea75463405f0c3cdfbc4d563f111ad51cb80e00",
"bytes": 152
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-events.parquet",
"sha256": "962a440924a9b2a4a3677b8968e63042de0b80ea4e496c213ebcf40d5e530e85",
"bytes": 4157
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-state.npz",
"sha256": "924774344956dd5a530c3d00c8103fe4d1b584837d5e91f05b60094540a78897",
"bytes": 14660
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-edges.csv",
"sha256": "c842c5bce0b11275c0eba9532955026a4b58931c2346e178bfa8a84227289c71",
"bytes": 288
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-events.parquet",
"sha256": "a39d58de867f4f1ce1291e0ece25a52b70a3e04024508f77cb4a29eb4e09fa0e",
"bytes": 7476
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-state.npz",
"sha256": "46c8a495ee1358a6173a2eebebe9ce2d6481b27f10e0c56cf9602c7969cd8702",
"bytes": 18538
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-events.parquet",
"sha256": "19fef92b32be32ced2ec6b6581c9dac05055e9d550c104dd0d5ec5e33e25e759",
"bytes": 9974
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-state.npz",
"sha256": "15095ada05014741f6b6576c2d12d1a8f1ae482ae6f012d5e2be346c796baf4b",
"bytes": 268297
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-edges.csv",
"sha256": "add7a3b450e3f3043af602baf8e770e5358c1c024d44bb21a74ef18429c0680e",
"bytes": 228
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-events.parquet",
"sha256": "f687cf303d9318404c954e2e699d65d7893ad3f33115c0f9c5ea45b9698ff275",
"bytes": 1716
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-state.npz",
"sha256": "6a24c8d2ad476e2250af49172be12de9d43346bc84f043b19d012fa0c53d2fba",
"bytes": 85957
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-events.parquet",
"sha256": "071326bc3033505f431e38d716cb8ec681dc192b8389792059bb8a75027a1f10",
"bytes": 1472
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-state.npz",
"sha256": "a74134da72381d0dbff10bb5143691add6081487dede488a939bb0a4dbf5c20e",
"bytes": 3114
}
],
"parent_commit": "5008cd85ca11750f23ce7bc001e8e821763b7501",
"pre_model_execution": true
}
},
{
"name": "old_frozen_integrity_after",
"pass": true,
"results": {
"original": {
"pass": true,
"checked": 230239,
"mismatches": [],
"reference_sha256": "6f186112e6102f2f7969de7442fa7ee4432200a3678586cfc4e10c490b31bca4",
"exclusions": [
".cache",
".git",
".mypy_cache",
".pytest_cache",
".venv",
"__pycache__",
"node_modules",
"venv"
],
"new_stage_additions_allowed": true,
"meaning": "All original listed bytes checked; only newly named stage outputs are additions."
},
"models/male-cns-lif/apl-pn-scope-audit-v1": {
"pass": true,
"checked": 12,
"mismatches": [],
"manifest_sha256": "9120685eb02dc2bd3b38d42b2ade1f38f6bbc2a1ec269fd4d555cead2d628277",
"checksums_sha256": "55dc418f2d62be04601af33cbd8789578447e6a2289d3a581dc713cbb7466a25"
},
"experiments/phase4aa-apl-pn-scope": {
"pass": true,
"checked": 68,
"mismatches": [],
"manifest_sha256": "6d75567af2a6c0993d4fc08e272814910c19fa9602811cfacd1ebc4ba76bc737",
"checksums_sha256": "a69b2511689207b0d9ddbe2fabce3be71908f457bb898e3b685a213a796a272a"
},
"models/male-cns-lif/terminal-scope-diagnostic-v1": {
"pass": true,
"checked": 11,
"mismatches": [],
"manifest_sha256": "5cea0035a95345825b73385c6e3056244c2a614d10a6fa6742487a331d8f0f3e",
"checksums_sha256": "92a03195cb41863027fd0397ad3811248354a5d3f2e91ffa2c297eba62dc2821"
},
"experiments/phase4ab-terminal-scope": {
"pass": true,
"checked": 199,
"mismatches": [],
"manifest_sha256": "cb3723f9dae29d4889489ae39f40293c927f4f9e532551e2c4d5214bf0a70140",
"checksums_sha256": "d83926a3055d9f9ca471ceba328076d7ceba883f267468750914080733e95e31"
},
"models/male-cns-lif/lif-semantics-audit-v1": {
"pass": true,
"checked": 7,
"mismatches": [],
"manifest_sha256": "53e53d51bba86ec11a02e920f2c2653db4c138dd9562e8416dd001780635070c",
"checksums_sha256": "15b7b7828492387beed2c885ad9d22af682cff1dc38198c0770ab7175759c69d"
},
"experiments/phase4ac-lif-semantics": {
"pass": true,
"checked": 57,
"mismatches": [],
"manifest_sha256": "4e7d1606e107fe72f5dad935952705260577edaba6f811d65b4105ce07abd72c",
"checksums_sha256": "81bb3a86454147f1562bc3592438b6a6d0091dbe1d2a777e802882ecf1d0db35"
},
"registry/feedback-context-review-20260930": {
"pass": true,
"checked": 8,
"mismatches": [],
"manifest_sha256": "8fda8506cae9b5b258fe371c8938a15e613114f4234c969fdf742d1f5133c64b",
"checksums_sha256": "9390c04cf4d0bcd2ed89bb4efd1db01cb2faf7dc4f23e8cb411b2ed782ba083d"
}
}
},
{
"name": "run_complete",
"pass": true,
"record": {
"all_author_oracle_comparisons_pass": true,
"all_frozen_components_match_archive": true,
"learning_achieved": false,
"whole_brain_alternative_run": false,
"author_original_source_sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e"
}
},
{
"name": "frozen_five_gpu_references",
"pass": true,
"record": {
"pass_all": true,
"trials": [
{
"trial": "auditory-10hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 2.747663623000335
},
{
"trial": "auditory-100hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.922076707999622
},
{
"trial": "olfactory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.944787881999673
},
{
"trial": "mechanosensory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.964256072000353
},
{
"trial": "gustatory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.95321602399963
}
],
"oracle": "frozen deterministic-v2, NOT author Brian2",
"wall_seconds": 82.62074518699978,
"peak_allocated_vram": 285994496,
"gpu": "NVIDIA GeForce RTX 4090",
"comfyui_modified": false
},
"scope": "Old frozen runtime regression only, not a new-model dynamics gate."
},
{
"name": "author_poi_compile_only",
"pass": true,
"record": {
"gate": true,
"checks": {
"exact_author_source": true,
"one_poisson_input": true,
"initial_refractory_is_original": true,
"only_excited_target_loses_refractory": true,
"actual_voltage_interface": true,
"actual_N_one": true,
"actual_rate_150_hz": true,
"actual_weight_68_75_mv": true,
"actual_synapses_slot_order_zero": true,
"zero_elapsed_time": true,
"no_recorded_spikes": true,
"compile_preserves_voltage": true,
"compile_preserves_g": true,
"compile_preserves_weights": true,
"compile_preserves_refractory_configuration": true
},
"author_commit": "91bdd1e7dcf193f3e7ca5a8933497fcef63b7960",
"author_sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e",
"fixture": "two synthetic nodes, one raw_count=1 connection",
"nodes": [
-2,
-1
],
"exc_local_indices": [
0
],
"exc2_local_indices": [],
"rfc_before_ms": [
2.2,
2.2
],
"rfc_after_ms": [
0.0,
2.2
],
"poisson_inputs": [
{
"name": "poissoninput",
"type": "PoissonInput",
"target_group": "default_neurons_subgroup",
"target_local_start": 0,
"target_local_stop": 1,
"target_global_nodes": [
-2
],
"target_var": "v",
"N": 1,
"rate_hz": 150.0,
"weight_mv": 68.75,
"weight_volt": 0.06875,
"when": "synapses",
"order": 0,
"dt_ms": 0.1,
"abstract_code": "v += poissoninput_binomial()*68.75 * mvolt",
"generated_code": [
"after_run:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # EMPTY_CODE_BLOCK -- overwrite in child template\nbefore_run:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # EMPTY_CODE_BLOCK -- overwrite in child template\nrun:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # scalar code\n _vectorisation_idx = 1\n _lio_1 = 68.75 * mvolt\n # vector code\n _vectorisation_idx = LazyArange(N)\n _sub_idx = _array_default_neurons_subgroup__sub_idx\n v = _array_default_neurons_v[_sub_idx]\n not_refractory = _array_default_neurons_not_refractory[_sub_idx]\n v[not_refractory] += _lio_1 * poissoninput_binomial(_vectorisation_idx[not_refractory])\n _array_default_neurons_v[_sub_idx] = v\n"
]
}
],
"synaptic_weight_mv": [
0.275
],
"input_hashes": {
"completeness.csv": "06e601b217fdbc48eee57eac01cc9a9fa649ec2a1810a2e212efcd3e4b632303",
"connectivity.parquet": "34f12d50889ccf2e637d913a0f3c4104d49032a6a67f9c3fbcd52e68ce95d701"
},
"simulation_duration_ms": 0.0,
"stochastic_time_steps": 0,
"random_realization_tested": false,
"common_seed_experiment": false,
"interpretation": "Original poi adds 68.75 mV to voltage at 150 Hz with N=1 in the synapses slot and sets its target rfc to zero. This interface is not the common initial seed experiment.",
"scope": "Compile-time interface audit only; no stochastic trial, learning, or whole-brain simulation. The optional exc2 helper branch is not exercised."
},
"scope": "Compile-time interface audit; no Poisson realization."
},
{
"name": "component:pair:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "unit:zero:float64",
"pass": true,
"checks": {
"no_events": true,
"g_zero": true,
"rest_stationary": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:weak_excitation:float64",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.3447910280083306e-13,
"mean_abs_mv": 7.853490427423005e-14,
"same_event_prefix_max_abs_mv": 2.3447910280083306e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:inhibition:float64",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.4158453015843406e-13,
"mean_abs_mv": 7.103867841196099e-14,
"same_event_prefix_max_abs_mv": 2.4158453015843406e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:refractory_boundary:float64",
"pass": true,
"checks": {
"one_seed": true,
"reject_through_21": true,
"accept_at_22": true,
"release_at_22": true,
"reset_g_at_zero": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.9184653865522705e-13,
"mean_abs_mv": 4.753580341854136e-14,
"same_event_prefix_max_abs_mv": 1.9184653865522705e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:equal_threshold:float64",
"pass": true,
"checks": {
"strict_threshold_no_event": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.2026824808563106e-13,
"mean_abs_mv": 5.400124791776761e-14,
"same_event_prefix_max_abs_mv": 2.2026824808563106e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:above_threshold:float64",
"pass": true,
"checks": {
"single_seed": true,
"reset_g": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:nonzero_g_reset:float64",
"pass": true,
"checks": {
"natural_spike_at_1": true,
"nonzero_g_before_spike": true,
"zero_g_after_spike": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:delay_18:float64",
"pass": true,
"checks": {
"one_seed": true,
"zero_before_arrival": true,
"arrival_at_18": true,
"first_voltage_effect_at_19": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.3447910280083306e-13,
"mean_abs_mv": 3.262299068038099e-14,
"same_event_prefix_max_abs_mv": 2.3447910280083306e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:zero:float32",
"pass": true,
"checks": {
"no_events": true,
"g_zero": true,
"rest_stationary": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:weak_excitation:float32",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00012701749801635742,
"mean_abs_mv": 3.341285439091735e-05,
"same_event_prefix_max_abs_mv": 0.00012701749801635742,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:inhibition:float32",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00011596083641052246,
"mean_abs_mv": 3.622157426434569e-05,
"same_event_prefix_max_abs_mv": 0.00011596083641052246,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:refractory_boundary:float32",
"pass": true,
"checks": {
"one_seed": true,
"reject_through_21": true,
"accept_at_22": true,
"release_at_22": true,
"reset_g_at_zero": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00010353326797485352,
"mean_abs_mv": 2.6278293235009186e-05,
"same_event_prefix_max_abs_mv": 0.00010353326797485352,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:equal_threshold:float32",
"pass": true,
"checks": {
"strict_threshold_no_event": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00012242794036865234,
"mean_abs_mv": 3.6822035908699036e-05,
"same_event_prefix_max_abs_mv": 0.00012242794036865234,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:above_threshold:float32",
"pass": true,
"checks": {
"single_seed": true,
"reset_g": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:nonzero_g_reset:float32",
"pass": true,
"checks": {
"natural_spike_at_1": true,
"nonzero_g_before_spike": true,
"zero_g_after_spike": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0001220703125,
"mean_abs_mv": 8.416175842285156e-07,
"same_event_prefix_max_abs_mv": 0.0001220703125,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:delay_18:float32",
"pass": true,
"checks": {
"one_seed": true,
"zero_before_arrival": true,
"arrival_at_18": true,
"first_voltage_effect_at_19": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0001220405101776123,
"mean_abs_mv": 1.6799908344182768e-05,
"same_event_prefix_max_abs_mv": 0.0001220405101776123,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "author:pair:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-14,
"mean_abs_mv": 8.832579112549865e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-14,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:pair:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.41696834564209e-05,
"mean_abs_mv": 2.619914710521698e-06,
"same_event_prefix_max_abs_mv": 2.41696834564209e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "precision_cross_record:pair",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.733467101341148e-05,
"mean_abs_mv": 3.280381464815818e-06,
"same_event_prefix_max_abs_mv": 3.733467101341148e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "author:trio:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 8.526512829121202e-14,
"mean_abs_mv": 8.113095380698118e-15,
"same_event_prefix_max_abs_mv": 8.526512829121202e-14,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:trio:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 4.25875186920166e-05,
"mean_abs_mv": 3.7165323893229165e-06,
"same_event_prefix_max_abs_mv": 4.25875186920166e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "precision_cross_record:trio",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.733467101341148e-05,
"mean_abs_mv": 3.6417296913128893e-06,
"same_event_prefix_max_abs_mv": 3.733467101341148e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "author:five:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.836930773104541e-13,
"mean_abs_mv": 3.28896643253529e-14,
"same_event_prefix_max_abs_mv": 3.836930773104541e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:five:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0002123713493347168,
"mean_abs_mv": 1.7726411819458007e-05,
"same_event_prefix_max_abs_mv": 0.0002123713493347168,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "precision_cross_record:five",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00019546693161487383,
"mean_abs_mv": 1.7966433624798595e-05,
"same_event_prefix_max_abs_mv": 0.00019546693161487383,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "author:feedforward:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.765876499528531e-13,
"mean_abs_mv": 3.893371799264915e-14,
"same_event_prefix_max_abs_mv": 3.765876499528531e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:feedforward:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00020179152488708496,
"mean_abs_mv": 1.9821550031807453e-05,
"same_event_prefix_max_abs_mv": 0.00020179152488708496,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "precision_cross_record:feedforward",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0005722045887850413,
"mean_abs_mv": 4.780100484587312e-05,
"same_event_prefix_max_abs_mv": 0.0005722045887850413,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "author:no_input:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:no_input:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "precision_cross_record:no_input",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0,
"mean_abs_mv": 0.0,
"same_event_prefix_max_abs_mv": 0.0,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "no_recorded_oracle_errors",
"pass": true,
"errors": []
},
{
"name": "preregistration_at_seal",
"pass": true,
"record": {
"config": {
"name": "author-semantics-lab-v1",
"phase": "4AD",
"root": "/data/digital-drosophila",
"experiment": "experiments/phase4ad-author-semantics",
"model_directory": "models/male-cns-lif/author-semantics-lab-v1",
"prior_experiment": "experiments/phase4ac-lif-semantics",
"prior_model": "models/male-cns-lif/lif-semantics-audit-v1",
"human_authorization": "允许独立新模型分支测试动力学假设",
"dt_ms": 0.1,
"duration_ms": 1000.0,
"seed_margin_mv": 1.0,
"late_start_ms": 500.0,
"model": {
"dt_ms": 0.1,
"membrane_tau_ms": 20.0,
"synaptic_tau_ms": 5.0,
"refractory_ms": 2.2,
"resting_potential_mv": -52.0,
"reset_potential_mv": -52.0,
"threshold_mv": -45.0,
"synaptic_delay_ms": 1.8,
"w_syn_mv_per_anatomical_synapse": 0.275
},
"seed_node": 1381,
"motifs": [
"pair",
"trio",
"five",
"feedforward",
"no_input"
],
"component_policies": [
"frozen",
"reset_g_only",
"refractory_gate_only",
"reset_and_refractory"
],
"author_precisions": [
"float64",
"float32"
],
"comparison": {
"float64_state_max_abs_tolerance_mv": 1e-08,
"float32_state_max_abs_tolerance_mv": 0.001,
"exact_spike_events_required_for_oracle_validation": true,
"precision_cross_comparison_may_diverge_but_must_be_reported": true
},
"no_training_or_candidate": true
},
"timestamp_utc": "2026-09-29T23:14:27.848343+00:00",
"source_hashes": {
"PROTOCOL.md": "23e784ca1cbde7546373dbcbedbe2bc23d35083084f120068bf06100f238b09a",
"config.json": "a69e8da5332d8031cbe1663abff25e61ee04e75f5490e8fa44c48690d3d0e219",
"context.py": "561d405ee4a2d3bbc6982c89191523f348d6fae0630dea9cb67ddf03acc6fc7b",
"finalize.py": "97a393b95d100dc5d95b624e4cd0d15511307b8c70e0ebd788b773c143ebfed6",
"interface_audit.py": "1e2b31545f1206fe1c1f4084b4a9ac0f21c74990c52e8fd156e809725fc5fb95",
"math_lab.py": "9663da41d5f623e1d7750e3cad3df880148079968f115bf583b58799fc5fb31f",
"oracle_runner.py": "2f4b073261965cf18a94697caf725c40b2e8db790c2871862201337f40c399e5",
"prepare.py": "49caa9553938f06539ecf282868491f8e1319d8f24220f89ac9e232db2d82e51",
"requirements-oracle.txt": "a69efc6509b85a5cc00a652caa4820c9c9e1406f6b97c6cc741322728c4d51c3",
"run_lab.py": "8746e1971c5a40a738e10f8f574a243c29cefa5a8b9f61a2846557ceffd1289a",
"verify_frozen.py": "fe37a48ce804e6c50f93404bfd3c23a7e54cd49061bbdfb4860315879648c73b"
},
"input_hashes": [
{
"path": "experiments/phase4ac-lif-semantics/external-resources/model.py",
"sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e",
"bytes": 11900
},
{
"path": "experiments/phase4ac-lif-semantics/external-resources/LICENSE",
"sha256": "3621f6d6476189190e2960fa43f11b275ba4eca848fdac50a1ba2925de6223e8",
"bytes": 1085
},
{
"path": "experiments/phase4ac-lif-semantics/external-resources/environment_full.yml",
"sha256": "402fcef4968c99397b0e908b3323ab9e6ef86af5583e46e6427f96f3d1091adf",
"bytes": 3445
},
{
"path": "experiments/phase4ac-lif-semantics/audit/selected-real-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/audit/selected-metadata.parquet",
"sha256": "c1dde5df5408aeb878d6c422bc1c86ba44c3c5770f986014e594e356412a013d",
"bytes": 34348
},
{
"path": "models/male-cns-lif/lif-semantics-audit-v1/math_reference.py",
"sha256": "5166366251f99359b1301f514f5d9ae5f0f041fd3a3f98902386192117f01aea",
"bytes": 3768
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-edges.csv",
"sha256": "05a7c7a5547aaeea4d1522f9cea75463405f0c3cdfbc4d563f111ad51cb80e00",
"bytes": 152
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-events.parquet",
"sha256": "962a440924a9b2a4a3677b8968e63042de0b80ea4e496c213ebcf40d5e530e85",
"bytes": 4157
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/pair-state.npz",
"sha256": "924774344956dd5a530c3d00c8103fe4d1b584837d5e91f05b60094540a78897",
"bytes": 14660
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-edges.csv",
"sha256": "c842c5bce0b11275c0eba9532955026a4b58931c2346e178bfa8a84227289c71",
"bytes": 288
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-events.parquet",
"sha256": "a39d58de867f4f1ce1291e0ece25a52b70a3e04024508f77cb4a29eb4e09fa0e",
"bytes": 7476
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/trio-state.npz",
"sha256": "46c8a495ee1358a6173a2eebebe9ce2d6481b27f10e0c56cf9602c7969cd8702",
"bytes": 18538
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-events.parquet",
"sha256": "19fef92b32be32ced2ec6b6581c9dac05055e9d550c104dd0d5ec5e33e25e759",
"bytes": 9974
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/five-state.npz",
"sha256": "15095ada05014741f6b6576c2d12d1a8f1ae482ae6f012d5e2be346c796baf4b",
"bytes": 268297
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-edges.csv",
"sha256": "add7a3b450e3f3043af602baf8e770e5358c1c024d44bb21a74ef18429c0680e",
"bytes": 228
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-events.parquet",
"sha256": "f687cf303d9318404c954e2e699d65d7893ad3f33115c0f9c5ea45b9698ff275",
"bytes": 1716
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/feedforward-state.npz",
"sha256": "6a24c8d2ad476e2250af49172be12de9d43346bc84f043b19d012fa0c53d2fba",
"bytes": 85957
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-edges.csv",
"sha256": "9103e9d03fa21058a4f6cd21780c56fed8cdcfca26c34c2a43726e39aed8ec55",
"bytes": 547
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-events.parquet",
"sha256": "071326bc3033505f431e38d716cb8ec681dc192b8389792059bb8a75027a1f10",
"bytes": 1472
},
{
"path": "experiments/phase4ac-lif-semantics/motifs/no_input-state.npz",
"sha256": "a74134da72381d0dbff10bb5143691add6081487dede488a939bb0a4dbf5c20e",
"bytes": 3114
}
],
"parent_commit": "5008cd85ca11750f23ce7bc001e8e821763b7501",
"pre_model_execution": true
}
}
],
"component_checks": [
{
"name": "component:pair:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:pair:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:trio:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:five:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:feedforward:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:frozen",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:reset_g_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:refractory_gate_only",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
},
{
"name": "component:no_input:reset_and_refractory",
"pass": true,
"raw_and_summary_consistent": true,
"interpretation": "Artifact/finite/seed checks only; activity is descriptive."
}
],
"unit_checks": [
{
"name": "unit:zero:float64",
"pass": true,
"checks": {
"no_events": true,
"g_zero": true,
"rest_stationary": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:weak_excitation:float64",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.3447910280083306e-13,
"mean_abs_mv": 7.853490427423005e-14,
"same_event_prefix_max_abs_mv": 2.3447910280083306e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:inhibition:float64",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.4158453015843406e-13,
"mean_abs_mv": 7.103867841196099e-14,
"same_event_prefix_max_abs_mv": 2.4158453015843406e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:refractory_boundary:float64",
"pass": true,
"checks": {
"one_seed": true,
"reject_through_21": true,
"accept_at_22": true,
"release_at_22": true,
"reset_g_at_zero": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.9184653865522705e-13,
"mean_abs_mv": 4.753580341854136e-14,
"same_event_prefix_max_abs_mv": 1.9184653865522705e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:equal_threshold:float64",
"pass": true,
"checks": {
"strict_threshold_no_event": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.2026824808563106e-13,
"mean_abs_mv": 5.400124791776761e-14,
"same_event_prefix_max_abs_mv": 2.2026824808563106e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:above_threshold:float64",
"pass": true,
"checks": {
"single_seed": true,
"reset_g": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:nonzero_g_reset:float64",
"pass": true,
"checks": {
"natural_spike_at_1": true,
"nonzero_g_before_spike": true,
"zero_g_after_spike": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:delay_18:float64",
"pass": true,
"checks": {
"one_seed": true,
"zero_before_arrival": true,
"arrival_at_18": true,
"first_voltage_effect_at_19": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.3447910280083306e-13,
"mean_abs_mv": 3.262299068038099e-14,
"same_event_prefix_max_abs_mv": 2.3447910280083306e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
}
},
{
"name": "unit:zero:float32",
"pass": true,
"checks": {
"no_events": true,
"g_zero": true,
"rest_stationary": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:weak_excitation:float32",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00012701749801635742,
"mean_abs_mv": 3.341285439091735e-05,
"same_event_prefix_max_abs_mv": 0.00012701749801635742,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:inhibition:float32",
"pass": true,
"checks": {
"no_events": true,
"arrival_at_zero": true,
"integration_next_step": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00011596083641052246,
"mean_abs_mv": 3.622157426434569e-05,
"same_event_prefix_max_abs_mv": 0.00011596083641052246,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:refractory_boundary:float32",
"pass": true,
"checks": {
"one_seed": true,
"reject_through_21": true,
"accept_at_22": true,
"release_at_22": true,
"reset_g_at_zero": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00010353326797485352,
"mean_abs_mv": 2.6278293235009186e-05,
"same_event_prefix_max_abs_mv": 0.00010353326797485352,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:equal_threshold:float32",
"pass": true,
"checks": {
"strict_threshold_no_event": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00012242794036865234,
"mean_abs_mv": 3.6822035908699036e-05,
"same_event_prefix_max_abs_mv": 0.00012242794036865234,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:above_threshold:float32",
"pass": true,
"checks": {
"single_seed": true,
"reset_g": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:nonzero_g_reset:float32",
"pass": true,
"checks": {
"natural_spike_at_1": true,
"nonzero_g_before_spike": true,
"zero_g_after_spike": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0001220703125,
"mean_abs_mv": 8.416175842285156e-07,
"same_event_prefix_max_abs_mv": 0.0001220703125,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
},
{
"name": "unit:delay_18:float32",
"pass": true,
"checks": {
"one_seed": true,
"zero_before_arrival": true,
"arrival_at_18": true,
"first_voltage_effect_at_19": true
},
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0001220405101776123,
"mean_abs_mv": 1.6799908344182768e-05,
"same_event_prefix_max_abs_mv": 0.0001220405101776123,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
}
}
],
"frozen_five_gpu_check": {
"name": "frozen_five_gpu_references",
"pass": true,
"record": {
"pass_all": true,
"trials": [
{
"trial": "auditory-10hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 2.747663623000335
},
{
"trial": "auditory-100hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.922076707999622
},
{
"trial": "olfactory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.944787881999673
},
{
"trial": "mechanosensory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.964256072000353
},
{
"trial": "gustatory-50hz",
"exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true
},
"wall_seconds": 4.95321602399963
}
],
"oracle": "frozen deterministic-v2, NOT author Brian2",
"wall_seconds": 82.62074518699978,
"peak_allocated_vram": 285994496,
"gpu": "NVIDIA GeForce RTX 4090",
"comfyui_modified": false
},
"scope": "Old frozen runtime regression only, not a new-model dynamics gate."
},
"author_poi_interface_check": {
"name": "author_poi_compile_only",
"pass": true,
"record": {
"gate": true,
"checks": {
"exact_author_source": true,
"one_poisson_input": true,
"initial_refractory_is_original": true,
"only_excited_target_loses_refractory": true,
"actual_voltage_interface": true,
"actual_N_one": true,
"actual_rate_150_hz": true,
"actual_weight_68_75_mv": true,
"actual_synapses_slot_order_zero": true,
"zero_elapsed_time": true,
"no_recorded_spikes": true,
"compile_preserves_voltage": true,
"compile_preserves_g": true,
"compile_preserves_weights": true,
"compile_preserves_refractory_configuration": true
},
"author_commit": "91bdd1e7dcf193f3e7ca5a8933497fcef63b7960",
"author_sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e",
"fixture": "two synthetic nodes, one raw_count=1 connection",
"nodes": [
-2,
-1
],
"exc_local_indices": [
0
],
"exc2_local_indices": [],
"rfc_before_ms": [
2.2,
2.2
],
"rfc_after_ms": [
0.0,
2.2
],
"poisson_inputs": [
{
"name": "poissoninput",
"type": "PoissonInput",
"target_group": "default_neurons_subgroup",
"target_local_start": 0,
"target_local_stop": 1,
"target_global_nodes": [
-2
],
"target_var": "v",
"N": 1,
"rate_hz": 150.0,
"weight_mv": 68.75,
"weight_volt": 0.06875,
"when": "synapses",
"order": 0,
"dt_ms": 0.1,
"abstract_code": "v += poissoninput_binomial()*68.75 * mvolt",
"generated_code": [
"after_run:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # EMPTY_CODE_BLOCK -- overwrite in child template\nbefore_run:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # EMPTY_CODE_BLOCK -- overwrite in child template\nrun:\n import numpy as _numpy\n from brian2.codegen.runtime.numpy_rt.numpy_rt import LazyArange\n # scalar code\n _vectorisation_idx = 1\n _lio_1 = 68.75 * mvolt\n # vector code\n _vectorisation_idx = LazyArange(N)\n _sub_idx = _array_default_neurons_subgroup__sub_idx\n v = _array_default_neurons_v[_sub_idx]\n not_refractory = _array_default_neurons_not_refractory[_sub_idx]\n v[not_refractory] += _lio_1 * poissoninput_binomial(_vectorisation_idx[not_refractory])\n _array_default_neurons_v[_sub_idx] = v\n"
]
}
],
"synaptic_weight_mv": [
0.275
],
"input_hashes": {
"completeness.csv": "06e601b217fdbc48eee57eac01cc9a9fa649ec2a1810a2e212efcd3e4b632303",
"connectivity.parquet": "34f12d50889ccf2e637d913a0f3c4104d49032a6a67f9c3fbcd52e68ce95d701"
},
"simulation_duration_ms": 0.0,
"stochastic_time_steps": 0,
"random_realization_tested": false,
"common_seed_experiment": false,
"interpretation": "Original poi adds 68.75 mV to voltage at 150 Hz with N=1 in the synapses slot and sets its target rfc to zero. This interface is not the common initial seed experiment.",
"scope": "Compile-time interface audit only; no stochastic trial, learning, or whole-brain simulation. The optional exc2 helper branch is not exercised."
},
"scope": "Compile-time interface audit; no Poisson realization."
},
"author_oracle_checks": [
{
"name": "author:pair:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-14,
"mean_abs_mv": 8.832579112549865e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-14,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:pair:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 2.41696834564209e-05,
"mean_abs_mv": 2.619914710521698e-06,
"same_event_prefix_max_abs_mv": 2.41696834564209e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:trio:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 8.526512829121202e-14,
"mean_abs_mv": 8.113095380698118e-15,
"same_event_prefix_max_abs_mv": 8.526512829121202e-14,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:trio:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 4.25875186920166e-05,
"mean_abs_mv": 3.7165323893229165e-06,
"same_event_prefix_max_abs_mv": 4.25875186920166e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:five:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.836930773104541e-13,
"mean_abs_mv": 3.28896643253529e-14,
"same_event_prefix_max_abs_mv": 3.836930773104541e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:five:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0002123713493347168,
"mean_abs_mv": 1.7726411819458007e-05,
"same_event_prefix_max_abs_mv": 0.0002123713493347168,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:feedforward:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.765876499528531e-13,
"mean_abs_mv": 3.893371799264915e-14,
"same_event_prefix_max_abs_mv": 3.765876499528531e-13,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:feedforward:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00020179152488708496,
"mean_abs_mv": 1.9821550031807453e-05,
"same_event_prefix_max_abs_mv": 0.00020179152488708496,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:no_input:float64",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 7.105427357601002e-15,
"mean_abs_mv": 3.552713678800501e-15,
"same_event_prefix_max_abs_mv": 7.105427357601002e-15,
"first_event_divergence_step": null,
"tolerance_mv": 1e-08,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
},
{
"name": "author:no_input:float32",
"pass": true,
"raw_comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 1.0728836059570312e-06,
"mean_abs_mv": 5.364418029785156e-07,
"same_event_prefix_max_abs_mv": 1.0728836059570312e-06,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"repeat_exact": {
"step": true,
"neuron_idx": true,
"counts": true,
"v": true,
"g": true,
"ref": true,
"history": true,
"weights": true
}
}
],
"precision_cross_checks": [
{
"name": "precision_cross_record:pair",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.733467101341148e-05,
"mean_abs_mv": 3.280381464815818e-06,
"same_event_prefix_max_abs_mv": 3.733467101341148e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "precision_cross_record:trio",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 3.733467101341148e-05,
"mean_abs_mv": 3.6417296913128893e-06,
"same_event_prefix_max_abs_mv": 3.733467101341148e-05,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "precision_cross_record:five",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.00019546693161487383,
"mean_abs_mv": 1.7966433624798595e-05,
"same_event_prefix_max_abs_mv": 0.00019546693161487383,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "precision_cross_record:feedforward",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0005722045887850413,
"mean_abs_mv": 4.780100484587312e-05,
"same_event_prefix_max_abs_mv": 0.0005722045887850413,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
},
{
"name": "precision_cross_record:no_input",
"pass": true,
"comparison": {
"exact_events": true,
"exact_counts": true,
"ref_exact": true,
"max_abs_mv": 0.0,
"mean_abs_mv": 0.0,
"same_event_prefix_max_abs_mv": 0.0,
"first_event_divergence_step": null,
"tolerance_mv": 0.001,
"pass_oracle": true
},
"interpretation": "Reporting consistency only; cross-precision divergence is allowed and retained."
}
],
"motif_outcomes": [
{
"motif": "pair",
"policy": "frozen",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 237,
"late_spikes": 119,
"last_ms": 999.3000000000001
},
{
"neuron_idx": 1511,
"spikes": 236,
"late_spikes": 119,
"last_ms": 997.5
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "pair",
"policy": "reset_g_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 112,
"late_spikes": 56,
"last_ms": 999.0
},
{
"neuron_idx": 1511,
"spikes": 111,
"late_spikes": 55,
"last_ms": 994.9000000000001
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "pair",
"policy": "refractory_gate_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 318,
"late_spikes": 161,
"last_ms": 999.1
},
{
"neuron_idx": 1511,
"spikes": 317,
"late_spikes": 160,
"last_ms": 997.5
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "pair",
"policy": "reset_and_refractory",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 112,
"late_spikes": 56,
"last_ms": 999.0
},
{
"neuron_idx": 1511,
"spikes": 111,
"late_spikes": 55,
"last_ms": 994.9000000000001
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "frozen",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 355,
"late_spikes": 179,
"last_ms": 999.3000000000001
},
{
"neuron_idx": 1381,
"spikes": 355,
"late_spikes": 178,
"last_ms": 997.8000000000001
},
{
"neuron_idx": 1511,
"spikes": 354,
"late_spikes": 178,
"last_ms": 997.4000000000001
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "reset_g_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 188,
"late_spikes": 94,
"last_ms": 995.4000000000001
},
{
"neuron_idx": 1381,
"spikes": 189,
"late_spikes": 95,
"last_ms": 998.7
},
{
"neuron_idx": 1511,
"spikes": 188,
"late_spikes": 94,
"last_ms": 996.1
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "refractory_gate_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 369,
"late_spikes": 185,
"last_ms": 998.3000000000001
},
{
"neuron_idx": 1381,
"spikes": 367,
"late_spikes": 184,
"last_ms": 999.1
},
{
"neuron_idx": 1511,
"spikes": 364,
"late_spikes": 183,
"last_ms": 997.2
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "reset_and_refractory",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 156,
"late_spikes": 78,
"last_ms": 995.3000000000001
},
{
"neuron_idx": 1381,
"spikes": 157,
"late_spikes": 79,
"last_ms": 999.6
},
{
"neuron_idx": 1511,
"spikes": 156,
"late_spikes": 78,
"last_ms": 997.5
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "frozen",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 370,
"late_spikes": 185,
"last_ms": 998.8000000000001
},
{
"neuron_idx": 1381,
"spikes": 369,
"late_spikes": 185,
"last_ms": 997.4000000000001
},
{
"neuron_idx": 1511,
"spikes": 367,
"late_spikes": 186,
"last_ms": 999.5
},
{
"neuron_idx": 82312,
"spikes": 80,
"late_spikes": 41,
"last_ms": 990.3000000000001
},
{
"neuron_idx": 133666,
"spikes": 297,
"late_spikes": 150,
"last_ms": 999.5
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "reset_g_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 249,
"late_spikes": 125,
"last_ms": 996.2
},
{
"neuron_idx": 1381,
"spikes": 211,
"late_spikes": 104,
"last_ms": 999.2
},
{
"neuron_idx": 1511,
"spikes": 209,
"late_spikes": 104,
"last_ms": 996.5
},
{
"neuron_idx": 82312,
"spikes": 33,
"late_spikes": 17,
"last_ms": 994.9000000000001
},
{
"neuron_idx": 133666,
"spikes": 166,
"late_spikes": 83,
"last_ms": 996.7
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "refractory_gate_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 372,
"late_spikes": 188,
"last_ms": 998.0
},
{
"neuron_idx": 1381,
"spikes": 375,
"late_spikes": 191,
"last_ms": 998.6
},
{
"neuron_idx": 1511,
"spikes": 371,
"late_spikes": 187,
"last_ms": 997.5
},
{
"neuron_idx": 82312,
"spikes": 85,
"late_spikes": 43,
"last_ms": 991.9000000000001
},
{
"neuron_idx": 133666,
"spikes": 307,
"late_spikes": 154,
"last_ms": 997.7
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "reset_and_refractory",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 165,
"late_spikes": 82,
"last_ms": 995.7
},
{
"neuron_idx": 1381,
"spikes": 166,
"late_spikes": 83,
"last_ms": 999.8000000000001
},
{
"neuron_idx": 1511,
"spikes": 165,
"late_spikes": 83,
"last_ms": 997.5
},
{
"neuron_idx": 82312,
"spikes": 15,
"late_spikes": 8,
"last_ms": 972.7
},
{
"neuron_idx": 133666,
"spikes": 123,
"late_spikes": 62,
"last_ms": 993.0
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "frozen",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.0
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 4.9
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "reset_g_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.0
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 4.9
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "refractory_gate_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.0
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 4.9
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "reset_and_refractory",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.0
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 4.9
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "frozen",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "reset_g_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "refractory_gate_only",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "reset_and_refractory",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "pair",
"policy": "author_complete",
"precision": "float64",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 107,
"late_spikes": 53,
"last_ms": 996.4000000000001
},
{
"neuron_idx": 1511,
"spikes": 106,
"late_spikes": 53,
"last_ms": 992.1
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "pair",
"policy": "author_complete",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1381,
"spikes": 107,
"late_spikes": 53,
"last_ms": 996.4000000000001
},
{
"neuron_idx": 1511,
"spikes": 106,
"late_spikes": 53,
"last_ms": 992.1
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "author_complete",
"precision": "float64",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 149,
"late_spikes": 74,
"last_ms": 994.8000000000001
},
{
"neuron_idx": 1381,
"spikes": 150,
"late_spikes": 75,
"last_ms": 999.3000000000001
},
{
"neuron_idx": 1511,
"spikes": 149,
"late_spikes": 75,
"last_ms": 997.0
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "trio",
"policy": "author_complete",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 149,
"late_spikes": 74,
"last_ms": 994.8000000000001
},
{
"neuron_idx": 1381,
"spikes": 150,
"late_spikes": 75,
"last_ms": 999.3000000000001
},
{
"neuron_idx": 1511,
"spikes": 149,
"late_spikes": 75,
"last_ms": 997.0
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "author_complete",
"precision": "float64",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 159,
"late_spikes": 79,
"last_ms": 995.2
},
{
"neuron_idx": 1381,
"spikes": 160,
"late_spikes": 80,
"last_ms": 999.5
},
{
"neuron_idx": 1511,
"spikes": 159,
"late_spikes": 80,
"last_ms": 997.4000000000001
},
{
"neuron_idx": 82312,
"spikes": 13,
"late_spikes": 7,
"last_ms": 992.4000000000001
},
{
"neuron_idx": 133666,
"spikes": 119,
"late_spikes": 60,
"last_ms": 996.0
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "five",
"policy": "author_complete",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 159,
"late_spikes": 79,
"last_ms": 995.2
},
{
"neuron_idx": 1381,
"spikes": 160,
"late_spikes": 80,
"last_ms": 999.5
},
{
"neuron_idx": 1511,
"spikes": 159,
"late_spikes": 80,
"last_ms": 997.4000000000001
},
{
"neuron_idx": 82312,
"spikes": 13,
"late_spikes": 7,
"last_ms": 992.4000000000001
},
{
"neuron_idx": 133666,
"spikes": 119,
"late_spikes": 60,
"last_ms": 996.0
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "author_complete",
"precision": "float64",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.4
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 5.1000000000000005
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "feedforward",
"policy": "author_complete",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 1,
"late_spikes": 0,
"last_ms": 10.4
},
{
"neuron_idx": 1381,
"spikes": 1,
"late_spikes": 0,
"last_ms": 0.0
},
{
"neuron_idx": 1511,
"spikes": 1,
"late_spikes": 0,
"last_ms": 5.1000000000000005
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "author_complete",
"precision": "float64",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
},
{
"motif": "no_input",
"policy": "author_complete",
"precision": "float32",
"neurons": [
{
"neuron_idx": 1197,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1381,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 1511,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 82312,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
},
{
"neuron_idx": 133666,
"spikes": 0,
"late_spikes": 0,
"last_ms": null
}
],
"activity_is_not_a_validation_gate": true
}
],
"run_complete_record": {
"name": "run_complete",
"pass": true,
"record": {
"all_author_oracle_comparisons_pass": true,
"all_frozen_components_match_archive": true,
"learning_achieved": false,
"whole_brain_alternative_run": false,
"author_original_source_sha256": "fc45837d7122c6ce2a7f3f2f23c515992e4b232aadb919efabb72337fac88e4e"
}
},
"whole_brain_alternative_run": false,
"conditioning_run": false,
"learning_achieved": false,
"candidate_generated": false,
"selected_variant": null,
"goal_remains_unachieved": true,
"limits": [
"No whole-brain or learning experiment in this protocol.",
"No activity-based variant selection; silence is not a success gate.",
"Isolated motifs omit external network input and graded APL.",
"Author equations on MaleCNS motifs do not reproduce the original paper's full brain or sensory interface.",
"Linux host and Python patch differences prevent a binary-identical author-environment claim."
]
}
Reference in New Issue View Git Blame Copy Permalink