{ "schema_version": "1.1-sanitized-site-ledger", "generated_at": "2026-07-23T18:15:00-04:00", "global_disclaimer": "No current release has yet demonstrated the complete Natural Math?UFWK?Cognitive Basin?Bolt-On pipeline operating end to end inside ChatGPT or another production language-model service.", "binding_count": 103, "bindings": [ { "binding_id": "FMB-0001", "claim_id": "CLAIM-0001", "name": "Natural Math integer division", "aliases": "whole-number division; integer-first quotient", "family": "Natural Math", "category": "Arithmetic operator", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "integer_div(a, b) returns a // b; b = 0 is invalid.", "normalized_representation": "\\operatorname{integer\\_div}(a,b)=\\lfloor a/b\\rfloor\\text{ under Python integer floor semantics},\\ b\\ne0", "definitions": "a,b are integers; b is nonzero.", "input_domain": "Z × (Z \\ {0})", "output_domain": "Z", "semantics": "Makes rounding behavior explicit and deterministic for integer-state transitions.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/arithmetic.py::integer_div", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "The frozen v5 reference package uses explicit integer division and passed its bounded oracle and replay suites.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/arithmetic.py", "sha256": "4958C84EADA2F9061C6D326FDBCEC0F09C74F69BD495D52582DF5B84E46541D4" } }, { "binding_id": "FMB-0002", "claim_id": "CLAIM-0002", "name": "Natural Math squared grid distance", "aliases": "qdist; squared Euclidean grid distance", "family": "Natural Math", "category": "Distance operator", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "qdist(a, b) is squared Euclidean distance on integer grid coordinates.", "normalized_representation": "qdist(a,b)=\\sum_k(a_k-b_k)^2", "definitions": "a_k,b_k are integer coordinate components.", "input_domain": "Z^n × Z^n", "output_domain": "Z_{≥0}", "semantics": "Compares grid positions without introducing square roots or floating-point values.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/arithmetic.py::qdist", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math squared grid distance is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/arithmetic.py", "sha256": "4958C84EADA2F9061C6D326FDBCEC0F09C74F69BD495D52582DF5B84E46541D4" } }, { "binding_id": "FMB-0003", "claim_id": "CLAIM-0003", "name": "Natural Math energy deficit", "aliases": "deficit; negative-gradient driver", "family": "Natural Math", "category": "Threshold function", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "deficit(E) = max(0, E0 - E)", "normalized_representation": "d(E)=\\max(0,E_0-E)", "definitions": "E is current integer energy; E0 is the declared baseline energy.", "input_domain": "Z × Z", "output_domain": "Z_{≥0}", "semantics": "Represents nonnegative energy shortfall relative to the declared baseline.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/gradient.py::deficit", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math energy deficit is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/gradient.py", "sha256": "AA6A3474493C546D2E732A711F803E03F959F7F3DA7E745701387FA17B64F20B" } }, { "binding_id": "FMB-0004", "claim_id": "CLAIM-0004", "name": "Natural Math exact-rational gradient", "aliases": "negative gradient; axis gradient", "family": "Natural Math", "category": "Discrete operator", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Neighbor deficits are compared as exact rational values; the largest absolute axis is selected with x, y, z tie order.", "normalized_representation": "g=\\operatorname*{arg\\,max}_{a\\in\\{x,y,z\\}} |\\Delta_a|,\\quad x\\prec y\\prec z\\text{ for ties}", "definitions": "Δ_a is the signed exact-rational deficit contrast on axis a.", "input_domain": "Finite integer-grid neighborhood.", "output_domain": "{−x,+x,−y,+y,−z,+z,0}", "semantics": "Produces a deterministic, integer/rational direction without floating-point comparison drift.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/gradient.py gradient construction and tie resolution", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math exact-rational gradient is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/gradient.py", "sha256": "AA6A3474493C546D2E732A711F803E03F959F7F3DA7E745701387FA17B64F20B" } }, { "binding_id": "FMB-0005", "claim_id": "CLAIM-0005", "name": "Natural Math pressure projection", "aliases": "pressure update", "family": "Natural Math", "category": "Update law", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "pressure = ((P + delta_P_baseline) * beta_num) // beta_den", "normalized_representation": "P'=\\left\\lfloor\\frac{(P+\\Delta P_0)\\beta_n}{\\beta_d}\\right\\rfloor", "definitions": "P is prior pressure; ΔP0 is baseline increment; βn/βd is a rational scale.", "input_domain": "Declared integer parameter tuple.", "output_domain": "Z", "semantics": "Updates internal pressure using declared integer numerator and denominator.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/pressure.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math pressure projection is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/pressure.py", "sha256": "65DC39E73C026B8E75B56E8B89171FC8EED9BBA38D471E94B563B8E38C8562D4" } }, { "binding_id": "FMB-0006", "claim_id": "CLAIM-0006", "name": "Natural Math action selector", "aliases": "EXTEND/SENSE/RESTRICT; RESTRICT_DIE", "family": "Natural Math", "category": "Finite action namespace", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "The canonical action namespace is EXTEND / SENSE / RESTRICT_DIE.", "normalized_representation": "A_{NM}=\\{\\mathrm{EXTEND},\\mathrm{SENSE},\\mathrm{RESTRICT\\_DIE}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Validated local state and parameters.", "output_domain": "Finite three-action set.", "semantics": "Selects the v5 local action; RESTRICT_DIE is crosswalked to the public shorthand RESTRICT but is not Cognitive Basin RETRACT.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/decisions.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "Namespace collision risk: RESTRICT is not RETRACT, HOLD, or REJECT.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math action selector is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/decisions.py", "sha256": "89564ED380F2F502B6955E7850CB5AA5020E1AFE9A050402EEA0BA66123C4F45" } }, { "binding_id": "FMB-0007", "claim_id": "CLAIM-0007", "name": "Natural Math deterministic movement conflict resolution", "aliases": "None recorded.", "family": "Natural Math", "category": "State-transition rule", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Movement proposals are resolved by the declared blocked/conflict rules and stable ordering.", "normalized_representation": "move = resolve(proposals, occupied, stable_order)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Finite movement proposals and occupied integer-grid sites.", "output_domain": "Accepted moves plus blocked/conflicted outcomes.", "semantics": "Prevents insertion-order or iteration-order ambiguity from changing state.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/movement.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math deterministic movement conflict resolution is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/movement.py", "sha256": "E6E52B5EC63430FBB5FD5B81870E54F871E1E67A39E485DDF1A8462C79A28125" } }, { "binding_id": "FMB-0008", "claim_id": "CLAIM-0008", "name": "Natural Math strict bifurcation energy gate", "aliases": "None recorded.", "family": "Natural Math", "category": "Branching threshold", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "E > eps_extend + eps_spawn + eps_split + 2*tau", "normalized_representation": "E>\\epsilon_{\\mathrm{extend}}+\\epsilon_{\\mathrm{spawn}}+\\epsilon_{\\mathrm{split}}+2\\tau", "definitions": "E is node energy; eps_* and τ are declared integer costs/thresholds.", "input_domain": "Integer energy and parameter tuple.", "output_domain": "{eligible, not eligible}", "semantics": "Admits bifurcation only above a strict integer energy threshold.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/bifurcation.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "Equality at the threshold is not eligible because the comparison is strict.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math strict bifurcation energy gate is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/bifurcation.py", "sha256": "DB5440EF755DAF439B0375FF986522F47386C1F33AB80CA211485D56D863BCAA" } }, { "binding_id": "FMB-0009", "claim_id": "CLAIM-0009", "name": "Natural Math bond/contact gate", "aliases": "None recorded.", "family": "Natural Math", "category": "Graph update rule", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Bond formation and contact behavior are governed by declared integer distance/energy conditions.", "normalized_representation": "B' = bond_update(B, positions, energies, parameters)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Finite node graph with integer positions and energies.", "output_domain": "Updated finite bond graph.", "semantics": "Updates the finite undirected bond graph.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/bonding.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "Known debt: bonded-node exclusion from contact and the cluster threshold constants 80000/1000000 require explicit scientific qualification.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math bond/contact gate is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/bonding.py", "sha256": "43C0138BA0DD39C4226C8C128C53983762DDE72454379FED9B25DBB86BBB2403" } }, { "binding_id": "FMB-0010", "claim_id": "CLAIM-0010", "name": "Natural Math cluster step order", "aliases": "None recorded.", "family": "Natural Math", "category": "Deterministic transition protocol", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "A cluster step executes the declared ordered stages over a finite validated cluster state.", "normalized_representation": "X_{t+1}=Step_{v5}(X_t, params, RNG_t)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Validated ClusterState × DEFAULT_PARAMS × seeded RNG state.", "output_domain": "Validated ClusterState plus trace/records.", "semantics": "Defines the authoritative order of cluster mutation, which is part of the mathematical object.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/cluster_step.py::cluster_step", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math cluster step order is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/cluster_step.py", "sha256": "8401D1458EF9CCF5FC09D725EDFB9403018B9372ADC5B905A2E4390E69565BD7" } }, { "binding_id": "FMB-0011", "claim_id": "CLAIM-0011", "name": "Natural Math seeded draw-order invariant", "aliases": "None recorded.", "family": "Natural Math", "category": "Replay invariant", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Identical seed, input, parameters, step count, and draw order produce identical traces and state digests.", "normalized_representation": "Replay(seed, X0, params, n) = Replay(seed, X0, params, n)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Integer seed, validated initial state, parameters, nonnegative step count.", "output_domain": "Exact trace and final-state serialization.", "semantics": "Treats random draw order as a versioned part of deterministic replay.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/randomness.py and tracing.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math seeded draw-order invariant is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/randomness.py", "sha256": "9209A7DC3911A87085B29D289AB89B4CDC2C4D8F4DD85F2745559170FAAD2760" } }, { "binding_id": "FMB-0012", "claim_id": "CLAIM-0012", "name": "Natural Math canonical state serialization", "aliases": "None recorded.", "family": "Natural Math", "category": "Canonical encoding", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Validated records are serialized in a stable canonical field/order representation for comparison and provenance.", "normalized_representation": "digest = SHA256(canonical_state_bytes)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Validated v5 records/state.", "output_domain": "Canonical bytes/text and SHA-256 digest.", "semantics": "Binds replay evidence to exact state rather than visual similarity.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/serialization.py and provenance.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math canonical state serialization is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/serialization.py", "sha256": "C563F75E89664229B75484E61674FEAC69222A15E6BAAF952E4FBA6EC36CF9BA" } }, { "binding_id": "FMB-0013", "claim_id": "CLAIM-0013", "name": "Natural Math DEFAULT_PARAMS authority map", "aliases": "None recorded.", "family": "Natural Math", "category": "Parameter binding", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "DEFAULT_PARAMS is the declared integer parameter mapping used by the v5 reference implementation.", "normalized_representation": "params_v5 = immutable validated integer mapping", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Named parameter keys.", "output_domain": "Validated integer values.", "semantics": "Binds execution to a named parameter set instead of an implicit configuration.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "natural_math_v5/parameters.py::DEFAULT_PARAMS (source lines 14–53 in the scanned copy)", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "Cluster initial energy 55000 differs from E0 1600000 by design/legacy compatibility; interpretation remains an open debt.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math DEFAULT_PARAMS authority map is established within the named bounded source.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:06_AUTOCLAW_WORKSPACE/02_REFERENCE_IMPLEMENTATION/natural_math_v5/parameters.py", "sha256": "C254071FD8477FA90C0EDC87B66C1F5A90D5FD37DBB111E6E9E34C01614163AA" } }, { "binding_id": "FMB-0014", "claim_id": "CLAIM-0014", "name": "Natural Math v5 oracle and replay qualification", "aliases": "None recorded.", "family": "Natural Math", "category": "Acceptance gate", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Acceptance requires all 25 integer and 15 cluster fixtures plus declared replay checks to pass.", "normalized_representation": "pass = (integer=25/25) ∧ (cluster=15/15) ∧ (replay=200/200) ∧ (local=10/10)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Frozen fixtures, package hash, seeds 0–49, declared step counts.", "output_domain": "{PASS, FAIL} plus failure ledger.", "semantics": "Defines the bounded evidence gate for the frozen v5 implementation.", "implementation_status": "Implemented in the frozen integer reference package.", "implementation_ref": "staging tools/run_natural_math_verification.py imports pure frozen runner functions", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG", "EVIDENCE:NATURAL_MATH_V5_FROZEN_VALIDATION_DIR" ], "result": "25/25 integer fixtures and 15/15 cluster fixtures passed locally; replay 200/200 configurations plus 10/10 bounded cases passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Isolation checks cover seed differentiation, repeat identity, CWD independence, dict-order independence, and global-state leakage.", "boundary": "Deterministic software behavior under declared integer parameters and fixtures; not a general law of biology, physics, or intelligence.", "qualifiers": "FROZEN; REPLAYED; HASH-BOUND; FIXTURE-BOUND; SEED-BOUND; LOCALLY-RERUN", "summary": "Natural Math v5 passed 40/40 frozen oracle fixtures and 210/210 replay configurations in the 2026-07-23 read-only rerun.", "source": { "repository": "SOURCESET:natural-math-frozen-canonical", "repository_locator": "", "commit": "Master-library frozen baseline; SHA-256-bound.", "path": "SOURCEPATH:02_VALIDATION_EVIDENCE/NATURAL_MATH_V5/ORACLE_FIXTURES/natural_math_integer_oracle_fixtures.json", "sha256": "0E6BE599491AF2199A40DCA5D511C614E46A2679BD3B848CE7669E3FE300090F" } }, { "binding_id": "FMB-0015", "claim_id": "CLAIM-0015", "name": "Specificity target contract", "aliases": "TargetContract", "family": "Specificity / Ageometrics", "category": "Typed contract", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "A target contract declares selected feature paths, weights, comparison modes, and target values before measurement.", "normalized_representation": "T = {(path_i, target_i, weight_i, mode_i)}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared target features and comparison policies.", "output_domain": "Validated immutable target contract.", "semantics": "Makes sufficiency explicitly target-relative and prevents unselected fields from silently entering the score.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/contracts.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Specificity target contract is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/contracts.py", "sha256": "BCEE5F05130FC5714FD17D1B6052B305FCD87EF51327CBD6EBAE2BDC4720F8D5" } }, { "binding_id": "FMB-0016", "claim_id": "CLAIM-0016", "name": "Geometric Sufficiency Ratio", "aliases": "GSR; geometry-state sufficiency", "family": "Specificity / Ageometrics", "category": "Normalized metric", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "GSR = sum(w_i s_i) / sum(w_i)", "normalized_representation": "GSR=\\frac{\\sum_i w_i s_i}{\\sum_i w_i}", "definitions": "w_i is nonnegative declared importance; s_i is feature sufficiency in [0,1].", "input_domain": "Finite nonempty weighted feature set.", "output_domain": "[0,1]", "semantics": "Weighted target-relative sufficiency over selected features.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/measurement.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Geometric Sufficiency Ratio is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "docs/specificity_engine_v0_3.md", "sha256": "7234D09AECE57F79B38B9AF50C8FB96B6D298D9C05E0DA4B94F52BF92A7A123D" } }, { "binding_id": "FMB-0017", "claim_id": "CLAIM-0017", "name": "Non-Geometric Residue", "aliases": "NGR; representation residue", "family": "Specificity / Ageometrics", "category": "Residual metric", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "NGR = 1 - GSR", "normalized_representation": "NGR=1-GSR", "definitions": "GSR is the Geometric Sufficiency Ratio.", "input_domain": "[0,1]", "output_domain": "[0,1]", "semantics": "Represents target-relative residue not captured by the selected geometric/state features.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/measurement.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "NGR is not an absolute measure of everything omitted; it is conditional on the declared target contract.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Non-Geometric Residue is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "docs/specificity_engine_v0_3.md", "sha256": "7234D09AECE57F79B38B9AF50C8FB96B6D298D9C05E0DA4B94F52BF92A7A123D" } }, { "binding_id": "FMB-0018", "claim_id": "CLAIM-0018", "name": "Specificity comparison-mode algebra", "aliases": "EXACT; NUMERIC; SET; SEQUENCE", "family": "Specificity / Ageometrics", "category": "Comparison operator family", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Modes are EXACT, NUMERIC, SET/Jaccard, and SEQUENCE/LCS.", "normalized_representation": "s_i = compare_mode_i(observed_i, target_i)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Typed observed and target feature values.", "output_domain": "[0,1] feature sufficiency plus residue detail.", "semantics": "Chooses a declared comparison semantics per feature.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/measurement.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Specificity comparison-mode algebra is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/measurement.py", "sha256": "DFA874A7E376955029EE4D80AAAA8334D6681790B0E0FB404F43678B435F34B9" } }, { "binding_id": "FMB-0019", "claim_id": "CLAIM-0019", "name": "Specificity receipt content address", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Canonical hash binding", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "receipt_id/content_hash = SHA256(canonical JSON payload)", "normalized_representation": "id = SHA256(UTF8(JSON(payload, sorted_keys, canonical separators)))", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Validated measurement payload.", "output_domain": "64-hex SHA-256 identifier.", "semantics": "Makes a measurement receipt self-identifying and tamper-evident.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/measurement.py receipt construction", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Specificity receipt content address is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/measurement.py", "sha256": "DFA874A7E376955029EE4D80AAAA8334D6681790B0E0FB404F43678B435F34B9" } }, { "binding_id": "FMB-0020", "claim_id": "CLAIM-0020", "name": "Specificity append-only receipt ledger", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Hash-chain protocol", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Each ledger event binds its prior event hash and canonical payload.", "normalized_representation": "h_i = SHA256(h_{i-1} || canonical(event_i))", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Ordered receipt/debt/repair events.", "output_domain": "Verified chain or explicit replay failure.", "semantics": "Detects mutation, removal, insertion, and reordering in the declared ledger.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/ledger.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Specificity append-only receipt ledger is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/ledger.py", "sha256": "3871FFE80DDB4568DE78F6177D584ED9E70FDF0505225FDED20D56C1BC9A14F6" } }, { "binding_id": "FMB-0021", "claim_id": "CLAIM-0021", "name": "Structural Debt Profile weighted total", "aliases": "SDP; structural debt", "family": "Specificity / Ageometrics", "category": "Debt aggregation", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "total_sdp is the weighted sum of discrepancy, scar, coercivity, remanence, branching, ambiguity, SERA waste, and NGR terms.", "normalized_representation": "SDP_total = Σ_k alpha_k d_k", "definitions": "d_k are declared debt components; α_k are policy weights.", "input_domain": "Nonnegative debt components and declared weights.", "output_domain": "Nonnegative scalar plus component profile.", "semantics": "Aggregates declared structural-debt components under explicit weights.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/debt.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "Weights are policy defaults and are not empirically universal.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Structural Debt Profile weighted total is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/debt.py", "sha256": "5CC3595CC9B7CDA4E96227FED95F34BA4D7C11475F4CCAD7AE0C933BD093B5D2" } }, { "binding_id": "FMB-0022", "claim_id": "CLAIM-0022", "name": "Structural debt resolution ratio and posture", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Threshold classifier", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "ratio = total_sdp / resolution_capacity; posture ∈ {OPERATIONAL, CAUTION, CONSTRAINED, CRITICAL, EXCEEDED}.", "normalized_representation": "rho = SDP_total / C_resolution; posture = threshold_map(rho)", "definitions": "C_resolution must be positive; thresholds are policy parameters.", "input_domain": "Nonnegative total debt and positive capacity.", "output_domain": "Nonnegative ratio plus five-state posture.", "semantics": "Compares structural debt with declared resolution capacity and assigns a version-specific posture.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/debt.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "The prompt mentions COLLAPSE/other version-specific states; v0.3 code uses the five listed states. Do not merge them.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Structural debt resolution ratio and posture is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/debt.py", "sha256": "5CC3595CC9B7CDA4E96227FED95F34BA4D7C11475F4CCAD7AE0C933BD093B5D2" } }, { "binding_id": "FMB-0023", "claim_id": "CLAIM-0023", "name": "Specificity repair-trajectory closure", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Acceptance state transition", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "A repair trajectory is accepted when replayed measurements/debt events close under the declared target and ledger invariants.", "normalized_representation": "accepted = verify_chain(events) ∧ closes_target_debt(events)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Target contract, receipts, debt events, repair events.", "output_domain": "{PASS, FAIL} plus final state.", "semantics": "Tests whether a bounded repair sequence produces a consistent, replayable closing state.", "implementation_status": "Implemented in python/specificity_engine.", "implementation_ref": "python/specificity_engine/acceptance.py", "evidence": [ "EVIDENCE:SPECIFICITY_V0_3_ACCEPTANCE_RERUN_LOG", "EVIDENCE:SPECIFICITY_V0_3_PYTEST_RERUN_LOG" ], "result": "10/10 acceptance scenarios and 17/17 focused pytest cases passed locally.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Tamper, reorder, missing-feature, and namespace-separation cases are included.", "boundary": "Deterministic local prototype behavior only; thresholds, weights, and empirical validity require domain calibration.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND", "summary": "Specificity repair-trajectory closure is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform-specificity-v0.3", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "9b52880d06eb54b64fea6ac5b70164489b22b505", "path": "python/specificity_engine/acceptance.py", "sha256": "276C3393CCF0F4710BCE85D4599630AF697D9DD1E8EBCFCF5039DE3254E45A8D" } }, { "binding_id": "FMB-0024", "claim_id": "CLAIM-0024", "name": "UFWK WeightReceipt vector", "aliases": "WeightReceipt; weight field", "family": "UFWK", "category": "Typed vector-valued receipt", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "W_(o,tau,sigma,B)(e,t) = ", "normalized_representation": "W_{o,\\tau,\\sigma,B}(e,t)=\\langle S,C,A,P,Q,M,R,K\\rangle", "definitions": "o observer; τ target; σ context; B basin/history; e event; t time; component meanings are source-defined.", "input_domain": "Event × time × observer × target × context × basin.", "output_domain": "Eight-component typed weight vector.", "semantics": "Represents multiple non-collapsed dimensions of event weight relative to observer, target, context, and basin.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK WeightReceipt vector is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0025", "claim_id": "CLAIM-0025", "name": "UFWK uncertainty envelope", "aliases": "Gamma; uncertainty record", "family": "UFWK", "category": "Typed confidence record", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Gamma = ", "normalized_representation": "\\Gamma=\\langle c,\\mathrm{cal},u,\\mathrm{disagreement},\\mathrm{invalidation}\\rangle", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Model/evidence assessment.", "output_domain": "Typed uncertainty tuple.", "semantics": "Carries qualification and invalidation data beside a weight receipt.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK uncertainty envelope is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0026", "claim_id": "CLAIM-0026", "name": "UFWK target-directed state displacement", "aliases": "consequential weight; target-relative change", "family": "UFWK", "category": "Integral functional", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Q(e,T)=sum_j integral_t^(t+T) ||x_j(e,lambda)-x_j(0,lambda)||_(target j) d lambda", "normalized_representation": "Q(e,T)=\\sum_j\\int_t^{t+T}\\|x_j(e,\\lambda)-x_j(0,\\lambda)\\|_{\\mathrm{target}\\ j}\\,d\\lambda", "definitions": "x_j(e,λ) is target-j state with event e; x_j(0,λ) is counterfactual without it.", "input_domain": "Paired target trajectories over a declared horizon.", "output_domain": "Nonnegative target-relative displacement.", "semantics": "Measures target-relative trajectory displacement attributed to an event over a horizon.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK target-directed state displacement is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0027", "claim_id": "CLAIM-0027", "name": "UFWK routing projection", "aliases": "None recorded.", "family": "UFWK", "category": "Policy projection", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "r_tau = pi_tau(W, Gamma, policy)", "normalized_representation": "r_\\tau=\\pi_\\tau(W,\\Gamma,\\mathrm{policy})", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "WeightReceipt × uncertainty × declared policy.", "output_domain": "Task-specific routing value/action recommendation.", "semantics": "Projects a multidimensional weight and uncertainty record into a task-specific routing quantity.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "The derived scalar is task-specific and must never be represented as the canonical weight.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK routing projection is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0028", "claim_id": "CLAIM-0028", "name": "UFWK accumulation ledger", "aliases": "None recorded.", "family": "UFWK", "category": "Conservation/accounting update", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "A_i(t+1)=A_i(t)+created_value+sum_j T_(j->i)-outflow-decay", "normalized_representation": "A_i(t+1)=A_i(t)+V_i^{created}+\\sum_jT_{j\\to i}-O_i-D_i", "definitions": "A_i accumulated value; T transfers; O outflow; D decay; units are policy/domain-specific.", "input_domain": "Declared account state and flows.", "output_domain": "Updated account state.", "semantics": "Provisional accounting for accumulation, transfers, outflow, and decay.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK accumulation ledger is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0029", "claim_id": "CLAIM-0029", "name": "UFWK deprivation/recovery ledger", "aliases": "None recorded.", "family": "UFWK", "category": "Burden update", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "D_j(t+1)=D_j(t)+U_j+F_j+sum_i B_(i->j)+sum_i kappa_(ji)T_(j->i)-R_j", "normalized_representation": "D_j(t+1)=D_j(t)+U_j+F_j+\\sum_iB_{i\\to j}+\\sum_i\\kappa_{ji}T_{j\\to i}-R_j", "definitions": "D deprivation; U direct deprivation; F foreclosed possibility; B burden; κ coupling; T transfer; R recovery.", "input_domain": "Declared burden/recovery flows.", "output_domain": "Updated deprivation account.", "semantics": "Provisional coupled accounting for direct deprivation, foreclosed possibility, transferred burden, coupling, and recovery.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK deprivation/recovery ledger is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0030", "claim_id": "CLAIM-0030", "name": "UFWK commit directive", "aliases": "None recorded.", "family": "UFWK", "category": "Decision mapping", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "CommitDirective = g(W, Gamma, policy, current_basin_state)", "normalized_representation": "\\mathrm{CommitDirective}=g(W,\\Gamma,\\mathrm{policy},B_t)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "WeightReceipt × uncertainty × policy × basin state.", "output_domain": "Policy-defined directive.", "semantics": "Proposes a bounded commit/hold/routing directive from evidence, uncertainty, policy, and basin state.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK commit directive is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0031", "claim_id": "CLAIM-0031", "name": "UFWK immutable-evidence / revisable-interpretation split", "aliases": "None recorded.", "family": "UFWK", "category": "Evidence governance invariant", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Immutable evidence is retained separately from revisable interpretation and task-specific projections.", "normalized_representation": "store = immutable(evidence) ⊕ versioned(interpretation, projection)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Evidence, interpretation, projection versions.", "output_domain": "Separated evidence and versioned interpretation records.", "semantics": "Prevents later weighting or narrative changes from rewriting observations.", "implementation_status": "Specification; no complete UFWK runtime located.", "implementation_ref": "No complete implementation located; formulas are specification-level.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Specification warns against canonical scalar collapse and weight inflation.", "boundary": "Provisional observer-, target-, context-, and policy-relative weighting architecture.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "UFWK immutable-evidence / revisable-interpretation split is provisional within the named bounded source.", "source": { "repository": "DOCSET:ufwk-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:unified-fractalish-weighting-kernel-specification-v0-1-md", "sha256": "0A93490594175E439492E507A7CC707812A2086A499FD0B25ABC43D1C71E6926" } }, { "binding_id": "FMB-0032", "claim_id": "CLAIM-0032", "name": "Cognitive Basin action namespace", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Finite action namespace", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Cognitive Basin actions are EXTEND / HOLD / RETRACT.", "normalized_representation": "A_{CB}=\\{\\mathrm{EXTEND},\\mathrm{HOLD},\\mathrm{RETRACT}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Validated basin decision context.", "output_domain": "Three-state cognitive action.", "semantics": "Routes cognitive work without collapsing HOLD into rejection or Natural Math SENSE/RESTRICT.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/contracts.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Cognitive Basin action namespace is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/contracts.py", "sha256": "7E15FBB697D666BAE8E21BB630959176BCE44E9BB71F1374887B88401075AEE9" } }, { "binding_id": "FMB-0033", "claim_id": "CLAIM-0033", "name": "Cognitive Basin evidence namespace", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Evidence-state namespace", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Evidence states are SUPPORTED / UNRESOLVED / CONTRADICTED.", "normalized_representation": "E_{CB}=\\{\\mathrm{SUPPORTED},\\mathrm{UNRESOLVED},\\mathrm{CONTRADICTED}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Claim plus evidence record.", "output_domain": "Three-state evidence classification.", "semantics": "Separates evidentiary status from action and security state.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/contracts.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Cognitive Basin evidence namespace is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/contracts.py", "sha256": "7E15FBB697D666BAE8E21BB630959176BCE44E9BB71F1374887B88401075AEE9" } }, { "binding_id": "FMB-0034", "claim_id": "CLAIM-0034", "name": "Association beacon and association field", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Memory retrieval operator", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Association beacons/fields map evidence-bearing cues to replay values and related memory records.", "normalized_representation": "field(cue,B)=rank({memory_i}, replay_value_i)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Cue/event plus basin memory.", "output_domain": "Ranked association field/beacons.", "semantics": "Implements cue-conditioned associative retrieval while retaining source records.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/associations.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Association beacon and association field is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/associations.py", "sha256": "019C99FEAA38C901B579661C1AC56D0BD36658C4291B8BF95E52FA27B413A4E8" } }, { "binding_id": "FMB-0035", "claim_id": "CLAIM-0035", "name": "Contradiction scar content address", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Persistent contradiction record", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "A contradiction scar is content-addressed with SHA-256 over a stable contradiction payload.", "normalized_representation": "scar_id = SHA256(canonical(contradiction_record))", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Contradiction payload.", "output_domain": "Persistent scar record and identifier.", "semantics": "Preserves contradiction evidence rather than smoothing it out.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/scars.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Contradiction scar content address is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/scars.py", "sha256": "ADD6D699F680D752AA6FC36D3FBB5933D8696B46AC10002A70424CB5DEF24C42" } }, { "binding_id": "FMB-0036", "claim_id": "CLAIM-0036", "name": "Cognitive Basin recovery route", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Recovery-state protocol", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Recovery routes carry a bounded sequence from an unresolved/contradicted state toward revalidation.", "normalized_representation": "route = recover(state, scar, evidence, budget)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Basin state, scar/evidence, recovery policy.", "output_domain": "Recovery route and resulting state.", "semantics": "Makes recovery explicit and replayable rather than silently erasing the triggering conflict.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/recovery.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Cognitive Basin recovery route is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/recovery.py", "sha256": "5AB0F43B840D80457B5CC25B9E10B387D1B374584F44DB6C8F6453ED28ABF60D" } }, { "binding_id": "FMB-0037", "claim_id": "CLAIM-0037", "name": "Verified compression replay validator", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Compression invariant", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "A compressed memory is accepted only when its declared replay/verification predicate passes.", "normalized_representation": "accept(c)=verify(replay(c), required_evidence)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Memory record, compression candidate, replay contract.", "output_domain": "{verified compression, rejection} plus evidence.", "semantics": "Prevents smaller representations from being treated as equivalent without replay evidence.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/compression.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Verified compression replay validator is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/compression.py", "sha256": "D56C927FB01A4C40EA93A9DB71076982CDFBBA9E114ED4B681E4AC132C83723F" } }, { "binding_id": "FMB-0038", "claim_id": "CLAIM-0038", "name": "HOLD fog", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Uncertainty-preservation state", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "HOLD fog records unresolved competing cues/evidence without committing to a forced basin action.", "normalized_representation": "hold_fog = preserve(unresolved_candidates, causes, expiry/review route)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Unresolved evidence/candidate set.", "output_domain": "Typed HOLD record.", "semantics": "Operationalizes non-commitment while retaining reasons and follow-up paths.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/hold.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "HOLD fog is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/hold.py", "sha256": "F1E886E66534382160FAE75B177BE279D18A58E9EE7EEC43E488258F1E95490D" } }, { "binding_id": "FMB-0039", "claim_id": "CLAIM-0039", "name": "Fractal memory map", "aliases": "FractalMemoryMap; fractal memory", "family": "Cognitive Basin", "category": "Memory graph", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Memory records and typed links form a traversable map with provenance-bearing relationships.", "normalized_representation": "M=(V_memory,E_typed)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Typed memory records and associations.", "output_domain": "Finite directed/typed memory graph.", "semantics": "Represents persistent history as a graph rather than a flat summary.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/memory_map.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Local research runtime components; not evidence of a complete production LLM integration.", "qualifiers": "CODE-PRESENT; HASH-BOUND; REPORTED-NOT-RERUN", "summary": "Fractal memory map is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/memory_map.py", "sha256": "EEE4FE3E98B73A84035A9D68127DC8EE936D87028845761B71F0F31D7ED8966D" } }, { "binding_id": "FMB-0040", "claim_id": "CLAIM-0040", "name": "BasinLab illustrative natural-math process", "aliases": "None recorded.", "family": "Cognitive Basin", "category": "Illustrative simulator", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "BasinLab includes an illustrative process simulator named natural_math.", "normalized_representation": "X_{t+1}=illustrative_basinlab_step(X_t)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "BasinLab demonstration state.", "output_domain": "BasinLab demonstration state.", "semantics": "Provides a local demonstration but is not the frozen Natural Math v5 reference implementation.", "implementation_status": "Code present in python/basinlab; not rerun as an integrated production host in this audit.", "implementation_ref": "python/basinlab/natural_math.py", "evidence": [ "Existing repository tests/reports were indexed", "no new whole-platform rerun was required for these bounded code-present records." ], "result": "Reported/code-present; not locally rerun in this register except where separately stated.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Contradiction, failed replay, HOLD, and recovery routes are first-class outcomes.", "boundary": "Illustrative BasinLab code only; do not transfer v5 frozen authority to it.", "qualifiers": "CODE-PRESENT; NAMESPACE-SEPARATED", "summary": "BasinLab illustrative natural-math process is implemented within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "python/basinlab/natural_math.py", "sha256": "5EDEC13197E8DCC8C65AE01915337DBAF64B58EB90DC72B3A8B3C850DB571D4C" } }, { "binding_id": "FMB-0041", "claim_id": "CLAIM-0041", "name": "Latent Role tuple", "aliases": "Role Kernel; Role Process", "family": "Latent Role Intelligence", "category": "Typed role state", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "R_i = (tau_i, Omega_i, phi_i, M_i, Pi_i, Theta_i, Gamma_i)", "normalized_representation": "R_i=(\\tau_i,\\Omega_i,\\phi_i,M_i,\\Pi_i,\\Theta_i,\\Gamma_i)", "definitions": "Component meanings are defined in the thesis; this register does not invent missing expansions.", "input_domain": "Declared role configuration.", "output_domain": "Typed role record.", "semantics": "Declares a role as a structured capability/authority/memory/reporting object rather than a free-form persona.", "implementation_status": "Specification/prototype program; no complete role-federated runtime qualified.", "implementation_ref": "No complete implementation bound by the thesis.", "evidence": [ "No thesis-bound end-to-end qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Sparse activation and fixed authority are design constraints, not measured advantages.", "boundary": "Provisional architecture; role tuples and equations are not evidence of production operation.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Latent Role tuple is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "Latent_Role_Intelligence_Thesis_v1.0.md", "sha256": "A6FEEA0E64E648F001C6DAC4AFDDCB7AB6898FCBE19A1655482D1D9F170CDA3D" } }, { "binding_id": "FMB-0042", "claim_id": "CLAIM-0042", "name": "Latent Role ternary activation gate", "aliases": "None recorded.", "family": "Latent Role Intelligence", "category": "Finite activation namespace", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "g_i(e_t,B_t) in {INHIBIT(-1), HOLD(0), ADVANCE(+1)}", "normalized_representation": "g_i(e_t,B_t)\\in\\{-1,0,+1\\}=\\{\\mathrm{INHIBIT},\\mathrm{HOLD},\\mathrm{ADVANCE}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Evidence/event × basin state.", "output_domain": "{−1,0,+1}", "semantics": "Gates each role relative to evidence and basin state.", "implementation_status": "Specification/prototype program; no complete role-federated runtime qualified.", "implementation_ref": "No complete implementation bound by the thesis.", "evidence": [ "No thesis-bound end-to-end qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Sparse activation and fixed authority are design constraints, not measured advantages.", "boundary": "Provisional architecture; role tuples and equations are not evidence of production operation.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Latent Role ternary activation gate is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "Latent_Role_Intelligence_Thesis_v1.0.md", "sha256": "A6FEEA0E64E648F001C6DAC4AFDDCB7AB6898FCBE19A1655482D1D9F170CDA3D" } }, { "binding_id": "FMB-0043", "claim_id": "CLAIM-0043", "name": "Latent Role reconstructive sparsity", "aliases": "None recorded.", "family": "Latent Role Intelligence", "category": "Reconstruction operator", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "R_i(t)=Reconstruct(K_i,rho_i,M_i*,B_t*,e_t,budget_i)", "normalized_representation": "R_i(t)=\\operatorname{Reconstruct}(K_i,\\rho_i,M_i^\\*,B_t^\\*,e_t,budget_i)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Role kernel, residue, selected memory/basin, evidence, compute budget.", "output_domain": "Activated role state.", "semantics": "Reconstructs an active role from a compact kernel plus selected memory, basin, evidence, and budget.", "implementation_status": "Specification/prototype program; no complete role-federated runtime qualified.", "implementation_ref": "No complete implementation bound by the thesis.", "evidence": [ "No thesis-bound end-to-end qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Sparse activation and fixed authority are design constraints, not measured advantages.", "boundary": "Provisional architecture; role tuples and equations are not evidence of production operation.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Latent Role reconstructive sparsity is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "Latent_Role_Intelligence_Thesis_v1.0.md", "sha256": "A6FEEA0E64E648F001C6DAC4AFDDCB7AB6898FCBE19A1655482D1D9F170CDA3D" } }, { "binding_id": "FMB-0044", "claim_id": "CLAIM-0044", "name": "Latent Role decision federation", "aliases": "None recorded.", "family": "Latent Role Intelligence", "category": "Decision aggregation", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Decision(a)=f(advance pressure,inhibition pressure,active holds,authority,evidence,consequence,reversibility)", "normalized_representation": "Decision(a)=f(P_adv,P_inh,H_active,authority,evidence,consequence,reversibility)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Typed role reports and authority/evidence context.", "output_domain": "Policy-bounded decision.", "semantics": "Combines role reports under explicit authority and reversibility constraints.", "implementation_status": "Specification/prototype program; no complete role-federated runtime qualified.", "implementation_ref": "No complete implementation bound by the thesis.", "evidence": [ "No thesis-bound end-to-end qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Sparse activation and fixed authority are design constraints, not measured advantages.", "boundary": "Provisional architecture; role tuples and equations are not evidence of production operation.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Latent Role decision federation is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "Latent_Role_Intelligence_Thesis_v1.0.md", "sha256": "A6FEEA0E64E648F001C6DAC4AFDDCB7AB6898FCBE19A1655482D1D9F170CDA3D" } }, { "binding_id": "FMB-0045", "claim_id": "CLAIM-0045", "name": "Latent Role sparse-compute cost model", "aliases": "None recorded.", "family": "Latent Role Intelligence", "category": "Resource equation", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "C_t=C_shared-encoding+N_roles*C_cheap-gate+sum_(i in A_t) C_activated-role_i", "normalized_representation": "C_t=C_{shared}+N_{roles}C_{gate}+\\sum_{i\\in A_t}C_i^{active}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Role count, activated-role set, declared cost model.", "output_domain": "Estimated compute cost.", "semantics": "Models shared encoding, cheap gating, and compute paid only for activated roles.", "implementation_status": "Specification/prototype program; no complete role-federated runtime qualified.", "implementation_ref": "No complete implementation bound by the thesis.", "evidence": [ "No thesis-bound end-to-end qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No empirical cost study was located; the equation is architectural.", "negative_controls": "Sparse activation and fixed authority are design constraints, not measured advantages.", "boundary": "Provisional architecture; role tuples and equations are not evidence of production operation.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Latent Role sparse-compute cost model is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "Latent_Role_Intelligence_Thesis_v1.0.md", "sha256": "A6FEEA0E64E648F001C6DAC4AFDDCB7AB6898FCBE19A1655482D1D9F170CDA3D" } }, { "binding_id": "FMB-0046", "claim_id": "CLAIM-0046", "name": "Construction A+ attractor signature", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Feature vector", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "signature = (alive_count, component_count, total_energy, variance, bond_density, spatial_extent, center_of_mass, topology_hash)", "normalized_representation": "sig(X)=", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Natural Math v5 simulation result.", "output_domain": "Typed mixed discrete/rational/hash feature tuple.", "semantics": "Extracts a finite descriptor tuple from a simulated terminal/attractor state.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "Construction A+ attractor signature is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0047", "claim_id": "CLAIM-0047", "name": "Construction A+ ternary quantization", "aliases": "PEFP ternary digits", "family": "Construction A+ / PEFP", "category": "Quantizer", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "For k=9 selected features, p33/p67 thresholds map each value to -1, 0, or +1.", "normalized_representation": "q(x)=−1 if xp67", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Selected numeric features with declared p33/p67 thresholds.", "output_domain": "{−1,0,+1}^k", "semantics": "Converts selected signature components to a bounded ternary fingerprint.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "Construction A+ ternary quantization is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0048", "claim_id": "CLAIM-0048", "name": "Construction A+ polarity bit", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Binary feature", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "polarity = 1 if avg_energy > components * baseline else 0", "normalized_representation": "p=\\mathbf{1}[\\bar E>n_{components}E_{baseline}]", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Average energy, component count, declared baseline.", "output_domain": "{0,1}", "semantics": "Adds a binary energy/context discriminator to the ternary code.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "Construction A+ polarity bit is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0049", "claim_id": "CLAIM-0049", "name": "Construction A+ glyph identifier", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Finite encoding", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "glyph_id = polarity * 3^k + ternary_value", "normalized_representation": "g=p\\,3^k+\\sum_{i=0}^{k-1}(d_i+1)3^i", "definitions": "p∈{0,1}; d_i∈{−1,0,+1}; digit order follows source implementation.", "input_domain": "{0,1} × {−1,0,+1}^k", "output_domain": "For k=9, integer IDs in 0..39365.", "semantics": "Encodes a polarity bit and balanced-ternary fingerprint into a finite integer identifier.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "Construction A+ glyph identifier is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0050", "claim_id": "CLAIM-0050", "name": "Construction A+ glyph round-trip", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Encoding invariant", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "decode(encode(p,digits)) = (p,digits)", "normalized_representation": "D(E(p,\\mathbf d))=(p,\\mathbf d)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Valid polarity and ternary digits.", "output_domain": "Exact original tuple.", "semantics": "Checks internal code reversibility for the finite encoded tuple.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "Round-trip of the descriptor code does not reconstruct the original morphology.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "Construction A+ glyph round-trip is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0051", "claim_id": "CLAIM-0051", "name": "Construction A+ bounded vocabulary result", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Experimental result", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Five declared simulations yielded two unique glyphs; seed 42 yielded glyph 30457.", "normalized_representation": "unique({g_seed})=2 for seeds {1,42,100,256,1000}; g_42=30457", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Five named Natural Math v5 simulations.", "output_domain": "Glyph multiset and vocabulary statistics.", "semantics": "Reports the observed small-sample vocabulary without claiming collision freedom.", "implementation_status": "Implemented software adapter.", "implementation_ref": "02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "evidence": [ "EVIDENCE:NATURAL_MATH_V5_AND_CONSTRUCTION_A_PLUS_LOCAL_RERUN_UTF8_LOG" ], "result": "Single-seed round trip passed; 5-seed batch produced 2 unique glyphs with entropy 0.721928 bits; k=3,5,7,9 checks passed.", "negative_result": "Collision count reported as 1 group; collision_free=False.", "negative_controls": "Collision occurred: four seeds shared glyph 30457; batch was not collision-free.", "boundary": "Software-only descriptor/encoding over Natural Math v5 simulations; not physical morphology and not arbitrary-morphology uniqueness.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; SEED-BOUND; NEGATIVE-RESULT-PRESERVED", "summary": "In a five-seed software check, the adapter produced two glyph IDs and explicitly recorded collisions; this is not a uniqueness proof.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "Not applicable or not located.", "path": "imports/autoclaw-natural-math-workspace/02_REFERENCE_IMPLEMENTATION/construction_a_plus_v5/test_ca_plus_v5.py", "sha256": "259ADB189AE5399B9532F49052E1A145EC5EF14633A79161DD976145473BAD1B" } }, { "binding_id": "FMB-0052", "claim_id": "CLAIM-0052", "name": "Historical PEFP Shannon vocabulary entropy", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Information metric", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "H(V) = -sum_g p(g) log2 p(g)", "normalized_representation": "H(V)=-\\sum_g p(g)\\log_2p(g)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Finite glyph frequency distribution.", "output_domain": "Bits.", "semantics": "Summarizes glyph-frequency diversity in a declared sample.", "implementation_status": "Code and reported result artifacts located.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\fractalish_ai\\evolution_prize_validation\\metrics.py", "evidence": [ "Historical reports indexed", "not freshly rerun in this register." ], "result": "Reported: proteinoid habituation 15/15; 8 glyphs with H(V)=2.081; decoder 84.8% (~1.34 bits); S. commune entropy 2.217; perfect replay 3/5 in prize lane.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Five-bit prize threshold failed; perfect replay only 3/5; retain as negative evidence.", "boundary": "Historical continuous/experimental lane; do not transfer its statistics to Construction A+ v5 or physical CNTM.", "qualifiers": "REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED; SUPERSEDED-IN-PART", "summary": "Historical PEFP Shannon vocabulary entropy is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:fractalish_ai/evolution_prize_validation/construction_a_readout.py", "sha256": "7208E7C8C01F779D75E5FFF5856327173E817F5ED2A5A7C83D6B87E31CD2FCA6" } }, { "binding_id": "FMB-0053", "claim_id": "CLAIM-0053", "name": "Historical PEFP replay fidelity", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Replay metric", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "replay_fidelity = exact successful replays / declared replay attempts", "normalized_representation": "F_replay = n_exact / n_attempted", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared replay attempts.", "output_domain": "[0,1]", "semantics": "Measures exact replay success over a bounded declared set.", "implementation_status": "Code and reported result artifacts located.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\fractalish_ai\\evolution_prize_validation\\construction_a_readout.py", "evidence": [ "Historical reports indexed", "not freshly rerun in this register." ], "result": "Reported: proteinoid habituation 15/15; 8 glyphs with H(V)=2.081; decoder 84.8% (~1.34 bits); S. commune entropy 2.217; perfect replay 3/5 in prize lane.", "negative_result": "Historical prize lane reported only 3/5 perfect replays.", "negative_controls": "Five-bit prize threshold failed; perfect replay only 3/5; retain as negative evidence.", "boundary": "Historical continuous/experimental lane; do not transfer its statistics to Construction A+ v5 or physical CNTM.", "qualifiers": "REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED; SUPERSEDED-IN-PART", "summary": "Historical PEFP replay fidelity is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:fractalish_ai/evolution_prize_validation/construction_a_readout.py", "sha256": "7208E7C8C01F779D75E5FFF5856327173E817F5ED2A5A7C83D6B87E31CD2FCA6" } }, { "binding_id": "FMB-0054", "claim_id": "CLAIM-0054", "name": "Historical PEFP decoder result", "aliases": "None recorded.", "family": "Construction A+ / PEFP", "category": "Reported decoding result", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Decoder accuracy was reported as 84.8% (~1.34 bits) for the named historical lane.", "normalized_representation": "accuracy_reported=0.848; information_reported≈1.34 bits", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Historical report's declared dataset/split.", "output_domain": "Accuracy and information summary.", "semantics": "Records a bounded historical result without treating it as universal symbolic closure.", "implementation_status": "Code and reported result artifacts located.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\fractalish_ai\\evolution_prize_validation\\construction_a_readout.py", "evidence": [ "Historical reports indexed", "not freshly rerun in this register." ], "result": "Reported: proteinoid habituation 15/15; 8 glyphs with H(V)=2.081; decoder 84.8% (~1.34 bits); S. commune entropy 2.217; perfect replay 3/5 in prize lane.", "negative_result": "The five-bit threshold was not achieved.", "negative_controls": "Five-bit prize threshold failed; perfect replay only 3/5; retain as negative evidence.", "boundary": "Historical continuous/experimental lane; do not transfer its statistics to Construction A+ v5 or physical CNTM.", "qualifiers": "REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED; SUPERSEDED-IN-PART", "summary": "Historical PEFP decoder result is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:fractalish_ai/evolution_prize_validation/construction_a_readout.py", "sha256": "7208E7C8C01F779D75E5FFF5856327173E817F5ED2A5A7C83D6B87E31CD2FCA6" } }, { "binding_id": "FMB-0055", "claim_id": "CLAIM-0055", "name": "CNTM Phase Zero potential-field stub", "aliases": "None recorded.", "family": "CNTM", "category": "Digital-twin field", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "phi[y][x] = 1.0 - 0.05*y + (0.1 if mask[y][x] else 0)", "normalized_representation": "\\phi_{y,x}=1-0.05y+0.1\\,\\mathbf{1}[mask_{y,x}]", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Finite grid mask and coordinates.", "output_domain": "Floating-point simulated field.", "semantics": "Provides a simple simulated field for pipeline/dry-run behavior.", "implementation_status": "Digital-twin/dry-run software present; no physical deposition run established.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\cntm_phase_zero\\software\\phase0_analysis\\twin_compare.py", "evidence": [ "EVIDENCE:PHASE_ZERO_DRY_RUN_V0_1_MANIFEST" ], "result": "Frozen dry-run evidence chain present with hardware_mode=simulated; not rerun because the governing result is the frozen manifest.", "negative_result": "This is an explicitly simplified stub, not a solved electrochemical potential field.", "negative_controls": "No physical deposition, CNT device, or physical morphology-memory result is evidenced.", "boundary": "Simulation and apparatus-planning evidence only; never describe as physical CNTM operation.", "qualifiers": "FROZEN; HASH-BOUND; REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM Phase Zero potential-field stub is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:cntm_phase_zero/software/phase0_analysis/twin_compare.py", "sha256": "6652C25B8A6B21F3CAF1B87891CDB717452C866D9E298F417319254D7F7A9576" } }, { "binding_id": "FMB-0056", "claim_id": "CLAIM-0056", "name": "CNTM Phase Zero tip propensity", "aliases": "None recorded.", "family": "CNTM", "category": "Growth score", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "s=b0+b_eta*eta/eta_ref+b_c*log(dep+epsilon)+b_a*align+b_q*mem", "normalized_representation": "s=b_0+b_\\eta\\eta/\\eta_{ref}+b_c\\log(dep+\\epsilon)+b_a align+b_q mem", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Simulated local field/deposition/alignment/memory features.", "output_domain": "Real-valued propensity score.", "semantics": "Scores simulated candidate growth tips from declared heuristic components.", "implementation_status": "Digital-twin/dry-run software present; no physical deposition run established.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\cntm_phase_zero\\software\\phase0_analysis\\twin_compare.py", "evidence": [ "EVIDENCE:PHASE_ZERO_DRY_RUN_V0_1_MANIFEST" ], "result": "Frozen dry-run evidence chain present with hardware_mode=simulated; not rerun because the governing result is the frozen manifest.", "negative_result": "Coefficients are engineering-model parameters, not physical laws.", "negative_controls": "No physical deposition, CNT device, or physical morphology-memory result is evidenced.", "boundary": "Simulation and apparatus-planning evidence only; never describe as physical CNTM operation.", "qualifiers": "FROZEN; HASH-BOUND; REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM Phase Zero tip propensity is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:cntm_phase_zero/software/phase0_analysis/twin_compare.py", "sha256": "6652C25B8A6B21F3CAF1B87891CDB717452C866D9E298F417319254D7F7A9576" } }, { "binding_id": "FMB-0057", "claim_id": "CLAIM-0057", "name": "CNTM Phase Zero softmax tip selection", "aliases": "None recorded.", "family": "CNTM", "category": "Stochastic selector", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "p_i = exp(s_i/T) / sum_j exp(s_j/T)", "normalized_representation": "p_i=\\frac{e^{s_i/T}}{\\sum_j e^{s_j/T}}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Finite scores and T>0.", "output_domain": "Probability simplex.", "semantics": "Maps simulated propensity scores to a probability distribution.", "implementation_status": "Digital-twin/dry-run software present; no physical deposition run established.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\cntm_phase_zero\\software\\phase0_analysis\\twin_compare.py", "evidence": [ "EVIDENCE:PHASE_ZERO_DRY_RUN_V0_1_MANIFEST" ], "result": "Frozen dry-run evidence chain present with hardware_mode=simulated; not rerun because the governing result is the frozen manifest.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "No physical deposition, CNT device, or physical morphology-memory result is evidenced.", "boundary": "Simulation and apparatus-planning evidence only; never describe as physical CNTM operation.", "qualifiers": "FROZEN; HASH-BOUND; REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM Phase Zero softmax tip selection is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:cntm_phase_zero/software/phase0_analysis/twin_compare.py", "sha256": "6652C25B8A6B21F3CAF1B87891CDB717452C866D9E298F417319254D7F7A9576" } }, { "binding_id": "FMB-0058", "claim_id": "CLAIM-0058", "name": "CNTM Phase Zero branch-separation gate", "aliases": "None recorded.", "family": "CNTM", "category": "Geometric threshold", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "branch separation >= pi/4", "normalized_representation": "\\Delta\\theta\\ge\\pi/4", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Candidate branch directions.", "output_domain": "{admit, reject}", "semantics": "Applies the initial engineering recommendation for simulated branch separation.", "implementation_status": "Digital-twin/dry-run software present; no physical deposition run established.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\cntm_phase_zero\\software\\phase0_analysis\\twin_compare.py", "evidence": [ "EVIDENCE:PHASE_ZERO_DRY_RUN_V0_1_MANIFEST" ], "result": "Frozen dry-run evidence chain present with hardware_mode=simulated; not rerun because the governing result is the frozen manifest.", "negative_result": "The threshold is an initial engineering recommendation, not a physical constant.", "negative_controls": "No physical deposition, CNT device, or physical morphology-memory result is evidenced.", "boundary": "Simulation and apparatus-planning evidence only; never describe as physical CNTM operation.", "qualifiers": "FROZEN; HASH-BOUND; REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM Phase Zero branch-separation gate is experimentally supported within the named bounded source.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:cntm_phase_zero/software/phase0_analysis/twin_compare.py", "sha256": "6652C25B8A6B21F3CAF1B87891CDB717452C866D9E298F417319254D7F7A9576" } }, { "binding_id": "FMB-0059", "claim_id": "CLAIM-0059", "name": "CNTM Phase Zero frozen dry-run manifest", "aliases": "None recorded.", "family": "CNTM", "category": "Evidence manifest", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "The manifest binds the Phase Zero dry-run artifact tree and declares hardware_mode=simulated.", "normalized_representation": "manifest = canonical inventory(paths, hashes, run metadata, hardware_mode=simulated)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Frozen dry-run artifact set.", "output_domain": "Manifest/hash evidence.", "semantics": "Preserves a replay/audit trail for a simulated commissioning pipeline.", "implementation_status": "Digital-twin/dry-run software present; no physical deposition run established.", "implementation_ref": "C:\\Users\\moop\\FractalishBuild\\fractalish-ai\\cntm_phase_zero\\phase0_freezes\\Phase_Zero_Dry_Run_v0_1\\MANIFEST.json", "evidence": [ "EVIDENCE:PHASE_ZERO_DRY_RUN_V0_1_MANIFEST" ], "result": "Frozen dry-run evidence chain present with hardware_mode=simulated; not rerun because the governing result is the frozen manifest.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "No physical deposition, CNT device, or physical morphology-memory result is evidenced.", "boundary": "Simulation and apparatus-planning evidence only; never describe as physical CNTM operation.", "qualifiers": "FROZEN; HASH-BOUND; REPORTED-NOT-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "A frozen simulated Phase Zero dry-run evidence chain exists; no physical CNT deposition or memory-device result is claimed.", "source": { "repository": "SOURCESET:fractalish-ai-phase0-approved-local", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCEPATH:cntm_phase_zero/phase0_freezes/Phase_Zero_Dry_Run_v0_1/MANIFEST.json", "sha256": "C69E666E5F29A384491A076622772E67E0FA0FB009B2C1920FEC4CFE32209729" } }, { "binding_id": "FMB-0060", "claim_id": "CLAIM-0060", "name": "CNTM v1.3F finite ternary readout", "aliases": "None recorded.", "family": "CNTM", "category": "Finite-state substrate", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Primary readout is restricted to -1/0/+1; unresolved tied evidence returns exact candidate sets rather than a forced guess.", "normalized_representation": "readout ∈ {−1,0,+1} or exact candidate set under tie", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Provides deterministic finite morphology/readout behavior with explicit unresolved outcomes.", "implementation_status": "Frozen deterministic software implementation.", "implementation_ref": "frozen\\cntm\\v1.3F\\cntm_finite_ternary_v1_3f.py", "evidence": [ "EVIDENCE:CNTM_FINITE_TERNARY_V1_3F_ISOLATED_RERUN_LOG" ], "result": "v1.3F and v2.4 closure/freeze gates passed; v3.0F infrastructure qualification passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Control topologies matched the declared v3.0F performance; morphology-specific advantage proven=False.", "boundary": "Software-only finite morphology/ledger infrastructure; not physical CNT chemistry or proof of novel morphology memory.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM v1.3F finite ternary readout is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "frozen/cntm/v1.3F/cntm_finite_ternary_v1_3f.py", "sha256": "5DA5B735340EFB0820C56A58D2A8103FE10BD53CBA819A6054F135F126EA1955" } }, { "binding_id": "FMB-0061", "claim_id": "CLAIM-0061", "name": "CNTM v1.3F causal receipt replay", "aliases": "None recorded.", "family": "CNTM", "category": "Receipt/replay invariant", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Receipt hashes describe exact finite causal streams; deterministic reruns must reproduce them.", "normalized_representation": "h_i=SHA256(canonical(receipt_i)); replay(seed,ledger) reproduces {h_i}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Binds finite readout/recovery claims to exact causal records.", "implementation_status": "Frozen deterministic software implementation.", "implementation_ref": "frozen\\cntm\\v1.3F\\cntm_finite_ternary_v1_3f.py", "evidence": [ "EVIDENCE:CNTM_FINITE_TERNARY_V1_3F_ISOLATED_RERUN_LOG" ], "result": "v1.3F and v2.4 closure/freeze gates passed; v3.0F infrastructure qualification passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Control topologies matched the declared v3.0F performance; morphology-specific advantage proven=False.", "boundary": "Software-only finite morphology/ledger infrastructure; not physical CNT chemistry or proof of novel morphology memory.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM v1.3F causal receipt replay is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "frozen/cntm/v1.3F/cntm_finite_ternary_v1_3f.py", "sha256": "5DA5B735340EFB0820C56A58D2A8103FE10BD53CBA819A6054F135F126EA1955" } }, { "binding_id": "FMB-0062", "claim_id": "CLAIM-0062", "name": "CNTM v2.4 immutable plan and execution ledger", "aliases": "None recorded.", "family": "CNTM", "category": "Application-layer protocol", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "The selected finite morphology plan and exact execution ledger are immutable, fingerprinted, and replay checked.", "normalized_representation": "plan_hash=SHA256(canonical(plan)); ledger_hash=SHA256(canonical(execution)); replay_match=True", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Records selected software execution without claiming physical process control.", "implementation_status": "Frozen deterministic software implementation.", "implementation_ref": "frozen\\cntm\\v2.4\\cntm_application_layer_v2_4.py", "evidence": [ "EVIDENCE:CNTM_APPLICATION_LAYER_V2_4_ISOLATED_RERUN_LOG" ], "result": "v1.3F and v2.4 closure/freeze gates passed; v3.0F infrastructure qualification passed.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Control topologies matched the declared v3.0F performance; morphology-specific advantage proven=False.", "boundary": "Software-only finite morphology/ledger infrastructure; not physical CNT chemistry or proof of novel morphology memory.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM v2.4 immutable plan and execution ledger is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "frozen/cntm/v2.4/cntm_application_layer_v2_4.py", "sha256": "895BC3E3208B15902CB77EA9B0BE3D58F5563F5B8CD115DC3F0544DF5684E6DD" } }, { "binding_id": "FMB-0063", "claim_id": "CLAIM-0063", "name": "CNTM v3.0F damage-replay qualification", "aliases": "None recorded.", "family": "CNTM", "category": "Robustness qualification", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Known/partial damage events are replayed; unsupported cues avoid forced guesses; control topologies are compared.", "normalized_representation": "qualified = all(damage_replays) ∧ deterministic ∧ no_forced_guess_on_unsupported", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Defines a bounded local-memory infrastructure envelope.", "implementation_status": "Frozen deterministic software implementation.", "implementation_ref": "frozen\\cntm\\v3.0F\\cntm_domain_application_v3_0f.py", "evidence": [ "EVIDENCE:CNTM_DOMAIN_APPLICATION_V3_0F_ISOLATED_RERUN_LOG" ], "result": "v1.3F and v2.4 closure/freeze gates passed; v3.0F infrastructure qualification passed.", "negative_result": "Entry-node destruction is interface loss; articulation damage can partition the tree; ordinary controls were equal on declared ratios.", "negative_controls": "Control topologies matched the declared v3.0F performance; morphology-specific advantage proven=False.", "boundary": "Software-only finite morphology/ledger infrastructure; not physical CNT chemistry or proof of novel morphology memory.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; NEGATIVE-RESULT-PRESERVED", "summary": "CNTM v3.0F damage-replay qualification is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "frozen/cntm/v3.0F/cntm_domain_application_v3_0f.py", "sha256": "B65F5B88054B3A897D0CE0F577DAF803C5F2F296349D7614BE547E5D3E72287D" } }, { "binding_id": "FMB-0064", "claim_id": "CLAIM-0064", "name": "CNTM admission namespace", "aliases": "None recorded.", "family": "CNTM", "category": "Finite admission namespace", "status": "UNRESOLVED", "representation_layer": "SPECIFICATION", "original_statement": "CANONIZE / REJECT / HOLD", "normalized_representation": "A_{CNTM}=\\{\\mathrm{CANONIZE},\\mathrm{REJECT},\\mathrm{HOLD}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Proposed CNTM admission decision context.", "output_domain": "Three-state admission result.", "semantics": "Prompt-supplied namespace requiring source authority confirmation; it must not be merged with Bolt-On HOLD/RELEASE or Cognitive Basin actions.", "implementation_status": "Specification only.", "implementation_ref": "No implementation located.", "evidence": [ "No bound local test located." ], "result": "0 locally rerun for this binding.", "negative_result": "Authority source missing.", "negative_controls": "No bound negative control located.", "boundary": "Do not claim implementation until a named versioned source and tests are located.", "qualifiers": "CLAIM-BOUNDARY-MISSING; REVIEW REQUIRED", "summary": "CNTM admission namespace is unresolved within the named bounded source.", "source": { "repository": "UNRESOLVED:source-not-located", "repository_locator": "", "commit": "Not applicable or not located.", "path": "SOURCE:NOT-LOCATED-REVIEW-REQUIRED", "sha256": "NOT LOCATED" } }, { "binding_id": "FMB-0065", "claim_id": "CLAIM-0065", "name": "Bolt-On canonical event normalization", "aliases": "None recorded.", "family": "Bolt-On", "category": "Canonical adapter", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "normalise_record maps a host observation into the frozen canonical event representation.", "normalized_representation": "e_canonical = normalise_record(e_host)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Creates a portable observation boundary without granting execution authority.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen\\bolt_on\\v0.3\\portability\\portable_adapter_contract.py", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On canonical event normalization is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/portability/portable_adapter_contract.py", "sha256": "FE8B138DB0069F1AC4A7832FD0F63D5AE30021CDFD5244E2476F8B3B52A4BBB9" } }, { "binding_id": "FMB-0066", "claim_id": "CLAIM-0066", "name": "Bolt-On portable action projection", "aliases": "None recorded.", "family": "Bolt-On", "category": "Finite portable action namespace", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Portable actions are HOLD and RELEASE.", "normalized_representation": "A_{portable}=\\{\\mathrm{HOLD},\\mathrm{RELEASE}\\}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Expresses portable governance intent while leaving native command execution to the host.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen/bolt_on/v0.3 adapter projection", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On portable action projection is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/portability/portable_adapter_contract.py", "sha256": "FE8B138DB0069F1AC4A7832FD0F63D5AE30021CDFD5244E2476F8B3B52A4BBB9" } }, { "binding_id": "FMB-0067", "claim_id": "CLAIM-0067", "name": "Bolt-On host-owned command boundary", "aliases": "None recorded.", "family": "Bolt-On", "category": "Authority boundary", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "The bolt-on may project a portable action but does not execute the host-owned native command.", "normalized_representation": "portable_action -> host_policy -> native_command; executor=host", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Preserves host sovereignty and prevents governance logic from silently acquiring execution power.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen/bolt_on/v0.3 host/adapter boundary", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On host-owned command boundary is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/portability/portable_adapter_contract.py", "sha256": "FE8B138DB0069F1AC4A7832FD0F63D5AE30021CDFD5244E2476F8B3B52A4BBB9" } }, { "binding_id": "FMB-0068", "claim_id": "CLAIM-0068", "name": "Bolt-On receipt hash chain", "aliases": "None recorded.", "family": "Bolt-On", "category": "Hash-chain invariant", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Each receipt binds canonical content, previous receipt, before-state digest, and after-state digest.", "normalized_representation": "h_i=SHA256(canonical(receipt_i, h_{i-1}, before_i, after_i))", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Makes projection history tamper/reorder-evident.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen/bolt_on/v0.3 receipt chain", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On receipt hash chain is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/portability/portable_adapter_contract.py", "sha256": "FE8B138DB0069F1AC4A7832FD0F63D5AE30021CDFD5244E2476F8B3B52A4BBB9" } }, { "binding_id": "FMB-0069", "claim_id": "CLAIM-0069", "name": "Bolt-On state-neutral rejection", "aliases": "None recorded.", "family": "Bolt-On", "category": "Safety invariant", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "Rejected, forged, duplicate, stale, or invalid records leave host state unchanged.", "normalized_representation": "reject(x) => state_after = state_before", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Requires invalid input handling to be state-neutral.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen/bolt_on/v0.3 adversarial qualification", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On state-neutral rejection is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/portability/portable_adapter_contract.py", "sha256": "FE8B138DB0069F1AC4A7832FD0F63D5AE30021CDFD5244E2476F8B3B52A4BBB9" } }, { "binding_id": "FMB-0070", "claim_id": "CLAIM-0070", "name": "Bolt-On cross-host substitution qualification", "aliases": "None recorded.", "family": "Bolt-On", "category": "Portability result", "status": "ESTABLISHED", "representation_layer": "VERIFIED / FROZEN", "original_statement": "v0.3 qualifies portable HOLD/RELEASE behavior over two declared host families and one host substitution.", "normalized_representation": "same portable projection under declared host adapters; native operations remain host-specific", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Supports bounded portability without claiming universal host compatibility.", "implementation_status": "Frozen portable demonstrator implementation.", "implementation_ref": "frozen/bolt_on/v0.3/FREEZE_RECEIPT.json and qualification", "evidence": [ "EVIDENCE:BOLT_V0_3_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "20/20 frozen manifest files verified; frozen aggregate verifier passed. Release record reports 256 tests, two host families, 48 adversarial rejections, two baseline host-owned actions, zero bolt-on-executed actions, and one host substitution.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bolt-on execution authority remains absent; host actions remain host-owned.", "boundary": "Portable dry-run/governance projection only; not an autonomous executor and not a production LLM-host integration.", "qualifiers": "FROZEN; HASH-BOUND; LOCALLY-RERUN; FIXTURE-BOUND", "summary": "Bolt-On cross-host substitution qualification is established within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "0176545bc2a5ea3db296779aea909d3ae3f682c1", "path": "frozen/bolt_on/v0.3/FREEZE_RECEIPT.json", "sha256": "9F004E01E0695B52057EB190546DEC20E40160B0C92E3012129FD1E9D4D5DD47" } }, { "binding_id": "FMB-0071", "claim_id": "CLAIM-0071", "name": "Bolt-On v0.4 external host contract", "aliases": "None recorded.", "family": "Bolt-On", "category": "Integration contract", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Stage EXTERNAL HOST INTEGRATION CONTRACT 0.4.1; mode EXTERNAL_HOST_CONTRACT_DRY_RUN; execution authority NONE.", "normalized_representation": "contract(adapter,profile,registry) -> compatible/reject + receipt; authority=NONE", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Validates installation/removal, compatibility, rejection, registry, and zero-action invariants for the reference ordinary job service.", "implementation_status": "Implemented development contract and locally validated in isolated origin/main export.", "implementation_ref": "development/bolt_on_demonstrator_v0_4/integration/external_host_contract.py", "evidence": [ "EVIDENCE:BOLT_V0_4_EXTERNAL_CONTRACT_ISOLATED_ORIGIN_MAIN_RERUN_LOG", "EVIDENCE:BOLT_V0_4_UNITTEST_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "73/73 unit tests passed; 37 contract requirements; 28/28 rejection cases safely rejected; host actions=0; bolt-on actions=0.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Reference integration is a dry run; no third-party or production host is qualified.", "boundary": "External-host contract demonstration only; execution authority NONE.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND; FIXTURE-BOUND", "summary": "Bolt-On v0.4 external host contract is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "development/bolt_on_demonstrator_v0_4/integration/external_host_contract.py", "sha256": "8035B10D0E68EC0365F48340366EC3BDD903A4DCC2E7B9B2574B2269C04B4806" } }, { "binding_id": "FMB-0072", "claim_id": "CLAIM-0072", "name": "Bolt-On v0.4 native operation map", "aliases": "None recorded.", "family": "Bolt-On", "category": "Host-specific projection", "status": "EXPERIMENTALLY SUPPORTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "HOLD -> PAUSE_JOB; RELEASE -> RESUME_JOB for the declared reference host.", "normalized_representation": "map_ref(HOLD)=PAUSE_JOB; map_ref(RELEASE)=RESUME_JOB", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared source domain.", "output_domain": "Declared source codomain.", "semantics": "Demonstrates host-specific native mapping while retaining portable action names.", "implementation_status": "Implemented development contract and locally validated in isolated origin/main export.", "implementation_ref": "development/bolt_on_demonstrator_v0_4/integration/external_host_contract.py", "evidence": [ "EVIDENCE:BOLT_V0_4_EXTERNAL_CONTRACT_ISOLATED_ORIGIN_MAIN_RERUN_LOG", "EVIDENCE:BOLT_V0_4_UNITTEST_ISOLATED_ORIGIN_MAIN_RERUN_LOG" ], "result": "73/73 unit tests passed; 37 contract requirements; 28/28 rejection cases safely rejected; host actions=0; bolt-on actions=0.", "negative_result": "This mapping is not universal and does not prove compatibility with ChatGPT or any production LLM service.", "negative_controls": "Reference integration is a dry run; no third-party or production host is qualified.", "boundary": "External-host contract demonstration only; execution authority NONE.", "qualifiers": "CODE-PRESENT; LOCALLY-RERUN; HASH-BOUND; FIXTURE-BOUND", "summary": "Bolt-On v0.4 native operation map is experimentally supported within the named bounded source.", "source": { "repository": "REPO:cntm-natural-math-canonical-library", "repository_locator": "https://github.com/BonAcqui-LLC/fractalish/tree/main/CNTM_Natural_Math_Canonical_Library", "commit": "9a75f070265c6b0929ed72a6917f08f2cc41f209", "path": "development/bolt_on_demonstrator_v0_4/integration/external_host_contract.py", "sha256": "8035B10D0E68EC0365F48340366EC3BDD903A4DCC2E7B9B2574B2269C04B4806" } }, { "binding_id": "FMB-0073", "claim_id": "CLAIM-0073", "name": "MCVA nearest-centroid confidence", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Classifier score", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "score = distance_to_negative - distance_to_positive; confidence = abs(score)/max(distance_to_positive+distance_to_negative,1e-9)", "normalized_representation": "s=d_- - d_+;\\quad c=\\frac{|s|}{\\max(d_++d_-,10^{-9})}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Feature vector and two fitted centroids.", "output_domain": "Binary label, real score, confidence in [0,1] under nonnegative distances.", "semantics": "Produces a binary baseline prediction and normalized confidence for the ternary gate.", "implementation_status": "Implemented internal prototype.", "implementation_ref": "src/mcva_gate/classifier.py lines 45–47", "evidence": [ "Repository tests indexed", "not locally rerun for this register." ], "result": "Code-present and test-present; exact full suite not rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "HOLD adds review load; low_confidence is the only implemented HOLD reason in v0.1; SERA indicators are placeholders.", "boundary": "Internal prototype; not publication-safe without explicit operator approval and independent morphology data.", "qualifiers": "CODE-PRESENT; REPORTED-NOT-RERUN; PRIVATE-PUBLICATION-BOUNDARY", "summary": "MCVA nearest-centroid confidence is implemented within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "a7558ca38cd3a723f7c9ad8833a124a1b193de40", "path": "DOC:classifier-py", "sha256": "5EB61395D6A550B1D3C458963E90A59AA7CFB32FB70C0025F5A916B5311638A9" } }, { "binding_id": "FMB-0074", "claim_id": "CLAIM-0074", "name": "MCVA first-class HOLD gate", "aliases": "None recorded.", "family": "Specificity / Ageometrics", "category": "Ternary decision gate", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "if confidence < hold_band: decision=HOLD; otherwise pass the binary MCVA/AMCVA label.", "normalized_representation": "decision = HOLD if c", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared social/system observations and policy-relative accounts.", "output_domain": "Typed provisional ledger.", "semantics": "Provides a typed vocabulary for tracking whether apparent resilience shifts burden elsewhere.", "implementation_status": "No complete implementation located.", "implementation_ref": "Specification only.", "evidence": [ "No bound experimental qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "The paper identifies unfinished measurement, calibration, and institutional questions.", "boundary": "Conceptual/provisional; do not report accounting terms as empirically validated measures.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT", "summary": "Entroresilience burden-transfer ledger is provisional within the named bounded source.", "source": { "repository": "DOCSET:entroresilience-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:entroresilience-white-paper-v0-1-md", "sha256": "5AD0F01812A75ED1A533DC2CAE97DF41BE662139B1B33C36AD0C0B378EF70DFE" } }, { "binding_id": "FMB-0078", "claim_id": "CLAIM-0078", "name": "HALO ledger vector", "aliases": "None recorded.", "family": "HALO / UHI", "category": "State vector", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "L_t = [C,E,R,H,O,D,I,B,P,X,M,Q]", "normalized_representation": "L_t=[C,E,R,H,O,D,I,B,P,X,M,Q]", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Source-defined observation dimensions.", "output_domain": "12-component ledger vector.", "semantics": "Collects the source-defined abundance-transition instrumentation dimensions without claiming they are commensurate.", "implementation_status": "Provisional instrumentation equations; no full HALO/UHI system located.", "implementation_ref": "Specification only.", "evidence": [ "No bound empirical qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "HALO is declared voluntary; rights and UHI must not depend on score or reputation.", "boundary": "Conceptual/provisional instrumentation; not an eligibility, rights, or welfare scoring system.", "qualifiers": "SPECIFICATION; RIGHTS-BOUNDARY", "summary": "HALO ledger vector is provisional within the named bounded source.", "source": { "repository": "DOCSET:halo-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:instrumentation-for-the-abundance-transition-v0-1-md", "sha256": "25DA19B76E1B79CA03002A3E9727D05A549DD9BBE5664B3E5C35FAA1954EE0B7" } }, { "binding_id": "FMB-0079", "claim_id": "CLAIM-0079", "name": "HALO weighted flow", "aliases": "None recorded.", "family": "HALO / UHI", "category": "Weighting operator", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "F_t = W_t x L_t (model-specific/component-wise)", "normalized_representation": "F_t=W_t\\odot L_t\\quad\\text{(component-wise/model-specific)}", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Compatible weight and ledger vectors.", "output_domain": "Weighted flow vector.", "semantics": "Applies declared model-specific weights to the ledger.", "implementation_status": "Provisional instrumentation equations; no full HALO/UHI system located.", "implementation_ref": "Specification only.", "evidence": [ "No bound empirical qualification suite located." ], "result": "0 locally rerun.", "negative_result": "The multiplication semantics are model-specific; normalization is not canonical.", "negative_controls": "HALO is declared voluntary; rights and UHI must not depend on score or reputation.", "boundary": "Conceptual/provisional instrumentation; not an eligibility, rights, or welfare scoring system.", "qualifiers": "SPECIFICATION; RIGHTS-BOUNDARY", "summary": "HALO weighted flow is provisional within the named bounded source.", "source": { "repository": "DOCSET:halo-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:instrumentation-for-the-abundance-transition-v0-1-md", "sha256": "25DA19B76E1B79CA03002A3E9727D05A549DD9BBE5664B3E5C35FAA1954EE0B7" } }, { "binding_id": "FMB-0080", "claim_id": "CLAIM-0080", "name": "HALO abundance stock update", "aliases": "None recorded.", "family": "HALO / UHI", "category": "Accounting update", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "A_(t+1)=A_t+F_t+I_t-D_t-C_t", "normalized_representation": "A_{t+1}=A_t+F_t+I_t-D_t-C_t", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared compatible stocks/flows.", "output_domain": "Updated abundance account.", "semantics": "Provisional update for abundance stock from flow, inflow, depletion, and cost.", "implementation_status": "Provisional instrumentation equations; no full HALO/UHI system located.", "implementation_ref": "Specification only.", "evidence": [ "No bound empirical qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "HALO is declared voluntary; rights and UHI must not depend on score or reputation.", "boundary": "Conceptual/provisional instrumentation; not an eligibility, rights, or welfare scoring system.", "qualifiers": "SPECIFICATION; RIGHTS-BOUNDARY", "summary": "HALO abundance stock update is provisional within the named bounded source.", "source": { "repository": "DOCSET:halo-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:instrumentation-for-the-abundance-transition-v0-1-md", "sha256": "25DA19B76E1B79CA03002A3E9727D05A549DD9BBE5664B3E5C35FAA1954EE0B7" } }, { "binding_id": "FMB-0081", "claim_id": "CLAIM-0081", "name": "HALO blame-distance diagnostic", "aliases": "None recorded.", "family": "HALO / UHI", "category": "Distance functional", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "D_B = distance(causal responsibility, assigned blame)", "normalized_representation": "D_B=d(R_{causal},B_{assigned})", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Declared responsibility and blame representations.", "output_domain": "Model-specific distance.", "semantics": "Proposes a diagnostic gap between causal responsibility and assigned blame.", "implementation_status": "Provisional instrumentation equations; no full HALO/UHI system located.", "implementation_ref": "Specification only.", "evidence": [ "No bound empirical qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No canonical metric or validated representation was located.", "negative_controls": "HALO is declared voluntary; rights and UHI must not depend on score or reputation.", "boundary": "Conceptual/provisional instrumentation; not an eligibility, rights, or welfare scoring system.", "qualifiers": "SPECIFICATION; RIGHTS-BOUNDARY", "summary": "HALO blame-distance diagnostic is provisional within the named bounded source.", "source": { "repository": "DOCSET:halo-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:instrumentation-for-the-abundance-transition-v0-1-md", "sha256": "25DA19B76E1B79CA03002A3E9727D05A549DD9BBE5664B3E5C35FAA1954EE0B7" } }, { "binding_id": "FMB-0082", "claim_id": "CLAIM-0082", "name": "HALO history state and forecast", "aliases": "None recorded.", "family": "HALO / UHI", "category": "State/forecast model", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "H_t=(G_t,L_t,P_t,E_t,R_t,B_t,U_t,K_t); forecast P(H_(t+delta)|H_t,I,M)", "normalized_representation": "H_t=(G_t,L_t,P_t,E_t,R_t,B_t,U_t,K_t),\\quad P(H_{t+\\delta}\\mid H_t,I,M)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Source-defined history tuple, intervention I, model M.", "output_domain": "Conditional distribution over future history state.", "semantics": "Defines a provisional history state and conditional forecast target.", "implementation_status": "Provisional instrumentation equations; no full HALO/UHI system located.", "implementation_ref": "Specification only.", "evidence": [ "No bound empirical qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "HALO is declared voluntary; rights and UHI must not depend on score or reputation.", "boundary": "Conceptual/provisional instrumentation; not an eligibility, rights, or welfare scoring system.", "qualifiers": "SPECIFICATION; RIGHTS-BOUNDARY", "summary": "HALO history state and forecast is provisional within the named bounded source.", "source": { "repository": "DOCSET:halo-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:instrumentation-for-the-abundance-transition-v0-1-md", "sha256": "25DA19B76E1B79CA03002A3E9727D05A549DD9BBE5664B3E5C35FAA1954EE0B7" } }, { "binding_id": "FMB-0083", "claim_id": "CLAIM-0083", "name": "Epiplexity bounded-program optimum", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External formal objective", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "P* = argmin_(P in P_T) {|P| + E[log_2 1/P(X)]}", "normalized_representation": "P^\\*=\\arg\\min_{P\\in\\mathcal P_T}\\left(|P|+\\mathbb E[\\log_2(1/P(X))]\\right)", "definitions": "P_T is the observer-bounded program/model class; |P| description length; X data.", "input_domain": "Distribution/data X and bounded model/program class P_T.", "output_domain": "Optimal bounded program/model P*.", "semantics": "Chooses a bounded-observer program/model trading description length against residual surprise.", "implementation_status": "External formal result; local paper inspected, code not reproduced in this register.", "implementation_ref": "External paper; no Fractalish implementation authority.", "evidence": [ "External reported experiments/theory only." ], "result": "Not locally reproduced.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bounded observer/class selection determines the decomposition.", "boundary": "External reported result; this register does not claim independent reproduction.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN", "summary": "Epiplexity bounded-program optimum is external reported result within the named bounded source.", "source": { "repository": "DOCSET:levin-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:from-entropy-to-epiplexity-2601-03220v2-pdf", "sha256": "8C67D250B0507F341BF3BD91961C28EBDE33290C8548F4AF48D0E5683699488C" } }, { "binding_id": "FMB-0084", "claim_id": "CLAIM-0084", "name": "Epiplexity learnable/unlearnable split", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External decomposition", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "S_T(X)=|P*|; H_T(X)=E[log_2 1/P*(X)]", "normalized_representation": "S_T(X)=|P^\\*|,\\quad H_T(X)=\\mathbb E[\\log_2(1/P^\\*(X))]", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "P* and data distribution.", "output_domain": "Two description-length/surprise quantities in bits.", "semantics": "Separates learnable/model structure from residual unlearnable surprise for the bounded observer.", "implementation_status": "External formal result; local paper inspected, code not reproduced in this register.", "implementation_ref": "External paper; no Fractalish implementation authority.", "evidence": [ "External reported experiments/theory only." ], "result": "Not locally reproduced.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Bounded observer/class selection determines the decomposition.", "boundary": "External reported result; this register does not claim independent reproduction.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN", "summary": "Epiplexity learnable/unlearnable split is external reported result within the named bounded source.", "source": { "repository": "DOCSET:levin-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:from-entropy-to-epiplexity-2601-03220v2-pdf", "sha256": "8C67D250B0507F341BF3BD91961C28EBDE33290C8548F4AF48D0E5683699488C" } }, { "binding_id": "FMB-0085", "claim_id": "CLAIM-0085", "name": "Learnable-novelty conditional description objective", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External formal objective", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "L_phi(Y|X)=min_(M in M_phi)[|M|-log_2 p(Y|X,M)]", "normalized_representation": "L_\\phi(Y\\mid X)=\\min_{M\\in\\mathcal M_\\phi}\\left(|M|-\\log_2p(Y\\mid X,M)\\right)", "definitions": "φ fixes the observer/representation class; M is a model/readout; |M| complexity.", "input_domain": "Paired data X,Y and fixed observer/model class.", "output_domain": "Description-length objective in bits.", "semantics": "Defines observer-class-relative learnability of Y from X.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "External preprint with a fixed bounded observer. Co-evolving observers and LLM substrates are proposed future work.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Learnable-novelty conditional description objective is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0086", "claim_id": "CLAIM-0086", "name": "Learnable-novelty structural term", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External formal component", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "S_phi(Y|X)=|M*_phi(Y|X)|", "normalized_representation": "S_\\phi(Y\\mid X)=|M_\\phi^\\*(Y\\mid X)|", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Optimal fixed-observer model M*.", "output_domain": "Description-length/complexity quantity.", "semantics": "Uses the selected bounded model/readout complexity as learnable structure.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "External preprint with a fixed bounded observer. Co-evolving observers and LLM substrates are proposed future work.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Learnable-novelty structural term is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0087", "claim_id": "CLAIM-0087", "name": "Fixed random-reservoir ridge readout", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External estimator implementation", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "H=phi(X); W_lambda=(H~^T H~+lambda I)^-1 H~^T Y~", "normalized_representation": "H=\\phi(X),\\quad W_\\lambda=(\\tilde H^\\top\\tilde H+\\lambda I)^{-1}\\tilde H^\\top\\tilde Y", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Fixed reservoir features H, targets Y, λ>0.", "output_domain": "Readout matrix W_λ.", "semantics": "Fits a closed-form ridge readout over a frozen random reservoir representation.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "Reservoir-based closed-form approximation; not the general epiplexity optimum and not a co-evolving observer.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Fixed random-reservoir ridge readout is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0088", "claim_id": "CLAIM-0088", "name": "Reservoir epiplexity estimator", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External spectral estimator", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "S_phi=1/2 log_2 det(I_m+eta W_lambda W_lambda^T)=1/2 sum_i log_2(1+eta s_i(W_lambda)^2)", "normalized_representation": "\\hat S_\\phi=\\frac12\\log_2\\det(I_m+\\eta W_\\lambda W_\\lambda^\\top)=\\frac12\\sum_i\\log_2(1+\\eta s_i(W_\\lambda)^2)", "definitions": "η is the source scaling parameter; s_i(W) are singular values.", "input_domain": "Readout matrix and η under the paper's estimator.", "output_domain": "Nonnegative scalar in bits.", "semantics": "Estimates learnable structure from the singular spectrum of a ridge readout.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "Describe as a reservoir-based closed-form estimator or approximation of epiplexity, not as identity with the original formal object.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Reservoir epiplexity estimator is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0089", "claim_id": "CLAIM-0089", "name": "Learnable-novelty reward regimes", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External experimental protocol", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "The paper distinguishes epiplexity-only intrinsic reward from task reward plus an epiplexity bonus.", "normalized_representation": "r_total = r_task + beta*r_epiplexity; separate control: r_total=r_epiplexity", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "RL transition/trajectory under paper-specific estimator and task.", "output_domain": "Training reward.", "semantics": "Separates intrinsic learnability from declared task optimization.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "Acrobot demonstrates that intrinsic learnability is not a substitute for a declared target.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "External preprint with a fixed bounded observer. Co-evolving observers and LLM substrates are proposed future work.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Learnable-novelty reward regimes is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0090", "claim_id": "CLAIM-0090", "name": "Learnable-novelty MNIST evaluation boundary", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "External evaluation protocol", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "MNIST labels were absent from representation training but used for evaluation/visualization; reported probes improve from .53 to .89 and 5NN from .66 to .89.", "normalized_representation": "train representation without labels; evaluate with labels using declared probe/5NN", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Paper's MNIST split and learned representations.", "output_domain": "External reported probe/5NN metrics.", "semantics": "Records the unsupervised-training versus supervised-evaluation distinction.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "Labels are not absent from the entire experimental pipeline; they are used for evaluation.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "External preprint with a fixed bounded observer. Co-evolving observers and LLM substrates are proposed future work.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Learnable-novelty MNIST evaluation boundary is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0091", "claim_id": "CLAIM-0091", "name": "Learnable-novelty fixed-observer boundary", "aliases": "None recorded.", "family": "Learnable novelty / epiplexity", "category": "Observer qualification", "status": "EXTERNAL REPORTED RESULT", "representation_layer": "EXTERNAL REPORTED RESULT", "original_statement": "Reported experiments use a fixed bounded observer/frozen random reservoir; co-evolving observers and LLM substrates are future work.", "normalized_representation": "observer_t = observer_0 for reported experiments", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Paper's fixed reservoir/observer configuration.", "output_domain": "Bounded validity scope.", "semantics": "Prevents extending reported estimator results to adaptive observers or production LLMs.", "implementation_status": "External reservoir-based estimator/approximation; experiments reported in the preprint, not locally reproduced.", "implementation_ref": "External preprint; no local authoritative implementation located.", "evidence": [ "External reported Rule 110, NCA, MNIST, and reinforcement-learning experiments." ], "result": "Reported: 88 locally unique ECAs with 10 reservoir/input draws; NCA figures use 9 seeds; RL uses 10 tasks, 10 seeds, 600k steps; exact paper scope applies.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Epiplexity-only Acrobot reaches −500±0 and avoids the terminal goal; task+bonus Walker2d is reported 4% below task baseline.", "boundary": "External preprint with a fixed bounded observer. Co-evolving observers and LLM substrates are proposed future work.", "qualifiers": "EXTERNAL REPORTED RESULT; PREPRINT; REPORTED-NOT-RERUN; FIXED-OBSERVER", "summary": "Learnable-novelty fixed-observer boundary is external reported result within the named bounded source.", "source": { "repository": "DOCSET:approved-download-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:intelligence-from-learnable-novelty-pdf", "sha256": "E27401B6F0ACB8827E48FCEA7A5838B1A8263A91AFE0D583044C19398B516825" } }, { "binding_id": "FMB-0092", "claim_id": "CLAIM-0092", "name": "Anti-Illogical response ladder", "aliases": "None recorded.", "family": "Guardian / Anti-Illogical", "category": "Finite response protocol", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Observe / Notify / Trace / Constrain / Hibernate / Quarantine / Eradicate / Report", "normalized_representation": "state ∈ ordered response ladder; transitions require declared evidence/authority", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Detected behavior plus authority/evidence context.", "output_domain": "One response state/action.", "semantics": "Provides a staged response vocabulary for suspected logic/integrity failures.", "implementation_status": "Prototype code present.", "implementation_ref": "C:\\Users\\moop\\Downloads\\Articles on X.com\\ANTI-ILLOGICAL PROTECTION\\anti_illogical_audit_engine.py", "evidence": [ "No frozen qualification suite bound in this register." ], "result": "0 locally rerun.", "negative_result": "Eradicate and quarantine are materially consequential and require explicit human/host authority; no such general authority is inferred.", "negative_controls": "Monitor legitimacy, false positives, and authority escalation remain governance risks.", "boundary": "Prototype governance/security logic; not a validated autonomous security authority.", "qualifiers": "CODE-PRESENT; CLAIM-BOUNDARY-MISSING; REPORTED-NOT-RERUN", "summary": "Anti-Illogical response ladder is implemented within the named bounded source.", "source": { "repository": "DOCSET:anti-illogical-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:anti-illogical-audit-engine-py", "sha256": "43DC2F5CBCE1EF993C91E867B828A7589092B0BB0D3E5A7376534436426882BD" } }, { "binding_id": "FMB-0093", "claim_id": "CLAIM-0093", "name": "Anti-Illogical fail-closed escalation", "aliases": "None recorded.", "family": "Guardian / Anti-Illogical", "category": "Authority invariant", "status": "IMPLEMENTED", "representation_layer": "BUILT AND LOCALLY VALIDATED", "original_statement": "Unsupported or out-of-authority actions should fail closed or escalate rather than silently execute.", "normalized_representation": "¬authorized(a,e) => HOLD/REPORT, not execute(a)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Proposed response, evidence, authority policy.", "output_domain": "{allowed, held/escalated, rejected}.", "semantics": "Separates detection/reporting from execution authority.", "implementation_status": "Prototype code present.", "implementation_ref": "C:\\Users\\moop\\Downloads\\Articles on X.com\\ANTI-ILLOGICAL PROTECTION\\anti_illogical_audit_engine.py", "evidence": [ "No frozen qualification suite bound in this register." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Monitor legitimacy, false positives, and authority escalation remain governance risks.", "boundary": "Prototype governance/security logic; not a validated autonomous security authority.", "qualifiers": "CODE-PRESENT; CLAIM-BOUNDARY-MISSING; REPORTED-NOT-RERUN", "summary": "Anti-Illogical fail-closed escalation is implemented within the named bounded source.", "source": { "repository": "DOCSET:anti-illogical-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:anti-illogical-audit-engine-py", "sha256": "43DC2F5CBCE1EF993C91E867B828A7589092B0BB0D3E5A7376534436426882BD" } }, { "binding_id": "FMB-0094", "claim_id": "CLAIM-0094", "name": "ExoMCP monitor separation", "aliases": "None recorded.", "family": "Guardian / Anti-Illogical", "category": "Provider/monitor boundary", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Independent monitoring and provider separation are architectural requirements; monitoring does not itself grant execution authority.", "normalized_representation": "monitor(provider_state) -> evidence/report; execute remains host-authorized", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Provider/host evidence stream.", "output_domain": "Monitor report and bounded recommendation.", "semantics": "Reduces self-certification and authority conflation in proposed governance architecture.", "implementation_status": "Architecture specification; no frozen complete implementation located.", "implementation_ref": "EXOMCP_ARCHITECTURE_v1.0.md", "evidence": [ "No frozen qualification suite bound in this register." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Monitor legitimacy, false positives, and authority escalation remain governance risks.", "boundary": "Prototype governance/security logic; not a validated autonomous security authority.", "qualifiers": "SPECIFICATION; REPORTED-NOT-RERUN", "summary": "ExoMCP monitor separation is provisional within the named bounded source.", "source": { "repository": "DOCSET:exomcp-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:exomcp-architecture-v1-0-md", "sha256": "981729C92BBAEC45128002B43A5FAA4B44E99C6DD5A480841DFD329C4DF9D7E9" } }, { "binding_id": "FMB-0095", "claim_id": "CLAIM-0095", "name": "Morphological coding pipeline", "aliases": "encoder-state-channel-decoder; morphology-mediated code", "family": "Morphological Coding / Natural Code", "category": "Encoder–state–channel–decoder construction", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "u, h --E--> M --Q--> s in Sigma --T--> s' --D(., z)--> y", "normalized_representation": "(u,h)\\xrightarrow{E}M\\xrightarrow{Q}s\\in\\Sigma\\xrightarrow{T}s'\\xrightarrow{D(\\cdot,z)}y", "definitions": "u input; h history; E encoding dynamics; M morphology; Q state identifier; Σ finite alphabet; T channel/persistence; D decoder; z context; y outcome.", "input_domain": "Declared input/history and physical boundary conditions.", "output_domain": "Decoder outcome through a finite physically justified state alphabet.", "semantics": "Defines morphology as the carrier/state inside a reproducible coding relation, not as a code by itself.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological coding pipeline is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0096", "claim_id": "CLAIM-0096", "name": "Morphological coding system tuple", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Typed system definition", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "C_M = (U, H, E, M, Q, Sigma, T, D, Y, Gamma)", "normalized_representation": "C_M=(U,H,E,M,Q,\\Sigma,T,D,Y,\\Gamma)", "definitions": "Γ contains physical constraints, energy budgets, geometry, and boundary conditions; other components follow FMB-0095.", "input_domain": "Declared physical coding experiment.", "output_domain": "Typed morphological coding-system specification.", "semantics": "Packages the input/history spaces, encoding, morphology, state identification, alphabet, channel, decoder, outcomes, and physical constraints.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological coding system tuple is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0097", "claim_id": "CLAIM-0097", "name": "Morphological-code operational gate MC-1 through MC-8", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Acceptance criteria", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "MC-1 distinguishability; MC-2 reproducible encoding; MC-3 persistence/transmission; MC-4 reproducible decoding; MC-5 causal mediation; MC-6 finite alphabet; MC-7 error characterization; MC-8 origin account.", "normalized_representation": "accept_code_claim = ∧_(k=1)^8 MC_k", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Experimental evidence package.", "output_domain": "{eligible for bounded code claim, HOLD/FAIL}.", "semantics": "Requires every stronger code claim to meet all eight declared operational criteria.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "A pattern, process trace, memory, or signal may fail the code gate while remaining a useful lower-level result.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological-code operational gate MC-1 through MC-8 is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0098", "claim_id": "CLAIM-0098", "name": "Morphological-code information and intervention tests", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Information/causal criteria", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "I(U;S)>0 and I(S;Y)>0; P(Y|do(S=s1)) should differ from P(Y|do(S=s2)).", "normalized_representation": "I(U;S)>0,\\ I(S;Y)>0,\\quad P(Y\\mid do(S=s_1))\\ne P(Y\\mid do(S=s_2))", "definitions": "U input/history; S identified morphology state; Y decoder outcome; do is an intervention on state.", "input_domain": "Repeated encoded states, outcomes, and controlled interventions.", "output_domain": "Information measures and intervention-effect evidence.", "semantics": "Requires both measurable association and a causal intervention that changes decoder outcomes.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "Mutual information alone is insufficient because a common cause may determine both morphology and outcome.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological-code information and intervention tests is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0099", "claim_id": "CLAIM-0099", "name": "Morphological coding reduced transport model", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Proposed physical-adapter equations", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "c(t+dt)=c(t)+dt[D del^2 c-div(mu c grad phi)-R(c,phi,q)]; div(sigma(c,q) grad phi)=0", "normalized_representation": "c_{t+\\Delta t}=c_t+\\Delta t[D\\nabla^2c-\\nabla\\cdot(\\mu c\\nabla\\phi)-R(c,\\phi,q)],\\quad\\nabla\\cdot(\\sigma(c,q)\\nabla\\phi)=0", "definitions": "c concentration; D diffusivity; μ mobility; φ potential; q occupancy; R reaction term; σ conductivity.", "input_domain": "Discretized physical domain with calibrated fields/parameters.", "output_domain": "Updated concentration and constrained potential field.", "semantics": "Proposes transport/potential equations for a future physical adapter rather than the substrate-agnostic Natural Math grammar.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "Parameters must come from calibration; no qualified physical adapter was located.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological coding reduced transport model is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0100", "claim_id": "CLAIM-0100", "name": "Morphological coding deposition propensity", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Proposed physical-adapter gate", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "p_i=sigmoid(b0+bc*c_i+be*|grad phi_i|+ba*cos(theta_i)-bk*kappa_i-bo*occupancy_penalty_i)", "normalized_representation": "p_i=\\sigma(b_0+b_cc_i+b_e|\\nabla\\phi_i|+b_a\\cos\\theta_i-b_k\\kappa_i-b_o\\,penalty_i)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Local concentration, potential gradient, alignment, curvature, occupancy, and fitted coefficients.", "output_domain": "Attachment propensity in (0,1).", "semantics": "Proposes a calibrated bounded attachment propensity for a reduced-order twin.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "The coefficients are fitted adapter parameters, not canonical Natural Math or physical constants.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological coding deposition propensity is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0101", "claim_id": "CLAIM-0101", "name": "Morphological state identification with HOLD", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Confidence gate", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "s=Q(M,G,r) if confidence>=tau; otherwise s=HOLD", "normalized_representation": "s=\\begin{cases}Q(M,G,r),&confidence\\ge\\tau\\\\HOLD,&confidence<\\tau\\end{cases}", "definitions": "M deposit mask; G extracted graph; r electrical signature; Q preregistered identifier; τ confidence threshold.", "input_domain": "Morphology mask, graph, electrical signature, target family, and confidence.", "output_domain": "Finite state in Σ or morphology-code HOLD.", "semantics": "Assigns a finite morphology/electrical state only when target-family membership and confidence are adequate.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "State collisions and rejected assignments must be retained rather than mapped to the nearest symbol.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological state identification with HOLD is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0102", "claim_id": "CLAIM-0102", "name": "Morphological decoder observation model", "aliases": "None recorded.", "family": "Morphological Coding / Natural Code", "category": "Decoder model", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "y=D(s,z)+epsilon", "normalized_representation": "y=D(s,z)+\\epsilon", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Identified state s, local context z, error/noise model.", "output_domain": "Objectively classifiable decoder outcome y.", "semantics": "Represents a decoder outcome conditional on received morphology state and context, with error/noise.", "implementation_status": "Formal research specification; reduced-order software components exist elsewhere, but no complete physical code experiment is qualified.", "implementation_ref": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "evidence": [ "No thesis-bound physical qualification suite located." ], "result": "0 physical coding experiments locally rerun.", "negative_result": "A code claim requires a confusion matrix, not one selected successful example.", "negative_controls": "Morphology alone is not a code; recoverable history, causal function, and post-hoc bins are individually insufficient.", "boundary": "Pre-CNT, pre-memory-device, and pre-prize-completion framework. It does not claim every natural pattern is a code or that a physical CNT memory has been built.", "qualifiers": "SPECIFICATION; CLAIM-BOUNDARY-PRESENT; NEGATIVE-RESULT-PRESERVED", "summary": "Morphological decoder observation model is provisional within the named bounded source.", "source": { "repository": "REPO:cognitive-basin-platform", "repository_locator": "https://github.com/BonAcqui-LLC/cognitive-basin-platform.git", "commit": "662911b9e62b80166ca7420956e073442f35fc3e", "path": "imports/cntm-natural-math-canonical-library/06_MORPHOLOGICAL_CODING/morphological_coding_in_nature_thesis_v02_extracted.txt", "sha256": "713D6E5E3CBBC83BFF666EBF8AE8DC74F1AD6E31E030AC090021C7AC2032049C" } }, { "binding_id": "FMB-0103", "claim_id": "CLAIM-0103", "name": "Conjugate Lattice nested ternary coherence architecture", "aliases": "None recorded.", "family": "Conjugate Lattice", "category": "Nested finite-gate architecture", "status": "PROVISIONAL", "representation_layer": "SPECIFICATION", "original_statement": "Each developed constant has a local proceed / hold / reverse coherence gate; developed constants are coupled in a lattice; a basin-level gate recognizes lattice closure.", "normalized_representation": "local_gate_i∈{PROCEED,HOLD,REVERSE}; basin_gate=f({local_gate_i}, declared_couplings)", "definitions": "See exact source; no additional symbol meaning inferred.", "input_domain": "Specialized subsystem reports and declared coupling relationships.", "output_domain": "{PROCEED,HOLD,REVERSE} at local and basin levels.", "semantics": "Proposes nested local and basin-level ternary gating across coupled specialized subsystems.", "implementation_status": "Architecture specification only.", "implementation_ref": "No complete Conjugate Lattice implementation located.", "evidence": [ "No bound qualification suite located." ], "result": "0 locally rerun.", "negative_result": "No bounded failure record located; absence is not evidence of success.", "negative_controls": "Emergent closure and resonance language is architectural and must not be treated as a measured physical effect.", "boundary": "Adjacent research lane; do not merge into the frozen Natural Math/Cognitive Basin spine without a versioned contract and tests.", "qualifiers": "SPECIFICATION; ADJACENT-LANE; REPORTED-NOT-RERUN", "summary": "Conjugate Lattice nested ternary coherence architecture is provisional within the named bounded source.", "source": { "repository": "DOCSET:conjugate-selected-documents", "repository_locator": "", "commit": "Not applicable or not located.", "path": "DOC:the-conjugate-lattice-architecture-txt", "sha256": "10D0E22D6898DFB140C0600A20BAB1072F3A92CD0D0540DC7DA4CF2CF02F8985" } } ] }