Repository navigation
Add finite cpomdp controls and correct discrete native filtering - #270
Merged
Merged
Conversation
docxology
marked this pull request as ready for review
October 19, 2026 00:23
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Continuous cpomdp sources can declare an ordered finite action set, unique action IDs, units and an asymmetric state-by-control matrix. The renderer preserves equal vectors as distinct choices, records every policy's pragmatic and epistemic components, and refuses incompatible modes, ambiguous aliases and unsupported backends. Total policy-step evaluations are bounded before enumeration. Existing compass-rose and passive contracts remain available.
The full native corpus audit also exposed invalid all-zero posteriors in discrete PyTorch/NumPyro runs that exited zero. Both templates now propagate the previous posterior through the previous action's transition matrix before conditioning on each new observation; t=0 conditions the initial prior directly. Zero/nonfinite predictive evidence and invalid persisted validation fail execution. Ten independent native filtering/EFE and failure controls pass, including NumPyro float32/float64. The four original invalid traces remain retained as regression evidence.
Validation:
3bfa9531e1b4a90906e908aaea3856160126b852completed 235 inference programs and 24 categorical diagram programs, with 197 explicit unsupported combinations and no native execution or reported native-validation failures. Source/script/result hashes and authored timestep checks are retained; process success is separate from numerical equivalence.4ed8b330e7af2cfb9e6007664cba4c0939043f45was visually checked and committed asdc7bcf72da78bd95d21c8204a98aea1ed9be4731; strict postcommit custody passes.Companion PR #191 refreshes the official source pin and both emitted signatures while preserving all 197 FEP owners and both mathematical document bodies relative to its accepted FEP runtime base. All six bridge checks pass and native_claim_ready remains false. The final commit pins reviewed companion main
184ee53f55b526fdc858e2d962eba16e6066fb19; final exact-head and published-main gates remain required. E3-FA1 is bounded; broader E3/E4 work remains open.