security-ir-autoencoder-8d is an open-weight model from Publicus. Its published files total 1.7 MB.
This lane contains 2 distinct original checkpoint variants. Each checkpoint uses a content-addressed path and an asset manifest preserving its schema, decoder role, available format/profile binding, codec, source declarations, and companion corpus or…
Parameters—
Context—
Weights1.7 MB
License—
AccessOpen weights
Monthly Downloads—
Model Card
This lane contains 2 distinct original checkpoint variants. Each checkpoint uses a content-addressed path and an asset manifest preserving its schema, decoder role, available format/profile binding, codec, source declarations, and companion corpus or embedding assets. Unknown bindings remain unknown. Registration and publication do not qualify numerical quality, source-only reconstruction, teacher use, proof authority, or serving. No retained checkpoint is activated for inference. The Legal 768D checkpoint is inherited initialization only; Codebase, Intent, and Security 768D lanes have no retained checkpoints. Codebase 384D envelopes retain their borrowed Security payload identity and are…
Excerpt from the card by Publicus.
Identity and Version
- Repository
- Publicus/security-ir-autoencoder-8d
- Publisher
- Publicus
- Task
- Not stated by the source
- Modality
- Other
- Library
- Not stated by the source
- Parameters
- Not stated by the source
- Languages
- Not stated by the source
- Revision
- a14a06e47eb83bced85bb057a5a9c0661360d957
- First published
- 2026-10-04
- Last updated
- 2026-10-04
Files and Weights
32 files, 1.7 MB in total.
Configuration28 files · 1.7 MB
Documentation2 files · 2.7 KB
Other1 file · 34.5 KB
Repository1 file · 1.5 KB
Every file
| File | Type | Size | SHA-256 |
|---|---|---|---|
| releases/20261004-retained-checkpoints-v1/context/199bf3d11111d5090ab9e552e6c50031d7ec94487ab7eec7d6072ab910f29396/schema-validation.json | Configuration | 16.7 KB | — |
| releases/20261004-retained-checkpoints-v1/context/2b17a5bf7c140e80ff89a2a0e01e3964b75b38c288bf3b3196d00193ab72819f/training.json | Configuration | 470.8 KB | — |
| releases/20261004-retained-checkpoints-v1/context/4d598bb21e739d58c40008c9ec86ac571c4c4babd5cd3ff30ccd2481c50ecc09/schema-validation.json | Configuration | 16.7 KB | — |
| releases/20261004-retained-checkpoints-v1/context/a51b766a8571bebf25c9baca8f23939a1bb5e62169d5fb34f54279d006187f69/corpus.json | Configuration | 98.8 KB | — |
| releases/20261004-retained-checkpoints-v1/context/f82a00a05cce97e515ae539ae09c3f802ee84168b424896593c97c65998a85ca/training.json | Configuration | 58.5 KB | — |
| releases/20261004-retained-checkpoints-v1/lane-manifest.json | Configuration | 41.3 KB | — |
| releases/20261004-retained-checkpoints-v1/original-lane-inventory.json | Configuration | 7.5 KB | — |
| releases/20261004-retained-checkpoints-v1/source/0238a345e5c35aec78801891562e896d719bca0424eab8ad790d5da2c239c5aa/ipfs_datasets_py/logic/software_verification/contracts.py | Configuration | 36.7 KB | — |
| releases/20261004-retained-checkpoints-v1/source/2668c089615e0e26cdd9391517cdf94769b17189b661dc9b6db9cc3e4c22a10c/ipfs_datasets_py/optimizers/logic_theorem_optimizer/native_formal_decoder.py | Configuration | 32.0 KB | — |
| releases/20261004-retained-checkpoints-v1/source/4709513f18ab270858fe9595d88a847ddc52092606c52c7802947abed1ab9ac4/ipfs_datasets_py/logic/syntax_core/ast.py | Configuration | 57.0 KB | — |
| releases/20261004-retained-checkpoints-v1/source/49dd4fb0096661a05a15f056eb57248349e2b4e0b02e83239f36db36788c75bf/ipfs_datasets_py/logic/syntax_core/signatures.py | Configuration | 30.5 KB | — |
| releases/20261004-retained-checkpoints-v1/source/56d8a6d3a5e7f11dd9f4d9d2096ec0f787a481b006abac311d212bbc622558dc/ipfs_datasets_py/logic/software_verification/temporal.py | Configuration | 48.5 KB | — |
| releases/20261004-retained-checkpoints-v1/source/5a6a88054e2b60dbe205625ffcb1d1c798c869ca5801a1ad1f4907467360de7f/ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_modality_contracts.py | Configuration | 20.7 KB | — |
| releases/20261004-retained-checkpoints-v1/source/62e61bcd48cd17201dcd52f5e9d9458da44ef6c2af3dbe7b64587d77ac8c8e1b/ipfs_datasets_py/logic/software_verification/heap.py | Configuration | 44.6 KB | — |
| releases/20261004-retained-checkpoints-v1/source/982d7e3a243fb70f5f797b7b6efdb45faebb3895945b06c04a9421fbe4ba7d86/ipfs_datasets_py/logic/software_verification/transitions.py | Configuration | 47.1 KB | — |
| releases/20261004-retained-checkpoints-v1/source/a3ea0a8b7b71f526afafecda8dd8ab9504d1138f9d96eee177729e7a568a2da2/ipfs_datasets_py/optimizers/logic_theorem_optimizer/native_formula_training.py | Configuration | 39.8 KB | — |
| releases/20261004-retained-checkpoints-v1/source/b373c8b26310a761525459880de7fa7ba052e0fde57f1d0cbe2ddd9d2f85b586/ipfs_datasets_py/logic/formalization/autoencoder/domain_targets.py | Configuration | 15.4 KB | — |
| releases/20261004-retained-checkpoints-v1/source/b8f2985c26c8fc2db6f6bbbd4c5959554d6ce6f21d228618eba2d47f3ea5a9a4/ipfs_datasets_py/logic/software_verification/separation.py | Configuration | 56.0 KB | — |
| releases/20261004-retained-checkpoints-v1/source/b91b5ee4a4e8bc6a214d7b7a942212805efe5531b2fb4251e66e9d413639cd14/ipfs_datasets_py/optimizers/logic_theorem_optimizer/autoencoder_projection_features.py | Configuration | 31.7 KB | — |
| releases/20261004-retained-checkpoints-v1/source/c49cb173aa9cd9cbbb69f72e461c0c7c048264cbbd7b92af7fd3c7390bd69ecb/ipfs_datasets_py/logic/software_verification/hyperproperties.py | Configuration | 88.9 KB | — |
| releases/20261004-retained-checkpoints-v1/source/cc46f305dede1cadb358a524f30dbb894b84ab062f0c083c3138c7e43f271116/ipfs_datasets_py/logic/software_verification/syntax_bridge.py | Configuration | 47.9 KB | — |
| releases/20261004-retained-checkpoints-v1/source/ce6d49e05ca2b09a84a3125ed6ad4c4aae4adf2c5943d3a4fd4eeeb057b444a8/ipfs_datasets_py/logic/syntax_core/contracts.py | Configuration | 75.3 KB | — |
| releases/20261004-retained-checkpoints-v1/source/e6328d747d54f26835b8da24c87a9a80eff6951bdc936c87243307574a85788b/ipfs_datasets_py/logic/security_ir/code_logic_projection.py | Configuration | 14.4 KB | — |
| releases/20261004-retained-checkpoints-v1/source/f051f42d64c5f993451972924953cc7eaa6d17df097235ddabfd5d791d406f91/ipfs_datasets_py/logic/software_verification/program.py | Configuration | 58.1 KB | — |
| releases/retained-checkpoints/4807bdfd76f4e43bd969296dbd2e1fc29e9afc2aa76df9115a78dc17b581e6c4/asset-manifest.json | Configuration | 17.9 KB | — |
| releases/retained-checkpoints/4807bdfd76f4e43bd969296dbd2e1fc29e9afc2aa76df9115a78dc17b581e6c4/checkpoint.json | Configuration | 92.7 KB | — |
| releases/retained-checkpoints/ac44b4699caa896a91508bb5d954f8d400785d9609b651f2deebb3da95d070c7/asset-manifest.json | Configuration | 17.7 KB | — |
| releases/retained-checkpoints/ac44b4699caa896a91508bb5d954f8d400785d9609b651f2deebb3da95d070c7/checkpoint.json | Configuration | 92.6 KB | — |
| README.md | Documentation | 1.3 KB | — |
| releases/20261004-retained-checkpoints-v1/MODEL_CARD.md | Documentation | 1.3 KB | — |
| releases/20261004-retained-checkpoints-v1/SOURCE-LICENSE-AGPL-3.0.txt | Other | 34.5 KB | — |
| .gitattributes | Repository | 1.5 KB | — |
License and Download
- License
- Not stated by the source
- Access
- Open weights, no gate
Download from Publicus
Released by Publicus through its official repository on Hugging Face.